| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.0 | ? (TO) | 1800.24 | 1800.8 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-3.opb |
| MD5SUM | 8e251d4e151b2868eb3a52cf845e4cf8 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -29 |
| Best CPU time to get the best result obtained on this benchmark | 1796.65 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -30 |
| Optimality of the best value was proved | YES |
| Number of variables | 450 |
| Total number of constraints | 17809 |
| Number of constraints which are clauses | 17809 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 450 |
| 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 | 450 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 450 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1875678-1245164285.opb. 0.00/0.00 c Instance file HOME/instance-1875678-1245164285.opb 0.00/0.00 c File size is 422772 bytes. 0.00/0.05 c Highest Coefficient sum: 3 0.00/0.05 c ============================[ Problem Statistics ]============================= 0.00/0.05 c | | 0.00/0.05 c | Parsing time: 0.05 s | 0.00/0.05 c | Number Variables: 450 | 0.00/0.05 c | Number Clauses: 18259 | 0.00/0.05 c | Number Cardinality: 0 | 0.00/0.05 c | Number PB Constraints: 0 | 0.00/0.05 c core #1 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: -449 0.00/0.05 c Elapsed CPU time: 0.047992 s Remaining CPU time: 1799.95 s 0.00/0.06 c core #2 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: -448 0.00/0.06 c Elapsed CPU time: 0.054991 s Remaining CPU time: 1799.95 s 0.00/0.07 c core #3 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: -447 0.00/0.07 c Elapsed CPU time: 0.06399 s Remaining CPU time: 1799.94 s 0.00/0.08 c core #4 0.00/0.08 c Core size: 3 Core Weight: 1 Total Weight: -446 0.00/0.08 c Elapsed CPU time: 0.072988 s Remaining CPU time: 1799.93 s 0.00/0.09 c core #5 0.00/0.09 c Core size: 3 Core Weight: 1 Total Weight: -445 0.00/0.09 c Elapsed CPU time: 0.082987 s Remaining CPU time: 1799.92 s 0.08/0.10 c core #6 0.08/0.10 c Core size: 3 Core Weight: 1 Total Weight: -444 0.08/0.10 c Elapsed CPU time: 0.091986 s Remaining CPU time: 1799.91 s 0.09/0.11 c core #7 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: -443 0.09/0.11 c Elapsed CPU time: 0.101984 s Remaining CPU time: 1799.9 s 0.09/0.12 c core #8 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: -442 0.09/0.12 c Elapsed CPU time: 0.110983 s Remaining CPU time: 1799.89 s 0.09/0.12 c core #9 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: -441 0.09/0.12 c Elapsed CPU time: 0.120981 s Remaining CPU time: 1799.88 s 0.09/0.13 c core #10 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: -440 0.09/0.13 c Elapsed CPU time: 0.13098 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #11 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: -439 0.09/0.14 c Elapsed CPU time: 0.140978 s Remaining CPU time: 1799.86 s 0.09/0.15 c core #12 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: -438 0.09/0.15 c Elapsed CPU time: 0.150977 s Remaining CPU time: 1799.85 s 0.09/0.16 c core #13 0.09/0.16 c Core size: 3 Core Weight: 1 Total Weight: -437 0.09/0.16 c Elapsed CPU time: 0.159975 s Remaining CPU time: 1799.84 s 0.09/0.17 c core #14 0.09/0.17 c Core size: 3 Core Weight: 1 Total Weight: -436 0.09/0.17 c Elapsed CPU time: 0.169974 s Remaining CPU time: 1799.83 s 0.09/0.18 c core #15 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -435 0.09/0.18 c Elapsed CPU time: 0.179972 s Remaining CPU time: 1799.82 s 0.09/0.19 c core #16 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: -434 0.09/0.19 c Elapsed CPU time: 0.188971 s Remaining CPU time: 1799.81 s 0.19/0.20 c core #17 0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: -433 0.19/0.20 c Elapsed CPU time: 0.198969 s Remaining CPU time: 1799.8 s 0.19/0.21 c core #18 0.19/0.21 c Core size: 3 Core Weight: 1 Total Weight: -432 0.19/0.21 c Elapsed CPU time: 0.208968 s Remaining CPU time: 1799.79 s 0.19/0.22 c core #19 0.19/0.22 c Core size: 3 Core Weight: 1 Total Weight: -431 0.19/0.22 c Elapsed CPU time: 0.218966 s Remaining CPU time: 1799.78 s 0.19/0.23 c core #20 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: -430 0.19/0.23 c Elapsed CPU time: 0.227965 s Remaining CPU time: 1799.77 s 0.19/0.24 c core #21 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: -429 0.19/0.24 c Elapsed CPU time: 0.237963 s Remaining CPU time: 1799.76 s 0.19/0.25 c core #22 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: -428 0.19/0.25 c Elapsed CPU time: 0.247962 s Remaining CPU time: 1799.75 s 0.19/0.26 c core #23 0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: -427 0.19/0.26 c Elapsed CPU time: 0.25796 s Remaining CPU time: 1799.74 s 0.19/0.27 c core #24 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: -426 0.19/0.27 c Elapsed CPU time: 0.267959 s Remaining CPU time: 1799.73 s 0.19/0.28 c core #25 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -425 0.19/0.28 c Elapsed CPU time: 0.276957 s Remaining CPU time: 1799.72 s 0.19/0.29 c core #26 0.19/0.29 c Core size: 3 Core Weight: 1 Total Weight: -424 0.19/0.29 c Elapsed CPU time: 0.286956 s Remaining CPU time: 1799.71 s 0.29/0.30 c core #27 0.29/0.30 c Core size: 3 Core Weight: 1 Total Weight: -423 0.29/0.30 c Elapsed CPU time: 0.296954 s Remaining CPU time: 1799.7 s 0.29/0.31 c core #28 0.29/0.31 c Core size: 3 Core Weight: 1 Total Weight: -422 0.29/0.31 c Elapsed CPU time: 0.306953 s Remaining CPU time: 1799.69 s 0.29/0.32 c core #29 0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: -421 0.29/0.32 c Elapsed CPU time: 0.315951 s Remaining CPU time: 1799.68 s 0.29/0.33 c core #30 0.29/0.33 c Core size: 3 Core Weight: 1 Total Weight: -420 0.29/0.33 c Elapsed CPU time: 0.32595 s Remaining CPU time: 1799.67 s 0.29/0.34 c core #31 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -419 0.29/0.34 c Elapsed CPU time: 0.335948 s Remaining CPU time: 1799.66 s 0.29/0.35 c core #32 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: -418 0.29/0.35 c Elapsed CPU time: 0.345947 s Remaining CPU time: 1799.65 s 0.29/0.36 c core #33 0.29/0.36 c Core size: 3 Core Weight: 1 Total Weight: -417 0.29/0.36 c Elapsed CPU time: 0.355945 s Remaining CPU time: 1799.64 s 0.29/0.37 c core #34 0.29/0.37 c Core size: 3 Core Weight: 1 Total Weight: -416 0.29/0.37 c Elapsed CPU time: 0.365944 s Remaining CPU time: 1799.63 s 0.29/0.38 c core #35 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: -415 0.29/0.38 c Elapsed CPU time: 0.374943 s Remaining CPU time: 1799.63 s 0.29/0.39 c core #36 0.29/0.39 c Core size: 3 Core Weight: 1 Total Weight: -414 0.29/0.39 c Elapsed CPU time: 0.385941 s Remaining CPU time: 1799.61 s 0.39/0.40 c core #37 0.39/0.40 c Core size: 3 Core Weight: 1 Total Weight: -413 0.39/0.40 c Elapsed CPU time: 0.395939 s Remaining CPU time: 1799.6 s 0.39/0.41 c core #38 0.39/0.41 c Core size: 3 Core Weight: 1 Total Weight: -412 0.39/0.41 c Elapsed CPU time: 0.405938 s Remaining CPU time: 1799.59 s 0.39/0.42 c core #39 0.39/0.42 c Core size: 3 Core Weight: 1 Total Weight: -411 0.39/0.42 c Elapsed CPU time: 0.415936 s Remaining CPU time: 1799.58 s 0.39/0.43 c core #40 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: -410 0.39/0.43 c Elapsed CPU time: 0.425935 s Remaining CPU time: 1799.57 s 0.39/0.44 c core #41 0.39/0.44 c Core size: 3 Core Weight: 1 Total Weight: -409 0.39/0.44 c Elapsed CPU time: 0.435933 s Remaining CPU time: 1799.56 s 0.39/0.45 c core #42 0.39/0.45 c Core size: 3 Core Weight: 1 Total Weight: -408 0.39/0.45 c Elapsed CPU time: 0.445932 s Remaining CPU time: 1799.55 s 0.39/0.46 c core #43 0.39/0.46 c Core size: 3 Core Weight: 1 Total Weight: -407 0.39/0.46 c Elapsed CPU time: 0.45593 s Remaining CPU time: 1799.54 s 0.39/0.47 c core #44 0.39/0.47 c Core size: 3 Core Weight: 1 Total Weight: -406 0.39/0.47 c Elapsed CPU time: 0.465929 s Remaining CPU time: 1799.53 s 0.39/0.48 c core #45 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: -405 0.39/0.48 c Elapsed CPU time: 0.475927 s Remaining CPU time: 1799.52 s 0.39/0.49 c core #46 0.39/0.49 c Core size: 3 Core Weight: 1 Total Weight: -404 0.39/0.49 c Elapsed CPU time: 0.485926 s Remaining CPU time: 1799.51 s 0.49/0.50 c core #47 0.49/0.50 c Core size: 3 Core Weight: 1 Total Weight: -403 0.49/0.50 c Elapsed CPU time: 0.495924 s Remaining CPU time: 1799.5 s 0.49/0.51 c core #48 0.49/0.51 c Core size: 3 Core Weight: 1 Total Weight: -402 0.49/0.51 c Elapsed CPU time: 0.505923 s Remaining CPU time: 1799.49 s 0.49/0.52 c core #49 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -401 0.49/0.52 c Elapsed CPU time: 0.515921 s Remaining CPU time: 1799.48 s 0.49/0.53 c core #50 0.49/0.53 c Core size: 3 Core Weight: 1 Total Weight: -400 0.49/0.53 c Elapsed CPU time: 0.52592 s Remaining CPU time: 1799.47 s 0.49/0.54 c core #51 0.49/0.54 c Core size: 3 Core Weight: 1 Total Weight: -399 0.49/0.54 c Elapsed CPU time: 0.535918 s Remaining CPU time: 1799.46 s 0.49/0.55 c core #52 0.49/0.55 c Core size: 3 Core Weight: 1 Total Weight: -398 0.49/0.55 c Elapsed CPU time: 0.545917 s Remaining CPU time: 1799.45 s 0.49/0.56 c core #53 0.49/0.56 c Core size: 3 Core Weight: 1 Total Weight: -397 0.49/0.56 c Elapsed CPU time: 0.555915 s Remaining CPU time: 1799.44 s 0.49/0.57 c core #54 0.49/0.57 c Core size: 3 Core Weight: 1 Total Weight: -396 0.49/0.57 c Elapsed CPU time: 0.565913 s Remaining CPU time: 1799.43 s 0.49/0.58 c core #55 0.49/0.58 c Core size: 3 Core Weight: 1 Total Weight: -395 0.49/0.58 c Elapsed CPU time: 0.575912 s Remaining CPU time: 1799.42 s 0.49/0.59 c core #56 0.49/0.59 c Core size: 3 Core Weight: 1 Total Weight: -394 0.49/0.59 c Elapsed CPU time: 0.58691 s Remaining CPU time: 1799.41 s 0.59/0.60 c core #57 0.59/0.60 c Core size: 3 Core Weight: 1 Total Weight: -393 0.59/0.60 c Elapsed CPU time: 0.596909 s Remaining CPU time: 1799.4 s 0.59/0.61 c core #58 0.59/0.61 c Core size: 3 Core Weight: 1 Total Weight: -392 0.59/0.61 c Elapsed CPU time: 0.606907 s Remaining CPU time: 1799.39 s 0.59/0.62 c core #59 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: -391 0.59/0.62 c Elapsed CPU time: 0.616906 s Remaining CPU time: 1799.38 s 0.59/0.63 c core #60 0.59/0.63 c Core size: 3 Core Weight: 1 Total Weight: -390 0.59/0.63 c Elapsed CPU time: 0.626904 s Remaining CPU time: 1799.37 s 0.59/0.64 c core #61 0.59/0.64 c Core size: 3 Core Weight: 1 Total Weight: -389 0.59/0.64 c Elapsed CPU time: 0.637903 s Remaining CPU time: 1799.36 s 0.59/0.65 c core #62 0.59/0.65 c Core size: 3 Core Weight: 1 Total Weight: -388 0.59/0.65 c Elapsed CPU time: 0.647901 s Remaining CPU time: 1799.35 s 0.59/0.66 c core #63 0.59/0.66 c Core size: 3 Core Weight: 1 Total Weight: -387 0.59/0.66 c Elapsed CPU time: 0.657899 s Remaining CPU time: 1799.34 s 0.59/0.67 c core #64 0.59/0.67 c Core size: 3 Core Weight: 1 Total Weight: -386 0.59/0.67 c Elapsed CPU time: 0.667898 s Remaining CPU time: 1799.33 s 0.59/0.68 c core #65 0.59/0.68 c Core size: 3 Core Weight: 1 Total Weight: -385 0.59/0.68 c Elapsed CPU time: 0.678896 s Remaining CPU time: 1799.32 s 0.59/0.69 c core #66 0.59/0.69 c Core size: 3 Core Weight: 1 Total Weight: -384 0.59/0.69 c Elapsed CPU time: 0.688895 s Remaining CPU time: 1799.31 s 0.69/0.70 c core #67 0.69/0.70 c Core size: 3 Core Weight: 1 Total Weight: -383 0.69/0.70 c Elapsed CPU time: 0.698893 s Remaining CPU time: 1799.3 s 0.69/0.71 c core #68 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -382 0.69/0.71 c Elapsed CPU time: 0.709892 s Remaining CPU time: 1799.29 s 0.69/0.72 c core #69 0.69/0.72 c Core size: 3 Core Weight: 1 Total Weight: -381 0.69/0.72 c Elapsed CPU time: 0.71989 s Remaining CPU time: 1799.28 s 0.69/0.73 c core #70 0.69/0.73 c Core size: 3 Core Weight: 1 Total Weight: -380 0.69/0.73 c Elapsed CPU time: 0.730888 s Remaining CPU time: 1799.27 s 0.69/0.74 c core #71 0.69/0.74 c Core size: 3 Core Weight: 1 Total Weight: -379 0.69/0.74 c Elapsed CPU time: 0.740887 s Remaining CPU time: 1799.26 s 0.69/0.76 c core #72 0.69/0.76 c Core size: 3 Core Weight: 1 Total Weight: -378 0.69/0.76 c Elapsed CPU time: 0.751885 s Remaining CPU time: 1799.25 s 0.69/0.77 c core #73 0.69/0.77 c Core size: 3 Core Weight: 1 Total Weight: -377 0.69/0.77 c Elapsed CPU time: 0.761884 s Remaining CPU time: 1799.24 s 0.69/0.78 c core #74 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -376 0.69/0.78 c Elapsed CPU time: 0.771882 s Remaining CPU time: 1799.23 s 0.69/0.79 c core #75 0.69/0.79 c Core size: 3 Core Weight: 1 Total Weight: -375 0.69/0.79 c Elapsed CPU time: 0.78288 s Remaining CPU time: 1799.22 s 0.79/0.80 c core #76 0.79/0.80 c Core size: 3 Core Weight: 1 Total Weight: -374 0.79/0.80 c Elapsed CPU time: 0.792879 s Remaining CPU time: 1799.21 s 0.79/0.81 c core #77 0.79/0.81 c Core size: 3 Core Weight: 1 Total Weight: -373 0.79/0.81 c Elapsed CPU time: 0.803877 s Remaining CPU time: 1799.2 s 0.79/0.82 c core #78 0.79/0.82 c Core size: 3 Core Weight: 1 Total Weight: -372 0.79/0.82 c Elapsed CPU time: 0.813876 s Remaining CPU time: 1799.19 s 0.79/0.83 c core #79 0.79/0.83 c Core size: 3 Core Weight: 1 Total Weight: -371 0.79/0.83 c Elapsed CPU time: 0.824874 s Remaining CPU time: 1799.18 s 0.79/0.84 c core #80 0.79/0.84 c Core size: 3 Core Weight: 1 Total Weight: -370 0.79/0.84 c Elapsed CPU time: 0.835872 s Remaining CPU time: 1799.16 s 0.79/0.85 c core #81 0.79/0.85 c Core size: 3 Core Weight: 1 Total Weight: -369 0.79/0.85 c Elapsed CPU time: 0.845871 s Remaining CPU time: 1799.15 s 0.79/0.86 c core #82 0.79/0.86 c Core size: 3 Core Weight: 1 Total Weight: -368 0.79/0.86 c Elapsed CPU time: 0.856869 s Remaining CPU time: 1799.14 s 0.79/0.87 c core #83 0.79/0.87 c Core size: 3 Core Weight: 1 Total Weight: -367 0.79/0.87 c Elapsed CPU time: 0.866868 s Remaining CPU time: 1799.13 s 0.79/0.88 c core #84 0.79/0.88 c Core size: 3 Core Weight: 1 Total Weight: -366 0.79/0.88 c Elapsed CPU time: 0.877866 s Remaining CPU time: 1799.12 s 0.79/0.89 c core #85 0.79/0.89 c Core size: 3 Core Weight: 1 Total Weight: -365 0.79/0.89 c Elapsed CPU time: 0.888864 s Remaining CPU time: 1799.11 s 0.89/0.90 c core #86 0.89/0.90 c Core size: 3 Core Weight: 1 Total Weight: -364 0.89/0.90 c Elapsed CPU time: 0.899863 s Remaining CPU time: 1799.1 s 0.89/0.91 c core #87 0.89/0.91 c Core size: 3 Core Weight: 1 Total Weight: -363 0.89/0.91 c Elapsed CPU time: 0.910861 s Remaining CPU time: 1799.09 s 0.89/0.92 c core #88 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -362 0.89/0.92 c Elapsed CPU time: 0.92086 s Remaining CPU time: 1799.08 s 0.89/0.94 c core #89 0.89/0.94 c Core size: 3 Core Weight: 1 Total Weight: -361 0.89/0.94 c Elapsed CPU time: 0.931858 s Remaining CPU time: 1799.07 s 0.89/0.95 c core #90 0.89/0.95 c Core size: 3 Core Weight: 1 Total Weight: -360 0.89/0.95 c Elapsed CPU time: 0.942856 s Remaining CPU time: 1799.06 s 0.89/0.96 c core #91 0.89/0.96 c Core size: 3 Core Weight: 1 Total Weight: -359 0.89/0.96 c Elapsed CPU time: 0.953854 s Remaining CPU time: 1799.05 s 0.89/0.97 c core #92 0.89/0.97 c Core size: 3 Core Weight: 1 Total Weight: -358 0.89/0.97 c Elapsed CPU time: 0.963853 s Remaining CPU time: 1799.04 s 0.89/0.98 c core #93 0.89/0.98 c Core size: 3 Core Weight: 1 Total Weight: -357 0.89/0.98 c Elapsed CPU time: 0.974851 s Remaining CPU time: 1799.03 s 0.89/0.99 c core #94 0.89/0.99 c Core size: 3 Core Weight: 1 Total Weight: -356 0.89/0.99 c Elapsed CPU time: 0.98585 s Remaining CPU time: 1799.01 s 0.89/1.00 c core #95 0.89/1.00 c Core size: 3 Core Weight: 1 Total Weight: -355 0.99/1.00 c Elapsed CPU time: 0.996848 s Remaining CPU time: 1799 s 0.99/1.01 c core #96 0.99/1.01 c Core size: 3 Core Weight: 1 Total Weight: -354 0.99/1.01 c Elapsed CPU time: 1.00885 s Remaining CPU time: 1798.99 s 0.99/1.02 c core #97 0.99/1.02 c Core size: 3 Core Weight: 1 Total Weight: -353 0.99/1.02 c Elapsed CPU time: 1.01885 s Remaining CPU time: 1798.98 s 0.99/1.04 c core #98 0.99/1.04 c Core size: 3 Core Weight: 1 Total Weight: -352 0.99/1.04 c Elapsed CPU time: 1.03084 s Remaining CPU time: 1798.97 s 0.99/1.05 c core #99 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -351 0.99/1.05 c Elapsed CPU time: 1.04284 s Remaining CPU time: 1798.96 s 0.99/1.06 c core #100 0.99/1.06 c Core size: 3 Core Weight: 1 Total Weight: -350 0.99/1.06 c Elapsed CPU time: 1.05484 s Remaining CPU time: 1798.95 s 0.99/1.07 c core #101 0.99/1.07 c Core size: 3 Core Weight: 1 Total Weight: -349 0.99/1.07 c Elapsed CPU time: 1.06584 s Remaining CPU time: 1798.93 s 0.99/1.08 c core #102 0.99/1.08 c Core size: 3 Core Weight: 1 Total Weight: -348 0.99/1.08 c Elapsed CPU time: 1.07684 s Remaining CPU time: 1798.92 s 0.99/1.09 c core #103 0.99/1.09 c Core size: 3 Core Weight: 1 Total Weight: -347 0.99/1.09 c Elapsed CPU time: 1.08883 s Remaining CPU time: 1798.91 s 1.09/1.11 c core #104 1.09/1.11 c Core size: 3 Core Weight: 1 Total Weight: -346 1.09/1.11 c Elapsed CPU time: 1.09983 s Remaining CPU time: 1798.9 s 1.09/1.12 c core #105 1.09/1.12 c Core size: 3 Core Weight: 1 Total Weight: -345 1.09/1.12 c Elapsed CPU time: 1.11083 s Remaining CPU time: 1798.89 s 1.09/1.13 c core #106 1.09/1.13 c Core size: 3 Core Weight: 1 Total Weight: -344 1.09/1.13 c Elapsed CPU time: 1.12283 s Remaining CPU time: 1798.88 s 1.09/1.14 c core #107 1.09/1.14 c Core size: 3 Core Weight: 1 Total Weight: -343 1.09/1.14 c Elapsed CPU time: 1.13483 s Remaining CPU time: 1798.87 s 1.09/1.15 c core #108 1.09/1.15 c Core size: 3 Core Weight: 1 Total Weight: -342 1.09/1.15 c Elapsed CPU time: 1.14682 s Remaining CPU time: 1798.85 s 1.09/1.17 c core #109 1.09/1.17 c Core size: 3 Core Weight: 1 Total Weight: -341 1.09/1.17 c Elapsed CPU time: 1.15882 s Remaining CPU time: 1798.84 s 1.09/1.18 c core #110 1.09/1.18 c Core size: 3 Core Weight: 1 Total Weight: -340 1.09/1.18 c Elapsed CPU time: 1.17082 s Remaining CPU time: 1798.83 s 1.09/1.19 c core #111 1.09/1.19 c Core size: 3 Core Weight: 1 Total Weight: -339 1.09/1.19 c Elapsed CPU time: 1.18282 s Remaining CPU time: 1798.82 s 1.18/1.20 c core #112 1.18/1.20 c Core size: 3 Core Weight: 1 Total Weight: -338 1.18/1.20 c Elapsed CPU time: 1.19482 s Remaining CPU time: 1798.81 s 1.18/1.21 c core #113 1.18/1.21 c Core size: 3 Core Weight: 1 Total Weight: -337 1.18/1.21 c Elapsed CPU time: 1.20582 s Remaining CPU time: 1798.79 s 1.18/1.23 c core #114 1.18/1.23 c Core size: 3 Core Weight: 1 Total Weight: -336 1.18/1.23 c Elapsed CPU time: 1.21881 s Remaining CPU time: 1798.78 s 1.18/1.24 c core #115 1.18/1.24 c Core size: 3 Core Weight: 1 Total Weight: -335 1.18/1.24 c Elapsed CPU time: 1.22981 s Remaining CPU time: 1798.77 s 1.18/1.25 c core #116 1.18/1.25 c Core size: 3 Core Weight: 1 Total Weight: -334 1.18/1.25 c Elapsed CPU time: 1.24181 s Remaining CPU time: 1798.76 s 1.18/1.26 c core #117 1.18/1.26 c Core size: 3 Core Weight: 1 Total Weight: -333 1.18/1.26 c Elapsed CPU time: 1.25281 s Remaining CPU time: 1798.75 s 1.18/1.27 c core #118 1.18/1.27 c Core size: 3 Core Weight: 1 Total Weight: -332 1.18/1.27 c Elapsed CPU time: 1.26481 s Remaining CPU time: 1798.74 s 1.18/1.28 c core #119 1.18/1.28 c Core size: 3 Core Weight: 1 Total Weight: -331 1.18/1.28 c Elapsed CPU time: 1.27481 s Remaining CPU time: 1798.73 s 1.18/1.29 c core #120 1.18/1.29 c Core size: 3 Core Weight: 1 Total Weight: -330 1.18/1.29 c Elapsed CPU time: 1.2868 s Remaining CPU time: 1798.71 s 1.28/1.31 c core #121 1.28/1.31 c Core size: 3 Core Weight: 1 Total Weight: -329 1.28/1.31 c Elapsed CPU time: 1.2988 s Remaining CPU time: 1798.7 s 1.28/1.32 c core #122 1.28/1.32 c Core size: 3 Core Weight: 1 Total Weight: -328 1.28/1.32 c Elapsed CPU time: 1.3108 s Remaining CPU time: 1798.69 s 1.28/1.33 c core #123 1.28/1.33 c Core size: 3 Core Weight: 1 Total Weight: -327 1.28/1.33 c Elapsed CPU time: 1.3228 s Remaining CPU time: 1798.68 s 1.28/1.34 c core #124 1.28/1.34 c Core size: 3 Core Weight: 1 Total Weight: -326 1.28/1.34 c Elapsed CPU time: 1.3338 s Remaining CPU time: 1798.67 s 1.28/1.35 c core #125 1.28/1.35 c Core size: 3 Core Weight: 1 Total Weight: -325 1.28/1.35 c Elapsed CPU time: 1.34479 s Remaining CPU time: 1798.66 s 1.28/1.37 c core #126 1.28/1.37 c Core size: 3 Core Weight: 1 Total Weight: -324 1.28/1.37 c Elapsed CPU time: 1.35679 s Remaining CPU time: 1798.64 s 1.28/1.38 c core #127 1.28/1.38 c Core size: 3 Core Weight: 1 Total Weight: -323 1.28/1.38 c Elapsed CPU time: 1.36879 s Remaining CPU time: 1798.63 s 1.28/1.39 c core #128 1.28/1.39 c Core size: 3 Core Weight: 1 Total Weight: -322 1.28/1.39 c Elapsed CPU time: 1.38079 s Remaining CPU time: 1798.62 s 1.38/1.40 c core #129 1.38/1.40 c Core size: 3 Core Weight: 1 Total Weight: -321 1.38/1.40 c Elapsed CPU time: 1.39179 s Remaining CPU time: 1798.61 s 1.38/1.41 c core #130 1.38/1.41 c Core size: 3 Core Weight: 1 Total Weight: -320 1.38/1.41 c Elapsed CPU time: 1.40379 s Remaining CPU time: 1798.6 s 1.38/1.42 c core #131 1.38/1.42 c Core size: 3 Core Weight: 1 Total Weight: -319 1.38/1.42 c Elapsed CPU time: 1.41578 s Remaining CPU time: 1798.58 s 1.38/1.44 c core #132 1.38/1.44 c Core size: 3 Core Weight: 1 Total Weight: -318 1.38/1.44 c Elapsed CPU time: 1.42878 s Remaining CPU time: 1798.57 s 1.38/1.45 c core #133 1.38/1.45 c Core size: 3 Core Weight: 1 Total Weight: -317 1.38/1.45 c Elapsed CPU time: 1.44078 s Remaining CPU time: 1798.56 s 1.38/1.46 c core #134 1.38/1.46 c Core size: 3 Core Weight: 1 Total Weight: -316 1.38/1.46 c Elapsed CPU time: 1.45278 s Remaining CPU time: 1798.55 s 1.38/1.47 c core #135 1.38/1.47 c Core size: 3 Core Weight: 1 Total Weight: -315 1.38/1.47 c Elapsed CPU time: 1.46478 s Remaining CPU time: 1798.54 s 1.38/1.49 c core #136 1.38/1.49 c Core size: 3 Core Weight: 1 Total Weight: -314 1.38/1.49 c Elapsed CPU time: 1.47677 s Remaining CPU time: 1798.52 s 1.48/1.50 c core #137 1.48/1.50 c Core size: 3 Core Weight: 1 Total Weight: -313 1.48/1.50 c Elapsed CPU time: 1.48877 s Remaining CPU time: 1798.51 s 1.48/1.51 c core #138 1.48/1.51 c Core size: 3 Core Weight: 1 Total Weight: -312 1.48/1.51 c Elapsed CPU time: 1.50077 s Remaining CPU time: 1798.5 s 1.48/1.52 c core #139 1.48/1.52 c Core size: 3 Core Weight: 1 Total Weight: -311 1.48/1.52 c Elapsed CPU time: 1.51277 s Remaining CPU time: 1798.49 s 1.48/1.53 c core #140 1.48/1.53 c Core size: 3 Core Weight: 1 Total Weight: -310 1.48/1.53 c Elapsed CPU time: 1.52477 s Remaining CPU time: 1798.48 s 1.48/1.55 c core #141 1.48/1.55 c Core size: 3 Core Weight: 1 Total Weight: -309 1.48/1.55 c Elapsed CPU time: 1.53677 s Remaining CPU time: 1798.46 s 1.48/1.56 c core #142 1.48/1.56 c Core size: 3 Core Weight: 1 Total Weight: -308 1.48/1.56 c Elapsed CPU time: 1.54776 s Remaining CPU time: 1798.45 s 1.48/1.57 c core #143 1.48/1.57 c Core size: 3 Core Weight: 1 Total Weight: -307 1.48/1.57 c Elapsed CPU time: 1.55976 s Remaining CPU time: 1798.44 s 1.48/1.58 c core #144 1.48/1.58 c Core size: 3 Core Weight: 1 Total Weight: -306 1.48/1.58 c Elapsed CPU time: 1.57176 s Remaining CPU time: 1798.43 s 1.48/1.59 c core #145 1.48/1.59 c Core size: 3 Core Weight: 1 Total Weight: -305 1.48/1.59 c Elapsed CPU time: 1.58376 s Remaining CPU time: 1798.42 s 1.58/1.61 c core #146 1.58/1.61 c Core size: 3 Core Weight: 1 Total Weight: -304 1.58/1.61 c Elapsed CPU time: 1.59576 s Remaining CPU time: 1798.4 s 1.58/1.62 c core #147 1.58/1.62 c Core size: 3 Core Weight: 1 Total Weight: -303 1.58/1.62 c Elapsed CPU time: 1.60875 s Remaining CPU time: 1798.39 s 1.58/1.63 c core #148 1.58/1.63 c Core size: 3 Core Weight: 1 Total Weight: -302 1.58/1.63 c Elapsed CPU time: 1.62075 s Remaining CPU time: 1798.38 s 1.58/1.64 c core #149 1.58/1.64 c Core size: 3 Core Weight: 1 Total Weight: -301 1.58/1.64 c Elapsed CPU time: 1.63375 s Remaining CPU time: 1798.37 s 1.58/1.66 c core #150 1.58/1.66 c Core size: 3 Core Weight: 1 Total Weight: -300 1.58/1.66 c Elapsed CPU time: 1.64575 s Remaining CPU time: 1798.35 s 1.58/1.67 c core #151 1.58/1.67 c Core size: 3 Core Weight: 1 Total Weight: -299 1.58/1.67 c Elapsed CPU time: 1.65775 s Remaining CPU time: 1798.34 s 1.58/1.68 c core #152 1.58/1.68 c Core size: 3 Core Weight: 1 Total Weight: -298 1.58/1.68 c Elapsed CPU time: 1.67075 s Remaining CPU time: 1798.33 s 1.58/1.69 c core #153 1.58/1.69 c Core size: 3 Core Weight: 1 Total Weight: -297 1.58/1.69 c Elapsed CPU time: 1.68274 s Remaining CPU time: 1798.32 s 1.68/1.71 c core #154 1.68/1.71 c Core size: 3 Core Weight: 1 Total Weight: -296 1.68/1.71 c Elapsed CPU time: 1.69474 s Remaining CPU time: 1798.31 s 1.68/1.72 c core #155 1.68/1.72 c Core size: 3 Core Weight: 1 Total Weight: -295 1.68/1.72 c Elapsed CPU time: 1.70674 s Remaining CPU time: 1798.29 s 1.68/1.73 c core #156 1.68/1.73 c Core size: 3 Core Weight: 1 Total Weight: -294 1.68/1.73 c Elapsed CPU time: 1.71874 s Remaining CPU time: 1798.28 s 1.68/1.74 c core #157 1.68/1.74 c Core size: 3 Core Weight: 1 Total Weight: -293 1.68/1.74 c Elapsed CPU time: 1.73074 s Remaining CPU time: 1798.27 s 1.68/1.76 c core #158 1.68/1.76 c Core size: 3 Core Weight: 1 Total Weight: -292 1.68/1.76 c Elapsed CPU time: 1.74373 s Remaining CPU time: 1798.26 s 1.68/1.77 c core #159 1.68/1.77 c Core size: 3 Core Weight: 1 Total Weight: -291 1.68/1.77 c Elapsed CPU time: 1.75573 s Remaining CPU time: 1798.24 s 1.68/1.78 c core #160 1.68/1.78 c Core size: 3 Core Weight: 1 Total Weight: -290 1.68/1.78 c Elapsed CPU time: 1.76873 s Remaining CPU time: 1798.23 s 1.68/1.79 c core #161 1.68/1.79 c Core size: 3 Core Weight: 1 Total Weight: -289 1.68/1.79 c Elapsed CPU time: 1.78173 s Remaining CPU time: 1798.22 s 1.79/1.81 c core #162 1.79/1.81 c Core size: 3 Core Weight: 1 Total Weight: -288 1.79/1.81 c Elapsed CPU time: 1.79373 s Remaining CPU time: 1798.21 s 1.79/1.82 c core #163 1.79/1.82 c Core size: 3 Core Weight: 1 Total Weight: -287 1.79/1.82 c Elapsed CPU time: 1.80673 s Remaining CPU time: 1798.19 s 1.79/1.83 c core #164 1.79/1.83 c Core size: 3 Core Weight: 1 Total Weight: -286 1.79/1.83 c Elapsed CPU time: 1.81972 s Remaining CPU time: 1798.18 s 1.79/1.85 c core #165 1.79/1.85 c Core size: 3 Core Weight: 1 Total Weight: -285 1.79/1.85 c Elapsed CPU time: 1.83272 s Remaining CPU time: 1798.17 s 1.79/1.86 c core #166 1.79/1.86 c Core size: 3 Core Weight: 1 Total Weight: -284 1.79/1.86 c Elapsed CPU time: 1.84472 s Remaining CPU time: 1798.16 s 1.79/1.87 c core #167 1.79/1.87 c Core size: 3 Core Weight: 1 Total Weight: -283 1.79/1.87 c Elapsed CPU time: 1.85772 s Remaining CPU time: 1798.14 s 1.79/1.88 c core #168 1.79/1.88 c Core size: 3 Core Weight: 1 Total Weight: -282 1.79/1.88 c Elapsed CPU time: 1.87072 s Remaining CPU time: 1798.13 s 1.79/1.90 c core #169 1.79/1.90 c Core size: 3 Core Weight: 1 Total Weight: -281 1.79/1.90 c Elapsed CPU time: 1.88271 s Remaining CPU time: 1798.12 s 1.89/1.91 c core #170 1.89/1.91 c Core size: 3 Core Weight: 1 Total Weight: -280 1.89/1.91 c Elapsed CPU time: 1.89571 s Remaining CPU time: 1798.1 s 1.89/1.92 c core #171 1.89/1.92 c Core size: 3 Core Weight: 1 Total Weight: -279 1.89/1.92 c Elapsed CPU time: 1.90871 s Remaining CPU time: 1798.09 s 1.89/1.94 c core #172 1.89/1.94 c Core size: 3 Core Weight: 1 Total Weight: -278 1.89/1.94 c Elapsed CPU time: 1.92171 s Remaining CPU time: 1798.08 s 1.89/1.95 c core #173 1.89/1.95 c Core size: 3 Core Weight: 1 Total Weight: -277 1.89/1.95 c Elapsed CPU time: 1.93471 s Remaining CPU time: 1798.07 s 1.89/1.96 c core #174 1.89/1.96 c Core size: 3 Core Weight: 1 Total Weight: -276 1.89/1.96 c Elapsed CPU time: 1.9477 s Remaining CPU time: 1798.05 s 1.89/1.98 c core #175 1.89/1.98 c Core size: 3 Core Weight: 1 Total Weight: -275 1.89/1.98 c Elapsed CPU time: 1.9607 s Remaining CPU time: 1798.04 s 1.89/1.99 c core #176 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -274 1.89/1.99 c Elapsed CPU time: 1.9747 s Remaining CPU time: 1798.03 s 1.99/2.00 c core #177 1.99/2.00 c Core size: 3 Core Weight: 1 Total Weight: -273 1.99/2.00 c Elapsed CPU time: 1.9877 s Remaining CPU time: 1798.01 s 1.99/2.01 c core #178 1.99/2.01 c Core size: 3 Core Weight: 1 Total Weight: -272 1.99/2.02 c Elapsed CPU time: 2.00069 s Remaining CPU time: 1798 s 1.99/2.03 c core #179 1.99/2.03 c Core size: 3 Core Weight: 1 Total Weight: -271 1.99/2.03 c Elapsed CPU time: 2.01469 s Remaining CPU time: 1797.99 s 1.99/2.04 c core #180 1.99/2.04 c Core size: 3 Core Weight: 1 Total Weight: -270 1.99/2.04 c Elapsed CPU time: 2.02769 s Remaining CPU time: 1797.97 s 1.99/2.06 c core #181 1.99/2.06 c Core size: 3 Core Weight: 1 Total Weight: -269 1.99/2.06 c Elapsed CPU time: 2.04069 s Remaining CPU time: 1797.96 s 1.99/2.07 c core #182 1.99/2.07 c Core size: 3 Core Weight: 1 Total Weight: -268 1.99/2.07 c Elapsed CPU time: 2.05369 s Remaining CPU time: 1797.95 s 1.99/2.08 c core #183 1.99/2.08 c Core size: 3 Core Weight: 1 Total Weight: -267 1.99/2.08 c Elapsed CPU time: 2.06669 s Remaining CPU time: 1797.93 s 1.99/2.10 c core #184 1.99/2.10 c Core size: 3 Core Weight: 1 Total Weight: -266 1.99/2.10 c Elapsed CPU time: 2.07968 s Remaining CPU time: 1797.92 s 2.09/2.11 c core #185 2.09/2.11 c Core size: 3 Core Weight: 1 Total Weight: -265 2.09/2.11 c Elapsed CPU time: 2.09368 s Remaining CPU time: 1797.91 s 2.09/2.12 c core #186 2.09/2.12 c Core size: 3 Core Weight: 1 Total Weight: -264 2.09/2.12 c Elapsed CPU time: 2.10668 s Remaining CPU time: 1797.89 s 2.09/2.14 c core #187 2.09/2.14 c Core size: 3 Core Weight: 1 Total Weight: -263 2.09/2.14 c Elapsed CPU time: 2.12068 s Remaining CPU time: 1797.88 s 2.09/2.15 c core #188 2.09/2.15 c Core size: 3 Core Weight: 1 Total Weight: -262 2.09/2.15 c Elapsed CPU time: 2.13468 s Remaining CPU time: 1797.87 s 2.09/2.16 c core #189 2.09/2.16 c Core size: 3 Core Weight: 1 Total Weight: -261 2.09/2.16 c Elapsed CPU time: 2.14767 s Remaining CPU time: 1797.85 s 2.09/2.18 c core #190 2.09/2.18 c Core size: 3 Core Weight: 1 Total Weight: -260 2.09/2.18 c Elapsed CPU time: 2.16167 s Remaining CPU time: 1797.84 s 2.09/2.19 c core #191 2.09/2.19 c Core size: 3 Core Weight: 1 Total Weight: -259 2.09/2.19 c Elapsed CPU time: 2.17567 s Remaining CPU time: 1797.82 s 2.19/2.21 c core #192 2.19/2.21 c Core size: 3 Core Weight: 1 Total Weight: -258 2.19/2.21 c Elapsed CPU time: 2.18867 s Remaining CPU time: 1797.81 s 2.19/2.22 c core #193 2.19/2.22 c Core size: 3 Core Weight: 1 Total Weight: -257 2.19/2.22 c Elapsed CPU time: 2.20167 s Remaining CPU time: 1797.8 s 2.19/2.23 c core #194 2.19/2.23 c Core size: 3 Core Weight: 1 Total Weight: -256 2.19/2.23 c Elapsed CPU time: 2.21566 s Remaining CPU time: 1797.78 s 2.19/2.25 c core #195 2.19/2.25 c Core size: 3 Core Weight: 1 Total Weight: -255 2.19/2.25 c Elapsed CPU time: 2.22866 s Remaining CPU time: 1797.77 s 2.19/2.26 c core #196 2.19/2.26 c Core size: 3 Core Weight: 1 Total Weight: -254 2.19/2.26 c Elapsed CPU time: 2.24366 s Remaining CPU time: 1797.76 s 2.19/2.27 c core #197 2.19/2.27 c Core size: 3 Core Weight: 1 Total Weight: -253 2.19/2.27 c Elapsed CPU time: 2.25666 s Remaining CPU time: 1797.74 s 2.19/2.29 c core #198 2.19/2.29 c Core size: 3 Core Weight: 1 Total Weight: -252 2.19/2.29 c Elapsed CPU time: 2.27065 s Remaining CPU time: 1797.73 s 2.28/2.30 c core #199 2.28/2.30 c Core size: 3 Core Weight: 1 Total Weight: -251 2.28/2.30 c Elapsed CPU time: 2.28365 s Remaining CPU time: 1797.72 s 2.28/2.32 c core #200 2.28/2.32 c Core size: 3 Core Weight: 1 Total Weight: -250 2.28/2.32 c Elapsed CPU time: 2.29865 s Remaining CPU time: 1797.7 s 2.28/2.33 c core #201 2.28/2.33 c Core size: 3 Core Weight: 1 Total Weight: -249 2.28/2.33 c Elapsed CPU time: 2.31265 s Remaining CPU time: 1797.69 s 2.28/2.34 c core #202 2.28/2.34 c Core size: 3 Core Weight: 1 Total Weight: -248 2.28/2.34 c Elapsed CPU time: 2.32665 s Remaining CPU time: 1797.67 s 2.28/2.36 c core #203 2.28/2.36 c Core size: 3 Core Weight: 1 Total Weight: -247 2.28/2.36 c Elapsed CPU time: 2.34064 s Remaining CPU time: 1797.66 s 2.28/2.37 c core #204 2.28/2.37 c Core size: 3 Core Weight: 1 Total Weight: -246 2.28/2.37 c Elapsed CPU time: 2.35464 s Remaining CPU time: 1797.65 s 2.28/2.39 c core #205 2.28/2.39 c Core size: 3 Core Weight: 1 Total Weight: -245 2.28/2.39 c Elapsed CPU time: 2.36864 s Remaining CPU time: 1797.63 s 2.38/2.40 c core #206 2.38/2.40 c Core size: 3 Core Weight: 1 Total Weight: -244 2.38/2.40 c Elapsed CPU time: 2.38264 s Remaining CPU time: 1797.62 s 2.38/2.42 c core #207 2.38/2.42 c Core size: 3 Core Weight: 1 Total Weight: -243 2.38/2.42 c Elapsed CPU time: 2.39663 s Remaining CPU time: 1797.6 s 2.38/2.43 c core #208 2.38/2.43 c Core size: 3 Core Weight: 1 Total Weight: -242 2.38/2.43 c Elapsed CPU time: 2.41063 s Remaining CPU time: 1797.59 s 2.38/2.44 c core #209 2.38/2.44 c Core size: 3 Core Weight: 1 Total Weight: -241 2.38/2.44 c Elapsed CPU time: 2.42563 s Remaining CPU time: 1797.57 s 2.38/2.46 c core #210 2.38/2.46 c Core size: 3 Core Weight: 1 Total Weight: -240 2.38/2.46 c Elapsed CPU time: 2.43863 s Remaining CPU time: 1797.56 s 2.38/2.48 c core #211 2.38/2.48 c Core size: 3 Core Weight: 1 Total Weight: -239 2.38/2.48 c Elapsed CPU time: 2.45263 s Remaining CPU time: 1797.55 s 2.38/2.49 c core #212 2.38/2.49 c Core size: 3 Core Weight: 1 Total Weight: -238 2.38/2.49 c Elapsed CPU time: 2.46663 s Remaining CPU time: 1797.53 s 2.48/2.50 c core #213 2.48/2.50 c Core size: 3 Core Weight: 1 Total Weight: -237 2.48/2.50 c Elapsed CPU time: 2.48162 s Remaining CPU time: 1797.52 s 2.48/2.52 c core #214 2.48/2.52 c Core size: 3 Core Weight: 1 Total Weight: -236 2.48/2.52 c Elapsed CPU time: 2.49562 s Remaining CPU time: 1797.5 s 2.48/2.53 c core #215 2.48/2.53 c Core size: 3 Core Weight: 1 Total Weight: -235 2.48/2.53 c Elapsed CPU time: 2.50962 s Remaining CPU time: 1797.49 s 2.48/2.55 c core #216 2.48/2.55 c Core size: 3 Core Weight: 1 Total Weight: -234 2.48/2.55 c Elapsed CPU time: 2.52362 s Remaining CPU time: 1797.48 s 2.48/2.56 c core #217 2.48/2.56 c Core size: 3 Core Weight: 1 Total Weight: -233 2.48/2.56 c Elapsed CPU time: 2.53761 s Remaining CPU time: 1797.46 s 2.48/2.58 c core #218 2.48/2.58 c Core size: 3 Core Weight: 1 Total Weight: -232 2.48/2.58 c Elapsed CPU time: 2.55161 s Remaining CPU time: 1797.45 s 2.48/2.59 c core #219 2.48/2.59 c Core size: 3 Core Weight: 1 Total Weight: -231 2.48/2.59 c Elapsed CPU time: 2.56561 s Remaining CPU time: 1797.43 s 2.57/2.61 c core #220 2.57/2.61 c Core size: 3 Core Weight: 1 Total Weight: -230 2.57/2.61 c Elapsed CPU time: 2.57861 s Remaining CPU time: 1797.42 s 2.57/2.62 c core #221 2.57/2.62 c Core size: 3 Core Weight: 1 Total Weight: -229 2.57/2.62 c Elapsed CPU time: 2.59361 s Remaining CPU time: 1797.41 s 2.57/2.64 c core #222 2.57/2.64 c Core size: 3 Core Weight: 1 Total Weight: -228 2.57/2.64 c Elapsed CPU time: 2.6086 s Remaining CPU time: 1797.39 s 2.57/2.65 c core #223 2.57/2.65 c Core size: 3 Core Weight: 1 Total Weight: -227 2.57/2.65 c Elapsed CPU time: 2.6226 s Remaining CPU time: 1797.38 s 2.57/2.66 c core #224 2.57/2.66 c Core size: 3 Core Weight: 1 Total Weight: -226 2.57/2.66 c Elapsed CPU time: 2.6366 s Remaining CPU time: 1797.36 s 2.57/2.68 c core #225 2.57/2.68 c Core size: 3 Core Weight: 1 Total Weight: -225 2.57/2.68 c Elapsed CPU time: 2.6516 s Remaining CPU time: 1797.35 s 2.57/2.69 c ============================[ Search Statistics ]============================== 2.57/2.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.57/2.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.57/2.69 c =============================================================================== 2.57/2.69 c | 0 | 900 18484 36968 | 6161 0 nan | 0.000 % | 2.57/2.70 c =============================================================================== 2.57/2.70 c core #226 2.57/2.70 c Core size: 13 Core Weight: 1 Total Weight: -224 2.57/2.70 c Elapsed CPU time: 2.66559 s Remaining CPU time: 1797.33 s 2.67/2.71 c ============================[ Search Statistics ]============================== 2.67/2.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.67/2.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.67/2.71 c =============================================================================== 2.67/2.71 c | 0 | 906 18485 36980 | 6161 0 nan | 0.000 % | 2.67/2.71 c =============================================================================== 2.67/2.71 c core #227 2.67/2.71 c Core size: 13 Core Weight: 1 Total Weight: -223 2.67/2.71 c Elapsed CPU time: 2.68159 s Remaining CPU time: 1797.32 s 2.67/2.73 c ============================[ Search Statistics ]============================== 2.67/2.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.67/2.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.67/2.73 c =============================================================================== 2.67/2.73 c | 0 | 912 18486 36992 | 6162 0 nan | 0.000 % | 2.67/2.73 c =============================================================================== 2.67/2.73 c core #228 2.67/2.73 c Core size: 13 Core Weight: 1 Total Weight: -222 2.67/2.73 c Elapsed CPU time: 2.69759 s Remaining CPU time: 1797.3 s 2.67/2.74 c ============================[ Search Statistics ]============================== 2.67/2.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.67/2.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.67/2.74 c =============================================================================== 2.67/2.74 c | 0 | 918 18487 37004 | 6162 0 nan | 0.000 % | 2.67/2.74 c =============================================================================== 2.67/2.74 c core #229 2.67/2.74 c Core size: 10 Core Weight: 1 Total Weight: -221 2.67/2.74 c Elapsed CPU time: 2.71259 s Remaining CPU time: 1797.29 s 2.67/2.76 c ============================[ Search Statistics ]============================== 2.67/2.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.67/2.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.67/2.76 c =============================================================================== 2.67/2.76 c | 0 | 922 18488 37012 | 6162 0 nan | 0.000 % | 2.67/2.76 c =============================================================================== 2.67/2.76 c core #230 2.67/2.76 c Core size: 13 Core Weight: 1 Total Weight: -220 2.67/2.76 c Elapsed CPU time: 2.72758 s Remaining CPU time: 1797.27 s 2.67/2.77 c ============================[ Search Statistics ]============================== 2.67/2.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.67/2.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.67/2.77 c =============================================================================== 2.67/2.77 c | 0 | 928 18489 37024 | 6163 0 nan | 0.000 % | 2.67/2.78 c =============================================================================== 2.67/2.78 c core #231 2.67/2.78 c Core size: 13 Core Weight: 1 Total Weight: -219 2.67/2.78 c Elapsed CPU time: 2.74358 s Remaining CPU time: 1797.26 s 2.67/2.79 c ============================[ Search Statistics ]============================== 2.67/2.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.67/2.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.67/2.79 c =============================================================================== 2.67/2.79 c | 0 | 934 18490 37036 | 6163 0 nan | 0.000 % | 2.67/2.79 c =============================================================================== 2.67/2.79 c core #232 2.67/2.79 c Core size: 13 Core Weight: 1 Total Weight: -218 2.67/2.79 c Elapsed CPU time: 2.75958 s Remaining CPU time: 1797.24 s 2.77/2.81 c ============================[ Search Statistics ]============================== 2.77/2.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.77/2.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.77/2.81 c =============================================================================== 2.77/2.81 c | 0 | 940 18491 37048 | 6163 0 nan | 0.000 % | 2.77/2.81 c =============================================================================== 2.77/2.81 c core #233 2.77/2.81 c Core size: 10 Core Weight: 1 Total Weight: -217 2.77/2.81 c Elapsed CPU time: 2.77358 s Remaining CPU time: 1797.23 s 2.77/2.82 c ============================[ Search Statistics ]============================== 2.77/2.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.77/2.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.77/2.82 c =============================================================================== 2.77/2.82 c | 0 | 944 18492 37056 | 6164 0 nan | 0.000 % | 2.77/2.82 c =============================================================================== 2.77/2.82 c core #234 2.77/2.82 c Core size: 10 Core Weight: 1 Total Weight: -216 2.77/2.82 c Elapsed CPU time: 2.78758 s Remaining CPU time: 1797.21 s 2.77/2.84 c ============================[ Search Statistics ]============================== 2.77/2.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.77/2.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.77/2.84 c =============================================================================== 2.77/2.84 c | 0 | 948 18493 37064 | 6164 0 nan | 0.000 % | 2.77/2.84 c =============================================================================== 2.77/2.84 c core #235 2.77/2.84 c Core size: 10 Core Weight: 1 Total Weight: -215 2.77/2.84 c Elapsed CPU time: 2.80257 s Remaining CPU time: 1797.2 s 2.77/2.85 c ============================[ Search Statistics ]============================== 2.77/2.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.77/2.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.77/2.85 c =============================================================================== 2.77/2.85 c | 0 | 952 18494 37072 | 6164 0 nan | 0.000 % | 2.77/2.85 c =============================================================================== 2.77/2.85 c core #236 2.77/2.85 c Core size: 10 Core Weight: 1 Total Weight: -214 2.77/2.85 c Elapsed CPU time: 2.81957 s Remaining CPU time: 1797.18 s 2.77/2.87 c ============================[ Search Statistics ]============================== 2.77/2.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.77/2.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.77/2.87 c =============================================================================== 2.77/2.87 c | 0 | 956 18495 37080 | 6165 0 nan | 0.000 % | 2.77/2.87 c =============================================================================== 2.77/2.87 c core #237 2.77/2.87 c Core size: 13 Core Weight: 1 Total Weight: -213 2.77/2.87 c Elapsed CPU time: 2.83457 s Remaining CPU time: 1797.17 s 2.77/2.88 c ============================[ Search Statistics ]============================== 2.77/2.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.77/2.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.77/2.88 c =============================================================================== 2.77/2.88 c | 0 | 962 18496 37092 | 6165 0 nan | 0.000 % | 2.77/2.89 c =============================================================================== 2.77/2.89 c core #238 2.77/2.89 c Core size: 30 Core Weight: 1 Total Weight: -212 2.77/2.89 c Elapsed CPU time: 2.85157 s Remaining CPU time: 1797.15 s 2.87/2.90 c ============================[ Search Statistics ]============================== 2.87/2.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.87/2.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.87/2.90 c =============================================================================== 2.87/2.90 c | 0 | 970 18497 37108 | 6165 0 nan | 0.000 % | 2.87/2.90 c =============================================================================== 2.87/2.90 c core #239 2.87/2.90 c Core size: 13 Core Weight: 1 Total Weight: -211 2.87/2.90 c Elapsed CPU time: 2.86656 s Remaining CPU time: 1797.13 s 2.87/2.92 c ============================[ Search Statistics ]============================== 2.87/2.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.87/2.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.87/2.92 c =============================================================================== 2.87/2.92 c | 0 | 976 18498 37120 | 6166 0 nan | 0.000 % | 2.87/2.92 c =============================================================================== 2.87/2.92 c core #240 2.87/2.92 c Core size: 10 Core Weight: 1 Total Weight: -210 2.87/2.92 c Elapsed CPU time: 2.88156 s Remaining CPU time: 1797.12 s 2.87/2.93 c ============================[ Search Statistics ]============================== 2.87/2.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.87/2.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.87/2.93 c =============================================================================== 2.87/2.93 c | 0 | 980 18499 37128 | 6166 0 nan | 0.000 % | 2.87/2.93 c =============================================================================== 2.87/2.93 c core #241 2.87/2.93 c Core size: 10 Core Weight: 1 Total Weight: -209 2.87/2.93 c Elapsed CPU time: 2.89756 s Remaining CPU time: 1797.1 s 2.87/2.95 c ============================[ Search Statistics ]============================== 2.87/2.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.87/2.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.87/2.95 c =============================================================================== 2.87/2.95 c | 0 | 984 18500 37136 | 6166 0 nan | 0.000 % | 2.87/2.95 c =============================================================================== 2.87/2.95 c core #242 2.87/2.95 c Core size: 10 Core Weight: 1 Total Weight: -208 2.87/2.95 c Elapsed CPU time: 2.91256 s Remaining CPU time: 1797.09 s 2.87/2.96 c ============================[ Search Statistics ]============================== 2.87/2.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.87/2.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.87/2.97 c =============================================================================== 2.87/2.97 c | 0 | 988 18501 37144 | 6167 0 nan | 0.000 % | 2.87/2.97 c =============================================================================== 2.87/2.97 c core #243 2.87/2.97 c Core size: 13 Core Weight: 1 Total Weight: -207 2.87/2.97 c Elapsed CPU time: 2.92755 s Remaining CPU time: 1797.07 s 2.87/2.98 c ============================[ Search Statistics ]============================== 2.87/2.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.87/2.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.87/2.98 c =============================================================================== 2.87/2.98 c | 0 | 994 18502 37156 | 6167 0 nan | 0.000 % | 2.87/2.98 c =============================================================================== 2.87/2.98 c core #244 2.87/2.98 c Core size: 13 Core Weight: 1 Total Weight: -206 2.87/2.98 c Elapsed CPU time: 2.94355 s Remaining CPU time: 1797.06 s 2.96/3.00 c ============================[ Search Statistics ]============================== 2.96/3.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.96/3.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.96/3.00 c =============================================================================== 2.96/3.00 c | 0 | 1000 18503 37168 | 6167 0 nan | 0.000 % | 2.96/3.00 c =============================================================================== 2.96/3.00 c core #245 2.96/3.00 c Core size: 10 Core Weight: 1 Total Weight: -205 2.96/3.00 c Elapsed CPU time: 2.95955 s Remaining CPU time: 1797.04 s 2.96/3.01 c ============================[ Search Statistics ]============================== 2.96/3.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.96/3.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.96/3.01 c =============================================================================== 2.96/3.01 c | 0 | 1004 18504 37176 | 6168 0 nan | 0.000 % | 2.96/3.02 c =============================================================================== 2.96/3.02 c core #246 2.96/3.02 c Core size: 13 Core Weight: 1 Total Weight: -204 2.96/3.02 c Elapsed CPU time: 2.97455 s Remaining CPU time: 1797.03 s 2.96/3.03 c ============================[ Search Statistics ]============================== 2.96/3.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.96/3.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.96/3.03 c =============================================================================== 2.96/3.03 c | 0 | 1010 18505 37188 | 6168 0 nan | 0.000 % | 2.96/3.03 c =============================================================================== 2.96/3.03 c core #247 2.96/3.03 c Core size: 27 Core Weight: 1 Total Weight: -203 2.96/3.03 c Elapsed CPU time: 2.99254 s Remaining CPU time: 1797.01 s 2.96/3.05 c ============================[ Search Statistics ]============================== 2.96/3.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.96/3.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.96/3.05 c =============================================================================== 2.96/3.05 c | 0 | 1022 18506 37212 | 6168 0 nan | 0.000 % | 2.96/3.05 c =============================================================================== 2.96/3.05 c core #248 2.96/3.05 c Core size: 10 Core Weight: 1 Total Weight: -202 2.96/3.05 c Elapsed CPU time: 3.00754 s Remaining CPU time: 1796.99 s 2.96/3.06 c ============================[ Search Statistics ]============================== 2.96/3.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.96/3.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.96/3.06 c =============================================================================== 2.96/3.06 c | 0 | 1026 18507 37220 | 6169 0 nan | 0.000 % | 2.96/3.07 c =============================================================================== 2.96/3.07 c core #249 2.96/3.07 c Core size: 10 Core Weight: 1 Total Weight: -201 2.96/3.07 c Elapsed CPU time: 3.02354 s Remaining CPU time: 1796.98 s 2.96/3.08 c ============================[ Search Statistics ]============================== 2.96/3.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.96/3.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.96/3.08 c =============================================================================== 2.96/3.08 c | 0 | 1030 18508 37228 | 6169 0 nan | 0.000 % | 2.96/3.08 c =============================================================================== 2.96/3.08 c core #250 2.96/3.08 c Core size: 24 Core Weight: 1 Total Weight: -200 2.96/3.08 c Elapsed CPU time: 3.03954 s Remaining CPU time: 1796.96 s 3.07/3.10 c ============================[ Search Statistics ]============================== 3.07/3.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.07/3.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.07/3.10 c =============================================================================== 3.07/3.10 c | 0 | 1040 18509 37248 | 6169 0 nan | 0.000 % | 3.07/3.10 c =============================================================================== 3.07/3.10 c core #251 3.07/3.10 c Core size: 24 Core Weight: 1 Total Weight: -199 3.07/3.10 c Elapsed CPU time: 3.05654 s Remaining CPU time: 1796.94 s 3.07/3.12 c ============================[ Search Statistics ]============================== 3.07/3.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.07/3.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.07/3.12 c =============================================================================== 3.07/3.12 c | 0 | 1050 18510 37268 | 6170 0 nan | 0.000 % | 3.07/3.12 c =============================================================================== 3.07/3.12 c core #252 3.07/3.12 c Core size: 30 Core Weight: 1 Total Weight: -198 3.07/3.12 c Elapsed CPU time: 3.07353 s Remaining CPU time: 1796.93 s 3.07/3.13 c ============================[ Search Statistics ]============================== 3.07/3.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.07/3.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.07/3.13 c =============================================================================== 3.07/3.13 c | 0 | 1058 18511 37284 | 6170 0 nan | 0.000 % | 3.07/3.13 c =============================================================================== 3.07/3.13 c core #253 3.07/3.13 c Core size: 13 Core Weight: 1 Total Weight: -197 3.07/3.13 c Elapsed CPU time: 3.08853 s Remaining CPU time: 1796.91 s 3.07/3.15 c ============================[ Search Statistics ]============================== 3.07/3.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.07/3.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.07/3.15 c =============================================================================== 3.07/3.15 c | 0 | 1064 18512 37296 | 6170 0 nan | 0.000 % | 3.07/3.15 c =============================================================================== 3.07/3.15 c core #254 3.07/3.15 c Core size: 10 Core Weight: 1 Total Weight: -196 3.07/3.15 c Elapsed CPU time: 3.10553 s Remaining CPU time: 1796.89 s 3.07/3.17 c ============================[ Search Statistics ]============================== 3.07/3.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.07/3.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.07/3.17 c =============================================================================== 3.07/3.17 c | 0 | 1068 18513 37304 | 6171 0 nan | 0.000 % | 3.07/3.17 c =============================================================================== 3.07/3.17 c core #255 3.07/3.17 c Core size: 10 Core Weight: 1 Total Weight: -195 3.07/3.17 c Elapsed CPU time: 3.12153 s Remaining CPU time: 1796.88 s 3.07/3.18 c ============================[ Search Statistics ]============================== 3.07/3.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.07/3.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.07/3.18 c =============================================================================== 3.07/3.18 c | 0 | 1072 18514 37312 | 6171 0 nan | 0.000 % | 3.07/3.18 c =============================================================================== 3.07/3.18 c core #256 3.07/3.18 c Core size: 13 Core Weight: 1 Total Weight: -194 3.07/3.18 c Elapsed CPU time: 3.13752 s Remaining CPU time: 1796.86 s 3.07/3.20 c ============================[ Search Statistics ]============================== 3.07/3.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.07/3.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.07/3.20 c =============================================================================== 3.07/3.20 c | 0 | 1078 18515 37324 | 6171 0 nan | 0.000 % | 3.17/3.20 c =============================================================================== 3.17/3.20 c core #257 3.17/3.20 c Core size: 13 Core Weight: 1 Total Weight: -193 3.17/3.20 c Elapsed CPU time: 3.15352 s Remaining CPU time: 1796.85 s 3.17/3.22 c ============================[ Search Statistics ]============================== 3.17/3.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.17/3.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.17/3.22 c =============================================================================== 3.17/3.22 c | 0 | 1084 18516 37336 | 6172 0 nan | 0.000 % | 3.17/3.22 c =============================================================================== 3.17/3.22 c core #258 3.17/3.22 c Core size: 30 Core Weight: 1 Total Weight: -192 3.17/3.22 c Elapsed CPU time: 3.16852 s Remaining CPU time: 1796.83 s 3.17/3.23 c ============================[ Search Statistics ]============================== 3.17/3.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.17/3.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.17/3.23 c =============================================================================== 3.17/3.23 c | 0 | 1092 18517 37352 | 6172 0 nan | 0.000 % | 3.17/3.24 c =============================================================================== 3.17/3.24 c core #259 3.17/3.24 c Core size: 13 Core Weight: 1 Total Weight: -191 3.17/3.24 c Elapsed CPU time: 3.18651 s Remaining CPU time: 1796.81 s 3.17/3.25 c ============================[ Search Statistics ]============================== 3.17/3.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.17/3.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.17/3.25 c =============================================================================== 3.17/3.25 c | 0 | 1098 18518 37364 | 6172 0 nan | 0.000 % | 3.17/3.25 c =============================================================================== 3.17/3.25 c core #260 3.17/3.25 c Core size: 13 Core Weight: 1 Total Weight: -190 3.17/3.25 c Elapsed CPU time: 3.20351 s Remaining CPU time: 1796.8 s 3.17/3.27 c ============================[ Search Statistics ]============================== 3.17/3.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.17/3.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.17/3.27 c =============================================================================== 3.17/3.27 c | 0 | 1104 18519 37376 | 6173 0 nan | 0.000 % | 3.17/3.27 c =============================================================================== 3.17/3.27 c core #261 3.17/3.27 c Core size: 13 Core Weight: 1 Total Weight: -189 3.17/3.27 c Elapsed CPU time: 3.21951 s Remaining CPU time: 1796.78 s 3.17/3.29 c ============================[ Search Statistics ]============================== 3.17/3.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.17/3.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.17/3.29 c =============================================================================== 3.17/3.29 c | 0 | 1110 18520 37388 | 6173 0 nan | 0.000 % | 3.17/3.29 c =============================================================================== 3.17/3.29 c core #262 3.17/3.29 c Core size: 10 Core Weight: 1 Total Weight: -188 3.17/3.29 c Elapsed CPU time: 3.23751 s Remaining CPU time: 1796.76 s 3.26/3.30 c ============================[ Search Statistics ]============================== 3.26/3.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.26/3.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.26/3.30 c =============================================================================== 3.26/3.30 c | 0 | 1114 18521 37396 | 6173 0 nan | 0.000 % | 3.26/3.31 c =============================================================================== 3.26/3.31 c core #263 3.26/3.31 c Core size: 13 Core Weight: 1 Total Weight: -187 3.26/3.31 c Elapsed CPU time: 3.25351 s Remaining CPU time: 1796.75 s 3.26/3.32 c ============================[ Search Statistics ]============================== 3.26/3.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.26/3.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.26/3.32 c =============================================================================== 3.26/3.32 c | 0 | 1120 18522 37408 | 6174 0 nan | 0.000 % | 3.26/3.32 c =============================================================================== 3.26/3.32 c core #264 3.26/3.32 c Core size: 10 Core Weight: 1 Total Weight: -186 3.26/3.32 c Elapsed CPU time: 3.2705 s Remaining CPU time: 1796.73 s 3.26/3.34 c ============================[ Search Statistics ]============================== 3.26/3.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.26/3.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.26/3.34 c =============================================================================== 3.26/3.34 c | 0 | 1124 18523 37416 | 6174 0 nan | 0.000 % | 3.26/3.34 c =============================================================================== 3.26/3.34 c core #265 3.26/3.34 c Core size: 10 Core Weight: 1 Total Weight: -185 3.26/3.34 c Elapsed CPU time: 3.2875 s Remaining CPU time: 1796.71 s 3.26/3.36 c ============================[ Search Statistics ]============================== 3.26/3.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.26/3.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.26/3.36 c =============================================================================== 3.26/3.36 c | 0 | 1128 18524 37424 | 6174 0 nan | 0.000 % | 3.26/3.36 c =============================================================================== 3.26/3.36 c core #266 3.26/3.36 c Core size: 30 Core Weight: 1 Total Weight: -184 3.26/3.36 c Elapsed CPU time: 3.3025 s Remaining CPU time: 1796.7 s 3.26/3.37 c ============================[ Search Statistics ]============================== 3.26/3.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.26/3.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.26/3.37 c =============================================================================== 3.26/3.37 c | 0 | 1136 18525 37440 | 6175 0 nan | 0.000 % | 3.26/3.38 c =============================================================================== 3.26/3.38 c core #267 3.26/3.38 c Core size: 10 Core Weight: 1 Total Weight: -183 3.26/3.38 c Elapsed CPU time: 3.31949 s Remaining CPU time: 1796.68 s 3.26/3.39 c ============================[ Search Statistics ]============================== 3.26/3.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.26/3.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.26/3.39 c =============================================================================== 3.26/3.39 c | 0 | 1140 18526 37448 | 6175 0 nan | 0.000 % | 3.26/3.39 c =============================================================================== 3.26/3.39 c core #268 3.26/3.39 c Core size: 13 Core Weight: 1 Total Weight: -182 3.26/3.39 c Elapsed CPU time: 3.33749 s Remaining CPU time: 1796.66 s 3.35/3.41 c ============================[ Search Statistics ]============================== 3.35/3.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.35/3.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.35/3.41 c =============================================================================== 3.35/3.41 c | 0 | 1146 18527 37460 | 6175 0 nan | 0.000 % | 3.35/3.41 c =============================================================================== 3.35/3.41 c core #269 3.35/3.41 c Core size: 13 Core Weight: 1 Total Weight: -181 3.35/3.41 c Elapsed CPU time: 3.35549 s Remaining CPU time: 1796.64 s 3.35/3.43 c ============================[ Search Statistics ]============================== 3.35/3.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.35/3.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.35/3.43 c =============================================================================== 3.35/3.43 c | 0 | 1152 18528 37472 | 6176 0 nan | 0.000 % | 3.35/3.43 c =============================================================================== 3.35/3.43 c core #270 3.35/3.43 c Core size: 13 Core Weight: 1 Total Weight: -180 3.35/3.43 c Elapsed CPU time: 3.37449 s Remaining CPU time: 1796.63 s 3.35/3.45 c ============================[ Search Statistics ]============================== 3.35/3.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.35/3.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.35/3.45 c =============================================================================== 3.35/3.45 c | 0 | 1158 18529 37484 | 6176 0 nan | 0.000 % | 3.35/3.45 c =============================================================================== 3.35/3.45 c core #271 3.35/3.45 c Core size: 10 Core Weight: 1 Total Weight: -179 3.35/3.45 c Elapsed CPU time: 3.39048 s Remaining CPU time: 1796.61 s 3.35/3.46 c ============================[ Search Statistics ]============================== 3.35/3.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.35/3.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.35/3.46 c =============================================================================== 3.35/3.46 c | 0 | 1162 18530 37492 | 6176 0 nan | 0.000 % | 3.35/3.47 c =============================================================================== 3.35/3.47 c core #272 3.35/3.47 c Core size: 10 Core Weight: 1 Total Weight: -178 3.35/3.47 c Elapsed CPU time: 3.40748 s Remaining CPU time: 1796.59 s 3.35/3.48 c ============================[ Search Statistics ]============================== 3.35/3.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.35/3.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.35/3.48 c =============================================================================== 3.35/3.48 c | 0 | 1166 18531 37500 | 6177 0 nan | 0.000 % | 3.35/3.48 c =============================================================================== 3.35/3.48 c core #273 3.35/3.48 c Core size: 18 Core Weight: 1 Total Weight: -177 3.35/3.48 c Elapsed CPU time: 3.42448 s Remaining CPU time: 1796.58 s 3.45/3.50 c ============================[ Search Statistics ]============================== 3.45/3.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.45/3.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.45/3.50 c =============================================================================== 3.45/3.50 c | 0 | 1172 18532 37512 | 6177 0 nan | 0.000 % | 3.45/3.50 c =============================================================================== 3.45/3.50 c core #274 3.45/3.50 c Core size: 13 Core Weight: 1 Total Weight: -176 3.45/3.50 c Elapsed CPU time: 3.44248 s Remaining CPU time: 1796.56 s 3.45/3.52 c ============================[ Search Statistics ]============================== 3.45/3.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.45/3.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.45/3.52 c =============================================================================== 3.45/3.52 c | 0 | 1178 18533 37524 | 6177 0 nan | 0.000 % | 3.45/3.52 c =============================================================================== 3.45/3.52 c core #275 3.45/3.52 c Core size: 10 Core Weight: 1 Total Weight: -175 3.45/3.52 c Elapsed CPU time: 3.45947 s Remaining CPU time: 1796.54 s 3.45/3.54 c ============================[ Search Statistics ]============================== 3.45/3.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.45/3.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.45/3.54 c =============================================================================== 3.45/3.54 c | 0 | 1182 18534 37532 | 6178 0 nan | 0.000 % | 3.45/3.54 c =============================================================================== 3.45/3.54 c core #276 3.45/3.54 c Core size: 13 Core Weight: 1 Total Weight: -174 3.45/3.54 c Elapsed CPU time: 3.47847 s Remaining CPU time: 1796.52 s 3.45/3.55 c ============================[ Search Statistics ]============================== 3.45/3.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.45/3.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.45/3.55 c =============================================================================== 3.45/3.55 c | 0 | 1188 18535 37544 | 6178 0 nan | 0.000 % | 3.45/3.56 c =============================================================================== 3.45/3.56 c core #277 3.45/3.56 c Core size: 10 Core Weight: 1 Total Weight: -173 3.45/3.56 c Elapsed CPU time: 3.49447 s Remaining CPU time: 1796.51 s 3.45/3.57 c ============================[ Search Statistics ]============================== 3.45/3.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.45/3.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.45/3.57 c =============================================================================== 3.45/3.57 c | 0 | 1192 18536 37552 | 6178 0 nan | 0.000 % | 3.45/3.57 c =============================================================================== 3.45/3.57 c core #278 3.45/3.57 c Core size: 13 Core Weight: 1 Total Weight: -172 3.45/3.57 c Elapsed CPU time: 3.51247 s Remaining CPU time: 1796.49 s 3.45/3.59 c ============================[ Search Statistics ]============================== 3.45/3.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.45/3.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.45/3.59 c =============================================================================== 3.45/3.59 c | 0 | 1198 18537 37564 | 6179 0 nan | 0.000 % | 3.45/3.59 c =============================================================================== 3.45/3.59 c core #279 3.45/3.59 c Core size: 27 Core Weight: 1 Total Weight: -171 3.45/3.59 c Elapsed CPU time: 3.53146 s Remaining CPU time: 1796.47 s 3.55/3.61 c ============================[ Search Statistics ]============================== 3.55/3.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.55/3.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.55/3.61 c =============================================================================== 3.55/3.61 c | 0 | 1210 18538 37588 | 6179 0 nan | 0.000 % | 3.55/3.61 c =============================================================================== 3.55/3.61 c core #280 3.55/3.61 c Core size: 10 Core Weight: 1 Total Weight: -170 3.55/3.61 c Elapsed CPU time: 3.55046 s Remaining CPU time: 1796.45 s 3.55/3.63 c ============================[ Search Statistics ]============================== 3.55/3.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.55/3.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.55/3.63 c =============================================================================== 3.55/3.63 c | 0 | 1214 18539 37596 | 6179 0 nan | 0.000 % | 3.55/3.63 c =============================================================================== 3.55/3.63 c core #281 3.55/3.63 c Core size: 10 Core Weight: 1 Total Weight: -169 3.55/3.63 c Elapsed CPU time: 3.56946 s Remaining CPU time: 1796.43 s 3.55/3.65 c ============================[ Search Statistics ]============================== 3.55/3.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.55/3.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.55/3.65 c =============================================================================== 3.55/3.65 c | 0 | 1218 18540 37604 | 6180 0 nan | 0.000 % | 3.55/3.65 c =============================================================================== 3.55/3.65 c core #282 3.55/3.65 c Core size: 27 Core Weight: 1 Total Weight: -168 3.55/3.65 c Elapsed CPU time: 3.58845 s Remaining CPU time: 1796.41 s 3.55/3.67 c ============================[ Search Statistics ]============================== 3.55/3.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.55/3.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.55/3.67 c =============================================================================== 3.55/3.67 c | 0 | 1230 18541 37628 | 6180 0 nan | 0.000 % | 3.55/3.67 c =============================================================================== 3.55/3.67 c core #283 3.55/3.67 c Core size: 13 Core Weight: 1 Total Weight: -167 3.55/3.67 c Elapsed CPU time: 3.60745 s Remaining CPU time: 1796.39 s 3.55/3.68 c ============================[ Search Statistics ]============================== 3.55/3.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.55/3.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.55/3.68 c =============================================================================== 3.55/3.68 c | 0 | 1236 18542 37640 | 6180 0 nan | 0.000 % | 3.55/3.69 c =============================================================================== 3.55/3.69 c core #284 3.55/3.69 c Core size: 10 Core Weight: 1 Total Weight: -166 3.55/3.69 c Elapsed CPU time: 3.62445 s Remaining CPU time: 1796.38 s 3.65/3.70 c ============================[ Search Statistics ]============================== 3.65/3.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.65/3.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.65/3.70 c =============================================================================== 3.65/3.70 c | 0 | 1240 18543 37648 | 6181 0 nan | 0.000 % | 3.65/3.71 c =============================================================================== 3.65/3.71 c core #285 3.65/3.71 c Core size: 13 Core Weight: 1 Total Weight: -165 3.65/3.71 c Elapsed CPU time: 3.64245 s Remaining CPU time: 1796.36 s 3.65/3.72 c ============================[ Search Statistics ]============================== 3.65/3.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.65/3.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.65/3.72 c =============================================================================== 3.65/3.72 c | 0 | 1246 18544 37660 | 6181 0 nan | 0.000 % | 3.65/3.72 c =============================================================================== 3.65/3.72 c core #286 3.65/3.72 c Core size: 10 Core Weight: 1 Total Weight: -164 3.65/3.72 c Elapsed CPU time: 3.66044 s Remaining CPU time: 1796.34 s 3.65/3.74 c ============================[ Search Statistics ]============================== 3.65/3.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.65/3.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.65/3.74 c =============================================================================== 3.65/3.74 c | 0 | 1250 18545 37668 | 6181 0 nan | 0.000 % | 3.65/3.74 c =============================================================================== 3.65/3.74 c core #287 3.65/3.74 c Core size: 13 Core Weight: 1 Total Weight: -163 3.65/3.74 c Elapsed CPU time: 3.67944 s Remaining CPU time: 1796.32 s 3.65/3.76 c ============================[ Search Statistics ]============================== 3.65/3.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.65/3.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.65/3.76 c =============================================================================== 3.65/3.76 c | 0 | 1256 18546 37680 | 6182 0 nan | 0.000 % | 3.65/3.76 c =============================================================================== 3.65/3.76 c core #288 3.65/3.76 c Core size: 10 Core Weight: 1 Total Weight: -162 3.65/3.76 c Elapsed CPU time: 3.69644 s Remaining CPU time: 1796.3 s 3.65/3.78 c ============================[ Search Statistics ]============================== 3.65/3.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.65/3.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.65/3.78 c =============================================================================== 3.65/3.78 c | 0 | 1260 18547 37688 | 6182 0 nan | 0.000 % | 3.65/3.78 c =============================================================================== 3.65/3.78 c core #289 3.65/3.78 c Core size: 27 Core Weight: 1 Total Weight: -161 3.65/3.78 c Elapsed CPU time: 3.71544 s Remaining CPU time: 1796.28 s 3.74/3.80 c ============================[ Search Statistics ]============================== 3.74/3.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.74/3.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.74/3.80 c =============================================================================== 3.74/3.80 c | 0 | 1272 18548 37712 | 6182 0 nan | 0.000 % | 3.74/3.80 c =============================================================================== 3.74/3.80 c core #290 3.74/3.80 c Core size: 13 Core Weight: 1 Total Weight: -160 3.74/3.80 c Elapsed CPU time: 3.73443 s Remaining CPU time: 1796.27 s 3.74/3.82 c ============================[ Search Statistics ]============================== 3.74/3.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.74/3.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.74/3.82 c =============================================================================== 3.74/3.82 c | 0 | 1278 18549 37724 | 6183 0 nan | 0.000 % | 3.74/3.82 c =============================================================================== 3.74/3.82 c core #291 3.74/3.82 c Core size: 13 Core Weight: 1 Total Weight: -159 3.74/3.82 c Elapsed CPU time: 3.75343 s Remaining CPU time: 1796.25 s 3.74/3.84 c ============================[ Search Statistics ]============================== 3.74/3.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.74/3.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.74/3.84 c =============================================================================== 3.74/3.84 c | 0 | 1284 18550 37736 | 6183 0 nan | 0.000 % | 3.74/3.84 c =============================================================================== 3.74/3.84 c core #292 3.74/3.84 c Core size: 10 Core Weight: 1 Total Weight: -158 3.74/3.84 c Elapsed CPU time: 3.77143 s Remaining CPU time: 1796.23 s 3.74/3.86 c ============================[ Search Statistics ]============================== 3.74/3.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.74/3.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.74/3.86 c =============================================================================== 3.74/3.86 c | 0 | 1288 18551 37744 | 6183 0 nan | 0.000 % | 3.74/3.86 c =============================================================================== 3.74/3.86 c core #293 3.74/3.86 c Core size: 13 Core Weight: 1 Total Weight: -157 3.74/3.86 c Elapsed CPU time: 3.79142 s Remaining CPU time: 1796.21 s 3.74/3.88 c ============================[ Search Statistics ]============================== 3.74/3.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.74/3.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.74/3.88 c =============================================================================== 3.74/3.88 c | 0 | 1294 18552 37756 | 6184 0 nan | 0.000 % | 3.74/3.88 c =============================================================================== 3.74/3.88 c core #294 3.74/3.88 c Core size: 24 Core Weight: 1 Total Weight: -156 3.74/3.88 c Elapsed CPU time: 3.81042 s Remaining CPU time: 1796.19 s 3.84/3.90 c ============================[ Search Statistics ]============================== 3.84/3.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.84/3.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.84/3.90 c =============================================================================== 3.84/3.90 c | 0 | 1304 18553 37776 | 6184 0 nan | 0.000 % | 3.84/3.90 c =============================================================================== 3.84/3.90 c core #295 3.84/3.90 c Core size: 13 Core Weight: 1 Total Weight: -155 3.84/3.90 c Elapsed CPU time: 3.82942 s Remaining CPU time: 1796.17 s 3.84/3.92 c ============================[ Search Statistics ]============================== 3.84/3.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.84/3.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.84/3.92 c =============================================================================== 3.84/3.92 c | 0 | 1310 18554 37788 | 6184 0 nan | 0.000 % | 3.84/3.92 c =============================================================================== 3.84/3.92 c core #296 3.84/3.92 c Core size: 13 Core Weight: 1 Total Weight: -154 3.84/3.92 c Elapsed CPU time: 3.84741 s Remaining CPU time: 1796.15 s 3.84/3.94 c ============================[ Search Statistics ]============================== 3.84/3.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.84/3.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.84/3.94 c =============================================================================== 3.84/3.94 c | 0 | 1316 18555 37800 | 6185 0 nan | 0.000 % | 3.84/3.94 c =============================================================================== 3.84/3.94 c core #297 3.84/3.94 c Core size: 10 Core Weight: 1 Total Weight: -153 3.84/3.94 c Elapsed CPU time: 3.86641 s Remaining CPU time: 1796.13 s 3.84/3.96 c ============================[ Search Statistics ]============================== 3.84/3.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.84/3.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.84/3.96 c =============================================================================== 3.84/3.96 c | 0 | 1320 18556 37808 | 6185 0 nan | 0.000 % | 3.84/3.96 c =============================================================================== 3.84/3.96 c core #298 3.84/3.96 c Core size: 13 Core Weight: 1 Total Weight: -152 3.84/3.96 c Elapsed CPU time: 3.88441 s Remaining CPU time: 1796.12 s 3.84/3.98 c ============================[ Search Statistics ]============================== 3.84/3.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.84/3.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.84/3.98 c =============================================================================== 3.84/3.98 c | 0 | 1326 18557 37820 | 6185 0 nan | 0.000 % | 3.84/3.98 c =============================================================================== 3.84/3.98 c core #299 3.84/3.98 c Core size: 13 Core Weight: 1 Total Weight: -151 3.84/3.98 c Elapsed CPU time: 3.90341 s Remaining CPU time: 1796.1 s 3.94/4.00 c ============================[ Search Statistics ]============================== 3.94/4.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.94/4.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.94/4.00 c =============================================================================== 3.94/4.00 c | 0 | 1332 18558 37832 | 6186 0 nan | 0.000 % | 3.94/4.00 c =============================================================================== 3.94/4.00 c core #300 3.94/4.00 c Core size: 10 Core Weight: 1 Total Weight: -150 3.94/4.00 c Elapsed CPU time: 3.9224 s Remaining CPU time: 1796.08 s 3.94/4.02 c ============================[ Search Statistics ]============================== 3.94/4.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.94/4.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.94/4.02 c =============================================================================== 3.94/4.02 c | 0 | 1336 18559 37840 | 6186 0 nan | 0.000 % | 3.94/4.02 c =============================================================================== 3.94/4.02 c core #301 3.94/4.02 c Core size: 13 Core Weight: 1 Total Weight: -149 3.94/4.02 c Elapsed CPU time: 3.9414 s Remaining CPU time: 1796.06 s 3.94/4.04 c ============================[ Search Statistics ]============================== 3.94/4.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.94/4.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.94/4.04 c =============================================================================== 3.94/4.04 c | 0 | 1342 18560 37852 | 6186 0 nan | 0.000 % | 3.94/4.04 c =============================================================================== 3.94/4.04 c core #302 3.94/4.04 c Core size: 13 Core Weight: 1 Total Weight: -148 3.94/4.04 c Elapsed CPU time: 3.9594 s Remaining CPU time: 1796.04 s 3.94/4.05 c ============================[ Search Statistics ]============================== 3.94/4.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.94/4.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.94/4.06 c =============================================================================== 3.94/4.06 c | 0 | 1348 18561 37864 | 6187 0 nan | 0.000 % | 3.94/4.06 c =============================================================================== 3.94/4.06 c core #303 3.94/4.06 c Core size: 10 Core Weight: 1 Total Weight: -147 3.94/4.06 c Elapsed CPU time: 3.9794 s Remaining CPU time: 1796.02 s 3.94/4.07 c ============================[ Search Statistics ]============================== 3.94/4.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.94/4.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.94/4.07 c =============================================================================== 3.94/4.07 c | 0 | 1352 18562 37872 | 6187 0 nan | 0.000 % | 3.94/4.08 c =============================================================================== 3.94/4.08 c core #304 3.94/4.08 c Core size: 13 Core Weight: 1 Total Weight: -146 3.94/4.08 c Elapsed CPU time: 3.99839 s Remaining CPU time: 1796 s 3.94/4.09 c ============================[ Search Statistics ]============================== 3.94/4.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.94/4.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.94/4.09 c =============================================================================== 3.94/4.09 c | 0 | 1358 18563 37884 | 6187 0 nan | 0.000 % | 3.94/4.10 c =============================================================================== 4.04/4.10 c core #305 4.04/4.10 c Core size: 13 Core Weight: 1 Total Weight: -145 4.04/4.10 c Elapsed CPU time: 4.01739 s Remaining CPU time: 1795.98 s 4.04/4.11 c ============================[ Search Statistics ]============================== 4.04/4.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.04/4.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.04/4.11 c =============================================================================== 4.04/4.11 c | 0 | 1364 18564 37896 | 6188 0 nan | 0.000 % | 4.04/4.12 c =============================================================================== 4.04/4.12 c core #306 4.04/4.12 c Core size: 13 Core Weight: 1 Total Weight: -144 4.04/4.12 c Elapsed CPU time: 4.03639 s Remaining CPU time: 1795.96 s 4.04/4.13 c ============================[ Search Statistics ]============================== 4.04/4.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.04/4.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.04/4.13 c =============================================================================== 4.04/4.13 c | 0 | 1370 18565 37908 | 6188 0 nan | 0.000 % | 4.04/4.14 c =============================================================================== 4.04/4.14 c core #307 4.04/4.14 c Core size: 10 Core Weight: 1 Total Weight: -143 4.04/4.14 c Elapsed CPU time: 4.05338 s Remaining CPU time: 1795.95 s 4.04/4.15 c ============================[ Search Statistics ]============================== 4.04/4.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.04/4.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.04/4.15 c =============================================================================== 4.04/4.15 c | 0 | 1374 18566 37916 | 6188 0 nan | 0.000 % | 4.04/4.16 c =============================================================================== 4.04/4.16 c core #308 4.04/4.16 c Core size: 10 Core Weight: 1 Total Weight: -142 4.04/4.16 c Elapsed CPU time: 4.07338 s Remaining CPU time: 1795.93 s 4.04/4.17 c ============================[ Search Statistics ]============================== 4.04/4.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.04/4.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.04/4.17 c =============================================================================== 4.04/4.17 c | 0 | 1378 18567 37924 | 6189 0 nan | 0.000 % | 4.04/4.18 c =============================================================================== 4.04/4.18 c core #309 4.04/4.18 c Core size: 10 Core Weight: 1 Total Weight: -141 4.04/4.18 c Elapsed CPU time: 4.09338 s Remaining CPU time: 1795.91 s 4.04/4.19 c ============================[ Search Statistics ]============================== 4.04/4.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.04/4.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.04/4.19 c =============================================================================== 4.04/4.19 c | 0 | 1382 18568 37932 | 6189 0 nan | 0.000 % | 4.14/4.20 c =============================================================================== 4.14/4.20 c core #310 4.14/4.20 c Core size: 13 Core Weight: 1 Total Weight: -140 4.14/4.20 c Elapsed CPU time: 4.11337 s Remaining CPU time: 1795.89 s 4.14/4.22 c ============================[ Search Statistics ]============================== 4.14/4.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.14/4.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.14/4.22 c =============================================================================== 4.14/4.22 c | 0 | 1388 18569 37944 | 6189 0 nan | 0.000 % | 4.14/4.22 c =============================================================================== 4.14/4.22 c core #311 4.14/4.22 c Core size: 17 Core Weight: 1 Total Weight: -139 4.14/4.22 c Elapsed CPU time: 4.13337 s Remaining CPU time: 1795.87 s 4.14/4.24 c ============================[ Search Statistics ]============================== 4.14/4.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.14/4.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.14/4.24 c =============================================================================== 4.14/4.24 c | 0 | 1396 18570 37960 | 6190 0 nan | 0.000 % | 4.14/4.24 c =============================================================================== 4.14/4.24 c core #312 4.14/4.24 c Core size: 10 Core Weight: 1 Total Weight: -138 4.14/4.24 c Elapsed CPU time: 4.15337 s Remaining CPU time: 1795.85 s 4.14/4.26 c ============================[ Search Statistics ]============================== 4.14/4.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.14/4.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.14/4.26 c =============================================================================== 4.14/4.26 c | 0 | 1400 18571 37968 | 6190 0 nan | 0.000 % | 4.14/4.26 c =============================================================================== 4.14/4.26 c core #313 4.14/4.26 c Core size: 18 Core Weight: 1 Total Weight: -137 4.14/4.26 c Elapsed CPU time: 4.17436 s Remaining CPU time: 1795.83 s 4.14/4.28 c ============================[ Search Statistics ]============================== 4.14/4.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.14/4.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.14/4.28 c =============================================================================== 4.14/4.28 c | 0 | 1406 18572 37980 | 6190 0 nan | 0.000 % | 4.14/4.28 c =============================================================================== 4.14/4.28 c core #314 4.14/4.28 c Core size: 18 Core Weight: 1 Total Weight: -136 4.14/4.28 c Elapsed CPU time: 4.19336 s Remaining CPU time: 1795.81 s 4.14/4.30 c ============================[ Search Statistics ]============================== 4.14/4.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.14/4.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.14/4.30 c =============================================================================== 4.14/4.30 c | 0 | 1414 18573 37996 | 6191 0 nan | 0.000 % | 4.24/4.30 c =============================================================================== 4.24/4.30 c core #315 4.24/4.30 c Core size: 37 Core Weight: 1 Total Weight: -135 4.24/4.30 c Elapsed CPU time: 4.21436 s Remaining CPU time: 1795.79 s 4.24/4.32 c ============================[ Search Statistics ]============================== 4.24/4.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.24/4.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.24/4.32 c =============================================================================== 4.24/4.32 c | 0 | 1428 18574 38024 | 6191 0 nan | 0.000 % | 4.24/4.32 c =============================================================================== 4.24/4.32 c core #316 4.24/4.32 c Core size: 27 Core Weight: 1 Total Weight: -134 4.24/4.32 c Elapsed CPU time: 4.23536 s Remaining CPU time: 1795.76 s 4.24/4.34 c ============================[ Search Statistics ]============================== 4.24/4.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.24/4.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.24/4.34 c =============================================================================== 4.24/4.34 c | 0 | 1436 18575 38040 | 6191 0 nan | 0.000 % | 4.24/4.35 c =============================================================================== 4.24/4.35 c core #317 4.24/4.35 c Core size: 72 Core Weight: 1 Total Weight: -133 4.24/4.35 c Elapsed CPU time: 4.25735 s Remaining CPU time: 1795.74 s 4.24/4.36 c ============================[ Search Statistics ]============================== 4.24/4.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.24/4.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.24/4.37 c =============================================================================== 4.24/4.37 c | 0 | 1456 18576 38080 | 6192 0 nan | 0.000 % | 4.24/4.37 c =============================================================================== 4.24/4.37 c core #318 4.24/4.37 c Core size: 30 Core Weight: 1 Total Weight: -132 4.24/4.37 c Elapsed CPU time: 4.27935 s Remaining CPU time: 1795.72 s 4.24/4.39 c ============================[ Search Statistics ]============================== 4.24/4.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.24/4.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.24/4.39 c =============================================================================== 4.24/4.39 c | 0 | 1464 18577 38096 | 6192 0 nan | 0.000 % | 4.24/4.39 c =============================================================================== 4.24/4.39 c core #319 4.24/4.39 c Core size: 52 Core Weight: 1 Total Weight: -131 4.24/4.39 c Elapsed CPU time: 4.30135 s Remaining CPU time: 1795.7 s 4.34/4.41 c ============================[ Search Statistics ]============================== 4.34/4.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.34/4.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.34/4.41 c =============================================================================== 4.34/4.41 c | 0 | 1482 18578 38132 | 6192 0 nan | 0.000 % | 4.34/4.41 c =============================================================================== 4.34/4.41 c core #320 4.34/4.41 c Core size: 53 Core Weight: 1 Total Weight: -130 4.34/4.41 c Elapsed CPU time: 4.32234 s Remaining CPU time: 1795.68 s 4.34/4.43 c ============================[ Search Statistics ]============================== 4.34/4.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.34/4.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.34/4.43 c =============================================================================== 4.34/4.43 c | 0 | 1502 18579 38172 | 6193 0 nan | 0.000 % | 4.34/4.44 c =============================================================================== 4.34/4.44 c core #321 4.34/4.44 c Core size: 44 Core Weight: 1 Total Weight: -129 4.34/4.44 c Elapsed CPU time: 4.34334 s Remaining CPU time: 1795.66 s 4.34/4.46 c ============================[ Search Statistics ]============================== 4.34/4.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.34/4.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.34/4.46 c =============================================================================== 4.34/4.46 c | 0 | 1516 18580 38200 | 6193 0 nan | 0.000 % | 4.34/4.46 c =============================================================================== 4.34/4.46 c core #322 4.34/4.46 c Core size: 32 Core Weight: 1 Total Weight: -128 4.34/4.46 c Elapsed CPU time: 4.36534 s Remaining CPU time: 1795.63 s 4.34/4.48 c ============================[ Search Statistics ]============================== 4.34/4.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.34/4.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.34/4.48 c =============================================================================== 4.34/4.48 c | 0 | 1526 18581 38220 | 6193 0 nan | 0.000 % | 4.34/4.49 c | 102 | 1526 18581 38220 | 6813 102 11 | 0.000 % | 4.34/4.49 c | 252 | 1525 18581 38220 | 7494 252 13 | 0.131 % | 4.34/4.49 c =============================================================================== 4.34/4.49 c core #323 4.34/4.49 c Core size: 160 Core Weight: 1 Total Weight: -127 4.34/4.49 c Elapsed CPU time: 4.39633 s Remaining CPU time: 1795.6 s 4.42/4.51 c ============================[ Search Statistics ]============================== 4.42/4.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.42/4.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.42/4.51 c =============================================================================== 4.42/4.51 c | 0 | 1558 18582 38284 | 6194 0 nan | 0.000 % | 4.42/4.52 c =============================================================================== 4.42/4.52 c core #324 4.42/4.52 c Core size: 37 Core Weight: 1 Total Weight: -126 4.42/4.52 c Elapsed CPU time: 4.42033 s Remaining CPU time: 1795.58 s 4.42/4.54 c ============================[ Search Statistics ]============================== 4.42/4.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.42/4.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.42/4.54 c =============================================================================== 4.42/4.54 c | 0 | 1570 18583 38308 | 6194 0 nan | 0.000 % | 4.42/4.54 c | 104 | 1570 18583 38308 | 6813 104 19 | 0.000 % | 4.42/4.55 c =============================================================================== 4.42/4.55 c core #325 4.42/4.55 c Core size: 64 Core Weight: 1 Total Weight: -125 4.42/4.55 c Elapsed CPU time: 4.44732 s Remaining CPU time: 1795.55 s 4.42/4.57 c ============================[ Search Statistics ]============================== 4.42/4.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.42/4.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.42/4.57 c =============================================================================== 4.42/4.57 c | 0 | 1594 18584 38356 | 6194 0 nan | 0.000 % | 4.42/4.57 c =============================================================================== 4.42/4.57 c core #326 4.42/4.57 c Core size: 30 Core Weight: 1 Total Weight: -124 4.42/4.57 c Elapsed CPU time: 4.46832 s Remaining CPU time: 1795.53 s 4.42/4.59 c ============================[ Search Statistics ]============================== 4.42/4.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.42/4.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.42/4.59 c =============================================================================== 4.42/4.59 c | 0 | 1602 18585 38372 | 6195 0 nan | 0.000 % | 4.42/4.59 c =============================================================================== 4.42/4.59 c core #327 4.42/4.59 c Core size: 55 Core Weight: 1 Total Weight: -123 4.42/4.59 c Elapsed CPU time: 4.49232 s Remaining CPU time: 1795.51 s 4.52/4.61 c ============================[ Search Statistics ]============================== 4.52/4.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.52/4.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.52/4.61 c =============================================================================== 4.52/4.61 c | 0 | 1620 18586 38408 | 6195 0 nan | 0.000 % | 4.52/4.62 c | 100 | 1620 18586 38408 | 6814 100 13 | 0.000 % | 4.52/4.63 c | 256 | 1619 18586 38408 | 7496 256 16 | 0.062 % | 4.52/4.64 c | 483 | 1617 18586 38408 | 8245 483 19 | 0.185 % | 4.52/4.65 c | 820 | 1611 18586 38408 | 9070 794 20 | 0.741 % | 4.52/4.66 c =============================================================================== 4.52/4.66 c core #328 4.52/4.66 c Core size: 241 Core Weight: 1 Total Weight: -122 4.52/4.66 c Elapsed CPU time: 4.55531 s Remaining CPU time: 1795.44 s 4.52/4.68 c ============================[ Search Statistics ]============================== 4.52/4.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.52/4.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.52/4.68 c =============================================================================== 4.52/4.68 c | 0 | 1664 18587 38496 | 6195 0 nan | 0.000 % | 4.52/4.69 c | 100 | 1664 18587 38496 | 6815 100 7 | 0.000 % | 4.52/4.69 c =============================================================================== 4.52/4.69 c core #329 4.52/4.69 c Core size: 124 Core Weight: 1 Total Weight: -121 4.52/4.69 c Elapsed CPU time: 4.5843 s Remaining CPU time: 1795.42 s 4.63/4.71 c ============================[ Search Statistics ]============================== 4.63/4.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.63/4.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.63/4.71 c =============================================================================== 4.63/4.71 c | 0 | 1694 18588 38556 | 6196 0 nan | 0.000 % | 4.63/4.72 c | 100 | 1694 18588 38556 | 6815 100 18 | 0.000 % | 4.63/4.72 c | 250 | 1693 18588 38556 | 7497 250 18 | 0.059 % | 4.63/4.73 c | 477 | 1691 18588 38556 | 8246 477 19 | 0.177 % | 4.63/4.75 c =============================================================================== 4.63/4.75 c core #330 4.63/4.75 c Core size: 268 Core Weight: 1 Total Weight: -120 4.63/4.75 c Elapsed CPU time: 4.64329 s Remaining CPU time: 1795.36 s 4.63/4.77 c ============================[ Search Statistics ]============================== 4.63/4.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.63/4.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.63/4.77 c =============================================================================== 4.63/4.77 c | 0 | 1746 18589 38660 | 6196 0 nan | 0.000 % | 4.63/4.78 c =============================================================================== 4.63/4.78 c core #331 4.63/4.78 c Core size: 36 Core Weight: 1 Total Weight: -119 4.63/4.78 c Elapsed CPU time: 4.66629 s Remaining CPU time: 1795.33 s 4.63/4.80 c ============================[ Search Statistics ]============================== 4.63/4.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.63/4.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.63/4.80 c =============================================================================== 4.63/4.80 c | 0 | 1756 18590 38680 | 6196 0 nan | 0.000 % | 4.72/4.80 c =============================================================================== 4.72/4.80 c core #332 4.72/4.80 c Core size: 43 Core Weight: 1 Total Weight: -118 4.72/4.80 c Elapsed CPU time: 4.68729 s Remaining CPU time: 1795.31 s 4.72/4.82 c ============================[ Search Statistics ]============================== 4.72/4.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.72/4.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.72/4.82 c =============================================================================== 4.72/4.82 c | 0 | 1768 18591 38704 | 6197 0 nan | 0.000 % | 4.72/4.83 c | 100 | 1768 18591 38704 | 6816 100 9 | 0.000 % | 4.72/4.83 c | 251 | 1767 18591 38704 | 7498 251 9 | 0.057 % | 4.72/4.84 c =============================================================================== 4.72/4.85 c core #333 4.72/4.85 c Core size: 313 Core Weight: 1 Total Weight: -117 4.72/4.85 c Elapsed CPU time: 4.73028 s Remaining CPU time: 1795.27 s 4.72/4.86 c ============================[ Search Statistics ]============================== 4.72/4.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.72/4.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.72/4.86 c =============================================================================== 4.72/4.86 c | 0 | 1828 18592 38824 | 6197 0 nan | 0.000 % | 4.72/4.87 c | 101 | 1828 18592 38824 | 6817 101 24 | 0.000 % | 4.72/4.88 c | 251 | 1828 18592 38824 | 7498 251 17 | 0.000 % | 4.72/4.88 c =============================================================================== 4.72/4.88 c core #334 4.72/4.88 c Core size: 37 Core Weight: 1 Total Weight: -116 4.72/4.88 c Elapsed CPU time: 4.76328 s Remaining CPU time: 1795.24 s 4.82/4.90 c ============================[ Search Statistics ]============================== 4.82/4.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.82/4.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.82/4.90 c =============================================================================== 4.82/4.90 c | 0 | 1840 18593 38848 | 6197 0 nan | 0.000 % | 4.82/4.91 c | 102 | 1840 18593 38848 | 6817 102 14 | 0.000 % | 4.82/4.91 c =============================================================================== 4.82/4.91 c core #335 4.82/4.91 c Core size: 64 Core Weight: 1 Total Weight: -115 4.82/4.91 c Elapsed CPU time: 4.79027 s Remaining CPU time: 1795.21 s 4.82/4.93 c ============================[ Search Statistics ]============================== 4.82/4.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.82/4.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.82/4.93 c =============================================================================== 4.82/4.93 c | 0 | 1856 18594 38880 | 6198 0 nan | 0.000 % | 4.82/4.94 c | 102 | 1856 18594 38880 | 6817 102 13 | 0.000 % | 4.82/4.94 c | 252 | 1856 18594 38880 | 7499 252 17 | 0.000 % | 4.82/4.96 c | 480 | 1852 18594 38880 | 8249 480 25 | 0.216 % | 4.82/4.98 c | 820 | 1852 18594 38880 | 9074 803 33 | 0.216 % | 4.92/5.01 c | 1326 | 1852 18594 38880 | 9981 1309 40 | 0.216 % | 4.92/5.09 c | 2088 | 1835 18594 38880 | 10980 2066 41 | 1.131 % | 5.02/5.13 c =============================================================================== 5.02/5.15 c core #336 5.02/5.15 c Core size: 480 Core Weight: 1 Total Weight: -114 5.02/5.15 c Elapsed CPU time: 5.01924 s Remaining CPU time: 1794.98 s 5.02/5.17 c ============================[ Search Statistics ]============================== 5.02/5.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.02/5.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.02/5.17 c =============================================================================== 5.02/5.17 c | 0 | 1928 18595 39024 | 6198 0 nan | 0.000 % | 5.02/5.18 c | 100 | 1928 18595 39024 | 6818 100 14 | 0.000 % | 5.02/5.19 c | 251 | 1928 18595 39024 | 7499 251 15 | 0.000 % | 5.02/5.19 c | 477 | 1928 18595 39024 | 8249 477 13 | 0.000 % | 5.11/5.20 c =============================================================================== 5.11/5.20 c core #337 5.11/5.20 c Core size: 148 Core Weight: 1 Total Weight: -113 5.11/5.20 c Elapsed CPU time: 5.07123 s Remaining CPU time: 1794.93 s 5.11/5.22 c ============================[ Search Statistics ]============================== 5.11/5.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.11/5.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.11/5.22 c =============================================================================== 5.11/5.22 c | 0 | 1962 18596 39092 | 6198 0 nan | 0.000 % | 5.11/5.23 c | 104 | 1962 18596 39092 | 6818 104 43 | 0.000 % | 5.11/5.23 c | 255 | 1962 18596 39092 | 7500 255 35 | 0.000 % | 5.11/5.25 c | 481 | 1961 18596 39092 | 8250 481 47 | 0.051 % | 5.11/5.28 c | 818 | 1959 18596 39092 | 9075 816 55 | 0.153 % | 5.22/5.31 c =============================================================================== 5.22/5.31 c core #338 5.22/5.31 c Core size: 51 Core Weight: 1 Total Weight: -112 5.22/5.31 c Elapsed CPU time: 5.17721 s Remaining CPU time: 1794.82 s 5.22/5.33 c ============================[ Search Statistics ]============================== 5.22/5.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.22/5.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.22/5.33 c =============================================================================== 5.22/5.33 c | 0 | 1980 18597 39128 | 6199 0 nan | 0.000 % | 5.22/5.34 c | 103 | 1979 18597 39128 | 6818 103 16 | 0.051 % | 5.22/5.35 c =============================================================================== 5.22/5.35 c core #339 5.22/5.35 c Core size: 103 Core Weight: 1 Total Weight: -111 5.22/5.35 c Elapsed CPU time: 5.21321 s Remaining CPU time: 1794.79 s 5.22/5.37 c ============================[ Search Statistics ]============================== 5.22/5.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.22/5.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.22/5.37 c =============================================================================== 5.22/5.37 c | 0 | 2006 18598 39180 | 6199 0 nan | 0.000 % | 5.22/5.37 c | 101 | 2006 18598 39180 | 6819 101 16 | 0.000 % | 5.22/5.38 c | 255 | 2006 18598 39180 | 7501 255 15 | 0.000 % | 5.22/5.39 c | 483 | 2006 18598 39180 | 8251 483 14 | 0.000 % | 5.32/5.40 c | 820 | 2006 18598 39180 | 9076 820 15 | 0.000 % | 5.32/5.44 c | 1328 | 2004 18598 39180 | 9984 1326 16 | 0.100 % | 5.32/5.44 c =============================================================================== 5.32/5.45 c core #340 5.32/5.45 c Core size: 574 Core Weight: 1 Total Weight: -110 5.32/5.45 c Elapsed CPU time: 5.31119 s Remaining CPU time: 1794.69 s 5.32/5.48 c ============================[ Search Statistics ]============================== 5.32/5.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.32/5.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.32/5.48 c =============================================================================== 5.32/5.48 c | 0 | 2080 18599 39328 | 6199 0 nan | 0.000 % | 5.32/5.48 c =============================================================================== 5.32/5.48 c core #341 5.32/5.48 c Core size: 38 Core Weight: 1 Total Weight: -109 5.32/5.48 c Elapsed CPU time: 5.34119 s Remaining CPU time: 1794.66 s 5.42/5.50 c ============================[ Search Statistics ]============================== 5.42/5.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.42/5.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.42/5.50 c =============================================================================== 5.42/5.50 c | 0 | 2092 18600 39352 | 6200 0 nan | 0.000 % | 5.42/5.51 c | 100 | 2092 18600 39352 | 6820 100 21 | 0.000 % | 5.42/5.52 c | 257 | 2089 18600 39352 | 7502 257 18 | 0.143 % | 5.42/5.53 c =============================================================================== 5.42/5.53 c core #342 5.42/5.53 c Core size: 167 Core Weight: 1 Total Weight: -108 5.42/5.53 c Elapsed CPU time: 5.38618 s Remaining CPU time: 1794.61 s 5.42/5.55 c ============================[ Search Statistics ]============================== 5.42/5.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.42/5.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.42/5.55 c =============================================================================== 5.42/5.55 c | 0 | 2136 18601 39440 | 6200 0 nan | 0.000 % | 5.42/5.56 c | 100 | 2136 18601 39440 | 6820 100 40 | 0.000 % | 5.42/5.57 c | 251 | 2136 18601 39440 | 7502 251 35 | 0.000 % | 5.42/5.58 c | 476 | 2136 18601 39440 | 8252 476 39 | 0.000 % | 5.51/5.61 c | 815 | 2136 18601 39440 | 9077 815 41 | 0.000 % | 5.51/5.65 c | 1323 | 2134 18601 39440 | 9985 1317 50 | 0.094 % | 5.61/5.71 c | 2086 | 2131 18601 39440 | 10984 2080 46 | 0.281 % | 5.71/5.81 c | 3225 | 2028 18601 39440 | 12082 3091 44 | 5.056 % | 5.71/5.89 c =============================================================================== 5.82/5.91 c core #343 5.82/5.91 c Core size: 491 Core Weight: 1 Total Weight: -107 5.82/5.91 c Elapsed CPU time: 5.74213 s Remaining CPU time: 1794.26 s 5.82/5.93 c ============================[ Search Statistics ]============================== 5.82/5.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.82/5.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.82/5.93 c =============================================================================== 5.82/5.93 c | 0 | 2240 18602 39648 | 6200 0 nan | 0.000 % | 5.82/5.94 c =============================================================================== 5.82/5.94 c core #344 5.82/5.94 c Core size: 100 Core Weight: 1 Total Weight: -106 5.82/5.94 c Elapsed CPU time: 5.77012 s Remaining CPU time: 1794.23 s 5.82/5.96 c ============================[ Search Statistics ]============================== 5.82/5.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.82/5.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.82/5.96 c =============================================================================== 5.82/5.96 c | 0 | 2262 18603 39692 | 6201 0 nan | 0.000 % | 5.82/5.97 c | 100 | 2262 18603 39692 | 6821 100 14 | 0.000 % | 5.82/5.97 c | 252 | 2260 18603 39692 | 7503 252 18 | 0.088 % | 5.82/5.98 c | 478 | 2260 18603 39692 | 8253 478 18 | 0.089 % | 5.82/5.98 c =============================================================================== 5.82/5.99 c core #345 5.82/5.99 c Core size: 173 Core Weight: 1 Total Weight: -105 5.82/5.99 c Elapsed CPU time: 5.81912 s Remaining CPU time: 1794.18 s 5.91/6.01 c ============================[ Search Statistics ]============================== 5.91/6.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.91/6.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.91/6.01 c =============================================================================== 5.91/6.01 c | 0 | 2294 18604 39756 | 6201 0 nan | 0.000 % | 5.91/6.02 c | 102 | 2294 18604 39756 | 6821 102 11 | 0.000 % | 5.91/6.02 c | 254 | 2292 18604 39756 | 7503 254 11 | 0.087 % | 5.91/6.03 c =============================================================================== 5.91/6.04 c core #346 5.91/6.04 c Core size: 307 Core Weight: 1 Total Weight: -104 5.91/6.04 c Elapsed CPU time: 5.86511 s Remaining CPU time: 1794.13 s 5.91/6.06 c ============================[ Search Statistics ]============================== 5.91/6.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.91/6.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.91/6.06 c =============================================================================== 5.91/6.06 c | 0 | 2362 18605 39892 | 6201 0 nan | 0.000 % | 5.91/6.07 c | 100 | 2362 18605 39892 | 6821 100 12 | 0.000 % | 5.91/6.07 c | 250 | 2362 18605 39892 | 7504 250 12 | 0.000 % | 5.91/6.08 c | 479 | 2362 18605 39892 | 8254 479 18 | 0.000 % | 6.02/6.11 c | 818 | 2361 18605 39892 | 9079 816 23 | 0.042 % | 6.02/6.15 c | 1324 | 2356 18605 39892 | 9987 1312 26 | 0.254 % | 6.02/6.17 c =============================================================================== 6.02/6.18 c core #347 6.02/6.18 c Core size: 593 Core Weight: 1 Total Weight: -103 6.02/6.18 c Elapsed CPU time: 6.00409 s Remaining CPU time: 1794 s 6.11/6.20 c ============================[ Search Statistics ]============================== 6.11/6.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.11/6.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.11/6.20 c =============================================================================== 6.11/6.20 c | 0 | 2444 18606 40056 | 6202 0 nan | 0.000 % | 6.11/6.21 c | 102 | 2444 18606 40056 | 6822 102 34 | 0.000 % | 6.11/6.22 c | 252 | 2444 18606 40056 | 7504 252 23 | 0.000 % | 6.11/6.23 c | 477 | 2444 18606 40056 | 8254 477 34 | 0.000 % | 6.11/6.25 c | 816 | 2443 18606 40056 | 9080 815 34 | 0.041 % | 6.11/6.28 c | 1322 | 2443 18606 40056 | 9988 1321 38 | 0.041 % | 6.21/6.35 c | 2082 | 2443 18606 40056 | 10987 2081 42 | 0.041 % | 6.31/6.49 c | 3224 | 2443 18606 40056 | 12085 3223 48 | 0.041 % | 6.61/6.75 c | 4932 | 2443 18606 40056 | 13294 4931 58 | 0.041 % | 7.11/7.24 c | 7496 | 2443 18606 40056 | 14623 7495 63 | 0.041 % | 8.00/8.14 c | 11340 | 2442 18606 40056 | 16086 11335 66 | 0.082 % | 10.11/10.29 c | 17110 | 2442 18606 40056 | 17695 8935 67 | 0.082 % | 14.22/14.34 c | 25759 | 2442 18606 40056 | 19464 17584 77 | 0.082 % | 21.10/21.27 c | 38733 | 2384 18606 40056 | 21410 10841 68 | 6.547 % | 21.20/21.39 c =============================================================================== 21.71/21.88 c core #348 21.71/21.88 c Core size: 1380 Core Weight: 1 Total Weight: -102 21.71/21.88 c Elapsed CPU time: 21.5657 s Remaining CPU time: 1778.43 s 21.81/21.94 c ============================[ Search Statistics ]============================== 21.81/21.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.81/21.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.81/21.94 c =============================================================================== 21.81/21.94 c | 0 | 2564 18607 40296 | 6202 0 nan | 0.000 % | 21.81/21.96 c | 100 | 2564 18607 40296 | 6822 100 23 | 0.000 % | 21.81/21.97 c | 250 | 2563 18607 40296 | 7504 250 17 | 0.039 % | 21.81/21.98 c | 475 | 2563 18607 40296 | 8255 475 16 | 0.039 % | 21.81/21.99 c | 813 | 2563 18607 40296 | 9080 812 15 | 0.039 % | 21.91/22.02 c | 1321 | 2563 18607 40296 | 9988 1320 18 | 0.039 % | 21.91/22.07 c | 2080 | 2562 18607 40296 | 10987 2071 21 | 0.078 % | 22.00/22.16 c =============================================================================== 22.00/22.17 c core #349 22.00/22.17 c Core size: 291 Core Weight: 1 Total Weight: -101 22.00/22.17 c Elapsed CPU time: 21.8467 s Remaining CPU time: 1778.15 s 22.00/22.19 c ============================[ Search Statistics ]============================== 22.00/22.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.00/22.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.00/22.19 c =============================================================================== 22.00/22.19 c | 0 | 2616 18608 40400 | 6202 0 nan | 0.000 % | 22.11/22.20 c | 100 | 2616 18608 40400 | 6822 100 16 | 0.000 % | 22.11/22.21 c | 250 | 2616 18608 40400 | 7505 250 34 | 0.000 % | 22.11/22.22 c | 477 | 2616 18608 40400 | 8255 477 26 | 0.000 % | 22.11/22.24 c | 816 | 2616 18608 40400 | 9081 816 34 | 0.000 % | 22.11/22.27 c | 1324 | 2616 18608 40400 | 9989 1324 36 | 0.000 % | 22.20/22.33 c | 2086 | 2616 18608 40400 | 10988 2086 51 | 0.000 % | 22.30/22.49 c | 3230 | 2616 18608 40400 | 12087 3230 68 | 0.000 % | 22.61/22.76 c | 4941 | 2616 18608 40400 | 13295 4941 75 | 0.000 % | 23.21/23.35 c | 7505 | 2616 18608 40400 | 14625 7505 88 | 0.000 % | 24.61/24.78 c | 11350 | 2616 18608 40400 | 16088 11350 100 | 0.000 % | 27.70/27.89 c | 17116 | 2616 18608 40400 | 17696 8938 118 | 0.000 % | 33.21/33.33 c | 25765 | 2615 18608 40400 | 19466 17573 122 | 0.038 % | 37.10/37.29 c | 38739 | 2614 18608 40400 | 21413 10861 50 | 0.076 % | 39.51/39.62 c =============================================================================== 39.80/39.91 c core #350 39.80/39.91 c Core size: 1429 Core Weight: 1 Total Weight: -100 39.80/39.91 c Elapsed CPU time: 39.425 s Remaining CPU time: 1760.57 s 39.80/39.98 c ============================[ Search Statistics ]============================== 39.80/39.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.80/39.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.80/39.98 c =============================================================================== 39.80/39.98 c | 0 | 2748 18609 40664 | 6203 0 nan | 0.000 % | 39.90/40.00 c | 101 | 2748 18609 40664 | 6823 101 21 | 0.000 % | 39.90/40.01 c | 252 | 2748 18609 40664 | 7505 252 17 | 0.000 % | 39.90/40.02 c | 477 | 2748 18609 40664 | 8256 477 19 | 0.000 % | 39.90/40.04 c | 814 | 2748 18609 40664 | 9081 814 23 | 0.000 % | 39.90/40.07 c | 1324 | 2748 18609 40664 | 9989 1324 29 | 0.000 % | 40.00/40.13 c | 2085 | 2748 18609 40664 | 10988 2085 36 | 0.000 % | 40.10/40.26 c | 3225 | 2747 18609 40664 | 12087 3220 44 | 0.036 % | 40.39/40.52 c | 4933 | 2745 18609 40664 | 13296 4928 53 | 0.109 % | 41.00/41.14 c | 7496 | 2744 18609 40664 | 14626 7464 63 | 0.146 % | 42.29/42.46 c | 11341 | 2744 18609 40664 | 16088 11309 68 | 0.146 % | 44.59/44.78 c | 17109 | 2743 18609 40664 | 17697 8831 69 | 0.182 % | 48.39/48.58 c | 25760 | 2743 18609 40664 | 19467 17482 77 | 0.182 % | 55.10/55.29 c | 38734 | 2743 18609 40664 | 21414 10813 85 | 0.182 % | 65.59/65.79 c | 58198 | 2743 18609 40664 | 23555 19441 87 | 0.182 % | 69.70/69.90 c =============================================================================== 70.69/70.87 c core #351 70.69/70.87 c Core size: 1746 Core Weight: 1 Total Weight: -99 70.69/70.87 c Elapsed CPU time: 70.1433 s Remaining CPU time: 1729.86 s 70.79/70.97 c ============================[ Search Statistics ]============================== 70.79/70.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 70.79/70.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 70.79/70.97 c =============================================================================== 70.79/70.97 c | 0 | 2878 18610 40924 | 6203 0 nan | 0.000 % | 70.79/70.99 c | 100 | 2878 18610 40924 | 6823 100 16 | 0.000 % | 70.79/71.00 c | 250 | 2878 18610 40924 | 7506 250 20 | 0.000 % | 70.89/71.01 c | 475 | 2878 18610 40924 | 8256 475 25 | 0.000 % | 70.89/71.03 c | 812 | 2876 18610 40924 | 9082 810 30 | 0.070 % | 70.89/71.09 c | 1318 | 2872 18610 40924 | 9990 1306 45 | 0.208 % | 70.99/71.16 c | 2077 | 2872 18610 40924 | 10989 2065 57 | 0.208 % | 71.10/71.29 c | 3220 | 2872 18610 40924 | 12088 3203 70 | 0.208 % | 71.40/71.55 c | 4931 | 2871 18610 40924 | 13297 4914 79 | 0.243 % | 72.29/72.43 c | 7495 | 2871 18610 40924 | 14627 7474 102 | 0.243 % | 73.99/74.19 c | 11342 | 2871 18610 40924 | 16089 11321 119 | 0.243 % | 76.69/76.83 c | 17109 | 2871 18610 40924 | 17698 8934 133 | 0.243 % | 81.19/81.36 c | 25758 | 2871 18610 40924 | 19468 17583 143 | 0.243 % | 87.08/87.22 c | 38732 | 2871 18610 40924 | 21415 10857 130 | 0.243 % | 97.88/98.04 c | 58195 | 2871 18610 40924 | 23557 19523 140 | 0.243 % | 105.49/105.64 c =============================================================================== 105.68/105.83 c core #352 105.68/105.83 c Core size: 887 Core Weight: 1 Total Weight: -98 105.68/105.83 c Elapsed CPU time: 104.798 s Remaining CPU time: 1695.2 s 105.78/105.93 c ============================[ Search Statistics ]============================== 105.78/105.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 105.78/105.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 105.78/105.93 c =============================================================================== 105.78/105.93 c | 0 | 2998 18611 41164 | 6203 0 nan | 0.000 % | 105.78/105.95 c | 100 | 2998 18611 41164 | 6824 100 21 | 0.000 % | 105.78/105.96 c | 250 | 2998 18611 41164 | 7506 250 21 | 0.000 % | 105.78/105.98 c | 475 | 2998 18611 41164 | 8257 475 26 | 0.000 % | 105.89/106.00 c | 816 | 2998 18611 41164 | 9082 816 35 | 0.000 % | 105.89/106.04 c | 1322 | 2993 18611 41164 | 9991 1320 39 | 0.167 % | 105.98/106.12 c | 2081 | 2992 18611 41164 | 10990 2079 52 | 0.200 % | 106.08/106.29 c | 3222 | 2992 18611 41164 | 12089 3209 70 | 0.200 % | 106.38/106.52 c | 4931 | 2992 18611 41164 | 13298 4918 77 | 0.200 % | 106.78/106.91 c | 7495 | 2992 18611 41164 | 14627 7482 76 | 0.200 % | 107.48/107.61 c | 11340 | 2992 18611 41164 | 16090 11327 74 | 0.200 % | 109.88/110.06 c | 17106 | 2992 18611 41164 | 17699 8898 100 | 0.200 % | 113.18/113.31 c | 25761 | 2992 18611 41164 | 19469 17553 99 | 0.200 % | 118.48/118.68 c | 38737 | 2992 18611 41164 | 21416 10850 95 | 0.200 % | 124.77/124.98 c =============================================================================== 125.77/125.91 c core #353 125.77/125.91 c Core size: 1062 Core Weight: 1 Total Weight: -97 125.77/125.91 c Elapsed CPU time: 124.714 s Remaining CPU time: 1675.29 s 125.88/126.00 c ============================[ Search Statistics ]============================== 125.88/126.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 125.88/126.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 125.88/126.00 c =============================================================================== 125.88/126.00 c | 0 | 3124 18612 41416 | 6204 0 nan | 0.000 % | 125.88/126.02 c | 100 | 3124 18612 41416 | 6824 100 26 | 0.000 % | 125.88/126.03 c | 250 | 3124 18612 41416 | 7506 250 39 | 0.000 % | 125.88/126.05 c | 475 | 3124 18612 41416 | 8257 475 34 | 0.000 % | 125.88/126.07 c | 813 | 3124 18612 41416 | 9083 813 46 | 0.000 % | 125.97/126.12 c | 1319 | 3124 18612 41416 | 9991 1319 56 | 0.000 % | 126.08/126.20 c | 2080 | 3124 18612 41416 | 10990 2080 76 | 0.000 % | 126.17/126.34 c | 3219 | 3124 18612 41416 | 12089 3219 81 | 0.000 % | 126.38/126.59 c | 4928 | 3124 18612 41416 | 13298 4928 84 | 0.000 % | 126.87/127.10 c | 7491 | 3124 18612 41416 | 14628 7491 98 | 0.000 % | 128.37/128.57 c | 11335 | 3124 18612 41416 | 16091 11335 124 | 0.000 % | 131.27/131.50 c | 17101 | 3124 18612 41416 | 17700 8877 154 | 0.000 % | 134.97/135.13 c | 25751 | 3124 18612 41416 | 19470 17527 170 | 0.000 % | 143.67/143.88 c | 38726 | 3124 18612 41416 | 21417 10724 169 | 0.000 % | 165.46/165.65 c | 58189 | 3124 18612 41416 | 23559 19408 194 | 0.000 % | 208.94/209.11 c | 87381 | 3124 18612 41416 | 25915 12942 188 | 0.000 % | 229.24/229.47 c | 131171 | 3124 18612 41416 | 28507 15987 81 | 0.000 % | 267.13/267.37 c | 196855 | 3124 18612 41416 | 31357 23111 76 | 0.000 % | 334.61/334.86 c | 295382 | 3124 18612 41416 | 34493 19452 85 | 0.000 % | 439.59/439.82 c | 443171 | 3124 18612 41416 | 37943 24972 102 | 0.000 % | 638.33/638.69 c | 664855 | 3124 18612 41416 | 41737 37342 93 | 0.000 % | 985.04/985.47 c | 997381 | 3122 18612 41416 | 45911 27790 109 | 0.064 % | 1467.71/1468.24 c | 1496169 | 3122 18612 41416 | 50502 36171 105 | 0.064 % |
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-1875678-1245164285/watcher-1875678-1245164285 -o /tmp/evaluation-result-1875678-1245164285/solver-1875678-1245164285 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875678-1245164285.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.99 3/64 9171 /proc/meminfo: memFree=1860192/2055920 swapFree=4191900/4192956 [pid=9171] ppid=9169 vsize=2952 CPUtime=0 /proc/9171/stat : 9171 (wbo) R 9169 9171 8909 0 -1 4194304 203 0 0 0 0 0 0 0 18 0 1 0 184025735 3022848 187 1992294400 134512640 135709839 4294956240 18446744073709551615 135173032 0 0 4096 3 0 0 0 17 1 0 0 /proc/9171/statm: 738 188 129 292 0 339 0 [startup+0.09882 s] /proc/loadavg: 0.99 0.97 0.99 3/64 9171 /proc/meminfo: memFree=1860192/2055920 swapFree=4191900/4192956 [pid=9171] ppid=9169 vsize=4028 CPUtime=0.08 /proc/9171/stat : 9171 (wbo) R 9169 9171 8909 0 -1 4194304 697 0 0 0 8 0 0 0 18 0 1 0 184025735 4124672 564 1992294400 134512640 135709839 4294956240 18446744073709551615 134517489 0 0 4096 3 0 0 0 17 1 0 0 /proc/9171/statm: 1007 564 133 292 0 712 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 4028 [startup+0.10182 s] /proc/loadavg: 0.99 0.97 0.99 3/64 9171 /proc/meminfo: memFree=1860192/2055920 swapFree=4191900/4192956 [pid=9171] ppid=9169 vsize=4244 CPUtime=0.09 /proc/9171/stat : 9171 (wbo) R 9169 9171 8909 0 -1 4194304 711 0 0 0 9 0 0 0 18 0 1 0 184025735 4345856 578 1992294400 134512640 135709839 4294956240 18446744073709551615 135183216 0 0 4096 3 0 0 0 17 1 0 0 /proc/9171/statm: 1061 578 133 292 0 766 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4244 [startup+0.301843 s] /proc/loadavg: 0.99 0.97 0.99 3/64 9171 /proc/meminfo: memFree=1860192/2055920 swapFree=4191900/4192956 [pid=9171] ppid=9169 vsize=4140 CPUtime=0.29 /proc/9171/stat : 9171 (wbo) R 9169 9171 8909 0 -1 4194304 732 0 0 0 29 0 0 0 19 0 1 0 184025735 4239360 586 1992294400 134512640 135709839 4294956240 18446744073709551615 135173032 0 0 4096 3 0 0 0 17 1 0 0 /proc/9171/statm: 1035 586 133 292 0 740 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4140 [startup+0.701887 s] /proc/loadavg: 0.99 0.97 0.99 3/64 9171 /proc/meminfo: memFree=1860192/2055920 swapFree=4191900/4192956 [pid=9171] ppid=9169 vsize=4244 CPUtime=0.69 /proc/9171/stat : 9171 (wbo) R 9169 9171 8909 0 -1 4194304 752 0 0 0 69 0 0 0 22 0 1 0 184025735 4345856 606 1992294400 134512640 135709839 4294956240 18446744073709551615 135173026 0 0 4096 3 0 0 0 17 1 0 0 /proc/9171/statm: 1061 606 133 292 0 766 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4244 [startup+1.50198 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9172 /proc/meminfo: memFree=1858264/2055920 swapFree=4191900/4192956 [pid=9171] ppid=9169 vsize=4416 CPUtime=1.48 /proc/9171/stat : 9171 (wbo) R 9169 9171 8909 0 -1 4194304 797 0 0 0 148 0 0 0 25 0 1 0 184025735 4521984 651 1992294400 134512640 135709839 4294956240 18446744073709551615 134584473 0 0 4096 3 0 0 0 17 1 0 0 /proc/9171/statm: 1104 651 133 292 0 809 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 4416 [startup+3.10115 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9172 /proc/meminfo: memFree=1857624/2055920 swapFree=4191900/4192956 [pid=9171] ppid=9169 vsize=5352 CPUtime=3.07 /proc/9171/stat : 9171 (wbo) R 9169 9171 8909 0 -1 4194304 1064 0 0 0 305 2 0 0 25 0 1 0 184025735 5480448 904 1992294400 134512640 135709839 4294956240 18446744073709551615 134569912 0 0 4096 3 0 0 0 17 1 0 0 /proc/9171/statm: 1338 904 135 292 0 1043 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 5352 [startup+6.30151 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9172 /proc/meminfo: memFree=1853912/2055920 swapFree=4191900/4192956 [pid=9171] ppid=9169 vsize=8980 CPUtime=6.21 /proc/9171/stat : 9171 (wbo) R 9169 9171 8909 0 -1 4194304 2024 0 0 0 611 10 0 0 25 0 1 0 184025735 9195520 1810 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9171/statm: 2245 1810 136 292 0 1950 0 Current children cumulated CPU time (s) 6.21 Current children cumulated vsize (KiB) 8980 [startup+12.7012 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9172 /proc/meminfo: memFree=1844760/2055920 swapFree=4191900/4192956 [pid=9171] ppid=9169 vsize=18112 CPUtime=12.61 /proc/9171/stat : 9171 (wbo) R 9169 9171 8909 0 -1 4194304 4293 0 0 0 1244 17 0 0 25 0 1 0 184025735 18546688 4079 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9171/statm: 4528 4079 136 292 0 4233 0 Current children cumulated CPU time (s) 12.61 Current children cumulated vsize (KiB) 18112 [startup+25.5016 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9172 /proc/meminfo: memFree=1832728/2055920 swapFree=4191900/4192956 [pid=9171] ppid=9169 vsize=29200 CPUtime=25.4 /proc/9171/stat : 9171 (wbo) R 9169 9171 8909 0 -1 4194304 7076 0 0 0 2513 27 0 0 25 0 1 0 184025735 29900800 6861 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9171/statm: 7300 6861 136 292 0 7005 0 Current children cumulated CPU time (s) 25.4 Current children cumulated vsize (KiB) 29200 [startup+51.1015 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9172 /proc/meminfo: memFree=1815448/2055920 swapFree=4191900/4192956 [pid=9171] ppid=9169 vsize=47612 CPUtime=50.99 /proc/9171/stat : 9171 (wbo) R 9169 9171 8909 0 -1 4194304 11648 0 0 0 5050 49 0 0 25 0 1 0 184025735 48754688 11433 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9171/statm: 11903 11433 136 292 0 11608 0 Current children cumulated CPU time (s) 50.99 Current children cumulated vsize (KiB) 47612 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9172 /proc/meminfo: memFree=1762776/2055920 swapFree=4191900/4192956 [pid=9171] ppid=9169 vsize=99380 CPUtime=102.18 /proc/9171/stat : 9171 (wbo) R 9169 9171 8909 0 -1 4194304 24602 0 0 0 10130 88 0 0 25 0 1 0 184025735 101765120 24387 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9171/statm: 24845 24387 136 292 0 24550 0 Current children cumulated CPU time (s) 102.18 Current children cumulated vsize (KiB) 99380 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9172 /proc/meminfo: memFree=1714840/2055920 swapFree=4191900/4192956 [pid=9171] ppid=9169 vsize=147548 CPUtime=162.16 /proc/9171/stat : 9171 (wbo) R 9169 9171 8909 0 -1 4194304 36625 0 0 0 16083 133 0 0 25 0 1 0 184025735 151089152 36410 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9171/statm: 36887 36410 136 292 0 36592 0 Current children cumulated CPU time (s) 162.16 Current children cumulated vsize (KiB) 147548 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9178 /proc/meminfo: memFree=1661784/2055920 swapFree=4191900/4192956 [pid=9171] ppid=9169 vsize=200072 CPUtime=222.14 /proc/9171/stat : 9171 (wbo) R 9169 9171 8909 0 -1 4194304 49760 0 0 0 22053 161 0 0 25 0 1 0 184025735 204873728 49545 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9171/statm: 50018 49545 136 292 0 49723 0 Current children cumulated CPU time (s) 222.14 Current children cumulated vsize (KiB) 200072 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9178 /proc/meminfo: memFree=1601688/2055920 swapFree=4191900/4192956 [pid=9171] ppid=9169 vsize=260560 CPUtime=282.13 /proc/9171/stat : 9171 (wbo) R 9169 9171 8909 0 -1 4194304 64848 0 0 0 28007 206 0 0 25 0 1 0 184025735 266813440 64633 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9171/statm: 65140 64633 136 292 0 64845 0 Current children cumulated CPU time (s) 282.13 Current children cumulated vsize (KiB) 260560 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9178 /proc/meminfo: memFree=1551832/2055920 swapFree=4191900/4192956 [pid=9171] ppid=9169 vsize=309860 CPUtime=342.1 /proc/9171/stat : 9171 (wbo) R 9169 9171 8909 0 -1 4194304 77165 0 0 0 33972 238 0 0 25 0 1 0 184025735 317296640 76950 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9171/statm: 77465 76950 136 292 0 77170 0 Current children cumulated CPU time (s) 342.1 Current children cumulated vsize (KiB) 309860 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9178 /proc/meminfo: memFree=1502360/2055920 swapFree=4191900/4192956 [pid=9171] ppid=9169 vsize=359596 CPUtime=402.09 /proc/9171/stat : 9171 (wbo) R 9169 9171 8909 0 -1 4194304 89562 0 0 0 39940 269 0 0 25 0 1 0 184025735 368226304 89347 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9171/statm: 89899 89347 136 292 0 89604 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 359596 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9178 /proc/meminfo: memFree=1451352/2055920 swapFree=4191900/4192956 [pid=9171] ppid=9169 vsize=410308 CPUtime=462.08 /proc/9171/stat : 9171 (wbo) R 9169 9171 8909 0 -1 4194304 102238 0 0 0 45907 301 0 0 25 0 1 0 184025735 420155392 102023 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9171/statm: 102577 102023 136 292 0 102282 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 410308 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9178 /proc/meminfo: memFree=1403416/2055920 swapFree=4191900/4192956 [pid=9171] ppid=9169 vsize=458620 CPUtime=522.06 /proc/9171/stat : 9171 (wbo) R 9169 9171 8909 0 -1 4194304 114311 0 0 0 51876 330 0 0 25 0 1 0 184025735 469626880 114096 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0 /proc/9171/statm: 114655 114096 136 292 0 114360 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 458620 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9178 /proc/meminfo: memFree=1364376/2055920 swapFree=4191900/4192956 [pid=9171] ppid=9169 vsize=497256 CPUtime=582.04 /proc/9171/stat : 9171 (wbo) R 9169 9171 8909 0 -1 4194304 123944 0 0 0 57849 355 0 0 25 0 1 0 184025735 509190144 123729 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9171/statm: 124314 123729 136 292 0 124019 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 497256 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9178 /proc/meminfo: memFree=1318744/2055920 swapFree=4191900/4192956 [pid=9171] ppid=9169 vsize=542556 CPUtime=642.03 /proc/9171/stat : 9171 (wbo) R 9169 9171 8909 0 -1 4194304 135247 0 0 0 63818 385 0 0 25 0 1 0 184025735 555577344 135032 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9171/statm: 135639 135032 136 292 0 135344 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 542556 [startup+702.302 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9178 /proc/meminfo: memFree=1171928/2055920 swapFree=4191900/4192956 [pid=9171] ppid=9169 vsize=689428 CPUtime=881.96 /proc/9171/stat : 9171 (wbo) R 9169 9171 8909 0 -1 4194304 171887 0 0 0 87706 490 0 0 25 0 1 0 184025735 705974272 171672 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9171/statm: 172357 171672 136 292 0 172062 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 689428 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9178 /proc/meminfo: memFree=1135960/2055920 swapFree=4191900/4192956 [pid=9171] ppid=9169 vsize=725692 CPUtime=941.95 /proc/9171/stat : 9171 (wbo) R 9169 9171 8909 0 -1 4194304 180976 0 0 0 93681 514 0 0 25 0 1 0 184025735 743108608 180761 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/9171/statm: 181423 180761 136 292 0 181128 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 725692 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9178 /proc/meminfo: memFree=1100440/2055920 swapFree=4191900/4192956 [pid=9171] ppid=9169 vsize=760896 CPUtime=1001.94 /proc/9171/stat : 9171 (wbo) R 9169 9171 8909 0 -1 4194304 189741 0 0 0 99656 538 0 0 25 0 1 0 184025735 779157504 189526 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9171/statm: 190224 189526 136 292 0 189929 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 760896 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9178 /proc/meminfo: memFree=1066264/2055920 swapFree=4191900/4192956 [pid=9171] ppid=9169 vsize=795200 CPUtime=1061.92 /proc/9171/stat : 9171 (wbo) R 9169 9171 8909 0 -1 4194304 198299 0 0 0 105631 561 0 0 25 0 1 0 184025735 814284800 198084 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9171/statm: 198800 198084 136 292 0 198505 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 795200 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9178 /proc/meminfo: memFree=1029080/2055920 swapFree=4191900/4192956 [pid=9171] ppid=9169 vsize=832236 CPUtime=1121.91 /proc/9171/stat : 9171 (wbo) R 9169 9171 8909 0 -1 4194304 207569 0 0 0 111604 587 0 0 25 0 1 0 184025735 852209664 207354 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9171/statm: 208059 207354 136 292 0 207764 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 832236 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9178 /proc/meminfo: memFree=991640/2055920 swapFree=4191900/4192956 [pid=9171] ppid=9169 vsize=869804 CPUtime=1181.89 /proc/9171/stat : 9171 (wbo) R 9169 9171 8909 0 -1 4194304 216943 0 0 0 117576 613 0 0 25 0 1 0 184025735 890679296 216728 1992294400 134512640 135709839 4294956240 18446744073709551615 134574300 0 0 4096 3 0 0 0 17 1 0 0 /proc/9171/statm: 217451 216728 136 292 0 217156 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 869804 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9178 /proc/meminfo: memFree=951576/2055920 swapFree=4191900/4192956 [pid=9171] ppid=9169 vsize=909744 CPUtime=1241.88 /proc/9171/stat : 9171 (wbo) R 9169 9171 8909 0 -1 4194304 226907 0 0 0 123548 640 0 0 25 0 1 0 184025735 931577856 226692 1992294400 134512640 135709839 4294956240 18446744073709551615 134573869 0 0 4096 3 0 0 0 17 1 0 0 /proc/9171/statm: 227436 226692 136 292 0 227141 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 909744 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9178 /proc/meminfo: memFree=921176/2055920 swapFree=4191900/4192956 [pid=9171] ppid=9169 vsize=939696 CPUtime=1301.86 /proc/9171/stat : 9171 (wbo) R 9169 9171 8909 0 -1 4194304 234391 0 0 0 129523 663 0 0 25 0 1 0 184025735 962248704 234176 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9171/statm: 234924 234176 136 292 0 234629 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 939696 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9178 /proc/meminfo: memFree=882264/2055920 swapFree=4191900/4192956 [pid=9171] ppid=9169 vsize=978652 CPUtime=1361.84 /proc/9171/stat : 9171 (wbo) R 9169 9171 8909 0 -1 4194304 244142 0 0 0 135496 688 0 0 25 0 1 0 184025735 1002139648 243927 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/9171/statm: 244663 243927 136 292 0 244368 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 978652 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9178 /proc/meminfo: memFree=835480/2055920 swapFree=4191900/4192956 [pid=9171] ppid=9169 vsize=1025264 CPUtime=1421.83 /proc/9171/stat : 9171 (wbo) R 9169 9171 8909 0 -1 4194304 255782 0 0 0 141464 719 0 0 25 0 1 0 184025735 1049870336 255567 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9171/statm: 256316 255567 136 292 0 256021 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 1025264 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9178 /proc/meminfo: memFree=798360/2055920 swapFree=4191900/4192956 [pid=9171] ppid=9169 vsize=1062468 CPUtime=1481.81 /proc/9171/stat : 9171 (wbo) R 9169 9171 8909 0 -1 4194304 265076 0 0 0 147439 742 0 0 25 0 1 0 184025735 1087967232 264861 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9171/statm: 265617 264861 136 292 0 265322 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 1062468 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9178 /proc/meminfo: memFree=757848/2055920 swapFree=4191900/4192956 [pid=9171] ppid=9169 vsize=1102744 CPUtime=1541.79 /proc/9171/stat : 9171 (wbo) R 9169 9171 8909 0 -1 4194304 275137 0 0 0 153408 771 0 0 25 0 1 0 184025735 1129209856 274922 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9171/statm: 275686 274922 136 292 0 275391 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 1102744 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9178 /proc/meminfo: memFree=726040/2055920 swapFree=4191900/4192956 [pid=9171] ppid=9169 vsize=1134968 CPUtime=1601.78 /proc/9171/stat : 9171 (wbo) R 9169 9171 8909 0 -1 4194304 283162 0 0 0 159381 797 0 0 25 0 1 0 184025735 1162207232 282947 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9171/statm: 283742 282947 136 292 0 283447 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 1134968 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9178 /proc/meminfo: memFree=688408/2055920 swapFree=4191900/4192956 [pid=9171] ppid=9169 vsize=1172244 CPUtime=1661.76 /proc/9171/stat : 9171 (wbo) R 9169 9171 8909 0 -1 4194304 292486 0 0 0 165354 822 0 0 25 0 1 0 184025735 1200377856 292271 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/9171/statm: 293061 292271 136 292 0 292766 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 1172244 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9178 /proc/meminfo: memFree=655640/2055920 swapFree=4191900/4192956 [pid=9171] ppid=9169 vsize=1205044 CPUtime=1721.74 /proc/9171/stat : 9171 (wbo) R 9169 9171 8909 0 -1 4194304 300681 0 0 0 171329 845 0 0 25 0 1 0 184025735 1233965056 300466 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9171/statm: 301261 300466 136 292 0 300966 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 1205044 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9178 /proc/meminfo: memFree=628056/2055920 swapFree=4191900/4192956 [pid=9171] ppid=9169 vsize=1232388 CPUtime=1781.73 /proc/9171/stat : 9171 (wbo) R 9169 9171 8909 0 -1 4194304 307514 0 0 0 177308 865 0 0 25 0 1 0 184025735 1261965312 307299 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/9171/statm: 308097 307299 136 292 0 307802 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 1232388 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9178 /proc/meminfo: memFree=618392/2055920 swapFree=4191900/4192956 [pid=9171] ppid=9169 vsize=1241820 CPUtime=1800.03 /proc/9171/stat : 9171 (wbo) R 9169 9171 8909 0 -1 4194304 309878 0 0 0 179133 870 0 0 25 0 1 0 184025735 1271623680 309663 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9171/statm: 310455 309663 136 292 0 310160 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1241820 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 0.99 0.97 0.99 2/65 9178 /proc/meminfo: memFree=618392/2055920 swapFree=4191900/4192956 [pid=9171] ppid=9169 vsize=0 CPUtime=1800.22 /proc/9171/stat : 9171 (wbo) R 9169 9171 8909 0 -1 4195332 309878 0 0 0 179133 889 0 0 25 0 1 0 184025735 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/9171/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.22 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.8 CPU time (s): 1800.24 CPU user time (s): 1791.33 CPU system time (s): 8.90265 CPU usage (%): 99.9685 Max. virtual memory (cumulated for all children) (KiB): 1241820 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.33 system time used= 8.90265 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 309878 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= 4884 runsolver used 1.3068 second user time and 3.84641 second system time The end
Begin job on node38 at 2009-06-16 16:58:06 IDJOB=1875678 IDBENCH=2239 IDSOLVER=698 FILE ID=node38/1875678-1245164285 PBS_JOBID= 9363850 Free space on /tmp= 66236 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-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-1875678-1245164285/watcher-1875678-1245164285 -o /tmp/evaluation-result-1875678-1245164285/solver-1875678-1245164285 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875678-1245164285.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8e251d4e151b2868eb3a52cf845e4cf8 RANDOM SEED=1558446017 node38.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.232 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.232 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: 1860672 kB Buffers: 46088 kB Cached: 63812 kB SwapCached: 260 kB Active: 42400 kB Inactive: 80848 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1860672 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 2788 kB Writeback: 0 kB Mapped: 22512 kB Slab: 57968 kB Committed_AS: 159032 kB PageTables: 1460 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875678-1245164285.opb Free space on /tmp at the end= 66236 MiB End job on node38 at 2009-06-16 17:28:08