| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.0 | ? (MO) | 1786.4 | 1786.99 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_3.opb |
| MD5SUM | d487c80c335f688d99ca29b5d7c254e0 |
| 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 | -125 |
| 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 | -125 |
| 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 | 47 |
| 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) | 31622 |
| Sum of products size (including duplicates) | 63244 |
| Number of different products | 15811 |
| Sum of products size | 31622 |
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-1875359-1245202037.opb. 0.00/0.00 c Instance file HOME/instance-1875359-1245202037.opb 0.00/0.00 c File size is 1377691 bytes. 0.19/0.21 c Highest Coefficient sum: 47 0.19/0.21 c ============================[ Problem Statistics ]============================= 0.19/0.21 c | | 0.19/0.21 c | Parsing time: 0.21 s | 0.19/0.21 c | Number Variables: 16811 | 0.19/0.21 c | Number Clauses: 16811 | 0.19/0.21 c | Number Cardinality: 2000 | 0.19/0.21 c | Number PB Constraints: 15811 | 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.205968 s Remaining CPU time: 1799.79 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.253961 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.307953 s Remaining CPU time: 1799.69 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.362944 s Remaining CPU time: 1799.64 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.416936 s Remaining CPU time: 1799.58 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.475927 s Remaining CPU time: 1799.52 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.537918 s Remaining CPU time: 1799.46 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.595909 s Remaining CPU time: 1799.4 s 0.59/0.68 c core #9 0.59/0.68 c Core size: 4 Core Weight: 1 Total Weight: -991 0.59/0.68 c Elapsed CPU time: 0.658899 s Remaining CPU time: 1799.34 s 0.69/0.74 c core #10 0.69/0.74 c Core size: 4 Core Weight: 1 Total Weight: -990 0.69/0.74 c Elapsed CPU time: 0.72289 s Remaining CPU time: 1799.28 s 0.79/0.81 c core #11 0.79/0.81 c Core size: 4 Core Weight: 1 Total Weight: -989 0.79/0.81 c Elapsed CPU time: 0.78688 s Remaining CPU time: 1799.21 s 0.79/0.87 c core #12 0.79/0.87 c Core size: 4 Core Weight: 1 Total Weight: -988 0.79/0.87 c Elapsed CPU time: 0.847871 s Remaining CPU time: 1799.15 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.912861 s Remaining CPU time: 1799.09 s 0.89/1.00 c core #14 0.89/1.00 c Core size: 4 Core Weight: 1 Total Weight: -986 0.89/1.00 c Elapsed CPU time: 0.974851 s Remaining CPU time: 1799.03 s 0.99/1.06 c core #15 0.99/1.06 c Core size: 4 Core Weight: 1 Total Weight: -985 0.99/1.06 c Elapsed CPU time: 1.03884 s Remaining CPU time: 1798.96 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.10083 s Remaining CPU time: 1798.9 s 1.09/1.19 c core #17 1.09/1.19 c Core size: 4 Core Weight: 1 Total Weight: -983 1.09/1.19 c Elapsed CPU time: 1.16482 s Remaining CPU time: 1798.84 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.22781 s Remaining CPU time: 1798.77 s 1.29/1.32 c core #19 1.29/1.32 c Core size: 4 Core Weight: 1 Total Weight: -981 1.29/1.32 c Elapsed CPU time: 1.2918 s Remaining CPU time: 1798.71 s 1.29/1.38 c core #20 1.29/1.38 c Core size: 4 Core Weight: 1 Total Weight: -980 1.29/1.38 c Elapsed CPU time: 1.35479 s Remaining CPU time: 1798.65 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.41778 s Remaining CPU time: 1798.58 s 1.49/1.51 c core #22 1.49/1.51 c Core size: 4 Core Weight: 1 Total Weight: -978 1.49/1.51 c Elapsed CPU time: 1.48177 s Remaining CPU time: 1798.52 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.54476 s Remaining CPU time: 1798.46 s 1.59/1.64 c core #24 1.59/1.64 c Core size: 4 Core Weight: 1 Total Weight: -976 1.59/1.64 c Elapsed CPU time: 1.60776 s Remaining CPU time: 1798.39 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.67274 s Remaining CPU time: 1798.33 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.73474 s Remaining CPU time: 1798.27 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.79573 s Remaining CPU time: 1798.2 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.85972 s Remaining CPU time: 1798.14 s 1.89/1.96 c core #29 1.89/1.96 c Core size: 4 Core Weight: 1 Total Weight: -971 1.89/1.96 c Elapsed CPU time: 1.92371 s Remaining CPU time: 1798.08 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.9897 s Remaining CPU time: 1798.01 s 1.99/2.09 c core #31 1.99/2.09 c Core size: 4 Core Weight: 1 Total Weight: -969 1.99/2.09 c Elapsed CPU time: 2.05369 s Remaining CPU time: 1797.95 s 2.09/2.15 c core #32 2.09/2.15 c Core size: 4 Core Weight: 1 Total Weight: -968 2.09/2.15 c Elapsed CPU time: 2.11868 s Remaining CPU time: 1797.88 s 2.20/2.22 c core #33 2.20/2.22 c Core size: 4 Core Weight: 1 Total Weight: -967 2.20/2.22 c Elapsed CPU time: 2.18067 s Remaining CPU time: 1797.82 s 2.20/2.28 c core #34 2.20/2.28 c Core size: 4 Core Weight: 1 Total Weight: -966 2.20/2.28 c Elapsed CPU time: 2.24166 s Remaining CPU time: 1797.76 s 2.29/2.35 c core #35 2.29/2.35 c Core size: 4 Core Weight: 1 Total Weight: -965 2.29/2.35 c Elapsed CPU time: 2.30665 s Remaining CPU time: 1797.69 s 2.39/2.41 c core #36 2.39/2.41 c Core size: 4 Core Weight: 1 Total Weight: -964 2.39/2.41 c Elapsed CPU time: 2.36764 s Remaining CPU time: 1797.63 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.43063 s Remaining CPU time: 1797.57 s 2.49/2.54 c core #38 2.49/2.54 c Core size: 4 Core Weight: 1 Total Weight: -962 2.49/2.54 c Elapsed CPU time: 2.49462 s Remaining CPU time: 1797.51 s 2.59/2.60 c core #39 2.59/2.60 c Core size: 4 Core Weight: 1 Total Weight: -961 2.59/2.60 c Elapsed CPU time: 2.55861 s Remaining CPU time: 1797.44 s 2.59/2.67 c core #40 2.59/2.67 c Core size: 4 Core Weight: 1 Total Weight: -960 2.59/2.67 c Elapsed CPU time: 2.6216 s Remaining CPU time: 1797.38 s 2.69/2.73 c core #41 2.69/2.73 c Core size: 4 Core Weight: 1 Total Weight: -959 2.69/2.73 c Elapsed CPU time: 2.68459 s Remaining CPU time: 1797.32 s 2.69/2.79 c core #42 2.69/2.79 c Core size: 4 Core Weight: 1 Total Weight: -958 2.69/2.79 c Elapsed CPU time: 2.74658 s Remaining CPU time: 1797.25 s 2.79/2.86 c core #43 2.79/2.86 c Core size: 4 Core Weight: 1 Total Weight: -957 2.79/2.86 c Elapsed CPU time: 2.81057 s Remaining CPU time: 1797.19 s 2.89/2.92 c core #44 2.89/2.92 c Core size: 4 Core Weight: 1 Total Weight: -956 2.89/2.92 c Elapsed CPU time: 2.87156 s Remaining CPU time: 1797.13 s 2.89/2.98 c core #45 2.89/2.98 c Core size: 4 Core Weight: 1 Total Weight: -955 2.89/2.98 c Elapsed CPU time: 2.93555 s Remaining CPU time: 1797.06 s 2.99/3.05 c core #46 2.99/3.05 c Core size: 4 Core Weight: 1 Total Weight: -954 2.99/3.05 c Elapsed CPU time: 2.99654 s Remaining CPU time: 1797 s 3.09/3.11 c core #47 3.09/3.11 c Core size: 4 Core Weight: 1 Total Weight: -953 3.09/3.11 c Elapsed CPU time: 3.05953 s Remaining CPU time: 1796.94 s 3.09/3.18 c core #48 3.09/3.18 c Core size: 4 Core Weight: 1 Total Weight: -952 3.09/3.18 c Elapsed CPU time: 3.12352 s Remaining CPU time: 1796.88 s 3.19/3.24 c core #49 3.19/3.24 c Core size: 4 Core Weight: 1 Total Weight: -951 3.19/3.24 c Elapsed CPU time: 3.18452 s Remaining CPU time: 1796.82 s 3.29/3.30 c core #50 3.29/3.30 c Core size: 4 Core Weight: 1 Total Weight: -950 3.29/3.30 c Elapsed CPU time: 3.24551 s Remaining CPU time: 1796.75 s 3.29/3.37 c core #51 3.29/3.37 c Core size: 4 Core Weight: 1 Total Weight: -949 3.29/3.37 c Elapsed CPU time: 3.3075 s Remaining CPU time: 1796.69 s 3.39/3.43 c core #52 3.39/3.43 c Core size: 4 Core Weight: 1 Total Weight: -948 3.39/3.43 c Elapsed CPU time: 3.36949 s Remaining CPU time: 1796.63 s 3.39/3.49 c core #53 3.39/3.49 c Core size: 4 Core Weight: 1 Total Weight: -947 3.39/3.49 c Elapsed CPU time: 3.43348 s Remaining CPU time: 1796.57 s 3.49/3.56 c core #54 3.49/3.56 c Core size: 4 Core Weight: 1 Total Weight: -946 3.49/3.56 c Elapsed CPU time: 3.49847 s Remaining CPU time: 1796.5 s 3.59/3.62 c core #55 3.59/3.62 c Core size: 4 Core Weight: 1 Total Weight: -945 3.59/3.62 c Elapsed CPU time: 3.56146 s Remaining CPU time: 1796.44 s 3.59/3.69 c core #56 3.59/3.69 c Core size: 4 Core Weight: 1 Total Weight: -944 3.59/3.69 c Elapsed CPU time: 3.62445 s Remaining CPU time: 1796.38 s 3.69/3.75 c core #57 3.69/3.75 c Core size: 4 Core Weight: 1 Total Weight: -943 3.69/3.75 c Elapsed CPU time: 3.68744 s Remaining CPU time: 1796.31 s 3.79/3.82 c core #58 3.79/3.82 c Core size: 4 Core Weight: 1 Total Weight: -942 3.79/3.82 c Elapsed CPU time: 3.74943 s Remaining CPU time: 1796.25 s 3.79/3.88 c core #59 3.79/3.88 c Core size: 4 Core Weight: 1 Total Weight: -941 3.79/3.88 c Elapsed CPU time: 3.81242 s Remaining CPU time: 1796.19 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.87341 s Remaining CPU time: 1796.13 s 3.99/4.01 c core #61 3.99/4.01 c Core size: 4 Core Weight: 1 Total Weight: -939 3.99/4.01 c Elapsed CPU time: 3.9344 s Remaining CPU time: 1796.07 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.99639 s Remaining CPU time: 1796 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.05938 s Remaining CPU time: 1795.94 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.12137 s Remaining CPU time: 1795.88 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.18536 s Remaining CPU time: 1795.81 s 4.29/4.33 c core #66 4.29/4.33 c Core size: 4 Core Weight: 1 Total Weight: -934 4.29/4.33 c Elapsed CPU time: 4.25035 s Remaining CPU time: 1795.75 s 4.29/4.39 c core #67 4.29/4.39 c Core size: 4 Core Weight: 1 Total Weight: -933 4.29/4.39 c Elapsed CPU time: 4.31034 s Remaining CPU time: 1795.69 s 4.39/4.46 c core #68 4.39/4.46 c Core size: 4 Core Weight: 1 Total Weight: -932 4.39/4.46 c Elapsed CPU time: 4.37333 s Remaining CPU time: 1795.63 s 4.49/4.52 c core #69 4.49/4.52 c Core size: 4 Core Weight: 1 Total Weight: -931 4.49/4.52 c Elapsed CPU time: 4.43933 s Remaining CPU time: 1795.56 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.50031 s Remaining CPU time: 1795.5 s 4.58/4.65 c core #71 4.58/4.65 c Core size: 4 Core Weight: 1 Total Weight: -929 4.58/4.65 c Elapsed CPU time: 4.56431 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.6283 s Remaining CPU time: 1795.37 s 4.69/4.78 c core #73 4.69/4.78 c Core size: 4 Core Weight: 1 Total Weight: -927 4.69/4.78 c Elapsed CPU time: 4.69329 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.75728 s Remaining CPU time: 1795.24 s 4.89/4.91 c core #75 4.89/4.91 c Core size: 4 Core Weight: 1 Total Weight: -925 4.89/4.91 c Elapsed CPU time: 4.82227 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.88726 s Remaining CPU time: 1795.11 s 4.99/5.05 c core #77 4.99/5.05 c Core size: 4 Core Weight: 1 Total Weight: -923 4.99/5.05 c Elapsed CPU time: 4.95125 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.01524 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.08023 s Remaining CPU time: 1794.92 s 5.18/5.24 c core #80 5.18/5.24 c Core size: 4 Core Weight: 1 Total Weight: -920 5.18/5.24 c Elapsed CPU time: 5.14322 s Remaining CPU time: 1794.86 s 5.29/5.31 c core #81 5.29/5.31 c Core size: 4 Core Weight: 1 Total Weight: -919 5.29/5.31 c Elapsed CPU time: 5.20921 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.2742 s Remaining CPU time: 1794.73 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.50 c core #84 5.49/5.50 c Core size: 4 Core Weight: 1 Total Weight: -916 5.49/5.50 c Elapsed CPU time: 5.40118 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.46917 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.53416 s Remaining CPU time: 1794.47 s 5.69/5.71 c core #87 5.69/5.71 c Core size: 4 Core Weight: 1 Total Weight: -913 5.69/5.71 c Elapsed CPU time: 5.60115 s Remaining CPU time: 1794.4 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.66814 s Remaining CPU time: 1794.33 s 5.79/5.84 c core #89 5.79/5.84 c Core size: 4 Core Weight: 1 Total Weight: -911 5.79/5.84 c Elapsed CPU time: 5.73613 s Remaining CPU time: 1794.26 s 5.89/5.91 c core #90 5.89/5.91 c Core size: 4 Core Weight: 1 Total Weight: -910 5.89/5.91 c Elapsed CPU time: 5.80412 s Remaining CPU time: 1794.2 s 5.89/5.98 c core #91 5.89/5.98 c Core size: 4 Core Weight: 1 Total Weight: -909 5.89/5.98 c Elapsed CPU time: 5.87011 s Remaining CPU time: 1794.13 s 5.98/6.04 c core #92 5.98/6.04 c Core size: 4 Core Weight: 1 Total Weight: -908 5.98/6.04 c Elapsed CPU time: 5.9341 s Remaining CPU time: 1794.07 s 6.09/6.11 c core #93 6.09/6.11 c Core size: 4 Core Weight: 1 Total Weight: -907 6.09/6.11 c Elapsed CPU time: 5.99909 s Remaining CPU time: 1794 s 6.09/6.18 c core #94 6.09/6.18 c Core size: 4 Core Weight: 1 Total Weight: -906 6.09/6.18 c Elapsed CPU time: 6.06708 s Remaining CPU time: 1793.93 s 6.19/6.24 c core #95 6.19/6.24 c Core size: 4 Core Weight: 1 Total Weight: -905 6.19/6.24 c Elapsed CPU time: 6.13007 s Remaining CPU time: 1793.87 s 6.29/6.31 c core #96 6.29/6.31 c Core size: 4 Core Weight: 1 Total Weight: -904 6.29/6.31 c Elapsed CPU time: 6.19406 s Remaining CPU time: 1793.81 s 6.29/6.37 c core #97 6.29/6.37 c Core size: 4 Core Weight: 1 Total Weight: -903 6.29/6.37 c Elapsed CPU time: 6.25605 s Remaining CPU time: 1793.74 s 6.39/6.43 c core #98 6.39/6.43 c Core size: 4 Core Weight: 1 Total Weight: -902 6.39/6.43 c Elapsed CPU time: 6.31904 s Remaining CPU time: 1793.68 s 6.39/6.50 c core #99 6.39/6.50 c Core size: 4 Core Weight: 1 Total Weight: -901 6.39/6.50 c Elapsed CPU time: 6.38303 s Remaining CPU time: 1793.62 s 6.49/6.57 c core #100 6.49/6.57 c Core size: 4 Core Weight: 1 Total Weight: -900 6.49/6.57 c Elapsed CPU time: 6.45002 s Remaining CPU time: 1793.55 s 6.59/6.63 c core #101 6.59/6.63 c Core size: 4 Core Weight: 1 Total Weight: -899 6.59/6.63 c Elapsed CPU time: 6.51401 s Remaining CPU time: 1793.49 s 6.69/6.70 c core #102 6.69/6.70 c Core size: 4 Core Weight: 1 Total Weight: -898 6.69/6.70 c Elapsed CPU time: 6.578 s Remaining CPU time: 1793.42 s 6.69/6.76 c core #103 6.69/6.76 c Core size: 4 Core Weight: 1 Total Weight: -897 6.69/6.76 c Elapsed CPU time: 6.64099 s Remaining CPU time: 1793.36 s 6.79/6.83 c core #104 6.79/6.83 c Core size: 4 Core Weight: 1 Total Weight: -896 6.79/6.83 c Elapsed CPU time: 6.70598 s Remaining CPU time: 1793.29 s 6.89/6.90 c core #105 6.89/6.90 c Core size: 4 Core Weight: 1 Total Weight: -895 6.89/6.90 c Elapsed CPU time: 6.77497 s Remaining CPU time: 1793.23 s 6.89/6.96 c core #106 6.89/6.96 c Core size: 4 Core Weight: 1 Total Weight: -894 6.89/6.96 c Elapsed CPU time: 6.83996 s Remaining CPU time: 1793.16 s 6.99/7.03 c core #107 6.99/7.03 c Core size: 4 Core Weight: 1 Total Weight: -893 6.99/7.03 c Elapsed CPU time: 6.90695 s Remaining CPU time: 1793.09 s 6.99/7.10 c core #108 6.99/7.10 c Core size: 4 Core Weight: 1 Total Weight: -892 6.99/7.10 c Elapsed CPU time: 6.97194 s Remaining CPU time: 1793.03 s 7.09/7.16 c core #109 7.09/7.16 c Core size: 4 Core Weight: 1 Total Weight: -891 7.09/7.16 c Elapsed CPU time: 7.03693 s Remaining CPU time: 1792.96 s 7.19/7.22 c core #110 7.19/7.22 c Core size: 4 Core Weight: 1 Total Weight: -890 7.19/7.22 c Elapsed CPU time: 7.10092 s Remaining CPU time: 1792.9 s 7.19/7.29 c core #111 7.19/7.29 c Core size: 4 Core Weight: 1 Total Weight: -889 7.19/7.29 c Elapsed CPU time: 7.16591 s Remaining CPU time: 1792.83 s 7.29/7.36 c core #112 7.29/7.36 c Core size: 4 Core Weight: 1 Total Weight: -888 7.29/7.36 c Elapsed CPU time: 7.2289 s Remaining CPU time: 1792.77 s 7.38/7.42 c core #113 7.38/7.42 c Core size: 4 Core Weight: 1 Total Weight: -887 7.38/7.42 c Elapsed CPU time: 7.29089 s Remaining CPU time: 1792.71 s 7.38/7.49 c core #114 7.38/7.49 c Core size: 4 Core Weight: 1 Total Weight: -886 7.38/7.49 c Elapsed CPU time: 7.35488 s Remaining CPU time: 1792.65 s 7.49/7.55 c core #115 7.49/7.55 c Core size: 4 Core Weight: 1 Total Weight: -885 7.49/7.55 c Elapsed CPU time: 7.41987 s Remaining CPU time: 1792.58 s 7.59/7.62 c core #116 7.59/7.62 c Core size: 4 Core Weight: 1 Total Weight: -884 7.59/7.62 c Elapsed CPU time: 7.48486 s Remaining CPU time: 1792.52 s 7.59/7.68 c core #117 7.59/7.68 c Core size: 4 Core Weight: 1 Total Weight: -883 7.59/7.68 c Elapsed CPU time: 7.54885 s Remaining CPU time: 1792.45 s 7.69/7.75 c core #118 7.69/7.75 c Core size: 4 Core Weight: 1 Total Weight: -882 7.69/7.75 c Elapsed CPU time: 7.61184 s Remaining CPU time: 1792.39 s 7.78/7.81 c core #119 7.78/7.81 c Core size: 4 Core Weight: 1 Total Weight: -881 7.78/7.81 c Elapsed CPU time: 7.67683 s Remaining CPU time: 1792.32 s 7.78/7.88 c core #120 7.78/7.88 c Core size: 4 Core Weight: 1 Total Weight: -880 7.78/7.88 c Elapsed CPU time: 7.73982 s Remaining CPU time: 1792.26 s 7.89/7.95 c core #121 7.89/7.95 c Core size: 4 Core Weight: 1 Total Weight: -879 7.89/7.95 c Elapsed CPU time: 7.80681 s Remaining CPU time: 1792.19 s 7.99/8.01 c core #122 7.99/8.01 c Core size: 4 Core Weight: 1 Total Weight: -878 7.99/8.01 c Elapsed CPU time: 7.8698 s Remaining CPU time: 1792.13 s 7.99/8.08 c core #123 7.99/8.08 c Core size: 4 Core Weight: 1 Total Weight: -877 7.99/8.08 c Elapsed CPU time: 7.93379 s Remaining CPU time: 1792.07 s 8.09/8.14 c core #124 8.09/8.14 c Core size: 4 Core Weight: 1 Total Weight: -876 8.09/8.14 c Elapsed CPU time: 7.99678 s Remaining CPU time: 1792 s 8.19/8.21 c core #125 8.19/8.21 c Core size: 4 Core Weight: 1 Total Weight: -875 8.19/8.21 c Elapsed CPU time: 8.06177 s Remaining CPU time: 1791.94 s 8.19/8.27 c core #126 8.19/8.27 c Core size: 4 Core Weight: 1 Total Weight: -874 8.19/8.27 c Elapsed CPU time: 8.12377 s Remaining CPU time: 1791.88 s 8.28/8.34 c core #127 8.28/8.34 c Core size: 4 Core Weight: 1 Total Weight: -873 8.28/8.34 c Elapsed CPU time: 8.18876 s Remaining CPU time: 1791.81 s 8.38/8.40 c core #128 8.38/8.40 c Core size: 4 Core Weight: 1 Total Weight: -872 8.38/8.40 c Elapsed CPU time: 8.25275 s Remaining CPU time: 1791.75 s 8.38/8.47 c core #129 8.38/8.47 c Core size: 4 Core Weight: 1 Total Weight: -871 8.38/8.47 c Elapsed CPU time: 8.31874 s Remaining CPU time: 1791.68 s 8.48/8.53 c core #130 8.48/8.53 c Core size: 4 Core Weight: 1 Total Weight: -870 8.48/8.53 c Elapsed CPU time: 8.38273 s Remaining CPU time: 1791.62 s 8.58/8.60 c core #131 8.58/8.60 c Core size: 4 Core Weight: 1 Total Weight: -869 8.58/8.60 c Elapsed CPU time: 8.44871 s Remaining CPU time: 1791.55 s 8.58/8.67 c core #132 8.58/8.67 c Core size: 4 Core Weight: 1 Total Weight: -868 8.58/8.67 c Elapsed CPU time: 8.51571 s Remaining CPU time: 1791.48 s 8.69/8.73 c core #133 8.69/8.73 c Core size: 4 Core Weight: 1 Total Weight: -867 8.69/8.73 c Elapsed CPU time: 8.58169 s Remaining CPU time: 1791.42 s 8.69/8.80 c core #134 8.69/8.80 c Core size: 4 Core Weight: 1 Total Weight: -866 8.69/8.80 c Elapsed CPU time: 8.64668 s Remaining CPU time: 1791.35 s 8.78/8.87 c core #135 8.78/8.87 c Core size: 4 Core Weight: 1 Total Weight: -865 8.78/8.87 c Elapsed CPU time: 8.71268 s Remaining CPU time: 1791.29 s 8.89/8.93 c core #136 8.89/8.93 c Core size: 4 Core Weight: 1 Total Weight: -864 8.89/8.93 c Elapsed CPU time: 8.77767 s Remaining CPU time: 1791.22 s 8.99/9.00 c core #137 8.99/9.00 c Core size: 4 Core Weight: 1 Total Weight: -863 8.99/9.00 c Elapsed CPU time: 8.84566 s Remaining CPU time: 1791.15 s 8.99/9.07 c core #138 8.99/9.07 c Core size: 4 Core Weight: 1 Total Weight: -862 8.99/9.07 c Elapsed CPU time: 8.91364 s Remaining CPU time: 1791.09 s 9.09/9.13 c core #139 9.09/9.13 c Core size: 4 Core Weight: 1 Total Weight: -861 9.09/9.14 c Elapsed CPU time: 8.97763 s Remaining CPU time: 1791.02 s 9.18/9.20 c core #140 9.18/9.20 c Core size: 4 Core Weight: 1 Total Weight: -860 9.18/9.20 c Elapsed CPU time: 9.04363 s Remaining CPU time: 1790.96 s 9.18/9.27 c core #141 9.18/9.27 c Core size: 4 Core Weight: 1 Total Weight: -859 9.18/9.27 c Elapsed CPU time: 9.10961 s Remaining CPU time: 1790.89 s 9.28/9.33 c core #142 9.28/9.33 c Core size: 4 Core Weight: 1 Total Weight: -858 9.28/9.34 c Elapsed CPU time: 9.1746 s Remaining CPU time: 1790.83 s 9.38/9.40 c core #143 9.38/9.40 c Core size: 4 Core Weight: 1 Total Weight: -857 9.38/9.40 c Elapsed CPU time: 9.2386 s Remaining CPU time: 1790.76 s 9.38/9.47 c core #144 9.38/9.47 c Core size: 4 Core Weight: 1 Total Weight: -856 9.38/9.47 c Elapsed CPU time: 9.30358 s Remaining CPU time: 1790.7 s 9.48/9.54 c core #145 9.48/9.54 c Core size: 4 Core Weight: 1 Total Weight: -855 9.48/9.54 c Elapsed CPU time: 9.37058 s Remaining CPU time: 1790.63 s 9.58/9.60 c core #146 9.58/9.60 c Core size: 4 Core Weight: 1 Total Weight: -854 9.58/9.60 c Elapsed CPU time: 9.43456 s Remaining CPU time: 1790.57 s 9.58/9.67 c core #147 9.58/9.67 c Core size: 4 Core Weight: 1 Total Weight: -853 9.58/9.67 c Elapsed CPU time: 9.50056 s Remaining CPU time: 1790.5 s 9.67/9.74 c core #148 9.67/9.74 c Core size: 4 Core Weight: 1 Total Weight: -852 9.67/9.74 c Elapsed CPU time: 9.56654 s Remaining CPU time: 1790.43 s 9.79/9.80 c core #149 9.79/9.80 c Core size: 4 Core Weight: 1 Total Weight: -851 9.79/9.80 c Elapsed CPU time: 9.63254 s Remaining CPU time: 1790.37 s 9.79/9.87 c core #150 9.79/9.87 c Core size: 4 Core Weight: 1 Total Weight: -850 9.79/9.87 c Elapsed CPU time: 9.69753 s Remaining CPU time: 1790.3 s 9.89/9.94 c core #151 9.89/9.94 c Core size: 4 Core Weight: 1 Total Weight: -849 9.89/9.94 c Elapsed CPU time: 9.76552 s Remaining CPU time: 1790.23 s 9.98/10.00 c core #152 9.98/10.00 c Core size: 4 Core Weight: 1 Total Weight: -848 9.98/10.00 c Elapsed CPU time: 9.8295 s Remaining CPU time: 1790.17 s 9.98/10.07 c core #153 9.98/10.07 c Core size: 4 Core Weight: 1 Total Weight: -847 9.98/10.07 c Elapsed CPU time: 9.8955 s Remaining CPU time: 1790.1 s 10.08/10.13 c core #154 10.08/10.13 c Core size: 4 Core Weight: 1 Total Weight: -846 10.08/10.13 c Elapsed CPU time: 9.96148 s Remaining CPU time: 1790.04 s 10.18/10.20 c core #155 10.18/10.20 c Core size: 4 Core Weight: 1 Total Weight: -845 10.18/10.20 c Elapsed CPU time: 10.0265 s Remaining CPU time: 1789.97 s 10.18/10.27 c core #156 10.18/10.27 c Core size: 4 Core Weight: 1 Total Weight: -844 10.18/10.27 c Elapsed CPU time: 10.0915 s Remaining CPU time: 1789.91 s 10.28/10.33 c core #157 10.28/10.33 c Core size: 4 Core Weight: 1 Total Weight: -843 10.28/10.33 c Elapsed CPU time: 10.1575 s Remaining CPU time: 1789.84 s 10.38/10.40 c core #158 10.38/10.40 c Core size: 4 Core Weight: 1 Total Weight: -842 10.38/10.40 c Elapsed CPU time: 10.2224 s Remaining CPU time: 1789.78 s 10.38/10.47 c core #159 10.38/10.47 c Core size: 4 Core Weight: 1 Total Weight: -841 10.38/10.47 c Elapsed CPU time: 10.2894 s Remaining CPU time: 1789.71 s 10.47/10.53 c core #160 10.47/10.53 c Core size: 4 Core Weight: 1 Total Weight: -840 10.47/10.53 c Elapsed CPU time: 10.3544 s Remaining CPU time: 1789.65 s 10.58/10.60 c core #161 10.58/10.60 c Core size: 4 Core Weight: 1 Total Weight: -839 10.58/10.60 c Elapsed CPU time: 10.4154 s Remaining CPU time: 1789.58 s 10.58/10.67 c core #162 10.58/10.67 c Core size: 4 Core Weight: 1 Total Weight: -838 10.58/10.67 c Elapsed CPU time: 10.4804 s Remaining CPU time: 1789.52 s 10.68/10.73 c core #163 10.68/10.73 c Core size: 4 Core Weight: 1 Total Weight: -837 10.68/10.73 c Elapsed CPU time: 10.5484 s Remaining CPU time: 1789.45 s 10.77/10.80 c core #164 10.77/10.80 c Core size: 4 Core Weight: 1 Total Weight: -836 10.77/10.80 c Elapsed CPU time: 10.6144 s Remaining CPU time: 1789.39 s 10.77/10.87 c core #165 10.77/10.87 c Core size: 4 Core Weight: 1 Total Weight: -835 10.77/10.87 c Elapsed CPU time: 10.6804 s Remaining CPU time: 1789.32 s 10.88/10.94 c core #166 10.88/10.94 c Core size: 4 Core Weight: 1 Total Weight: -834 10.88/10.94 c Elapsed CPU time: 10.7444 s Remaining CPU time: 1789.26 s 10.98/11.00 c core #167 10.98/11.00 c Core size: 4 Core Weight: 1 Total Weight: -833 10.98/11.00 c Elapsed CPU time: 10.8094 s Remaining CPU time: 1789.19 s 10.98/11.07 c core #168 10.98/11.07 c Core size: 4 Core Weight: 1 Total Weight: -832 10.98/11.07 c Elapsed CPU time: 10.8733 s Remaining CPU time: 1789.13 s 11.08/11.13 c core #169 11.08/11.13 c Core size: 4 Core Weight: 1 Total Weight: -831 11.08/11.13 c Elapsed CPU time: 10.9383 s Remaining CPU time: 1789.06 s 11.18/11.20 c core #170 11.18/11.20 c Core size: 4 Core Weight: 1 Total Weight: -830 11.18/11.20 c Elapsed CPU time: 11.0053 s Remaining CPU time: 1788.99 s 11.18/11.27 c core #171 11.18/11.27 c Core size: 4 Core Weight: 1 Total Weight: -829 11.18/11.27 c Elapsed CPU time: 11.0703 s Remaining CPU time: 1788.93 s 11.27/11.33 c core #172 11.27/11.33 c Core size: 4 Core Weight: 1 Total Weight: -828 11.27/11.33 c Elapsed CPU time: 11.1343 s Remaining CPU time: 1788.87 s 11.37/11.40 c core #173 11.37/11.40 c Core size: 4 Core Weight: 1 Total Weight: -827 11.37/11.40 c Elapsed CPU time: 11.1993 s Remaining CPU time: 1788.8 s 11.37/11.47 c core #174 11.37/11.47 c Core size: 4 Core Weight: 1 Total Weight: -826 11.37/11.47 c Elapsed CPU time: 11.2653 s Remaining CPU time: 1788.73 s 11.47/11.53 c core #175 11.47/11.53 c Core size: 4 Core Weight: 1 Total Weight: -825 11.47/11.53 c Elapsed CPU time: 11.3303 s Remaining CPU time: 1788.67 s 11.58/11.60 c core #176 11.58/11.60 c Core size: 4 Core Weight: 1 Total Weight: -824 11.58/11.60 c Elapsed CPU time: 11.3953 s Remaining CPU time: 1788.6 s 11.58/11.66 c core #177 11.58/11.66 c Core size: 4 Core Weight: 1 Total Weight: -823 11.58/11.66 c Elapsed CPU time: 11.4603 s Remaining CPU time: 1788.54 s 11.68/11.73 c core #178 11.68/11.73 c Core size: 4 Core Weight: 1 Total Weight: -822 11.68/11.73 c Elapsed CPU time: 11.5252 s Remaining CPU time: 1788.47 s 11.68/11.79 c core #179 11.68/11.79 c Core size: 4 Core Weight: 1 Total Weight: -821 11.68/11.79 c Elapsed CPU time: 11.5892 s Remaining CPU time: 1788.41 s 11.78/11.86 c core #180 11.78/11.86 c Core size: 4 Core Weight: 1 Total Weight: -820 11.78/11.86 c Elapsed CPU time: 11.6542 s Remaining CPU time: 1788.35 s 11.88/11.93 c core #181 11.88/11.93 c Core size: 4 Core Weight: 1 Total Weight: -819 11.88/11.93 c Elapsed CPU time: 11.7202 s Remaining CPU time: 1788.28 s 11.88/11.99 c core #182 11.88/11.99 c Core size: 4 Core Weight: 1 Total Weight: -818 11.88/11.99 c Elapsed CPU time: 11.7832 s Remaining CPU time: 1788.22 s 11.98/12.06 c core #183 11.98/12.06 c Core size: 4 Core Weight: 1 Total Weight: -817 11.98/12.06 c Elapsed CPU time: 11.8492 s Remaining CPU time: 1788.15 s 12.08/12.12 c core #184 12.08/12.12 c Core size: 4 Core Weight: 1 Total Weight: -816 12.08/12.12 c Elapsed CPU time: 11.9142 s Remaining CPU time: 1788.09 s 12.08/12.19 c core #185 12.08/12.19 c Core size: 4 Core Weight: 1 Total Weight: -815 12.08/12.19 c Elapsed CPU time: 11.9802 s Remaining CPU time: 1788.02 s 12.17/12.26 c core #186 12.17/12.26 c Core size: 4 Core Weight: 1 Total Weight: -814 12.17/12.26 c Elapsed CPU time: 12.0472 s Remaining CPU time: 1787.95 s 12.28/12.33 c core #187 12.28/12.33 c Core size: 4 Core Weight: 1 Total Weight: -813 12.28/12.33 c Elapsed CPU time: 12.1132 s Remaining CPU time: 1787.89 s 12.28/12.39 c core #188 12.28/12.39 c Core size: 4 Core Weight: 1 Total Weight: -812 12.28/12.39 c Elapsed CPU time: 12.1761 s Remaining CPU time: 1787.82 s 12.37/12.46 c core #189 12.37/12.46 c Core size: 4 Core Weight: 1 Total Weight: -811 12.37/12.46 c Elapsed CPU time: 12.2421 s Remaining CPU time: 1787.76 s 12.47/12.53 c core #190 12.47/12.53 c Core size: 4 Core Weight: 1 Total Weight: -810 12.47/12.53 c Elapsed CPU time: 12.3061 s Remaining CPU time: 1787.69 s 12.47/12.60 c core #191 12.47/12.60 c Core size: 4 Core Weight: 1 Total Weight: -809 12.47/12.60 c Elapsed CPU time: 12.3731 s Remaining CPU time: 1787.63 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.4391 s Remaining CPU time: 1787.56 s 12.68/12.73 c core #193 12.68/12.73 c Core size: 4 Core Weight: 1 Total Weight: -807 12.68/12.73 c Elapsed CPU time: 12.5051 s Remaining CPU time: 1787.49 s 12.68/12.79 c core #194 12.68/12.79 c Core size: 4 Core Weight: 1 Total Weight: -806 12.68/12.79 c Elapsed CPU time: 12.5691 s Remaining CPU time: 1787.43 s 12.78/12.86 c core #195 12.78/12.86 c Core size: 4 Core Weight: 1 Total Weight: -805 12.78/12.86 c Elapsed CPU time: 12.6341 s Remaining CPU time: 1787.37 s 12.87/12.93 c core #196 12.87/12.93 c Core size: 4 Core Weight: 1 Total Weight: -804 12.87/12.93 c Elapsed CPU time: 12.7001 s Remaining CPU time: 1787.3 s 12.87/13.00 c core #197 12.87/13.00 c Core size: 4 Core Weight: 1 Total Weight: -803 12.87/13.00 c Elapsed CPU time: 12.7651 s Remaining CPU time: 1787.23 s 12.97/13.06 c core #198 12.97/13.06 c Core size: 4 Core Weight: 1 Total Weight: -802 12.97/13.06 c Elapsed CPU time: 12.828 s Remaining CPU time: 1787.17 s 13.08/13.13 c core #199 13.08/13.13 c Core size: 4 Core Weight: 1 Total Weight: -801 13.08/13.13 c Elapsed CPU time: 12.894 s Remaining CPU time: 1787.11 s 13.08/13.20 c core #200 13.08/13.20 c Core size: 4 Core Weight: 1 Total Weight: -800 13.08/13.20 c Elapsed CPU time: 12.958 s Remaining CPU time: 1787.04 s 13.18/13.26 c core #201 13.18/13.26 c Core size: 4 Core Weight: 1 Total Weight: -799 13.18/13.26 c Elapsed CPU time: 13.026 s Remaining CPU time: 1786.97 s 13.27/13.33 c core #202 13.27/13.33 c Core size: 4 Core Weight: 1 Total Weight: -798 13.27/13.33 c Elapsed CPU time: 13.092 s Remaining CPU time: 1786.91 s 13.37/13.40 c core #203 13.37/13.40 c Core size: 4 Core Weight: 1 Total Weight: -797 13.37/13.40 c Elapsed CPU time: 13.16 s Remaining CPU time: 1786.84 s 13.37/13.47 c core #204 13.37/13.47 c Core size: 4 Core Weight: 1 Total Weight: -796 13.37/13.47 c Elapsed CPU time: 13.227 s Remaining CPU time: 1786.77 s 13.47/13.53 c core #205 13.47/13.53 c Core size: 4 Core Weight: 1 Total Weight: -795 13.47/13.54 c Elapsed CPU time: 13.295 s Remaining CPU time: 1786.71 s 13.57/13.60 c core #206 13.57/13.60 c Core size: 4 Core Weight: 1 Total Weight: -794 13.57/13.60 c Elapsed CPU time: 13.361 s Remaining CPU time: 1786.64 s 13.57/13.67 c core #207 13.57/13.67 c Core size: 4 Core Weight: 1 Total Weight: -793 13.57/13.67 c Elapsed CPU time: 13.427 s Remaining CPU time: 1786.57 s 13.67/13.74 c core #208 13.67/13.74 c Core size: 4 Core Weight: 1 Total Weight: -792 13.67/13.74 c Elapsed CPU time: 13.4929 s Remaining CPU time: 1786.51 s 13.77/13.80 c core #209 13.77/13.80 c Core size: 4 Core Weight: 1 Total Weight: -791 13.77/13.80 c Elapsed CPU time: 13.5599 s Remaining CPU time: 1786.44 s 13.77/13.87 c core #210 13.77/13.87 c Core size: 4 Core Weight: 1 Total Weight: -790 13.77/13.87 c Elapsed CPU time: 13.6259 s Remaining CPU time: 1786.37 s 13.87/13.94 c core #211 13.87/13.94 c Core size: 4 Core Weight: 1 Total Weight: -789 13.87/13.94 c Elapsed CPU time: 13.6939 s Remaining CPU time: 1786.31 s 13.97/14.01 c core #212 13.97/14.01 c Core size: 4 Core Weight: 1 Total Weight: -788 13.97/14.01 c Elapsed CPU time: 13.7589 s Remaining CPU time: 1786.24 s 13.97/14.07 c core #213 13.97/14.07 c Core size: 4 Core Weight: 1 Total Weight: -787 13.97/14.07 c Elapsed CPU time: 13.8259 s Remaining CPU time: 1786.17 s 14.07/14.14 c core #214 14.07/14.14 c Core size: 4 Core Weight: 1 Total Weight: -786 14.07/14.14 c Elapsed CPU time: 13.8909 s Remaining CPU time: 1786.11 s 14.17/14.21 c core #215 14.17/14.21 c Core size: 4 Core Weight: 1 Total Weight: -785 14.17/14.21 c Elapsed CPU time: 13.9559 s Remaining CPU time: 1786.04 s 14.17/14.27 c core #216 14.17/14.27 c Core size: 4 Core Weight: 1 Total Weight: -784 14.17/14.27 c Elapsed CPU time: 14.0219 s Remaining CPU time: 1785.98 s 14.27/14.34 c core #217 14.27/14.34 c Core size: 4 Core Weight: 1 Total Weight: -783 14.27/14.34 c Elapsed CPU time: 14.0909 s Remaining CPU time: 1785.91 s 14.37/14.41 c core #218 14.37/14.41 c Core size: 4 Core Weight: 1 Total Weight: -782 14.37/14.41 c Elapsed CPU time: 14.1578 s Remaining CPU time: 1785.84 s 14.37/14.48 c core #219 14.37/14.48 c Core size: 4 Core Weight: 1 Total Weight: -781 14.37/14.48 c Elapsed CPU time: 14.2258 s Remaining CPU time: 1785.77 s 14.47/14.54 c core #220 14.47/14.54 c Core size: 4 Core Weight: 1 Total Weight: -780 14.47/14.54 c Elapsed CPU time: 14.2898 s Remaining CPU time: 1785.71 s 14.56/14.61 c core #221 14.56/14.61 c Core size: 4 Core Weight: 1 Total Weight: -779 14.56/14.61 c Elapsed CPU time: 14.3558 s Remaining CPU time: 1785.64 s 14.56/14.68 c core #222 14.56/14.68 c Core size: 4 Core Weight: 1 Total Weight: -778 14.56/14.68 c Elapsed CPU time: 14.4228 s Remaining CPU time: 1785.58 s 14.67/14.75 c core #223 14.67/14.75 c Core size: 4 Core Weight: 1 Total Weight: -777 14.67/14.75 c Elapsed CPU time: 14.4888 s Remaining CPU time: 1785.51 s 14.77/14.82 c core #224 14.77/14.82 c Core size: 4 Core Weight: 1 Total Weight: -776 14.77/14.82 c Elapsed CPU time: 14.5558 s Remaining CPU time: 1785.44 s 14.77/14.88 c core #225 14.77/14.88 c Core size: 4 Core Weight: 1 Total Weight: -775 14.77/14.88 c Elapsed CPU time: 14.6238 s Remaining CPU time: 1785.38 s 14.87/14.95 c core #226 14.87/14.95 c Core size: 4 Core Weight: 1 Total Weight: -774 14.87/14.95 c Elapsed CPU time: 14.6898 s Remaining CPU time: 1785.31 s 14.97/15.02 c core #227 14.97/15.02 c Core size: 4 Core Weight: 1 Total Weight: -773 14.97/15.02 c Elapsed CPU time: 14.7588 s Remaining CPU time: 1785.24 s 14.97/15.09 c core #228 14.97/15.09 c Core size: 4 Core Weight: 1 Total Weight: -772 14.97/15.09 c Elapsed CPU time: 14.8257 s Remaining CPU time: 1785.17 s 15.07/15.16 c core #229 15.07/15.16 c Core size: 4 Core Weight: 1 Total Weight: -771 15.07/15.16 c Elapsed CPU time: 14.8907 s Remaining CPU time: 1785.11 s 15.17/15.22 c core #230 15.17/15.22 c Core size: 4 Core Weight: 1 Total Weight: -770 15.17/15.22 c Elapsed CPU time: 14.9587 s Remaining CPU time: 1785.04 s 15.17/15.29 c core #231 15.17/15.29 c Core size: 4 Core Weight: 1 Total Weight: -769 15.17/15.29 c Elapsed CPU time: 15.0257 s Remaining CPU time: 1784.97 s 15.27/15.36 c core #232 15.27/15.36 c Core size: 4 Core Weight: 1 Total Weight: -768 15.27/15.36 c Elapsed CPU time: 15.0897 s Remaining CPU time: 1784.91 s 15.38/15.42 c core #233 15.38/15.42 c Core size: 4 Core Weight: 1 Total Weight: -767 15.38/15.42 c Elapsed CPU time: 15.1557 s Remaining CPU time: 1784.84 s 15.38/15.49 c core #234 15.38/15.49 c Core size: 4 Core Weight: 1 Total Weight: -766 15.38/15.49 c Elapsed CPU time: 15.2217 s Remaining CPU time: 1784.78 s 15.47/15.56 c core #235 15.47/15.56 c Core size: 4 Core Weight: 1 Total Weight: -765 15.47/15.56 c Elapsed CPU time: 15.2877 s Remaining CPU time: 1784.71 s 15.57/15.62 c core #236 15.57/15.62 c Core size: 4 Core Weight: 1 Total Weight: -764 15.57/15.62 c Elapsed CPU time: 15.3537 s Remaining CPU time: 1784.65 s 15.57/15.69 c core #237 15.57/15.69 c Core size: 4 Core Weight: 1 Total Weight: -763 15.57/15.69 c Elapsed CPU time: 15.4207 s Remaining CPU time: 1784.58 s 15.67/15.76 c core #238 15.67/15.76 c Core size: 4 Core Weight: 1 Total Weight: -762 15.67/15.76 c Elapsed CPU time: 15.4886 s Remaining CPU time: 1784.51 s 15.77/15.83 c core #239 15.77/15.83 c Core size: 4 Core Weight: 1 Total Weight: -761 15.77/15.83 c Elapsed CPU time: 15.5566 s Remaining CPU time: 1784.44 s 15.77/15.90 c core #240 15.77/15.90 c Core size: 4 Core Weight: 1 Total Weight: -760 15.77/15.90 c Elapsed CPU time: 15.6216 s Remaining CPU time: 1784.38 s 15.87/15.96 c core #241 15.87/15.96 c Core size: 4 Core Weight: 1 Total Weight: -759 15.87/15.96 c Elapsed CPU time: 15.6876 s Remaining CPU time: 1784.31 s 15.96/16.03 c core #242 15.96/16.03 c Core size: 4 Core Weight: 1 Total Weight: -758 15.96/16.03 c Elapsed CPU time: 15.7516 s Remaining CPU time: 1784.25 s 16.06/16.10 c core #243 16.06/16.10 c Core size: 4 Core Weight: 1 Total Weight: -757 16.06/16.10 c Elapsed CPU time: 15.8186 s Remaining CPU time: 1784.18 s 16.06/16.17 c core #244 16.06/16.17 c Core size: 4 Core Weight: 1 Total Weight: -756 16.06/16.17 c Elapsed CPU time: 15.8866 s Remaining CPU time: 1784.11 s 16.17/16.24 c core #245 16.17/16.24 c Core size: 4 Core Weight: 1 Total Weight: -755 16.17/16.24 c Elapsed CPU time: 15.9546 s Remaining CPU time: 1784.05 s 16.27/16.30 c core #246 16.27/16.30 c Core size: 4 Core Weight: 1 Total Weight: -754 16.27/16.30 c Elapsed CPU time: 16.0216 s Remaining CPU time: 1783.98 s 16.27/16.37 c core #247 16.27/16.37 c Core size: 4 Core Weight: 1 Total Weight: -753 16.27/16.37 c Elapsed CPU time: 16.0896 s Remaining CPU time: 1783.91 s 16.37/16.44 c core #248 16.37/16.44 c Core size: 4 Core Weight: 1 Total Weight: -752 16.37/16.44 c Elapsed CPU time: 16.1555 s Remaining CPU time: 1783.84 s 16.47/16.51 c core #249 16.47/16.51 c Core size: 4 Core Weight: 1 Total Weight: -751 16.47/16.51 c Elapsed CPU time: 16.2225 s Remaining CPU time: 1783.78 s 16.47/16.57 c core #250 16.47/16.57 c Core size: 4 Core Weight: 1 Total Weight: -750 16.47/16.57 c Elapsed CPU time: 16.2875 s Remaining CPU time: 1783.71 s 16.57/16.64 c core #251 16.57/16.64 c Core size: 4 Core Weight: 1 Total Weight: -749 16.57/16.64 c Elapsed CPU time: 16.3555 s Remaining CPU time: 1783.64 s 16.67/16.71 c core #252 16.67/16.71 c Core size: 4 Core Weight: 1 Total Weight: -748 16.67/16.71 c Elapsed CPU time: 16.4205 s Remaining CPU time: 1783.58 s 16.67/16.77 c core #253 16.67/16.77 c Core size: 4 Core Weight: 1 Total Weight: -747 16.67/16.77 c Elapsed CPU time: 16.4875 s Remaining CPU time: 1783.51 s 16.77/16.84 c core #254 16.77/16.84 c Core size: 4 Core Weight: 1 Total Weight: -746 16.77/16.84 c Elapsed CPU time: 16.5545 s Remaining CPU time: 1783.45 s 16.86/16.91 c core #255 16.86/16.91 c Core size: 4 Core Weight: 1 Total Weight: -745 16.86/16.91 c Elapsed CPU time: 16.6185 s Remaining CPU time: 1783.38 s 16.86/16.97 c core #256 16.86/16.97 c Core size: 4 Core Weight: 1 Total Weight: -744 16.86/16.97 c Elapsed CPU time: 16.6845 s Remaining CPU time: 1783.32 s 16.96/17.04 c core #257 16.96/17.04 c Core size: 4 Core Weight: 1 Total Weight: -743 16.96/17.04 c Elapsed CPU time: 16.7505 s Remaining CPU time: 1783.25 s 17.06/17.11 c core #258 17.06/17.11 c Core size: 4 Core Weight: 1 Total Weight: -742 17.06/17.11 c Elapsed CPU time: 16.8154 s Remaining CPU time: 1783.18 s 17.06/17.17 c core #259 17.06/17.17 c Core size: 4 Core Weight: 1 Total Weight: -741 17.06/17.17 c Elapsed CPU time: 16.8824 s Remaining CPU time: 1783.12 s 17.16/17.24 c core #260 17.16/17.24 c Core size: 4 Core Weight: 1 Total Weight: -740 17.16/17.24 c Elapsed CPU time: 16.9474 s Remaining CPU time: 1783.05 s 17.27/17.31 c core #261 17.27/17.31 c Core size: 4 Core Weight: 1 Total Weight: -739 17.27/17.31 c Elapsed CPU time: 17.0144 s Remaining CPU time: 1782.99 s 17.27/17.37 c core #262 17.27/17.37 c Core size: 4 Core Weight: 1 Total Weight: -738 17.27/17.37 c Elapsed CPU time: 17.0784 s Remaining CPU time: 1782.92 s 17.37/17.44 c core #263 17.37/17.44 c Core size: 4 Core Weight: 1 Total Weight: -737 17.37/17.44 c Elapsed CPU time: 17.1454 s Remaining CPU time: 1782.85 s 17.47/17.51 c core #264 17.47/17.51 c Core size: 4 Core Weight: 1 Total Weight: -736 17.47/17.51 c Elapsed CPU time: 17.2124 s Remaining CPU time: 1782.79 s 17.47/17.57 c core #265 17.47/17.57 c Core size: 4 Core Weight: 1 Total Weight: -735 17.47/17.57 c Elapsed CPU time: 17.2794 s Remaining CPU time: 1782.72 s 17.57/17.64 c core #266 17.57/17.64 c Core size: 4 Core Weight: 1 Total Weight: -734 17.57/17.64 c Elapsed CPU time: 17.3454 s Remaining CPU time: 1782.65 s 17.67/17.71 c core #267 17.67/17.71 c Core size: 4 Core Weight: 1 Total Weight: -733 17.67/17.71 c Elapsed CPU time: 17.4144 s Remaining CPU time: 1782.59 s 17.67/17.78 c core #268 17.67/17.78 c Core size: 4 Core Weight: 1 Total Weight: -732 17.67/17.78 c Elapsed CPU time: 17.4793 s Remaining CPU time: 1782.52 s 17.76/17.84 c core #269 17.76/17.84 c Core size: 4 Core Weight: 1 Total Weight: -731 17.76/17.84 c Elapsed CPU time: 17.5453 s Remaining CPU time: 1782.45 s 17.86/17.91 c core #270 17.86/17.91 c Core size: 4 Core Weight: 1 Total Weight: -730 17.86/17.91 c Elapsed CPU time: 17.6113 s Remaining CPU time: 1782.39 s 17.86/17.98 c core #271 17.86/17.98 c Core size: 4 Core Weight: 1 Total Weight: -729 17.86/17.98 c Elapsed CPU time: 17.6793 s Remaining CPU time: 1782.32 s 17.96/18.05 c core #272 17.96/18.05 c Core size: 4 Core Weight: 1 Total Weight: -728 17.96/18.05 c Elapsed CPU time: 17.7453 s Remaining CPU time: 1782.25 s 18.06/18.11 c core #273 18.06/18.11 c Core size: 4 Core Weight: 1 Total Weight: -727 18.06/18.11 c Elapsed CPU time: 17.8123 s Remaining CPU time: 1782.19 s 18.06/18.18 c core #274 18.06/18.18 c Core size: 4 Core Weight: 1 Total Weight: -726 18.06/18.18 c Elapsed CPU time: 17.8783 s Remaining CPU time: 1782.12 s 18.16/18.25 c core #275 18.16/18.25 c Core size: 4 Core Weight: 1 Total Weight: -725 18.16/18.25 c Elapsed CPU time: 17.9423 s Remaining CPU time: 1782.06 s 18.27/18.31 c core #276 18.27/18.31 c Core size: 4 Core Weight: 1 Total Weight: -724 18.27/18.31 c Elapsed CPU time: 18.0073 s Remaining CPU time: 1781.99 s 18.27/18.38 c core #277 18.27/18.38 c Core size: 4 Core Weight: 1 Total Weight: -723 18.27/18.38 c Elapsed CPU time: 18.0733 s Remaining CPU time: 1781.93 s 18.36/18.45 c core #278 18.36/18.45 c Core size: 4 Core Weight: 1 Total Weight: -722 18.36/18.45 c Elapsed CPU time: 18.1382 s Remaining CPU time: 1781.86 s 18.46/18.51 c core #279 18.46/18.51 c Core size: 4 Core Weight: 1 Total Weight: -721 18.46/18.51 c Elapsed CPU time: 18.2032 s Remaining CPU time: 1781.8 s 18.46/18.58 c core #280 18.46/18.58 c Core size: 4 Core Weight: 1 Total Weight: -720 18.46/18.58 c Elapsed CPU time: 18.2712 s Remaining CPU time: 1781.73 s 18.57/18.65 c core #281 18.57/18.65 c Core size: 4 Core Weight: 1 Total Weight: -719 18.57/18.65 c Elapsed CPU time: 18.3392 s Remaining CPU time: 1781.66 s 18.67/18.72 c core #282 18.67/18.72 c Core size: 4 Core Weight: 1 Total Weight: -718 18.67/18.72 c Elapsed CPU time: 18.4052 s Remaining CPU time: 1781.59 s 18.67/18.78 c core #283 18.67/18.78 c Core size: 4 Core Weight: 1 Total Weight: -717 18.67/18.78 c Elapsed CPU time: 18.4742 s Remaining CPU time: 1781.53 s 18.76/18.85 c core #284 18.76/18.85 c Core size: 4 Core Weight: 1 Total Weight: -716 18.76/18.85 c Elapsed CPU time: 18.5432 s Remaining CPU time: 1781.46 s 18.86/18.92 c core #285 18.86/18.92 c Core size: 4 Core Weight: 1 Total Weight: -715 18.86/18.92 c Elapsed CPU time: 18.6112 s Remaining CPU time: 1781.39 s 18.86/18.99 c core #286 18.86/18.99 c Core size: 4 Core Weight: 1 Total Weight: -714 18.86/18.99 c Elapsed CPU time: 18.6782 s Remaining CPU time: 1781.32 s 18.96/19.06 c core #287 18.96/19.06 c Core size: 4 Core Weight: 1 Total Weight: -713 18.96/19.06 c Elapsed CPU time: 18.7472 s Remaining CPU time: 1781.25 s 19.07/19.13 c core #288 19.07/19.13 c Core size: 4 Core Weight: 1 Total Weight: -712 19.07/19.13 c Elapsed CPU time: 18.8121 s Remaining CPU time: 1781.19 s 19.07/19.19 c core #289 19.07/19.19 c Core size: 4 Core Weight: 1 Total Weight: -711 19.07/19.19 c Elapsed CPU time: 18.8771 s Remaining CPU time: 1781.12 s 19.16/19.26 c core #290 19.16/19.26 c Core size: 4 Core Weight: 1 Total Weight: -710 19.16/19.26 c Elapsed CPU time: 18.9461 s Remaining CPU time: 1781.05 s 19.26/19.33 c core #291 19.26/19.33 c Core size: 4 Core Weight: 1 Total Weight: -709 19.26/19.33 c Elapsed CPU time: 19.0141 s Remaining CPU time: 1780.99 s 19.36/19.40 c core #292 19.36/19.40 c Core size: 4 Core Weight: 1 Total Weight: -708 19.36/19.40 c Elapsed CPU time: 19.0821 s Remaining CPU time: 1780.92 s 19.36/19.47 c core #293 19.36/19.47 c Core size: 4 Core Weight: 1 Total Weight: -707 19.36/19.47 c Elapsed CPU time: 19.1501 s Remaining CPU time: 1780.85 s 19.47/19.54 c core #294 19.47/19.54 c Core size: 4 Core Weight: 1 Total Weight: -706 19.47/19.54 c Elapsed CPU time: 19.2161 s Remaining CPU time: 1780.78 s 19.57/19.61 c core #295 19.57/19.61 c Core size: 4 Core Weight: 1 Total Weight: -705 19.57/19.61 c Elapsed CPU time: 19.2851 s Remaining CPU time: 1780.71 s 19.57/19.68 c core #296 19.57/19.68 c Core size: 4 Core Weight: 1 Total Weight: -704 19.57/19.68 c Elapsed CPU time: 19.3531 s Remaining CPU time: 1780.65 s 19.67/19.75 c core #297 19.67/19.75 c Core size: 4 Core Weight: 1 Total Weight: -703 19.67/19.75 c Elapsed CPU time: 19.421 s Remaining CPU time: 1780.58 s 19.77/19.82 c core #298 19.77/19.82 c Core size: 4 Core Weight: 1 Total Weight: -702 19.77/19.82 c Elapsed CPU time: 19.487 s Remaining CPU time: 1780.51 s 19.77/19.89 c core #299 19.77/19.89 c Core size: 4 Core Weight: 1 Total Weight: -701 19.77/19.89 c Elapsed CPU time: 19.556 s Remaining CPU time: 1780.44 s 19.86/19.95 c core #300 19.86/19.95 c Core size: 4 Core Weight: 1 Total Weight: -700 19.86/19.95 c Elapsed CPU time: 19.621 s Remaining CPU time: 1780.38 s 19.96/20.02 c core #301 19.96/20.02 c Core size: 4 Core Weight: 1 Total Weight: -699 19.96/20.02 c Elapsed CPU time: 19.689 s Remaining CPU time: 1780.31 s 19.96/20.09 c core #302 19.96/20.09 c Core size: 4 Core Weight: 1 Total Weight: -698 19.96/20.09 c Elapsed CPU time: 19.759 s Remaining CPU time: 1780.24 s 20.06/20.16 c core #303 20.06/20.16 c Core size: 4 Core Weight: 1 Total Weight: -697 20.06/20.16 c Elapsed CPU time: 19.827 s Remaining CPU time: 1780.17 s 20.16/20.23 c core #304 20.16/20.23 c Core size: 4 Core Weight: 1 Total Weight: -696 20.16/20.23 c Elapsed CPU time: 19.895 s Remaining CPU time: 1780.11 s 20.26/20.30 c core #305 20.26/20.30 c Core size: 4 Core Weight: 1 Total Weight: -695 20.26/20.30 c Elapsed CPU time: 19.961 s Remaining CPU time: 1780.04 s 20.26/20.37 c core #306 20.26/20.37 c Core size: 4 Core Weight: 1 Total Weight: -694 20.26/20.37 c Elapsed CPU time: 20.029 s Remaining CPU time: 1779.97 s 20.36/20.44 c core #307 20.36/20.44 c Core size: 4 Core Weight: 1 Total Weight: -693 20.36/20.44 c Elapsed CPU time: 20.0979 s Remaining CPU time: 1779.9 s 20.46/20.51 c core #308 20.46/20.51 c Core size: 4 Core Weight: 1 Total Weight: -692 20.46/20.51 c Elapsed CPU time: 20.1659 s Remaining CPU time: 1779.83 s 20.46/20.57 c core #309 20.46/20.57 c Core size: 4 Core Weight: 1 Total Weight: -691 20.46/20.57 c Elapsed CPU time: 20.2339 s Remaining CPU time: 1779.77 s 20.56/20.64 c core #310 20.56/20.64 c Core size: 4 Core Weight: 1 Total Weight: -690 20.56/20.64 c Elapsed CPU time: 20.3009 s Remaining CPU time: 1779.7 s 20.66/20.71 c core #311 20.66/20.71 c Core size: 4 Core Weight: 1 Total Weight: -689 20.66/20.71 c Elapsed CPU time: 20.3689 s Remaining CPU time: 1779.63 s 20.66/20.78 c core #312 20.66/20.78 c Core size: 4 Core Weight: 1 Total Weight: -688 20.66/20.78 c Elapsed CPU time: 20.4379 s Remaining CPU time: 1779.56 s 20.76/20.85 c core #313 20.76/20.85 c Core size: 4 Core Weight: 1 Total Weight: -687 20.76/20.85 c Elapsed CPU time: 20.5069 s Remaining CPU time: 1779.49 s 20.86/20.92 c core #314 20.86/20.92 c Core size: 4 Core Weight: 1 Total Weight: -686 20.86/20.92 c Elapsed CPU time: 20.5749 s Remaining CPU time: 1779.43 s 20.86/20.98 c core #315 20.86/20.98 c Core size: 4 Core Weight: 1 Total Weight: -685 20.86/20.98 c Elapsed CPU time: 20.6429 s Remaining CPU time: 1779.36 s 20.96/21.05 c core #316 20.96/21.05 c Core size: 4 Core Weight: 1 Total Weight: -684 20.96/21.05 c Elapsed CPU time: 20.7089 s Remaining CPU time: 1779.29 s 21.06/21.12 c core #317 21.06/21.12 c Core size: 4 Core Weight: 1 Total Weight: -683 21.06/21.12 c Elapsed CPU time: 20.7748 s Remaining CPU time: 1779.23 s 21.06/21.19 c core #318 21.06/21.19 c Core size: 4 Core Weight: 1 Total Weight: -682 21.06/21.19 c Elapsed CPU time: 20.8428 s Remaining CPU time: 1779.16 s 21.17/21.26 c core #319 21.17/21.26 c Core size: 4 Core Weight: 1 Total Weight: -681 21.17/21.26 c Elapsed CPU time: 20.9128 s Remaining CPU time: 1779.09 s 21.27/21.33 c core #320 21.27/21.33 c Core size: 4 Core Weight: 1 Total Weight: -680 21.27/21.33 c Elapsed CPU time: 20.9798 s Remaining CPU time: 1779.02 s 21.27/21.39 c core #321 21.27/21.39 c Core size: 4 Core Weight: 1 Total Weight: -679 21.27/21.39 c Elapsed CPU time: 21.0458 s Remaining CPU time: 1778.95 s 21.36/21.46 c core #322 21.36/21.46 c Core size: 4 Core Weight: 1 Total Weight: -678 21.36/21.46 c Elapsed CPU time: 21.1148 s Remaining CPU time: 1778.89 s 21.46/21.53 c core #323 21.46/21.53 c Core size: 4 Core Weight: 1 Total Weight: -677 21.46/21.53 c Elapsed CPU time: 21.1828 s Remaining CPU time: 1778.82 s 21.56/21.60 c core #324 21.56/21.60 c Core size: 4 Core Weight: 1 Total Weight: -676 21.56/21.60 c Elapsed CPU time: 21.2488 s Remaining CPU time: 1778.75 s 21.56/21.67 c core #325 21.56/21.67 c Core size: 4 Core Weight: 1 Total Weight: -675 21.56/21.67 c Elapsed CPU time: 21.3158 s Remaining CPU time: 1778.68 s 21.66/21.74 c core #326 21.66/21.74 c Core size: 4 Core Weight: 1 Total Weight: -674 21.66/21.74 c Elapsed CPU time: 21.3807 s Remaining CPU time: 1778.62 s 21.76/21.81 c core #327 21.76/21.81 c Core size: 4 Core Weight: 1 Total Weight: -673 21.76/21.81 c Elapsed CPU time: 21.4487 s Remaining CPU time: 1778.55 s 21.76/21.88 c core #328 21.76/21.88 c Core size: 4 Core Weight: 1 Total Weight: -672 21.76/21.88 c Elapsed CPU time: 21.5167 s Remaining CPU time: 1778.48 s 21.86/21.95 c core #329 21.86/21.95 c Core size: 4 Core Weight: 1 Total Weight: -671 21.86/21.95 c Elapsed CPU time: 21.5857 s Remaining CPU time: 1778.41 s 21.96/22.02 c core #330 21.96/22.02 c Core size: 4 Core Weight: 1 Total Weight: -670 21.96/22.02 c Elapsed CPU time: 21.6547 s Remaining CPU time: 1778.35 s 21.96/22.09 c core #331 21.96/22.09 c Core size: 4 Core Weight: 1 Total Weight: -669 21.96/22.09 c Elapsed CPU time: 21.7277 s Remaining CPU time: 1778.27 s 22.06/22.16 c core #332 22.06/22.16 c Core size: 4 Core Weight: 1 Total Weight: -668 22.06/22.16 c Elapsed CPU time: 21.7957 s Remaining CPU time: 1778.2 s 22.16/22.23 c core #333 22.16/22.23 c Core size: 4 Core Weight: 1 Total Weight: -667 22.16/22.23 c Elapsed CPU time: 21.8617 s Remaining CPU time: 1778.14 s 22.26/22.30 c core #334 22.26/22.30 c Core size: 4 Core Weight: 1 Total Weight: -666 22.26/22.30 c Elapsed CPU time: 21.9297 s Remaining CPU time: 1778.07 s 22.26/22.37 c core #335 22.26/22.37 c Core size: 4 Core Weight: 1 Total Weight: -665 22.26/22.37 c Elapsed CPU time: 21.9977 s Remaining CPU time: 1778 s 22.36/22.44 c core #336 22.36/22.44 c Core size: 4 Core Weight: 1 Total Weight: -664 22.36/22.44 c Elapsed CPU time: 22.0656 s Remaining CPU time: 1777.93 s 22.46/22.51 c core #337 22.46/22.51 c Core size: 4 Core Weight: 1 Total Weight: -663 22.46/22.51 c Elapsed CPU time: 22.1356 s Remaining CPU time: 1777.86 s 22.46/22.58 c core #338 22.46/22.58 c Core size: 4 Core Weight: 1 Total Weight: -662 22.46/22.58 c Elapsed CPU time: 22.2036 s Remaining CPU time: 1777.8 s 22.56/22.65 c core #339 22.56/22.65 c Core size: 4 Core Weight: 1 Total Weight: -661 22.56/22.65 c Elapsed CPU time: 22.2726 s Remaining CPU time: 1777.73 s 22.66/22.72 c core #340 22.66/22.72 c Core size: 4 Core Weight: 1 Total Weight: -660 22.66/22.72 c Elapsed CPU time: 22.3416 s Remaining CPU time: 1777.66 s 22.66/22.78 c core #341 22.66/22.78 c Core size: 4 Core Weight: 1 Total Weight: -659 22.66/22.78 c Elapsed CPU time: 22.4086 s Remaining CPU time: 1777.59 s 22.75/22.85 c core #342 22.75/22.85 c Core size: 4 Core Weight: 1 Total Weight: -658 22.75/22.85 c Elapsed CPU time: 22.4776 s Remaining CPU time: 1777.52 s 22.85/22.92 c core #343 22.85/22.92 c Core size: 4 Core Weight: 1 Total Weight: -657 22.85/22.92 c Elapsed CPU time: 22.5446 s Remaining CPU time: 1777.46 s 22.85/22.99 c core #344 22.85/22.99 c Core size: 4 Core Weight: 1 Total Weight: -656 22.85/22.99 c Elapsed CPU time: 22.6126 s Remaining CPU time: 1777.39 s 22.95/23.06 c core #345 22.95/23.06 c Core size: 4 Core Weight: 1 Total Weight: -655 22.95/23.06 c Elapsed CPU time: 22.6786 s Remaining CPU time: 1777.32 s 23.06/23.13 c core #346 23.06/23.13 c Core size: 4 Core Weight: 1 Total Weight: -654 23.06/23.13 c Elapsed CPU time: 22.7445 s Remaining CPU time: 1777.26 s 23.16/23.20 c core #347 23.16/23.20 c Core size: 4 Core Weight: 1 Total Weight: -653 23.16/23.20 c Elapsed CPU time: 22.8155 s Remaining CPU time: 1777.18 s 23.16/23.27 c core #348 23.16/23.27 c Core size: 4 Core Weight: 1 Total Weight: -652 23.16/23.27 c Elapsed CPU time: 22.8855 s Remaining CPU time: 1777.11 s 23.26/23.34 c core #349 23.26/23.34 c Core size: 4 Core Weight: 1 Total Weight: -651 23.26/23.34 c Elapsed CPU time: 22.9545 s Remaining CPU time: 1777.05 s 23.35/23.41 c core #350 23.35/23.41 c Core size: 4 Core Weight: 1 Total Weight: -650 23.35/23.41 c Elapsed CPU time: 23.0225 s Remaining CPU time: 1776.98 s 23.35/23.48 c core #351 23.35/23.48 c Core size: 4 Core Weight: 1 Total Weight: -649 23.35/23.48 c Elapsed CPU time: 23.0895 s Remaining CPU time: 1776.91 s 23.45/23.55 c core #352 23.45/23.55 c Core size: 4 Core Weight: 1 Total Weight: -648 23.45/23.55 c Elapsed CPU time: 23.1585 s Remaining CPU time: 1776.84 s 23.55/23.62 c core #353 23.55/23.62 c Core size: 4 Core Weight: 1 Total Weight: -647 23.55/23.62 c Elapsed CPU time: 23.2275 s Remaining CPU time: 1776.77 s 23.55/23.69 c core #354 23.55/23.69 c Core size: 4 Core Weight: 1 Total Weight: -646 23.55/23.69 c Elapsed CPU time: 23.2955 s Remaining CPU time: 1776.7 s 23.66/23.76 c core #355 23.66/23.76 c Core size: 4 Core Weight: 1 Total Weight: -645 23.66/23.76 c Elapsed CPU time: 23.3644 s Remaining CPU time: 1776.64 s 23.76/23.83 c core #356 23.76/23.83 c Core size: 4 Core Weight: 1 Total Weight: -644 23.76/23.83 c Elapsed CPU time: 23.4324 s Remaining CPU time: 1776.57 s 23.85/23.90 c core #357 23.85/23.90 c Core size: 4 Core Weight: 1 Total Weight: -643 23.85/23.90 c Elapsed CPU time: 23.5004 s Remaining CPU time: 1776.5 s 23.85/23.97 c core #358 23.85/23.97 c Core size: 4 Core Weight: 1 Total Weight: -642 23.85/23.97 c Elapsed CPU time: 23.5684 s Remaining CPU time: 1776.43 s 23.95/24.04 c core #359 23.95/24.04 c Core size: 4 Core Weight: 1 Total Weight: -641 23.95/24.04 c Elapsed CPU time: 23.6334 s Remaining CPU time: 1776.37 s 24.05/24.11 c core #360 24.05/24.11 c Core size: 4 Core Weight: 1 Total Weight: -640 24.05/24.11 c Elapsed CPU time: 23.7014 s Remaining CPU time: 1776.3 s 24.05/24.18 c core #361 24.05/24.18 c Core size: 4 Core Weight: 1 Total Weight: -639 24.05/24.18 c Elapsed CPU time: 23.7714 s Remaining CPU time: 1776.23 s 24.15/24.25 c core #362 24.15/24.25 c Core size: 4 Core Weight: 1 Total Weight: -638 24.15/24.25 c Elapsed CPU time: 23.8404 s Remaining CPU time: 1776.16 s 24.25/24.32 c core #363 24.25/24.32 c Core size: 4 Core Weight: 1 Total Weight: -637 24.25/24.32 c Elapsed CPU time: 23.9104 s Remaining CPU time: 1776.09 s 24.25/24.39 c core #364 24.25/24.39 c Core size: 4 Core Weight: 1 Total Weight: -636 24.25/24.39 c Elapsed CPU time: 23.9774 s Remaining CPU time: 1776.02 s 24.35/24.46 c core #365 24.35/24.46 c Core size: 4 Core Weight: 1 Total Weight: -635 24.35/24.46 c Elapsed CPU time: 24.0413 s Remaining CPU time: 1775.96 s 24.45/24.53 c core #366 24.45/24.53 c Core size: 4 Core Weight: 1 Total Weight: -634 24.45/24.53 c Elapsed CPU time: 24.1113 s Remaining CPU time: 1775.89 s 24.45/24.60 c core #367 24.45/24.60 c Core size: 4 Core Weight: 1 Total Weight: -633 24.45/24.60 c Elapsed CPU time: 24.1773 s Remaining CPU time: 1775.82 s 24.54/24.66 c core #368 24.54/24.66 c Core size: 4 Core Weight: 1 Total Weight: -632 24.54/24.66 c Elapsed CPU time: 24.2443 s Remaining CPU time: 1775.76 s 24.65/24.73 c core #369 24.65/24.73 c Core size: 4 Core Weight: 1 Total Weight: -631 24.65/24.73 c Elapsed CPU time: 24.3123 s Remaining CPU time: 1775.69 s 24.75/24.80 c core #370 24.75/24.80 c Core size: 4 Core Weight: 1 Total Weight: -630 24.75/24.81 c Elapsed CPU time: 24.3843 s Remaining CPU time: 1775.62 s 24.75/24.88 c core #371 24.75/24.88 c Core size: 4 Core Weight: 1 Total Weight: -629 24.75/24.88 c Elapsed CPU time: 24.4533 s Remaining CPU time: 1775.55 s 24.85/24.95 c core #372 24.85/24.95 c Core size: 4 Core Weight: 1 Total Weight: -628 24.85/24.95 c Elapsed CPU time: 24.5213 s Remaining CPU time: 1775.48 s 24.95/25.02 c core #373 24.95/25.02 c Core size: 4 Core Weight: 1 Total Weight: -627 24.95/25.02 c Elapsed CPU time: 24.5923 s Remaining CPU time: 1775.41 s 24.95/25.09 c core #374 24.95/25.09 c Core size: 4 Core Weight: 1 Total Weight: -626 24.95/25.09 c Elapsed CPU time: 24.6612 s Remaining CPU time: 1775.34 s 25.05/25.16 c core #375 25.05/25.16 c Core size: 4 Core Weight: 1 Total Weight: -625 25.05/25.16 c Elapsed CPU time: 24.7302 s Remaining CPU time: 1775.27 s 25.15/25.23 c core #376 25.15/25.23 c Core size: 4 Core Weight: 1 Total Weight: -624 25.15/25.23 c Elapsed CPU time: 24.8002 s Remaining CPU time: 1775.2 s 25.15/25.30 c core #377 25.15/25.30 c Core size: 4 Core Weight: 1 Total Weight: -623 25.15/25.30 c Elapsed CPU time: 24.8702 s Remaining CPU time: 1775.13 s 25.25/25.37 c core #378 25.25/25.37 c Core size: 4 Core Weight: 1 Total Weight: -622 25.25/25.37 c Elapsed CPU time: 24.9392 s Remaining CPU time: 1775.06 s 25.34/25.44 c core #379 25.34/25.44 c Core size: 4 Core Weight: 1 Total Weight: -621 25.34/25.44 c Elapsed CPU time: 25.0062 s Remaining CPU time: 1774.99 s 25.45/25.51 c core #380 25.45/25.51 c Core size: 4 Core Weight: 1 Total Weight: -620 25.45/25.51 c Elapsed CPU time: 25.0762 s Remaining CPU time: 1774.92 s 25.45/25.58 c core #381 25.45/25.58 c Core size: 4 Core Weight: 1 Total Weight: -619 25.45/25.58 c Elapsed CPU time: 25.1482 s Remaining CPU time: 1774.85 s 25.55/25.65 c core #382 25.55/25.65 c Core size: 4 Core Weight: 1 Total Weight: -618 25.55/25.65 c Elapsed CPU time: 25.2182 s Remaining CPU time: 1774.78 s 25.65/25.72 c core #383 25.65/25.72 c Core size: 4 Core Weight: 1 Total Weight: -617 25.65/25.72 c Elapsed CPU time: 25.2862 s Remaining CPU time: 1774.71 s 25.65/25.79 c core #384 25.65/25.79 c Core size: 4 Core Weight: 1 Total Weight: -616 25.65/25.79 c Elapsed CPU time: 25.3531 s Remaining CPU time: 1774.65 s 25.74/25.86 c core #385 25.74/25.86 c Core size: 4 Core Weight: 1 Total Weight: -615 25.74/25.86 c Elapsed CPU time: 25.4211 s Remaining CPU time: 1774.58 s 25.84/25.93 c core #386 25.84/25.93 c Core size: 4 Core Weight: 1 Total Weight: -614 25.84/25.93 c Elapsed CPU time: 25.4911 s Remaining CPU time: 1774.51 s 25.95/26.00 c core #387 25.95/26.00 c Core size: 4 Core Weight: 1 Total Weight: -613 25.95/26.00 c Elapsed CPU time: 25.5591 s Remaining CPU time: 1774.44 s 25.95/26.07 c core #388 25.95/26.07 c Core size: 4 Core Weight: 1 Total Weight: -612 25.95/26.07 c Elapsed CPU time: 25.6301 s Remaining CPU time: 1774.37 s 26.05/26.14 c core #389 26.05/26.14 c Core size: 4 Core Weight: 1 Total Weight: -611 26.05/26.14 c Elapsed CPU time: 25.6991 s Remaining CPU time: 1774.3 s 26.15/26.21 c core #390 26.15/26.21 c Core size: 4 Core Weight: 1 Total Weight: -610 26.15/26.21 c Elapsed CPU time: 25.7681 s Remaining CPU time: 1774.23 s 26.15/26.28 c core #391 26.15/26.28 c Core size: 4 Core Weight: 1 Total Weight: -609 26.15/26.28 c Elapsed CPU time: 25.8381 s Remaining CPU time: 1774.16 s 26.25/26.35 c core #392 26.25/26.35 c Core size: 4 Core Weight: 1 Total Weight: -608 26.25/26.35 c Elapsed CPU time: 25.9081 s Remaining CPU time: 1774.09 s 26.35/26.42 c core #393 26.35/26.42 c Core size: 4 Core Weight: 1 Total Weight: -607 26.35/26.42 c Elapsed CPU time: 25.977 s Remaining CPU time: 1774.02 s 26.35/26.49 c core #394 26.35/26.49 c Core size: 4 Core Weight: 1 Total Weight: -606 26.35/26.49 c Elapsed CPU time: 26.047 s Remaining CPU time: 1773.95 s 26.44/26.57 c core #395 26.44/26.57 c Core size: 4 Core Weight: 1 Total Weight: -605 26.44/26.57 c Elapsed CPU time: 26.117 s Remaining CPU time: 1773.88 s 26.54/26.64 c core #396 26.54/26.64 c Core size: 4 Core Weight: 1 Total Weight: -604 26.54/26.64 c Elapsed CPU time: 26.186 s Remaining CPU time: 1773.81 s 26.64/26.71 c core #397 26.64/26.71 c Core size: 4 Core Weight: 1 Total Weight: -603 26.64/26.71 c Elapsed CPU time: 26.258 s Remaining CPU time: 1773.74 s 26.64/26.78 c core #398 26.64/26.78 c Core size: 4 Core Weight: 1 Total Weight: -602 26.64/26.78 c Elapsed CPU time: 26.326 s Remaining CPU time: 1773.67 s 26.75/26.85 c core #399 26.75/26.85 c Core size: 4 Core Weight: 1 Total Weight: -601 26.75/26.85 c Elapsed CPU time: 26.395 s Remaining CPU time: 1773.61 s 26.85/26.92 c core #400 26.85/26.92 c Core size: 4 Core Weight: 1 Total Weight: -600 26.85/26.92 c Elapsed CPU time: 26.464 s Remaining CPU time: 1773.54 s 26.85/26.99 c core #401 26.85/26.99 c Core size: 4 Core Weight: 1 Total Weight: -599 26.85/26.99 c Elapsed CPU time: 26.533 s Remaining CPU time: 1773.47 s 26.94/27.06 c core #402 26.94/27.06 c Core size: 4 Core Weight: 1 Total Weight: -598 26.94/27.06 c Elapsed CPU time: 26.603 s Remaining CPU time: 1773.4 s 27.04/27.13 c core #403 27.04/27.13 c Core size: 4 Core Weight: 1 Total Weight: -597 27.04/27.13 c Elapsed CPU time: 26.6719 s Remaining CPU time: 1773.33 s 27.15/27.20 c core #404 27.15/27.20 c Core size: 4 Core Weight: 1 Total Weight: -596 27.15/27.20 c Elapsed CPU time: 26.7389 s Remaining CPU time: 1773.26 s 27.15/27.27 c core #405 27.15/27.27 c Core size: 4 Core Weight: 1 Total Weight: -595 27.15/27.27 c Elapsed CPU time: 26.8079 s Remaining CPU time: 1773.19 s 27.25/27.34 c core #406 27.25/27.34 c Core size: 4 Core Weight: 1 Total Weight: -594 27.25/27.34 c Elapsed CPU time: 26.8769 s Remaining CPU time: 1773.12 s 27.35/27.41 c core #407 27.35/27.41 c Core size: 4 Core Weight: 1 Total Weight: -593 27.35/27.41 c Elapsed CPU time: 26.9459 s Remaining CPU time: 1773.05 s 27.35/27.48 c core #408 27.35/27.48 c Core size: 4 Core Weight: 1 Total Weight: -592 27.35/27.48 c Elapsed CPU time: 27.0149 s Remaining CPU time: 1772.99 s 27.45/27.55 c core #409 27.45/27.55 c Core size: 4 Core Weight: 1 Total Weight: -591 27.45/27.55 c Elapsed CPU time: 27.0849 s Remaining CPU time: 1772.92 s 27.55/27.62 c core #410 27.55/27.62 c Core size: 4 Core Weight: 1 Total Weight: -590 27.55/27.62 c Elapsed CPU time: 27.1529 s Remaining CPU time: 1772.85 s 27.55/27.69 c core #411 27.55/27.69 c Core size: 4 Core Weight: 1 Total Weight: -589 27.55/27.69 c Elapsed CPU time: 27.2219 s Remaining CPU time: 1772.78 s 27.64/27.76 c core #412 27.64/27.76 c Core size: 4 Core Weight: 1 Total Weight: -588 27.64/27.76 c Elapsed CPU time: 27.2899 s Remaining CPU time: 1772.71 s 27.74/27.83 c core #413 27.74/27.83 c Core size: 4 Core Weight: 1 Total Weight: -587 27.74/27.83 c Elapsed CPU time: 27.3578 s Remaining CPU time: 1772.64 s 27.85/27.90 c core #414 27.85/27.90 c Core size: 4 Core Weight: 1 Total Weight: -586 27.85/27.90 c Elapsed CPU time: 27.4258 s Remaining CPU time: 1772.57 s 27.85/27.97 c core #415 27.85/27.97 c Core size: 4 Core Weight: 1 Total Weight: -585 27.85/27.97 c Elapsed CPU time: 27.4948 s Remaining CPU time: 1772.51 s 27.95/28.04 c core #416 27.95/28.04 c Core size: 4 Core Weight: 1 Total Weight: -584 27.95/28.04 c Elapsed CPU time: 27.5638 s Remaining CPU time: 1772.44 s 28.05/28.11 c core #417 28.05/28.11 c Core size: 4 Core Weight: 1 Total Weight: -583 28.05/28.11 c Elapsed CPU time: 27.6328 s Remaining CPU time: 1772.37 s 28.05/28.18 c core #418 28.05/28.18 c Core size: 4 Core Weight: 1 Total Weight: -582 28.05/28.18 c Elapsed CPU time: 27.7008 s Remaining CPU time: 1772.3 s 28.14/28.25 c core #419 28.14/28.25 c Core size: 4 Core Weight: 1 Total Weight: -581 28.14/28.25 c Elapsed CPU time: 27.7698 s Remaining CPU time: 1772.23 s 28.24/28.32 c core #420 28.24/28.32 c Core size: 4 Core Weight: 1 Total Weight: -580 28.24/28.32 c Elapsed CPU time: 27.8398 s Remaining CPU time: 1772.16 s 28.24/28.39 c core #421 28.24/28.39 c Core size: 4 Core Weight: 1 Total Weight: -579 28.24/28.39 c Elapsed CPU time: 27.9098 s Remaining CPU time: 1772.09 s 28.34/28.46 c core #422 28.34/28.46 c Core size: 4 Core Weight: 1 Total Weight: -578 28.34/28.46 c Elapsed CPU time: 27.9797 s Remaining CPU time: 1772.02 s 28.45/28.53 c core #423 28.45/28.53 c Core size: 4 Core Weight: 1 Total Weight: -577 28.45/28.53 c Elapsed CPU time: 28.0487 s Remaining CPU time: 1771.95 s 28.45/28.60 c core #424 28.45/28.60 c Core size: 4 Core Weight: 1 Total Weight: -576 28.45/28.60 c Elapsed CPU time: 28.1177 s Remaining CPU time: 1771.88 s 28.54/28.67 c core #425 28.54/28.67 c Core size: 4 Core Weight: 1 Total Weight: -575 28.54/28.67 c Elapsed CPU time: 28.1867 s Remaining CPU time: 1771.81 s 28.65/28.74 c core #426 28.65/28.74 c Core size: 4 Core Weight: 1 Total Weight: -574 28.65/28.74 c Elapsed CPU time: 28.2537 s Remaining CPU time: 1771.75 s 28.74/28.81 c core #427 28.74/28.81 c Core size: 4 Core Weight: 1 Total Weight: -573 28.74/28.81 c Elapsed CPU time: 28.3227 s Remaining CPU time: 1771.68 s 28.74/28.88 c core #428 28.74/28.88 c Core size: 4 Core Weight: 1 Total Weight: -572 28.74/28.88 c Elapsed CPU time: 28.3927 s Remaining CPU time: 1771.61 s 28.84/28.95 c core #429 28.84/28.95 c Core size: 4 Core Weight: 1 Total Weight: -571 28.84/28.95 c Elapsed CPU time: 28.4637 s Remaining CPU time: 1771.54 s 28.94/29.02 c core #430 28.94/29.02 c Core size: 4 Core Weight: 1 Total Weight: -570 28.94/29.02 c Elapsed CPU time: 28.5327 s Remaining CPU time: 1771.47 s 28.94/29.09 c core #431 28.94/29.09 c Core size: 4 Core Weight: 1 Total Weight: -569 28.94/29.09 c Elapsed CPU time: 28.6027 s Remaining CPU time: 1771.4 s 29.04/29.17 c core #432 29.04/29.17 c Core size: 4 Core Weight: 1 Total Weight: -568 29.04/29.17 c Elapsed CPU time: 28.6726 s Remaining CPU time: 1771.33 s 29.15/29.24 c core #433 29.15/29.24 c Core size: 4 Core Weight: 1 Total Weight: -567 29.15/29.24 c Elapsed CPU time: 28.7416 s Remaining CPU time: 1771.26 s 29.25/29.31 c core #434 29.25/29.31 c Core size: 4 Core Weight: 1 Total Weight: -566 29.25/29.31 c Elapsed CPU time: 28.8096 s Remaining CPU time: 1771.19 s 29.25/29.38 c core #435 29.25/29.38 c Core size: 4 Core Weight: 1 Total Weight: -565 29.25/29.38 c Elapsed CPU time: 28.8756 s Remaining CPU time: 1771.12 s 29.34/29.45 c core #436 29.34/29.45 c Core size: 4 Core Weight: 1 Total Weight: -564 29.34/29.45 c Elapsed CPU time: 28.9446 s Remaining CPU time: 1771.06 s 29.44/29.51 c core #437 29.44/29.51 c Core size: 4 Core Weight: 1 Total Weight: -563 29.44/29.51 c Elapsed CPU time: 29.0126 s Remaining CPU time: 1770.99 s 29.44/29.58 c core #438 29.44/29.58 c Core size: 4 Core Weight: 1 Total Weight: -562 29.44/29.58 c Elapsed CPU time: 29.0826 s Remaining CPU time: 1770.92 s 29.54/29.66 c core #439 29.54/29.66 c Core size: 4 Core Weight: 1 Total Weight: -561 29.54/29.66 c Elapsed CPU time: 29.1516 s Remaining CPU time: 1770.85 s 29.65/29.73 c core #440 29.65/29.73 c Core size: 4 Core Weight: 1 Total Weight: -560 29.65/29.73 c Elapsed CPU time: 29.2226 s Remaining CPU time: 1770.78 s 29.74/29.80 c core #441 29.74/29.80 c Core size: 4 Core Weight: 1 Total Weight: -559 29.74/29.80 c Elapsed CPU time: 29.2925 s Remaining CPU time: 1770.71 s 29.74/29.87 c core #442 29.74/29.87 c Core size: 4 Core Weight: 1 Total Weight: -558 29.74/29.87 c Elapsed CPU time: 29.3595 s Remaining CPU time: 1770.64 s 29.84/29.94 c core #443 29.84/29.94 c Core size: 4 Core Weight: 1 Total Weight: -557 29.84/29.94 c Elapsed CPU time: 29.4295 s Remaining CPU time: 1770.57 s 29.94/30.01 c core #444 29.94/30.01 c Core size: 4 Core Weight: 1 Total Weight: -556 29.94/30.01 c Elapsed CPU time: 29.4995 s Remaining CPU time: 1770.5 s 29.94/30.09 c core #445 29.94/30.09 c Core size: 4 Core Weight: 1 Total Weight: -555 29.94/30.09 c Elapsed CPU time: 29.5705 s Remaining CPU time: 1770.43 s 30.05/30.16 c core #446 30.05/30.16 c Core size: 4 Core Weight: 1 Total Weight: -554 30.05/30.16 c Elapsed CPU time: 29.6405 s Remaining CPU time: 1770.36 s 30.15/30.23 c core #447 30.15/30.23 c Core size: 4 Core Weight: 1 Total Weight: -553 30.15/30.23 c Elapsed CPU time: 29.7115 s Remaining CPU time: 1770.29 s 30.24/30.30 c core #448 30.24/30.30 c Core size: 4 Core Weight: 1 Total Weight: -552 30.24/30.30 c Elapsed CPU time: 29.7825 s Remaining CPU time: 1770.22 s 30.24/30.37 c core #449 30.24/30.37 c Core size: 4 Core Weight: 1 Total Weight: -551 30.24/30.37 c Elapsed CPU time: 29.8525 s Remaining CPU time: 1770.15 s 30.34/30.44 c core #450 30.34/30.44 c Core size: 4 Core Weight: 1 Total Weight: -550 30.34/30.44 c Elapsed CPU time: 29.9215 s Remaining CPU time: 1770.08 s 30.44/30.51 c core #451 30.44/30.51 c Core size: 4 Core Weight: 1 Total Weight: -549 30.44/30.51 c Elapsed CPU time: 29.9914 s Remaining CPU time: 1770.01 s 30.44/30.58 c core #452 30.44/30.58 c Core size: 4 Core Weight: 1 Total Weight: -548 30.44/30.58 c Elapsed CPU time: 30.0604 s Remaining CPU time: 1769.94 s 30.54/30.65 c core #453 30.54/30.65 c Core size: 4 Core Weight: 1 Total Weight: -547 30.54/30.65 c Elapsed CPU time: 30.1264 s Remaining CPU time: 1769.87 s 30.65/30.73 c core #454 30.65/30.73 c Core size: 4 Core Weight: 1 Total Weight: -546 30.65/30.73 c Elapsed CPU time: 30.1974 s Remaining CPU time: 1769.8 s 30.65/30.80 c core #455 30.65/30.80 c Core size: 4 Core Weight: 1 Total Weight: -545 30.65/30.80 c Elapsed CPU time: 30.2654 s Remaining CPU time: 1769.73 s 30.74/30.87 c core #456 30.74/30.87 c Core size: 4 Core Weight: 1 Total Weight: -544 30.74/30.87 c Elapsed CPU time: 30.3394 s Remaining CPU time: 1769.66 s 30.84/30.94 c core #457 30.84/30.94 c Core size: 4 Core Weight: 1 Total Weight: -543 30.84/30.94 c Elapsed CPU time: 30.4114 s Remaining CPU time: 1769.59 s 30.94/31.02 c core #458 30.94/31.02 c Core size: 4 Core Weight: 1 Total Weight: -542 30.94/31.02 c Elapsed CPU time: 30.4824 s Remaining CPU time: 1769.52 s 30.94/31.09 c core #459 30.94/31.09 c Core size: 4 Core Weight: 1 Total Weight: -541 30.94/31.09 c Elapsed CPU time: 30.5534 s Remaining CPU time: 1769.45 s 31.04/31.16 c core #460 31.04/31.16 c Core size: 4 Core Weight: 1 Total Weight: -540 31.04/31.16 c Elapsed CPU time: 30.6233 s Remaining CPU time: 1769.38 s 31.14/31.23 c core #461 31.14/31.23 c Core size: 4 Core Weight: 1 Total Weight: -539 31.14/31.23 c Elapsed CPU time: 30.6933 s Remaining CPU time: 1769.31 s 31.24/31.30 c core #462 31.24/31.30 c Core size: 4 Core Weight: 1 Total Weight: -538 31.24/31.30 c Elapsed CPU time: 30.7623 s Remaining CPU time: 1769.24 s 31.24/31.37 c core #463 31.24/31.37 c Core size: 4 Core Weight: 1 Total Weight: -537 31.24/31.37 c Elapsed CPU time: 30.8343 s Remaining CPU time: 1769.17 s 31.34/31.44 c core #464 31.34/31.44 c Core size: 4 Core Weight: 1 Total Weight: -536 31.34/31.44 c Elapsed CPU time: 30.9043 s Remaining CPU time: 1769.1 s 31.44/31.51 c core #465 31.44/31.51 c Core size: 4 Core Weight: 1 Total Weight: -535 31.44/31.51 c Elapsed CPU time: 30.9743 s Remaining CPU time: 1769.03 s 31.44/31.58 c core #466 31.44/31.58 c Core size: 4 Core Weight: 1 Total Weight: -534 31.44/31.58 c Elapsed CPU time: 31.0433 s Remaining CPU time: 1768.96 s 31.54/31.65 c core #467 31.54/31.65 c Core size: 4 Core Weight: 1 Total Weight: -533 31.54/31.65 c Elapsed CPU time: 31.1123 s Remaining CPU time: 1768.89 s 31.64/31.72 c core #468 31.64/31.72 c Core size: 4 Core Weight: 1 Total Weight: -532 31.64/31.72 c Elapsed CPU time: 31.1823 s Remaining CPU time: 1768.82 s 31.64/31.79 c core #469 31.64/31.79 c Core size: 4 Core Weight: 1 Total Weight: -531 31.64/31.80 c Elapsed CPU time: 31.2522 s Remaining CPU time: 1768.75 s 31.74/31.87 c core #470 31.74/31.87 c Core size: 4 Core Weight: 1 Total Weight: -530 31.74/31.87 c Elapsed CPU time: 31.3212 s Remaining CPU time: 1768.68 s 31.84/31.94 c core #471 31.84/31.94 c Core size: 4 Core Weight: 1 Total Weight: -529 31.84/31.94 c Elapsed CPU time: 31.3922 s Remaining CPU time: 1768.61 s 31.93/32.01 c core #472 31.93/32.01 c Core size: 4 Core Weight: 1 Total Weight: -528 31.93/32.01 c Elapsed CPU time: 31.4622 s Remaining CPU time: 1768.54 s 31.93/32.08 c core #473 31.93/32.08 c Core size: 4 Core Weight: 1 Total Weight: -527 31.93/32.08 c Elapsed CPU time: 31.5322 s Remaining CPU time: 1768.47 s 32.03/32.15 c core #474 32.03/32.15 c Core size: 4 Core Weight: 1 Total Weight: -526 32.03/32.15 c Elapsed CPU time: 31.6002 s Remaining CPU time: 1768.4 s 32.13/32.22 c core #475 32.13/32.22 c Core size: 4 Core Weight: 1 Total Weight: -525 32.13/32.22 c Elapsed CPU time: 31.6732 s Remaining CPU time: 1768.33 s 32.13/32.30 c core #476 32.13/32.30 c Core size: 4 Core Weight: 1 Total Weight: -524 32.13/32.30 c Elapsed CPU time: 31.7462 s Remaining CPU time: 1768.25 s 32.23/32.37 c core #477 32.23/32.37 c Core size: 4 Core Weight: 1 Total Weight: -523 32.23/32.37 c Elapsed CPU time: 31.8162 s Remaining CPU time: 1768.18 s 32.34/32.44 c core #478 32.34/32.44 c Core size: 4 Core Weight: 1 Total Weight: -522 32.34/32.44 c Elapsed CPU time: 31.8842 s Remaining CPU time: 1768.12 s 32.44/32.51 c core #479 32.44/32.51 c Core size: 4 Core Weight: 1 Total Weight: -521 32.44/32.51 c Elapsed CPU time: 31.9551 s Remaining CPU time: 1768.04 s 32.44/32.58 c core #480 32.44/32.58 c Core size: 4 Core Weight: 1 Total Weight: -520 32.44/32.58 c Elapsed CPU time: 32.0251 s Remaining CPU time: 1767.97 s 32.53/32.66 c core #481 32.53/32.66 c Core size: 4 Core Weight: 1 Total Weight: -519 32.53/32.66 c Elapsed CPU time: 32.0971 s Remaining CPU time: 1767.9 s 32.63/32.73 c core #482 32.63/32.73 c Core size: 4 Core Weight: 1 Total Weight: -518 32.63/32.73 c Elapsed CPU time: 32.1661 s Remaining CPU time: 1767.83 s 32.73/32.80 c core #483 32.73/32.80 c Core size: 4 Core Weight: 1 Total Weight: -517 32.73/32.80 c Elapsed CPU time: 32.2361 s Remaining CPU time: 1767.76 s 32.73/32.87 c core #484 32.73/32.87 c Core size: 4 Core Weight: 1 Total Weight: -516 32.73/32.87 c Elapsed CPU time: 32.3061 s Remaining CPU time: 1767.69 s 32.83/32.94 c core #485 32.83/32.94 c Core size: 9 Core Weight: 1 Total Weight: -515 32.83/32.94 c Elapsed CPU time: 32.3761 s Remaining CPU time: 1767.62 s 32.94/33.01 c core #486 32.94/33.01 c Core size: 9 Core Weight: 1 Total Weight: -514 32.94/33.01 c Elapsed CPU time: 32.4451 s Remaining CPU time: 1767.55 s 32.94/33.08 c core #487 32.94/33.08 c Core size: 9 Core Weight: 1 Total Weight: -513 32.94/33.08 c Elapsed CPU time: 32.5151 s Remaining CPU time: 1767.48 s 33.03/33.15 c core #488 33.03/33.15 c Core size: 9 Core Weight: 1 Total Weight: -512 33.03/33.15 c Elapsed CPU time: 32.585 s Remaining CPU time: 1767.41 s 33.13/33.23 c core #489 33.13/33.23 c Core size: 14 Core Weight: 1 Total Weight: -511 33.13/33.23 c Elapsed CPU time: 32.655 s Remaining CPU time: 1767.34 s 33.23/33.30 c core #490 33.23/33.30 c Core size: 8 Core Weight: 1 Total Weight: -510 33.23/33.30 c Elapsed CPU time: 32.725 s Remaining CPU time: 1767.27 s 33.23/33.37 c core #491 33.23/33.37 c Core size: 9 Core Weight: 1 Total Weight: -509 33.23/33.37 c Elapsed CPU time: 32.795 s Remaining CPU time: 1767.2 s 33.33/33.44 c core #492 33.33/33.44 c Core size: 9 Core Weight: 1 Total Weight: -508 33.33/33.44 c Elapsed CPU time: 32.865 s Remaining CPU time: 1767.13 s 33.43/33.51 c core #493 33.43/33.51 c Core size: 8 Core Weight: 1 Total Weight: -507 33.43/33.51 c Elapsed CPU time: 32.935 s Remaining CPU time: 1767.07 s 33.43/33.58 c core #494 33.43/33.58 c Core size: 9 Core Weight: 1 Total Weight: -506 33.43/33.58 c Elapsed CPU time: 33.005 s Remaining CPU time: 1767 s 33.53/33.65 c core #495 33.53/33.65 c Core size: 8 Core Weight: 1 Total Weight: -505 33.53/33.65 c Elapsed CPU time: 33.078 s Remaining CPU time: 1766.92 s 33.63/33.73 c core #496 33.63/33.73 c Core size: 14 Core Weight: 1 Total Weight: -504 33.63/33.73 c Elapsed CPU time: 33.15 s Remaining CPU time: 1766.85 s 33.73/33.80 c core #497 33.73/33.80 c Core size: 13 Core Weight: 1 Total Weight: -503 33.73/33.80 c Elapsed CPU time: 33.2169 s Remaining CPU time: 1766.78 s 33.73/33.87 c core #498 33.73/33.87 c Core size: 9 Core Weight: 1 Total Weight: -502 33.73/33.87 c Elapsed CPU time: 33.2869 s Remaining CPU time: 1766.71 s 33.83/33.94 c core #499 33.83/33.94 c Core size: 14 Core Weight: 1 Total Weight: -501 33.83/33.94 c Elapsed CPU time: 33.3589 s Remaining CPU time: 1766.64 s 33.93/34.01 c core #500 33.93/34.01 c Core size: 8 Core Weight: 1 Total Weight: -500 33.93/34.01 c Elapsed CPU time: 33.4289 s Remaining CPU time: 1766.57 s 33.93/34.09 c core #501 33.93/34.09 c Core size: 9 Core Weight: 1 Total Weight: -499 33.93/34.09 c Elapsed CPU time: 33.4989 s Remaining CPU time: 1766.5 s 34.03/34.16 c core #502 34.03/34.16 c Core size: 28 Core Weight: 1 Total Weight: -498 34.03/34.16 c Elapsed CPU time: 33.5729 s Remaining CPU time: 1766.43 s 34.13/34.23 c core #503 34.13/34.23 c Core size: 22 Core Weight: 1 Total Weight: -497 34.13/34.23 c Elapsed CPU time: 33.6399 s Remaining CPU time: 1766.36 s 34.23/34.30 c core #504 34.23/34.30 c Core size: 18 Core Weight: 1 Total Weight: -496 34.23/34.30 c Elapsed CPU time: 33.7099 s Remaining CPU time: 1766.29 s 34.23/34.37 c ============================[ Search Statistics ]============================== 34.23/34.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.23/34.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.23/34.37 c =============================================================================== 34.23/34.37 c | 0 | 2066 35126 80834 | 11708 0 nan | 0.000 % | 34.23/34.38 c =============================================================================== 34.23/34.38 c core #505 34.23/34.38 c Core size: 27 Core Weight: 1 Total Weight: -495 34.23/34.38 c Elapsed CPU time: 33.7859 s Remaining CPU time: 1766.21 s 34.33/34.44 c ============================[ Search Statistics ]============================== 34.33/34.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.33/34.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.33/34.44 c =============================================================================== 34.33/34.44 c | 0 | 2076 35127 80854 | 11709 0 nan | 0.000 % | 34.33/34.45 c =============================================================================== 34.33/34.45 c core #506 34.33/34.45 c Core size: 27 Core Weight: 1 Total Weight: -494 34.33/34.45 c Elapsed CPU time: 33.8539 s Remaining CPU time: 1766.15 s 34.43/34.52 c ============================[ Search Statistics ]============================== 34.43/34.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.43/34.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.43/34.52 c =============================================================================== 34.43/34.52 c | 0 | 2086 35128 80874 | 11709 0 nan | 0.000 % | 34.43/34.52 c =============================================================================== 34.43/34.52 c core #507 34.43/34.52 c Core size: 27 Core Weight: 1 Total Weight: -493 34.43/34.52 c Elapsed CPU time: 33.9268 s Remaining CPU time: 1766.07 s 34.43/34.59 c ============================[ Search Statistics ]============================== 34.43/34.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.43/34.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.43/34.59 c =============================================================================== 34.43/34.59 c | 0 | 2096 35129 80894 | 11709 0 nan | 0.000 % | 34.43/34.59 c =============================================================================== 34.43/34.59 c core #508 34.43/34.59 c Core size: 15 Core Weight: 1 Total Weight: -492 34.43/34.59 c Elapsed CPU time: 33.9978 s Remaining CPU time: 1766 s 34.52/34.66 c ============================[ Search Statistics ]============================== 34.52/34.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.52/34.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.52/34.66 c =============================================================================== 34.52/34.66 c | 0 | 2102 35130 80906 | 11710 0 nan | 0.000 % | 34.52/34.67 c =============================================================================== 34.52/34.67 c core #509 34.52/34.67 c Core size: 21 Core Weight: 1 Total Weight: -491 34.52/34.67 c Elapsed CPU time: 34.0698 s Remaining CPU time: 1765.93 s 34.62/34.74 c ============================[ Search Statistics ]============================== 34.62/34.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.62/34.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.62/34.74 c =============================================================================== 34.62/34.74 c | 0 | 2110 35131 80922 | 11710 0 nan | 0.000 % | 34.62/34.74 c =============================================================================== 34.62/34.74 c core #510 34.62/34.74 c Core size: 27 Core Weight: 1 Total Weight: -490 34.62/34.74 c Elapsed CPU time: 34.1438 s Remaining CPU time: 1765.86 s 34.72/34.81 c ============================[ Search Statistics ]============================== 34.72/34.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.72/34.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.72/34.81 c =============================================================================== 34.72/34.81 c | 0 | 2120 35132 80942 | 11710 0 nan | 0.000 % | 34.72/34.82 c =============================================================================== 34.72/34.82 c core #511 34.72/34.82 c Core size: 20 Core Weight: 1 Total Weight: -489 34.72/34.82 c Elapsed CPU time: 34.2168 s Remaining CPU time: 1765.78 s 34.72/34.89 c ============================[ Search Statistics ]============================== 34.72/34.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.72/34.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.72/34.89 c =============================================================================== 34.72/34.89 c | 0 | 2128 35133 80958 | 11711 0 nan | 0.000 % | 34.72/34.89 c =============================================================================== 34.72/34.89 c core #512 34.72/34.89 c Core size: 15 Core Weight: 1 Total Weight: -488 34.72/34.89 c Elapsed CPU time: 34.2868 s Remaining CPU time: 1765.71 s 34.83/34.96 c ============================[ Search Statistics ]============================== 34.83/34.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.83/34.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.83/34.96 c =============================================================================== 34.83/34.96 c | 0 | 2134 35134 80970 | 11711 0 nan | 0.000 % | 34.83/34.96 c =============================================================================== 34.83/34.97 c core #513 34.83/34.97 c Core size: 21 Core Weight: 1 Total Weight: -487 34.83/34.97 c Elapsed CPU time: 34.3588 s Remaining CPU time: 1765.64 s 34.92/35.03 c ============================[ Search Statistics ]============================== 34.92/35.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.92/35.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.92/35.03 c =============================================================================== 34.92/35.03 c | 0 | 2142 35135 80986 | 11711 0 nan | 0.000 % | 34.92/35.04 c =============================================================================== 34.92/35.04 c core #514 34.92/35.04 c Core size: 47 Core Weight: 1 Total Weight: -486 34.92/35.04 c Elapsed CPU time: 34.4328 s Remaining CPU time: 1765.57 s 35.03/35.11 c ============================[ Search Statistics ]============================== 35.03/35.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.03/35.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.03/35.11 c =============================================================================== 35.03/35.11 c | 0 | 2160 35136 81022 | 11712 0 nan | 0.000 % | 35.03/35.11 c =============================================================================== 35.03/35.11 c core #515 35.03/35.11 c Core size: 15 Core Weight: 1 Total Weight: -485 35.03/35.11 c Elapsed CPU time: 34.5028 s Remaining CPU time: 1765.5 s 35.03/35.18 c ============================[ Search Statistics ]============================== 35.03/35.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.03/35.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.03/35.18 c =============================================================================== 35.03/35.18 c | 0 | 2166 35137 81034 | 11712 0 nan | 0.000 % | 35.03/35.19 c =============================================================================== 35.03/35.19 c core #516 35.03/35.19 c Core size: 15 Core Weight: 1 Total Weight: -484 35.03/35.19 c Elapsed CPU time: 34.5737 s Remaining CPU time: 1765.43 s 35.12/35.25 c ============================[ Search Statistics ]============================== 35.12/35.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.12/35.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.12/35.25 c =============================================================================== 35.12/35.25 c | 0 | 2172 35138 81046 | 11712 0 nan | 0.000 % | 35.12/35.26 c =============================================================================== 35.12/35.26 c core #517 35.12/35.26 c Core size: 27 Core Weight: 1 Total Weight: -483 35.12/35.26 c Elapsed CPU time: 34.6457 s Remaining CPU time: 1765.35 s 35.22/35.33 c ============================[ Search Statistics ]============================== 35.22/35.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.22/35.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.22/35.33 c =============================================================================== 35.22/35.33 c | 0 | 2182 35139 81066 | 11713 0 nan | 0.000 % | 35.22/35.33 c =============================================================================== 35.22/35.33 c core #518 35.22/35.33 c Core size: 17 Core Weight: 1 Total Weight: -482 35.22/35.33 c Elapsed CPU time: 34.7167 s Remaining CPU time: 1765.28 s 35.31/35.40 c ============================[ Search Statistics ]============================== 35.31/35.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.31/35.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.31/35.40 c =============================================================================== 35.31/35.40 c | 0 | 2188 35140 81078 | 11713 0 nan | 0.000 % | 35.31/35.41 c =============================================================================== 35.31/35.41 c core #519 35.31/35.41 c Core size: 26 Core Weight: 1 Total Weight: -481 35.31/35.41 c Elapsed CPU time: 34.7897 s Remaining CPU time: 1765.21 s 35.31/35.47 c ============================[ Search Statistics ]============================== 35.31/35.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.31/35.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.31/35.47 c =============================================================================== 35.31/35.47 c | 0 | 2198 35141 81098 | 11713 0 nan | 0.000 % | 35.31/35.48 c =============================================================================== 35.31/35.48 c core #520 35.31/35.48 c Core size: 22 Core Weight: 1 Total Weight: -480 35.31/35.48 c Elapsed CPU time: 34.8597 s Remaining CPU time: 1765.14 s 35.42/35.55 c ============================[ Search Statistics ]============================== 35.42/35.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.42/35.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.42/35.55 c =============================================================================== 35.42/35.55 c | 0 | 2206 35142 81114 | 11714 0 nan | 0.000 % | 35.42/35.55 c =============================================================================== 35.42/35.55 c core #521 35.42/35.55 c Core size: 21 Core Weight: 1 Total Weight: -479 35.42/35.55 c Elapsed CPU time: 34.9307 s Remaining CPU time: 1765.07 s 35.52/35.62 c ============================[ Search Statistics ]============================== 35.52/35.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.52/35.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.52/35.62 c =============================================================================== 35.52/35.62 c | 0 | 2214 35143 81130 | 11714 0 nan | 0.000 % | 35.52/35.62 c =============================================================================== 35.52/35.63 c core #522 35.52/35.63 c Core size: 27 Core Weight: 1 Total Weight: -478 35.52/35.63 c Elapsed CPU time: 35.0027 s Remaining CPU time: 1765 s 35.52/35.69 c ============================[ Search Statistics ]============================== 35.52/35.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.52/35.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.52/35.69 c =============================================================================== 35.52/35.69 c | 0 | 2224 35144 81150 | 11714 0 nan | 0.000 % | 35.62/35.70 c =============================================================================== 35.62/35.70 c core #523 35.62/35.70 c Core size: 15 Core Weight: 1 Total Weight: -477 35.62/35.70 c Elapsed CPU time: 35.0727 s Remaining CPU time: 1764.93 s 35.62/35.77 c ============================[ Search Statistics ]============================== 35.62/35.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.62/35.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.62/35.77 c =============================================================================== 35.62/35.77 c | 0 | 2230 35145 81162 | 11715 0 nan | 0.000 % | 35.62/35.77 c =============================================================================== 35.62/35.77 c core #524 35.62/35.77 c Core size: 27 Core Weight: 1 Total Weight: -476 35.62/35.77 c Elapsed CPU time: 35.1447 s Remaining CPU time: 1764.86 s 35.71/35.84 c ============================[ Search Statistics ]============================== 35.71/35.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.71/35.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.71/35.84 c =============================================================================== 35.71/35.84 c | 0 | 2240 35146 81182 | 11715 0 nan | 0.000 % | 35.71/35.85 c =============================================================================== 35.71/35.85 c core #525 35.71/35.85 c Core size: 20 Core Weight: 1 Total Weight: -475 35.71/35.85 c Elapsed CPU time: 35.2186 s Remaining CPU time: 1764.78 s 35.82/35.91 c ============================[ Search Statistics ]============================== 35.82/35.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.82/35.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.82/35.91 c =============================================================================== 35.82/35.91 c | 0 | 2248 35147 81198 | 11715 0 nan | 0.000 % | 35.82/35.92 c =============================================================================== 35.82/35.92 c core #526 35.82/35.92 c Core size: 21 Core Weight: 1 Total Weight: -474 35.82/35.92 c Elapsed CPU time: 35.2866 s Remaining CPU time: 1764.71 s 35.82/35.99 c ============================[ Search Statistics ]============================== 35.82/35.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.82/35.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.82/35.99 c =============================================================================== 35.82/35.99 c | 0 | 2256 35148 81214 | 11716 0 nan | 0.000 % | 35.82/35.99 c =============================================================================== 35.82/35.99 c core #527 35.82/35.99 c Core size: 21 Core Weight: 1 Total Weight: -473 35.82/35.99 c Elapsed CPU time: 35.3596 s Remaining CPU time: 1764.64 s 35.92/36.06 c ============================[ Search Statistics ]============================== 35.92/36.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.92/36.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.92/36.06 c =============================================================================== 35.92/36.06 c | 0 | 2264 35149 81230 | 11716 0 nan | 0.000 % | 35.92/36.06 c =============================================================================== 35.92/36.06 c core #528 35.92/36.06 c Core size: 26 Core Weight: 1 Total Weight: -472 35.92/36.06 c Elapsed CPU time: 35.4286 s Remaining CPU time: 1764.57 s 36.01/36.13 c ============================[ Search Statistics ]============================== 36.01/36.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.01/36.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.01/36.13 c =============================================================================== 36.01/36.13 c | 0 | 2274 35150 81250 | 11716 0 nan | 0.000 % | 36.01/36.14 c =============================================================================== 36.01/36.14 c core #529 36.01/36.14 c Core size: 27 Core Weight: 1 Total Weight: -471 36.01/36.14 c Elapsed CPU time: 35.4986 s Remaining CPU time: 1764.5 s 36.12/36.21 c ============================[ Search Statistics ]============================== 36.12/36.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.12/36.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.12/36.21 c =============================================================================== 36.12/36.21 c | 0 | 2284 35151 81270 | 11717 0 nan | 0.000 % | 36.12/36.21 c =============================================================================== 36.12/36.21 c core #530 36.12/36.21 c Core size: 22 Core Weight: 1 Total Weight: -470 36.12/36.21 c Elapsed CPU time: 35.5686 s Remaining CPU time: 1764.43 s 36.12/36.28 c ============================[ Search Statistics ]============================== 36.12/36.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.12/36.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.12/36.28 c =============================================================================== 36.12/36.28 c | 0 | 2292 35152 81286 | 11717 0 nan | 0.000 % | 36.12/36.28 c =============================================================================== 36.12/36.29 c core #531 36.12/36.29 c Core size: 21 Core Weight: 1 Total Weight: -469 36.12/36.29 c Elapsed CPU time: 35.6416 s Remaining CPU time: 1764.36 s 36.22/36.35 c ============================[ Search Statistics ]============================== 36.22/36.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.22/36.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.22/36.35 c =============================================================================== 36.22/36.35 c | 0 | 2300 35153 81302 | 11717 0 nan | 0.000 % | 36.22/36.36 c =============================================================================== 36.22/36.36 c core #532 36.22/36.36 c Core size: 21 Core Weight: 1 Total Weight: -468 36.22/36.36 c Elapsed CPU time: 35.7136 s Remaining CPU time: 1764.29 s 36.32/36.43 c ============================[ Search Statistics ]============================== 36.32/36.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.32/36.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.32/36.43 c =============================================================================== 36.32/36.43 c | 0 | 2308 35154 81318 | 11718 0 nan | 0.000 % | 36.32/36.43 c =============================================================================== 36.32/36.43 c core #533 36.32/36.43 c Core size: 27 Core Weight: 1 Total Weight: -467 36.32/36.43 c Elapsed CPU time: 35.7846 s Remaining CPU time: 1764.22 s 36.41/36.50 c ============================[ Search Statistics ]============================== 36.41/36.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.41/36.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.41/36.50 c =============================================================================== 36.41/36.50 c | 0 | 2318 35155 81338 | 11718 0 nan | 0.000 % | 36.41/36.51 c =============================================================================== 36.41/36.51 c core #534 36.41/36.51 c Core size: 27 Core Weight: 1 Total Weight: -466 36.41/36.51 c Elapsed CPU time: 35.8565 s Remaining CPU time: 1764.14 s 36.41/36.58 c ============================[ Search Statistics ]============================== 36.41/36.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.41/36.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.41/36.58 c =============================================================================== 36.41/36.58 c | 0 | 2328 35156 81358 | 11718 0 nan | 0.000 % | 36.41/36.58 c =============================================================================== 36.41/36.58 c core #535 36.41/36.58 c Core size: 25 Core Weight: 1 Total Weight: -465 36.41/36.58 c Elapsed CPU time: 35.9285 s Remaining CPU time: 1764.07 s 36.51/36.65 c ============================[ Search Statistics ]============================== 36.51/36.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.51/36.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.51/36.65 c =============================================================================== 36.51/36.65 c | 0 | 2338 35157 81378 | 11719 0 nan | 0.000 % | 36.51/36.65 c =============================================================================== 36.51/36.65 c core #536 36.51/36.65 c Core size: 21 Core Weight: 1 Total Weight: -464 36.51/36.65 c Elapsed CPU time: 36.0015 s Remaining CPU time: 1764 s 36.61/36.72 c ============================[ Search Statistics ]============================== 36.61/36.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.61/36.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.61/36.72 c =============================================================================== 36.61/36.72 c | 0 | 2346 35158 81394 | 11719 0 nan | 0.000 % | 36.61/36.73 c =============================================================================== 36.61/36.73 c core #537 36.61/36.73 c Core size: 27 Core Weight: 1 Total Weight: -463 36.61/36.73 c Elapsed CPU time: 36.0725 s Remaining CPU time: 1763.93 s 36.61/36.80 c ============================[ Search Statistics ]============================== 36.61/36.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.61/36.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.61/36.80 c =============================================================================== 36.61/36.80 c | 0 | 2356 35159 81414 | 11719 0 nan | 0.000 % | 36.71/36.80 c =============================================================================== 36.71/36.80 c core #538 36.71/36.80 c Core size: 22 Core Weight: 1 Total Weight: -462 36.71/36.80 c Elapsed CPU time: 36.1465 s Remaining CPU time: 1763.85 s 36.71/36.87 c ============================[ Search Statistics ]============================== 36.71/36.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.71/36.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.71/36.87 c =============================================================================== 36.71/36.87 c | 0 | 2364 35160 81430 | 11720 0 nan | 0.000 % | 36.71/36.88 c =============================================================================== 36.71/36.88 c core #539 36.71/36.88 c Core size: 26 Core Weight: 1 Total Weight: -461 36.71/36.88 c Elapsed CPU time: 36.2195 s Remaining CPU time: 1763.78 s 36.81/36.94 c ============================[ Search Statistics ]============================== 36.81/36.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.81/36.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.81/36.94 c =============================================================================== 36.81/36.94 c | 0 | 2374 35161 81450 | 11720 0 nan | 0.000 % | 36.81/36.95 c =============================================================================== 36.81/36.95 c core #540 36.81/36.95 c Core size: 21 Core Weight: 1 Total Weight: -460 36.81/36.95 c Elapsed CPU time: 36.2905 s Remaining CPU time: 1763.71 s 36.91/37.02 c ============================[ Search Statistics ]============================== 36.91/37.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.91/37.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.91/37.02 c =============================================================================== 36.91/37.02 c | 0 | 2382 35162 81466 | 11720 0 nan | 0.000 % | 36.91/37.02 c =============================================================================== 36.91/37.02 c core #541 36.91/37.02 c Core size: 25 Core Weight: 1 Total Weight: -459 36.91/37.02 c Elapsed CPU time: 36.3625 s Remaining CPU time: 1763.64 s 36.91/37.09 c ============================[ Search Statistics ]============================== 36.91/37.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.91/37.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.91/37.09 c =============================================================================== 36.91/37.09 c | 0 | 2392 35163 81486 | 11721 0 nan | 0.000 % | 36.91/37.10 c =============================================================================== 37.01/37.10 c core #542 37.01/37.10 c Core size: 27 Core Weight: 1 Total Weight: -458 37.01/37.10 c Elapsed CPU time: 36.4355 s Remaining CPU time: 1763.56 s 37.01/37.17 c ============================[ Search Statistics ]============================== 37.01/37.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.01/37.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.01/37.17 c =============================================================================== 37.01/37.17 c | 0 | 2402 35164 81506 | 11721 0 nan | 0.000 % | 37.01/37.17 c =============================================================================== 37.01/37.17 c core #543 37.01/37.17 c Core size: 26 Core Weight: 1 Total Weight: -457 37.01/37.17 c Elapsed CPU time: 36.5104 s Remaining CPU time: 1763.49 s 37.11/37.24 c ============================[ Search Statistics ]============================== 37.11/37.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.11/37.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.11/37.24 c =============================================================================== 37.11/37.24 c | 0 | 2412 35165 81526 | 11721 0 nan | 0.000 % | 37.11/37.25 c =============================================================================== 37.11/37.25 c core #544 37.11/37.25 c Core size: 22 Core Weight: 1 Total Weight: -456 37.11/37.25 c Elapsed CPU time: 36.5814 s Remaining CPU time: 1763.42 s 37.21/37.31 c ============================[ Search Statistics ]============================== 37.21/37.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.21/37.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.21/37.31 c =============================================================================== 37.21/37.31 c | 0 | 2420 35166 81542 | 11722 0 nan | 0.000 % | 37.21/37.32 c =============================================================================== 37.21/37.32 c core #545 37.21/37.32 c Core size: 31 Core Weight: 1 Total Weight: -455 37.21/37.32 c Elapsed CPU time: 36.6534 s Remaining CPU time: 1763.35 s 37.21/37.39 c ============================[ Search Statistics ]============================== 37.21/37.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.21/37.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.21/37.39 c =============================================================================== 37.21/37.39 c | 0 | 2432 35167 81566 | 11722 0 nan | 0.000 % | 37.21/37.39 c =============================================================================== 37.21/37.39 c core #546 37.21/37.39 c Core size: 27 Core Weight: 1 Total Weight: -454 37.21/37.39 c Elapsed CPU time: 36.7244 s Remaining CPU time: 1763.28 s 37.31/37.46 c ============================[ Search Statistics ]============================== 37.31/37.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.31/37.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.31/37.46 c =============================================================================== 37.31/37.46 c | 0 | 2442 35168 81586 | 11722 0 nan | 0.000 % | 37.31/37.47 c =============================================================================== 37.31/37.47 c core #547 37.31/37.47 c Core size: 27 Core Weight: 1 Total Weight: -453 37.31/37.47 c Elapsed CPU time: 36.7984 s Remaining CPU time: 1763.2 s 37.41/37.54 c ============================[ Search Statistics ]============================== 37.41/37.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.41/37.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.41/37.54 c =============================================================================== 37.41/37.54 c | 0 | 2452 35169 81606 | 11723 0 nan | 0.000 % | 37.41/37.54 c =============================================================================== 37.41/37.55 c core #548 37.41/37.55 c Core size: 27 Core Weight: 1 Total Weight: -452 37.41/37.55 c Elapsed CPU time: 36.8734 s Remaining CPU time: 1763.13 s 37.51/37.62 c ============================[ Search Statistics ]============================== 37.51/37.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.51/37.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.51/37.62 c =============================================================================== 37.51/37.62 c | 0 | 2462 35170 81626 | 11723 0 nan | 0.000 % | 37.51/37.62 c =============================================================================== 37.51/37.62 c core #549 37.51/37.62 c Core size: 27 Core Weight: 1 Total Weight: -451 37.51/37.62 c Elapsed CPU time: 36.9484 s Remaining CPU time: 1763.05 s 37.51/37.69 c ============================[ Search Statistics ]============================== 37.51/37.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.51/37.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.51/37.69 c =============================================================================== 37.51/37.69 c | 0 | 2472 35171 81646 | 11723 0 nan | 0.000 % | 37.51/37.69 c =============================================================================== 37.51/37.70 c core #550 37.51/37.70 c Core size: 25 Core Weight: 1 Total Weight: -450 37.51/37.70 c Elapsed CPU time: 37.0194 s Remaining CPU time: 1762.98 s 37.61/37.76 c ============================[ Search Statistics ]============================== 37.61/37.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.61/37.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.61/37.76 c =============================================================================== 37.61/37.76 c | 0 | 2482 35172 81666 | 11724 0 nan | 0.000 % | 37.61/37.77 c =============================================================================== 37.61/37.77 c core #551 37.61/37.77 c Core size: 22 Core Weight: 1 Total Weight: -449 37.61/37.77 c Elapsed CPU time: 37.0934 s Remaining CPU time: 1762.91 s 37.71/37.84 c ============================[ Search Statistics ]============================== 37.71/37.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.71/37.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.71/37.84 c =============================================================================== 37.71/37.84 c | 0 | 2490 35173 81682 | 11724 0 nan | 0.000 % | 37.71/37.85 c =============================================================================== 37.71/37.85 c core #552 37.71/37.85 c Core size: 27 Core Weight: 1 Total Weight: -448 37.71/37.85 c Elapsed CPU time: 37.1703 s Remaining CPU time: 1762.83 s 37.81/37.91 c ============================[ Search Statistics ]============================== 37.81/37.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.81/37.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.81/37.92 c =============================================================================== 37.81/37.92 c | 0 | 2500 35174 81702 | 11724 0 nan | 0.000 % | 37.81/37.92 c =============================================================================== 37.81/37.92 c core #553 37.81/37.92 c Core size: 27 Core Weight: 1 Total Weight: -447 37.81/37.92 c Elapsed CPU time: 37.2423 s Remaining CPU time: 1762.76 s 37.81/37.99 c ============================[ Search Statistics ]============================== 37.81/37.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.81/37.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.81/37.99 c =============================================================================== 37.81/37.99 c | 0 | 2510 35175 81722 | 11725 0 nan | 0.000 % | 37.81/37.99 c =============================================================================== 37.81/38.00 c core #554 37.81/38.00 c Core size: 20 Core Weight: 1 Total Weight: -446 37.81/38.00 c Elapsed CPU time: 37.3163 s Remaining CPU time: 1762.68 s 37.90/38.06 c ============================[ Search Statistics ]============================== 37.90/38.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.90/38.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.90/38.06 c =============================================================================== 37.90/38.06 c | 0 | 2518 35176 81738 | 11725 0 nan | 0.000 % | 37.90/38.07 c =============================================================================== 37.90/38.07 c core #555 37.90/38.07 c Core size: 16 Core Weight: 1 Total Weight: -445 37.90/38.07 c Elapsed CPU time: 37.3873 s Remaining CPU time: 1762.61 s 38.00/38.14 c ============================[ Search Statistics ]============================== 38.00/38.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.00/38.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.00/38.14 c =============================================================================== 38.00/38.14 c | 0 | 2524 35177 81750 | 11725 0 nan | 0.000 % | 38.00/38.14 c =============================================================================== 38.00/38.15 c core #556 38.00/38.15 c Core size: 21 Core Weight: 1 Total Weight: -444 38.00/38.15 c Elapsed CPU time: 37.4603 s Remaining CPU time: 1762.54 s 38.11/38.22 c ============================[ Search Statistics ]============================== 38.11/38.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.11/38.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.11/38.22 c =============================================================================== 38.11/38.22 c | 0 | 2532 35178 81766 | 11726 0 nan | 0.000 % | 38.11/38.22 c =============================================================================== 38.11/38.22 c core #557 38.11/38.22 c Core size: 26 Core Weight: 1 Total Weight: -443 38.11/38.22 c Elapsed CPU time: 37.5343 s Remaining CPU time: 1762.47 s 38.11/38.29 c ============================[ Search Statistics ]============================== 38.11/38.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.11/38.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.11/38.29 c =============================================================================== 38.11/38.29 c | 0 | 2542 35179 81786 | 11726 0 nan | 0.000 % | 38.11/38.30 c =============================================================================== 38.20/38.30 c core #558 38.20/38.30 c Core size: 32 Core Weight: 1 Total Weight: -442 38.20/38.30 c Elapsed CPU time: 37.6073 s Remaining CPU time: 1762.39 s 38.20/38.37 c ============================[ Search Statistics ]============================== 38.20/38.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.20/38.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.20/38.37 c =============================================================================== 38.20/38.37 c | 0 | 2554 35180 81810 | 11726 0 nan | 0.000 % | 38.20/38.37 c =============================================================================== 38.20/38.37 c core #559 38.20/38.37 c Core size: 22 Core Weight: 1 Total Weight: -441 38.20/38.37 c Elapsed CPU time: 37.6833 s Remaining CPU time: 1762.32 s 38.30/38.45 c ============================[ Search Statistics ]============================== 38.30/38.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.30/38.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.30/38.45 c =============================================================================== 38.30/38.45 c | 0 | 2562 35181 81826 | 11727 0 nan | 0.000 % | 38.30/38.45 c =============================================================================== 38.30/38.45 c core #560 38.30/38.45 c Core size: 20 Core Weight: 1 Total Weight: -440 38.30/38.45 c Elapsed CPU time: 37.7543 s Remaining CPU time: 1762.25 s 38.40/38.52 c ============================[ Search Statistics ]============================== 38.40/38.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.40/38.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.40/38.52 c =============================================================================== 38.40/38.52 c | 0 | 2570 35182 81842 | 11727 0 nan | 0.000 % | 38.40/38.53 c =============================================================================== 38.40/38.53 c core #561 38.40/38.53 c Core size: 22 Core Weight: 1 Total Weight: -439 38.40/38.53 c Elapsed CPU time: 37.8302 s Remaining CPU time: 1762.17 s 38.40/38.60 c ============================[ Search Statistics ]============================== 38.40/38.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.40/38.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.40/38.60 c =============================================================================== 38.49/38.60 c | 0 | 2578 35183 81858 | 11727 0 nan | 0.000 % | 38.49/38.60 c =============================================================================== 38.49/38.60 c core #562 38.49/38.60 c Core size: 28 Core Weight: 1 Total Weight: -438 38.49/38.60 c Elapsed CPU time: 37.9022 s Remaining CPU time: 1762.1 s 38.49/38.67 c ============================[ Search Statistics ]============================== 38.49/38.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.49/38.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.49/38.67 c =============================================================================== 38.49/38.67 c | 0 | 2588 35184 81878 | 11728 0 nan | 0.000 % | 38.49/38.68 c =============================================================================== 38.49/38.68 c core #563 38.49/38.68 c Core size: 32 Core Weight: 1 Total Weight: -437 38.49/38.68 c Elapsed CPU time: 37.9792 s Remaining CPU time: 1762.02 s 38.60/38.75 c ============================[ Search Statistics ]============================== 38.60/38.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.60/38.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.60/38.75 c =============================================================================== 38.60/38.75 c | 0 | 2600 35185 81902 | 11728 0 nan | 0.000 % | 38.60/38.75 c =============================================================================== 38.60/38.76 c core #564 38.60/38.76 c Core size: 27 Core Weight: 1 Total Weight: -436 38.60/38.76 c Elapsed CPU time: 38.0522 s Remaining CPU time: 1761.95 s 38.70/38.82 c ============================[ Search Statistics ]============================== 38.70/38.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.70/38.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.70/38.82 c =============================================================================== 38.70/38.82 c | 0 | 2610 35186 81922 | 11728 0 nan | 0.000 % | 38.70/38.83 c =============================================================================== 38.70/38.83 c core #565 38.70/38.83 c Core size: 31 Core Weight: 1 Total Weight: -435 38.70/38.83 c Elapsed CPU time: 38.1272 s Remaining CPU time: 1761.87 s 38.80/38.90 c ============================[ Search Statistics ]============================== 38.80/38.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.80/38.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.80/38.90 c =============================================================================== 38.80/38.90 c | 0 | 2622 35187 81946 | 11729 0 nan | 0.000 % | 38.80/38.90 c =============================================================================== 38.80/38.90 c core #566 38.80/38.90 c Core size: 27 Core Weight: 1 Total Weight: -434 38.80/38.90 c Elapsed CPU time: 38.2012 s Remaining CPU time: 1761.8 s 38.80/38.97 c ============================[ Search Statistics ]============================== 38.80/38.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.80/38.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.80/38.97 c =============================================================================== 38.80/38.97 c | 0 | 2632 35188 81966 | 11729 0 nan | 0.000 % | 38.80/38.98 c =============================================================================== 38.80/38.98 c core #567 38.80/38.98 c Core size: 27 Core Weight: 1 Total Weight: -433 38.80/38.98 c Elapsed CPU time: 38.2752 s Remaining CPU time: 1761.72 s 38.90/39.05 c ============================[ Search Statistics ]============================== 38.90/39.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.90/39.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.90/39.05 c =============================================================================== 38.90/39.05 c | 0 | 2642 35189 81986 | 11729 0 nan | 0.000 % | 38.90/39.05 c =============================================================================== 38.90/39.06 c core #568 38.90/39.06 c Core size: 15 Core Weight: 1 Total Weight: -432 38.90/39.06 c Elapsed CPU time: 38.3482 s Remaining CPU time: 1761.65 s 38.99/39.13 c ============================[ Search Statistics ]============================== 38.99/39.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.99/39.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.99/39.13 c =============================================================================== 38.99/39.13 c | 0 | 2648 35190 81998 | 11730 0 nan | 0.000 % | 38.99/39.13 c =============================================================================== 38.99/39.13 c core #569 38.99/39.13 c Core size: 20 Core Weight: 1 Total Weight: -431 38.99/39.13 c Elapsed CPU time: 38.4232 s Remaining CPU time: 1761.58 s 39.09/39.20 c ============================[ Search Statistics ]============================== 39.09/39.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.09/39.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.09/39.20 c =============================================================================== 39.09/39.20 c | 0 | 2656 35191 82014 | 11730 0 nan | 0.000 % | 39.09/39.21 c =============================================================================== 39.09/39.21 c core #570 39.09/39.21 c Core size: 21 Core Weight: 1 Total Weight: -430 39.09/39.21 c Elapsed CPU time: 38.4951 s Remaining CPU time: 1761.5 s 39.09/39.28 c ============================[ Search Statistics ]============================== 39.09/39.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.09/39.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.09/39.28 c =============================================================================== 39.09/39.28 c | 0 | 2664 35192 82030 | 11730 0 nan | 0.000 % | 39.09/39.28 c =============================================================================== 39.09/39.28 c core #571 39.09/39.28 c Core size: 26 Core Weight: 1 Total Weight: -429 39.09/39.28 c Elapsed CPU time: 38.5691 s Remaining CPU time: 1761.43 s 39.20/39.35 c ============================[ Search Statistics ]============================== 39.20/39.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.20/39.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.20/39.35 c =============================================================================== 39.20/39.35 c | 0 | 2674 35193 82050 | 11731 0 nan | 0.000 % | 39.20/39.36 c =============================================================================== 39.20/39.36 c core #572 39.20/39.36 c Core size: 26 Core Weight: 1 Total Weight: -428 39.20/39.36 c Elapsed CPU time: 38.6381 s Remaining CPU time: 1761.36 s 39.29/39.43 c ============================[ Search Statistics ]============================== 39.29/39.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.29/39.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.29/39.43 c =============================================================================== 39.29/39.43 c | 0 | 2684 35194 82070 | 11731 0 nan | 0.000 % | 39.29/39.43 c =============================================================================== 39.29/39.43 c core #573 39.29/39.43 c Core size: 22 Core Weight: 1 Total Weight: -427 39.29/39.43 c Elapsed CPU time: 38.7101 s Remaining CPU time: 1761.29 s 39.39/39.50 c ============================[ Search Statistics ]============================== 39.39/39.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.39/39.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.39/39.50 c =============================================================================== 39.39/39.50 c | 0 | 2692 35195 82086 | 11731 0 nan | 0.000 % | 39.39/39.51 c =============================================================================== 39.39/39.51 c core #574 39.39/39.51 c Core size: 26 Core Weight: 1 Total Weight: -426 39.39/39.51 c Elapsed CPU time: 38.7861 s Remaining CPU time: 1761.21 s 39.39/39.58 c ============================[ Search Statistics ]============================== 39.39/39.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.39/39.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.39/39.58 c =============================================================================== 39.39/39.58 c | 0 | 2702 35196 82106 | 11732 0 nan | 0.000 % | 39.39/39.58 c =============================================================================== 39.39/39.58 c core #575 39.39/39.58 c Core size: 27 Core Weight: 1 Total Weight: -425 39.39/39.58 c Elapsed CPU time: 38.8611 s Remaining CPU time: 1761.14 s 39.49/39.65 c ============================[ Search Statistics ]============================== 39.49/39.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.49/39.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.49/39.65 c =============================================================================== 39.49/39.65 c | 0 | 2712 35197 82126 | 11732 0 nan | 0.000 % | 39.49/39.66 c =============================================================================== 39.49/39.66 c core #576 39.49/39.66 c Core size: 26 Core Weight: 1 Total Weight: -424 39.49/39.66 c Elapsed CPU time: 38.9341 s Remaining CPU time: 1761.07 s 39.59/39.73 c ============================[ Search Statistics ]============================== 39.59/39.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.59/39.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.59/39.73 c =============================================================================== 39.59/39.73 c | 0 | 2722 35198 82146 | 11732 0 nan | 0.000 % | 39.59/39.73 c =============================================================================== 39.59/39.74 c core #577 39.59/39.74 c Core size: 21 Core Weight: 1 Total Weight: -423 39.59/39.74 c Elapsed CPU time: 39.0101 s Remaining CPU time: 1760.99 s 39.69/39.81 c ============================[ Search Statistics ]============================== 39.69/39.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.69/39.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.69/39.81 c =============================================================================== 39.69/39.81 c | 0 | 2730 35199 82162 | 11733 0 nan | 0.000 % | 39.69/39.81 c =============================================================================== 39.69/39.81 c core #578 39.69/39.81 c Core size: 31 Core Weight: 1 Total Weight: -422 39.69/39.81 c Elapsed CPU time: 39.0841 s Remaining CPU time: 1760.92 s 39.69/39.88 c ============================[ Search Statistics ]============================== 39.69/39.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.69/39.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.69/39.88 c =============================================================================== 39.69/39.88 c | 0 | 2742 35200 82186 | 11733 0 nan | 0.000 % | 39.69/39.89 c =============================================================================== 39.69/39.89 c core #579 39.69/39.89 c Core size: 37 Core Weight: 1 Total Weight: -421 39.69/39.89 c Elapsed CPU time: 39.161 s Remaining CPU time: 1760.84 s 39.78/39.96 c ============================[ Search Statistics ]============================== 39.78/39.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.78/39.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.78/39.96 c =============================================================================== 39.78/39.96 c | 0 | 2756 35201 82214 | 11733 0 nan | 0.000 % | 39.78/39.96 c =============================================================================== 39.78/39.97 c core #580 39.78/39.97 c Core size: 32 Core Weight: 1 Total Weight: -420 39.78/39.97 c Elapsed CPU time: 39.237 s Remaining CPU time: 1760.76 s 39.89/40.04 c ============================[ Search Statistics ]============================== 39.89/40.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.89/40.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.89/40.04 c =============================================================================== 39.89/40.04 c | 0 | 2768 35202 82238 | 11734 0 nan | 0.000 % | 39.89/40.04 c =============================================================================== 39.89/40.04 c core #581 39.89/40.04 c Core size: 32 Core Weight: 1 Total Weight: -419 39.89/40.04 c Elapsed CPU time: 39.31 s Remaining CPU time: 1760.69 s 39.99/40.11 c ============================[ Search Statistics ]============================== 39.99/40.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.99/40.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.99/40.11 c =============================================================================== 39.99/40.11 c | 0 | 2780 35203 82262 | 11734 0 nan | 0.000 % | 39.99/40.12 c =============================================================================== 39.99/40.12 c core #582 39.99/40.12 c Core size: 63 Core Weight: 1 Total Weight: -418 39.99/40.12 c Elapsed CPU time: 39.384 s Remaining CPU time: 1760.62 s 39.99/40.19 c ============================[ Search Statistics ]============================== 39.99/40.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.99/40.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.99/40.19 c =============================================================================== 39.99/40.19 c | 0 | 2804 35204 82310 | 11734 0 nan | 0.000 % | 39.99/40.19 c =============================================================================== 39.99/40.19 c core #583 39.99/40.19 c Core size: 32 Core Weight: 1 Total Weight: -417 39.99/40.19 c Elapsed CPU time: 39.46 s Remaining CPU time: 1760.54 s 40.09/40.26 c ============================[ Search Statistics ]============================== 40.09/40.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.09/40.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.09/40.26 c =============================================================================== 40.09/40.26 c | 0 | 2816 35205 82334 | 11735 0 nan | 0.000 % | 40.09/40.27 c =============================================================================== 40.09/40.27 c core #584 40.09/40.27 c Core size: 32 Core Weight: 1 Total Weight: -416 40.09/40.27 c Elapsed CPU time: 39.535 s Remaining CPU time: 1760.47 s 40.19/40.34 c ============================[ Search Statistics ]============================== 40.19/40.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.19/40.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.19/40.34 c =============================================================================== 40.19/40.34 c | 0 | 2828 35206 82358 | 11735 0 nan | 0.000 % | 40.19/40.35 c =============================================================================== 40.19/40.35 c core #585 40.19/40.35 c Core size: 26 Core Weight: 1 Total Weight: -415 40.19/40.35 c Elapsed CPU time: 39.609 s Remaining CPU time: 1760.39 s 40.28/40.41 c ============================[ Search Statistics ]============================== 40.28/40.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.28/40.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.28/40.42 c =============================================================================== 40.28/40.42 c | 0 | 2838 35207 82378 | 11735 0 nan | 0.000 % | 40.28/40.42 c =============================================================================== 40.28/40.42 c core #586 40.28/40.42 c Core size: 48 Core Weight: 1 Total Weight: -414 40.28/40.42 c Elapsed CPU time: 39.683 s Remaining CPU time: 1760.32 s 40.28/40.49 c ============================[ Search Statistics ]============================== 40.28/40.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.28/40.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.28/40.49 c =============================================================================== 40.28/40.49 c | 0 | 2856 35208 82414 | 11736 0 nan | 0.000 % | 40.38/40.50 c =============================================================================== 40.38/40.50 c core #587 40.38/40.50 c Core size: 31 Core Weight: 1 Total Weight: -413 40.38/40.50 c Elapsed CPU time: 39.758 s Remaining CPU time: 1760.24 s 40.38/40.57 c ============================[ Search Statistics ]============================== 40.38/40.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.38/40.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.38/40.57 c =============================================================================== 40.38/40.57 c | 0 | 2868 35209 82438 | 11736 0 nan | 0.000 % | 40.38/40.57 c =============================================================================== 40.38/40.57 c core #588 40.38/40.57 c Core size: 27 Core Weight: 1 Total Weight: -412 40.38/40.57 c Elapsed CPU time: 39.8299 s Remaining CPU time: 1760.17 s 40.49/40.64 c ============================[ Search Statistics ]============================== 40.49/40.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.49/40.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.49/40.64 c =============================================================================== 40.49/40.64 c | 0 | 2878 35210 82458 | 11736 0 nan | 0.000 % | 40.49/40.65 c =============================================================================== 40.49/40.65 c core #589 40.49/40.65 c Core size: 41 Core Weight: 1 Total Weight: -411 40.49/40.65 c Elapsed CPU time: 39.9049 s Remaining CPU time: 1760.1 s 40.59/40.72 c ============================[ Search Statistics ]============================== 40.59/40.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.59/40.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.59/40.72 c =============================================================================== 40.59/40.72 c | 0 | 2894 35211 82490 | 11737 0 nan | 0.000 % | 40.59/40.73 c =============================================================================== 40.59/40.73 c core #590 40.59/40.73 c Core size: 22 Core Weight: 1 Total Weight: -410 40.59/40.73 c Elapsed CPU time: 39.9789 s Remaining CPU time: 1760.02 s 40.59/40.79 c ============================[ Search Statistics ]============================== 40.59/40.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.59/40.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.59/40.79 c =============================================================================== 40.59/40.79 c | 0 | 2902 35212 82506 | 11737 0 nan | 0.000 % | 40.68/40.80 c =============================================================================== 40.68/40.80 c core #591 40.68/40.80 c Core size: 59 Core Weight: 1 Total Weight: -409 40.68/40.80 c Elapsed CPU time: 40.0479 s Remaining CPU time: 1759.95 s 40.68/40.87 c ============================[ Search Statistics ]============================== 40.68/40.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.68/40.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.68/40.87 c =============================================================================== 40.68/40.87 c | 0 | 2925 35213 82552 | 11737 0 nan | 0.000 % | 40.68/40.87 c =============================================================================== 40.68/40.87 c core #592 40.68/40.87 c Core size: 27 Core Weight: 1 Total Weight: -408 40.68/40.87 c Elapsed CPU time: 40.1219 s Remaining CPU time: 1759.88 s 40.78/40.94 c ============================[ Search Statistics ]============================== 40.78/40.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.78/40.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.78/40.94 c =============================================================================== 40.78/40.94 c | 0 | 2935 35214 82572 | 11738 0 nan | 0.000 % | 40.78/40.95 c =============================================================================== 40.78/40.95 c core #593 40.78/40.95 c Core size: 48 Core Weight: 1 Total Weight: -407 40.78/40.95 c Elapsed CPU time: 40.1959 s Remaining CPU time: 1759.8 s 40.88/41.01 c ============================[ Search Statistics ]============================== 40.88/41.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.88/41.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.88/41.01 c =============================================================================== 40.88/41.01 c | 0 | 2954 35215 82610 | 11738 0 nan | 0.000 % | 40.88/41.02 c =============================================================================== 40.88/41.02 c core #594 40.88/41.02 c Core size: 115 Core Weight: 1 Total Weight: -406 40.88/41.02 c Elapsed CPU time: 40.2679 s Remaining CPU time: 1759.73 s 40.88/41.09 c ============================[ Search Statistics ]============================== 40.88/41.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.88/41.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.88/41.09 c =============================================================================== 40.88/41.09 c | 0 | 2997 35216 82696 | 11738 0 nan | 0.000 % | 40.98/41.10 c =============================================================================== 40.98/41.10 c core #595 40.98/41.10 c Core size: 244 Core Weight: 1 Total Weight: -405 40.98/41.10 c Elapsed CPU time: 40.3439 s Remaining CPU time: 1759.66 s 40.98/41.17 c ============================[ Search Statistics ]============================== 40.98/41.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.98/41.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.98/41.17 c =============================================================================== 40.98/41.17 c | 0 | 3079 35217 82860 | 11739 0 nan | 0.000 % | 40.98/41.18 c | 102 | 3078 35217 82860 | 12912 102 19 | 83.722 % | 40.98/41.18 c =============================================================================== 40.98/41.18 c core #596 40.98/41.18 c Core size: 270 Core Weight: 1 Total Weight: -404 40.98/41.18 c Elapsed CPU time: 40.4229 s Remaining CPU time: 1759.58 s 41.08/41.25 c ============================[ Search Statistics ]============================== 41.08/41.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 41.08/41.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 41.08/41.25 c =============================================================================== 41.08/41.25 c | 0 | 3163 35218 83028 | 11739 0 nan | 0.000 % | 41.08/41.26 c | 104 | 3163 35218 83028 | 12913 104 23 | 83.330 % | 41.08/41.27 c | 254 | 3163 35218 83028 | 14204 254 22 | 83.330 % | 41.08/41.29 c | 481 | 3163 35218 83028 | 15625 481 29 | 83.330 % | 41.18/41.32 c | 818 | 3163 35218 83028 | 17187 818 34 | 83.330 % | 41.18/41.36 c | 1325 | 3163 35218 83028 | 18906 1325 42 | 83.330 % | 41.28/41.46 c | 2084 | 3163 35218 83028 | 20796 2084 56 | 83.330 % | 41.38/41.52 c =============================================================================== 41.38/41.54 c core #597 41.38/41.54 c Core size: 495 Core Weight: 1 Total Weight: -403 41.38/41.54 c Elapsed CPU time: 40.7718 s Remaining CPU time: 1759.23 s 41.48/41.61 c ============================[ Search Statistics ]============================== 41.48/41.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 41.48/41.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 41.48/41.61 c =============================================================================== 41.48/41.61 c | 0 | 3289 35219 83280 | 11739 0 nan | 0.000 % | 41.48/41.63 c | 100 | 3289 35219 83280 | 12913 100 76 | 82.780 % | 41.48/41.64 c | 250 | 3289 35219 83280 | 14204 250 58 | 82.780 % | 41.48/41.66 c | 475 | 3289 35219 83280 | 15625 475 46 | 82.780 % | 41.48/41.69 c | 815 | 3289 35219 83280 | 17188 815 48 | 82.780 % | 41.58/41.75 c | 1321 | 3289 35219 83280 | 18906 1321 58 | 82.780 % | 41.69/41.86 c | 2080 | 3289 35219 83280 | 20797 2080 74 | 82.780 % | 41.88/42.02 c | 3221 | 3289 35219 83280 | 22877 3221 75 | 82.780 % | 42.27/42.48 c | 4932 | 3284 35219 83280 | 25165 3570 78 | 82.806 % | 42.47/42.60 c =============================================================================== 42.47/42.66 c core #598 42.47/42.66 c Core size: 872 Core Weight: 1 Total Weight: -402 42.47/42.66 c Elapsed CPU time: 41.8726 s Remaining CPU time: 1758.13 s 42.58/42.74 c ============================[ Search Statistics ]============================== 42.58/42.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 42.58/42.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 42.58/42.74 c =============================================================================== 42.58/42.74 c | 0 | 3486 35220 83674 | 11740 0 nan | 0.000 % | 42.58/42.76 c | 101 | 3486 35220 83674 | 12914 101 17 | 81.935 % | 42.58/42.77 c | 252 | 3486 35220 83674 | 14205 252 25 | 81.935 % | 42.58/42.79 c | 480 | 3486 35220 83674 | 15625 480 39 | 81.935 % | 42.68/42.82 c | 820 | 3486 35220 83674 | 17188 820 46 | 81.935 % | 42.68/42.88 c | 1327 | 3486 35220 83674 | 18907 1327 50 | 81.935 % | 42.79/42.97 c | 2086 | 3485 35220 83674 | 20798 2080 62 | 81.940 % | 42.98/43.17 c | 3227 | 3485 35220 83674 | 22877 3221 87 | 81.940 % | 43.38/43.58 c | 4935 | 3485 35220 83674 | 25165 4929 104 | 81.940 % | 43.48/43.67 c =============================================================================== 43.58/43.73 c core #599 43.58/43.73 c Core size: 627 Core Weight: 1 Total Weight: -401 43.58/43.73 c Elapsed CPU time: 42.9215 s Remaining CPU time: 1757.08 s 43.68/43.80 c ============================[ Search Statistics ]============================== 43.68/43.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 43.68/43.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 43.68/43.80 c =============================================================================== 43.68/43.80 c | 0 | 3630 35221 83962 | 11740 0 nan | 0.000 % | 43.68/43.82 c | 102 | 3630 35221 83962 | 12914 102 39 | 81.328 % | 43.68/43.84 c | 252 | 3630 35221 83962 | 14205 252 28 | 81.328 % | 43.68/43.86 c | 477 | 3630 35221 83962 | 15626 477 27 | 81.328 % | 43.68/43.88 c | 814 | 3630 35221 83962 | 17189 814 29 | 81.328 % | 43.79/43.94 c | 1321 | 3630 35221 83962 | 18907 1321 34 | 81.328 % | 43.88/44.05 c | 2082 | 3630 35221 83962 | 20798 2082 54 | 81.328 % | 44.08/44.25 c =============================================================================== 44.08/44.29 c core #600 44.08/44.29 c Core size: 509 Core Weight: 1 Total Weight: -400 44.08/44.29 c Elapsed CPU time: 43.4754 s Remaining CPU time: 1756.52 s 44.18/44.37 c ============================[ Search Statistics ]============================== 44.18/44.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 44.18/44.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 44.18/44.37 c =============================================================================== 44.18/44.37 c | 0 | 3743 35222 84188 | 11740 0 nan | 0.000 % | 44.18/44.38 c | 100 | 3743 35222 84188 | 12914 100 51 | 80.858 % | 44.18/44.40 c | 250 | 3743 35222 84188 | 14206 250 48 | 80.858 % | 44.28/44.41 c | 475 | 3743 35222 84188 | 15626 475 40 | 80.858 % | 44.28/44.44 c | 813 | 3742 35222 84188 | 17189 810 40 | 80.863 % | 44.37/44.50 c | 1319 | 3742 35222 84188 | 18908 1316 43 | 80.863 % | 44.37/44.59 c | 2078 | 3742 35222 84188 | 20799 2075 62 | 80.863 % | 44.57/44.78 c | 3218 | 3713 35222 84188 | 22879 2892 86 | 81.012 % | 44.68/44.84 c =============================================================================== 44.68/44.84 c core #601 44.68/44.84 c Core size: 667 Core Weight: 1 Total Weight: -399 44.68/44.84 c Elapsed CPU time: 44.0193 s Remaining CPU time: 1755.98 s 44.78/44.92 c ============================[ Search Statistics ]============================== 44.78/44.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 44.78/44.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 44.78/44.92 c =============================================================================== 44.78/44.92 c | 0 | 3922 35223 84546 | 11741 0 nan | 0.000 % | 44.78/44.94 c | 100 | 3922 35223 84546 | 12915 100 83 | 80.125 % | 44.78/44.95 c | 251 | 3922 35223 84546 | 14206 251 45 | 80.125 % | 44.78/44.97 c | 477 | 3922 35223 84546 | 15627 477 42 | 80.125 % | 44.78/45.00 c | 814 | 3922 35223 84546 | 17189 814 41 | 80.125 % | 44.88/45.05 c | 1322 | 3922 35223 84546 | 18908 1322 54 | 80.125 % | 44.98/45.14 c | 2081 | 3922 35223 84546 | 20799 2081 56 | 80.125 % | 45.18/45.30 c | 3220 | 3922 35223 84546 | 22879 3220 62 | 80.125 % | 45.38/45.59 c | 4930 | 3922 35223 84546 | 25167 4930 74 | 80.125 % | 46.18/46.32 c | 7492 | 3922 35223 84546 | 27684 7492 122 | 80.125 % | 46.18/46.39 c =============================================================================== 46.28/46.46 c core #602 46.28/46.46 c Core size: 978 Core Weight: 1 Total Weight: -398 46.28/46.46 c Elapsed CPU time: 45.6201 s Remaining CPU time: 1754.38 s 46.38/46.55 c ============================[ Search Statistics ]============================== 46.38/46.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 46.38/46.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 46.38/46.55 c =============================================================================== 46.38/46.55 c | 0 | 4118 35224 84938 | 11741 0 nan | 0.000 % | 46.38/46.57 c | 100 | 4118 35224 84938 | 12915 100 68 | 79.337 % | 46.38/46.58 c | 250 | 4118 35224 84938 | 14207 250 49 | 79.337 % | 46.47/46.61 c | 475 | 4118 35224 84938 | 15627 475 46 | 79.337 % | 46.47/46.64 c | 812 | 4118 35224 84938 | 17190 812 46 | 79.337 % | 46.58/46.70 c | 1318 | 4118 35224 84938 | 18909 1318 49 | 79.337 % | 46.58/46.79 c | 2079 | 4118 35224 84938 | 20800 2079 47 | 79.337 % | 46.78/46.92 c | 3218 | 4118 35224 84938 | 22880 3218 48 | 79.337 % | 46.98/47.19 c | 4926 | 4118 35224 84938 | 25168 4926 65 | 79.337 % | 47.37/47.51 c =============================================================================== 47.37/47.56 c core #603 47.37/47.56 c Core size: 729 Core Weight: 1 Total Weight: -397 47.37/47.56 c Elapsed CPU time: 46.6909 s Remaining CPU time: 1753.31 s 47.47/47.64 c ============================[ Search Statistics ]============================== 47.47/47.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 47.47/47.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 47.47/47.64 c =============================================================================== 47.47/47.64 c | 0 | 4269 35225 85240 | 11741 0 nan | 0.000 % | 47.47/47.66 c | 100 | 4269 35225 85240 | 12915 100 35 | 78.740 % | 47.47/47.67 c | 250 | 4269 35225 85240 | 14207 250 22 | 78.740 % | 47.47/47.69 c | 475 | 4269 35225 85240 | 15628 475 17 | 78.740 % | 47.58/47.71 c | 813 | 4269 35225 85240 | 17190 813 23 | 78.740 % | 47.58/47.76 c | 1321 | 4269 35225 85240 | 18910 1321 29 | 78.740 % | 47.67/47.84 c | 2083 | 4269 35225 85240 | 20801 2083 33 | 78.740 % | 47.77/47.96 c | 3223 | 4269 35225 85240 | 22881 3223 34 | 78.740 % | 48.07/48.27 c | 4935 | 4269 35225 85240 | 25169 4935 51 | 78.740 % | 48.58/48.71 c =============================================================================== 48.58/48.79 c core #604 48.58/48.79 c Core size: 734 Core Weight: 1 Total Weight: -396 48.58/48.79 c Elapsed CPU time: 47.8967 s Remaining CPU time: 1752.1 s 48.67/48.87 c ============================[ Search Statistics ]============================== 48.67/48.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 48.67/48.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 48.67/48.87 c =============================================================================== 48.67/48.87 c | 0 | 4413 35226 85528 | 11742 0 nan | 0.000 % | 48.67/48.89 c | 100 | 4413 35226 85528 | 12916 100 15 | 78.179 % | 48.77/48.90 c | 251 | 4413 35226 85528 | 14207 251 18 | 78.179 % | 48.77/48.92 c | 477 | 4413 35226 85528 | 15628 477 24 | 78.179 % | 48.77/48.96 c | 814 | 4413 35226 85528 | 17191 814 26 | 78.179 % | 48.88/49.00 c | 1321 | 4413 35226 85528 | 18910 1321 33 | 78.179 % | 48.88/49.09 c | 2082 | 4413 35226 85528 | 20801 2082 39 | 78.179 % | 49.07/49.26 c | 3221 | 4413 35226 85528 | 22881 3221 59 | 78.179 % | 49.38/49.59 c | 4932 | 4413 35226 85528 | 25170 4932 82 | 78.179 % | 50.17/50.34 c | 7494 | 4413 35226 85528 | 27687 7494 106 | 78.179 % | 51.58/51.76 c | 11338 | 4369 35226 85528 | 30455 8906 124 | 78.397 % | 52.47/52.66 c =============================================================================== 52.68/52.84 c core #605 52.68/52.84 c Core size: 747 Core Weight: 1 Total Weight: -395 52.68/52.84 c Elapsed CPU time: 51.8911 s Remaining CPU time: 1748.11 s 52.78/52.93 c ============================[ Search Statistics ]============================== 52.78/52.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 52.78/52.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 52.78/52.93 c =============================================================================== 52.78/52.93 c | 0 | 4560 35227 85822 | 11742 0 nan | 0.000 % | 52.78/52.96 c | 103 | 4560 35227 85822 | 12916 103 100 | 77.615 % | 52.78/52.97 c | 255 | 4560 35227 85822 | 14208 255 60 | 77.615 % | 52.78/52.99 c | 480 | 4560 35227 85822 | 15629 480 54 | 77.615 % | 52.87/53.02 c | 817 | 4560 35227 85822 | 17191 817 56 | 77.615 % | 52.87/53.08 c | 1323 | 4560 35227 85822 | 18911 1323 66 | 77.615 % | 52.97/53.16 c | 2082 | 4560 35227 85822 | 20802 2082 58 | 77.615 % | 53.17/53.30 c | 3221 | 4560 35227 85822 | 22882 3221 67 | 77.615 % | 53.47/53.65 c | 4930 | 4560 35227 85822 | 25170 4930 93 | 77.615 % | 53.97/54.16 c | 7492 | 4560 35227 85822 | 27687 7492 96 | 77.615 % | 54.87/55.07 c | 11336 | 4560 35227 85822 | 30456 11336 105 | 77.615 % | 57.27/57.40 c | 17102 | 4560 35227 85822 | 33502 17102 128 | 77.615 % | 64.07/64.28 c | 25751 | 4560 35227 85822 | 36852 25751 169 | 77.615 % | 78.97/79.12 c | 38725 | 4560 35227 85822 | 40537 38725 180 | 77.615 % | 111.66/111.83 c | 58188 | 4560 35227 85822 | 44591 16690 216 | 77.615 % | 142.34/142.54 c | 87380 | 4560 35227 85822 | 49050 45882 195 | 77.615 % | 228.22/228.43 c | 131169 | 4560 35227 85822 | 53955 40779 383 | 77.615 % | 299.21/299.46 c =============================================================================== 301.51/301.70 c core #606 301.51/301.70 c Core size: 1747 Core Weight: 1 Total Weight: -394 301.51/301.70 c Elapsed CPU time: 299.732 s Remaining CPU time: 1500.27 s 301.71/301.96 c ============================[ Search Statistics ]============================== 301.71/301.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 301.71/301.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 301.71/301.96 c =============================================================================== 301.71/301.96 c | 0 | 4833 35228 86368 | 11742 0 nan | 0.000 % | 301.81/302.01 c | 103 | 4833 35228 86368 | 12916 103 76 | 76.589 % | 301.81/302.02 c | 254 | 4833 35228 86368 | 14208 254 42 | 76.589 % | 301.81/302.04 c | 480 | 4833 35228 86368 | 15629 480 32 | 76.589 % | 301.81/302.07 c | 817 | 4833 35228 86368 | 17192 817 37 | 76.589 % | 301.91/302.12 c | 1323 | 4833 35228 86368 | 18911 1323 43 | 76.589 % | 302.00/302.21 c | 2083 | 4833 35228 86368 | 20802 2083 41 | 76.589 % | 302.10/302.35 c | 3225 | 4833 35228 86368 | 22883 3225 48 | 76.589 % | 302.51/302.73 c | 4933 | 4833 35228 86368 | 25171 4933 79 | 76.589 % | 303.31/303.52 c | 7495 | 4833 35228 86368 | 27688 7495 109 | 76.589 % | 305.10/305.35 c | 11341 | 4833 35228 86368 | 30457 11341 139 | 76.589 % | 308.60/308.87 c | 17107 | 4833 35228 86368 | 33503 17107 174 | 76.589 % | 318.50/318.77 c | 25756 | 4833 35228 86368 | 36853 25756 236 | 76.589 % | 349.39/349.62 c | 38730 | 4833 35228 86368 | 40538 38730 310 | 76.589 % | 379.58/379.89 c | 58191 | 4833 35228 86368 | 44592 15415 195 | 76.589 % | 425.87/426.14 c | 87383 | 4833 35228 86368 | 49052 44607 302 | 76.589 % | 507.05/507.32 c | 131172 | 4833 35228 86368 | 53957 39117 320 | 76.589 % | 604.42/604.72 c | 196857 | 4833 35228 86368 | 59352 50191 262 | 76.589 % | 801.27/801.61 c | 295390 | 4833 35228 86368 | 65288 29917 184 | 76.589 % | 835.26/835.60 c =============================================================================== 839.76/840.19 c core #607 839.76/840.19 c Core size: 1523 Core Weight: 1 Total Weight: -393 839.76/840.19 c Elapsed CPU time: 836.239 s Remaining CPU time: 963.761 s 840.25/840.60 c ============================[ Search Statistics ]============================== 840.25/840.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 840.25/840.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 840.25/840.60 c =============================================================================== 840.25/840.60 c | 0 | 5068 35229 86838 | 11743 0 nan | 0.000 % | 840.25/840.69 c | 100 | 5068 35229 86838 | 12917 100 35 | 75.727 % | 840.36/840.70 c | 251 | 5068 35229 86838 | 14209 251 30 | 75.727 % | 840.36/840.72 c | 477 | 5068 35229 86838 | 15629 477 29 | 75.727 % | 840.36/840.75 c | 814 | 5068 35229 86838 | 17192 814 31 | 75.727 % | 840.46/840.80 c | 1320 | 5068 35229 86838 | 18912 1320 31 | 75.727 % | 840.46/840.89 c | 2080 | 5068 35229 86838 | 20803 2080 43 | 75.727 % | 840.66/841.05 c | 3220 | 5068 35229 86838 | 22883 3220 52 | 75.727 % | 840.95/841.35 c | 4929 | 5068 35229 86838 | 25172 4929 73 | 75.727 % | 841.76/842.15 c | 7492 | 5068 35229 86838 | 27689 7492 111 | 75.727 % | 843.75/844.10 c | 11337 | 5068 35229 86838 | 30458 11337 166 | 75.727 % | 848.35/848.73 c | 17104 | 5068 35229 86838 | 33504 17104 187 | 75.727 % | 859.75/860.15 c | 25753 | 5068 35229 86838 | 36854 25753 218 | 75.727 % | 876.35/876.77 c | 38729 | 5068 35229 86838 | 40540 38729 227 | 75.727 % | 913.13/913.53 c | 58200 | 5068 35229 86838 | 44594 16608 326 | 75.727 % | 954.13/954.52 c | 87392 | 5068 35229 86838 | 49053 45800 313 | 75.727 % | 1044.90/1045.32 c | 131182 | 5068 35229 86838 | 53958 39775 409 | 75.727 % | 1168.17/1168.60 c =============================================================================== 1174.76/1175.23 c core #608 1174.76/1175.23 c Core size: 1281 Core Weight: 1 Total Weight: -392 1174.76/1175.23 c Elapsed CPU time: 1170.35 s Remaining CPU time: 629.646 s 1175.07/1175.56 c ============================[ Search Statistics ]============================== 1175.07/1175.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 1175.07/1175.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1175.07/1175.56 c =============================================================================== 1175.07/1175.56 c | 0 | 5286 35230 87274 | 11743 0 nan | 0.000 % | 1175.17/1175.64 c | 104 | 5286 35230 87274 | 12917 104 52 | 74.944 % | 1175.17/1175.66 c | 254 | 5286 35230 87274 | 14209 254 32 | 74.944 % | 1175.17/1175.67 c | 479 | 5286 35230 87274 | 15630 479 29 | 74.944 % | 1175.27/1175.70 c | 818 | 5286 35230 87274 | 17193 818 26 | 74.944 % | 1175.27/1175.75 c | 1324 | 5286 35230 87274 | 18912 1324 31 | 74.944 % | 1175.37/1175.83 c | 2083 | 5286 35230 87274 | 20804 2083 34 | 74.944 % | 1175.47/1175.97 c | 3222 | 5286 35230 87274 | 22884 3222 36 | 74.944 % | 1175.77/1176.23 c | 4932 | 5286 35230 87274 | 25172 4932 47 | 74.944 % | 1176.16/1176.67 c | 7494 | 5286 35230 87274 | 27690 7494 50 | 74.944 % | 1177.26/1177.73 c | 11338 | 5286 35230 87274 | 30459 11338 71 | 74.944 % | 1179.77/1180.20 c | 17105 | 5286 35230 87274 | 33505 17105 95 | 74.944 % | 1184.67/1185.11 c | 25754 | 5286 35230 87274 | 36855 25754 108 | 74.944 % | 1198.86/1199.33 c | 38731 | 5286 35230 87274 | 40541 38731 133 | 74.944 % | 1239.45/1239.92 c | 58194 | 5286 35230 87274 | 44595 16463 154 | 74.944 % | 1295.94/1296.44 c | 87386 | 5286 35230 87274 | 49054 45655 250 | 74.944 % | 1376.22/1376.76 c | 131179 | 5286 35230 87274 | 53960 39730 160 | 74.944 % | 1502.38/1502.90 c | 196866 | 5286 35230 87274 | 59356 53357 259 | 74.944 % | 1661.73/1662.39 c | 295394 | 5286 35230 87274 | 65291 33935 187 | 74.944 % |
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-1875359-1245202037/watcher-1875359-1245202037 -o /tmp/evaluation-result-1875359-1245202037/solver-1875359-1245202037 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875359-1245202037.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/65 9799 /proc/meminfo: memFree=1858728/2055920 swapFree=4191900/4192956 [pid=9799] ppid=9797 vsize=4152 CPUtime=0 /proc/9799/stat : 9799 (wbo) R 9797 9799 8618 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 187803251 4251648 246 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0 /proc/9799/statm: 1038 254 125 292 0 406 0 [startup+0.05169 s] /proc/loadavg: 1.00 1.00 1.00 3/65 9799 /proc/meminfo: memFree=1858728/2055920 swapFree=4191900/4192956 [pid=9799] ppid=9797 vsize=7184 CPUtime=0.04 /proc/9799/stat : 9799 (wbo) R 9797 9799 8618 0 -1 4194304 1018 0 0 0 4 0 0 0 18 0 1 0 187803251 7356416 1002 1992294400 134512640 135709839 4294956240 18446744073709551615 134547984 0 0 4096 3 0 0 0 17 1 0 0 /proc/9799/statm: 1796 1003 178 292 0 1164 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 7184 [startup+0.101695 s] /proc/loadavg: 1.00 1.00 1.00 3/65 9799 /proc/meminfo: memFree=1858728/2055920 swapFree=4191900/4192956 [pid=9799] ppid=9797 vsize=7996 CPUtime=0.09 /proc/9799/stat : 9799 (wbo) R 9797 9799 8618 0 -1 4194304 1310 0 0 0 9 0 0 0 18 0 1 0 187803251 8187904 1294 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/9799/statm: 1999 1294 258 292 0 1367 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7996 [startup+0.301718 s] /proc/loadavg: 1.00 1.00 1.00 3/65 9799 /proc/meminfo: memFree=1858728/2055920 swapFree=4191900/4192956 [pid=9799] ppid=9797 vsize=13992 CPUtime=0.29 /proc/9799/stat : 9799 (wbo) R 9797 9799 8618 0 -1 4194304 3593 0 0 0 28 1 0 0 19 0 1 0 187803251 14327808 2943 1992294400 134512640 135709839 4294956240 18446744073709551615 134532087 0 0 4096 3 0 0 0 17 1 0 0 /proc/9799/statm: 3498 2943 134 292 0 3203 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13992 [startup+0.701763 s] /proc/loadavg: 1.00 1.00 1.00 3/65 9799 /proc/meminfo: memFree=1858728/2055920 swapFree=4191900/4192956 [pid=9799] ppid=9797 vsize=21240 CPUtime=0.69 /proc/9799/stat : 9799 (wbo) R 9797 9799 8618 0 -1 4194304 5681 0 0 0 67 2 0 0 22 0 1 0 187803251 21749760 4766 1992294400 134512640 135709839 4294956240 18446744073709551615 135172972 0 0 4096 3 0 0 0 17 1 0 0 /proc/9799/statm: 5310 4766 134 292 0 5015 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21240 [startup+1.50185 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9800 /proc/meminfo: memFree=1835168/2055920 swapFree=4191900/4192956 [pid=9799] ppid=9797 vsize=34420 CPUtime=1.49 /proc/9799/stat : 9799 (wbo) R 9797 9799 8618 0 -1 4194304 8986 0 0 0 146 3 0 0 25 0 1 0 187803251 35246080 8071 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/9799/statm: 8605 8071 134 292 0 8310 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34420 [startup+3.10103 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9800 /proc/meminfo: memFree=1816736/2055920 swapFree=4191900/4192956 [pid=9799] ppid=9797 vsize=60468 CPUtime=3.09 /proc/9799/stat : 9799 (wbo) R 9797 9799 8618 0 -1 4194304 15502 0 0 0 304 5 0 0 25 0 1 0 187803251 61919232 14587 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/9799/statm: 15117 14588 134 292 0 14822 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 60468 [startup+6.3014 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9800 /proc/meminfo: memFree=1763040/2055920 swapFree=4191900/4192956 [pid=9799] ppid=9797 vsize=112376 CPUtime=6.29 /proc/9799/stat : 9799 (wbo) R 9797 9799 8618 0 -1 4194304 28451 0 0 0 618 11 0 0 25 0 1 0 187803251 115073024 27536 1992294400 134512640 135709839 4294956240 18446744073709551615 135182905 0 0 4096 3 0 0 0 17 1 0 0 /proc/9799/statm: 28094 27536 134 292 0 27799 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 112376 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9800 /proc/meminfo: memFree=1657128/2055920 swapFree=4191900/4192956 [pid=9799] ppid=9797 vsize=215080 CPUtime=12.68 /proc/9799/stat : 9799 (wbo) R 9797 9799 8618 0 -1 4194304 54065 0 0 0 1247 21 0 0 25 0 1 0 187803251 220241920 53150 1992294400 134512640 135709839 4294956240 18446744073709551615 135166693 0 0 4096 3 0 0 0 17 1 0 0 /proc/9799/statm: 53770 53150 134 292 0 53475 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 215080 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9800 /proc/meminfo: memFree=1452008/2055920 swapFree=4191900/4192956 [pid=9799] ppid=9797 vsize=413128 CPUtime=25.45 /proc/9799/stat : 9799 (wbo) R 9797 9799 8618 0 -1 4194304 103690 0 0 0 2506 39 0 0 25 0 1 0 187803251 423043072 102775 1992294400 134512640 135709839 4294956240 18446744073709551615 135163850 0 0 4096 3 0 0 0 17 1 0 0 /proc/9799/statm: 103282 102775 134 292 0 102987 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 413128 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9800 /proc/meminfo: memFree=1193896/2055920 swapFree=4191900/4192956 [pid=9799] ppid=9797 vsize=667464 CPUtime=50.97 /proc/9799/stat : 9799 (wbo) R 9797 9799 8618 0 -1 4194304 167303 0 0 0 5016 81 0 0 25 0 1 0 187803251 683483136 166388 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9799/statm: 166866 166388 136 292 0 166571 0 Current children cumulated CPU time (s) 50.97 Current children cumulated vsize (KiB) 667464 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9800 /proc/meminfo: memFree=1141864/2055920 swapFree=4191900/4192956 [pid=9799] ppid=9797 vsize=717836 CPUtime=102.16 /proc/9799/stat : 9799 (wbo) R 9797 9799 8618 0 -1 4194304 179852 0 0 0 10107 109 0 0 25 0 1 0 187803251 735064064 178937 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9799/statm: 179459 178937 136 292 0 179164 0 Current children cumulated CPU time (s) 102.16 Current children cumulated vsize (KiB) 717836 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9800 /proc/meminfo: memFree=1091752/2055920 swapFree=4191900/4192956 [pid=9799] ppid=9797 vsize=768324 CPUtime=162.14 /proc/9799/stat : 9799 (wbo) R 9797 9799 8618 0 -1 4194304 192465 0 0 0 16080 134 0 0 25 0 1 0 187803251 786763776 191550 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/9799/statm: 192081 191550 136 292 0 191786 0 Current children cumulated CPU time (s) 162.14 Current children cumulated vsize (KiB) 768324 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9800 /proc/meminfo: memFree=1030632/2055920 swapFree=4191900/4192956 [pid=9799] ppid=9797 vsize=829084 CPUtime=222.13 /proc/9799/stat : 9799 (wbo) R 9797 9799 8618 0 -1 4194304 207639 0 0 0 22057 156 0 0 25 0 1 0 187803251 848982016 206724 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9799/statm: 207271 206724 136 292 0 206976 0 Current children cumulated CPU time (s) 222.13 Current children cumulated vsize (KiB) 829084 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9800 /proc/meminfo: memFree=993640/2055920 swapFree=4191900/4192956 [pid=9799] ppid=9797 vsize=866556 CPUtime=282.11 /proc/9799/stat : 9799 (wbo) R 9797 9799 8618 0 -1 4194304 216978 0 0 0 28039 172 0 0 25 0 1 0 187803251 887353344 216063 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 1 0 0 /proc/9799/statm: 216639 216063 136 292 0 216344 0 Current children cumulated CPU time (s) 282.11 Current children cumulated vsize (KiB) 866556 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9800 /proc/meminfo: memFree=965672/2055920 swapFree=4191900/4192956 [pid=9799] ppid=9797 vsize=893832 CPUtime=342.1 /proc/9799/stat : 9799 (wbo) R 9797 9799 8618 0 -1 4194304 223836 0 0 0 34021 189 0 0 25 0 1 0 187803251 915283968 222921 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 1 0 0 /proc/9799/statm: 223458 222921 136 292 0 223163 0 Current children cumulated CPU time (s) 342.1 Current children cumulated vsize (KiB) 893832 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9800 /proc/meminfo: memFree=919208/2055920 swapFree=4191900/4192956 [pid=9799] ppid=9797 vsize=940764 CPUtime=402.07 /proc/9799/stat : 9799 (wbo) R 9797 9799 8618 0 -1 4194304 235498 0 0 0 39996 211 0 0 25 0 1 0 187803251 963342336 234583 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9799/statm: 235191 234583 136 292 0 234896 0 Current children cumulated CPU time (s) 402.07 Current children cumulated vsize (KiB) 940764 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9800 /proc/meminfo: memFree=880360/2055920 swapFree=4191900/4192956 [pid=9799] ppid=9797 vsize=979436 CPUtime=462.06 /proc/9799/stat : 9799 (wbo) R 9797 9799 8618 0 -1 4194304 245133 0 0 0 45977 229 0 0 25 0 1 0 187803251 1002942464 244218 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9799/statm: 244859 244218 136 292 0 244564 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 979436 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9800 /proc/meminfo: memFree=825064/2055920 swapFree=4191900/4192956 [pid=9799] ppid=9797 vsize=1035532 CPUtime=522.05 /proc/9799/stat : 9799 (wbo) R 9797 9799 8618 0 -1 4194304 259107 0 0 0 51955 250 0 0 25 0 1 0 187803251 1060384768 258192 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9799/statm: 258883 258192 136 292 0 258588 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 1035532 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9800 /proc/meminfo: memFree=773736/2055920 swapFree=4191900/4192956 [pid=9799] ppid=9797 vsize=1086220 CPUtime=582.03 /proc/9799/stat : 9799 (wbo) R 9797 9799 8618 0 -1 4194304 271800 0 0 0 57930 273 0 0 25 0 1 0 187803251 1112289280 270885 1992294400 134512640 135709839 4294956240 18446744073709551615 134573742 0 0 4096 3 0 0 0 17 1 0 0 /proc/9799/statm: 271555 270885 136 292 0 271260 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 1086220 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9800 /proc/meminfo: memFree=716456/2055920 swapFree=4191900/4192956 [pid=9799] ppid=9797 vsize=1142916 CPUtime=642.01 /proc/9799/stat : 9799 (wbo) R 9797 9799 8618 0 -1 4194304 285953 0 0 0 63908 293 0 0 25 0 1 0 187803251 1170345984 285038 1992294400 134512640 135709839 4294956240 18446744073709551615 134574093 0 0 4096 3 0 0 0 17 1 0 0 /proc/9799/statm: 285729 285038 136 292 0 285434 0 Current children cumulated CPU time (s) 642.01 Current children cumulated vsize (KiB) 1142916 [startup+702.301 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9800 /proc/meminfo: memFree=474280/2055920 swapFree=4191900/4192956 [pid=9799] ppid=9797 vsize=1384496 CPUtime=941.93 /proc/9799/stat : 9799 (wbo) R 9797 9799 8618 0 -1 4194304 346596 0 0 0 93799 394 0 0 25 0 1 0 187803251 1417723904 345560 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9799/statm: 346124 345560 136 292 0 345829 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 1384496 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9800 /proc/meminfo: memFree=437672/2055920 swapFree=4191900/4192956 [pid=9799] ppid=9797 vsize=1421112 CPUtime=1001.91 /proc/9799/stat : 9799 (wbo) R 9797 9799 8618 0 -1 4194304 355648 0 0 0 99783 408 0 0 25 0 1 0 187803251 1455218688 354612 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9799/statm: 355278 354612 136 292 0 354983 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 1421112 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9800 /proc/meminfo: memFree=386792/2055920 swapFree=4191900/4192956 [pid=9799] ppid=9797 vsize=1472244 CPUtime=1061.9 /proc/9799/stat : 9799 (wbo) R 9797 9799 8618 0 -1 4194304 368385 0 0 0 105764 426 0 0 25 0 1 0 187803251 1507577856 367349 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0 /proc/9799/statm: 368061 367349 136 292 0 367766 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 1472244 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9800 /proc/meminfo: memFree=353128/2055920 swapFree=4191900/4192956 [pid=9799] ppid=9797 vsize=1505888 CPUtime=1121.88 /proc/9799/stat : 9799 (wbo) R 9797 9799 8618 0 -1 4194304 376737 0 0 0 111751 437 0 0 25 0 1 0 187803251 1542029312 375701 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9799/statm: 376472 375701 136 292 0 376177 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 1505888 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9800 /proc/meminfo: memFree=324520/2055920 swapFree=4191900/4192956 [pid=9799] ppid=9797 vsize=1534264 CPUtime=1181.86 /proc/9799/stat : 9799 (wbo) R 9797 9799 8618 0 -1 4194304 384100 0 0 0 117735 451 0 0 25 0 1 0 187803251 1571086336 382720 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9799/statm: 383566 382720 136 292 0 383271 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 1534264 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9800 /proc/meminfo: memFree=323560/2055920 swapFree=4191900/4192956 [pid=9799] ppid=9797 vsize=1534264 CPUtime=1241.85 /proc/9799/stat : 9799 (wbo) R 9797 9799 8618 0 -1 4194304 384366 0 0 0 123722 463 0 0 25 0 1 0 187803251 1571086336 382986 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9799/statm: 383566 382986 136 292 0 383271 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 1534264 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9800 /proc/meminfo: memFree=297576/2055920 swapFree=4191900/4192956 [pid=9799] ppid=9797 vsize=1560372 CPUtime=1301.84 /proc/9799/stat : 9799 (wbo) R 9797 9799 8618 0 -1 4194304 390842 0 0 0 129707 477 0 0 25 0 1 0 187803251 1597820928 389462 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9799/statm: 390093 389462 136 292 0 389798 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 1560372 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9800 /proc/meminfo: memFree=274472/2055920 swapFree=4191900/4192956 [pid=9799] ppid=9797 vsize=1583928 CPUtime=1361.81 /proc/9799/stat : 9799 (wbo) R 9797 9799 8618 0 -1 4194304 396695 0 0 0 135688 493 0 0 25 0 1 0 187803251 1621942272 395315 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9799/statm: 395982 395315 136 292 0 395687 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 1583928 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9800 /proc/meminfo: memFree=241320/2055920 swapFree=4191900/4192956 [pid=9799] ppid=9797 vsize=1616712 CPUtime=1421.8 /proc/9799/stat : 9799 (wbo) R 9797 9799 8618 0 -1 4194304 404895 0 0 0 141670 510 0 0 25 0 1 0 187803251 1655513088 403515 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0 /proc/9799/statm: 404178 403515 136 292 0 403883 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 1616712 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9800 /proc/meminfo: memFree=197288/2055920 swapFree=4191900/4192956 [pid=9799] ppid=9797 vsize=1661040 CPUtime=1481.78 /proc/9799/stat : 9799 (wbo) R 9797 9799 8618 0 -1 4194304 415977 0 0 0 147648 530 0 0 25 0 1 0 187803251 1700904960 414597 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9799/statm: 415260 414597 136 292 0 414965 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 1661040 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9802 /proc/meminfo: memFree=168552/2055920 swapFree=4191900/4192956 [pid=9799] ppid=9797 vsize=1689192 CPUtime=1541.77 /proc/9799/stat : 9799 (wbo) R 9797 9799 8618 0 -1 4194304 423009 0 0 0 153631 546 0 0 25 0 1 0 187803251 1729732608 421629 1992294400 134512640 135709839 4294956240 18446744073709551615 134573788 0 0 4096 3 0 0 0 17 1 0 0 /proc/9799/statm: 422298 421629 136 292 0 422003 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 1689192 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9802 /proc/meminfo: memFree=123240/2055920 swapFree=4191900/4192956 [pid=9799] ppid=9797 vsize=1735288 CPUtime=1601.75 /proc/9799/stat : 9799 (wbo) R 9797 9799 8618 0 -1 4194304 434507 0 0 0 159609 566 0 0 25 0 1 0 187803251 1776934912 433127 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9799/statm: 433822 433127 136 292 0 433527 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 1735288 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9802 /proc/meminfo: memFree=80168/2055920 swapFree=4191900/4192956 [pid=9799] ppid=9797 vsize=1777728 CPUtime=1661.73 /proc/9799/stat : 9799 (wbo) R 9797 9799 8618 0 -1 4194304 445111 0 0 0 165584 589 0 0 25 0 1 0 187803251 1820393472 443731 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9799/statm: 444432 443731 136 292 0 444137 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 1777728 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9802 /proc/meminfo: memFree=43304/2055920 swapFree=4191900/4192956 [pid=9799] ppid=9797 vsize=1814636 CPUtime=1721.72 /proc/9799/stat : 9799 (wbo) R 9797 9799 8618 0 -1 4194304 454347 0 0 0 171567 605 0 0 25 0 1 0 187803251 1858187264 452967 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9799/statm: 453659 452967 136 292 0 453364 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 1814636 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9802 /proc/meminfo: memFree=20840/2055920 swapFree=4191900/4192956 [pid=9799] ppid=9797 vsize=1837028 CPUtime=1781.71 /proc/9799/stat : 9799 (wbo) R 9797 9799 8618 0 -1 4194304 459916 0 0 0 177554 617 0 0 25 0 1 0 187803251 1881116672 458536 1992294400 134512640 135709839 4294956240 18446744073709551615 134574200 0 0 4096 3 0 0 0 17 1 0 0 /proc/9799/statm: 459257 458536 136 292 0 458962 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 1837028 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1786.7 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9802 /proc/meminfo: memFree=15912/2055920 swapFree=4191900/4192956 [pid=9799] ppid=9797 vsize=1843236 CPUtime=1786.11 /proc/9799/stat : 9799 (wbo) R 9797 9799 8618 0 -1 4194304 461465 0 0 0 177992 619 0 0 25 0 1 0 187803251 1887473664 460085 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/9799/statm: 460809 460085 136 292 0 460514 0 Current children cumulated CPU time (s) 1786.11 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+1786.81 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9802 /proc/meminfo: memFree=15912/2055920 swapFree=4191900/4192956 [pid=9799] ppid=9797 vsize=0 CPUtime=1786.21 /proc/9799/stat : 9799 (wbo) R 9797 9799 8618 0 -1 4195332 461465 0 0 0 177992 629 0 0 25 0 1 0 187803251 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/9799/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1786.21 Current children cumulated vsize (KiB) 0 [startup+1786.9 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9802 /proc/meminfo: memFree=15912/2055920 swapFree=4191900/4192956 [pid=9799] ppid=9797 vsize=0 CPUtime=1786.3 /proc/9799/stat : 9799 (wbo) R 9797 9799 8618 0 -1 4195332 461465 0 0 0 177992 638 0 0 25 0 1 0 187803251 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/9799/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1786.3 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1786.99 CPU time (s): 1786.4 CPU user time (s): 1779.92 CPU system time (s): 6.47902 CPU usage (%): 99.967 Max. virtual memory (cumulated for all children) (KiB): 1843236 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1779.92 system time used= 6.47902 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 461465 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 5250 runsolver used 2.08168 second user time and 3.76343 second system time The end
Begin job on node32 at 2009-06-17 03:27:17 IDJOB=1875359 IDBENCH=48199 IDSOLVER=698 FILE ID=node32/1875359-1245202037 PBS_JOBID= 9368321 Free space on /tmp= 66340 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_3.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875359-1245202037/watcher-1875359-1245202037 -o /tmp/evaluation-result-1875359-1245202037/solver-1875359-1245202037 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875359-1245202037.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d487c80c335f688d99ca29b5d7c254e0 RANDOM SEED=567961088 node32.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.234 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.234 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: 1860168 kB Buffers: 38496 kB Cached: 84056 kB SwapCached: 256 kB Active: 22152 kB Inactive: 114720 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1860168 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 2780 kB Writeback: 0 kB Mapped: 23780 kB Slab: 44576 kB Committed_AS: 200164 kB PageTables: 1492 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875359-1245202037.opb Free space on /tmp at the end= 66340 MiB End job on node32 at 2009-06-17 03:57:07