| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.0 | ? (MO) | 1492.1 | 1492.69 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_2.opb |
| MD5SUM | 1af848a7208b60f67c27d4022c7b5abe |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -122 |
| Best CPU time to get the best result obtained on this benchmark | 1798.09 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -151 |
| Optimality of the best value was proved | NO |
| Number of variables | 1000 |
| Total number of constraints | 1000 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1000 |
| Minimum length of a constraint | 25 |
| Maximum length of a constraint | 50 |
| Number of terms in the objective function | 1000 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1000 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 31544 |
| Sum of products size (including duplicates) | 63088 |
| Number of different products | 15772 |
| Sum of products size | 31544 |
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-1875369-1245202931.opb. 0.00/0.00 c Instance file HOME/instance-1875369-1245202931.opb 0.00/0.00 c File size is 1374244 bytes. 0.19/0.21 c Highest Coefficient sum: 50 0.19/0.21 c ============================[ Problem Statistics ]============================= 0.19/0.21 c | | 0.19/0.21 c | Parsing time: 0.20 s | 0.19/0.21 c | Number Variables: 16772 | 0.19/0.21 c | Number Clauses: 16772 | 0.19/0.21 c | Number Cardinality: 2000 | 0.19/0.21 c | Number PB Constraints: 15772 | 0.19/0.21 c core #1 0.19/0.21 c Core size: 4 Core Weight: 1 Total Weight: -999 0.19/0.21 c Elapsed CPU time: 0.201969 s Remaining CPU time: 1799.8 s 0.19/0.26 c core #2 0.19/0.26 c Core size: 4 Core Weight: 1 Total Weight: -998 0.19/0.26 c Elapsed CPU time: 0.249962 s Remaining CPU time: 1799.75 s 0.29/0.32 c core #3 0.29/0.32 c Core size: 4 Core Weight: 1 Total Weight: -997 0.29/0.32 c Elapsed CPU time: 0.300954 s Remaining CPU time: 1799.7 s 0.29/0.37 c core #4 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: -996 0.29/0.37 c Elapsed CPU time: 0.354946 s Remaining CPU time: 1799.65 s 0.39/0.43 c core #5 0.39/0.43 c Core size: 4 Core Weight: 1 Total Weight: -995 0.39/0.43 c Elapsed CPU time: 0.408937 s Remaining CPU time: 1799.59 s 0.39/0.49 c core #6 0.39/0.49 c Core size: 4 Core Weight: 1 Total Weight: -994 0.39/0.49 c Elapsed CPU time: 0.467928 s Remaining CPU time: 1799.53 s 0.49/0.55 c core #7 0.49/0.55 c Core size: 4 Core Weight: 1 Total Weight: -993 0.49/0.55 c Elapsed CPU time: 0.526919 s Remaining CPU time: 1799.47 s 0.59/0.61 c core #8 0.59/0.61 c Core size: 4 Core Weight: 1 Total Weight: -992 0.59/0.61 c Elapsed CPU time: 0.58691 s Remaining CPU time: 1799.41 s 0.59/0.67 c core #9 0.59/0.67 c Core size: 4 Core Weight: 1 Total Weight: -991 0.59/0.67 c Elapsed CPU time: 0.649901 s Remaining CPU time: 1799.35 s 0.69/0.73 c core #10 0.69/0.73 c Core size: 4 Core Weight: 1 Total Weight: -990 0.69/0.73 c Elapsed CPU time: 0.712891 s Remaining CPU time: 1799.29 s 0.79/0.80 c core #11 0.79/0.80 c Core size: 4 Core Weight: 1 Total Weight: -989 0.79/0.80 c Elapsed CPU time: 0.775882 s Remaining CPU time: 1799.22 s 0.79/0.86 c core #12 0.79/0.86 c Core size: 4 Core Weight: 1 Total Weight: -988 0.79/0.86 c Elapsed CPU time: 0.837872 s Remaining CPU time: 1799.16 s 0.89/0.93 c core #13 0.89/0.93 c Core size: 4 Core Weight: 1 Total Weight: -987 0.89/0.93 c Elapsed CPU time: 0.899863 s Remaining CPU time: 1799.1 s 0.89/0.99 c core #14 0.89/0.99 c Core size: 4 Core Weight: 1 Total Weight: -986 0.89/0.99 c Elapsed CPU time: 0.957854 s Remaining CPU time: 1799.04 s 0.99/1.05 c core #15 0.99/1.05 c Core size: 4 Core Weight: 1 Total Weight: -985 0.99/1.05 c Elapsed CPU time: 1.02284 s Remaining CPU time: 1798.98 s 1.09/1.12 c core #16 1.09/1.12 c Core size: 4 Core Weight: 1 Total Weight: -984 1.09/1.12 c Elapsed CPU time: 1.08683 s Remaining CPU time: 1798.91 s 1.09/1.18 c core #17 1.09/1.18 c Core size: 4 Core Weight: 1 Total Weight: -983 1.09/1.18 c Elapsed CPU time: 1.15082 s Remaining CPU time: 1798.85 s 1.19/1.25 c core #18 1.19/1.25 c Core size: 4 Core Weight: 1 Total Weight: -982 1.19/1.25 c Elapsed CPU time: 1.21382 s Remaining CPU time: 1798.79 s 1.29/1.31 c core #19 1.29/1.31 c Core size: 4 Core Weight: 1 Total Weight: -981 1.29/1.31 c Elapsed CPU time: 1.27581 s Remaining CPU time: 1798.72 s 1.29/1.37 c core #20 1.29/1.37 c Core size: 4 Core Weight: 1 Total Weight: -980 1.29/1.37 c Elapsed CPU time: 1.3408 s Remaining CPU time: 1798.66 s 1.39/1.44 c core #21 1.39/1.44 c Core size: 4 Core Weight: 1 Total Weight: -979 1.39/1.44 c Elapsed CPU time: 1.40379 s Remaining CPU time: 1798.6 s 1.49/1.50 c core #22 1.49/1.50 c Core size: 4 Core Weight: 1 Total Weight: -978 1.49/1.50 c Elapsed CPU time: 1.46878 s Remaining CPU time: 1798.53 s 1.49/1.57 c core #23 1.49/1.57 c Core size: 4 Core Weight: 1 Total Weight: -977 1.49/1.57 c Elapsed CPU time: 1.53177 s Remaining CPU time: 1798.47 s 1.59/1.63 c core #24 1.59/1.63 c Core size: 4 Core Weight: 1 Total Weight: -976 1.59/1.63 c Elapsed CPU time: 1.59576 s Remaining CPU time: 1798.4 s 1.69/1.70 c core #25 1.69/1.70 c Core size: 4 Core Weight: 1 Total Weight: -975 1.69/1.70 c Elapsed CPU time: 1.66075 s Remaining CPU time: 1798.34 s 1.69/1.76 c core #26 1.69/1.76 c Core size: 4 Core Weight: 1 Total Weight: -974 1.69/1.76 c Elapsed CPU time: 1.72274 s Remaining CPU time: 1798.28 s 1.79/1.83 c core #27 1.79/1.83 c Core size: 4 Core Weight: 1 Total Weight: -973 1.79/1.83 c Elapsed CPU time: 1.78573 s Remaining CPU time: 1798.21 s 1.79/1.89 c core #28 1.79/1.89 c Core size: 4 Core Weight: 1 Total Weight: -972 1.79/1.89 c Elapsed CPU time: 1.84872 s Remaining CPU time: 1798.15 s 1.89/1.95 c core #29 1.89/1.95 c Core size: 4 Core Weight: 1 Total Weight: -971 1.89/1.95 c Elapsed CPU time: 1.91071 s Remaining CPU time: 1798.09 s 1.99/2.02 c core #30 1.99/2.02 c Core size: 4 Core Weight: 1 Total Weight: -970 1.99/2.02 c Elapsed CPU time: 1.9717 s Remaining CPU time: 1798.03 s 1.99/2.08 c core #31 1.99/2.08 c Core size: 4 Core Weight: 1 Total Weight: -969 1.99/2.08 c Elapsed CPU time: 2.03569 s Remaining CPU time: 1797.96 s 2.10/2.14 c core #32 2.10/2.14 c Core size: 4 Core Weight: 1 Total Weight: -968 2.10/2.14 c Elapsed CPU time: 2.09668 s Remaining CPU time: 1797.9 s 2.20/2.21 c core #33 2.20/2.21 c Core size: 4 Core Weight: 1 Total Weight: -967 2.20/2.21 c Elapsed CPU time: 2.16067 s Remaining CPU time: 1797.84 s 2.20/2.27 c core #34 2.20/2.27 c Core size: 4 Core Weight: 1 Total Weight: -966 2.20/2.27 c Elapsed CPU time: 2.22166 s Remaining CPU time: 1797.78 s 2.29/2.34 c core #35 2.29/2.34 c Core size: 4 Core Weight: 1 Total Weight: -965 2.29/2.34 c Elapsed CPU time: 2.28565 s Remaining CPU time: 1797.71 s 2.39/2.40 c core #36 2.39/2.40 c Core size: 4 Core Weight: 1 Total Weight: -964 2.39/2.40 c Elapsed CPU time: 2.34764 s Remaining CPU time: 1797.65 s 2.39/2.47 c core #37 2.39/2.47 c Core size: 4 Core Weight: 1 Total Weight: -963 2.39/2.47 c Elapsed CPU time: 2.41263 s Remaining CPU time: 1797.59 s 2.49/2.53 c core #38 2.49/2.53 c Core size: 4 Core Weight: 1 Total Weight: -962 2.49/2.53 c Elapsed CPU time: 2.47462 s Remaining CPU time: 1797.53 s 2.49/2.59 c core #39 2.49/2.59 c Core size: 4 Core Weight: 1 Total Weight: -961 2.49/2.59 c Elapsed CPU time: 2.53461 s Remaining CPU time: 1797.47 s 2.59/2.66 c core #40 2.59/2.66 c Core size: 4 Core Weight: 1 Total Weight: -960 2.59/2.66 c Elapsed CPU time: 2.59661 s Remaining CPU time: 1797.4 s 2.69/2.72 c core #41 2.69/2.72 c Core size: 4 Core Weight: 1 Total Weight: -959 2.69/2.72 c Elapsed CPU time: 2.6616 s Remaining CPU time: 1797.34 s 2.69/2.78 c core #42 2.69/2.78 c Core size: 4 Core Weight: 1 Total Weight: -958 2.69/2.78 c Elapsed CPU time: 2.72259 s Remaining CPU time: 1797.28 s 2.79/2.85 c core #43 2.79/2.85 c Core size: 4 Core Weight: 1 Total Weight: -957 2.79/2.85 c Elapsed CPU time: 2.78758 s Remaining CPU time: 1797.21 s 2.89/2.91 c core #44 2.89/2.91 c Core size: 4 Core Weight: 1 Total Weight: -956 2.89/2.91 c Elapsed CPU time: 2.84957 s Remaining CPU time: 1797.15 s 2.89/2.97 c core #45 2.89/2.97 c Core size: 4 Core Weight: 1 Total Weight: -955 2.89/2.97 c Elapsed CPU time: 2.91056 s Remaining CPU time: 1797.09 s 2.99/3.04 c core #46 2.99/3.04 c Core size: 4 Core Weight: 1 Total Weight: -954 2.99/3.04 c Elapsed CPU time: 2.97155 s Remaining CPU time: 1797.03 s 3.08/3.10 c core #47 3.08/3.10 c Core size: 4 Core Weight: 1 Total Weight: -953 3.08/3.10 c Elapsed CPU time: 3.03354 s Remaining CPU time: 1796.97 s 3.08/3.16 c core #48 3.08/3.16 c Core size: 4 Core Weight: 1 Total Weight: -952 3.08/3.16 c Elapsed CPU time: 3.09253 s Remaining CPU time: 1796.91 s 3.20/3.22 c core #49 3.20/3.22 c Core size: 4 Core Weight: 1 Total Weight: -951 3.20/3.22 c Elapsed CPU time: 3.15552 s Remaining CPU time: 1796.84 s 3.20/3.29 c core #50 3.20/3.29 c Core size: 4 Core Weight: 1 Total Weight: -950 3.20/3.29 c Elapsed CPU time: 3.21651 s Remaining CPU time: 1796.78 s 3.30/3.35 c core #51 3.30/3.35 c Core size: 4 Core Weight: 1 Total Weight: -949 3.30/3.35 c Elapsed CPU time: 3.2795 s Remaining CPU time: 1796.72 s 3.39/3.41 c core #52 3.39/3.41 c Core size: 4 Core Weight: 1 Total Weight: -948 3.39/3.41 c Elapsed CPU time: 3.34149 s Remaining CPU time: 1796.66 s 3.39/3.48 c core #53 3.39/3.48 c Core size: 4 Core Weight: 1 Total Weight: -947 3.39/3.48 c Elapsed CPU time: 3.40648 s Remaining CPU time: 1796.59 s 3.49/3.54 c core #54 3.49/3.54 c Core size: 4 Core Weight: 1 Total Weight: -946 3.49/3.54 c Elapsed CPU time: 3.47347 s Remaining CPU time: 1796.53 s 3.59/3.61 c core #55 3.59/3.61 c Core size: 4 Core Weight: 1 Total Weight: -945 3.59/3.61 c Elapsed CPU time: 3.53746 s Remaining CPU time: 1796.46 s 3.59/3.68 c core #56 3.59/3.68 c Core size: 4 Core Weight: 1 Total Weight: -944 3.59/3.68 c Elapsed CPU time: 3.60045 s Remaining CPU time: 1796.4 s 3.68/3.74 c core #57 3.68/3.74 c Core size: 4 Core Weight: 1 Total Weight: -943 3.68/3.74 c Elapsed CPU time: 3.66644 s Remaining CPU time: 1796.33 s 3.78/3.81 c core #58 3.78/3.81 c Core size: 4 Core Weight: 1 Total Weight: -942 3.78/3.81 c Elapsed CPU time: 3.73243 s Remaining CPU time: 1796.27 s 3.78/3.87 c core #59 3.78/3.87 c Core size: 4 Core Weight: 1 Total Weight: -941 3.78/3.87 c Elapsed CPU time: 3.79742 s Remaining CPU time: 1796.2 s 3.89/3.94 c core #60 3.89/3.94 c Core size: 4 Core Weight: 1 Total Weight: -940 3.89/3.94 c Elapsed CPU time: 3.86041 s Remaining CPU time: 1796.14 s 3.99/4.00 c core #61 3.99/4.00 c Core size: 4 Core Weight: 1 Total Weight: -939 3.99/4.00 c Elapsed CPU time: 3.9234 s Remaining CPU time: 1796.08 s 3.99/4.07 c core #62 3.99/4.07 c Core size: 4 Core Weight: 1 Total Weight: -938 3.99/4.07 c Elapsed CPU time: 3.98739 s Remaining CPU time: 1796.01 s 4.09/4.13 c core #63 4.09/4.13 c Core size: 4 Core Weight: 1 Total Weight: -937 4.09/4.13 c Elapsed CPU time: 4.05038 s Remaining CPU time: 1795.95 s 4.18/4.20 c core #64 4.18/4.20 c Core size: 4 Core Weight: 1 Total Weight: -936 4.18/4.20 c Elapsed CPU time: 4.11237 s Remaining CPU time: 1795.89 s 4.18/4.26 c core #65 4.18/4.26 c Core size: 4 Core Weight: 1 Total Weight: -935 4.18/4.26 c Elapsed CPU time: 4.17636 s Remaining CPU time: 1795.82 s 4.30/4.33 c core #66 4.30/4.33 c Core size: 4 Core Weight: 1 Total Weight: -934 4.30/4.33 c Elapsed CPU time: 4.24136 s Remaining CPU time: 1795.76 s 4.30/4.40 c core #67 4.30/4.40 c Core size: 4 Core Weight: 1 Total Weight: -933 4.30/4.40 c Elapsed CPU time: 4.30635 s Remaining CPU time: 1795.69 s 4.40/4.46 c core #68 4.40/4.46 c Core size: 4 Core Weight: 1 Total Weight: -932 4.40/4.46 c Elapsed CPU time: 4.37033 s Remaining CPU time: 1795.63 s 4.49/4.53 c core #69 4.49/4.53 c Core size: 4 Core Weight: 1 Total Weight: -931 4.49/4.53 c Elapsed CPU time: 4.43433 s Remaining CPU time: 1795.57 s 4.49/4.59 c core #70 4.49/4.59 c Core size: 4 Core Weight: 1 Total Weight: -930 4.49/4.59 c Elapsed CPU time: 4.49832 s Remaining CPU time: 1795.5 s 4.59/4.66 c core #71 4.59/4.66 c Core size: 4 Core Weight: 1 Total Weight: -929 4.59/4.66 c Elapsed CPU time: 4.56231 s Remaining CPU time: 1795.44 s 4.69/4.72 c core #72 4.69/4.72 c Core size: 4 Core Weight: 1 Total Weight: -928 4.69/4.72 c Elapsed CPU time: 4.6273 s Remaining CPU time: 1795.37 s 4.69/4.79 c core #73 4.69/4.79 c Core size: 4 Core Weight: 1 Total Weight: -927 4.69/4.79 c Elapsed CPU time: 4.69029 s Remaining CPU time: 1795.31 s 4.79/4.85 c core #74 4.79/4.85 c Core size: 4 Core Weight: 1 Total Weight: -926 4.79/4.85 c Elapsed CPU time: 4.75428 s Remaining CPU time: 1795.25 s 4.89/4.92 c core #75 4.89/4.92 c Core size: 4 Core Weight: 1 Total Weight: -925 4.89/4.92 c Elapsed CPU time: 4.81827 s Remaining CPU time: 1795.18 s 4.89/4.98 c core #76 4.89/4.98 c Core size: 4 Core Weight: 1 Total Weight: -924 4.89/4.98 c Elapsed CPU time: 4.88326 s Remaining CPU time: 1795.12 s 4.98/5.05 c core #77 4.98/5.05 c Core size: 4 Core Weight: 1 Total Weight: -923 4.98/5.05 c Elapsed CPU time: 4.94925 s Remaining CPU time: 1795.05 s 5.09/5.11 c core #78 5.09/5.11 c Core size: 4 Core Weight: 1 Total Weight: -922 5.09/5.11 c Elapsed CPU time: 5.01624 s Remaining CPU time: 1794.98 s 5.09/5.18 c core #79 5.09/5.18 c Core size: 4 Core Weight: 1 Total Weight: -921 5.09/5.18 c Elapsed CPU time: 5.08323 s Remaining CPU time: 1794.92 s 5.19/5.25 c core #80 5.19/5.25 c Core size: 4 Core Weight: 1 Total Weight: -920 5.19/5.25 c Elapsed CPU time: 5.14622 s Remaining CPU time: 1794.85 s 5.29/5.32 c core #81 5.29/5.32 c Core size: 4 Core Weight: 1 Total Weight: -919 5.29/5.32 c Elapsed CPU time: 5.21221 s Remaining CPU time: 1794.79 s 5.29/5.38 c core #82 5.29/5.38 c Core size: 4 Core Weight: 1 Total Weight: -918 5.29/5.38 c Elapsed CPU time: 5.2752 s Remaining CPU time: 1794.72 s 5.39/5.44 c core #83 5.39/5.44 c Core size: 4 Core Weight: 1 Total Weight: -917 5.39/5.44 c Elapsed CPU time: 5.33919 s Remaining CPU time: 1794.66 s 5.49/5.51 c core #84 5.49/5.51 c Core size: 4 Core Weight: 1 Total Weight: -916 5.49/5.51 c Elapsed CPU time: 5.40318 s Remaining CPU time: 1794.6 s 5.49/5.57 c core #85 5.49/5.57 c Core size: 4 Core Weight: 1 Total Weight: -915 5.49/5.57 c Elapsed CPU time: 5.46517 s Remaining CPU time: 1794.53 s 5.59/5.64 c core #86 5.59/5.64 c Core size: 4 Core Weight: 1 Total Weight: -914 5.59/5.64 c Elapsed CPU time: 5.52816 s Remaining CPU time: 1794.47 s 5.69/5.70 c core #87 5.69/5.70 c Core size: 4 Core Weight: 1 Total Weight: -913 5.69/5.70 c Elapsed CPU time: 5.59115 s Remaining CPU time: 1794.41 s 5.69/5.77 c core #88 5.69/5.77 c Core size: 4 Core Weight: 1 Total Weight: -912 5.69/5.77 c Elapsed CPU time: 5.65414 s Remaining CPU time: 1794.35 s 5.79/5.83 c core #89 5.79/5.83 c Core size: 4 Core Weight: 1 Total Weight: -911 5.79/5.83 c Elapsed CPU time: 5.71813 s Remaining CPU time: 1794.28 s 5.89/5.90 c core #90 5.89/5.90 c Core size: 4 Core Weight: 1 Total Weight: -910 5.89/5.90 c Elapsed CPU time: 5.77912 s Remaining CPU time: 1794.22 s 5.89/5.97 c core #91 5.89/5.97 c Core size: 4 Core Weight: 1 Total Weight: -909 5.89/5.97 c Elapsed CPU time: 5.84511 s Remaining CPU time: 1794.15 s 5.99/6.03 c core #92 5.99/6.03 c Core size: 4 Core Weight: 1 Total Weight: -908 5.99/6.03 c Elapsed CPU time: 5.9091 s Remaining CPU time: 1794.09 s 6.09/6.10 c core #93 6.09/6.10 c Core size: 4 Core Weight: 1 Total Weight: -907 6.09/6.10 c Elapsed CPU time: 5.97609 s Remaining CPU time: 1794.02 s 6.09/6.17 c core #94 6.09/6.17 c Core size: 4 Core Weight: 1 Total Weight: -906 6.09/6.17 c Elapsed CPU time: 6.03908 s Remaining CPU time: 1793.96 s 6.19/6.23 c core #95 6.19/6.23 c Core size: 4 Core Weight: 1 Total Weight: -905 6.19/6.23 c Elapsed CPU time: 6.10507 s Remaining CPU time: 1793.89 s 6.19/6.29 c core #96 6.19/6.29 c Core size: 4 Core Weight: 1 Total Weight: -904 6.19/6.29 c Elapsed CPU time: 6.16606 s Remaining CPU time: 1793.83 s 6.29/6.36 c core #97 6.29/6.36 c Core size: 4 Core Weight: 1 Total Weight: -903 6.29/6.36 c Elapsed CPU time: 6.23105 s Remaining CPU time: 1793.77 s 6.39/6.42 c core #98 6.39/6.42 c Core size: 4 Core Weight: 1 Total Weight: -902 6.39/6.42 c Elapsed CPU time: 6.29304 s Remaining CPU time: 1793.71 s 6.39/6.49 c core #99 6.39/6.49 c Core size: 4 Core Weight: 1 Total Weight: -901 6.39/6.49 c Elapsed CPU time: 6.35503 s Remaining CPU time: 1793.64 s 6.49/6.56 c core #100 6.49/6.56 c Core size: 4 Core Weight: 1 Total Weight: -900 6.49/6.56 c Elapsed CPU time: 6.41902 s Remaining CPU time: 1793.58 s 6.59/6.62 c core #101 6.59/6.62 c Core size: 4 Core Weight: 1 Total Weight: -899 6.59/6.62 c Elapsed CPU time: 6.48001 s Remaining CPU time: 1793.52 s 6.59/6.68 c core #102 6.59/6.68 c Core size: 4 Core Weight: 1 Total Weight: -898 6.59/6.68 c Elapsed CPU time: 6.54401 s Remaining CPU time: 1793.46 s 6.69/6.75 c core #103 6.69/6.75 c Core size: 4 Core Weight: 1 Total Weight: -897 6.69/6.75 c Elapsed CPU time: 6.60799 s Remaining CPU time: 1793.39 s 6.79/6.81 c core #104 6.79/6.81 c Core size: 4 Core Weight: 1 Total Weight: -896 6.79/6.81 c Elapsed CPU time: 6.67098 s Remaining CPU time: 1793.33 s 6.79/6.88 c core #105 6.79/6.88 c Core size: 4 Core Weight: 1 Total Weight: -895 6.79/6.88 c Elapsed CPU time: 6.73698 s Remaining CPU time: 1793.26 s 6.89/6.94 c core #106 6.89/6.94 c Core size: 4 Core Weight: 1 Total Weight: -894 6.89/6.94 c Elapsed CPU time: 6.80097 s Remaining CPU time: 1793.2 s 6.99/7.01 c core #107 6.99/7.01 c Core size: 4 Core Weight: 1 Total Weight: -893 6.99/7.01 c Elapsed CPU time: 6.86596 s Remaining CPU time: 1793.13 s 6.99/7.07 c core #108 6.99/7.07 c Core size: 4 Core Weight: 1 Total Weight: -892 6.99/7.07 c Elapsed CPU time: 6.92895 s Remaining CPU time: 1793.07 s 7.09/7.14 c core #109 7.09/7.14 c Core size: 4 Core Weight: 1 Total Weight: -891 7.09/7.14 c Elapsed CPU time: 6.99194 s Remaining CPU time: 1793.01 s 7.18/7.20 c core #110 7.18/7.20 c Core size: 4 Core Weight: 1 Total Weight: -890 7.18/7.20 c Elapsed CPU time: 7.05593 s Remaining CPU time: 1792.94 s 7.18/7.27 c core #111 7.18/7.27 c Core size: 4 Core Weight: 1 Total Weight: -889 7.18/7.27 c Elapsed CPU time: 7.12192 s Remaining CPU time: 1792.88 s 7.28/7.33 c core #112 7.28/7.33 c Core size: 4 Core Weight: 1 Total Weight: -888 7.28/7.33 c Elapsed CPU time: 7.18391 s Remaining CPU time: 1792.82 s 7.39/7.40 c core #113 7.39/7.40 c Core size: 4 Core Weight: 1 Total Weight: -887 7.39/7.40 c Elapsed CPU time: 7.2469 s Remaining CPU time: 1792.75 s 7.39/7.46 c core #114 7.39/7.46 c Core size: 4 Core Weight: 1 Total Weight: -886 7.39/7.46 c Elapsed CPU time: 7.31089 s Remaining CPU time: 1792.69 s 7.49/7.53 c core #115 7.49/7.53 c Core size: 4 Core Weight: 1 Total Weight: -885 7.49/7.53 c Elapsed CPU time: 7.37588 s Remaining CPU time: 1792.62 s 7.49/7.59 c core #116 7.49/7.59 c Core size: 4 Core Weight: 1 Total Weight: -884 7.49/7.59 c Elapsed CPU time: 7.43987 s Remaining CPU time: 1792.56 s 7.59/7.66 c core #117 7.59/7.66 c Core size: 4 Core Weight: 1 Total Weight: -883 7.59/7.66 c Elapsed CPU time: 7.50586 s Remaining CPU time: 1792.49 s 7.69/7.73 c core #118 7.69/7.73 c Core size: 4 Core Weight: 1 Total Weight: -882 7.69/7.73 c Elapsed CPU time: 7.56885 s Remaining CPU time: 1792.43 s 7.69/7.79 c core #119 7.69/7.79 c Core size: 4 Core Weight: 1 Total Weight: -881 7.69/7.79 c Elapsed CPU time: 7.63484 s Remaining CPU time: 1792.37 s 7.78/7.86 c core #120 7.78/7.86 c Core size: 4 Core Weight: 1 Total Weight: -880 7.78/7.86 c Elapsed CPU time: 7.69883 s Remaining CPU time: 1792.3 s 7.89/7.92 c core #121 7.89/7.92 c Core size: 4 Core Weight: 1 Total Weight: -879 7.89/7.92 c Elapsed CPU time: 7.76382 s Remaining CPU time: 1792.24 s 7.89/7.99 c core #122 7.89/7.99 c Core size: 4 Core Weight: 1 Total Weight: -878 7.89/7.99 c Elapsed CPU time: 7.82981 s Remaining CPU time: 1792.17 s 7.99/8.06 c core #123 7.99/8.06 c Core size: 4 Core Weight: 1 Total Weight: -877 7.99/8.06 c Elapsed CPU time: 7.8938 s Remaining CPU time: 1792.11 s 8.09/8.12 c core #124 8.09/8.12 c Core size: 4 Core Weight: 1 Total Weight: -876 8.09/8.12 c Elapsed CPU time: 7.95979 s Remaining CPU time: 1792.04 s 8.09/8.19 c core #125 8.09/8.19 c Core size: 4 Core Weight: 1 Total Weight: -875 8.09/8.19 c Elapsed CPU time: 8.02478 s Remaining CPU time: 1791.98 s 8.19/8.26 c core #126 8.19/8.26 c Core size: 4 Core Weight: 1 Total Weight: -874 8.19/8.26 c Elapsed CPU time: 8.09077 s Remaining CPU time: 1791.91 s 8.29/8.32 c core #127 8.29/8.32 c Core size: 4 Core Weight: 1 Total Weight: -873 8.29/8.32 c Elapsed CPU time: 8.15376 s Remaining CPU time: 1791.85 s 8.29/8.38 c core #128 8.29/8.38 c Core size: 4 Core Weight: 1 Total Weight: -872 8.29/8.38 c Elapsed CPU time: 8.21875 s Remaining CPU time: 1791.78 s 8.38/8.45 c core #129 8.38/8.45 c Core size: 4 Core Weight: 1 Total Weight: -871 8.38/8.45 c Elapsed CPU time: 8.28174 s Remaining CPU time: 1791.72 s 8.48/8.51 c core #130 8.48/8.51 c Core size: 4 Core Weight: 1 Total Weight: -870 8.48/8.51 c Elapsed CPU time: 8.34573 s Remaining CPU time: 1791.65 s 8.48/8.58 c core #131 8.48/8.58 c Core size: 4 Core Weight: 1 Total Weight: -869 8.48/8.58 c Elapsed CPU time: 8.40972 s Remaining CPU time: 1791.59 s 8.59/8.64 c core #132 8.59/8.64 c Core size: 4 Core Weight: 1 Total Weight: -868 8.59/8.64 c Elapsed CPU time: 8.47271 s Remaining CPU time: 1791.53 s 8.69/8.71 c core #133 8.69/8.71 c Core size: 4 Core Weight: 1 Total Weight: -867 8.69/8.71 c Elapsed CPU time: 8.5377 s Remaining CPU time: 1791.46 s 8.69/8.77 c core #134 8.69/8.77 c Core size: 4 Core Weight: 1 Total Weight: -866 8.69/8.77 c Elapsed CPU time: 8.60069 s Remaining CPU time: 1791.4 s 8.79/8.84 c core #135 8.79/8.84 c Core size: 4 Core Weight: 1 Total Weight: -865 8.79/8.84 c Elapsed CPU time: 8.66368 s Remaining CPU time: 1791.34 s 8.89/8.90 c core #136 8.89/8.90 c Core size: 4 Core Weight: 1 Total Weight: -864 8.89/8.90 c Elapsed CPU time: 8.72767 s Remaining CPU time: 1791.27 s 8.89/8.97 c core #137 8.89/8.97 c Core size: 4 Core Weight: 1 Total Weight: -863 8.89/8.97 c Elapsed CPU time: 8.79366 s Remaining CPU time: 1791.21 s 8.99/9.03 c core #138 8.99/9.03 c Core size: 4 Core Weight: 1 Total Weight: -862 8.99/9.03 c Elapsed CPU time: 8.85665 s Remaining CPU time: 1791.14 s 9.09/9.10 c core #139 9.09/9.10 c Core size: 4 Core Weight: 1 Total Weight: -861 9.09/9.10 c Elapsed CPU time: 8.91864 s Remaining CPU time: 1791.08 s 9.09/9.16 c core #140 9.09/9.16 c Core size: 4 Core Weight: 1 Total Weight: -860 9.09/9.16 c Elapsed CPU time: 8.97963 s Remaining CPU time: 1791.02 s 9.19/9.23 c core #141 9.19/9.23 c Core size: 4 Core Weight: 1 Total Weight: -859 9.19/9.23 c Elapsed CPU time: 9.04762 s Remaining CPU time: 1790.95 s 9.28/9.30 c core #142 9.28/9.30 c Core size: 4 Core Weight: 1 Total Weight: -858 9.28/9.30 c Elapsed CPU time: 9.11261 s Remaining CPU time: 1790.89 s 9.28/9.37 c core #143 9.28/9.37 c Core size: 4 Core Weight: 1 Total Weight: -857 9.28/9.37 c Elapsed CPU time: 9.1786 s Remaining CPU time: 1790.82 s 9.38/9.43 c core #144 9.38/9.43 c Core size: 4 Core Weight: 1 Total Weight: -856 9.38/9.43 c Elapsed CPU time: 9.24259 s Remaining CPU time: 1790.76 s 9.49/9.50 c core #145 9.49/9.50 c Core size: 4 Core Weight: 1 Total Weight: -855 9.49/9.50 c Elapsed CPU time: 9.30858 s Remaining CPU time: 1790.69 s 9.49/9.57 c core #146 9.49/9.57 c Core size: 4 Core Weight: 1 Total Weight: -854 9.49/9.57 c Elapsed CPU time: 9.37457 s Remaining CPU time: 1790.63 s 9.59/9.63 c core #147 9.59/9.63 c Core size: 4 Core Weight: 1 Total Weight: -853 9.59/9.63 c Elapsed CPU time: 9.44256 s Remaining CPU time: 1790.56 s 9.69/9.70 c core #148 9.69/9.70 c Core size: 4 Core Weight: 1 Total Weight: -852 9.69/9.70 c Elapsed CPU time: 9.50855 s Remaining CPU time: 1790.49 s 9.69/9.77 c core #149 9.69/9.77 c Core size: 4 Core Weight: 1 Total Weight: -851 9.69/9.77 c Elapsed CPU time: 9.57254 s Remaining CPU time: 1790.43 s 9.79/9.84 c core #150 9.79/9.84 c Core size: 4 Core Weight: 1 Total Weight: -850 9.79/9.84 c Elapsed CPU time: 9.63953 s Remaining CPU time: 1790.36 s 9.89/9.90 c core #151 9.89/9.90 c Core size: 4 Core Weight: 1 Total Weight: -849 9.89/9.90 c Elapsed CPU time: 9.70652 s Remaining CPU time: 1790.29 s 9.89/9.97 c core #152 9.89/9.97 c Core size: 4 Core Weight: 1 Total Weight: -848 9.89/9.97 c Elapsed CPU time: 9.77051 s Remaining CPU time: 1790.23 s 9.98/10.03 c core #153 9.98/10.03 c Core size: 4 Core Weight: 1 Total Weight: -847 9.98/10.03 c Elapsed CPU time: 9.8355 s Remaining CPU time: 1790.16 s 10.08/10.10 c core #154 10.08/10.10 c Core size: 4 Core Weight: 1 Total Weight: -846 10.08/10.10 c Elapsed CPU time: 9.8985 s Remaining CPU time: 1790.1 s 10.08/10.16 c core #155 10.08/10.16 c Core size: 4 Core Weight: 1 Total Weight: -845 10.08/10.16 c Elapsed CPU time: 9.96448 s Remaining CPU time: 1790.04 s 10.19/10.23 c core #156 10.19/10.23 c Core size: 4 Core Weight: 1 Total Weight: -844 10.19/10.23 c Elapsed CPU time: 10.0305 s Remaining CPU time: 1789.97 s 10.29/10.30 c core #157 10.29/10.30 c Core size: 4 Core Weight: 1 Total Weight: -843 10.29/10.30 c Elapsed CPU time: 10.0975 s Remaining CPU time: 1789.9 s 10.29/10.37 c core #158 10.29/10.37 c Core size: 4 Core Weight: 1 Total Weight: -842 10.29/10.37 c Elapsed CPU time: 10.1645 s Remaining CPU time: 1789.84 s 10.39/10.43 c core #159 10.39/10.43 c Core size: 4 Core Weight: 1 Total Weight: -841 10.39/10.43 c Elapsed CPU time: 10.2324 s Remaining CPU time: 1789.77 s 10.49/10.50 c core #160 10.49/10.50 c Core size: 4 Core Weight: 1 Total Weight: -840 10.49/10.50 c Elapsed CPU time: 10.2994 s Remaining CPU time: 1789.7 s 10.49/10.57 c core #161 10.49/10.57 c Core size: 4 Core Weight: 1 Total Weight: -839 10.49/10.57 c Elapsed CPU time: 10.3674 s Remaining CPU time: 1789.63 s 10.59/10.64 c core #162 10.59/10.64 c Core size: 4 Core Weight: 1 Total Weight: -838 10.59/10.64 c Elapsed CPU time: 10.4334 s Remaining CPU time: 1789.57 s 10.68/10.71 c core #163 10.68/10.71 c Core size: 4 Core Weight: 1 Total Weight: -837 10.68/10.71 c Elapsed CPU time: 10.4964 s Remaining CPU time: 1789.5 s 10.68/10.77 c core #164 10.68/10.77 c Core size: 4 Core Weight: 1 Total Weight: -836 10.68/10.77 c Elapsed CPU time: 10.5644 s Remaining CPU time: 1789.44 s 10.78/10.84 c core #165 10.78/10.84 c Core size: 4 Core Weight: 1 Total Weight: -835 10.78/10.84 c Elapsed CPU time: 10.6314 s Remaining CPU time: 1789.37 s 10.90/10.91 c core #166 10.90/10.91 c Core size: 4 Core Weight: 1 Total Weight: -834 10.90/10.91 c Elapsed CPU time: 10.6974 s Remaining CPU time: 1789.3 s 10.90/10.97 c core #167 10.90/10.97 c Core size: 4 Core Weight: 1 Total Weight: -833 10.90/10.97 c Elapsed CPU time: 10.7614 s Remaining CPU time: 1789.24 s 10.99/11.04 c core #168 10.99/11.04 c Core size: 4 Core Weight: 1 Total Weight: -832 10.99/11.04 c Elapsed CPU time: 10.8274 s Remaining CPU time: 1789.17 s 11.09/11.11 c core #169 11.09/11.11 c Core size: 4 Core Weight: 1 Total Weight: -831 11.09/11.11 c Elapsed CPU time: 10.8933 s Remaining CPU time: 1789.11 s 11.09/11.17 c core #170 11.09/11.17 c Core size: 4 Core Weight: 1 Total Weight: -830 11.09/11.17 c Elapsed CPU time: 10.9573 s Remaining CPU time: 1789.04 s 11.18/11.24 c core #171 11.18/11.24 c Core size: 4 Core Weight: 1 Total Weight: -829 11.18/11.24 c Elapsed CPU time: 11.0213 s Remaining CPU time: 1788.98 s 11.29/11.30 c core #172 11.29/11.30 c Core size: 4 Core Weight: 1 Total Weight: -828 11.29/11.30 c Elapsed CPU time: 11.0833 s Remaining CPU time: 1788.92 s 11.29/11.37 c core #173 11.29/11.37 c Core size: 4 Core Weight: 1 Total Weight: -827 11.29/11.37 c Elapsed CPU time: 11.1493 s Remaining CPU time: 1788.85 s 11.39/11.44 c core #174 11.39/11.44 c Core size: 4 Core Weight: 1 Total Weight: -826 11.39/11.44 c Elapsed CPU time: 11.2143 s Remaining CPU time: 1788.79 s 11.49/11.50 c core #175 11.49/11.50 c Core size: 4 Core Weight: 1 Total Weight: -825 11.49/11.50 c Elapsed CPU time: 11.2803 s Remaining CPU time: 1788.72 s 11.49/11.57 c core #176 11.49/11.57 c Core size: 4 Core Weight: 1 Total Weight: -824 11.49/11.57 c Elapsed CPU time: 11.3473 s Remaining CPU time: 1788.65 s 11.59/11.64 c core #177 11.59/11.64 c Core size: 4 Core Weight: 1 Total Weight: -823 11.59/11.64 c Elapsed CPU time: 11.4143 s Remaining CPU time: 1788.59 s 11.69/11.71 c core #178 11.69/11.71 c Core size: 4 Core Weight: 1 Total Weight: -822 11.69/11.71 c Elapsed CPU time: 11.4813 s Remaining CPU time: 1788.52 s 11.69/11.78 c core #179 11.69/11.78 c Core size: 4 Core Weight: 1 Total Weight: -821 11.69/11.78 c Elapsed CPU time: 11.5482 s Remaining CPU time: 1788.45 s 11.78/11.84 c core #180 11.78/11.84 c Core size: 4 Core Weight: 1 Total Weight: -820 11.78/11.84 c Elapsed CPU time: 11.6132 s Remaining CPU time: 1788.39 s 11.89/11.91 c core #181 11.89/11.91 c Core size: 4 Core Weight: 1 Total Weight: -819 11.89/11.91 c Elapsed CPU time: 11.6802 s Remaining CPU time: 1788.32 s 11.89/11.98 c core #182 11.89/11.98 c Core size: 4 Core Weight: 1 Total Weight: -818 11.89/11.98 c Elapsed CPU time: 11.7482 s Remaining CPU time: 1788.25 s 11.99/12.05 c core #183 11.99/12.05 c Core size: 4 Core Weight: 1 Total Weight: -817 11.99/12.05 c Elapsed CPU time: 11.8152 s Remaining CPU time: 1788.18 s 12.09/12.12 c core #184 12.09/12.12 c Core size: 4 Core Weight: 1 Total Weight: -816 12.09/12.12 c Elapsed CPU time: 11.8802 s Remaining CPU time: 1788.12 s 12.09/12.18 c core #185 12.09/12.18 c Core size: 4 Core Weight: 1 Total Weight: -815 12.09/12.18 c Elapsed CPU time: 11.9472 s Remaining CPU time: 1788.05 s 12.19/12.25 c core #186 12.19/12.25 c Core size: 4 Core Weight: 1 Total Weight: -814 12.19/12.25 c Elapsed CPU time: 12.0132 s Remaining CPU time: 1787.99 s 12.28/12.32 c core #187 12.28/12.32 c Core size: 4 Core Weight: 1 Total Weight: -813 12.28/12.32 c Elapsed CPU time: 12.0792 s Remaining CPU time: 1787.92 s 12.28/12.38 c core #188 12.28/12.38 c Core size: 4 Core Weight: 1 Total Weight: -812 12.28/12.38 c Elapsed CPU time: 12.1462 s Remaining CPU time: 1787.85 s 12.38/12.45 c core #189 12.38/12.45 c Core size: 4 Core Weight: 1 Total Weight: -811 12.38/12.45 c Elapsed CPU time: 12.2151 s Remaining CPU time: 1787.78 s 12.48/12.52 c core #190 12.48/12.52 c Core size: 4 Core Weight: 1 Total Weight: -810 12.48/12.52 c Elapsed CPU time: 12.2831 s Remaining CPU time: 1787.72 s 12.48/12.59 c core #191 12.48/12.59 c Core size: 4 Core Weight: 1 Total Weight: -809 12.48/12.59 c Elapsed CPU time: 12.3501 s Remaining CPU time: 1787.65 s 12.58/12.66 c core #192 12.58/12.66 c Core size: 4 Core Weight: 1 Total Weight: -808 12.58/12.66 c Elapsed CPU time: 12.4151 s Remaining CPU time: 1787.58 s 12.69/12.73 c core #193 12.69/12.73 c Core size: 4 Core Weight: 1 Total Weight: -807 12.69/12.73 c Elapsed CPU time: 12.4821 s Remaining CPU time: 1787.52 s 12.69/12.79 c core #194 12.69/12.79 c Core size: 4 Core Weight: 1 Total Weight: -806 12.69/12.79 c Elapsed CPU time: 12.5501 s Remaining CPU time: 1787.45 s 12.79/12.86 c core #195 12.79/12.86 c Core size: 4 Core Weight: 1 Total Weight: -805 12.79/12.86 c Elapsed CPU time: 12.6151 s Remaining CPU time: 1787.38 s 12.89/12.93 c core #196 12.89/12.93 c Core size: 4 Core Weight: 1 Total Weight: -804 12.89/12.93 c Elapsed CPU time: 12.6821 s Remaining CPU time: 1787.32 s 12.98/13.00 c core #197 12.98/13.00 c Core size: 4 Core Weight: 1 Total Weight: -803 12.98/13.00 c Elapsed CPU time: 12.7501 s Remaining CPU time: 1787.25 s 12.98/13.07 c core #198 12.98/13.07 c Core size: 4 Core Weight: 1 Total Weight: -802 12.98/13.07 c Elapsed CPU time: 12.8171 s Remaining CPU time: 1787.18 s 13.09/13.13 c core #199 13.09/13.13 c Core size: 4 Core Weight: 1 Total Weight: -801 13.09/13.13 c Elapsed CPU time: 12.885 s Remaining CPU time: 1787.11 s 13.19/13.20 c core #200 13.19/13.20 c Core size: 4 Core Weight: 1 Total Weight: -800 13.19/13.20 c Elapsed CPU time: 12.95 s Remaining CPU time: 1787.05 s 13.19/13.27 c core #201 13.19/13.27 c Core size: 4 Core Weight: 1 Total Weight: -799 13.19/13.27 c Elapsed CPU time: 13.015 s Remaining CPU time: 1786.98 s 13.29/13.33 c core #202 13.29/13.33 c Core size: 4 Core Weight: 1 Total Weight: -798 13.29/13.33 c Elapsed CPU time: 13.081 s Remaining CPU time: 1786.92 s 13.39/13.40 c core #203 13.39/13.40 c Core size: 4 Core Weight: 1 Total Weight: -797 13.39/13.40 c Elapsed CPU time: 13.147 s Remaining CPU time: 1786.85 s 13.39/13.47 c core #204 13.39/13.47 c Core size: 4 Core Weight: 1 Total Weight: -796 13.39/13.47 c Elapsed CPU time: 13.213 s Remaining CPU time: 1786.79 s 13.48/13.54 c core #205 13.48/13.54 c Core size: 4 Core Weight: 1 Total Weight: -795 13.48/13.54 c Elapsed CPU time: 13.281 s Remaining CPU time: 1786.72 s 13.58/13.61 c core #206 13.58/13.61 c Core size: 4 Core Weight: 1 Total Weight: -794 13.58/13.61 c Elapsed CPU time: 13.348 s Remaining CPU time: 1786.65 s 13.58/13.68 c core #207 13.58/13.68 c Core size: 4 Core Weight: 1 Total Weight: -793 13.58/13.68 c Elapsed CPU time: 13.416 s Remaining CPU time: 1786.58 s 13.68/13.74 c core #208 13.68/13.74 c Core size: 4 Core Weight: 1 Total Weight: -792 13.68/13.74 c Elapsed CPU time: 13.484 s Remaining CPU time: 1786.52 s 13.78/13.81 c core #209 13.78/13.81 c Core size: 4 Core Weight: 1 Total Weight: -791 13.78/13.81 c Elapsed CPU time: 13.5509 s Remaining CPU time: 1786.45 s 13.78/13.88 c core #210 13.78/13.88 c Core size: 4 Core Weight: 1 Total Weight: -790 13.78/13.88 c Elapsed CPU time: 13.6159 s Remaining CPU time: 1786.38 s 13.89/13.94 c core #211 13.89/13.94 c Core size: 4 Core Weight: 1 Total Weight: -789 13.89/13.94 c Elapsed CPU time: 13.6819 s Remaining CPU time: 1786.32 s 13.99/14.01 c core #212 13.99/14.01 c Core size: 4 Core Weight: 1 Total Weight: -788 13.99/14.01 c Elapsed CPU time: 13.7479 s Remaining CPU time: 1786.25 s 13.99/14.08 c core #213 13.99/14.08 c Core size: 4 Core Weight: 1 Total Weight: -787 13.99/14.08 c Elapsed CPU time: 13.8169 s Remaining CPU time: 1786.18 s 14.09/14.15 c core #214 14.09/14.15 c Core size: 4 Core Weight: 1 Total Weight: -786 14.09/14.15 c Elapsed CPU time: 13.8829 s Remaining CPU time: 1786.12 s 14.19/14.22 c core #215 14.19/14.22 c Core size: 4 Core Weight: 1 Total Weight: -785 14.19/14.22 c Elapsed CPU time: 13.9519 s Remaining CPU time: 1786.05 s 14.19/14.28 c core #216 14.19/14.28 c Core size: 4 Core Weight: 1 Total Weight: -784 14.19/14.28 c Elapsed CPU time: 14.0179 s Remaining CPU time: 1785.98 s 14.29/14.35 c core #217 14.29/14.35 c Core size: 4 Core Weight: 1 Total Weight: -783 14.29/14.35 c Elapsed CPU time: 14.0839 s Remaining CPU time: 1785.92 s 14.39/14.42 c core #218 14.39/14.42 c Core size: 4 Core Weight: 1 Total Weight: -782 14.39/14.42 c Elapsed CPU time: 14.1488 s Remaining CPU time: 1785.85 s 14.39/14.49 c core #219 14.39/14.49 c Core size: 4 Core Weight: 1 Total Weight: -781 14.39/14.49 c Elapsed CPU time: 14.2158 s Remaining CPU time: 1785.78 s 14.49/14.56 c core #220 14.49/14.56 c Core size: 4 Core Weight: 1 Total Weight: -780 14.49/14.56 c Elapsed CPU time: 14.2838 s Remaining CPU time: 1785.72 s 14.59/14.63 c core #221 14.59/14.63 c Core size: 4 Core Weight: 1 Total Weight: -779 14.59/14.63 c Elapsed CPU time: 14.3518 s Remaining CPU time: 1785.65 s 14.59/14.69 c core #222 14.59/14.69 c Core size: 4 Core Weight: 1 Total Weight: -778 14.59/14.69 c Elapsed CPU time: 14.4188 s Remaining CPU time: 1785.58 s 14.69/14.76 c core #223 14.69/14.76 c Core size: 4 Core Weight: 1 Total Weight: -777 14.69/14.76 c Elapsed CPU time: 14.4848 s Remaining CPU time: 1785.52 s 14.78/14.83 c core #224 14.78/14.83 c Core size: 4 Core Weight: 1 Total Weight: -776 14.78/14.83 c Elapsed CPU time: 14.5508 s Remaining CPU time: 1785.45 s 14.88/14.90 c core #225 14.88/14.90 c Core size: 4 Core Weight: 1 Total Weight: -775 14.88/14.90 c Elapsed CPU time: 14.6178 s Remaining CPU time: 1785.38 s 14.88/14.97 c core #226 14.88/14.97 c Core size: 4 Core Weight: 1 Total Weight: -774 14.88/14.97 c Elapsed CPU time: 14.6858 s Remaining CPU time: 1785.31 s 14.98/15.03 c core #227 14.98/15.03 c Core size: 4 Core Weight: 1 Total Weight: -773 14.98/15.03 c Elapsed CPU time: 14.7508 s Remaining CPU time: 1785.25 s 15.09/15.10 c core #228 15.09/15.10 c Core size: 4 Core Weight: 1 Total Weight: -772 15.09/15.10 c Elapsed CPU time: 14.8177 s Remaining CPU time: 1785.18 s 15.09/15.17 c core #229 15.09/15.17 c Core size: 4 Core Weight: 1 Total Weight: -771 15.09/15.17 c Elapsed CPU time: 14.8847 s Remaining CPU time: 1785.12 s 15.19/15.24 c core #230 15.19/15.24 c Core size: 4 Core Weight: 1 Total Weight: -770 15.19/15.24 c Elapsed CPU time: 14.9517 s Remaining CPU time: 1785.05 s 15.29/15.31 c core #231 15.29/15.31 c Core size: 4 Core Weight: 1 Total Weight: -769 15.29/15.31 c Elapsed CPU time: 15.0197 s Remaining CPU time: 1784.98 s 15.29/15.37 c core #232 15.29/15.37 c Core size: 4 Core Weight: 1 Total Weight: -768 15.29/15.37 c Elapsed CPU time: 15.0837 s Remaining CPU time: 1784.92 s 15.39/15.44 c core #233 15.39/15.44 c Core size: 4 Core Weight: 1 Total Weight: -767 15.39/15.44 c Elapsed CPU time: 15.1507 s Remaining CPU time: 1784.85 s 15.48/15.50 c core #234 15.48/15.50 c Core size: 4 Core Weight: 1 Total Weight: -766 15.48/15.50 c Elapsed CPU time: 15.2147 s Remaining CPU time: 1784.79 s 15.48/15.57 c core #235 15.48/15.57 c Core size: 4 Core Weight: 1 Total Weight: -765 15.48/15.57 c Elapsed CPU time: 15.2827 s Remaining CPU time: 1784.72 s 15.58/15.64 c core #236 15.58/15.64 c Core size: 4 Core Weight: 1 Total Weight: -764 15.58/15.64 c Elapsed CPU time: 15.3467 s Remaining CPU time: 1784.65 s 15.69/15.70 c core #237 15.69/15.70 c Core size: 4 Core Weight: 1 Total Weight: -763 15.69/15.70 c Elapsed CPU time: 15.4127 s Remaining CPU time: 1784.59 s 15.69/15.77 c core #238 15.69/15.77 c Core size: 4 Core Weight: 1 Total Weight: -762 15.69/15.77 c Elapsed CPU time: 15.4776 s Remaining CPU time: 1784.52 s 15.79/15.84 c core #239 15.79/15.84 c Core size: 4 Core Weight: 1 Total Weight: -761 15.79/15.84 c Elapsed CPU time: 15.5456 s Remaining CPU time: 1784.45 s 15.89/15.91 c core #240 15.89/15.91 c Core size: 4 Core Weight: 1 Total Weight: -760 15.89/15.91 c Elapsed CPU time: 15.6116 s Remaining CPU time: 1784.39 s 15.89/15.97 c core #241 15.89/15.97 c Core size: 4 Core Weight: 1 Total Weight: -759 15.89/15.97 c Elapsed CPU time: 15.6786 s Remaining CPU time: 1784.32 s 15.98/16.04 c core #242 15.98/16.04 c Core size: 4 Core Weight: 1 Total Weight: -758 15.98/16.04 c Elapsed CPU time: 15.7416 s Remaining CPU time: 1784.26 s 16.09/16.11 c core #243 16.09/16.11 c Core size: 4 Core Weight: 1 Total Weight: -757 16.09/16.11 c Elapsed CPU time: 15.8076 s Remaining CPU time: 1784.19 s 16.09/16.18 c core #244 16.09/16.18 c Core size: 4 Core Weight: 1 Total Weight: -756 16.09/16.18 c Elapsed CPU time: 15.8736 s Remaining CPU time: 1784.13 s 16.19/16.24 c core #245 16.19/16.24 c Core size: 4 Core Weight: 1 Total Weight: -755 16.19/16.24 c Elapsed CPU time: 15.9386 s Remaining CPU time: 1784.06 s 16.29/16.31 c core #246 16.29/16.31 c Core size: 4 Core Weight: 1 Total Weight: -754 16.29/16.31 c Elapsed CPU time: 16.0056 s Remaining CPU time: 1783.99 s 16.29/16.38 c core #247 16.29/16.38 c Core size: 4 Core Weight: 1 Total Weight: -753 16.29/16.38 c Elapsed CPU time: 16.0736 s Remaining CPU time: 1783.93 s 16.39/16.45 c core #248 16.39/16.45 c Core size: 4 Core Weight: 1 Total Weight: -752 16.39/16.45 c Elapsed CPU time: 16.1415 s Remaining CPU time: 1783.86 s 16.49/16.52 c core #249 16.49/16.52 c Core size: 4 Core Weight: 1 Total Weight: -751 16.49/16.52 c Elapsed CPU time: 16.2115 s Remaining CPU time: 1783.79 s 16.49/16.59 c core #250 16.49/16.59 c Core size: 4 Core Weight: 1 Total Weight: -750 16.49/16.59 c Elapsed CPU time: 16.2765 s Remaining CPU time: 1783.72 s 16.58/16.65 c core #251 16.58/16.65 c Core size: 4 Core Weight: 1 Total Weight: -749 16.58/16.65 c Elapsed CPU time: 16.3445 s Remaining CPU time: 1783.66 s 16.68/16.72 c core #252 16.68/16.72 c Core size: 4 Core Weight: 1 Total Weight: -748 16.68/16.72 c Elapsed CPU time: 16.4105 s Remaining CPU time: 1783.59 s 16.68/16.79 c core #253 16.68/16.79 c Core size: 4 Core Weight: 1 Total Weight: -747 16.68/16.79 c Elapsed CPU time: 16.4785 s Remaining CPU time: 1783.52 s 16.79/16.86 c core #254 16.79/16.86 c Core size: 4 Core Weight: 1 Total Weight: -746 16.79/16.86 c Elapsed CPU time: 16.5475 s Remaining CPU time: 1783.45 s 16.89/16.93 c core #255 16.89/16.93 c Core size: 4 Core Weight: 1 Total Weight: -745 16.89/16.93 c Elapsed CPU time: 16.6145 s Remaining CPU time: 1783.39 s 16.89/17.00 c core #256 16.89/17.00 c Core size: 4 Core Weight: 1 Total Weight: -744 16.89/17.00 c Elapsed CPU time: 16.6805 s Remaining CPU time: 1783.32 s 16.99/17.06 c core #257 16.99/17.06 c Core size: 4 Core Weight: 1 Total Weight: -743 16.99/17.06 c Elapsed CPU time: 16.7475 s Remaining CPU time: 1783.25 s 17.09/17.13 c core #258 17.09/17.13 c Core size: 4 Core Weight: 1 Total Weight: -742 17.09/17.13 c Elapsed CPU time: 16.8124 s Remaining CPU time: 1783.19 s 17.18/17.20 c core #259 17.18/17.20 c Core size: 4 Core Weight: 1 Total Weight: -741 17.18/17.20 c Elapsed CPU time: 16.8794 s Remaining CPU time: 1783.12 s 17.18/17.27 c core #260 17.18/17.27 c Core size: 4 Core Weight: 1 Total Weight: -740 17.18/17.27 c Elapsed CPU time: 16.9474 s Remaining CPU time: 1783.05 s 17.28/17.34 c core #261 17.28/17.34 c Core size: 4 Core Weight: 1 Total Weight: -739 17.28/17.34 c Elapsed CPU time: 17.0154 s Remaining CPU time: 1782.98 s 17.38/17.41 c core #262 17.38/17.41 c Core size: 4 Core Weight: 1 Total Weight: -738 17.38/17.41 c Elapsed CPU time: 17.0854 s Remaining CPU time: 1782.91 s 17.38/17.48 c core #263 17.38/17.48 c Core size: 4 Core Weight: 1 Total Weight: -737 17.38/17.48 c Elapsed CPU time: 17.1544 s Remaining CPU time: 1782.85 s 17.49/17.54 c core #264 17.49/17.54 c Core size: 4 Core Weight: 1 Total Weight: -736 17.49/17.54 c Elapsed CPU time: 17.2204 s Remaining CPU time: 1782.78 s 17.59/17.61 c core #265 17.59/17.61 c Core size: 4 Core Weight: 1 Total Weight: -735 17.59/17.61 c Elapsed CPU time: 17.2894 s Remaining CPU time: 1782.71 s 17.59/17.68 c core #266 17.59/17.68 c Core size: 4 Core Weight: 1 Total Weight: -734 17.59/17.68 c Elapsed CPU time: 17.3554 s Remaining CPU time: 1782.64 s 17.69/17.75 c core #267 17.69/17.75 c Core size: 4 Core Weight: 1 Total Weight: -733 17.69/17.75 c Elapsed CPU time: 17.4224 s Remaining CPU time: 1782.58 s 17.78/17.82 c core #268 17.78/17.82 c Core size: 4 Core Weight: 1 Total Weight: -732 17.78/17.82 c Elapsed CPU time: 17.4913 s Remaining CPU time: 1782.51 s 17.78/17.89 c core #269 17.78/17.89 c Core size: 4 Core Weight: 1 Total Weight: -731 17.78/17.89 c Elapsed CPU time: 17.5573 s Remaining CPU time: 1782.44 s 17.88/17.96 c core #270 17.88/17.96 c Core size: 4 Core Weight: 1 Total Weight: -730 17.88/17.96 c Elapsed CPU time: 17.6213 s Remaining CPU time: 1782.38 s 17.99/18.02 c core #271 17.99/18.02 c Core size: 4 Core Weight: 1 Total Weight: -729 17.99/18.02 c Elapsed CPU time: 17.6883 s Remaining CPU time: 1782.31 s 17.99/18.09 c core #272 17.99/18.09 c Core size: 4 Core Weight: 1 Total Weight: -728 17.99/18.09 c Elapsed CPU time: 17.7563 s Remaining CPU time: 1782.24 s 18.09/18.16 c core #273 18.09/18.16 c Core size: 4 Core Weight: 1 Total Weight: -727 18.09/18.16 c Elapsed CPU time: 17.8233 s Remaining CPU time: 1782.18 s 18.19/18.22 c core #274 18.19/18.22 c Core size: 4 Core Weight: 1 Total Weight: -726 18.19/18.22 c Elapsed CPU time: 17.8863 s Remaining CPU time: 1782.11 s 18.19/18.29 c core #275 18.19/18.29 c Core size: 4 Core Weight: 1 Total Weight: -725 18.19/18.29 c Elapsed CPU time: 17.9513 s Remaining CPU time: 1782.05 s 18.28/18.36 c core #276 18.28/18.36 c Core size: 4 Core Weight: 1 Total Weight: -724 18.28/18.36 c Elapsed CPU time: 18.0193 s Remaining CPU time: 1781.98 s 18.38/18.43 c core #277 18.38/18.43 c Core size: 4 Core Weight: 1 Total Weight: -723 18.38/18.43 c Elapsed CPU time: 18.0862 s Remaining CPU time: 1781.91 s 18.49/18.50 c core #278 18.49/18.50 c Core size: 4 Core Weight: 1 Total Weight: -722 18.49/18.50 c Elapsed CPU time: 18.1532 s Remaining CPU time: 1781.85 s 18.49/18.57 c core #279 18.49/18.57 c Core size: 4 Core Weight: 1 Total Weight: -721 18.49/18.57 c Elapsed CPU time: 18.2202 s Remaining CPU time: 1781.78 s 18.59/18.63 c core #280 18.59/18.63 c Core size: 4 Core Weight: 1 Total Weight: -720 18.59/18.63 c Elapsed CPU time: 18.2882 s Remaining CPU time: 1781.71 s 18.69/18.70 c core #281 18.69/18.70 c Core size: 4 Core Weight: 1 Total Weight: -719 18.69/18.70 c Elapsed CPU time: 18.3562 s Remaining CPU time: 1781.64 s 18.69/18.77 c core #282 18.69/18.77 c Core size: 4 Core Weight: 1 Total Weight: -718 18.69/18.77 c Elapsed CPU time: 18.4212 s Remaining CPU time: 1781.58 s 18.78/18.83 c core #283 18.78/18.83 c Core size: 4 Core Weight: 1 Total Weight: -717 18.78/18.83 c Elapsed CPU time: 18.4842 s Remaining CPU time: 1781.52 s 18.88/18.90 c core #284 18.88/18.90 c Core size: 4 Core Weight: 1 Total Weight: -716 18.88/18.90 c Elapsed CPU time: 18.5492 s Remaining CPU time: 1781.45 s 18.88/18.97 c core #285 18.88/18.97 c Core size: 4 Core Weight: 1 Total Weight: -715 18.88/18.97 c Elapsed CPU time: 18.6142 s Remaining CPU time: 1781.39 s 18.99/19.04 c core #286 18.99/19.04 c Core size: 4 Core Weight: 1 Total Weight: -714 18.99/19.04 c Elapsed CPU time: 18.6782 s Remaining CPU time: 1781.32 s 19.08/19.11 c core #287 19.08/19.11 c Core size: 4 Core Weight: 1 Total Weight: -713 19.08/19.11 c Elapsed CPU time: 18.7462 s Remaining CPU time: 1781.25 s 19.08/19.17 c core #288 19.08/19.17 c Core size: 4 Core Weight: 1 Total Weight: -712 19.08/19.17 c Elapsed CPU time: 18.8151 s Remaining CPU time: 1781.18 s 19.18/19.24 c core #289 19.18/19.24 c Core size: 4 Core Weight: 1 Total Weight: -711 19.18/19.24 c Elapsed CPU time: 18.8811 s Remaining CPU time: 1781.12 s 19.29/19.31 c core #290 19.29/19.31 c Core size: 4 Core Weight: 1 Total Weight: -710 19.29/19.31 c Elapsed CPU time: 18.9491 s Remaining CPU time: 1781.05 s 19.29/19.38 c core #291 19.29/19.38 c Core size: 4 Core Weight: 1 Total Weight: -709 19.29/19.38 c Elapsed CPU time: 19.0171 s Remaining CPU time: 1780.98 s 19.39/19.45 c core #292 19.39/19.45 c Core size: 4 Core Weight: 1 Total Weight: -708 19.39/19.45 c Elapsed CPU time: 19.0861 s Remaining CPU time: 1780.91 s 19.49/19.52 c core #293 19.49/19.52 c Core size: 4 Core Weight: 1 Total Weight: -707 19.49/19.52 c Elapsed CPU time: 19.1531 s Remaining CPU time: 1780.85 s 19.49/19.59 c core #294 19.49/19.59 c Core size: 4 Core Weight: 1 Total Weight: -706 19.49/19.59 c Elapsed CPU time: 19.2201 s Remaining CPU time: 1780.78 s 19.58/19.65 c core #295 19.58/19.65 c Core size: 4 Core Weight: 1 Total Weight: -705 19.58/19.65 c Elapsed CPU time: 19.2861 s Remaining CPU time: 1780.71 s 19.69/19.72 c core #296 19.69/19.72 c Core size: 4 Core Weight: 1 Total Weight: -704 19.69/19.72 c Elapsed CPU time: 19.3521 s Remaining CPU time: 1780.65 s 19.69/19.79 c core #297 19.69/19.79 c Core size: 4 Core Weight: 1 Total Weight: -703 19.69/19.79 c Elapsed CPU time: 19.418 s Remaining CPU time: 1780.58 s 19.79/19.86 c core #298 19.79/19.86 c Core size: 4 Core Weight: 1 Total Weight: -702 19.79/19.86 c Elapsed CPU time: 19.487 s Remaining CPU time: 1780.51 s 19.88/19.93 c core #299 19.88/19.93 c Core size: 4 Core Weight: 1 Total Weight: -701 19.88/19.93 c Elapsed CPU time: 19.555 s Remaining CPU time: 1780.44 s 19.88/20.00 c core #300 19.88/20.00 c Core size: 4 Core Weight: 1 Total Weight: -700 19.88/20.00 c Elapsed CPU time: 19.624 s Remaining CPU time: 1780.38 s 19.98/20.07 c core #301 19.98/20.07 c Core size: 4 Core Weight: 1 Total Weight: -699 19.98/20.07 c Elapsed CPU time: 19.693 s Remaining CPU time: 1780.31 s 20.08/20.13 c core #302 20.08/20.13 c Core size: 4 Core Weight: 1 Total Weight: -698 20.08/20.13 c Elapsed CPU time: 19.761 s Remaining CPU time: 1780.24 s 20.18/20.20 c core #303 20.18/20.20 c Core size: 4 Core Weight: 1 Total Weight: -697 20.18/20.20 c Elapsed CPU time: 19.829 s Remaining CPU time: 1780.17 s 20.18/20.27 c core #304 20.18/20.27 c Core size: 4 Core Weight: 1 Total Weight: -696 20.18/20.27 c Elapsed CPU time: 19.897 s Remaining CPU time: 1780.1 s 20.29/20.34 c core #305 20.29/20.34 c Core size: 4 Core Weight: 1 Total Weight: -695 20.29/20.34 c Elapsed CPU time: 19.965 s Remaining CPU time: 1780.04 s 20.38/20.41 c core #306 20.38/20.41 c Core size: 4 Core Weight: 1 Total Weight: -694 20.38/20.41 c Elapsed CPU time: 20.032 s Remaining CPU time: 1779.97 s 20.38/20.48 c core #307 20.38/20.48 c Core size: 4 Core Weight: 1 Total Weight: -693 20.38/20.48 c Elapsed CPU time: 20.0979 s Remaining CPU time: 1779.9 s 20.48/20.54 c core #308 20.48/20.54 c Core size: 4 Core Weight: 1 Total Weight: -692 20.48/20.54 c Elapsed CPU time: 20.1649 s Remaining CPU time: 1779.84 s 20.58/20.61 c core #309 20.58/20.61 c Core size: 4 Core Weight: 1 Total Weight: -691 20.58/20.61 c Elapsed CPU time: 20.2329 s Remaining CPU time: 1779.77 s 20.58/20.68 c core #310 20.58/20.68 c Core size: 4 Core Weight: 1 Total Weight: -690 20.58/20.68 c Elapsed CPU time: 20.2989 s Remaining CPU time: 1779.7 s 20.68/20.75 c core #311 20.68/20.75 c Core size: 4 Core Weight: 1 Total Weight: -689 20.68/20.75 c Elapsed CPU time: 20.3639 s Remaining CPU time: 1779.64 s 20.78/20.81 c core #312 20.78/20.81 c Core size: 4 Core Weight: 1 Total Weight: -688 20.78/20.81 c Elapsed CPU time: 20.4309 s Remaining CPU time: 1779.57 s 20.78/20.88 c core #313 20.78/20.88 c Core size: 4 Core Weight: 1 Total Weight: -687 20.78/20.88 c Elapsed CPU time: 20.4969 s Remaining CPU time: 1779.5 s 20.89/20.95 c core #314 20.89/20.95 c Core size: 4 Core Weight: 1 Total Weight: -686 20.89/20.95 c Elapsed CPU time: 20.5649 s Remaining CPU time: 1779.44 s 20.99/21.02 c core #315 20.99/21.02 c Core size: 4 Core Weight: 1 Total Weight: -685 20.99/21.02 c Elapsed CPU time: 20.6359 s Remaining CPU time: 1779.36 s 20.99/21.09 c core #316 20.99/21.09 c Core size: 4 Core Weight: 1 Total Weight: -684 20.99/21.09 c Elapsed CPU time: 20.7019 s Remaining CPU time: 1779.3 s 21.08/21.16 c core #317 21.08/21.16 c Core size: 4 Core Weight: 1 Total Weight: -683 21.08/21.16 c Elapsed CPU time: 20.7698 s Remaining CPU time: 1779.23 s 21.18/21.23 c core #318 21.18/21.23 c Core size: 4 Core Weight: 1 Total Weight: -682 21.18/21.23 c Elapsed CPU time: 20.8378 s Remaining CPU time: 1779.16 s 21.18/21.30 c core #319 21.18/21.30 c Core size: 4 Core Weight: 1 Total Weight: -681 21.18/21.30 c Elapsed CPU time: 20.9088 s Remaining CPU time: 1779.09 s 21.28/21.36 c core #320 21.28/21.36 c Core size: 4 Core Weight: 1 Total Weight: -680 21.28/21.36 c Elapsed CPU time: 20.9768 s Remaining CPU time: 1779.02 s 21.38/21.43 c core #321 21.38/21.43 c Core size: 4 Core Weight: 1 Total Weight: -679 21.38/21.43 c Elapsed CPU time: 21.0448 s Remaining CPU time: 1778.96 s 21.48/21.50 c core #322 21.48/21.50 c Core size: 4 Core Weight: 1 Total Weight: -678 21.48/21.50 c Elapsed CPU time: 21.1098 s Remaining CPU time: 1778.89 s 21.48/21.57 c core #323 21.48/21.57 c Core size: 4 Core Weight: 1 Total Weight: -677 21.48/21.57 c Elapsed CPU time: 21.1768 s Remaining CPU time: 1778.82 s 21.58/21.64 c core #324 21.58/21.64 c Core size: 4 Core Weight: 1 Total Weight: -676 21.58/21.64 c Elapsed CPU time: 21.2468 s Remaining CPU time: 1778.75 s 21.68/21.71 c core #325 21.68/21.71 c Core size: 4 Core Weight: 1 Total Weight: -675 21.68/21.71 c Elapsed CPU time: 21.3148 s Remaining CPU time: 1778.69 s 21.68/21.77 c core #326 21.68/21.77 c Core size: 4 Core Weight: 1 Total Weight: -674 21.68/21.77 c Elapsed CPU time: 21.3827 s Remaining CPU time: 1778.62 s 21.78/21.84 c core #327 21.78/21.84 c Core size: 4 Core Weight: 1 Total Weight: -673 21.78/21.84 c Elapsed CPU time: 21.4507 s Remaining CPU time: 1778.55 s 21.88/21.91 c core #328 21.88/21.91 c Core size: 4 Core Weight: 1 Total Weight: -672 21.88/21.91 c Elapsed CPU time: 21.5157 s Remaining CPU time: 1778.48 s 21.88/21.98 c core #329 21.88/21.98 c Core size: 4 Core Weight: 1 Total Weight: -671 21.88/21.98 c Elapsed CPU time: 21.5807 s Remaining CPU time: 1778.42 s 21.99/22.04 c core #330 21.99/22.04 c Core size: 4 Core Weight: 1 Total Weight: -670 21.99/22.04 c Elapsed CPU time: 21.6477 s Remaining CPU time: 1778.35 s 22.09/22.11 c core #331 22.09/22.11 c Core size: 4 Core Weight: 1 Total Weight: -669 22.09/22.11 c Elapsed CPU time: 21.7157 s Remaining CPU time: 1778.28 s 22.09/22.18 c core #332 22.09/22.18 c Core size: 4 Core Weight: 1 Total Weight: -668 22.09/22.18 c Elapsed CPU time: 21.7787 s Remaining CPU time: 1778.22 s 22.18/22.25 c core #333 22.18/22.25 c Core size: 4 Core Weight: 1 Total Weight: -667 22.18/22.25 c Elapsed CPU time: 21.8477 s Remaining CPU time: 1778.15 s 22.28/22.32 c core #334 22.28/22.32 c Core size: 4 Core Weight: 1 Total Weight: -666 22.28/22.32 c Elapsed CPU time: 21.9167 s Remaining CPU time: 1778.08 s 22.28/22.39 c core #335 22.28/22.39 c Core size: 4 Core Weight: 1 Total Weight: -665 22.28/22.39 c Elapsed CPU time: 21.9847 s Remaining CPU time: 1778.02 s 22.38/22.45 c core #336 22.38/22.45 c Core size: 4 Core Weight: 1 Total Weight: -664 22.38/22.45 c Elapsed CPU time: 22.0516 s Remaining CPU time: 1777.95 s 22.48/22.52 c core #337 22.48/22.52 c Core size: 4 Core Weight: 1 Total Weight: -663 22.48/22.52 c Elapsed CPU time: 22.1206 s Remaining CPU time: 1777.88 s 22.48/22.59 c core #338 22.48/22.59 c Core size: 4 Core Weight: 1 Total Weight: -662 22.48/22.59 c Elapsed CPU time: 22.1886 s Remaining CPU time: 1777.81 s 22.58/22.66 c core #339 22.58/22.66 c Core size: 4 Core Weight: 1 Total Weight: -661 22.58/22.66 c Elapsed CPU time: 22.2576 s Remaining CPU time: 1777.74 s 22.68/22.73 c core #340 22.68/22.73 c Core size: 4 Core Weight: 1 Total Weight: -660 22.68/22.73 c Elapsed CPU time: 22.3246 s Remaining CPU time: 1777.68 s 22.79/22.80 c core #341 22.79/22.80 c Core size: 4 Core Weight: 1 Total Weight: -659 22.79/22.80 c Elapsed CPU time: 22.3936 s Remaining CPU time: 1777.61 s 22.79/22.87 c core #342 22.79/22.87 c Core size: 4 Core Weight: 1 Total Weight: -658 22.79/22.87 c Elapsed CPU time: 22.4596 s Remaining CPU time: 1777.54 s 22.89/22.93 c core #343 22.89/22.93 c Core size: 4 Core Weight: 1 Total Weight: -657 22.89/22.93 c Elapsed CPU time: 22.5286 s Remaining CPU time: 1777.47 s 22.99/23.00 c core #344 22.99/23.00 c Core size: 4 Core Weight: 1 Total Weight: -656 22.99/23.00 c Elapsed CPU time: 22.5956 s Remaining CPU time: 1777.4 s 22.99/23.07 c core #345 22.99/23.07 c Core size: 4 Core Weight: 1 Total Weight: -655 22.99/23.07 c Elapsed CPU time: 22.6626 s Remaining CPU time: 1777.34 s 23.09/23.14 c core #346 23.09/23.14 c Core size: 4 Core Weight: 1 Total Weight: -654 23.09/23.14 c Elapsed CPU time: 22.7275 s Remaining CPU time: 1777.27 s 23.18/23.20 c core #347 23.18/23.20 c Core size: 4 Core Weight: 1 Total Weight: -653 23.18/23.20 c Elapsed CPU time: 22.7935 s Remaining CPU time: 1777.21 s 23.18/23.27 c core #348 23.18/23.27 c Core size: 4 Core Weight: 1 Total Weight: -652 23.18/23.27 c Elapsed CPU time: 22.8595 s Remaining CPU time: 1777.14 s 23.28/23.34 c core #349 23.28/23.34 c Core size: 4 Core Weight: 1 Total Weight: -651 23.28/23.34 c Elapsed CPU time: 22.9255 s Remaining CPU time: 1777.07 s 23.39/23.41 c core #350 23.39/23.41 c Core size: 4 Core Weight: 1 Total Weight: -650 23.39/23.41 c Elapsed CPU time: 22.9925 s Remaining CPU time: 1777.01 s 23.39/23.48 c core #351 23.39/23.48 c Core size: 4 Core Weight: 1 Total Weight: -649 23.39/23.48 c Elapsed CPU time: 23.0625 s Remaining CPU time: 1776.94 s 23.49/23.55 c core #352 23.49/23.55 c Core size: 4 Core Weight: 1 Total Weight: -648 23.49/23.55 c Elapsed CPU time: 23.1275 s Remaining CPU time: 1776.87 s 23.58/23.61 c core #353 23.58/23.61 c Core size: 4 Core Weight: 1 Total Weight: -647 23.58/23.61 c Elapsed CPU time: 23.1945 s Remaining CPU time: 1776.81 s 23.58/23.68 c core #354 23.58/23.68 c Core size: 4 Core Weight: 1 Total Weight: -646 23.58/23.68 c Elapsed CPU time: 23.2605 s Remaining CPU time: 1776.74 s 23.68/23.75 c core #355 23.68/23.75 c Core size: 4 Core Weight: 1 Total Weight: -645 23.68/23.75 c Elapsed CPU time: 23.3275 s Remaining CPU time: 1776.67 s 23.78/23.82 c core #356 23.78/23.82 c Core size: 4 Core Weight: 1 Total Weight: -644 23.78/23.82 c Elapsed CPU time: 23.3934 s Remaining CPU time: 1776.61 s 23.78/23.88 c core #357 23.78/23.88 c Core size: 4 Core Weight: 1 Total Weight: -643 23.78/23.88 c Elapsed CPU time: 23.4604 s Remaining CPU time: 1776.54 s 23.88/23.95 c core #358 23.88/23.95 c Core size: 4 Core Weight: 1 Total Weight: -642 23.88/23.95 c Elapsed CPU time: 23.5274 s Remaining CPU time: 1776.47 s 23.99/24.02 c core #359 23.99/24.02 c Core size: 4 Core Weight: 1 Total Weight: -641 23.99/24.02 c Elapsed CPU time: 23.5954 s Remaining CPU time: 1776.4 s 23.99/24.09 c core #360 23.99/24.09 c Core size: 4 Core Weight: 1 Total Weight: -640 23.99/24.09 c Elapsed CPU time: 23.6634 s Remaining CPU time: 1776.34 s 24.09/24.16 c core #361 24.09/24.16 c Core size: 4 Core Weight: 1 Total Weight: -639 24.09/24.16 c Elapsed CPU time: 23.7324 s Remaining CPU time: 1776.27 s 24.19/24.23 c core #362 24.19/24.23 c Core size: 4 Core Weight: 1 Total Weight: -638 24.19/24.23 c Elapsed CPU time: 23.7994 s Remaining CPU time: 1776.2 s 24.19/24.29 c core #363 24.19/24.29 c Core size: 4 Core Weight: 1 Total Weight: -637 24.19/24.29 c Elapsed CPU time: 23.8654 s Remaining CPU time: 1776.13 s 24.28/24.36 c core #364 24.28/24.36 c Core size: 4 Core Weight: 1 Total Weight: -636 24.28/24.36 c Elapsed CPU time: 23.9324 s Remaining CPU time: 1776.07 s 24.38/24.43 c core #365 24.38/24.43 c Core size: 4 Core Weight: 1 Total Weight: -635 24.38/24.43 c Elapsed CPU time: 23.9994 s Remaining CPU time: 1776 s 24.48/24.50 c core #366 24.48/24.50 c Core size: 4 Core Weight: 1 Total Weight: -634 24.48/24.50 c Elapsed CPU time: 24.0653 s Remaining CPU time: 1775.93 s 24.48/24.57 c core #367 24.48/24.57 c Core size: 4 Core Weight: 1 Total Weight: -633 24.48/24.57 c Elapsed CPU time: 24.1333 s Remaining CPU time: 1775.87 s 24.58/24.63 c core #368 24.58/24.63 c Core size: 4 Core Weight: 1 Total Weight: -632 24.58/24.63 c Elapsed CPU time: 24.1993 s Remaining CPU time: 1775.8 s 24.68/24.70 c core #369 24.68/24.70 c Core size: 4 Core Weight: 1 Total Weight: -631 24.68/24.70 c Elapsed CPU time: 24.2653 s Remaining CPU time: 1775.73 s 24.68/24.77 c core #370 24.68/24.77 c Core size: 4 Core Weight: 1 Total Weight: -630 24.68/24.77 c Elapsed CPU time: 24.3313 s Remaining CPU time: 1775.67 s 24.78/24.84 c core #371 24.78/24.84 c Core size: 4 Core Weight: 1 Total Weight: -629 24.78/24.84 c Elapsed CPU time: 24.4003 s Remaining CPU time: 1775.6 s 24.88/24.91 c core #372 24.88/24.91 c Core size: 4 Core Weight: 1 Total Weight: -628 24.88/24.91 c Elapsed CPU time: 24.4693 s Remaining CPU time: 1775.53 s 24.88/24.98 c core #373 24.88/24.98 c Core size: 4 Core Weight: 1 Total Weight: -627 24.88/24.98 c Elapsed CPU time: 24.5373 s Remaining CPU time: 1775.46 s 24.98/25.05 c core #374 24.98/25.05 c Core size: 4 Core Weight: 1 Total Weight: -626 24.98/25.05 c Elapsed CPU time: 24.6053 s Remaining CPU time: 1775.39 s 25.08/25.12 c core #375 25.08/25.12 c Core size: 4 Core Weight: 1 Total Weight: -625 25.08/25.12 c Elapsed CPU time: 24.6722 s Remaining CPU time: 1775.33 s 25.08/25.19 c core #376 25.08/25.19 c Core size: 4 Core Weight: 1 Total Weight: -624 25.08/25.19 c Elapsed CPU time: 24.7402 s Remaining CPU time: 1775.26 s 25.19/25.26 c core #377 25.19/25.26 c Core size: 4 Core Weight: 1 Total Weight: -623 25.19/25.26 c Elapsed CPU time: 24.8082 s Remaining CPU time: 1775.19 s 25.29/25.32 c core #378 25.29/25.32 c Core size: 4 Core Weight: 1 Total Weight: -622 25.29/25.32 c Elapsed CPU time: 24.8782 s Remaining CPU time: 1775.12 s 25.29/25.39 c core #379 25.29/25.39 c Core size: 4 Core Weight: 1 Total Weight: -621 25.29/25.39 c Elapsed CPU time: 24.9452 s Remaining CPU time: 1775.05 s 25.38/25.46 c core #380 25.38/25.46 c Core size: 4 Core Weight: 1 Total Weight: -620 25.38/25.46 c Elapsed CPU time: 25.0112 s Remaining CPU time: 1774.99 s 25.48/25.53 c core #381 25.48/25.53 c Core size: 4 Core Weight: 1 Total Weight: -619 25.48/25.53 c Elapsed CPU time: 25.0792 s Remaining CPU time: 1774.92 s 25.59/25.60 c core #382 25.59/25.60 c Core size: 4 Core Weight: 1 Total Weight: -618 25.59/25.60 c Elapsed CPU time: 25.1472 s Remaining CPU time: 1774.85 s 25.59/25.67 c core #383 25.59/25.67 c Core size: 4 Core Weight: 1 Total Weight: -617 25.59/25.67 c Elapsed CPU time: 25.2152 s Remaining CPU time: 1774.78 s 25.68/25.74 c core #384 25.68/25.74 c Core size: 4 Core Weight: 1 Total Weight: -616 25.68/25.74 c Elapsed CPU time: 25.2842 s Remaining CPU time: 1774.72 s 25.78/25.81 c core #385 25.78/25.81 c Core size: 4 Core Weight: 1 Total Weight: -615 25.78/25.81 c Elapsed CPU time: 25.3521 s Remaining CPU time: 1774.65 s 25.78/25.88 c core #386 25.78/25.88 c Core size: 4 Core Weight: 1 Total Weight: -614 25.78/25.88 c Elapsed CPU time: 25.4191 s Remaining CPU time: 1774.58 s 25.88/25.95 c core #387 25.88/25.95 c Core size: 4 Core Weight: 1 Total Weight: -613 25.88/25.95 c Elapsed CPU time: 25.4861 s Remaining CPU time: 1774.51 s 25.98/26.02 c core #388 25.98/26.02 c Core size: 4 Core Weight: 1 Total Weight: -612 25.98/26.02 c Elapsed CPU time: 25.5531 s Remaining CPU time: 1774.45 s 25.98/26.09 c core #389 25.98/26.09 c Core size: 4 Core Weight: 1 Total Weight: -611 25.98/26.09 c Elapsed CPU time: 25.6211 s Remaining CPU time: 1774.38 s 26.08/26.15 c core #390 26.08/26.15 c Core size: 4 Core Weight: 1 Total Weight: -610 26.08/26.15 c Elapsed CPU time: 25.6881 s Remaining CPU time: 1774.31 s 26.18/26.22 c core #391 26.18/26.22 c Core size: 4 Core Weight: 1 Total Weight: -609 26.18/26.22 c Elapsed CPU time: 25.7551 s Remaining CPU time: 1774.24 s 26.18/26.29 c core #392 26.18/26.29 c Core size: 4 Core Weight: 1 Total Weight: -608 26.18/26.29 c Elapsed CPU time: 25.8231 s Remaining CPU time: 1774.18 s 26.28/26.36 c core #393 26.28/26.36 c Core size: 4 Core Weight: 1 Total Weight: -607 26.28/26.36 c Elapsed CPU time: 25.8921 s Remaining CPU time: 1774.11 s 26.38/26.43 c core #394 26.38/26.43 c Core size: 4 Core Weight: 1 Total Weight: -606 26.38/26.43 c Elapsed CPU time: 25.9601 s Remaining CPU time: 1774.04 s 26.48/26.50 c core #395 26.48/26.50 c Core size: 4 Core Weight: 1 Total Weight: -605 26.48/26.50 c Elapsed CPU time: 26.027 s Remaining CPU time: 1773.97 s 26.48/26.57 c core #396 26.48/26.57 c Core size: 4 Core Weight: 1 Total Weight: -604 26.48/26.57 c Elapsed CPU time: 26.095 s Remaining CPU time: 1773.9 s 26.58/26.64 c core #397 26.58/26.64 c Core size: 4 Core Weight: 1 Total Weight: -603 26.58/26.64 c Elapsed CPU time: 26.165 s Remaining CPU time: 1773.83 s 26.68/26.72 c core #398 26.68/26.72 c Core size: 4 Core Weight: 1 Total Weight: -602 26.68/26.72 c Elapsed CPU time: 26.236 s Remaining CPU time: 1773.76 s 26.68/26.79 c core #399 26.68/26.79 c Core size: 4 Core Weight: 1 Total Weight: -601 26.68/26.79 c Elapsed CPU time: 26.305 s Remaining CPU time: 1773.69 s 26.78/26.86 c core #400 26.78/26.86 c Core size: 4 Core Weight: 1 Total Weight: -600 26.78/26.86 c Elapsed CPU time: 26.374 s Remaining CPU time: 1773.63 s 26.88/26.93 c core #401 26.88/26.93 c Core size: 4 Core Weight: 1 Total Weight: -599 26.88/26.93 c Elapsed CPU time: 26.445 s Remaining CPU time: 1773.56 s 26.98/27.00 c core #402 26.98/27.00 c Core size: 4 Core Weight: 1 Total Weight: -598 26.98/27.00 c Elapsed CPU time: 26.516 s Remaining CPU time: 1773.48 s 26.98/27.07 c core #403 26.98/27.07 c Core size: 4 Core Weight: 1 Total Weight: -597 26.98/27.07 c Elapsed CPU time: 26.584 s Remaining CPU time: 1773.42 s 27.09/27.14 c core #404 27.09/27.14 c Core size: 4 Core Weight: 1 Total Weight: -596 27.09/27.14 c Elapsed CPU time: 26.6519 s Remaining CPU time: 1773.35 s 27.18/27.21 c core #405 27.18/27.21 c Core size: 4 Core Weight: 1 Total Weight: -595 27.18/27.21 c Elapsed CPU time: 26.7219 s Remaining CPU time: 1773.28 s 27.18/27.28 c core #406 27.18/27.28 c Core size: 4 Core Weight: 1 Total Weight: -594 27.18/27.28 c Elapsed CPU time: 26.7899 s Remaining CPU time: 1773.21 s 27.28/27.35 c core #407 27.28/27.35 c Core size: 4 Core Weight: 1 Total Weight: -593 27.28/27.35 c Elapsed CPU time: 26.8609 s Remaining CPU time: 1773.14 s 27.38/27.42 c core #408 27.38/27.42 c Core size: 4 Core Weight: 1 Total Weight: -592 27.38/27.42 c Elapsed CPU time: 26.9289 s Remaining CPU time: 1773.07 s 27.38/27.49 c core #409 27.38/27.49 c Core size: 4 Core Weight: 1 Total Weight: -591 27.38/27.49 c Elapsed CPU time: 26.9979 s Remaining CPU time: 1773 s 27.49/27.57 c core #410 27.49/27.57 c Core size: 4 Core Weight: 1 Total Weight: -590 27.49/27.57 c Elapsed CPU time: 27.0659 s Remaining CPU time: 1772.93 s 27.58/27.64 c core #411 27.58/27.64 c Core size: 4 Core Weight: 1 Total Weight: -589 27.58/27.64 c Elapsed CPU time: 27.1369 s Remaining CPU time: 1772.86 s 27.68/27.71 c core #412 27.68/27.71 c Core size: 4 Core Weight: 1 Total Weight: -588 27.68/27.71 c Elapsed CPU time: 27.2069 s Remaining CPU time: 1772.79 s 27.68/27.78 c core #413 27.68/27.78 c Core size: 4 Core Weight: 1 Total Weight: -587 27.68/27.78 c Elapsed CPU time: 27.2769 s Remaining CPU time: 1772.72 s 27.78/27.85 c core #414 27.78/27.85 c Core size: 4 Core Weight: 1 Total Weight: -586 27.78/27.85 c Elapsed CPU time: 27.3458 s Remaining CPU time: 1772.65 s 27.88/27.92 c core #415 27.88/27.92 c Core size: 4 Core Weight: 1 Total Weight: -585 27.88/27.92 c Elapsed CPU time: 27.4168 s Remaining CPU time: 1772.58 s 27.88/27.99 c core #416 27.88/27.99 c Core size: 4 Core Weight: 1 Total Weight: -584 27.88/27.99 c Elapsed CPU time: 27.4858 s Remaining CPU time: 1772.51 s 27.98/28.06 c core #417 27.98/28.06 c Core size: 4 Core Weight: 1 Total Weight: -583 27.98/28.06 c Elapsed CPU time: 27.5568 s Remaining CPU time: 1772.44 s 28.08/28.13 c core #418 28.08/28.13 c Core size: 4 Core Weight: 1 Total Weight: -582 28.08/28.13 c Elapsed CPU time: 27.6248 s Remaining CPU time: 1772.38 s 28.18/28.20 c core #419 28.18/28.20 c Core size: 4 Core Weight: 1 Total Weight: -581 28.18/28.20 c Elapsed CPU time: 27.6958 s Remaining CPU time: 1772.3 s 28.18/28.28 c core #420 28.18/28.28 c Core size: 4 Core Weight: 1 Total Weight: -580 28.18/28.28 c Elapsed CPU time: 27.7648 s Remaining CPU time: 1772.24 s 28.28/28.35 c core #421 28.28/28.35 c Core size: 4 Core Weight: 1 Total Weight: -579 28.28/28.35 c Elapsed CPU time: 27.8358 s Remaining CPU time: 1772.16 s 28.38/28.42 c core #422 28.38/28.42 c Core size: 4 Core Weight: 1 Total Weight: -578 28.38/28.42 c Elapsed CPU time: 27.9068 s Remaining CPU time: 1772.09 s 28.38/28.49 c core #423 28.38/28.49 c Core size: 4 Core Weight: 1 Total Weight: -577 28.38/28.49 c Elapsed CPU time: 27.9757 s Remaining CPU time: 1772.02 s 28.48/28.56 c core #424 28.48/28.56 c Core size: 4 Core Weight: 1 Total Weight: -576 28.48/28.56 c Elapsed CPU time: 28.0467 s Remaining CPU time: 1771.95 s 28.58/28.63 c core #425 28.58/28.63 c Core size: 4 Core Weight: 1 Total Weight: -575 28.58/28.63 c Elapsed CPU time: 28.1157 s Remaining CPU time: 1771.88 s 28.68/28.70 c core #426 28.68/28.70 c Core size: 4 Core Weight: 1 Total Weight: -574 28.68/28.70 c Elapsed CPU time: 28.1837 s Remaining CPU time: 1771.82 s 28.68/28.77 c core #427 28.68/28.77 c Core size: 4 Core Weight: 1 Total Weight: -573 28.68/28.77 c Elapsed CPU time: 28.2517 s Remaining CPU time: 1771.75 s 28.78/28.84 c core #428 28.78/28.84 c Core size: 4 Core Weight: 1 Total Weight: -572 28.78/28.84 c Elapsed CPU time: 28.3207 s Remaining CPU time: 1771.68 s 28.88/28.91 c core #429 28.88/28.91 c Core size: 4 Core Weight: 1 Total Weight: -571 28.88/28.91 c Elapsed CPU time: 28.3897 s Remaining CPU time: 1771.61 s 28.88/28.98 c core #430 28.88/28.98 c Core size: 4 Core Weight: 1 Total Weight: -570 28.88/28.98 c Elapsed CPU time: 28.4587 s Remaining CPU time: 1771.54 s 28.98/29.05 c core #431 28.98/29.05 c Core size: 4 Core Weight: 1 Total Weight: -569 28.98/29.05 c Elapsed CPU time: 28.5267 s Remaining CPU time: 1771.47 s 29.08/29.12 c core #432 29.08/29.12 c Core size: 4 Core Weight: 1 Total Weight: -568 29.08/29.12 c Elapsed CPU time: 28.5947 s Remaining CPU time: 1771.41 s 29.08/29.19 c core #433 29.08/29.19 c Core size: 4 Core Weight: 1 Total Weight: -567 29.08/29.19 c Elapsed CPU time: 28.6646 s Remaining CPU time: 1771.34 s 29.18/29.26 c core #434 29.18/29.26 c Core size: 4 Core Weight: 1 Total Weight: -566 29.18/29.26 c Elapsed CPU time: 28.7316 s Remaining CPU time: 1771.27 s 29.28/29.33 c core #435 29.28/29.33 c Core size: 4 Core Weight: 1 Total Weight: -565 29.28/29.33 c Elapsed CPU time: 28.8016 s Remaining CPU time: 1771.2 s 29.38/29.40 c core #436 29.38/29.40 c Core size: 4 Core Weight: 1 Total Weight: -564 29.38/29.40 c Elapsed CPU time: 28.8726 s Remaining CPU time: 1771.13 s 29.38/29.47 c core #437 29.38/29.47 c Core size: 4 Core Weight: 1 Total Weight: -563 29.38/29.47 c Elapsed CPU time: 28.9446 s Remaining CPU time: 1771.06 s 29.48/29.55 c core #438 29.48/29.55 c Core size: 4 Core Weight: 1 Total Weight: -562 29.48/29.55 c Elapsed CPU time: 29.0156 s Remaining CPU time: 1770.98 s 29.58/29.62 c core #439 29.58/29.62 c Core size: 4 Core Weight: 1 Total Weight: -561 29.58/29.62 c Elapsed CPU time: 29.0856 s Remaining CPU time: 1770.91 s 29.58/29.69 c core #440 29.58/29.69 c Core size: 4 Core Weight: 1 Total Weight: -560 29.58/29.69 c Elapsed CPU time: 29.1556 s Remaining CPU time: 1770.84 s 29.68/29.76 c core #441 29.68/29.76 c Core size: 4 Core Weight: 1 Total Weight: -559 29.68/29.76 c Elapsed CPU time: 29.2276 s Remaining CPU time: 1770.77 s 29.78/29.83 c core #442 29.78/29.83 c Core size: 4 Core Weight: 1 Total Weight: -558 29.78/29.83 c Elapsed CPU time: 29.2975 s Remaining CPU time: 1770.7 s 29.88/29.90 c core #443 29.88/29.90 c Core size: 4 Core Weight: 1 Total Weight: -557 29.88/29.90 c Elapsed CPU time: 29.3685 s Remaining CPU time: 1770.63 s 29.88/29.97 c core #444 29.88/29.97 c Core size: 4 Core Weight: 1 Total Weight: -556 29.88/29.97 c Elapsed CPU time: 29.4385 s Remaining CPU time: 1770.56 s 29.98/30.04 c core #445 29.98/30.04 c Core size: 4 Core Weight: 1 Total Weight: -555 29.98/30.04 c Elapsed CPU time: 29.5095 s Remaining CPU time: 1770.49 s 30.08/30.11 c core #446 30.08/30.11 c Core size: 4 Core Weight: 1 Total Weight: -554 30.08/30.11 c Elapsed CPU time: 29.5805 s Remaining CPU time: 1770.42 s 30.08/30.19 c core #447 30.08/30.19 c Core size: 4 Core Weight: 1 Total Weight: -553 30.08/30.19 c Elapsed CPU time: 29.6475 s Remaining CPU time: 1770.35 s 30.18/30.26 c core #448 30.18/30.26 c Core size: 4 Core Weight: 1 Total Weight: -552 30.18/30.26 c Elapsed CPU time: 29.7165 s Remaining CPU time: 1770.28 s 30.28/30.33 c core #449 30.28/30.33 c Core size: 4 Core Weight: 1 Total Weight: -551 30.28/30.33 c Elapsed CPU time: 29.7845 s Remaining CPU time: 1770.22 s 30.38/30.40 c core #450 30.38/30.40 c Core size: 4 Core Weight: 1 Total Weight: -550 30.38/30.40 c Elapsed CPU time: 29.8535 s Remaining CPU time: 1770.15 s 30.38/30.47 c core #451 30.38/30.47 c Core size: 4 Core Weight: 1 Total Weight: -549 30.38/30.47 c Elapsed CPU time: 29.9225 s Remaining CPU time: 1770.08 s 30.48/30.54 c core #452 30.48/30.54 c Core size: 4 Core Weight: 1 Total Weight: -548 30.48/30.54 c Elapsed CPU time: 29.9914 s Remaining CPU time: 1770.01 s 30.58/30.61 c core #453 30.58/30.61 c Core size: 4 Core Weight: 1 Total Weight: -547 30.58/30.61 c Elapsed CPU time: 30.0634 s Remaining CPU time: 1769.94 s 30.58/30.68 c core #454 30.58/30.68 c Core size: 4 Core Weight: 1 Total Weight: -546 30.58/30.68 c Elapsed CPU time: 30.1334 s Remaining CPU time: 1769.87 s 30.68/30.75 c core #455 30.68/30.75 c Core size: 4 Core Weight: 1 Total Weight: -545 30.68/30.75 c Elapsed CPU time: 30.2034 s Remaining CPU time: 1769.8 s 30.78/30.82 c core #456 30.78/30.82 c Core size: 4 Core Weight: 1 Total Weight: -544 30.78/30.82 c Elapsed CPU time: 30.2744 s Remaining CPU time: 1769.73 s 30.78/30.89 c core #457 30.78/30.89 c Core size: 4 Core Weight: 1 Total Weight: -543 30.78/30.89 c Elapsed CPU time: 30.3444 s Remaining CPU time: 1769.66 s 30.87/30.96 c core #458 30.87/30.96 c Core size: 4 Core Weight: 1 Total Weight: -542 30.87/30.96 c Elapsed CPU time: 30.4134 s Remaining CPU time: 1769.59 s 30.98/31.03 c core #459 30.98/31.03 c Core size: 4 Core Weight: 1 Total Weight: -541 30.98/31.03 c Elapsed CPU time: 30.4834 s Remaining CPU time: 1769.52 s 31.08/31.10 c core #460 31.08/31.10 c Core size: 4 Core Weight: 1 Total Weight: -540 31.08/31.10 c Elapsed CPU time: 30.5544 s Remaining CPU time: 1769.45 s 31.08/31.17 c core #461 31.08/31.17 c Core size: 4 Core Weight: 1 Total Weight: -539 31.08/31.17 c Elapsed CPU time: 30.6233 s Remaining CPU time: 1769.38 s 31.18/31.24 c core #462 31.18/31.24 c Core size: 4 Core Weight: 1 Total Weight: -538 31.18/31.24 c Elapsed CPU time: 30.6933 s Remaining CPU time: 1769.31 s 31.28/31.32 c core #463 31.28/31.32 c Core size: 4 Core Weight: 1 Total Weight: -537 31.28/31.32 c Elapsed CPU time: 30.7623 s Remaining CPU time: 1769.24 s 31.28/31.39 c core #464 31.28/31.39 c Core size: 4 Core Weight: 1 Total Weight: -536 31.28/31.39 c Elapsed CPU time: 30.8313 s Remaining CPU time: 1769.17 s 31.38/31.46 c core #465 31.38/31.46 c Core size: 4 Core Weight: 1 Total Weight: -535 31.38/31.46 c Elapsed CPU time: 30.9013 s Remaining CPU time: 1769.1 s 31.47/31.53 c core #466 31.47/31.53 c Core size: 4 Core Weight: 1 Total Weight: -534 31.47/31.53 c Elapsed CPU time: 30.9693 s Remaining CPU time: 1769.03 s 31.57/31.60 c core #467 31.57/31.60 c Core size: 4 Core Weight: 1 Total Weight: -533 31.57/31.60 c Elapsed CPU time: 31.0403 s Remaining CPU time: 1768.96 s 31.57/31.67 c core #468 31.57/31.67 c Core size: 4 Core Weight: 1 Total Weight: -532 31.57/31.67 c Elapsed CPU time: 31.1133 s Remaining CPU time: 1768.89 s 31.67/31.75 c core #469 31.67/31.75 c Core size: 4 Core Weight: 1 Total Weight: -531 31.67/31.75 c Elapsed CPU time: 31.1873 s Remaining CPU time: 1768.81 s 31.79/31.82 c core #470 31.79/31.82 c Core size: 4 Core Weight: 1 Total Weight: -530 31.79/31.82 c Elapsed CPU time: 31.2592 s Remaining CPU time: 1768.74 s 31.79/31.89 c core #471 31.79/31.89 c Core size: 4 Core Weight: 1 Total Weight: -529 31.79/31.89 c Elapsed CPU time: 31.3292 s Remaining CPU time: 1768.67 s 31.88/31.96 c core #472 31.88/31.96 c Core size: 4 Core Weight: 1 Total Weight: -528 31.88/31.96 c Elapsed CPU time: 31.3962 s Remaining CPU time: 1768.6 s 31.97/32.03 c core #473 31.97/32.03 c Core size: 4 Core Weight: 1 Total Weight: -527 31.97/32.03 c Elapsed CPU time: 31.4642 s Remaining CPU time: 1768.54 s 32.07/32.10 c core #474 32.07/32.10 c Core size: 4 Core Weight: 1 Total Weight: -526 32.07/32.10 c Elapsed CPU time: 31.5342 s Remaining CPU time: 1768.47 s 32.07/32.18 c core #475 32.07/32.18 c Core size: 4 Core Weight: 1 Total Weight: -525 32.07/32.18 c Elapsed CPU time: 31.6042 s Remaining CPU time: 1768.4 s 32.18/32.25 c core #476 32.18/32.25 c Core size: 4 Core Weight: 1 Total Weight: -524 32.18/32.25 c Elapsed CPU time: 31.6762 s Remaining CPU time: 1768.32 s 32.28/32.32 c core #477 32.28/32.32 c Core size: 4 Core Weight: 1 Total Weight: -523 32.28/32.32 c Elapsed CPU time: 31.7462 s Remaining CPU time: 1768.25 s 32.28/32.39 c core #478 32.28/32.39 c Core size: 4 Core Weight: 1 Total Weight: -522 32.28/32.39 c Elapsed CPU time: 31.8162 s Remaining CPU time: 1768.18 s 32.38/32.46 c core #479 32.38/32.46 c Core size: 4 Core Weight: 1 Total Weight: -521 32.38/32.46 c Elapsed CPU time: 31.8882 s Remaining CPU time: 1768.11 s 32.48/32.53 c core #480 32.48/32.53 c Core size: 4 Core Weight: 1 Total Weight: -520 32.48/32.53 c Elapsed CPU time: 31.9571 s Remaining CPU time: 1768.04 s 32.57/32.61 c core #481 32.57/32.61 c Core size: 4 Core Weight: 1 Total Weight: -519 32.57/32.61 c Elapsed CPU time: 32.0301 s Remaining CPU time: 1767.97 s 32.57/32.68 c core #482 32.57/32.68 c Core size: 4 Core Weight: 1 Total Weight: -518 32.57/32.68 c Elapsed CPU time: 32.0991 s Remaining CPU time: 1767.9 s 32.67/32.75 c core #483 32.67/32.75 c Core size: 4 Core Weight: 1 Total Weight: -517 32.67/32.75 c Elapsed CPU time: 32.1711 s Remaining CPU time: 1767.83 s 32.77/32.82 c core #484 32.77/32.82 c Core size: 4 Core Weight: 1 Total Weight: -516 32.77/32.82 c Elapsed CPU time: 32.2431 s Remaining CPU time: 1767.76 s 32.77/32.90 c core #485 32.77/32.90 c Core size: 4 Core Weight: 1 Total Weight: -515 32.77/32.90 c Elapsed CPU time: 32.3121 s Remaining CPU time: 1767.69 s 32.88/32.97 c core #486 32.88/32.97 c Core size: 8 Core Weight: 1 Total Weight: -514 32.88/32.97 c Elapsed CPU time: 32.3831 s Remaining CPU time: 1767.62 s 32.98/33.04 c core #487 32.98/33.04 c Core size: 9 Core Weight: 1 Total Weight: -513 32.98/33.04 c Elapsed CPU time: 32.4551 s Remaining CPU time: 1767.54 s 33.08/33.11 c core #488 33.08/33.11 c Core size: 9 Core Weight: 1 Total Weight: -512 33.08/33.11 c Elapsed CPU time: 32.5271 s Remaining CPU time: 1767.47 s 33.08/33.18 c core #489 33.08/33.18 c Core size: 9 Core Weight: 1 Total Weight: -511 33.08/33.18 c Elapsed CPU time: 32.597 s Remaining CPU time: 1767.4 s 33.18/33.25 c core #490 33.18/33.25 c Core size: 14 Core Weight: 1 Total Weight: -510 33.18/33.25 c Elapsed CPU time: 32.668 s Remaining CPU time: 1767.33 s 33.28/33.33 c core #491 33.28/33.33 c Core size: 9 Core Weight: 1 Total Weight: -509 33.28/33.33 c Elapsed CPU time: 32.741 s Remaining CPU time: 1767.26 s 33.38/33.40 c core #492 33.38/33.40 c Core size: 9 Core Weight: 1 Total Weight: -508 33.38/33.40 c Elapsed CPU time: 32.815 s Remaining CPU time: 1767.18 s 33.38/33.47 c core #493 33.38/33.47 c Core size: 18 Core Weight: 1 Total Weight: -507 33.38/33.47 c Elapsed CPU time: 32.886 s Remaining CPU time: 1767.11 s 33.47/33.54 c core #494 33.47/33.54 c Core size: 19 Core Weight: 1 Total Weight: -506 33.47/33.54 c Elapsed CPU time: 32.957 s Remaining CPU time: 1767.04 s 33.57/33.62 c core #495 33.57/33.62 c Core size: 9 Core Weight: 1 Total Weight: -505 33.57/33.62 c Elapsed CPU time: 33.03 s Remaining CPU time: 1766.97 s 33.57/33.69 c core #496 33.57/33.69 c Core size: 9 Core Weight: 1 Total Weight: -504 33.57/33.69 c Elapsed CPU time: 33.102 s Remaining CPU time: 1766.9 s 33.67/33.77 c core #497 33.67/33.77 c Core size: 34 Core Weight: 1 Total Weight: -503 33.67/33.77 c Elapsed CPU time: 33.178 s Remaining CPU time: 1766.82 s 33.78/33.84 c core #498 33.78/33.84 c Core size: 9 Core Weight: 1 Total Weight: -502 33.78/33.84 c Elapsed CPU time: 33.2449 s Remaining CPU time: 1766.76 s 33.88/33.91 c core #499 33.88/33.91 c Core size: 14 Core Weight: 1 Total Weight: -501 33.88/33.91 c Elapsed CPU time: 33.3199 s Remaining CPU time: 1766.68 s 33.88/33.99 c core #500 33.88/33.99 c Core size: 28 Core Weight: 1 Total Weight: -500 33.88/33.99 c Elapsed CPU time: 33.3919 s Remaining CPU time: 1766.61 s 33.98/34.06 c core #501 33.98/34.06 c Core size: 23 Core Weight: 1 Total Weight: -499 33.98/34.06 c Elapsed CPU time: 33.4629 s Remaining CPU time: 1766.54 s 34.08/34.13 c core #502 34.08/34.13 c Core size: 19 Core Weight: 1 Total Weight: -498 34.08/34.13 c Elapsed CPU time: 33.5319 s Remaining CPU time: 1766.47 s 34.17/34.20 c ============================[ Search Statistics ]============================== 34.17/34.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.17/34.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.17/34.20 c =============================================================================== 34.17/34.20 c | 0 | 2074 35046 80857 | 11682 0 nan | 0.000 % | 34.17/34.21 c =============================================================================== 34.17/34.21 c core #503 34.17/34.21 c Core size: 27 Core Weight: 1 Total Weight: -497 34.17/34.21 c Elapsed CPU time: 33.6059 s Remaining CPU time: 1766.39 s 34.17/34.27 c ============================[ Search Statistics ]============================== 34.17/34.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.17/34.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.17/34.27 c =============================================================================== 34.17/34.27 c | 0 | 2084 35047 80877 | 11682 0 nan | 0.000 % | 34.17/34.28 c =============================================================================== 34.17/34.28 c core #504 34.17/34.28 c Core size: 27 Core Weight: 1 Total Weight: -496 34.17/34.28 c Elapsed CPU time: 33.6779 s Remaining CPU time: 1766.32 s 34.27/34.35 c ============================[ Search Statistics ]============================== 34.27/34.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.27/34.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.27/34.35 c =============================================================================== 34.27/34.35 c | 0 | 2094 35048 80897 | 11682 0 nan | 0.000 % | 34.27/34.35 c =============================================================================== 34.27/34.35 c core #505 34.27/34.35 c Core size: 21 Core Weight: 1 Total Weight: -495 34.27/34.35 c Elapsed CPU time: 33.7499 s Remaining CPU time: 1766.25 s 34.38/34.42 c ============================[ Search Statistics ]============================== 34.38/34.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.38/34.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.38/34.42 c =============================================================================== 34.38/34.42 c | 0 | 2102 35049 80913 | 11683 0 nan | 0.000 % | 34.38/34.42 c =============================================================================== 34.38/34.43 c core #506 34.38/34.43 c Core size: 25 Core Weight: 1 Total Weight: -494 34.38/34.43 c Elapsed CPU time: 33.8239 s Remaining CPU time: 1766.18 s 34.38/34.50 c ============================[ Search Statistics ]============================== 34.38/34.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.38/34.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.38/34.50 c =============================================================================== 34.38/34.50 c | 0 | 2112 35050 80933 | 11683 0 nan | 0.000 % | 34.48/34.50 c =============================================================================== 34.48/34.50 c core #507 34.48/34.50 c Core size: 22 Core Weight: 1 Total Weight: -493 34.48/34.50 c Elapsed CPU time: 33.8968 s Remaining CPU time: 1766.1 s 34.48/34.57 c ============================[ Search Statistics ]============================== 34.48/34.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.48/34.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.48/34.57 c =============================================================================== 34.48/34.57 c | 0 | 2120 35051 80949 | 11683 0 nan | 0.000 % | 34.48/34.57 c =============================================================================== 34.48/34.58 c core #508 34.48/34.58 c Core size: 27 Core Weight: 1 Total Weight: -492 34.48/34.58 c Elapsed CPU time: 33.9698 s Remaining CPU time: 1766.03 s 34.57/34.64 c ============================[ Search Statistics ]============================== 34.57/34.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.57/34.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.57/34.64 c =============================================================================== 34.57/34.64 c | 0 | 2130 35052 80969 | 11684 0 nan | 0.000 % | 34.57/34.65 c =============================================================================== 34.57/34.65 c core #509 34.57/34.65 c Core size: 26 Core Weight: 1 Total Weight: -491 34.57/34.65 c Elapsed CPU time: 34.0438 s Remaining CPU time: 1765.96 s 34.67/34.72 c ============================[ Search Statistics ]============================== 34.67/34.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.67/34.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.67/34.72 c =============================================================================== 34.67/34.72 c | 0 | 2140 35053 80989 | 11684 0 nan | 0.000 % | 34.67/34.72 c =============================================================================== 34.67/34.72 c core #510 34.67/34.72 c Core size: 15 Core Weight: 1 Total Weight: -490 34.67/34.72 c Elapsed CPU time: 34.1178 s Remaining CPU time: 1765.88 s 34.67/34.79 c ============================[ Search Statistics ]============================== 34.67/34.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.67/34.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.67/34.79 c =============================================================================== 34.67/34.79 c | 0 | 2146 35054 81001 | 11684 0 nan | 0.000 % | 34.77/34.80 c =============================================================================== 34.77/34.80 c core #511 34.77/34.80 c Core size: 27 Core Weight: 1 Total Weight: -489 34.77/34.80 c Elapsed CPU time: 34.1928 s Remaining CPU time: 1765.81 s 34.77/34.87 c ============================[ Search Statistics ]============================== 34.77/34.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.77/34.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.77/34.87 c =============================================================================== 34.77/34.87 c | 0 | 2156 35055 81021 | 11685 0 nan | 0.000 % | 34.77/34.87 c =============================================================================== 34.77/34.87 c core #512 34.77/34.87 c Core size: 21 Core Weight: 1 Total Weight: -488 34.77/34.87 c Elapsed CPU time: 34.2668 s Remaining CPU time: 1765.73 s 34.87/34.94 c ============================[ Search Statistics ]============================== 34.87/34.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.87/34.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.87/34.94 c =============================================================================== 34.87/34.94 c | 0 | 2164 35056 81037 | 11685 0 nan | 0.000 % | 34.87/34.95 c =============================================================================== 34.87/34.95 c core #513 34.87/34.95 c Core size: 27 Core Weight: 1 Total Weight: -487 34.87/34.95 c Elapsed CPU time: 34.3398 s Remaining CPU time: 1765.66 s 34.97/35.01 c ============================[ Search Statistics ]============================== 34.97/35.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.97/35.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.97/35.01 c =============================================================================== 34.97/35.01 c | 0 | 2174 35057 81057 | 11685 0 nan | 0.000 % | 34.97/35.02 c =============================================================================== 34.97/35.02 c core #514 34.97/35.02 c Core size: 15 Core Weight: 1 Total Weight: -486 34.97/35.02 c Elapsed CPU time: 34.4118 s Remaining CPU time: 1765.59 s 34.97/35.09 c ============================[ Search Statistics ]============================== 34.97/35.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.97/35.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.97/35.09 c =============================================================================== 34.97/35.09 c | 0 | 2180 35058 81069 | 11686 0 nan | 0.000 % | 34.97/35.09 c =============================================================================== 34.97/35.09 c core #515 34.97/35.09 c Core size: 21 Core Weight: 1 Total Weight: -485 34.97/35.09 c Elapsed CPU time: 34.4848 s Remaining CPU time: 1765.52 s 35.07/35.16 c ============================[ Search Statistics ]============================== 35.07/35.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.07/35.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.07/35.16 c =============================================================================== 35.07/35.16 c | 0 | 2188 35059 81085 | 11686 0 nan | 0.000 % | 35.07/35.17 c =============================================================================== 35.07/35.17 c core #516 35.07/35.17 c Core size: 26 Core Weight: 1 Total Weight: -484 35.07/35.17 c Elapsed CPU time: 34.5567 s Remaining CPU time: 1765.44 s 35.17/35.23 c ============================[ Search Statistics ]============================== 35.17/35.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.17/35.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.17/35.23 c =============================================================================== 35.17/35.23 c | 0 | 2198 35060 81105 | 11686 0 nan | 0.000 % | 35.17/35.24 c =============================================================================== 35.17/35.24 c core #517 35.17/35.24 c Core size: 15 Core Weight: 1 Total Weight: -483 35.17/35.24 c Elapsed CPU time: 34.6287 s Remaining CPU time: 1765.37 s 35.27/35.31 c ============================[ Search Statistics ]============================== 35.27/35.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.27/35.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.27/35.31 c =============================================================================== 35.27/35.31 c | 0 | 2204 35061 81117 | 11687 0 nan | 0.000 % | 35.27/35.31 c =============================================================================== 35.27/35.31 c core #518 35.27/35.31 c Core size: 27 Core Weight: 1 Total Weight: -482 35.27/35.31 c Elapsed CPU time: 34.7017 s Remaining CPU time: 1765.3 s 35.27/35.38 c ============================[ Search Statistics ]============================== 35.27/35.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.27/35.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.27/35.38 c =============================================================================== 35.27/35.38 c | 0 | 2214 35062 81137 | 11687 0 nan | 0.000 % | 35.27/35.39 c =============================================================================== 35.27/35.39 c core #519 35.27/35.39 c Core size: 22 Core Weight: 1 Total Weight: -481 35.27/35.39 c Elapsed CPU time: 34.7757 s Remaining CPU time: 1765.22 s 35.38/35.46 c ============================[ Search Statistics ]============================== 35.38/35.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.38/35.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.38/35.46 c =============================================================================== 35.38/35.46 c | 0 | 2222 35063 81153 | 11687 0 nan | 0.000 % | 35.38/35.46 c =============================================================================== 35.38/35.46 c core #520 35.38/35.46 c Core size: 21 Core Weight: 1 Total Weight: -480 35.38/35.46 c Elapsed CPU time: 34.8487 s Remaining CPU time: 1765.15 s 35.48/35.53 c ============================[ Search Statistics ]============================== 35.48/35.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.48/35.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.48/35.53 c =============================================================================== 35.48/35.53 c | 0 | 2230 35064 81169 | 11688 0 nan | 0.000 % | 35.48/35.54 c =============================================================================== 35.48/35.54 c core #521 35.48/35.54 c Core size: 27 Core Weight: 1 Total Weight: -479 35.48/35.54 c Elapsed CPU time: 34.9227 s Remaining CPU time: 1765.08 s 35.57/35.60 c ============================[ Search Statistics ]============================== 35.57/35.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.57/35.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.57/35.60 c =============================================================================== 35.57/35.60 c | 0 | 2240 35065 81189 | 11688 0 nan | 0.000 % | 35.57/35.61 c =============================================================================== 35.57/35.61 c core #522 35.57/35.61 c Core size: 20 Core Weight: 1 Total Weight: -478 35.57/35.61 c Elapsed CPU time: 34.9937 s Remaining CPU time: 1765.01 s 35.57/35.68 c ============================[ Search Statistics ]============================== 35.57/35.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.57/35.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.57/35.68 c =============================================================================== 35.57/35.68 c | 0 | 2248 35066 81205 | 11688 0 nan | 0.000 % | 35.57/35.68 c =============================================================================== 35.57/35.68 c core #523 35.57/35.68 c Core size: 20 Core Weight: 1 Total Weight: -477 35.57/35.68 c Elapsed CPU time: 35.0657 s Remaining CPU time: 1764.93 s 35.67/35.75 c ============================[ Search Statistics ]============================== 35.67/35.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.67/35.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.67/35.75 c =============================================================================== 35.67/35.75 c | 0 | 2256 35067 81221 | 11689 0 nan | 0.000 % | 35.67/35.76 c =============================================================================== 35.67/35.76 c core #524 35.67/35.76 c Core size: 16 Core Weight: 1 Total Weight: -476 35.67/35.76 c Elapsed CPU time: 35.1387 s Remaining CPU time: 1764.86 s 35.77/35.82 c ============================[ Search Statistics ]============================== 35.77/35.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.77/35.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.77/35.82 c =============================================================================== 35.77/35.82 c | 0 | 2262 35068 81233 | 11689 0 nan | 0.000 % | 35.77/35.83 c =============================================================================== 35.77/35.83 c core #525 35.77/35.83 c Core size: 17 Core Weight: 1 Total Weight: -475 35.77/35.83 c Elapsed CPU time: 35.2106 s Remaining CPU time: 1764.79 s 35.87/35.90 c ============================[ Search Statistics ]============================== 35.87/35.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.87/35.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.87/35.90 c =============================================================================== 35.87/35.90 c | 0 | 2268 35069 81245 | 11689 0 nan | 0.000 % | 35.87/35.90 c =============================================================================== 35.87/35.90 c core #526 35.87/35.90 c Core size: 26 Core Weight: 1 Total Weight: -474 35.87/35.90 c Elapsed CPU time: 35.2846 s Remaining CPU time: 1764.72 s 35.87/35.97 c ============================[ Search Statistics ]============================== 35.87/35.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.87/35.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.87/35.97 c =============================================================================== 35.87/35.97 c | 0 | 2278 35070 81265 | 11690 0 nan | 0.000 % | 35.87/35.98 c =============================================================================== 35.87/35.98 c core #527 35.87/35.98 c Core size: 27 Core Weight: 1 Total Weight: -473 35.87/35.98 c Elapsed CPU time: 35.3576 s Remaining CPU time: 1764.64 s 35.97/36.05 c ============================[ Search Statistics ]============================== 35.97/36.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.97/36.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.97/36.05 c =============================================================================== 35.97/36.05 c | 0 | 2288 35071 81285 | 11690 0 nan | 0.000 % | 35.97/36.05 c =============================================================================== 35.97/36.05 c core #528 35.97/36.05 c Core size: 21 Core Weight: 1 Total Weight: -472 35.97/36.05 c Elapsed CPU time: 35.4316 s Remaining CPU time: 1764.57 s 36.07/36.12 c ============================[ Search Statistics ]============================== 36.07/36.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.07/36.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.07/36.12 c =============================================================================== 36.07/36.12 c | 0 | 2296 35072 81301 | 11690 0 nan | 0.000 % | 36.07/36.13 c =============================================================================== 36.07/36.13 c core #529 36.07/36.13 c Core size: 25 Core Weight: 1 Total Weight: -471 36.07/36.13 c Elapsed CPU time: 35.5046 s Remaining CPU time: 1764.5 s 36.07/36.20 c ============================[ Search Statistics ]============================== 36.07/36.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.07/36.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.07/36.20 c =============================================================================== 36.07/36.20 c | 0 | 2306 35073 81321 | 11691 0 nan | 0.000 % | 36.18/36.20 c =============================================================================== 36.18/36.20 c core #530 36.18/36.20 c Core size: 27 Core Weight: 1 Total Weight: -470 36.18/36.20 c Elapsed CPU time: 35.5776 s Remaining CPU time: 1764.42 s 36.18/36.27 c ============================[ Search Statistics ]============================== 36.18/36.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.18/36.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.18/36.27 c =============================================================================== 36.18/36.27 c | 0 | 2316 35074 81341 | 11691 0 nan | 0.000 % | 36.18/36.27 c =============================================================================== 36.18/36.27 c core #531 36.18/36.27 c Core size: 21 Core Weight: 1 Total Weight: -469 36.18/36.27 c Elapsed CPU time: 35.6486 s Remaining CPU time: 1764.35 s 36.28/36.34 c ============================[ Search Statistics ]============================== 36.28/36.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.28/36.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.28/36.34 c =============================================================================== 36.28/36.34 c | 0 | 2324 35075 81357 | 11691 0 nan | 0.000 % | 36.28/36.35 c =============================================================================== 36.28/36.35 c core #532 36.28/36.35 c Core size: 26 Core Weight: 1 Total Weight: -468 36.28/36.35 c Elapsed CPU time: 35.7216 s Remaining CPU time: 1764.28 s 36.37/36.42 c ============================[ Search Statistics ]============================== 36.37/36.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.37/36.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.37/36.42 c =============================================================================== 36.37/36.42 c | 0 | 2334 35076 81377 | 11692 0 nan | 0.000 % | 36.37/36.42 c =============================================================================== 36.37/36.42 c core #533 36.37/36.42 c Core size: 26 Core Weight: 1 Total Weight: -467 36.37/36.42 c Elapsed CPU time: 35.7926 s Remaining CPU time: 1764.21 s 36.37/36.49 c ============================[ Search Statistics ]============================== 36.37/36.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.37/36.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.37/36.49 c =============================================================================== 36.37/36.49 c | 0 | 2344 35077 81397 | 11692 0 nan | 0.000 % | 36.37/36.49 c =============================================================================== 36.37/36.49 c core #534 36.37/36.49 c Core size: 27 Core Weight: 1 Total Weight: -466 36.37/36.49 c Elapsed CPU time: 35.8635 s Remaining CPU time: 1764.14 s 36.47/36.56 c ============================[ Search Statistics ]============================== 36.47/36.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.47/36.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.47/36.56 c =============================================================================== 36.47/36.56 c | 0 | 2354 35078 81417 | 11692 0 nan | 0.000 % | 36.47/36.57 c =============================================================================== 36.47/36.57 c core #535 36.47/36.57 c Core size: 25 Core Weight: 1 Total Weight: -465 36.47/36.57 c Elapsed CPU time: 35.9365 s Remaining CPU time: 1764.06 s 36.58/36.64 c ============================[ Search Statistics ]============================== 36.58/36.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.58/36.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.58/36.64 c =============================================================================== 36.58/36.64 c | 0 | 2364 35079 81437 | 11693 0 nan | 0.000 % | 36.58/36.64 c =============================================================================== 36.58/36.64 c core #536 36.58/36.64 c Core size: 21 Core Weight: 1 Total Weight: -464 36.58/36.64 c Elapsed CPU time: 36.0045 s Remaining CPU time: 1764 s 36.67/36.71 c ============================[ Search Statistics ]============================== 36.67/36.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.67/36.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.67/36.71 c =============================================================================== 36.67/36.71 c | 0 | 2372 35080 81453 | 11693 0 nan | 0.000 % | 36.67/36.72 c =============================================================================== 36.67/36.72 c core #537 36.67/36.72 c Core size: 27 Core Weight: 1 Total Weight: -463 36.67/36.72 c Elapsed CPU time: 36.0775 s Remaining CPU time: 1763.92 s 36.67/36.78 c ============================[ Search Statistics ]============================== 36.67/36.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.67/36.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.67/36.78 c =============================================================================== 36.67/36.78 c | 0 | 2382 35081 81473 | 11693 0 nan | 0.000 % | 36.67/36.79 c =============================================================================== 36.67/36.79 c core #538 36.67/36.79 c Core size: 26 Core Weight: 1 Total Weight: -462 36.67/36.79 c Elapsed CPU time: 36.1485 s Remaining CPU time: 1763.85 s 36.77/36.86 c ============================[ Search Statistics ]============================== 36.77/36.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.77/36.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.77/36.86 c =============================================================================== 36.77/36.86 c | 0 | 2392 35082 81493 | 11694 0 nan | 0.000 % | 36.77/36.86 c =============================================================================== 36.77/36.86 c core #539 36.77/36.86 c Core size: 25 Core Weight: 1 Total Weight: -461 36.77/36.86 c Elapsed CPU time: 36.2225 s Remaining CPU time: 1763.78 s 36.87/36.93 c ============================[ Search Statistics ]============================== 36.87/36.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.87/36.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.87/36.93 c =============================================================================== 36.87/36.93 c | 0 | 2402 35083 81513 | 11694 0 nan | 0.000 % | 36.87/36.93 c =============================================================================== 36.87/36.93 c core #540 36.87/36.93 c Core size: 15 Core Weight: 1 Total Weight: -460 36.87/36.93 c Elapsed CPU time: 36.2945 s Remaining CPU time: 1763.71 s 36.97/37.00 c ============================[ Search Statistics ]============================== 36.97/37.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.97/37.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.97/37.00 c =============================================================================== 36.97/37.00 c | 0 | 2408 35084 81525 | 11694 0 nan | 0.000 % | 36.97/37.01 c =============================================================================== 36.97/37.01 c core #541 36.97/37.01 c Core size: 21 Core Weight: 1 Total Weight: -459 36.97/37.01 c Elapsed CPU time: 36.3675 s Remaining CPU time: 1763.63 s 36.97/37.08 c ============================[ Search Statistics ]============================== 36.97/37.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.97/37.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.97/37.08 c =============================================================================== 36.97/37.08 c | 0 | 2416 35085 81541 | 11695 0 nan | 0.000 % | 36.97/37.08 c =============================================================================== 36.97/37.08 c core #542 36.97/37.08 c Core size: 22 Core Weight: 1 Total Weight: -458 36.97/37.08 c Elapsed CPU time: 36.4375 s Remaining CPU time: 1763.56 s 37.08/37.15 c ============================[ Search Statistics ]============================== 37.08/37.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.08/37.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.08/37.15 c =============================================================================== 37.08/37.15 c | 0 | 2424 35086 81557 | 11695 0 nan | 0.000 % | 37.08/37.15 c =============================================================================== 37.08/37.15 c core #543 37.08/37.15 c Core size: 20 Core Weight: 1 Total Weight: -457 37.08/37.15 c Elapsed CPU time: 36.5094 s Remaining CPU time: 1763.49 s 37.18/37.22 c ============================[ Search Statistics ]============================== 37.18/37.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.18/37.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.18/37.22 c =============================================================================== 37.18/37.22 c | 0 | 2432 35087 81573 | 11695 0 nan | 0.000 % | 37.18/37.23 c =============================================================================== 37.18/37.23 c core #544 37.18/37.23 c Core size: 26 Core Weight: 1 Total Weight: -456 37.18/37.23 c Elapsed CPU time: 36.5834 s Remaining CPU time: 1763.42 s 37.18/37.30 c ============================[ Search Statistics ]============================== 37.18/37.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.18/37.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.18/37.30 c =============================================================================== 37.18/37.30 c | 0 | 2442 35088 81593 | 11696 0 nan | 0.000 % | 37.28/37.30 c =============================================================================== 37.28/37.30 c core #545 37.28/37.30 c Core size: 22 Core Weight: 1 Total Weight: -455 37.28/37.30 c Elapsed CPU time: 36.6534 s Remaining CPU time: 1763.35 s 37.28/37.37 c ============================[ Search Statistics ]============================== 37.28/37.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.28/37.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.28/37.37 c =============================================================================== 37.28/37.37 c | 0 | 2450 35089 81609 | 11696 0 nan | 0.000 % | 37.28/37.38 c =============================================================================== 37.28/37.38 c core #546 37.28/37.38 c Core size: 27 Core Weight: 1 Total Weight: -454 37.28/37.38 c Elapsed CPU time: 36.7294 s Remaining CPU time: 1763.27 s 37.38/37.45 c ============================[ Search Statistics ]============================== 37.38/37.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.38/37.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.38/37.45 c =============================================================================== 37.38/37.45 c | 0 | 2460 35090 81629 | 11696 0 nan | 0.000 % | 37.38/37.45 c =============================================================================== 37.38/37.45 c core #547 37.38/37.45 c Core size: 27 Core Weight: 1 Total Weight: -453 37.38/37.45 c Elapsed CPU time: 36.8014 s Remaining CPU time: 1763.2 s 37.47/37.52 c ============================[ Search Statistics ]============================== 37.47/37.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.47/37.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.47/37.52 c =============================================================================== 37.47/37.52 c | 0 | 2470 35091 81649 | 11697 0 nan | 0.000 % | 37.47/37.53 c =============================================================================== 37.47/37.53 c core #548 37.47/37.53 c Core size: 27 Core Weight: 1 Total Weight: -452 37.47/37.53 c Elapsed CPU time: 36.8714 s Remaining CPU time: 1763.13 s 37.47/37.60 c ============================[ Search Statistics ]============================== 37.47/37.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.47/37.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.47/37.60 c =============================================================================== 37.47/37.60 c | 0 | 2480 35092 81669 | 11697 0 nan | 0.000 % | 37.58/37.60 c =============================================================================== 37.58/37.60 c core #549 37.58/37.60 c Core size: 27 Core Weight: 1 Total Weight: -451 37.58/37.60 c Elapsed CPU time: 36.9454 s Remaining CPU time: 1763.05 s 37.58/37.67 c ============================[ Search Statistics ]============================== 37.58/37.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.58/37.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.58/37.67 c =============================================================================== 37.58/37.67 c | 0 | 2490 35093 81689 | 11697 0 nan | 0.000 % | 37.58/37.67 c =============================================================================== 37.58/37.67 c core #550 37.58/37.67 c Core size: 16 Core Weight: 1 Total Weight: -450 37.58/37.67 c Elapsed CPU time: 37.0174 s Remaining CPU time: 1762.98 s 37.67/37.75 c ============================[ Search Statistics ]============================== 37.67/37.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.67/37.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.67/37.75 c =============================================================================== 37.67/37.75 c | 0 | 2496 35094 81701 | 11698 0 nan | 0.000 % | 37.67/37.75 c =============================================================================== 37.67/37.75 c core #551 37.67/37.75 c Core size: 27 Core Weight: 1 Total Weight: -449 37.67/37.75 c Elapsed CPU time: 37.0924 s Remaining CPU time: 1762.91 s 37.77/37.82 c ============================[ Search Statistics ]============================== 37.77/37.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.77/37.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.77/37.82 c =============================================================================== 37.77/37.82 c | 0 | 2506 35095 81721 | 11698 0 nan | 0.000 % | 37.77/37.83 c =============================================================================== 37.77/37.83 c core #552 37.77/37.83 c Core size: 25 Core Weight: 1 Total Weight: -448 37.77/37.83 c Elapsed CPU time: 37.1683 s Remaining CPU time: 1762.83 s 37.77/37.90 c ============================[ Search Statistics ]============================== 37.77/37.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.77/37.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.77/37.90 c =============================================================================== 37.77/37.90 c | 0 | 2516 35096 81741 | 11698 0 nan | 0.000 % | 37.87/37.90 c =============================================================================== 37.87/37.90 c core #553 37.87/37.90 c Core size: 26 Core Weight: 1 Total Weight: -447 37.87/37.90 c Elapsed CPU time: 37.2403 s Remaining CPU time: 1762.76 s 37.87/37.97 c ============================[ Search Statistics ]============================== 37.87/37.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.87/37.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.87/37.97 c =============================================================================== 37.87/37.97 c | 0 | 2526 35097 81761 | 11699 0 nan | 0.000 % | 37.87/37.97 c =============================================================================== 37.87/37.98 c core #554 37.87/37.98 c Core size: 27 Core Weight: 1 Total Weight: -446 37.87/37.98 c Elapsed CPU time: 37.3133 s Remaining CPU time: 1762.69 s 37.98/38.04 c ============================[ Search Statistics ]============================== 37.98/38.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.98/38.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.98/38.04 c =============================================================================== 37.98/38.04 c | 0 | 2536 35098 81781 | 11699 0 nan | 0.000 % | 37.98/38.05 c =============================================================================== 37.98/38.05 c core #555 37.98/38.05 c Core size: 21 Core Weight: 1 Total Weight: -445 37.98/38.05 c Elapsed CPU time: 37.3843 s Remaining CPU time: 1762.62 s 38.08/38.12 c ============================[ Search Statistics ]============================== 38.08/38.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.08/38.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.08/38.12 c =============================================================================== 38.08/38.12 c | 0 | 2544 35099 81797 | 11699 0 nan | 0.000 % | 38.08/38.12 c =============================================================================== 38.08/38.12 c core #556 38.08/38.12 c Core size: 31 Core Weight: 1 Total Weight: -444 38.08/38.12 c Elapsed CPU time: 37.4593 s Remaining CPU time: 1762.54 s 38.08/38.19 c ============================[ Search Statistics ]============================== 38.08/38.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.08/38.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.08/38.19 c =============================================================================== 38.08/38.19 c | 0 | 2556 35100 81821 | 11700 0 nan | 0.000 % | 38.08/38.20 c =============================================================================== 38.17/38.20 c core #557 38.17/38.20 c Core size: 25 Core Weight: 1 Total Weight: -443 38.17/38.20 c Elapsed CPU time: 37.5303 s Remaining CPU time: 1762.47 s 38.17/38.27 c ============================[ Search Statistics ]============================== 38.17/38.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.17/38.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.17/38.27 c =============================================================================== 38.17/38.27 c | 0 | 2566 35101 81841 | 11700 0 nan | 0.000 % | 38.17/38.27 c =============================================================================== 38.17/38.27 c core #558 38.17/38.27 c Core size: 25 Core Weight: 1 Total Weight: -442 38.17/38.27 c Elapsed CPU time: 37.6043 s Remaining CPU time: 1762.4 s 38.27/38.34 c ============================[ Search Statistics ]============================== 38.27/38.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.27/38.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.27/38.34 c =============================================================================== 38.27/38.34 c | 0 | 2576 35102 81861 | 11700 0 nan | 0.000 % | 38.27/38.35 c =============================================================================== 38.27/38.35 c core #559 38.27/38.35 c Core size: 25 Core Weight: 1 Total Weight: -441 38.27/38.35 c Elapsed CPU time: 37.6773 s Remaining CPU time: 1762.32 s 38.38/38.41 c ============================[ Search Statistics ]============================== 38.38/38.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.38/38.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.38/38.41 c =============================================================================== 38.38/38.41 c | 0 | 2586 35103 81881 | 11701 0 nan | 0.000 % | 38.38/38.42 c =============================================================================== 38.38/38.42 c core #560 38.38/38.42 c Core size: 22 Core Weight: 1 Total Weight: -440 38.38/38.42 c Elapsed CPU time: 37.7513 s Remaining CPU time: 1762.25 s 38.38/38.49 c ============================[ Search Statistics ]============================== 38.38/38.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.38/38.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.38/38.49 c =============================================================================== 38.38/38.49 c | 0 | 2594 35104 81897 | 11701 0 nan | 0.000 % | 38.38/38.49 c =============================================================================== 38.38/38.49 c core #561 38.38/38.49 c Core size: 25 Core Weight: 1 Total Weight: -439 38.38/38.49 c Elapsed CPU time: 37.8232 s Remaining CPU time: 1762.18 s 38.47/38.56 c ============================[ Search Statistics ]============================== 38.47/38.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.47/38.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.47/38.56 c =============================================================================== 38.47/38.56 c | 0 | 2604 35105 81917 | 11701 0 nan | 0.000 % | 38.47/38.57 c =============================================================================== 38.47/38.57 c core #562 38.47/38.57 c Core size: 26 Core Weight: 1 Total Weight: -438 38.47/38.57 c Elapsed CPU time: 37.8962 s Remaining CPU time: 1762.1 s 38.57/38.63 c ============================[ Search Statistics ]============================== 38.57/38.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.57/38.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.57/38.63 c =============================================================================== 38.57/38.63 c | 0 | 2614 35106 81937 | 11702 0 nan | 0.000 % | 38.57/38.64 c =============================================================================== 38.57/38.64 c core #563 38.57/38.64 c Core size: 25 Core Weight: 1 Total Weight: -437 38.57/38.64 c Elapsed CPU time: 37.9682 s Remaining CPU time: 1762.03 s 38.67/38.71 c ============================[ Search Statistics ]============================== 38.67/38.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.67/38.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.67/38.71 c =============================================================================== 38.67/38.71 c | 0 | 2624 35107 81957 | 11702 0 nan | 0.000 % | 38.67/38.71 c =============================================================================== 38.67/38.71 c core #564 38.67/38.71 c Core size: 31 Core Weight: 1 Total Weight: -436 38.67/38.71 c Elapsed CPU time: 38.0422 s Remaining CPU time: 1761.96 s 38.67/38.78 c ============================[ Search Statistics ]============================== 38.67/38.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.67/38.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.67/38.78 c =============================================================================== 38.67/38.78 c | 0 | 2636 35108 81981 | 11702 0 nan | 0.000 % | 38.67/38.79 c =============================================================================== 38.67/38.79 c core #565 38.67/38.79 c Core size: 27 Core Weight: 1 Total Weight: -435 38.67/38.79 c Elapsed CPU time: 38.1172 s Remaining CPU time: 1761.88 s 38.77/38.86 c ============================[ Search Statistics ]============================== 38.77/38.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.77/38.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.77/38.86 c =============================================================================== 38.77/38.86 c | 0 | 2646 35109 82001 | 11703 0 nan | 0.000 % | 38.77/38.86 c =============================================================================== 38.77/38.86 c core #566 38.77/38.86 c Core size: 26 Core Weight: 1 Total Weight: -434 38.77/38.86 c Elapsed CPU time: 38.1902 s Remaining CPU time: 1761.81 s 38.87/38.93 c ============================[ Search Statistics ]============================== 38.87/38.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.87/38.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.87/38.93 c =============================================================================== 38.87/38.93 c | 0 | 2656 35110 82021 | 11703 0 nan | 0.000 % | 38.87/38.94 c =============================================================================== 38.87/38.94 c core #567 38.87/38.94 c Core size: 25 Core Weight: 1 Total Weight: -433 38.87/38.94 c Elapsed CPU time: 38.2672 s Remaining CPU time: 1761.73 s 38.98/39.01 c ============================[ Search Statistics ]============================== 38.98/39.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.98/39.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.98/39.01 c =============================================================================== 38.98/39.01 c | 0 | 2665 35111 82039 | 11703 0 nan | 0.000 % | 38.98/39.01 c =============================================================================== 38.98/39.01 c core #568 38.98/39.01 c Core size: 32 Core Weight: 1 Total Weight: -432 38.98/39.01 c Elapsed CPU time: 38.3372 s Remaining CPU time: 1761.66 s 38.98/39.08 c ============================[ Search Statistics ]============================== 38.98/39.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.98/39.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.98/39.08 c =============================================================================== 38.98/39.08 c | 0 | 2677 35112 82063 | 11704 0 nan | 0.000 % | 38.98/39.08 c =============================================================================== 38.98/39.09 c core #569 38.98/39.09 c Core size: 32 Core Weight: 1 Total Weight: -431 38.98/39.09 c Elapsed CPU time: 38.4102 s Remaining CPU time: 1761.59 s 39.08/39.15 c ============================[ Search Statistics ]============================== 39.08/39.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.08/39.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.08/39.15 c =============================================================================== 39.08/39.15 c | 0 | 2689 35113 82087 | 11704 0 nan | 0.000 % | 39.08/39.16 c =============================================================================== 39.08/39.16 c core #570 39.08/39.16 c Core size: 20 Core Weight: 1 Total Weight: -430 39.08/39.16 c Elapsed CPU time: 38.4821 s Remaining CPU time: 1761.52 s 39.18/39.23 c ============================[ Search Statistics ]============================== 39.18/39.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.18/39.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.18/39.23 c =============================================================================== 39.18/39.23 c | 0 | 2697 35114 82103 | 11704 0 nan | 0.000 % | 39.18/39.23 c =============================================================================== 39.18/39.23 c core #571 39.18/39.23 c Core size: 32 Core Weight: 1 Total Weight: -429 39.18/39.23 c Elapsed CPU time: 38.5571 s Remaining CPU time: 1761.44 s 39.27/39.30 c ============================[ Search Statistics ]============================== 39.27/39.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.27/39.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.27/39.30 c =============================================================================== 39.27/39.30 c | 0 | 2709 35115 82127 | 11705 0 nan | 0.000 % | 39.27/39.31 c =============================================================================== 39.27/39.31 c core #572 39.27/39.31 c Core size: 32 Core Weight: 1 Total Weight: -428 39.27/39.31 c Elapsed CPU time: 38.6311 s Remaining CPU time: 1761.37 s 39.27/39.38 c ============================[ Search Statistics ]============================== 39.27/39.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.27/39.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.27/39.38 c =============================================================================== 39.27/39.38 c | 0 | 2721 35116 82151 | 11705 0 nan | 0.000 % | 39.27/39.38 c =============================================================================== 39.27/39.38 c core #573 39.27/39.38 c Core size: 21 Core Weight: 1 Total Weight: -427 39.27/39.38 c Elapsed CPU time: 38.7061 s Remaining CPU time: 1761.29 s 39.37/39.45 c ============================[ Search Statistics ]============================== 39.37/39.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.37/39.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.37/39.45 c =============================================================================== 39.37/39.45 c | 0 | 2729 35117 82167 | 11705 0 nan | 0.000 % | 39.37/39.46 c =============================================================================== 39.37/39.46 c core #574 39.37/39.46 c Core size: 28 Core Weight: 1 Total Weight: -426 39.37/39.46 c Elapsed CPU time: 38.7801 s Remaining CPU time: 1761.22 s 39.48/39.53 c ============================[ Search Statistics ]============================== 39.48/39.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.48/39.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.48/39.53 c =============================================================================== 39.48/39.53 c | 0 | 2739 35118 82187 | 11706 0 nan | 0.000 % | 39.48/39.53 c =============================================================================== 39.48/39.53 c core #575 39.48/39.53 c Core size: 37 Core Weight: 1 Total Weight: -425 39.48/39.53 c Elapsed CPU time: 38.8561 s Remaining CPU time: 1761.14 s 39.58/39.60 c ============================[ Search Statistics ]============================== 39.58/39.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.58/39.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.58/39.60 c =============================================================================== 39.58/39.60 c | 0 | 2753 35119 82215 | 11706 0 nan | 0.000 % | 39.58/39.61 c =============================================================================== 39.58/39.61 c core #576 39.58/39.61 c Core size: 16 Core Weight: 1 Total Weight: -424 39.58/39.61 c Elapsed CPU time: 38.9301 s Remaining CPU time: 1761.07 s 39.58/39.68 c ============================[ Search Statistics ]============================== 39.58/39.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.58/39.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.58/39.68 c =============================================================================== 39.58/39.68 c | 0 | 2759 35120 82227 | 11706 0 nan | 0.000 % | 39.58/39.68 c =============================================================================== 39.58/39.68 c core #577 39.58/39.68 c Core size: 36 Core Weight: 1 Total Weight: -423 39.58/39.68 c Elapsed CPU time: 39.0051 s Remaining CPU time: 1760.99 s 39.67/39.75 c ============================[ Search Statistics ]============================== 39.67/39.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.67/39.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.67/39.75 c =============================================================================== 39.67/39.75 c | 0 | 2773 35121 82255 | 11707 0 nan | 0.000 % | 39.67/39.76 c =============================================================================== 39.67/39.76 c core #578 39.67/39.76 c Core size: 22 Core Weight: 1 Total Weight: -422 39.67/39.76 c Elapsed CPU time: 39.0771 s Remaining CPU time: 1760.92 s 39.77/39.83 c ============================[ Search Statistics ]============================== 39.77/39.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.77/39.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.77/39.83 c =============================================================================== 39.77/39.83 c | 0 | 2781 35122 82271 | 11707 0 nan | 0.000 % | 39.77/39.83 c =============================================================================== 39.77/39.83 c core #579 39.77/39.83 c Core size: 47 Core Weight: 1 Total Weight: -421 39.77/39.83 c Elapsed CPU time: 39.15 s Remaining CPU time: 1760.85 s 39.87/39.90 c ============================[ Search Statistics ]============================== 39.87/39.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.87/39.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.87/39.90 c =============================================================================== 39.87/39.90 c | 0 | 2799 35123 82307 | 11707 0 nan | 0.000 % | 39.87/39.91 c =============================================================================== 39.87/39.91 c core #580 39.87/39.91 c Core size: 35 Core Weight: 1 Total Weight: -420 39.87/39.91 c Elapsed CPU time: 39.226 s Remaining CPU time: 1760.77 s 39.87/39.98 c ============================[ Search Statistics ]============================== 39.87/39.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.87/39.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.87/39.98 c =============================================================================== 39.87/39.98 c | 0 | 2813 35124 82335 | 11708 0 nan | 0.000 % | 39.87/39.98 c =============================================================================== 39.87/39.98 c core #581 39.87/39.98 c Core size: 42 Core Weight: 1 Total Weight: -419 39.87/39.98 c Elapsed CPU time: 39.3 s Remaining CPU time: 1760.7 s 39.98/40.05 c ============================[ Search Statistics ]============================== 39.98/40.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.98/40.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.98/40.05 c =============================================================================== 39.98/40.05 c | 0 | 2829 35125 82367 | 11708 0 nan | 0.000 % | 39.98/40.06 c =============================================================================== 39.98/40.06 c core #582 39.98/40.06 c Core size: 39 Core Weight: 1 Total Weight: -418 39.98/40.06 c Elapsed CPU time: 39.375 s Remaining CPU time: 1760.62 s 40.07/40.13 c ============================[ Search Statistics ]============================== 40.07/40.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.07/40.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.07/40.13 c =============================================================================== 40.07/40.13 c | 0 | 2844 35126 82397 | 11708 0 nan | 0.000 % | 40.07/40.13 c =============================================================================== 40.07/40.13 c core #583 40.07/40.13 c Core size: 40 Core Weight: 1 Total Weight: -417 40.07/40.13 c Elapsed CPU time: 39.447 s Remaining CPU time: 1760.55 s 40.17/40.20 c ============================[ Search Statistics ]============================== 40.17/40.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.17/40.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.17/40.20 c =============================================================================== 40.17/40.20 c | 0 | 2860 35127 82429 | 11709 0 nan | 0.000 % | 40.17/40.21 c =============================================================================== 40.17/40.21 c core #584 40.17/40.21 c Core size: 41 Core Weight: 1 Total Weight: -416 40.17/40.21 c Elapsed CPU time: 39.521 s Remaining CPU time: 1760.48 s 40.17/40.28 c ============================[ Search Statistics ]============================== 40.17/40.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.17/40.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.17/40.28 c =============================================================================== 40.17/40.28 c | 0 | 2876 35128 82461 | 11709 0 nan | 0.000 % | 40.17/40.28 c =============================================================================== 40.17/40.28 c core #585 40.17/40.28 c Core size: 31 Core Weight: 1 Total Weight: -415 40.17/40.28 c Elapsed CPU time: 39.595 s Remaining CPU time: 1760.41 s 40.27/40.35 c ============================[ Search Statistics ]============================== 40.27/40.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.27/40.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.27/40.35 c =============================================================================== 40.27/40.35 c | 0 | 2888 35129 82485 | 11709 0 nan | 0.000 % | 40.27/40.36 c =============================================================================== 40.27/40.36 c core #586 40.27/40.36 c Core size: 51 Core Weight: 1 Total Weight: -414 40.27/40.36 c Elapsed CPU time: 39.67 s Remaining CPU time: 1760.33 s 40.37/40.43 c ============================[ Search Statistics ]============================== 40.37/40.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.37/40.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.37/40.43 c =============================================================================== 40.37/40.43 c | 0 | 2908 35130 82525 | 11710 0 nan | 0.000 % | 40.37/40.43 c =============================================================================== 40.37/40.43 c core #587 40.37/40.43 c Core size: 78 Core Weight: 1 Total Weight: -413 40.37/40.43 c Elapsed CPU time: 39.742 s Remaining CPU time: 1760.26 s 40.47/40.50 c ============================[ Search Statistics ]============================== 40.47/40.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.47/40.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.47/40.50 c =============================================================================== 40.47/40.50 c | 0 | 2938 35131 82585 | 11710 0 nan | 0.000 % | 40.47/40.51 c =============================================================================== 40.47/40.51 c core #588 40.47/40.51 c Core size: 66 Core Weight: 1 Total Weight: -412 40.47/40.51 c Elapsed CPU time: 39.8169 s Remaining CPU time: 1760.18 s 40.47/40.58 c ============================[ Search Statistics ]============================== 40.47/40.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.47/40.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.47/40.58 c =============================================================================== 40.47/40.58 c | 0 | 2963 35132 82635 | 11710 0 nan | 0.000 % | 40.47/40.59 c =============================================================================== 40.47/40.59 c core #589 40.47/40.59 c Core size: 219 Core Weight: 1 Total Weight: -411 40.47/40.59 c Elapsed CPU time: 39.8979 s Remaining CPU time: 1760.1 s 40.58/40.66 c ============================[ Search Statistics ]============================== 40.58/40.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.58/40.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.58/40.66 c =============================================================================== 40.58/40.66 c | 0 | 3037 35133 82783 | 11711 0 nan | 0.000 % | 40.58/40.68 c | 100 | 3036 35133 82783 | 12882 100 24 | 83.859 % | 40.58/40.68 c =============================================================================== 40.58/40.68 c core #590 40.58/40.68 c Core size: 282 Core Weight: 1 Total Weight: -410 40.58/40.68 c Elapsed CPU time: 39.9829 s Remaining CPU time: 1760.02 s 40.67/40.75 c ============================[ Search Statistics ]============================== 40.67/40.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.67/40.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.67/40.75 c =============================================================================== 40.67/40.75 c | 0 | 3122 35134 82953 | 11711 0 nan | 0.000 % | 40.67/40.77 c | 105 | 3122 35134 82953 | 12882 105 49 | 83.476 % | 40.67/40.78 c | 255 | 3122 35134 82953 | 14170 255 49 | 83.476 % | 40.78/40.81 c | 482 | 3122 35134 82953 | 15587 482 54 | 83.476 % | 40.78/40.85 c | 820 | 3121 35134 82953 | 17146 819 66 | 83.482 % | 40.78/40.90 c | 1326 | 3113 35134 82953 | 18861 1325 65 | 83.778 % | 40.87/40.93 c =============================================================================== 40.87/40.94 c core #591 40.87/40.94 c Core size: 629 Core Weight: 1 Total Weight: -409 40.87/40.94 c Elapsed CPU time: 40.2289 s Remaining CPU time: 1759.77 s 40.97/41.01 c ============================[ Search Statistics ]============================== 40.97/41.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.97/41.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.97/41.01 c =============================================================================== 40.97/41.01 c | 0 | 3282 35135 83273 | 11711 0 nan | 0.000 % | 40.97/41.03 c | 100 | 3282 35135 83273 | 12882 100 23 | 82.775 % | 40.97/41.04 c | 250 | 3282 35135 83273 | 14171 250 31 | 82.775 % | 40.97/41.06 c | 475 | 3282 35135 83273 | 15588 475 33 | 82.775 % | 40.97/41.09 c | 816 | 3282 35135 83273 | 17147 816 35 | 82.775 % | 41.08/41.16 c | 1322 | 3282 35135 83273 | 18861 1322 53 | 82.775 % | 41.17/41.27 c | 2081 | 3282 35135 83273 | 20747 2081 60 | 82.775 % | 41.37/41.48 c | 3220 | 3282 35135 83273 | 22822 3220 85 | 82.775 % | 41.57/41.68 c =============================================================================== 41.68/41.72 c core #592 41.68/41.72 c Core size: 625 Core Weight: 1 Total Weight: -408 41.68/41.72 c Elapsed CPU time: 40.9968 s Remaining CPU time: 1759 s 41.68/41.80 c ============================[ Search Statistics ]============================== 41.68/41.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 41.68/41.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 41.68/41.80 c =============================================================================== 41.68/41.80 c | 0 | 3434 35136 83577 | 11712 0 nan | 0.000 % | 41.78/41.81 c | 107 | 3434 35136 83577 | 12883 107 23 | 82.120 % | 41.78/41.82 c | 259 | 3434 35136 83577 | 14171 259 26 | 82.120 % | 41.78/41.84 c | 484 | 3434 35136 83577 | 15588 484 32 | 82.120 % | 41.78/41.87 c | 821 | 3434 35136 83577 | 17147 821 42 | 82.120 % | 41.88/41.92 c | 1327 | 3434 35136 83577 | 18862 1327 50 | 82.120 % | 41.98/42.04 c | 2086 | 3434 35136 83577 | 20748 2086 63 | 82.120 % | 42.17/42.20 c | 3226 | 3434 35136 83577 | 22823 3226 64 | 82.120 % | 42.37/42.48 c | 4935 | 3434 35136 83577 | 25105 4935 69 | 82.120 % | 42.88/42.93 c =============================================================================== 42.88/42.97 c core #593 42.88/42.97 c Core size: 842 Core Weight: 1 Total Weight: -407 42.88/42.97 c Elapsed CPU time: 42.2296 s Remaining CPU time: 1757.77 s 42.97/43.05 c ============================[ Search Statistics ]============================== 42.97/43.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 42.97/43.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 42.97/43.05 c =============================================================================== 42.97/43.05 c | 0 | 3633 35137 83975 | 11712 0 nan | 0.000 % | 42.97/43.07 c | 103 | 3633 35137 83975 | 12883 103 54 | 81.278 % | 42.97/43.09 c | 254 | 3633 35137 83975 | 14171 254 40 | 81.278 % | 43.07/43.11 c | 479 | 3633 35137 83975 | 15589 479 54 | 81.278 % | 43.07/43.15 c | 817 | 3633 35137 83975 | 17148 817 56 | 81.278 % | 43.17/43.21 c | 1323 | 3633 35137 83975 | 18862 1323 69 | 81.278 % | 43.27/43.33 c | 2084 | 3633 35137 83975 | 20749 2084 81 | 81.278 % | 43.57/43.60 c =============================================================================== 43.57/43.63 c core #594 43.57/43.63 c Core size: 862 Core Weight: 1 Total Weight: -406 43.57/43.63 c Elapsed CPU time: 42.8715 s Remaining CPU time: 1757.13 s 43.67/43.70 c ============================[ Search Statistics ]============================== 43.67/43.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 43.67/43.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 43.67/43.71 c =============================================================================== 43.67/43.71 c | 0 | 3829 35138 84367 | 11712 0 nan | 0.000 % | 43.67/43.72 c | 100 | 3829 35138 84367 | 12883 100 12 | 80.465 % | 43.67/43.73 c | 254 | 3829 35138 84367 | 14172 254 16 | 80.465 % | 43.67/43.75 c | 479 | 3829 35138 84367 | 15589 479 28 | 80.465 % | 43.67/43.79 c | 820 | 3829 35138 84367 | 17148 820 33 | 80.465 % | 43.77/43.85 c | 1329 | 3829 35138 84367 | 18863 1329 46 | 80.465 % | 43.87/43.97 c | 2089 | 3829 35138 84367 | 20749 2089 68 | 80.465 % | 44.18/44.20 c | 3228 | 3822 35138 84367 | 22824 3225 88 | 80.649 % | 44.18/44.26 c =============================================================================== 44.28/44.30 c core #595 44.28/44.30 c Core size: 707 Core Weight: 1 Total Weight: -405 44.28/44.30 c Elapsed CPU time: 43.5364 s Remaining CPU time: 1756.46 s 44.28/44.38 c ============================[ Search Statistics ]============================== 44.28/44.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 44.28/44.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 44.28/44.38 c =============================================================================== 44.28/44.38 c | 0 | 3986 35139 84681 | 11713 0 nan | 0.000 % | 44.38/44.40 c | 103 | 3986 35139 84681 | 12884 103 48 | 79.826 % | 44.38/44.41 c | 254 | 3986 35139 84681 | 14172 254 34 | 79.826 % | 44.38/44.43 c | 479 | 3986 35139 84681 | 15590 479 35 | 79.826 % | 44.38/44.46 c | 817 | 3986 35139 84681 | 17149 817 36 | 79.826 % | 44.47/44.51 c | 1323 | 3986 35139 84681 | 18863 1323 40 | 79.826 % | 44.47/44.60 c | 2083 | 3986 35139 84681 | 20750 2083 44 | 79.826 % | 44.67/44.75 c | 3223 | 3980 35139 84681 | 22825 3217 60 | 79.978 % | 44.67/44.79 c =============================================================================== 44.77/44.82 c core #596 44.77/44.82 c Core size: 555 Core Weight: 1 Total Weight: -404 44.77/44.82 c Elapsed CPU time: 44.0413 s Remaining CPU time: 1755.96 s 44.77/44.89 c ============================[ Search Statistics ]============================== 44.77/44.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 44.77/44.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 44.77/44.89 c =============================================================================== 44.77/44.89 c | 0 | 4123 35140 84955 | 11713 0 nan | 0.000 % | 44.87/44.91 c | 100 | 4123 35140 84955 | 12884 100 26 | 79.276 % | 44.87/44.92 c | 250 | 4123 35140 84955 | 14173 250 24 | 79.276 % | 44.87/44.94 c | 478 | 4123 35140 84955 | 15590 478 20 | 79.276 % | 44.87/44.97 c | 816 | 4123 35140 84955 | 17149 816 21 | 79.276 % | 44.97/45.01 c | 1323 | 4123 35140 84955 | 18864 1323 26 | 79.276 % | 44.97/45.09 c | 2082 | 4123 35140 84955 | 20750 2082 34 | 79.276 % | 45.17/45.25 c | 3223 | 4123 35140 84955 | 22825 3223 46 | 79.276 % | 45.47/45.51 c =============================================================================== 45.47/45.56 c core #597 45.47/45.56 c Core size: 569 Core Weight: 1 Total Weight: -403 45.47/45.56 c Elapsed CPU time: 44.7742 s Remaining CPU time: 1755.23 s 45.57/45.63 c ============================[ Search Statistics ]============================== 45.57/45.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 45.57/45.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 45.57/45.63 c =============================================================================== 45.57/45.63 c | 0 | 4248 35141 85205 | 11713 0 nan | 0.000 % | 45.57/45.65 c | 100 | 4248 35141 85205 | 12885 100 20 | 78.781 % | 45.57/45.66 c | 251 | 4248 35141 85205 | 14173 251 20 | 78.781 % | 45.57/45.68 c | 477 | 4248 35141 85205 | 15590 477 24 | 78.781 % | 45.67/45.71 c | 814 | 4248 35141 85205 | 17149 814 30 | 78.781 % | 45.67/45.76 c | 1326 | 4248 35141 85205 | 18864 1326 36 | 78.781 % | 45.77/45.85 c | 2086 | 4248 35141 85205 | 20751 2086 44 | 78.781 % | 45.97/46.03 c | 3226 | 4248 35141 85205 | 22826 3226 56 | 78.781 % | 46.28/46.36 c | 4935 | 4248 35141 85205 | 25109 4935 72 | 78.781 % | 46.38/46.42 c =============================================================================== 46.38/46.47 c core #598 46.38/46.47 c Core size: 535 Core Weight: 1 Total Weight: -402 46.38/46.47 c Elapsed CPU time: 45.6751 s Remaining CPU time: 1754.32 s 46.48/46.55 c ============================[ Search Statistics ]============================== 46.48/46.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 46.48/46.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 46.48/46.55 c =============================================================================== 46.48/46.55 c | 0 | 4363 35142 85435 | 11714 0 nan | 0.000 % | 46.48/46.57 c | 101 | 4363 35142 85435 | 12885 101 138 | 78.331 % | 46.48/46.59 c | 251 | 4363 35142 85435 | 14173 251 89 | 78.331 % | 46.57/46.60 c | 476 | 4363 35142 85435 | 15591 476 70 | 78.331 % | 46.57/46.63 c | 813 | 4363 35142 85435 | 17150 813 67 | 78.331 % | 46.57/46.68 c | 1319 | 4363 35142 85435 | 18865 1319 57 | 78.331 % | 46.77/46.80 c | 2079 | 4363 35142 85435 | 20752 2079 65 | 78.331 % | 46.87/46.99 c | 3219 | 4363 35142 85435 | 22827 3219 88 | 78.331 % | 47.27/47.36 c | 4932 | 4363 35142 85435 | 25109 4932 111 | 78.331 % | 47.97/48.01 c | 7494 | 4363 35142 85435 | 27620 7494 126 | 78.331 % | 49.17/49.23 c | 11338 | 4363 35142 85435 | 30383 11338 131 | 78.331 % | 50.87/50.99 c | 17107 | 4363 35142 85435 | 33421 17107 127 | 78.331 % | 55.98/56.03 c | 25756 | 4363 35142 85435 | 36763 25756 143 | 78.331 % | 67.16/67.29 c | 38730 | 4363 35142 85435 | 40439 38730 166 | 78.331 % | 92.06/92.14 c | 58193 | 4363 35142 85435 | 44483 17138 125 | 78.331 % | 114.15/114.21 c =============================================================================== 115.24/115.34 c core #599 115.24/115.34 c Core size: 1384 Core Weight: 1 Total Weight: -401 115.24/115.34 c Elapsed CPU time: 114.126 s Remaining CPU time: 1685.87 s 115.35/115.49 c ============================[ Search Statistics ]============================== 115.35/115.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 115.35/115.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 115.35/115.49 c =============================================================================== 115.35/115.49 c | 0 | 4595 35143 85899 | 11714 0 nan | 0.000 % | 115.45/115.53 c | 100 | 4595 35143 85899 | 12885 100 17 | 77.439 % | 115.45/115.54 c | 250 | 4595 35143 85899 | 14174 250 14 | 77.439 % | 115.45/115.55 c | 475 | 4595 35143 85899 | 15591 475 14 | 77.439 % | 115.45/115.58 c | 813 | 4595 35143 85899 | 17150 813 17 | 77.439 % | 115.55/115.63 c | 1325 | 4595 35143 85899 | 18866 1325 26 | 77.439 % | 115.65/115.73 c | 2085 | 4595 35143 85899 | 20752 2085 41 | 77.439 % | 115.75/115.89 c | 3224 | 4595 35143 85899 | 22827 3224 52 | 77.439 % | 116.14/116.23 c | 4932 | 4595 35143 85899 | 25110 4932 76 | 77.439 % | 116.75/116.87 c | 7495 | 4554 35143 85899 | 27621 3956 42 | 77.640 % | 116.95/117.04 c =============================================================================== 117.05/117.14 c core #600 117.05/117.14 c Core size: 794 Core Weight: 1 Total Weight: -400 117.05/117.14 c Elapsed CPU time: 115.909 s Remaining CPU time: 1684.09 s 117.15/117.23 c ============================[ Search Statistics ]============================== 117.15/117.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 117.15/117.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 117.15/117.23 c =============================================================================== 117.15/117.23 c | 0 | 4745 35144 86199 | 11714 0 nan | 0.000 % | 117.15/117.25 c | 100 | 4745 35144 86199 | 12886 100 22 | 76.873 % | 117.15/117.26 c | 254 | 4745 35144 86199 | 14174 254 27 | 76.873 % | 117.15/117.28 c | 481 | 4745 35144 86199 | 15592 481 28 | 76.873 % | 117.24/117.32 c | 818 | 4745 35144 86199 | 17151 818 47 | 76.873 % | 117.24/117.38 c | 1324 | 4745 35144 86199 | 18866 1324 51 | 76.873 % | 117.45/117.50 c | 2083 | 4745 35144 86199 | 20753 2083 65 | 76.873 % | 117.55/117.66 c | 3222 | 4745 35144 86199 | 22828 3222 70 | 76.873 % | 117.95/118.06 c | 4930 | 4745 35144 86199 | 25111 4930 87 | 76.873 % | 118.44/118.60 c | 7496 | 4745 35144 86199 | 27622 7496 87 | 76.873 % | 119.75/119.84 c | 11341 | 4745 35144 86199 | 30384 11341 99 | 76.873 % | 122.84/122.91 c | 17112 | 4745 35144 86199 | 33423 17112 133 | 76.873 % | 127.64/127.73 c | 25765 | 4745 35144 86199 | 36765 25765 140 | 76.873 % | 141.34/141.48 c | 38739 | 4745 35144 86199 | 40442 38739 184 | 76.873 % | 181.33/181.46 c | 58204 | 4745 35144 86199 | 44486 16915 296 | 76.873 % | 216.41/216.54 c =============================================================================== 218.21/218.30 c core #601 218.21/218.30 c Core size: 1159 Core Weight: 1 Total Weight: -399 218.21/218.30 c Elapsed CPU time: 216.591 s Remaining CPU time: 1583.41 s 218.31/218.49 c ============================[ Search Statistics ]============================== 218.31/218.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 218.31/218.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 218.31/218.49 c =============================================================================== 218.31/218.49 c | 0 | 4945 35145 86599 | 11715 0 nan | 0.000 % | 218.41/218.52 c | 102 | 4945 35145 86599 | 12886 102 90 | 76.131 % | 218.41/218.54 c | 255 | 4945 35145 86599 | 14175 255 45 | 76.131 % | 218.41/218.56 c | 480 | 4945 35145 86599 | 15592 480 40 | 76.131 % | 218.41/218.58 c | 819 | 4945 35145 86599 | 17151 819 42 | 76.131 % | 218.51/218.62 c | 1333 | 4945 35145 86599 | 18867 1333 36 | 76.131 % | 218.61/218.70 c | 2094 | 4945 35145 86599 | 20753 2094 38 | 76.131 % | 218.71/218.86 c | 3234 | 4945 35145 86599 | 22829 3234 55 | 76.131 % | 219.01/219.15 c | 4942 | 4945 35145 86599 | 25112 4942 65 | 76.131 % | 219.61/219.73 c | 7504 | 4945 35145 86599 | 27623 7504 76 | 76.131 % | 221.01/221.12 c | 11348 | 4945 35145 86599 | 30385 11348 97 | 76.131 % | 224.31/224.46 c | 17114 | 4945 35145 86599 | 33424 17114 121 | 76.131 % | 231.70/231.86 c | 25764 | 4945 35145 86599 | 36766 25764 149 | 76.131 % | 247.41/247.59 c | 38739 | 4945 35145 86599 | 40443 38739 175 | 76.131 % | 310.37/310.50 c | 58201 | 4945 35145 86599 | 44487 17826 365 | 76.131 % | 327.36/327.56 c =============================================================================== 329.07/329.26 c core #602 329.07/329.26 c Core size: 1191 Core Weight: 1 Total Weight: -398 329.07/329.26 c Elapsed CPU time: 327.19 s Remaining CPU time: 1472.81 s 329.26/329.41 c ============================[ Search Statistics ]============================== 329.26/329.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 329.26/329.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 329.26/329.41 c =============================================================================== 329.26/329.41 c | 0 | 5144 35146 86997 | 11715 0 nan | 0.000 % | 329.26/329.45 c | 102 | 5144 35146 86997 | 12886 102 28 | 75.406 % | 329.26/329.46 c | 252 | 5144 35146 86997 | 14175 252 23 | 75.406 % | 329.26/329.47 c | 477 | 5144 35146 86997 | 15593 477 24 | 75.406 % | 329.37/329.50 c | 814 | 5144 35146 86997 | 17152 814 24 | 75.406 % | 329.37/329.54 c | 1320 | 5144 35146 86997 | 18867 1320 32 | 75.406 % | 329.47/329.62 c | 2079 | 5144 35146 86997 | 20754 2079 45 | 75.406 % | 329.57/329.76 c | 3218 | 5144 35146 86997 | 22829 3218 52 | 75.406 % | 329.77/329.99 c | 4926 | 5144 35146 86997 | 25112 4926 52 | 75.406 % | 330.36/330.50 c | 7488 | 5144 35146 86997 | 27624 7488 62 | 75.406 % | 331.67/331.80 c | 11336 | 5144 35146 86997 | 30386 11336 91 | 75.406 % | 334.37/334.58 c | 17102 | 5144 35146 86997 | 33425 17102 107 | 75.406 % | 341.77/341.97 c | 25751 | 5144 35146 86997 | 36767 25751 124 | 75.406 % | 355.56/355.79 c | 38726 | 5144 35146 86997 | 40444 38726 135 | 75.406 % | 378.95/379.12 c | 58187 | 5144 35146 86997 | 44488 16063 138 | 75.406 % | 404.04/404.29 c | 87383 | 5144 35146 86997 | 48937 45259 173 | 75.406 % | 452.52/452.73 c | 131174 | 5144 35146 86997 | 53831 39053 160 | 75.406 % | 532.20/532.47 c | 196858 | 5144 35146 86997 | 59214 52439 144 | 75.406 % | 580.08/580.37 c =============================================================================== 583.48/583.75 c core #603 583.48/583.75 c Core size: 1080 Core Weight: 1 Total Weight: -397 583.48/583.75 c Elapsed CPU time: 580.499 s Remaining CPU time: 1219.5 s 583.78/584.07 c ============================[ Search Statistics ]============================== 583.78/584.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 583.78/584.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 583.78/584.07 c =============================================================================== 583.78/584.07 c | 0 | 5341 35147 87391 | 11715 0 nan | 0.000 % | 583.88/584.13 c | 101 | 5341 35147 87391 | 12887 101 57 | 74.703 % | 583.88/584.14 c | 253 | 5341 35147 87391 | 14175 253 35 | 74.703 % | 583.88/584.17 c | 478 | 5341 35147 87391 | 15593 478 37 | 74.703 % | 583.98/584.21 c | 816 | 5341 35147 87391 | 17152 816 48 | 74.703 % | 583.98/584.27 c | 1322 | 5341 35147 87391 | 18868 1322 66 | 74.703 % | 584.08/584.36 c | 2082 | 5341 35147 87391 | 20755 2082 69 | 74.703 % | 584.28/584.56 c | 3221 | 5341 35147 87391 | 22830 3221 82 | 74.703 % | 584.58/584.88 c | 4930 | 5341 35147 87391 | 25113 4930 87 | 74.703 % | 585.18/585.41 c | 7492 | 5341 35147 87391 | 27624 7492 86 | 74.703 % | 586.47/586.74 c | 11339 | 5341 35147 87391 | 30387 11339 95 | 74.703 % | 590.17/590.45 c | 17108 | 5341 35147 87391 | 33426 17108 140 | 74.703 % | 594.98/595.23 c | 25760 | 5341 35147 87391 | 36768 25760 138 | 74.703 % | 607.57/607.81 c | 38734 | 5341 35147 87391 | 40445 38734 145 | 74.703 % | 643.85/644.15 c | 58197 | 5341 35147 87391 | 44490 16682 211 | 74.703 % | 681.64/681.95 c | 87397 | 5341 35147 87391 | 48939 45882 237 | 74.703 % | 746.92/747.27 c | 131187 | 5341 35147 87391 | 53833 40091 227 | 74.703 % | 884.97/885.39 c | 196876 | 5341 35147 87391 | 59216 52464 378 | 74.703 % | 1111.18/1111.64 c | 295403 | 5341 35147 87391 | 65138 33721 443 | 74.703 % | 1435.53/1436.13 c | 443195 | 5341 35147 87391 | 71651 52435 465 | 74.703 % |
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-1875369-1245202931/watcher-1875369-1245202931 -o /tmp/evaluation-result-1875369-1245202931/solver-1875369-1245202931 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875369-1245202931.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 0.99 0.99 3/64 11860 /proc/meminfo: memFree=1840768/2055920 swapFree=4191904/4192956 [pid=11860] ppid=11858 vsize=4148 CPUtime=0 /proc/11860/stat : 11860 (wbo) R 11858 11860 11557 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 187894020 4247552 242 1992294400 134512640 135709839 4294956240 18446744073709551615 134570460 0 0 4096 3 0 0 0 17 1 0 0 /proc/11860/statm: 1037 242 125 292 0 406 0 [startup+0.0407919 s] /proc/loadavg: 1.00 0.99 0.99 3/64 11860 /proc/meminfo: memFree=1840768/2055920 swapFree=4191904/4192956 [pid=11860] ppid=11858 vsize=6916 CPUtime=0.03 /proc/11860/stat : 11860 (wbo) R 11858 11860 11557 0 -1 4194304 901 0 0 0 3 0 0 0 18 0 1 0 187894020 7081984 885 1992294400 134512640 135709839 4294956240 18446744073709551615 134547798 0 0 4096 3 0 0 0 17 1 0 0 /proc/11860/statm: 1729 886 165 292 0 1098 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 6916 [startup+0.101802 s] /proc/loadavg: 1.00 0.99 0.99 3/64 11860 /proc/meminfo: memFree=1840768/2055920 swapFree=4191904/4192956 [pid=11860] ppid=11858 vsize=7992 CPUtime=0.09 /proc/11860/stat : 11860 (wbo) R 11858 11860 11557 0 -1 4194304 1309 0 0 0 9 0 0 0 18 0 1 0 187894020 8183808 1293 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/11860/statm: 1998 1294 258 292 0 1367 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7992 [startup+0.30184 s] /proc/loadavg: 1.00 0.99 0.99 3/64 11860 /proc/meminfo: memFree=1840768/2055920 swapFree=4191904/4192956 [pid=11860] ppid=11858 vsize=14364 CPUtime=0.29 /proc/11860/stat : 11860 (wbo) R 11858 11860 11557 0 -1 4194304 3649 0 0 0 28 1 0 0 19 0 1 0 187894020 14708736 2999 1992294400 134512640 135709839 4294956240 18446744073709551615 134517521 0 0 4096 3 0 0 0 17 1 0 0 /proc/11860/statm: 3591 2999 134 292 0 3296 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14364 [startup+0.701913 s] /proc/loadavg: 1.00 0.99 0.99 3/64 11860 /proc/meminfo: memFree=1840768/2055920 swapFree=4191904/4192956 [pid=11860] ppid=11858 vsize=21692 CPUtime=0.69 /proc/11860/stat : 11860 (wbo) R 11858 11860 11557 0 -1 4194304 5729 0 0 0 67 2 0 0 23 0 1 0 187894020 22212608 4814 1992294400 134512640 135709839 4294956240 18446744073709551615 135165996 0 0 4096 3 0 0 0 17 1 0 0 /proc/11860/statm: 5423 4814 134 292 0 5128 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21692 [startup+1.50206 s] /proc/loadavg: 1.00 0.99 0.99 2/65 11861 /proc/meminfo: memFree=1816824/2055920 swapFree=4191904/4192956 [pid=11860] ppid=11858 vsize=34480 CPUtime=1.49 /proc/11860/stat : 11860 (wbo) R 11858 11860 11557 0 -1 4194304 8976 0 0 0 146 3 0 0 25 0 1 0 187894020 35307520 8061 1992294400 134512640 135709839 4294956240 18446744073709551615 135162432 0 0 4096 3 0 0 0 17 1 0 0 /proc/11860/statm: 8620 8061 134 292 0 8325 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34480 [startup+3.10136 s] /proc/loadavg: 1.00 0.99 0.99 2/65 11861 /proc/meminfo: memFree=1798648/2055920 swapFree=4191904/4192956 [pid=11860] ppid=11858 vsize=60912 CPUtime=3.08 /proc/11860/stat : 11860 (wbo) R 11858 11860 11557 0 -1 4194304 15599 0 0 0 302 6 0 0 25 0 1 0 187894020 62373888 14684 1992294400 134512640 135709839 4294956240 18446744073709551615 135182831 0 0 4096 3 0 0 0 17 1 0 0 /proc/11860/statm: 15228 14684 134 292 0 14933 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 60912 [startup+6.30295 s] /proc/loadavg: 1.00 0.99 0.99 2/65 11861 /proc/meminfo: memFree=1744504/2055920 swapFree=4191904/4192956 [pid=11860] ppid=11858 vsize=112744 CPUtime=6.29 /proc/11860/stat : 11860 (wbo) R 11858 11860 11557 0 -1 4194304 28585 0 0 0 616 13 0 0 25 0 1 0 187894020 115449856 27670 1992294400 134512640 135709839 4294956240 18446744073709551615 135166305 0 0 4096 3 0 0 0 17 1 0 0 /proc/11860/statm: 28186 27670 134 292 0 27891 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 112744 [startup+12.7011 s] /proc/loadavg: 1.00 0.99 0.99 2/65 11861 /proc/meminfo: memFree=1638328/2055920 swapFree=4191904/4192956 [pid=11860] ppid=11858 vsize=215444 CPUtime=12.69 /proc/11860/stat : 11860 (wbo) R 11858 11860 11557 0 -1 4194304 54155 0 0 0 1245 24 0 0 25 0 1 0 187894020 220614656 53240 1992294400 134512640 135709839 4294956240 18446744073709551615 135164480 0 0 4096 3 0 0 0 17 1 0 0 /proc/11860/statm: 53861 53240 134 292 0 53566 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 215444 [startup+25.5015 s] /proc/loadavg: 1.00 0.99 0.99 2/65 11861 /proc/meminfo: memFree=1432376/2055920 swapFree=4191904/4192956 [pid=11860] ppid=11858 vsize=414600 CPUtime=25.48 /proc/11860/stat : 11860 (wbo) R 11858 11860 11557 0 -1 4194304 103948 0 0 0 2504 44 0 0 25 0 1 0 187894020 424550400 103033 1992294400 134512640 135709839 4294956240 18446744073709551615 134530673 0 0 4096 3 0 0 0 17 1 0 0 /proc/11860/statm: 103650 103033 134 292 0 103355 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 414600 [startup+51.1012 s] /proc/loadavg: 1.00 0.99 0.99 2/65 11861 /proc/meminfo: memFree=1183736/2055920 swapFree=4191904/4192956 [pid=11860] ppid=11858 vsize=659156 CPUtime=51.07 /proc/11860/stat : 11860 (wbo) R 11858 11860 11557 0 -1 4194304 165191 0 0 0 5022 85 0 0 25 0 1 0 187894020 674975744 164276 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/11860/statm: 164789 164276 136 292 0 164494 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 659156 [startup+102.306 s] /proc/loadavg: 1.00 0.99 0.99 2/65 11861 /proc/meminfo: memFree=1129080/2055920 swapFree=4191904/4192956 [pid=11860] ppid=11858 vsize=712572 CPUtime=102.25 /proc/11860/stat : 11860 (wbo) R 11858 11860 11557 0 -1 4194304 178535 0 0 0 10114 111 0 0 25 0 1 0 187894020 729673728 177620 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 1 0 0 /proc/11860/statm: 178143 177620 136 292 0 177848 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 712572 [startup+162.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 11861 /proc/meminfo: memFree=1080824/2055920 swapFree=4191904/4192956 [pid=11860] ppid=11858 vsize=761080 CPUtime=162.23 /proc/11860/stat : 11860 (wbo) R 11858 11860 11557 0 -1 4194304 190668 0 0 0 16084 139 0 0 25 0 1 0 187894020 779345920 189753 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11860/statm: 190270 189753 136 292 0 189975 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 761080 [startup+222.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 11861 /proc/meminfo: memFree=1013624/2055920 swapFree=4191904/4192956 [pid=11860] ppid=11858 vsize=827824 CPUtime=222.21 /proc/11860/stat : 11860 (wbo) R 11858 11860 11557 0 -1 4194304 207303 0 0 0 22054 167 0 0 25 0 1 0 187894020 847691776 206388 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11860/statm: 206956 206388 136 292 0 206661 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 827824 [startup+282.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 11861 /proc/meminfo: memFree=1011704/2055920 swapFree=4191904/4192956 [pid=11860] ppid=11858 vsize=830068 CPUtime=282.18 /proc/11860/stat : 11860 (wbo) R 11858 11860 11557 0 -1 4194304 207890 0 0 0 28038 180 0 0 25 0 1 0 187894020 849989632 206975 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/11860/statm: 207517 206975 136 292 0 207222 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 830068 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 11861 /proc/meminfo: memFree=969080/2055920 swapFree=4191904/4192956 [pid=11860] ppid=11858 vsize=872052 CPUtime=342.16 /proc/11860/stat : 11860 (wbo) R 11858 11860 11557 0 -1 4194304 218519 0 0 0 34013 203 0 0 25 0 1 0 187894020 892981248 217482 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11860/statm: 218013 217482 136 292 0 217718 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 872052 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 11861 /proc/meminfo: memFree=921464/2055920 swapFree=4191904/4192956 [pid=11860] ppid=11858 vsize=920248 CPUtime=402.14 /proc/11860/stat : 11860 (wbo) R 11858 11860 11557 0 -1 4194304 230531 0 0 0 39986 228 0 0 25 0 1 0 187894020 942333952 229494 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11860/statm: 230062 229494 136 292 0 229767 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 920248 [startup+462.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 11861 /proc/meminfo: memFree=873016/2055920 swapFree=4191904/4192956 [pid=11860] ppid=11858 vsize=968556 CPUtime=462.12 /proc/11860/stat : 11860 (wbo) R 11858 11860 11557 0 -1 4194304 242564 0 0 0 45957 255 0 0 25 0 1 0 187894020 991801344 241527 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11860/statm: 242139 241527 136 292 0 241844 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 968556 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 11861 /proc/meminfo: memFree=832248/2055920 swapFree=4191904/4192956 [pid=11860] ppid=11858 vsize=1009660 CPUtime=522.1 /proc/11860/stat : 11860 (wbo) R 11858 11860 11557 0 -1 4194304 252836 0 0 0 51932 278 0 0 25 0 1 0 187894020 1033891840 251799 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11860/statm: 252415 251799 136 292 0 252120 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 1009660 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 11863 /proc/meminfo: memFree=792888/2055920 swapFree=4191904/4192956 [pid=11860] ppid=11858 vsize=1048612 CPUtime=582.08 /proc/11860/stat : 11860 (wbo) R 11858 11860 11557 0 -1 4194304 262564 0 0 0 57904 304 0 0 25 0 1 0 187894020 1073778688 261527 1992294400 134512640 135709839 4294956240 18446744073709551615 134583733 0 0 4096 3 0 0 0 17 1 0 0 /proc/11860/statm: 262153 261527 136 292 0 261858 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 1048612 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 11863 /proc/meminfo: memFree=767992/2055920 swapFree=4191904/4192956 [pid=11860] ppid=11858 vsize=1072868 CPUtime=642.06 /proc/11860/stat : 11860 (wbo) R 11858 11860 11557 0 -1 4194304 268831 0 0 0 63877 329 0 0 25 0 1 0 187894020 1098616832 267671 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11860/statm: 268217 267671 136 292 0 267922 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 1072868 [startup+702.303 s] /proc/loadavg: 1.00 0.99 0.99 2/65 11863 /proc/meminfo: memFree=725944/2055920 swapFree=4191904/4192956 [pid=11860] ppid=11858 vsize=1115184 CPUtime=702.03 /proc/11860/stat : 11860 (wbo) R 11858 11860 11557 0 -1 4194304 279360 0 0 0 69850 353 0 0 25 0 1 0 187894020 1141948416 278200 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/11860/statm: 278796 278200 136 292 0 278501 0 Current children cumulated CPU time (s) 702.03 Current children cumulated vsize (KiB) 1115184 [startup+762.306 s] /proc/loadavg: 1.00 0.99 0.99 2/65 11863 /proc/meminfo: memFree=679928/2055920 swapFree=4191904/4192956 [pid=11860] ppid=11858 vsize=1161132 CPUtime=762.02 /proc/11860/stat : 11860 (wbo) R 11858 11860 11557 0 -1 4194304 290811 0 0 0 75826 376 0 0 25 0 1 0 187894020 1188999168 289651 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/11860/statm: 290283 289651 136 292 0 289988 0 Current children cumulated CPU time (s) 762.02 Current children cumulated vsize (KiB) 1161132 [startup+822.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 11863 /proc/meminfo: memFree=640760/2055920 swapFree=4191904/4192956 [pid=11860] ppid=11858 vsize=1200548 CPUtime=821.99 /proc/11860/stat : 11860 (wbo) R 11858 11860 11557 0 -1 4194304 300632 0 0 0 81804 395 0 0 25 0 1 0 187894020 1229361152 299472 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11860/statm: 300137 299472 136 292 0 299842 0 Current children cumulated CPU time (s) 821.99 Current children cumulated vsize (KiB) 1200548 [startup+882.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 11863 /proc/meminfo: memFree=575864/2055920 swapFree=4191904/4192956 [pid=11860] ppid=11858 vsize=1265228 CPUtime=881.97 /proc/11860/stat : 11860 (wbo) R 11858 11860 11557 0 -1 4194304 316768 0 0 0 87779 418 0 0 25 0 1 0 187894020 1295593472 315608 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11860/statm: 316307 315608 136 292 0 316012 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 1265228 [startup+942.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 11863 /proc/meminfo: memFree=537784/2055920 swapFree=4191904/4192956 [pid=11860] ppid=11858 vsize=1303568 CPUtime=941.95 /proc/11860/stat : 11860 (wbo) R 11858 11860 11557 0 -1 4194304 326323 0 0 0 93761 434 0 0 25 0 1 0 187894020 1334853632 325163 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11860/statm: 325892 325163 136 292 0 325597 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 1303568 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 11863 /proc/meminfo: memFree=465976/2055920 swapFree=4191904/4192956 [pid=11860] ppid=11858 vsize=1375124 CPUtime=1001.93 /proc/11860/stat : 11860 (wbo) R 11858 11860 11557 0 -1 4194304 344186 0 0 0 99737 456 0 0 25 0 1 0 187894020 1408126976 343026 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11860/statm: 343781 343026 136 292 0 343486 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 1375124 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 11863 /proc/meminfo: memFree=420856/2055920 swapFree=4191904/4192956 [pid=11860] ppid=11858 vsize=1420600 CPUtime=1061.9 /proc/11860/stat : 11860 (wbo) R 11858 11860 11557 0 -1 4194304 355543 0 0 0 105716 474 0 0 25 0 1 0 187894020 1454694400 354383 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/11860/statm: 355150 354383 136 292 0 354855 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 1420600 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 11863 /proc/meminfo: memFree=355448/2055920 swapFree=4191904/4192956 [pid=11860] ppid=11858 vsize=1485840 CPUtime=1121.88 /proc/11860/stat : 11860 (wbo) R 11858 11860 11557 0 -1 4194304 371801 0 0 0 111696 492 0 0 25 0 1 0 187894020 1521500160 370641 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/11860/statm: 371460 370641 136 292 0 371165 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 1485840 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 11869 /proc/meminfo: memFree=300536/2055920 swapFree=4191904/4192956 [pid=11860] ppid=11858 vsize=1541000 CPUtime=1181.86 /proc/11860/stat : 11860 (wbo) R 11858 11860 11557 0 -1 4194304 385573 0 0 0 117673 513 0 0 25 0 1 0 187894020 1577984000 384413 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/11860/statm: 385250 384413 136 292 0 384955 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 1541000 [startup+1242.3 s] /proc/loadavg: 1.04 1.00 1.00 2/65 12345 /proc/meminfo: memFree=245872/2055920 swapFree=4191904/4192956 [pid=11860] ppid=11858 vsize=1594980 CPUtime=1241.79 /proc/11860/stat : 11860 (wbo) R 11858 11860 11557 0 -1 4194304 399063 0 0 0 123647 532 0 0 25 0 1 0 187894020 1633259520 397903 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/11860/statm: 398745 397903 136 292 0 398450 0 Current children cumulated CPU time (s) 1241.79 Current children cumulated vsize (KiB) 1594980 [startup+1302.3 s] /proc/loadavg: 1.01 1.00 1.00 2/65 12345 /proc/meminfo: memFree=177072/2055920 swapFree=4191904/4192956 [pid=11860] ppid=11858 vsize=1663460 CPUtime=1301.78 /proc/11860/stat : 11860 (wbo) R 11858 11860 11557 0 -1 4194304 416155 0 0 0 129624 554 0 0 25 0 1 0 187894020 1703383040 414995 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/11860/statm: 415865 414995 136 292 0 415570 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 1663460 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12345 /proc/meminfo: memFree=127664/2055920 swapFree=4191904/4192956 [pid=11860] ppid=11858 vsize=1713500 CPUtime=1361.76 /proc/11860/stat : 11860 (wbo) R 11858 11860 11557 0 -1 4194304 428640 0 0 0 135606 570 0 0 25 0 1 0 187894020 1754624000 427480 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0 /proc/11860/statm: 428375 427480 136 292 0 428080 0 Current children cumulated CPU time (s) 1361.76 Current children cumulated vsize (KiB) 1713500 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12345 /proc/meminfo: memFree=55024/2055920 swapFree=4191904/4192956 [pid=11860] ppid=11858 vsize=1785396 CPUtime=1421.73 /proc/11860/stat : 11860 (wbo) R 11858 11860 11557 0 -1 4194304 446626 0 0 0 141581 592 0 0 25 0 1 0 187894020 1828245504 445466 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 1 0 0 /proc/11860/statm: 446349 445466 136 292 0 446054 0 Current children cumulated CPU time (s) 1421.73 Current children cumulated vsize (KiB) 1785396 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12345 /proc/meminfo: memFree=15216/2055920 swapFree=4191904/4192956 [pid=11860] ppid=11858 vsize=1836332 CPUtime=1481.7 /proc/11860/stat : 11860 (wbo) R 11858 11860 11557 0 -1 4194304 459339 0 0 0 147562 608 0 0 25 0 1 0 187894020 1880403968 458179 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11860/statm: 459083 458179 136 292 0 458788 0 Current children cumulated CPU time (s) 1481.7 Current children cumulated vsize (KiB) 1836332 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1492.4 s] /proc/loadavg: 1.08 1.02 1.01 2/65 12345 /proc/meminfo: memFree=15864/2055920 swapFree=4188244/4192956 [pid=11860] ppid=11858 vsize=1843236 CPUtime=1491.8 /proc/11860/stat : 11860 (wbo) R 11858 11860 11557 0 -1 4194304 461052 0 0 0 148570 610 0 0 25 0 1 0 187894020 1887473664 459892 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/11860/statm: 460809 459892 136 292 0 460514 0 Current children cumulated CPU time (s) 1491.8 Current children cumulated vsize (KiB) 1843236 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1492.6 s] /proc/loadavg: 1.08 1.02 1.01 2/66 12346 /proc/meminfo: memFree=1269284/2055920 swapFree=4188244/4192956 [pid=11860] ppid=11858 vsize=0 CPUtime=1492 /proc/11860/stat : 11860 (wbo) R 11858 11860 11557 0 -1 4195332 461052 0 0 0 148570 630 0 0 25 0 1 0 187894020 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/11860/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1492 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1492.69 CPU time (s): 1492.1 CPU user time (s): 1485.7 CPU system time (s): 6.39103 CPU usage (%): 99.9601 Max. virtual memory (cumulated for all children) (KiB): 1843236 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1485.7 system time used= 6.39103 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 461052 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 2760 runsolver used 1.42578 second user time and 2.78358 second system time The end
Begin job on node7 at 2009-06-17 03:42:11 IDJOB=1875369 IDBENCH=48209 IDSOLVER=698 FILE ID=node7/1875369-1245202931 PBS_JOBID= 9368318 Free space on /tmp= 66272 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_2.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-1875369-1245202931/watcher-1875369-1245202931 -o /tmp/evaluation-result-1875369-1245202931/solver-1875369-1245202931 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875369-1245202931.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1af848a7208b60f67c27d4022c7b5abe RANDOM SEED=1605031192 node7.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.274 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.274 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: 1842208 kB Buffers: 53948 kB Cached: 90748 kB SwapCached: 416 kB Active: 61004 kB Inactive: 97140 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1842208 kB SwapTotal: 4192956 kB SwapFree: 4191904 kB Dirty: 2812 kB Writeback: 0 kB Mapped: 21828 kB Slab: 41476 kB Committed_AS: 174448 kB PageTables: 1444 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-1875369-1245202931.opb Free space on /tmp at the end= 66268 MiB End job on node7 at 2009-06-17 04:07:07