| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.0 | ? (TO) | 1800.33 | 1800.89 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_60_1.opb |
| MD5SUM | 5c1211f8aed9d33c9f0c9019d9cd9874 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -35 |
| Best CPU time to get the best result obtained on this benchmark | 1800.67 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -37 |
| Optimality of the best value was proved | NO |
| Number of variables | 500 |
| Total number of constraints | 500 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 500 |
| Minimum length of a constraint | 60 |
| Maximum length of a constraint | 103 |
| Number of terms in the objective function | 500 |
| 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 | 500 |
| 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 | 500 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 37366 |
| Sum of products size (including duplicates) | 74732 |
| Number of different products | 18683 |
| Sum of products size | 37366 |
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-1875348-1245200795.opb. 0.00/0.00 c Instance file HOME/instance-1875348-1245200795.opb 0.00/0.00 c File size is 1610966 bytes. 0.19/0.24 c Highest Coefficient sum: 103 0.19/0.24 c ============================[ Problem Statistics ]============================= 0.19/0.24 c | | 0.19/0.24 c | Parsing time: 0.24 s | 0.19/0.24 c | Number Variables: 19183 | 0.19/0.24 c | Number Clauses: 19183 | 0.19/0.24 c | Number Cardinality: 1000 | 0.19/0.24 c | Number PB Constraints: 18683 | 0.19/0.24 c core #1 0.19/0.24 c Core size: 4 Core Weight: 1 Total Weight: -499 0.19/0.24 c Elapsed CPU time: 0.237963 s Remaining CPU time: 1799.76 s 0.29/0.31 c core #2 0.29/0.31 c Core size: 4 Core Weight: 1 Total Weight: -498 0.29/0.31 c Elapsed CPU time: 0.293955 s Remaining CPU time: 1799.71 s 0.29/0.37 c core #3 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: -497 0.29/0.37 c Elapsed CPU time: 0.352946 s Remaining CPU time: 1799.65 s 0.39/0.43 c core #4 0.39/0.43 c Core size: 4 Core Weight: 1 Total Weight: -496 0.39/0.43 c Elapsed CPU time: 0.410937 s Remaining CPU time: 1799.59 s 0.49/0.50 c core #5 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: -495 0.49/0.50 c Elapsed CPU time: 0.476927 s Remaining CPU time: 1799.52 s 0.49/0.57 c core #6 0.49/0.57 c Core size: 4 Core Weight: 1 Total Weight: -494 0.49/0.57 c Elapsed CPU time: 0.541917 s Remaining CPU time: 1799.46 s 0.59/0.64 c core #7 0.59/0.64 c Core size: 4 Core Weight: 1 Total Weight: -493 0.59/0.64 c Elapsed CPU time: 0.609907 s Remaining CPU time: 1799.39 s 0.69/0.71 c core #8 0.69/0.71 c Core size: 4 Core Weight: 1 Total Weight: -492 0.69/0.71 c Elapsed CPU time: 0.681896 s Remaining CPU time: 1799.32 s 0.69/0.78 c core #9 0.69/0.78 c Core size: 4 Core Weight: 1 Total Weight: -491 0.69/0.78 c Elapsed CPU time: 0.753885 s Remaining CPU time: 1799.25 s 0.79/0.85 c core #10 0.79/0.85 c Core size: 4 Core Weight: 1 Total Weight: -490 0.79/0.85 c Elapsed CPU time: 0.826874 s Remaining CPU time: 1799.17 s 0.89/0.93 c core #11 0.89/0.93 c Core size: 4 Core Weight: 1 Total Weight: -489 0.89/0.93 c Elapsed CPU time: 0.899863 s Remaining CPU time: 1799.1 s 0.99/1.00 c core #12 0.99/1.00 c Core size: 4 Core Weight: 1 Total Weight: -488 0.99/1.00 c Elapsed CPU time: 0.972852 s Remaining CPU time: 1799.03 s 0.99/1.08 c core #13 0.99/1.08 c Core size: 4 Core Weight: 1 Total Weight: -487 0.99/1.08 c Elapsed CPU time: 1.04784 s Remaining CPU time: 1798.95 s 1.09/1.15 c core #14 1.09/1.15 c Core size: 4 Core Weight: 1 Total Weight: -486 1.09/1.15 c Elapsed CPU time: 1.12283 s Remaining CPU time: 1798.88 s 1.19/1.23 c core #15 1.19/1.23 c Core size: 4 Core Weight: 1 Total Weight: -485 1.19/1.23 c Elapsed CPU time: 1.19882 s Remaining CPU time: 1798.8 s 1.29/1.30 c core #16 1.29/1.30 c Core size: 4 Core Weight: 1 Total Weight: -484 1.29/1.30 c Elapsed CPU time: 1.26881 s Remaining CPU time: 1798.73 s 1.29/1.38 c core #17 1.29/1.38 c Core size: 4 Core Weight: 1 Total Weight: -483 1.29/1.38 c Elapsed CPU time: 1.3398 s Remaining CPU time: 1798.66 s 1.40/1.45 c core #18 1.40/1.45 c Core size: 4 Core Weight: 1 Total Weight: -482 1.40/1.45 c Elapsed CPU time: 1.40979 s Remaining CPU time: 1798.59 s 1.49/1.52 c core #19 1.49/1.52 c Core size: 4 Core Weight: 1 Total Weight: -481 1.49/1.52 c Elapsed CPU time: 1.48077 s Remaining CPU time: 1798.52 s 1.49/1.59 c core #20 1.49/1.59 c Core size: 4 Core Weight: 1 Total Weight: -480 1.49/1.59 c Elapsed CPU time: 1.55176 s Remaining CPU time: 1798.45 s 1.59/1.66 c core #21 1.59/1.66 c Core size: 4 Core Weight: 1 Total Weight: -479 1.59/1.66 c Elapsed CPU time: 1.62075 s Remaining CPU time: 1798.38 s 1.69/1.73 c core #22 1.69/1.73 c Core size: 4 Core Weight: 1 Total Weight: -478 1.69/1.73 c Elapsed CPU time: 1.69374 s Remaining CPU time: 1798.31 s 1.79/1.81 c core #23 1.79/1.81 c Core size: 4 Core Weight: 1 Total Weight: -477 1.79/1.81 c Elapsed CPU time: 1.76473 s Remaining CPU time: 1798.24 s 1.79/1.88 c core #24 1.79/1.88 c Core size: 4 Core Weight: 1 Total Weight: -476 1.79/1.88 c Elapsed CPU time: 1.83272 s Remaining CPU time: 1798.17 s 1.89/1.95 c core #25 1.89/1.95 c Core size: 4 Core Weight: 1 Total Weight: -475 1.89/1.95 c Elapsed CPU time: 1.90371 s Remaining CPU time: 1798.1 s 1.99/2.02 c core #26 1.99/2.02 c Core size: 4 Core Weight: 1 Total Weight: -474 1.99/2.02 c Elapsed CPU time: 1.9747 s Remaining CPU time: 1798.03 s 1.99/2.09 c core #27 1.99/2.09 c Core size: 4 Core Weight: 1 Total Weight: -473 1.99/2.09 c Elapsed CPU time: 2.04469 s Remaining CPU time: 1797.96 s 2.10/2.17 c core #28 2.10/2.17 c Core size: 4 Core Weight: 1 Total Weight: -472 2.10/2.17 c Elapsed CPU time: 2.11568 s Remaining CPU time: 1797.88 s 2.20/2.24 c core #29 2.20/2.24 c Core size: 4 Core Weight: 1 Total Weight: -471 2.20/2.24 c Elapsed CPU time: 2.18567 s Remaining CPU time: 1797.81 s 2.29/2.31 c core #30 2.29/2.31 c Core size: 4 Core Weight: 1 Total Weight: -470 2.29/2.31 c Elapsed CPU time: 2.25766 s Remaining CPU time: 1797.74 s 2.29/2.38 c core #31 2.29/2.38 c Core size: 4 Core Weight: 1 Total Weight: -469 2.29/2.38 c Elapsed CPU time: 2.32665 s Remaining CPU time: 1797.67 s 2.39/2.45 c core #32 2.39/2.45 c Core size: 4 Core Weight: 1 Total Weight: -468 2.39/2.45 c Elapsed CPU time: 2.39764 s Remaining CPU time: 1797.6 s 2.49/2.52 c core #33 2.49/2.52 c Core size: 4 Core Weight: 1 Total Weight: -467 2.49/2.52 c Elapsed CPU time: 2.46962 s Remaining CPU time: 1797.53 s 2.49/2.60 c core #34 2.49/2.60 c Core size: 4 Core Weight: 1 Total Weight: -466 2.49/2.60 c Elapsed CPU time: 2.53861 s Remaining CPU time: 1797.46 s 2.59/2.67 c core #35 2.59/2.67 c Core size: 4 Core Weight: 1 Total Weight: -465 2.59/2.67 c Elapsed CPU time: 2.6086 s Remaining CPU time: 1797.39 s 2.69/2.74 c core #36 2.69/2.74 c Core size: 4 Core Weight: 1 Total Weight: -464 2.69/2.74 c Elapsed CPU time: 2.67959 s Remaining CPU time: 1797.32 s 2.79/2.81 c core #37 2.79/2.81 c Core size: 4 Core Weight: 1 Total Weight: -463 2.79/2.81 c Elapsed CPU time: 2.75258 s Remaining CPU time: 1797.25 s 2.79/2.89 c core #38 2.79/2.89 c Core size: 4 Core Weight: 1 Total Weight: -462 2.79/2.89 c Elapsed CPU time: 2.82557 s Remaining CPU time: 1797.17 s 2.89/2.96 c core #39 2.89/2.96 c Core size: 4 Core Weight: 1 Total Weight: -461 2.89/2.96 c Elapsed CPU time: 2.89856 s Remaining CPU time: 1797.1 s 2.99/3.03 c core #40 2.99/3.03 c Core size: 4 Core Weight: 1 Total Weight: -460 2.99/3.03 c Elapsed CPU time: 2.97255 s Remaining CPU time: 1797.03 s 3.09/3.11 c core #41 3.09/3.11 c Core size: 4 Core Weight: 1 Total Weight: -459 3.09/3.11 c Elapsed CPU time: 3.04354 s Remaining CPU time: 1796.96 s 3.09/3.18 c core #42 3.09/3.18 c Core size: 4 Core Weight: 1 Total Weight: -458 3.09/3.18 c Elapsed CPU time: 3.11753 s Remaining CPU time: 1796.88 s 3.20/3.26 c core #43 3.20/3.26 c Core size: 4 Core Weight: 1 Total Weight: -457 3.20/3.26 c Elapsed CPU time: 3.18651 s Remaining CPU time: 1796.81 s 3.29/3.33 c core #44 3.29/3.33 c Core size: 4 Core Weight: 1 Total Weight: -456 3.29/3.33 c Elapsed CPU time: 3.2625 s Remaining CPU time: 1796.74 s 3.39/3.41 c core #45 3.39/3.41 c Core size: 4 Core Weight: 1 Total Weight: -455 3.39/3.41 c Elapsed CPU time: 3.33549 s Remaining CPU time: 1796.66 s 3.39/3.48 c core #46 3.39/3.48 c Core size: 4 Core Weight: 1 Total Weight: -454 3.39/3.48 c Elapsed CPU time: 3.40848 s Remaining CPU time: 1796.59 s 3.49/3.56 c core #47 3.49/3.56 c Core size: 4 Core Weight: 1 Total Weight: -453 3.49/3.56 c Elapsed CPU time: 3.48547 s Remaining CPU time: 1796.51 s 3.59/3.63 c core #48 3.59/3.63 c Core size: 4 Core Weight: 1 Total Weight: -452 3.59/3.63 c Elapsed CPU time: 3.55746 s Remaining CPU time: 1796.44 s 3.69/3.71 c core #49 3.69/3.71 c Core size: 4 Core Weight: 1 Total Weight: -451 3.69/3.71 c Elapsed CPU time: 3.63245 s Remaining CPU time: 1796.37 s 3.69/3.78 c core #50 3.69/3.78 c Core size: 4 Core Weight: 1 Total Weight: -450 3.69/3.78 c Elapsed CPU time: 3.70544 s Remaining CPU time: 1796.29 s 3.79/3.86 c core #51 3.79/3.86 c Core size: 4 Core Weight: 1 Total Weight: -449 3.79/3.86 c Elapsed CPU time: 3.77842 s Remaining CPU time: 1796.22 s 3.89/3.93 c core #52 3.89/3.93 c Core size: 4 Core Weight: 1 Total Weight: -448 3.89/3.93 c Elapsed CPU time: 3.85041 s Remaining CPU time: 1796.15 s 3.99/4.00 c core #53 3.99/4.00 c Core size: 4 Core Weight: 1 Total Weight: -447 3.99/4.00 c Elapsed CPU time: 3.9234 s Remaining CPU time: 1796.08 s 3.99/4.08 c core #54 3.99/4.08 c Core size: 4 Core Weight: 1 Total Weight: -446 3.99/4.08 c Elapsed CPU time: 4.00039 s Remaining CPU time: 1796 s 4.09/4.15 c core #55 4.09/4.15 c Core size: 4 Core Weight: 1 Total Weight: -445 4.09/4.15 c Elapsed CPU time: 4.07238 s Remaining CPU time: 1795.93 s 4.19/4.23 c core #56 4.19/4.23 c Core size: 4 Core Weight: 1 Total Weight: -444 4.19/4.23 c Elapsed CPU time: 4.14537 s Remaining CPU time: 1795.85 s 4.29/4.31 c core #57 4.29/4.31 c Core size: 4 Core Weight: 1 Total Weight: -443 4.29/4.31 c Elapsed CPU time: 4.22236 s Remaining CPU time: 1795.78 s 4.29/4.38 c core #58 4.29/4.38 c Core size: 4 Core Weight: 1 Total Weight: -442 4.29/4.38 c Elapsed CPU time: 4.29835 s Remaining CPU time: 1795.7 s 4.39/4.46 c core #59 4.39/4.46 c Core size: 4 Core Weight: 1 Total Weight: -441 4.39/4.46 c Elapsed CPU time: 4.37333 s Remaining CPU time: 1795.63 s 4.49/4.53 c core #60 4.49/4.53 c Core size: 4 Core Weight: 1 Total Weight: -440 4.49/4.53 c Elapsed CPU time: 4.44232 s Remaining CPU time: 1795.56 s 4.59/4.61 c core #61 4.59/4.61 c Core size: 4 Core Weight: 1 Total Weight: -439 4.59/4.61 c Elapsed CPU time: 4.51531 s Remaining CPU time: 1795.48 s 4.59/4.68 c core #62 4.59/4.68 c Core size: 4 Core Weight: 1 Total Weight: -438 4.59/4.68 c Elapsed CPU time: 4.5893 s Remaining CPU time: 1795.41 s 4.69/4.76 c core #63 4.69/4.76 c Core size: 4 Core Weight: 1 Total Weight: -437 4.69/4.76 c Elapsed CPU time: 4.66329 s Remaining CPU time: 1795.34 s 4.78/4.83 c core #64 4.78/4.83 c Core size: 4 Core Weight: 1 Total Weight: -436 4.78/4.83 c Elapsed CPU time: 4.73828 s Remaining CPU time: 1795.26 s 4.89/4.91 c core #65 4.89/4.91 c Core size: 4 Core Weight: 1 Total Weight: -435 4.89/4.91 c Elapsed CPU time: 4.81227 s Remaining CPU time: 1795.19 s 4.89/4.99 c core #66 4.89/4.99 c Core size: 4 Core Weight: 1 Total Weight: -434 4.89/4.99 c Elapsed CPU time: 4.88626 s Remaining CPU time: 1795.11 s 4.99/5.06 c core #67 4.99/5.06 c Core size: 4 Core Weight: 1 Total Weight: -433 4.99/5.06 c Elapsed CPU time: 4.95925 s Remaining CPU time: 1795.04 s 5.09/5.14 c core #68 5.09/5.14 c Core size: 4 Core Weight: 1 Total Weight: -432 5.09/5.14 c Elapsed CPU time: 5.03223 s Remaining CPU time: 1794.97 s 5.19/5.21 c core #69 5.19/5.21 c Core size: 4 Core Weight: 1 Total Weight: -431 5.19/5.21 c Elapsed CPU time: 5.10622 s Remaining CPU time: 1794.89 s 5.19/5.29 c core #70 5.19/5.29 c Core size: 4 Core Weight: 1 Total Weight: -430 5.19/5.29 c Elapsed CPU time: 5.18221 s Remaining CPU time: 1794.82 s 5.29/5.37 c core #71 5.29/5.37 c Core size: 4 Core Weight: 1 Total Weight: -429 5.29/5.37 c Elapsed CPU time: 5.2582 s Remaining CPU time: 1794.74 s 5.39/5.44 c core #72 5.39/5.44 c Core size: 4 Core Weight: 1 Total Weight: -428 5.39/5.44 c Elapsed CPU time: 5.33219 s Remaining CPU time: 1794.67 s 5.50/5.52 c core #73 5.50/5.52 c Core size: 4 Core Weight: 1 Total Weight: -427 5.50/5.52 c Elapsed CPU time: 5.40718 s Remaining CPU time: 1794.59 s 5.50/5.59 c core #74 5.50/5.59 c Core size: 4 Core Weight: 1 Total Weight: -426 5.50/5.59 c Elapsed CPU time: 5.48117 s Remaining CPU time: 1794.52 s 5.59/5.66 c core #75 5.59/5.66 c Core size: 4 Core Weight: 1 Total Weight: -425 5.59/5.66 c Elapsed CPU time: 5.55415 s Remaining CPU time: 1794.45 s 5.69/5.74 c core #76 5.69/5.74 c Core size: 4 Core Weight: 1 Total Weight: -424 5.69/5.74 c Elapsed CPU time: 5.62714 s Remaining CPU time: 1794.37 s 5.79/5.81 c core #77 5.79/5.81 c Core size: 4 Core Weight: 1 Total Weight: -423 5.79/5.81 c Elapsed CPU time: 5.70213 s Remaining CPU time: 1794.3 s 5.79/5.89 c core #78 5.79/5.89 c Core size: 4 Core Weight: 1 Total Weight: -422 5.79/5.89 c Elapsed CPU time: 5.77612 s Remaining CPU time: 1794.22 s 5.89/5.96 c core #79 5.89/5.96 c Core size: 4 Core Weight: 1 Total Weight: -421 5.89/5.96 c Elapsed CPU time: 5.85011 s Remaining CPU time: 1794.15 s 5.99/6.03 c core #80 5.99/6.03 c Core size: 4 Core Weight: 1 Total Weight: -420 5.99/6.03 c Elapsed CPU time: 5.9231 s Remaining CPU time: 1794.08 s 6.09/6.11 c core #81 6.09/6.11 c Core size: 4 Core Weight: 1 Total Weight: -419 6.09/6.11 c Elapsed CPU time: 5.99709 s Remaining CPU time: 1794 s 6.09/6.18 c core #82 6.09/6.18 c Core size: 4 Core Weight: 1 Total Weight: -418 6.09/6.18 c Elapsed CPU time: 6.06708 s Remaining CPU time: 1793.93 s 6.19/6.26 c core #83 6.19/6.26 c Core size: 4 Core Weight: 1 Total Weight: -417 6.19/6.26 c Elapsed CPU time: 6.14407 s Remaining CPU time: 1793.86 s 6.28/6.34 c core #84 6.28/6.34 c Core size: 4 Core Weight: 1 Total Weight: -416 6.28/6.34 c Elapsed CPU time: 6.21805 s Remaining CPU time: 1793.78 s 6.39/6.41 c core #85 6.39/6.41 c Core size: 4 Core Weight: 1 Total Weight: -415 6.39/6.41 c Elapsed CPU time: 6.29304 s Remaining CPU time: 1793.71 s 6.39/6.49 c core #86 6.39/6.49 c Core size: 4 Core Weight: 1 Total Weight: -414 6.39/6.49 c Elapsed CPU time: 6.36703 s Remaining CPU time: 1793.63 s 6.49/6.56 c core #87 6.49/6.56 c Core size: 4 Core Weight: 1 Total Weight: -413 6.49/6.56 c Elapsed CPU time: 6.43802 s Remaining CPU time: 1793.56 s 6.59/6.63 c core #88 6.59/6.63 c Core size: 4 Core Weight: 1 Total Weight: -412 6.59/6.63 c Elapsed CPU time: 6.51201 s Remaining CPU time: 1793.49 s 6.69/6.71 c core #89 6.69/6.71 c Core size: 4 Core Weight: 1 Total Weight: -411 6.69/6.71 c Elapsed CPU time: 6.584 s Remaining CPU time: 1793.42 s 6.69/6.78 c core #90 6.69/6.78 c Core size: 4 Core Weight: 1 Total Weight: -410 6.69/6.78 c Elapsed CPU time: 6.65799 s Remaining CPU time: 1793.34 s 6.78/6.86 c core #91 6.78/6.86 c Core size: 4 Core Weight: 1 Total Weight: -409 6.78/6.86 c Elapsed CPU time: 6.73498 s Remaining CPU time: 1793.27 s 6.88/6.94 c core #92 6.88/6.94 c Core size: 4 Core Weight: 1 Total Weight: -408 6.88/6.94 c Elapsed CPU time: 6.80996 s Remaining CPU time: 1793.19 s 6.99/7.01 c core #93 6.99/7.01 c Core size: 4 Core Weight: 1 Total Weight: -407 6.99/7.01 c Elapsed CPU time: 6.88195 s Remaining CPU time: 1793.12 s 6.99/7.09 c core #94 6.99/7.09 c Core size: 4 Core Weight: 1 Total Weight: -406 6.99/7.09 c Elapsed CPU time: 6.95494 s Remaining CPU time: 1793.05 s 7.09/7.16 c core #95 7.09/7.16 c Core size: 4 Core Weight: 1 Total Weight: -405 7.09/7.16 c Elapsed CPU time: 7.02893 s Remaining CPU time: 1792.97 s 7.19/7.24 c core #96 7.19/7.24 c Core size: 4 Core Weight: 1 Total Weight: -404 7.19/7.24 c Elapsed CPU time: 7.10492 s Remaining CPU time: 1792.9 s 7.29/7.31 c core #97 7.29/7.31 c Core size: 4 Core Weight: 1 Total Weight: -403 7.29/7.31 c Elapsed CPU time: 7.17991 s Remaining CPU time: 1792.82 s 7.29/7.39 c core #98 7.29/7.39 c Core size: 4 Core Weight: 1 Total Weight: -402 7.29/7.39 c Elapsed CPU time: 7.2559 s Remaining CPU time: 1792.74 s 7.39/7.47 c core #99 7.39/7.47 c Core size: 4 Core Weight: 1 Total Weight: -401 7.39/7.47 c Elapsed CPU time: 7.33089 s Remaining CPU time: 1792.67 s 7.48/7.54 c core #100 7.48/7.54 c Core size: 4 Core Weight: 1 Total Weight: -400 7.48/7.54 c Elapsed CPU time: 7.40587 s Remaining CPU time: 1792.59 s 7.60/7.62 c core #101 7.60/7.62 c Core size: 4 Core Weight: 1 Total Weight: -399 7.60/7.62 c Elapsed CPU time: 7.48086 s Remaining CPU time: 1792.52 s 7.60/7.69 c core #102 7.60/7.69 c Core size: 4 Core Weight: 1 Total Weight: -398 7.60/7.69 c Elapsed CPU time: 7.55285 s Remaining CPU time: 1792.45 s 7.69/7.77 c core #103 7.69/7.77 c Core size: 4 Core Weight: 1 Total Weight: -397 7.69/7.77 c Elapsed CPU time: 7.62884 s Remaining CPU time: 1792.37 s 7.79/7.84 c core #104 7.79/7.84 c Core size: 4 Core Weight: 1 Total Weight: -396 7.79/7.84 c Elapsed CPU time: 7.70083 s Remaining CPU time: 1792.3 s 7.89/7.92 c core #105 7.89/7.92 c Core size: 4 Core Weight: 1 Total Weight: -395 7.89/7.92 c Elapsed CPU time: 7.77682 s Remaining CPU time: 1792.22 s 7.89/7.99 c core #106 7.89/7.99 c Core size: 4 Core Weight: 1 Total Weight: -394 7.89/7.99 c Elapsed CPU time: 7.84981 s Remaining CPU time: 1792.15 s 7.99/8.07 c core #107 7.99/8.07 c Core size: 4 Core Weight: 1 Total Weight: -393 7.99/8.07 c Elapsed CPU time: 7.92479 s Remaining CPU time: 1792.08 s 8.08/8.15 c core #108 8.08/8.15 c Core size: 4 Core Weight: 1 Total Weight: -392 8.08/8.15 c Elapsed CPU time: 8.00178 s Remaining CPU time: 1792 s 8.19/8.22 c core #109 8.19/8.22 c Core size: 4 Core Weight: 1 Total Weight: -391 8.19/8.22 c Elapsed CPU time: 8.07577 s Remaining CPU time: 1791.92 s 8.29/8.30 c core #110 8.29/8.30 c Core size: 4 Core Weight: 1 Total Weight: -390 8.29/8.30 c Elapsed CPU time: 8.15076 s Remaining CPU time: 1791.85 s 8.29/8.37 c core #111 8.29/8.37 c Core size: 4 Core Weight: 1 Total Weight: -389 8.29/8.37 c Elapsed CPU time: 8.22375 s Remaining CPU time: 1791.78 s 8.39/8.45 c core #112 8.39/8.45 c Core size: 4 Core Weight: 1 Total Weight: -388 8.39/8.45 c Elapsed CPU time: 8.30074 s Remaining CPU time: 1791.7 s 8.49/8.53 c core #113 8.49/8.53 c Core size: 4 Core Weight: 1 Total Weight: -387 8.49/8.53 c Elapsed CPU time: 8.37473 s Remaining CPU time: 1791.63 s 8.59/8.60 c core #114 8.59/8.60 c Core size: 4 Core Weight: 1 Total Weight: -386 8.59/8.60 c Elapsed CPU time: 8.45072 s Remaining CPU time: 1791.55 s 8.59/8.68 c core #115 8.59/8.68 c Core size: 4 Core Weight: 1 Total Weight: -385 8.59/8.68 c Elapsed CPU time: 8.5277 s Remaining CPU time: 1791.47 s 8.69/8.76 c core #116 8.69/8.76 c Core size: 4 Core Weight: 1 Total Weight: -384 8.69/8.76 c Elapsed CPU time: 8.60569 s Remaining CPU time: 1791.39 s 8.79/8.84 c core #117 8.79/8.84 c Core size: 4 Core Weight: 1 Total Weight: -383 8.79/8.84 c Elapsed CPU time: 8.68068 s Remaining CPU time: 1791.32 s 8.89/8.92 c core #118 8.89/8.92 c Core size: 4 Core Weight: 1 Total Weight: -382 8.89/8.92 c Elapsed CPU time: 8.75667 s Remaining CPU time: 1791.24 s 8.89/8.99 c core #119 8.89/8.99 c Core size: 4 Core Weight: 1 Total Weight: -381 8.89/8.99 c Elapsed CPU time: 8.83466 s Remaining CPU time: 1791.17 s 8.99/9.07 c core #120 8.99/9.07 c Core size: 4 Core Weight: 1 Total Weight: -380 8.99/9.07 c Elapsed CPU time: 8.91165 s Remaining CPU time: 1791.09 s 9.09/9.15 c core #121 9.09/9.15 c Core size: 4 Core Weight: 1 Total Weight: -379 9.09/9.15 c Elapsed CPU time: 8.98963 s Remaining CPU time: 1791.01 s 9.19/9.23 c core #122 9.19/9.23 c Core size: 4 Core Weight: 1 Total Weight: -378 9.19/9.23 c Elapsed CPU time: 9.06862 s Remaining CPU time: 1790.93 s 9.29/9.31 c core #123 9.29/9.31 c Core size: 4 Core Weight: 1 Total Weight: -377 9.29/9.31 c Elapsed CPU time: 9.14261 s Remaining CPU time: 1790.86 s 9.29/9.38 c core #124 9.29/9.38 c Core size: 4 Core Weight: 1 Total Weight: -376 9.29/9.38 c Elapsed CPU time: 9.2176 s Remaining CPU time: 1790.78 s 9.39/9.46 c core #125 9.39/9.46 c Core size: 4 Core Weight: 1 Total Weight: -375 9.39/9.46 c Elapsed CPU time: 9.29359 s Remaining CPU time: 1790.71 s 9.48/9.54 c core #126 9.48/9.54 c Core size: 4 Core Weight: 1 Total Weight: -374 9.48/9.54 c Elapsed CPU time: 9.36957 s Remaining CPU time: 1790.63 s 9.58/9.61 c core #127 9.58/9.61 c Core size: 4 Core Weight: 1 Total Weight: -373 9.58/9.61 c Elapsed CPU time: 9.44656 s Remaining CPU time: 1790.55 s 9.58/9.69 c core #128 9.58/9.69 c Core size: 4 Core Weight: 1 Total Weight: -372 9.58/9.69 c Elapsed CPU time: 9.52155 s Remaining CPU time: 1790.48 s 9.69/9.77 c core #129 9.69/9.77 c Core size: 4 Core Weight: 1 Total Weight: -371 9.69/9.77 c Elapsed CPU time: 9.59954 s Remaining CPU time: 1790.4 s 9.79/9.85 c core #130 9.79/9.85 c Core size: 4 Core Weight: 1 Total Weight: -370 9.79/9.85 c Elapsed CPU time: 9.67853 s Remaining CPU time: 1790.32 s 9.89/9.93 c core #131 9.89/9.93 c Core size: 4 Core Weight: 1 Total Weight: -369 9.89/9.93 c Elapsed CPU time: 9.75552 s Remaining CPU time: 1790.24 s 9.99/10.01 c core #132 9.99/10.01 c Core size: 4 Core Weight: 1 Total Weight: -368 9.99/10.01 c Elapsed CPU time: 9.8325 s Remaining CPU time: 1790.17 s 9.99/10.09 c core #133 9.99/10.09 c Core size: 4 Core Weight: 1 Total Weight: -367 9.99/10.09 c Elapsed CPU time: 9.91049 s Remaining CPU time: 1790.09 s 10.08/10.16 c core #134 10.08/10.16 c Core size: 4 Core Weight: 1 Total Weight: -366 10.08/10.16 c Elapsed CPU time: 9.98448 s Remaining CPU time: 1790.02 s 10.18/10.24 c core #135 10.18/10.24 c Core size: 4 Core Weight: 1 Total Weight: -365 10.18/10.24 c Elapsed CPU time: 10.0635 s Remaining CPU time: 1789.94 s 10.29/10.32 c core #136 10.29/10.32 c Core size: 4 Core Weight: 1 Total Weight: -364 10.29/10.32 c Elapsed CPU time: 10.1385 s Remaining CPU time: 1789.86 s 10.29/10.39 c core #137 10.29/10.39 c Core size: 4 Core Weight: 1 Total Weight: -363 10.29/10.39 c Elapsed CPU time: 10.2134 s Remaining CPU time: 1789.79 s 10.39/10.47 c core #138 10.39/10.47 c Core size: 4 Core Weight: 1 Total Weight: -362 10.39/10.47 c Elapsed CPU time: 10.2874 s Remaining CPU time: 1789.71 s 10.49/10.55 c core #139 10.49/10.55 c Core size: 4 Core Weight: 1 Total Weight: -361 10.49/10.55 c Elapsed CPU time: 10.3604 s Remaining CPU time: 1789.64 s 10.59/10.62 c core #140 10.59/10.62 c Core size: 4 Core Weight: 1 Total Weight: -360 10.59/10.62 c Elapsed CPU time: 10.4334 s Remaining CPU time: 1789.57 s 10.68/10.70 c core #141 10.68/10.70 c Core size: 4 Core Weight: 1 Total Weight: -359 10.68/10.70 c Elapsed CPU time: 10.5114 s Remaining CPU time: 1789.49 s 10.68/10.78 c core #142 10.68/10.78 c Core size: 4 Core Weight: 1 Total Weight: -358 10.68/10.78 c Elapsed CPU time: 10.5874 s Remaining CPU time: 1789.41 s 10.79/10.85 c core #143 10.79/10.85 c Core size: 4 Core Weight: 1 Total Weight: -357 10.79/10.85 c Elapsed CPU time: 10.6644 s Remaining CPU time: 1789.34 s 10.90/10.93 c core #144 10.90/10.93 c Core size: 4 Core Weight: 1 Total Weight: -356 10.90/10.93 c Elapsed CPU time: 10.7404 s Remaining CPU time: 1789.26 s 10.99/11.01 c core #145 10.99/11.01 c Core size: 4 Core Weight: 1 Total Weight: -355 10.99/11.01 c Elapsed CPU time: 10.8164 s Remaining CPU time: 1789.18 s 10.99/11.09 c core #146 10.99/11.09 c Core size: 4 Core Weight: 1 Total Weight: -354 10.99/11.09 c Elapsed CPU time: 10.8903 s Remaining CPU time: 1789.11 s 11.09/11.16 c core #147 11.09/11.16 c Core size: 4 Core Weight: 1 Total Weight: -353 11.09/11.16 c Elapsed CPU time: 10.9673 s Remaining CPU time: 1789.03 s 11.18/11.24 c core #148 11.18/11.24 c Core size: 4 Core Weight: 1 Total Weight: -352 11.18/11.24 c Elapsed CPU time: 11.0463 s Remaining CPU time: 1788.95 s 11.28/11.32 c core #149 11.28/11.32 c Core size: 4 Core Weight: 1 Total Weight: -351 11.28/11.32 c Elapsed CPU time: 11.1263 s Remaining CPU time: 1788.87 s 11.39/11.40 c core #150 11.39/11.40 c Core size: 4 Core Weight: 1 Total Weight: -350 11.39/11.40 c Elapsed CPU time: 11.2033 s Remaining CPU time: 1788.8 s 11.39/11.48 c core #151 11.39/11.48 c Core size: 4 Core Weight: 1 Total Weight: -349 11.39/11.48 c Elapsed CPU time: 11.2803 s Remaining CPU time: 1788.72 s 11.49/11.56 c core #152 11.49/11.56 c Core size: 4 Core Weight: 1 Total Weight: -348 11.49/11.56 c Elapsed CPU time: 11.3583 s Remaining CPU time: 1788.64 s 11.59/11.64 c core #153 11.59/11.64 c Core size: 4 Core Weight: 1 Total Weight: -347 11.59/11.64 c Elapsed CPU time: 11.4343 s Remaining CPU time: 1788.57 s 11.69/11.71 c core #154 11.69/11.71 c Core size: 4 Core Weight: 1 Total Weight: -346 11.69/11.71 c Elapsed CPU time: 11.5102 s Remaining CPU time: 1788.49 s 11.69/11.79 c core #155 11.69/11.79 c Core size: 4 Core Weight: 1 Total Weight: -345 11.69/11.79 c Elapsed CPU time: 11.5872 s Remaining CPU time: 1788.41 s 11.79/11.87 c core #156 11.79/11.87 c Core size: 4 Core Weight: 1 Total Weight: -344 11.79/11.87 c Elapsed CPU time: 11.6602 s Remaining CPU time: 1788.34 s 11.88/11.95 c core #157 11.88/11.95 c Core size: 4 Core Weight: 1 Total Weight: -343 11.88/11.95 c Elapsed CPU time: 11.7362 s Remaining CPU time: 1788.26 s 12.00/12.02 c core #158 12.00/12.02 c Core size: 4 Core Weight: 1 Total Weight: -342 12.00/12.02 c Elapsed CPU time: 11.8132 s Remaining CPU time: 1788.19 s 12.09/12.10 c core #159 12.09/12.10 c Core size: 4 Core Weight: 1 Total Weight: -341 12.09/12.10 c Elapsed CPU time: 11.8902 s Remaining CPU time: 1788.11 s 12.09/12.18 c core #160 12.09/12.18 c Core size: 4 Core Weight: 1 Total Weight: -340 12.09/12.18 c Elapsed CPU time: 11.9662 s Remaining CPU time: 1788.03 s 12.19/12.26 c core #161 12.19/12.26 c Core size: 4 Core Weight: 1 Total Weight: -339 12.19/12.26 c Elapsed CPU time: 12.0432 s Remaining CPU time: 1787.96 s 12.29/12.34 c core #162 12.29/12.34 c Core size: 4 Core Weight: 1 Total Weight: -338 12.29/12.34 c Elapsed CPU time: 12.1232 s Remaining CPU time: 1787.88 s 12.39/12.42 c core #163 12.39/12.42 c Core size: 4 Core Weight: 1 Total Weight: -337 12.39/12.42 c Elapsed CPU time: 12.1991 s Remaining CPU time: 1787.8 s 12.39/12.49 c core #164 12.39/12.49 c Core size: 4 Core Weight: 1 Total Weight: -336 12.39/12.49 c Elapsed CPU time: 12.2781 s Remaining CPU time: 1787.72 s 12.49/12.57 c core #165 12.49/12.57 c Core size: 4 Core Weight: 1 Total Weight: -335 12.49/12.57 c Elapsed CPU time: 12.3581 s Remaining CPU time: 1787.64 s 12.58/12.65 c core #166 12.58/12.65 c Core size: 4 Core Weight: 1 Total Weight: -334 12.58/12.65 c Elapsed CPU time: 12.4341 s Remaining CPU time: 1787.57 s 12.68/12.73 c core #167 12.68/12.73 c Core size: 4 Core Weight: 1 Total Weight: -333 12.68/12.73 c Elapsed CPU time: 12.5131 s Remaining CPU time: 1787.49 s 12.78/12.81 c core #168 12.78/12.81 c Core size: 4 Core Weight: 1 Total Weight: -332 12.78/12.81 c Elapsed CPU time: 12.5931 s Remaining CPU time: 1787.41 s 12.78/12.89 c core #169 12.78/12.89 c Core size: 4 Core Weight: 1 Total Weight: -331 12.78/12.89 c Elapsed CPU time: 12.6711 s Remaining CPU time: 1787.33 s 12.89/12.97 c core #170 12.89/12.97 c Core size: 4 Core Weight: 1 Total Weight: -330 12.89/12.97 c Elapsed CPU time: 12.7471 s Remaining CPU time: 1787.25 s 12.99/13.05 c core #171 12.99/13.05 c Core size: 4 Core Weight: 1 Total Weight: -329 12.99/13.05 c Elapsed CPU time: 12.825 s Remaining CPU time: 1787.17 s 13.09/13.12 c core #172 13.09/13.12 c Core size: 4 Core Weight: 1 Total Weight: -328 13.09/13.12 c Elapsed CPU time: 12.898 s Remaining CPU time: 1787.1 s 13.19/13.20 c core #173 13.19/13.20 c Core size: 4 Core Weight: 1 Total Weight: -327 13.19/13.20 c Elapsed CPU time: 12.974 s Remaining CPU time: 1787.03 s 13.19/13.28 c core #174 13.19/13.28 c Core size: 4 Core Weight: 1 Total Weight: -326 13.19/13.28 c Elapsed CPU time: 13.051 s Remaining CPU time: 1786.95 s 13.28/13.36 c core #175 13.28/13.36 c Core size: 4 Core Weight: 1 Total Weight: -325 13.28/13.36 c Elapsed CPU time: 13.129 s Remaining CPU time: 1786.87 s 13.38/13.44 c core #176 13.38/13.44 c Core size: 4 Core Weight: 1 Total Weight: -324 13.38/13.44 c Elapsed CPU time: 13.206 s Remaining CPU time: 1786.79 s 13.49/13.52 c core #177 13.49/13.52 c Core size: 4 Core Weight: 1 Total Weight: -323 13.49/13.52 c Elapsed CPU time: 13.283 s Remaining CPU time: 1786.72 s 13.49/13.59 c core #178 13.49/13.59 c Core size: 4 Core Weight: 1 Total Weight: -322 13.49/13.59 c Elapsed CPU time: 13.358 s Remaining CPU time: 1786.64 s 13.59/13.67 c core #179 13.59/13.67 c Core size: 4 Core Weight: 1 Total Weight: -321 13.59/13.67 c Elapsed CPU time: 13.434 s Remaining CPU time: 1786.57 s 13.68/13.75 c core #180 13.68/13.75 c Core size: 4 Core Weight: 1 Total Weight: -320 13.68/13.75 c Elapsed CPU time: 13.5089 s Remaining CPU time: 1786.49 s 13.78/13.82 c core #181 13.78/13.82 c Core size: 4 Core Weight: 1 Total Weight: -319 13.78/13.82 c Elapsed CPU time: 13.5869 s Remaining CPU time: 1786.41 s 13.88/13.90 c core #182 13.88/13.90 c Core size: 4 Core Weight: 1 Total Weight: -318 13.88/13.90 c Elapsed CPU time: 13.6599 s Remaining CPU time: 1786.34 s 13.88/13.98 c core #183 13.88/13.98 c Core size: 4 Core Weight: 1 Total Weight: -317 13.88/13.98 c Elapsed CPU time: 13.7369 s Remaining CPU time: 1786.26 s 13.99/14.05 c core #184 13.99/14.05 c Core size: 4 Core Weight: 1 Total Weight: -316 13.99/14.05 c Elapsed CPU time: 13.8109 s Remaining CPU time: 1786.19 s 14.09/14.13 c core #185 14.09/14.13 c Core size: 4 Core Weight: 1 Total Weight: -315 14.09/14.13 c Elapsed CPU time: 13.8849 s Remaining CPU time: 1786.12 s 14.19/14.20 c core #186 14.19/14.20 c Core size: 4 Core Weight: 1 Total Weight: -314 14.19/14.20 c Elapsed CPU time: 13.9589 s Remaining CPU time: 1786.04 s 14.19/14.28 c core #187 14.19/14.28 c Core size: 4 Core Weight: 1 Total Weight: -313 14.19/14.28 c Elapsed CPU time: 14.0389 s Remaining CPU time: 1785.96 s 14.29/14.36 c core #188 14.29/14.36 c Core size: 4 Core Weight: 1 Total Weight: -312 14.29/14.36 c Elapsed CPU time: 14.1159 s Remaining CPU time: 1785.88 s 14.39/14.44 c core #189 14.39/14.44 c Core size: 4 Core Weight: 1 Total Weight: -311 14.39/14.44 c Elapsed CPU time: 14.1948 s Remaining CPU time: 1785.81 s 14.49/14.52 c core #190 14.49/14.52 c Core size: 4 Core Weight: 1 Total Weight: -310 14.49/14.52 c Elapsed CPU time: 14.2738 s Remaining CPU time: 1785.73 s 14.58/14.60 c core #191 14.58/14.60 c Core size: 4 Core Weight: 1 Total Weight: -309 14.58/14.60 c Elapsed CPU time: 14.3488 s Remaining CPU time: 1785.65 s 14.58/14.68 c core #192 14.58/14.68 c Core size: 4 Core Weight: 1 Total Weight: -308 14.58/14.68 c Elapsed CPU time: 14.4258 s Remaining CPU time: 1785.57 s 14.69/14.76 c core #193 14.69/14.76 c Core size: 4 Core Weight: 1 Total Weight: -307 14.69/14.76 c Elapsed CPU time: 14.5038 s Remaining CPU time: 1785.5 s 14.79/14.84 c core #194 14.79/14.84 c Core size: 4 Core Weight: 1 Total Weight: -306 14.79/14.84 c Elapsed CPU time: 14.5808 s Remaining CPU time: 1785.42 s 14.88/14.92 c core #195 14.88/14.92 c Core size: 4 Core Weight: 1 Total Weight: -305 14.88/14.92 c Elapsed CPU time: 14.6588 s Remaining CPU time: 1785.34 s 14.88/14.99 c core #196 14.88/14.99 c Core size: 4 Core Weight: 1 Total Weight: -304 14.88/14.99 c Elapsed CPU time: 14.7348 s Remaining CPU time: 1785.27 s 14.98/15.07 c core #197 14.98/15.07 c Core size: 4 Core Weight: 1 Total Weight: -303 14.98/15.07 c Elapsed CPU time: 14.8107 s Remaining CPU time: 1785.19 s 15.08/15.15 c core #198 15.08/15.15 c Core size: 4 Core Weight: 1 Total Weight: -302 15.08/15.15 c Elapsed CPU time: 14.8897 s Remaining CPU time: 1785.11 s 15.19/15.23 c core #199 15.19/15.23 c Core size: 4 Core Weight: 1 Total Weight: -301 15.19/15.23 c Elapsed CPU time: 14.9647 s Remaining CPU time: 1785.04 s 15.29/15.31 c core #200 15.29/15.31 c Core size: 4 Core Weight: 1 Total Weight: -300 15.29/15.31 c Elapsed CPU time: 15.0427 s Remaining CPU time: 1784.96 s 15.29/15.39 c core #201 15.29/15.39 c Core size: 4 Core Weight: 1 Total Weight: -299 15.29/15.39 c Elapsed CPU time: 15.1207 s Remaining CPU time: 1784.88 s 15.39/15.47 c core #202 15.39/15.47 c Core size: 4 Core Weight: 1 Total Weight: -298 15.39/15.47 c Elapsed CPU time: 15.1987 s Remaining CPU time: 1784.8 s 15.48/15.55 c core #203 15.48/15.55 c Core size: 4 Core Weight: 1 Total Weight: -297 15.48/15.55 c Elapsed CPU time: 15.2767 s Remaining CPU time: 1784.72 s 15.58/15.63 c core #204 15.58/15.63 c Core size: 4 Core Weight: 1 Total Weight: -296 15.58/15.63 c Elapsed CPU time: 15.3567 s Remaining CPU time: 1784.64 s 15.69/15.71 c core #205 15.69/15.71 c Core size: 4 Core Weight: 1 Total Weight: -295 15.69/15.71 c Elapsed CPU time: 15.4357 s Remaining CPU time: 1784.56 s 15.69/15.79 c core #206 15.69/15.79 c Core size: 4 Core Weight: 1 Total Weight: -294 15.69/15.79 c Elapsed CPU time: 15.5166 s Remaining CPU time: 1784.48 s 15.79/15.87 c core #207 15.79/15.87 c Core size: 4 Core Weight: 1 Total Weight: -293 15.79/15.87 c Elapsed CPU time: 15.5976 s Remaining CPU time: 1784.4 s 15.89/15.95 c core #208 15.89/15.95 c Core size: 4 Core Weight: 1 Total Weight: -292 15.89/15.95 c Elapsed CPU time: 15.6776 s Remaining CPU time: 1784.32 s 15.99/16.03 c core #209 15.99/16.03 c Core size: 4 Core Weight: 1 Total Weight: -291 15.99/16.03 c Elapsed CPU time: 15.7566 s Remaining CPU time: 1784.24 s 16.09/16.11 c core #210 16.09/16.11 c Core size: 4 Core Weight: 1 Total Weight: -290 16.09/16.11 c Elapsed CPU time: 15.8346 s Remaining CPU time: 1784.17 s 16.09/16.19 c core #211 16.09/16.19 c Core size: 4 Core Weight: 1 Total Weight: -289 16.09/16.19 c Elapsed CPU time: 15.9146 s Remaining CPU time: 1784.09 s 16.19/16.27 c core #212 16.19/16.27 c Core size: 4 Core Weight: 1 Total Weight: -288 16.19/16.27 c Elapsed CPU time: 15.9936 s Remaining CPU time: 1784.01 s 16.28/16.35 c core #213 16.28/16.35 c Core size: 4 Core Weight: 1 Total Weight: -287 16.28/16.35 c Elapsed CPU time: 16.0716 s Remaining CPU time: 1783.93 s 16.39/16.43 c core #214 16.39/16.43 c Core size: 4 Core Weight: 1 Total Weight: -286 16.39/16.43 c Elapsed CPU time: 16.1505 s Remaining CPU time: 1783.85 s 16.49/16.51 c core #215 16.49/16.51 c Core size: 4 Core Weight: 1 Total Weight: -285 16.49/16.51 c Elapsed CPU time: 16.2295 s Remaining CPU time: 1783.77 s 16.49/16.59 c core #216 16.49/16.59 c Core size: 4 Core Weight: 1 Total Weight: -284 16.49/16.59 c Elapsed CPU time: 16.3065 s Remaining CPU time: 1783.69 s 16.59/16.67 c core #217 16.59/16.67 c Core size: 4 Core Weight: 1 Total Weight: -283 16.59/16.67 c Elapsed CPU time: 16.3845 s Remaining CPU time: 1783.62 s 16.69/16.75 c core #218 16.69/16.75 c Core size: 4 Core Weight: 1 Total Weight: -282 16.69/16.75 c Elapsed CPU time: 16.4645 s Remaining CPU time: 1783.54 s 16.78/16.83 c core #219 16.78/16.83 c Core size: 4 Core Weight: 1 Total Weight: -281 16.78/16.83 c Elapsed CPU time: 16.5425 s Remaining CPU time: 1783.46 s 16.88/16.91 c core #220 16.88/16.91 c Core size: 4 Core Weight: 1 Total Weight: -280 16.88/16.91 c Elapsed CPU time: 16.6185 s Remaining CPU time: 1783.38 s 16.88/16.99 c core #221 16.88/16.99 c Core size: 4 Core Weight: 1 Total Weight: -279 16.88/16.99 c Elapsed CPU time: 16.6955 s Remaining CPU time: 1783.3 s 16.99/17.07 c core #222 16.99/17.07 c Core size: 4 Core Weight: 1 Total Weight: -278 16.99/17.07 c Elapsed CPU time: 16.7764 s Remaining CPU time: 1783.22 s 17.09/17.15 c core #223 17.09/17.15 c Core size: 4 Core Weight: 1 Total Weight: -277 17.09/17.15 c Elapsed CPU time: 16.8564 s Remaining CPU time: 1783.14 s 17.19/17.23 c core #224 17.19/17.23 c Core size: 4 Core Weight: 1 Total Weight: -276 17.19/17.23 c Elapsed CPU time: 16.9354 s Remaining CPU time: 1783.06 s 17.29/17.31 c core #225 17.29/17.31 c Core size: 4 Core Weight: 1 Total Weight: -275 17.29/17.31 c Elapsed CPU time: 17.0144 s Remaining CPU time: 1782.99 s 17.29/17.39 c core #226 17.29/17.39 c Core size: 4 Core Weight: 1 Total Weight: -274 17.29/17.39 c Elapsed CPU time: 17.0944 s Remaining CPU time: 1782.91 s 17.39/17.47 c core #227 17.39/17.47 c Core size: 4 Core Weight: 1 Total Weight: -273 17.39/17.47 c Elapsed CPU time: 17.1744 s Remaining CPU time: 1782.83 s 17.49/17.55 c core #228 17.49/17.55 c Core size: 4 Core Weight: 1 Total Weight: -272 17.49/17.55 c Elapsed CPU time: 17.2534 s Remaining CPU time: 1782.75 s 17.59/17.63 c core #229 17.59/17.63 c Core size: 4 Core Weight: 1 Total Weight: -271 17.59/17.63 c Elapsed CPU time: 17.3324 s Remaining CPU time: 1782.67 s 17.68/17.71 c core #230 17.68/17.71 c Core size: 4 Core Weight: 1 Total Weight: -270 17.68/17.71 c Elapsed CPU time: 17.4114 s Remaining CPU time: 1782.59 s 17.68/17.79 c core #231 17.68/17.79 c Core size: 4 Core Weight: 1 Total Weight: -269 17.68/17.79 c Elapsed CPU time: 17.4923 s Remaining CPU time: 1782.51 s 17.78/17.87 c core #232 17.78/17.87 c Core size: 4 Core Weight: 1 Total Weight: -268 17.78/17.87 c Elapsed CPU time: 17.5693 s Remaining CPU time: 1782.43 s 17.89/17.95 c core #233 17.89/17.95 c Core size: 4 Core Weight: 1 Total Weight: -267 17.89/17.95 c Elapsed CPU time: 17.6453 s Remaining CPU time: 1782.35 s 17.99/18.03 c core #234 17.99/18.03 c Core size: 4 Core Weight: 1 Total Weight: -266 17.99/18.03 c Elapsed CPU time: 17.7263 s Remaining CPU time: 1782.27 s 18.09/18.11 c core #235 18.09/18.11 c Core size: 4 Core Weight: 1 Total Weight: -265 18.09/18.11 c Elapsed CPU time: 17.8063 s Remaining CPU time: 1782.19 s 18.09/18.19 c core #236 18.09/18.19 c Core size: 4 Core Weight: 1 Total Weight: -264 18.09/18.19 c Elapsed CPU time: 17.8863 s Remaining CPU time: 1782.11 s 18.19/18.27 c core #237 18.19/18.27 c Core size: 4 Core Weight: 1 Total Weight: -263 18.19/18.27 c Elapsed CPU time: 17.9653 s Remaining CPU time: 1782.03 s 18.28/18.36 c core #238 18.28/18.36 c Core size: 4 Core Weight: 1 Total Weight: -262 18.28/18.36 c Elapsed CPU time: 18.0473 s Remaining CPU time: 1781.95 s 18.38/18.44 c core #239 18.38/18.44 c Core size: 4 Core Weight: 1 Total Weight: -261 18.38/18.44 c Elapsed CPU time: 18.1272 s Remaining CPU time: 1781.87 s 18.48/18.52 c core #240 18.48/18.52 c Core size: 4 Core Weight: 1 Total Weight: -260 18.48/18.52 c Elapsed CPU time: 18.2062 s Remaining CPU time: 1781.79 s 18.48/18.60 c core #241 18.48/18.60 c Core size: 4 Core Weight: 1 Total Weight: -259 18.48/18.60 c Elapsed CPU time: 18.2852 s Remaining CPU time: 1781.71 s 18.59/18.68 c core #242 18.59/18.68 c Core size: 4 Core Weight: 1 Total Weight: -258 18.59/18.68 c Elapsed CPU time: 18.3652 s Remaining CPU time: 1781.63 s 18.69/18.76 c core #243 18.69/18.76 c Core size: 4 Core Weight: 1 Total Weight: -257 18.69/18.76 c Elapsed CPU time: 18.4452 s Remaining CPU time: 1781.55 s 18.79/18.84 c core #244 18.79/18.84 c Core size: 4 Core Weight: 1 Total Weight: -256 18.79/18.84 c Elapsed CPU time: 18.5242 s Remaining CPU time: 1781.48 s 18.88/18.92 c core #245 18.88/18.92 c Core size: 4 Core Weight: 1 Total Weight: -255 18.88/18.92 c Elapsed CPU time: 18.6052 s Remaining CPU time: 1781.39 s 18.98/19.00 c core #246 18.98/19.00 c Core size: 4 Core Weight: 1 Total Weight: -254 18.98/19.01 c Elapsed CPU time: 18.6852 s Remaining CPU time: 1781.31 s 18.98/19.09 c core #247 18.98/19.09 c Core size: 9 Core Weight: 1 Total Weight: -253 18.98/19.09 c Elapsed CPU time: 18.7651 s Remaining CPU time: 1781.23 s 19.08/19.17 c core #248 19.08/19.17 c Core size: 9 Core Weight: 1 Total Weight: -252 19.08/19.17 c Elapsed CPU time: 18.8421 s Remaining CPU time: 1781.16 s 19.19/19.25 c core #249 19.19/19.25 c Core size: 9 Core Weight: 1 Total Weight: -251 19.19/19.25 c Elapsed CPU time: 18.9211 s Remaining CPU time: 1781.08 s 19.28/19.33 c core #250 19.28/19.33 c Core size: 28 Core Weight: 1 Total Weight: -250 19.28/19.33 c Elapsed CPU time: 19.0011 s Remaining CPU time: 1781 s 19.38/19.41 c core #251 19.38/19.41 c Core size: 13 Core Weight: 1 Total Weight: -249 19.38/19.41 c Elapsed CPU time: 19.0791 s Remaining CPU time: 1780.92 s 19.38/19.49 c ============================[ Search Statistics ]============================== 19.38/19.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.38/19.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.38/19.49 c =============================================================================== 19.38/19.49 c | 0 | 1020 39117 94295 | 13039 0 nan | 0.000 % | 19.38/19.49 c =============================================================================== 19.49/19.50 c core #252 19.49/19.50 c Core size: 17 Core Weight: 1 Total Weight: -248 19.49/19.50 c Elapsed CPU time: 19.1621 s Remaining CPU time: 1780.84 s 19.49/19.57 c ============================[ Search Statistics ]============================== 19.49/19.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.49/19.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.49/19.57 c =============================================================================== 19.49/19.57 c | 0 | 1026 39118 94307 | 13039 0 nan | 0.000 % | 19.49/19.58 c =============================================================================== 19.49/19.58 c core #253 19.49/19.58 c Core size: 15 Core Weight: 1 Total Weight: -247 19.49/19.58 c Elapsed CPU time: 19.2421 s Remaining CPU time: 1780.76 s 19.58/19.66 c ============================[ Search Statistics ]============================== 19.58/19.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.58/19.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.58/19.66 c =============================================================================== 19.58/19.66 c | 0 | 1032 39119 94319 | 13039 0 nan | 0.000 % | 19.58/19.66 c =============================================================================== 19.58/19.66 c core #254 19.58/19.66 c Core size: 17 Core Weight: 1 Total Weight: -246 19.58/19.66 c Elapsed CPU time: 19.3251 s Remaining CPU time: 1780.67 s 19.69/19.74 c ============================[ Search Statistics ]============================== 19.69/19.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.69/19.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.69/19.74 c =============================================================================== 19.69/19.74 c | 0 | 1038 39120 94331 | 13040 0 nan | 0.000 % | 19.69/19.75 c =============================================================================== 19.69/19.75 c core #255 19.69/19.75 c Core size: 15 Core Weight: 1 Total Weight: -245 19.69/19.75 c Elapsed CPU time: 19.406 s Remaining CPU time: 1780.59 s 19.78/19.82 c ============================[ Search Statistics ]============================== 19.78/19.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.78/19.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.78/19.82 c =============================================================================== 19.78/19.82 c | 0 | 1044 39121 94343 | 13040 0 nan | 0.000 % | 19.78/19.83 c =============================================================================== 19.78/19.83 c core #256 19.78/19.83 c Core size: 17 Core Weight: 1 Total Weight: -244 19.78/19.83 c Elapsed CPU time: 19.488 s Remaining CPU time: 1780.51 s 19.89/19.91 c ============================[ Search Statistics ]============================== 19.89/19.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.89/19.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.89/19.91 c =============================================================================== 19.89/19.91 c | 0 | 1050 39122 94355 | 13040 0 nan | 0.000 % | 19.89/19.91 c =============================================================================== 19.89/19.91 c core #257 19.89/19.91 c Core size: 15 Core Weight: 1 Total Weight: -243 19.89/19.91 c Elapsed CPU time: 19.566 s Remaining CPU time: 1780.43 s 19.89/19.99 c ============================[ Search Statistics ]============================== 19.89/19.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.89/19.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.89/19.99 c =============================================================================== 19.89/19.99 c | 0 | 1056 39123 94367 | 13041 0 nan | 0.000 % | 19.89/19.99 c =============================================================================== 19.89/19.99 c core #258 19.89/19.99 c Core size: 16 Core Weight: 1 Total Weight: -242 19.89/19.99 c Elapsed CPU time: 19.648 s Remaining CPU time: 1780.35 s 19.99/20.07 c ============================[ Search Statistics ]============================== 19.99/20.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.99/20.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.99/20.07 c =============================================================================== 19.99/20.07 c | 0 | 1062 39124 94379 | 13041 0 nan | 0.000 % | 19.99/20.07 c =============================================================================== 19.99/20.07 c core #259 19.99/20.07 c Core size: 17 Core Weight: 1 Total Weight: -241 19.99/20.07 c Elapsed CPU time: 19.727 s Remaining CPU time: 1780.27 s 20.08/20.15 c ============================[ Search Statistics ]============================== 20.08/20.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.08/20.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.08/20.15 c =============================================================================== 20.08/20.15 c | 0 | 1068 39125 94391 | 13041 0 nan | 0.000 % | 20.08/20.15 c =============================================================================== 20.08/20.16 c core #260 20.08/20.16 c Core size: 16 Core Weight: 1 Total Weight: -240 20.08/20.16 c Elapsed CPU time: 19.807 s Remaining CPU time: 1780.19 s 20.18/20.23 c ============================[ Search Statistics ]============================== 20.18/20.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.18/20.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.18/20.23 c =============================================================================== 20.18/20.23 c | 0 | 1074 39126 94403 | 13042 0 nan | 0.000 % | 20.18/20.24 c =============================================================================== 20.18/20.24 c core #261 20.18/20.24 c Core size: 17 Core Weight: 1 Total Weight: -239 20.18/20.24 c Elapsed CPU time: 19.889 s Remaining CPU time: 1780.11 s 20.28/20.31 c ============================[ Search Statistics ]============================== 20.28/20.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.28/20.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.28/20.32 c =============================================================================== 20.28/20.32 c | 0 | 1080 39127 94415 | 13042 0 nan | 0.000 % | 20.28/20.32 c =============================================================================== 20.28/20.32 c core #262 20.28/20.32 c Core size: 15 Core Weight: 1 Total Weight: -238 20.28/20.32 c Elapsed CPU time: 19.969 s Remaining CPU time: 1780.03 s 20.38/20.40 c ============================[ Search Statistics ]============================== 20.38/20.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.38/20.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.38/20.40 c =============================================================================== 20.38/20.40 c | 0 | 1086 39128 94427 | 13042 0 nan | 0.000 % | 20.38/20.40 c =============================================================================== 20.38/20.41 c core #263 20.38/20.41 c Core size: 17 Core Weight: 1 Total Weight: -237 20.38/20.41 c Elapsed CPU time: 20.052 s Remaining CPU time: 1779.95 s 20.38/20.48 c ============================[ Search Statistics ]============================== 20.38/20.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.38/20.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.38/20.48 c =============================================================================== 20.38/20.48 c | 0 | 1092 39129 94439 | 13043 0 nan | 0.000 % | 20.38/20.49 c =============================================================================== 20.38/20.49 c core #264 20.38/20.49 c Core size: 17 Core Weight: 1 Total Weight: -236 20.38/20.49 c Elapsed CPU time: 20.1329 s Remaining CPU time: 1779.87 s 20.48/20.56 c ============================[ Search Statistics ]============================== 20.48/20.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.48/20.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.48/20.56 c =============================================================================== 20.48/20.56 c | 0 | 1098 39130 94451 | 13043 0 nan | 0.000 % | 20.48/20.57 c =============================================================================== 20.48/20.57 c core #265 20.48/20.57 c Core size: 16 Core Weight: 1 Total Weight: -235 20.48/20.57 c Elapsed CPU time: 20.2139 s Remaining CPU time: 1779.79 s 20.57/20.64 c ============================[ Search Statistics ]============================== 20.57/20.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.57/20.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.57/20.64 c =============================================================================== 20.57/20.64 c | 0 | 1104 39131 94463 | 13043 0 nan | 0.000 % | 20.57/20.65 c =============================================================================== 20.57/20.65 c core #266 20.57/20.65 c Core size: 16 Core Weight: 1 Total Weight: -234 20.57/20.65 c Elapsed CPU time: 20.2929 s Remaining CPU time: 1779.71 s 20.67/20.73 c ============================[ Search Statistics ]============================== 20.67/20.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.67/20.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.67/20.73 c =============================================================================== 20.67/20.73 c | 0 | 1110 39132 94475 | 13044 0 nan | 0.000 % | 20.67/20.73 c =============================================================================== 20.67/20.73 c core #267 20.67/20.73 c Core size: 16 Core Weight: 1 Total Weight: -233 20.67/20.73 c Elapsed CPU time: 20.3729 s Remaining CPU time: 1779.63 s 20.78/20.81 c ============================[ Search Statistics ]============================== 20.78/20.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.78/20.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.78/20.81 c =============================================================================== 20.78/20.81 c | 0 | 1116 39133 94487 | 13044 0 nan | 0.000 % | 20.78/20.81 c =============================================================================== 20.78/20.81 c core #268 20.78/20.81 c Core size: 15 Core Weight: 1 Total Weight: -232 20.78/20.81 c Elapsed CPU time: 20.4509 s Remaining CPU time: 1779.55 s 20.78/20.89 c ============================[ Search Statistics ]============================== 20.78/20.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.78/20.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.78/20.89 c =============================================================================== 20.78/20.89 c | 0 | 1122 39134 94499 | 13044 0 nan | 0.000 % | 20.78/20.90 c =============================================================================== 20.78/20.90 c core #269 20.78/20.90 c Core size: 17 Core Weight: 1 Total Weight: -231 20.78/20.90 c Elapsed CPU time: 20.5369 s Remaining CPU time: 1779.46 s 20.88/20.98 c ============================[ Search Statistics ]============================== 20.88/20.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.88/20.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.88/20.98 c =============================================================================== 20.88/20.98 c | 0 | 1128 39135 94511 | 13045 0 nan | 0.000 % | 20.88/20.98 c =============================================================================== 20.88/20.98 c core #270 20.88/20.98 c Core size: 15 Core Weight: 1 Total Weight: -230 20.88/20.98 c Elapsed CPU time: 20.6189 s Remaining CPU time: 1779.38 s 20.98/21.06 c ============================[ Search Statistics ]============================== 20.98/21.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.98/21.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.98/21.06 c =============================================================================== 20.98/21.06 c | 0 | 1134 39136 94523 | 13045 0 nan | 0.000 % | 20.98/21.06 c =============================================================================== 20.98/21.07 c core #271 20.98/21.07 c Core size: 16 Core Weight: 1 Total Weight: -229 20.98/21.07 c Elapsed CPU time: 20.6979 s Remaining CPU time: 1779.3 s 21.07/21.14 c ============================[ Search Statistics ]============================== 21.07/21.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.07/21.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.07/21.14 c =============================================================================== 21.07/21.14 c | 0 | 1140 39137 94535 | 13045 0 nan | 0.000 % | 21.07/21.15 c =============================================================================== 21.07/21.15 c core #272 21.07/21.15 c Core size: 16 Core Weight: 1 Total Weight: -228 21.07/21.15 c Elapsed CPU time: 20.7768 s Remaining CPU time: 1779.22 s 21.17/21.22 c ============================[ Search Statistics ]============================== 21.17/21.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.17/21.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.17/21.22 c =============================================================================== 21.17/21.22 c | 0 | 1146 39138 94547 | 13046 0 nan | 0.000 % | 21.17/21.23 c =============================================================================== 21.17/21.23 c core #273 21.17/21.23 c Core size: 15 Core Weight: 1 Total Weight: -227 21.17/21.23 c Elapsed CPU time: 20.8568 s Remaining CPU time: 1779.14 s 21.27/21.30 c ============================[ Search Statistics ]============================== 21.27/21.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.27/21.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.27/21.30 c =============================================================================== 21.27/21.30 c | 0 | 1152 39139 94559 | 13046 0 nan | 0.000 % | 21.27/21.31 c =============================================================================== 21.27/21.31 c core #274 21.27/21.31 c Core size: 17 Core Weight: 1 Total Weight: -226 21.27/21.31 c Elapsed CPU time: 20.9358 s Remaining CPU time: 1779.06 s 21.27/21.39 c ============================[ Search Statistics ]============================== 21.27/21.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.27/21.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.27/21.39 c =============================================================================== 21.27/21.39 c | 0 | 1158 39140 94571 | 13046 0 nan | 0.000 % | 21.27/21.39 c =============================================================================== 21.27/21.39 c core #275 21.27/21.39 c Core size: 17 Core Weight: 1 Total Weight: -225 21.27/21.39 c Elapsed CPU time: 21.0158 s Remaining CPU time: 1778.98 s 21.37/21.47 c ============================[ Search Statistics ]============================== 21.37/21.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.37/21.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.37/21.47 c =============================================================================== 21.37/21.47 c | 0 | 1164 39141 94583 | 13047 0 nan | 0.000 % | 21.37/21.47 c =============================================================================== 21.37/21.47 c core #276 21.37/21.47 c Core size: 17 Core Weight: 1 Total Weight: -224 21.37/21.47 c Elapsed CPU time: 21.0958 s Remaining CPU time: 1778.9 s 21.47/21.55 c ============================[ Search Statistics ]============================== 21.47/21.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.47/21.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.47/21.55 c =============================================================================== 21.47/21.55 c | 0 | 1170 39142 94595 | 13047 0 nan | 0.000 % | 21.47/21.56 c =============================================================================== 21.47/21.56 c core #277 21.47/21.56 c Core size: 16 Core Weight: 1 Total Weight: -223 21.47/21.56 c Elapsed CPU time: 21.1798 s Remaining CPU time: 1778.82 s 21.57/21.63 c ============================[ Search Statistics ]============================== 21.57/21.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.57/21.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.57/21.63 c =============================================================================== 21.57/21.63 c | 0 | 1176 39143 94607 | 13047 0 nan | 0.000 % | 21.57/21.64 c =============================================================================== 21.57/21.64 c core #278 21.57/21.64 c Core size: 16 Core Weight: 1 Total Weight: -222 21.57/21.64 c Elapsed CPU time: 21.2598 s Remaining CPU time: 1778.74 s 21.67/21.72 c ============================[ Search Statistics ]============================== 21.67/21.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.67/21.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.67/21.72 c =============================================================================== 21.67/21.72 c | 0 | 1182 39144 94619 | 13048 0 nan | 0.000 % | 21.67/21.72 c =============================================================================== 21.67/21.72 c core #279 21.67/21.72 c Core size: 15 Core Weight: 1 Total Weight: -221 21.67/21.72 c Elapsed CPU time: 21.3418 s Remaining CPU time: 1778.66 s 21.77/21.80 c ============================[ Search Statistics ]============================== 21.77/21.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.77/21.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.77/21.80 c =============================================================================== 21.77/21.80 c | 0 | 1188 39145 94631 | 13048 0 nan | 0.000 % | 21.77/21.81 c =============================================================================== 21.77/21.81 c core #280 21.77/21.81 c Core size: 16 Core Weight: 1 Total Weight: -220 21.77/21.81 c Elapsed CPU time: 21.4207 s Remaining CPU time: 1778.58 s 21.77/21.88 c ============================[ Search Statistics ]============================== 21.77/21.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.77/21.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.77/21.88 c =============================================================================== 21.77/21.88 c | 0 | 1194 39146 94643 | 13048 0 nan | 0.000 % | 21.77/21.89 c =============================================================================== 21.77/21.89 c core #281 21.77/21.89 c Core size: 17 Core Weight: 1 Total Weight: -219 21.77/21.89 c Elapsed CPU time: 21.4987 s Remaining CPU time: 1778.5 s 21.87/21.96 c ============================[ Search Statistics ]============================== 21.87/21.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.87/21.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.87/21.96 c =============================================================================== 21.87/21.96 c | 0 | 1200 39147 94655 | 13049 0 nan | 0.000 % | 21.87/21.97 c =============================================================================== 21.87/21.97 c core #282 21.87/21.97 c Core size: 17 Core Weight: 1 Total Weight: -218 21.87/21.97 c Elapsed CPU time: 21.5767 s Remaining CPU time: 1778.42 s 21.97/22.04 c ============================[ Search Statistics ]============================== 21.97/22.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.97/22.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.97/22.04 c =============================================================================== 21.97/22.04 c | 0 | 1206 39148 94667 | 13049 0 nan | 0.000 % | 21.97/22.05 c =============================================================================== 21.97/22.05 c core #283 21.97/22.05 c Core size: 16 Core Weight: 1 Total Weight: -217 21.97/22.05 c Elapsed CPU time: 21.6547 s Remaining CPU time: 1778.35 s 22.06/22.13 c ============================[ Search Statistics ]============================== 22.06/22.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.06/22.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.06/22.13 c =============================================================================== 22.06/22.13 c | 0 | 1212 39149 94679 | 13049 0 nan | 0.000 % | 22.06/22.13 c =============================================================================== 22.06/22.13 c core #284 22.06/22.13 c Core size: 16 Core Weight: 1 Total Weight: -216 22.06/22.13 c Elapsed CPU time: 21.7347 s Remaining CPU time: 1778.27 s 22.16/22.21 c ============================[ Search Statistics ]============================== 22.16/22.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.16/22.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.16/22.21 c =============================================================================== 22.16/22.21 c | 0 | 1218 39150 94691 | 13050 0 nan | 0.000 % | 22.16/22.21 c =============================================================================== 22.16/22.21 c core #285 22.16/22.21 c Core size: 15 Core Weight: 1 Total Weight: -215 22.16/22.21 c Elapsed CPU time: 21.8157 s Remaining CPU time: 1778.18 s 22.16/22.29 c ============================[ Search Statistics ]============================== 22.16/22.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.16/22.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.16/22.29 c =============================================================================== 22.16/22.29 c | 0 | 1224 39151 94703 | 13050 0 nan | 0.000 % | 22.26/22.30 c =============================================================================== 22.26/22.30 c core #286 22.26/22.30 c Core size: 16 Core Weight: 1 Total Weight: -214 22.26/22.30 c Elapsed CPU time: 21.8967 s Remaining CPU time: 1778.1 s 22.26/22.37 c ============================[ Search Statistics ]============================== 22.26/22.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.26/22.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.26/22.37 c =============================================================================== 22.26/22.37 c | 0 | 1230 39152 94715 | 13050 0 nan | 0.000 % | 22.26/22.38 c =============================================================================== 22.26/22.38 c core #287 22.26/22.38 c Core size: 15 Core Weight: 1 Total Weight: -213 22.26/22.38 c Elapsed CPU time: 21.9787 s Remaining CPU time: 1778.02 s 22.36/22.46 c ============================[ Search Statistics ]============================== 22.36/22.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.36/22.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.36/22.46 c =============================================================================== 22.36/22.46 c | 0 | 1236 39153 94727 | 13051 0 nan | 0.000 % | 22.36/22.46 c =============================================================================== 22.36/22.46 c core #288 22.36/22.46 c Core size: 21 Core Weight: 1 Total Weight: -212 22.36/22.46 c Elapsed CPU time: 22.0616 s Remaining CPU time: 1777.94 s 22.46/22.54 c ============================[ Search Statistics ]============================== 22.46/22.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.46/22.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.46/22.54 c =============================================================================== 22.46/22.54 c | 0 | 1244 39154 94743 | 13051 0 nan | 0.000 % | 22.46/22.54 c =============================================================================== 22.46/22.54 c core #289 22.46/22.54 c Core size: 16 Core Weight: 1 Total Weight: -211 22.46/22.54 c Elapsed CPU time: 22.1406 s Remaining CPU time: 1777.86 s 22.56/22.62 c ============================[ Search Statistics ]============================== 22.56/22.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.56/22.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.56/22.62 c =============================================================================== 22.56/22.62 c | 0 | 1250 39155 94755 | 13051 0 nan | 0.000 % | 22.56/22.63 c =============================================================================== 22.56/22.63 c core #290 22.56/22.63 c Core size: 18 Core Weight: 1 Total Weight: -210 22.56/22.63 c Elapsed CPU time: 22.2216 s Remaining CPU time: 1777.78 s 22.66/22.70 c ============================[ Search Statistics ]============================== 22.66/22.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.66/22.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.66/22.70 c =============================================================================== 22.66/22.70 c | 0 | 1256 39156 94767 | 13052 0 nan | 0.000 % | 22.66/22.71 c =============================================================================== 22.66/22.71 c core #291 22.66/22.71 c Core size: 16 Core Weight: 1 Total Weight: -209 22.66/22.71 c Elapsed CPU time: 22.3006 s Remaining CPU time: 1777.7 s 22.66/22.78 c ============================[ Search Statistics ]============================== 22.66/22.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.66/22.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.66/22.78 c =============================================================================== 22.66/22.78 c | 0 | 1262 39157 94779 | 13052 0 nan | 0.000 % | 22.66/22.79 c =============================================================================== 22.66/22.79 c core #292 22.66/22.79 c Core size: 22 Core Weight: 1 Total Weight: -208 22.66/22.79 c Elapsed CPU time: 22.3816 s Remaining CPU time: 1777.62 s 22.76/22.87 c ============================[ Search Statistics ]============================== 22.76/22.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.76/22.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.76/22.87 c =============================================================================== 22.76/22.87 c | 0 | 1270 39158 94795 | 13052 0 nan | 0.000 % | 22.76/22.87 c =============================================================================== 22.76/22.87 c core #293 22.76/22.87 c Core size: 21 Core Weight: 1 Total Weight: -207 22.76/22.87 c Elapsed CPU time: 22.4626 s Remaining CPU time: 1777.54 s 22.86/22.95 c ============================[ Search Statistics ]============================== 22.86/22.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.86/22.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.86/22.95 c =============================================================================== 22.86/22.95 c | 0 | 1278 39159 94811 | 13053 0 nan | 0.000 % | 22.86/22.96 c =============================================================================== 22.86/22.96 c core #294 22.86/22.96 c Core size: 15 Core Weight: 1 Total Weight: -206 22.86/22.96 c Elapsed CPU time: 22.5436 s Remaining CPU time: 1777.46 s 22.96/23.03 c ============================[ Search Statistics ]============================== 22.96/23.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.96/23.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.96/23.03 c =============================================================================== 22.96/23.03 c | 0 | 1284 39160 94823 | 13053 0 nan | 0.000 % | 22.96/23.04 c =============================================================================== 22.96/23.04 c core #295 22.96/23.04 c Core size: 17 Core Weight: 1 Total Weight: -205 22.96/23.04 c Elapsed CPU time: 22.6256 s Remaining CPU time: 1777.37 s 23.06/23.12 c ============================[ Search Statistics ]============================== 23.06/23.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.06/23.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.06/23.12 c =============================================================================== 23.06/23.12 c | 0 | 1290 39161 94835 | 13053 0 nan | 0.000 % | 23.06/23.12 c =============================================================================== 23.06/23.12 c core #296 23.06/23.12 c Core size: 15 Core Weight: 1 Total Weight: -204 23.06/23.12 c Elapsed CPU time: 22.7055 s Remaining CPU time: 1777.29 s 23.16/23.20 c ============================[ Search Statistics ]============================== 23.16/23.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.16/23.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.16/23.20 c =============================================================================== 23.16/23.20 c | 0 | 1296 39162 94847 | 13054 0 nan | 0.000 % | 23.16/23.21 c =============================================================================== 23.16/23.21 c core #297 23.16/23.21 c Core size: 21 Core Weight: 1 Total Weight: -203 23.16/23.21 c Elapsed CPU time: 22.7855 s Remaining CPU time: 1777.21 s 23.16/23.28 c ============================[ Search Statistics ]============================== 23.16/23.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.16/23.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.16/23.28 c =============================================================================== 23.16/23.28 c | 0 | 1304 39163 94863 | 13054 0 nan | 0.000 % | 23.16/23.29 c =============================================================================== 23.16/23.29 c core #298 23.16/23.29 c Core size: 15 Core Weight: 1 Total Weight: -202 23.16/23.29 c Elapsed CPU time: 22.8675 s Remaining CPU time: 1777.13 s 23.26/23.36 c ============================[ Search Statistics ]============================== 23.26/23.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.26/23.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.26/23.36 c =============================================================================== 23.26/23.36 c | 0 | 1310 39164 94875 | 13054 0 nan | 0.000 % | 23.26/23.37 c =============================================================================== 23.26/23.37 c core #299 23.26/23.37 c Core size: 15 Core Weight: 1 Total Weight: -201 23.26/23.37 c Elapsed CPU time: 22.9495 s Remaining CPU time: 1777.05 s 23.36/23.45 c ============================[ Search Statistics ]============================== 23.36/23.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.36/23.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.36/23.45 c =============================================================================== 23.36/23.45 c | 0 | 1316 39165 94887 | 13055 0 nan | 0.000 % | 23.36/23.45 c =============================================================================== 23.36/23.45 c core #300 23.36/23.45 c Core size: 22 Core Weight: 1 Total Weight: -200 23.36/23.45 c Elapsed CPU time: 23.0295 s Remaining CPU time: 1776.97 s 23.46/23.53 c ============================[ Search Statistics ]============================== 23.46/23.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.46/23.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.46/23.53 c =============================================================================== 23.46/23.53 c | 0 | 1324 39166 94903 | 13055 0 nan | 0.000 % | 23.46/23.54 c =============================================================================== 23.46/23.54 c core #301 23.46/23.54 c Core size: 16 Core Weight: 1 Total Weight: -199 23.46/23.54 c Elapsed CPU time: 23.1115 s Remaining CPU time: 1776.89 s 23.55/23.61 c ============================[ Search Statistics ]============================== 23.55/23.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.55/23.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.55/23.61 c =============================================================================== 23.55/23.61 c | 0 | 1330 39167 94915 | 13055 0 nan | 0.000 % | 23.55/23.62 c =============================================================================== 23.55/23.62 c core #302 23.55/23.62 c Core size: 15 Core Weight: 1 Total Weight: -198 23.55/23.62 c Elapsed CPU time: 23.1905 s Remaining CPU time: 1776.81 s 23.55/23.69 c ============================[ Search Statistics ]============================== 23.55/23.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.55/23.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.55/23.69 c =============================================================================== 23.55/23.69 c | 0 | 1336 39168 94927 | 13056 0 nan | 0.000 % | 23.65/23.70 c =============================================================================== 23.65/23.70 c core #303 23.65/23.70 c Core size: 15 Core Weight: 1 Total Weight: -197 23.65/23.70 c Elapsed CPU time: 23.2705 s Remaining CPU time: 1776.73 s 23.65/23.78 c ============================[ Search Statistics ]============================== 23.65/23.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.65/23.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.65/23.78 c =============================================================================== 23.65/23.78 c | 0 | 1342 39169 94939 | 13056 0 nan | 0.000 % | 23.65/23.78 c =============================================================================== 23.65/23.78 c core #304 23.65/23.78 c Core size: 21 Core Weight: 1 Total Weight: -196 23.65/23.78 c Elapsed CPU time: 23.3524 s Remaining CPU time: 1776.65 s 23.75/23.86 c ============================[ Search Statistics ]============================== 23.75/23.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.75/23.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.75/23.86 c =============================================================================== 23.75/23.86 c | 0 | 1350 39170 94955 | 13056 0 nan | 0.000 % | 23.75/23.87 c =============================================================================== 23.75/23.87 c core #305 23.75/23.87 c Core size: 16 Core Weight: 1 Total Weight: -195 23.75/23.87 c Elapsed CPU time: 23.4324 s Remaining CPU time: 1776.57 s 23.85/23.94 c ============================[ Search Statistics ]============================== 23.85/23.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.85/23.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.85/23.94 c =============================================================================== 23.85/23.94 c | 0 | 1356 39171 94967 | 13057 0 nan | 0.000 % | 23.85/23.95 c =============================================================================== 23.85/23.95 c core #306 23.85/23.95 c Core size: 16 Core Weight: 1 Total Weight: -194 23.85/23.95 c Elapsed CPU time: 23.5144 s Remaining CPU time: 1776.49 s 23.96/24.02 c ============================[ Search Statistics ]============================== 23.96/24.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.96/24.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.96/24.02 c =============================================================================== 23.96/24.02 c | 0 | 1362 39172 94979 | 13057 0 nan | 0.000 % | 23.96/24.03 c =============================================================================== 23.96/24.03 c core #307 23.96/24.03 c Core size: 15 Core Weight: 1 Total Weight: -193 23.96/24.03 c Elapsed CPU time: 23.5954 s Remaining CPU time: 1776.4 s 24.06/24.11 c ============================[ Search Statistics ]============================== 24.06/24.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.06/24.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.06/24.11 c =============================================================================== 24.06/24.11 c | 0 | 1368 39173 94991 | 13057 0 nan | 0.000 % | 24.06/24.11 c =============================================================================== 24.06/24.11 c core #308 24.06/24.11 c Core size: 41 Core Weight: 1 Total Weight: -192 24.06/24.11 c Elapsed CPU time: 23.6754 s Remaining CPU time: 1776.32 s 24.06/24.19 c ============================[ Search Statistics ]============================== 24.06/24.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.06/24.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.06/24.19 c =============================================================================== 24.06/24.19 c | 0 | 1384 39174 95023 | 13058 0 nan | 0.000 % | 24.06/24.20 c =============================================================================== 24.06/24.20 c core #309 24.06/24.20 c Core size: 21 Core Weight: 1 Total Weight: -191 24.06/24.20 c Elapsed CPU time: 23.7564 s Remaining CPU time: 1776.24 s 24.16/24.27 c ============================[ Search Statistics ]============================== 24.16/24.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.16/24.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.16/24.27 c =============================================================================== 24.16/24.27 c | 0 | 1392 39175 95039 | 13058 0 nan | 0.000 % | 24.16/24.28 c =============================================================================== 24.16/24.28 c core #310 24.16/24.28 c Core size: 22 Core Weight: 1 Total Weight: -190 24.16/24.28 c Elapsed CPU time: 23.8404 s Remaining CPU time: 1776.16 s 24.25/24.36 c ============================[ Search Statistics ]============================== 24.25/24.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.25/24.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.25/24.36 c =============================================================================== 24.25/24.36 c | 0 | 1400 39176 95055 | 13058 0 nan | 0.000 % | 24.25/24.36 c =============================================================================== 24.25/24.36 c core #311 24.25/24.36 c Core size: 15 Core Weight: 1 Total Weight: -189 24.25/24.36 c Elapsed CPU time: 23.9214 s Remaining CPU time: 1776.08 s 24.35/24.44 c ============================[ Search Statistics ]============================== 24.35/24.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.35/24.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.35/24.44 c =============================================================================== 24.35/24.44 c | 0 | 1406 39177 95067 | 13059 0 nan | 0.000 % | 24.35/24.44 c =============================================================================== 24.35/24.44 c core #312 24.35/24.44 c Core size: 27 Core Weight: 1 Total Weight: -188 24.35/24.44 c Elapsed CPU time: 24.0024 s Remaining CPU time: 1776 s 24.45/24.52 c ============================[ Search Statistics ]============================== 24.45/24.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.45/24.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.45/24.52 c =============================================================================== 24.45/24.52 c | 0 | 1416 39178 95087 | 13059 0 nan | 0.000 % | 24.45/24.53 c =============================================================================== 24.45/24.53 c core #313 24.45/24.53 c Core size: 17 Core Weight: 1 Total Weight: -187 24.45/24.53 c Elapsed CPU time: 24.0863 s Remaining CPU time: 1775.91 s 24.55/24.61 c ============================[ Search Statistics ]============================== 24.55/24.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.55/24.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.55/24.61 c =============================================================================== 24.55/24.61 c | 0 | 1422 39179 95099 | 13059 0 nan | 0.000 % | 24.55/24.61 c =============================================================================== 24.55/24.61 c core #314 24.55/24.61 c Core size: 27 Core Weight: 1 Total Weight: -186 24.55/24.61 c Elapsed CPU time: 24.1663 s Remaining CPU time: 1775.83 s 24.55/24.69 c ============================[ Search Statistics ]============================== 24.55/24.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.55/24.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.55/24.69 c =============================================================================== 24.55/24.69 c | 0 | 1432 39180 95119 | 13060 0 nan | 0.000 % | 24.65/24.70 c =============================================================================== 24.65/24.70 c core #315 24.65/24.70 c Core size: 21 Core Weight: 1 Total Weight: -185 24.65/24.70 c Elapsed CPU time: 24.2483 s Remaining CPU time: 1775.75 s 24.65/24.77 c ============================[ Search Statistics ]============================== 24.65/24.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.65/24.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.65/24.77 c =============================================================================== 24.65/24.77 c | 0 | 1440 39181 95135 | 13060 0 nan | 0.000 % | 24.65/24.78 c =============================================================================== 24.65/24.78 c core #316 24.65/24.78 c Core size: 26 Core Weight: 1 Total Weight: -184 24.65/24.78 c Elapsed CPU time: 24.3303 s Remaining CPU time: 1775.67 s 24.75/24.86 c ============================[ Search Statistics ]============================== 24.75/24.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.75/24.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.75/24.86 c =============================================================================== 24.75/24.86 c | 0 | 1450 39182 95155 | 13060 0 nan | 0.000 % | 24.75/24.86 c =============================================================================== 24.75/24.86 c core #317 24.75/24.86 c Core size: 17 Core Weight: 1 Total Weight: -183 24.75/24.86 c Elapsed CPU time: 24.4113 s Remaining CPU time: 1775.59 s 24.85/24.94 c ============================[ Search Statistics ]============================== 24.85/24.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.85/24.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.85/24.94 c =============================================================================== 24.85/24.94 c | 0 | 1456 39183 95167 | 13061 0 nan | 0.000 % | 24.85/24.95 c =============================================================================== 24.85/24.95 c core #318 24.85/24.95 c Core size: 27 Core Weight: 1 Total Weight: -182 24.85/24.95 c Elapsed CPU time: 24.4933 s Remaining CPU time: 1775.51 s 24.95/25.02 c ============================[ Search Statistics ]============================== 24.95/25.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.95/25.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.95/25.02 c =============================================================================== 24.95/25.02 c | 0 | 1466 39184 95187 | 13061 0 nan | 0.000 % | 24.95/25.03 c =============================================================================== 24.95/25.03 c core #319 24.95/25.03 c Core size: 27 Core Weight: 1 Total Weight: -181 24.95/25.03 c Elapsed CPU time: 24.5723 s Remaining CPU time: 1775.43 s 25.04/25.11 c ============================[ Search Statistics ]============================== 25.04/25.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.04/25.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.04/25.11 c =============================================================================== 25.04/25.11 c | 0 | 1476 39185 95207 | 13061 0 nan | 0.000 % | 25.04/25.11 c =============================================================================== 25.04/25.11 c core #320 25.04/25.11 c Core size: 70 Core Weight: 1 Total Weight: -180 25.04/25.11 c Elapsed CPU time: 24.6563 s Remaining CPU time: 1775.34 s 25.04/25.19 c ============================[ Search Statistics ]============================== 25.04/25.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.04/25.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.04/25.19 c =============================================================================== 25.04/25.19 c | 0 | 1502 39186 95259 | 13062 0 nan | 0.000 % | 25.16/25.20 c =============================================================================== 25.16/25.20 c core #321 25.16/25.20 c Core size: 91 Core Weight: 1 Total Weight: -179 25.16/25.20 c Elapsed CPU time: 24.7432 s Remaining CPU time: 1775.26 s 25.16/25.28 c ============================[ Search Statistics ]============================== 25.16/25.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.16/25.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.16/25.28 c =============================================================================== 25.16/25.28 c | 0 | 1527 39187 95309 | 13062 0 nan | 0.000 % | 25.16/25.29 c =============================================================================== 25.16/25.29 c core #322 25.16/25.29 c Core size: 41 Core Weight: 1 Total Weight: -178 25.16/25.29 c Elapsed CPU time: 24.8302 s Remaining CPU time: 1775.17 s 25.25/25.37 c ============================[ Search Statistics ]============================== 25.25/25.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.25/25.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.25/25.37 c =============================================================================== 25.25/25.37 c | 0 | 1540 39188 95335 | 13062 0 nan | 0.000 % | 25.25/25.38 c | 103 | 1535 39188 95335 | 14368 103 9 | 92.874 % | 25.25/25.38 c =============================================================================== 25.25/25.38 c core #323 25.25/25.38 c Core size: 125 Core Weight: 1 Total Weight: -177 25.25/25.38 c Elapsed CPU time: 24.9182 s Remaining CPU time: 1775.08 s 25.35/25.46 c ============================[ Search Statistics ]============================== 25.35/25.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.35/25.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.35/25.46 c =============================================================================== 25.35/25.46 c | 0 | 1577 39189 95409 | 13063 0 nan | 0.000 % | 25.35/25.47 c | 101 | 1577 39189 95409 | 14369 101 23 | 92.216 % | 25.35/25.48 c =============================================================================== 25.35/25.48 c core #324 25.35/25.48 c Core size: 163 Core Weight: 1 Total Weight: -176 25.35/25.48 c Elapsed CPU time: 25.0112 s Remaining CPU time: 1774.99 s 25.44/25.55 c ============================[ Search Statistics ]============================== 25.44/25.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.44/25.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.44/25.55 c =============================================================================== 25.44/25.55 c | 0 | 1618 39190 95491 | 13063 0 nan | 0.000 % | 25.44/25.57 c | 100 | 1618 39190 95491 | 14369 100 26 | 92.030 % | 25.44/25.58 c | 255 | 1618 39190 95491 | 15806 255 40 | 92.030 % | 25.44/25.59 c | 480 | 1618 39190 95491 | 17387 480 44 | 92.030 % | 25.54/25.61 c =============================================================================== 25.54/25.61 c core #325 25.54/25.61 c Core size: 334 Core Weight: 1 Total Weight: -175 25.54/25.61 c Elapsed CPU time: 25.1422 s Remaining CPU time: 1774.86 s 25.54/25.69 c ============================[ Search Statistics ]============================== 25.54/25.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.54/25.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.54/25.69 c =============================================================================== 25.54/25.69 c | 0 | 1683 39191 95621 | 13063 0 nan | 0.000 % | 25.64/25.70 c =============================================================================== 25.64/25.70 c core #326 25.64/25.70 c Core size: 97 Core Weight: 1 Total Weight: -174 25.64/25.70 c Elapsed CPU time: 25.2302 s Remaining CPU time: 1774.77 s 25.64/25.78 c ============================[ Search Statistics ]============================== 25.64/25.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.64/25.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.64/25.78 c =============================================================================== 25.64/25.78 c | 0 | 1711 39192 95677 | 13064 0 nan | 0.000 % | 25.75/25.80 c | 100 | 1711 39192 95677 | 14370 100 36 | 91.610 % | 25.75/25.80 c | 252 | 1711 39192 95677 | 15807 252 22 | 91.610 % | 25.75/25.81 c =============================================================================== 25.75/25.81 c core #327 25.75/25.81 c Core size: 266 Core Weight: 1 Total Weight: -173 25.75/25.81 c Elapsed CPU time: 25.3371 s Remaining CPU time: 1774.66 s 25.75/25.89 c ============================[ Search Statistics ]============================== 25.75/25.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.75/25.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.75/25.89 c =============================================================================== 25.75/25.89 c | 0 | 1771 39193 95797 | 13064 0 nan | 0.000 % | 25.84/25.91 c | 100 | 1771 39193 95797 | 14370 100 23 | 91.342 % | 25.84/25.91 c | 251 | 1771 39193 95797 | 15807 251 19 | 91.342 % | 25.84/25.93 c =============================================================================== 25.84/25.93 c core #328 25.84/25.93 c Core size: 165 Core Weight: 1 Total Weight: -172 25.84/25.93 c Elapsed CPU time: 25.4431 s Remaining CPU time: 1774.56 s 25.94/26.01 c ============================[ Search Statistics ]============================== 25.94/26.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.94/26.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.94/26.01 c =============================================================================== 25.94/26.01 c | 0 | 1819 39194 95893 | 13064 0 nan | 0.000 % | 25.94/26.02 c | 101 | 1819 39194 95893 | 14371 101 63 | 91.128 % | 25.94/26.03 c | 251 | 1819 39194 95893 | 15808 251 45 | 91.128 % | 25.94/26.04 c | 477 | 1819 39194 95893 | 17389 477 45 | 91.128 % | 25.94/26.07 c | 814 | 1818 39194 95893 | 19127 814 47 | 91.133 % | 25.94/26.09 c =============================================================================== 26.04/26.10 c core #329 26.04/26.10 c Core size: 301 Core Weight: 1 Total Weight: -171 26.04/26.10 c Elapsed CPU time: 25.6101 s Remaining CPU time: 1774.39 s 26.04/26.18 c ============================[ Search Statistics ]============================== 26.04/26.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.04/26.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.04/26.18 c =============================================================================== 26.04/26.18 c | 0 | 1880 39195 96015 | 13065 0 nan | 0.000 % | 26.04/26.19 c | 101 | 1880 39195 96015 | 14371 101 48 | 90.857 % | 26.14/26.20 c | 252 | 1880 39195 96015 | 15808 252 51 | 90.857 % | 26.14/26.22 c | 477 | 1880 39195 96015 | 17389 477 50 | 90.857 % | 26.14/26.25 c | 817 | 1876 39195 96015 | 19128 817 52 | 90.877 % | 26.14/26.27 c =============================================================================== 26.14/26.27 c core #330 26.14/26.27 c Core size: 413 Core Weight: 1 Total Weight: -170 26.14/26.27 c Elapsed CPU time: 25.7721 s Remaining CPU time: 1774.23 s 26.25/26.35 c ============================[ Search Statistics ]============================== 26.25/26.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.25/26.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.25/26.35 c =============================================================================== 26.25/26.35 c | 0 | 1958 39196 96171 | 13065 0 nan | 0.000 % | 26.25/26.37 c | 101 | 1958 39196 96171 | 14371 101 22 | 90.514 % | 26.25/26.37 c =============================================================================== 26.25/26.37 c core #331 26.25/26.37 c Core size: 210 Core Weight: 1 Total Weight: -169 26.25/26.37 c Elapsed CPU time: 25.8711 s Remaining CPU time: 1774.13 s 26.34/26.45 c ============================[ Search Statistics ]============================== 26.34/26.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.34/26.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.34/26.45 c =============================================================================== 26.34/26.45 c | 0 | 2004 39197 96263 | 13065 0 nan | 0.000 % | 26.34/26.46 c =============================================================================== 26.34/26.46 c core #332 26.34/26.46 c Core size: 70 Core Weight: 1 Total Weight: -168 26.34/26.46 c Elapsed CPU time: 25.9571 s Remaining CPU time: 1774.04 s 26.43/26.54 c ============================[ Search Statistics ]============================== 26.43/26.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.43/26.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.43/26.54 c =============================================================================== 26.43/26.54 c | 0 | 2024 39198 96303 | 13066 0 nan | 0.000 % | 26.43/26.56 c | 100 | 2023 39198 96303 | 14372 100 12 | 90.230 % | 26.43/26.56 c =============================================================================== 26.43/26.56 c core #333 26.43/26.56 c Core size: 166 Core Weight: 1 Total Weight: -167 26.43/26.56 c Elapsed CPU time: 26.052 s Remaining CPU time: 1773.95 s 26.54/26.64 c ============================[ Search Statistics ]============================== 26.54/26.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.54/26.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.54/26.64 c =============================================================================== 26.54/26.64 c | 0 | 2066 39199 96387 | 13066 0 nan | 0.000 % | 26.54/26.65 c | 100 | 2066 39199 96387 | 14372 100 30 | 90.043 % | 26.54/26.66 c | 251 | 2066 39199 96387 | 15810 251 27 | 90.043 % | 26.54/26.68 c | 477 | 2065 39199 96387 | 17391 477 30 | 90.048 % | 26.63/26.70 c =============================================================================== 26.63/26.70 c core #334 26.63/26.70 c Core size: 509 Core Weight: 1 Total Weight: -166 26.63/26.70 c Elapsed CPU time: 26.186 s Remaining CPU time: 1773.81 s 26.63/26.78 c ============================[ Search Statistics ]============================== 26.63/26.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.63/26.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.63/26.78 c =============================================================================== 26.63/26.78 c | 0 | 2140 39200 96535 | 13066 0 nan | 0.000 % | 26.73/26.80 c | 100 | 2140 39200 96535 | 14373 100 17 | 89.723 % | 26.73/26.81 c =============================================================================== 26.73/26.81 c core #335 26.73/26.81 c Core size: 241 Core Weight: 1 Total Weight: -165 26.73/26.81 c Elapsed CPU time: 26.283 s Remaining CPU time: 1773.72 s 26.73/26.89 c ============================[ Search Statistics ]============================== 26.73/26.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.73/26.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.73/26.89 c =============================================================================== 26.73/26.89 c | 0 | 2202 39201 96659 | 13067 0 nan | 0.000 % | 26.83/26.90 c | 101 | 2202 39201 96659 | 14373 101 37 | 89.457 % | 26.83/26.91 c | 253 | 2202 39201 96659 | 15811 253 24 | 89.457 % | 26.83/26.92 c | 479 | 2202 39201 96659 | 17392 479 27 | 89.457 % | 26.83/26.94 c | 818 | 2202 39201 96659 | 19131 818 35 | 89.457 % | 26.83/26.99 c | 1326 | 2202 39201 96659 | 21044 1326 47 | 89.457 % | 27.03/27.12 c | 2085 | 2202 39201 96659 | 23148 2085 71 | 89.457 % | 27.23/27.34 c | 3225 | 2201 39201 96659 | 25463 3220 87 | 89.461 % | 27.63/27.76 c | 4936 | 2201 39201 96659 | 28010 4931 108 | 89.461 % | 28.43/28.58 c | 7499 | 2199 39201 96659 | 30811 6760 128 | 89.471 % | 28.82/28.90 c =============================================================================== 28.82/28.98 c core #336 28.82/28.98 c Core size: 817 Core Weight: 1 Total Weight: -164 28.82/28.98 c Elapsed CPU time: 28.4177 s Remaining CPU time: 1771.58 s 28.93/29.08 c ============================[ Search Statistics ]============================== 28.93/29.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.93/29.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.93/29.08 c =============================================================================== 28.93/29.08 c | 0 | 2294 39202 96843 | 13067 0 nan | 0.000 % | 28.93/29.09 c | 100 | 2294 39202 96843 | 14374 100 77 | 89.064 % | 29.03/29.11 c | 251 | 2294 39202 96843 | 15811 251 77 | 89.064 % | 29.03/29.12 c | 476 | 2294 39202 96843 | 17392 476 56 | 89.064 % | 29.03/29.14 c | 814 | 2294 39202 96843 | 19131 814 53 | 89.064 % | 29.13/29.20 c | 1320 | 2294 39202 96843 | 21045 1320 68 | 89.064 % | 29.13/29.27 c | 2081 | 2294 39202 96843 | 23149 2081 73 | 89.064 % | 29.33/29.43 c | 3223 | 2293 39202 96843 | 25464 3222 74 | 89.069 % | 29.43/29.54 c =============================================================================== 29.43/29.55 c core #337 29.43/29.55 c Core size: 425 Core Weight: 1 Total Weight: -163 29.43/29.55 c Elapsed CPU time: 28.9616 s Remaining CPU time: 1771.04 s 29.53/29.63 c ============================[ Search Statistics ]============================== 29.53/29.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 29.53/29.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 29.53/29.63 c =============================================================================== 29.53/29.63 c | 0 | 2374 39203 97003 | 13067 0 nan | 0.000 % | 29.53/29.64 c | 100 | 2374 39203 97003 | 14374 100 47 | 88.726 % | 29.53/29.65 c | 250 | 2374 39203 97003 | 15811 250 40 | 88.726 % | 29.53/29.67 c | 475 | 2374 39203 97003 | 17393 475 37 | 88.726 % | 29.53/29.69 c | 812 | 2374 39203 97003 | 19132 812 38 | 88.726 % | 29.63/29.73 c | 1321 | 2374 39203 97003 | 21045 1321 46 | 88.726 % | 29.72/29.82 c | 2081 | 2374 39203 97003 | 23150 2081 63 | 88.726 % | 29.93/30.00 c | 3221 | 2374 39203 97003 | 25465 3221 80 | 88.726 % | 30.13/30.29 c | 4929 | 2374 39203 97003 | 28011 4929 90 | 88.726 % | 30.53/30.68 c | 7493 | 2374 39203 97003 | 30812 7493 82 | 88.726 % | 30.73/30.87 c =============================================================================== 30.73/30.88 c core #338 30.73/30.88 c Core size: 715 Core Weight: 1 Total Weight: -162 30.73/30.88 c Elapsed CPU time: 30.2654 s Remaining CPU time: 1769.73 s 30.82/30.97 c ============================[ Search Statistics ]============================== 30.82/30.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 30.82/30.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 30.82/30.97 c =============================================================================== 30.82/30.97 c | 0 | 2475 39204 97205 | 13068 0 nan | 0.000 % | 30.82/30.99 c | 101 | 2475 39204 97205 | 14374 101 13 | 88.302 % | 30.93/31.00 c | 251 | 2475 39204 97205 | 15812 251 13 | 88.302 % | 30.93/31.01 c | 477 | 2475 39204 97205 | 17393 477 15 | 88.302 % | 30.93/31.04 c | 815 | 2475 39204 97205 | 19132 815 34 | 88.302 % | 30.93/31.08 c =============================================================================== 30.93/31.08 c core #339 30.93/31.08 c Core size: 506 Core Weight: 1 Total Weight: -161 30.93/31.09 c Elapsed CPU time: 30.4584 s Remaining CPU time: 1769.54 s 31.02/31.16 c ============================[ Search Statistics ]============================== 31.02/31.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 31.02/31.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 31.02/31.17 c =============================================================================== 31.02/31.17 c | 0 | 2541 39205 97337 | 13068 0 nan | 0.000 % | 31.02/31.18 c | 100 | 2541 39205 97337 | 14375 100 16 | 88.028 % | 31.02/31.19 c | 250 | 2541 39205 97337 | 15812 250 17 | 88.028 % | 31.13/31.20 c | 475 | 2541 39205 97337 | 17393 475 20 | 88.028 % | 31.13/31.23 c | 812 | 2541 39205 97337 | 19133 812 28 | 88.028 % | 31.13/31.26 c | 1318 | 2541 39205 97337 | 21046 1318 29 | 88.028 % | 31.22/31.34 c | 2079 | 2541 39205 97337 | 23151 2079 41 | 88.028 % | 31.33/31.45 c | 3218 | 2541 39205 97337 | 25466 3218 48 | 88.028 % | 31.63/31.75 c | 4927 | 2541 39205 97337 | 28013 4927 68 | 88.028 % | 32.02/32.14 c =============================================================================== 32.02/32.17 c core #340 32.02/32.17 c Core size: 726 Core Weight: 1 Total Weight: -160 32.02/32.17 c Elapsed CPU time: 31.5242 s Remaining CPU time: 1768.48 s 32.13/32.27 c ============================[ Search Statistics ]============================== 32.13/32.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.13/32.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.13/32.27 c =============================================================================== 32.13/32.27 c | 0 | 2623 39206 97501 | 13068 0 nan | 0.000 % | 32.13/32.29 c | 101 | 2623 39206 97501 | 14375 101 63 | 87.689 % | 32.13/32.30 c | 251 | 2623 39206 97501 | 15813 251 36 | 87.689 % | 32.23/32.31 c | 478 | 2623 39206 97501 | 17394 478 35 | 87.689 % | 32.23/32.33 c | 815 | 2623 39206 97501 | 19133 815 39 | 87.689 % | 32.23/32.37 c | 1321 | 2623 39206 97501 | 21047 1321 37 | 87.689 % | 32.33/32.43 c | 2083 | 2623 39206 97501 | 23151 2083 41 | 87.689 % | 32.43/32.55 c | 3222 | 2623 39206 97501 | 25467 3222 50 | 87.689 % | 32.72/32.89 c | 4931 | 2623 39206 97501 | 28013 4931 92 | 87.689 % | 33.42/33.52 c | 7493 | 2623 39206 97501 | 30815 7493 118 | 87.689 % | 34.82/34.97 c | 11338 | 2623 39206 97501 | 33896 11338 132 | 87.689 % | 37.62/37.72 c | 17104 | 2623 39206 97501 | 37286 17104 132 | 87.689 % | 40.72/40.87 c =============================================================================== 41.02/41.13 c core #341 41.02/41.13 c Core size: 913 Core Weight: 1 Total Weight: -159 41.02/41.13 c Elapsed CPU time: 40.4009 s Remaining CPU time: 1759.6 s 41.12/41.24 c ============================[ Search Statistics ]============================== 41.12/41.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 41.12/41.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 41.12/41.24 c =============================================================================== 41.12/41.24 c | 0 | 2725 39207 97705 | 13069 0 nan | 0.000 % | 41.12/41.26 c | 103 | 2725 39207 97705 | 14375 103 43 | 87.271 % | 41.12/41.27 c | 255 | 2725 39207 97705 | 15813 255 29 | 87.271 % | 41.12/41.28 c | 480 | 2725 39207 97705 | 17394 480 27 | 87.271 % | 41.23/41.30 c | 817 | 2725 39207 97705 | 19134 817 32 | 87.271 % | 41.23/41.36 c | 1324 | 2725 39207 97705 | 21047 1324 57 | 87.271 % | 41.32/41.49 c | 2083 | 2725 39207 97705 | 23152 2083 91 | 87.271 % | 41.52/41.64 c | 3222 | 2725 39207 97705 | 25467 3222 83 | 87.271 % | 41.82/41.95 c | 4930 | 2725 39207 97705 | 28014 4930 81 | 87.271 % | 42.62/42.70 c | 7497 | 2725 39207 97705 | 30816 7497 124 | 87.271 % | 43.93/44.02 c | 11341 | 2725 39207 97705 | 33897 11341 151 | 87.271 % | 48.22/48.39 c | 17110 | 2725 39207 97705 | 37287 17110 202 | 87.271 % | 56.51/56.69 c | 25759 | 2725 39207 97705 | 41016 25759 210 | 87.271 % | 78.81/78.96 c | 38734 | 2725 39207 97705 | 45117 38734 230 | 87.271 % | 135.39/135.57 c | 58197 | 2725 39207 97705 | 49629 58197 307 | 87.271 % | 184.58/184.72 c =============================================================================== 186.28/186.46 c core #342 186.28/186.46 c Core size: 1130 Core Weight: 1 Total Weight: -158 186.28/186.46 c Elapsed CPU time: 185.243 s Remaining CPU time: 1614.76 s 186.48/186.61 c ============================[ Search Statistics ]============================== 186.48/186.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.48/186.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.48/186.61 c =============================================================================== 186.48/186.61 c | 0 | 2825 39208 97905 | 13069 0 nan | 0.000 % | 186.48/186.64 c | 100 | 2825 39208 97905 | 14376 100 23 | 86.865 % | 186.48/186.65 c | 253 | 2825 39208 97905 | 15813 253 20 | 86.865 % | 186.48/186.66 c | 478 | 2825 39208 97905 | 17395 478 28 | 86.865 % | 186.48/186.69 c | 817 | 2825 39208 97905 | 19134 817 36 | 86.865 % | 186.58/186.73 c | 1327 | 2825 39208 97905 | 21048 1327 37 | 86.865 % | 186.68/186.81 c | 2086 | 2825 39208 97905 | 23153 2086 45 | 86.865 % | 186.78/186.95 c | 3225 | 2825 39208 97905 | 25468 3225 62 | 86.865 % | 187.08/187.24 c | 4933 | 2825 39208 97905 | 28015 4933 85 | 86.865 % | 187.68/187.90 c | 7497 | 2825 39208 97905 | 30816 7497 96 | 86.865 % | 188.68/188.87 c | 11342 | 2825 39208 97905 | 33898 11342 100 | 86.865 % | 192.18/192.30 c | 17108 | 2825 39208 97905 | 37288 17108 150 | 86.865 % | 201.98/202.10 c | 25757 | 2825 39208 97905 | 41017 25757 198 | 86.865 % | 225.57/225.78 c | 38734 | 2825 39208 97905 | 45118 38734 256 | 86.865 % | 288.25/288.44 c | 58197 | 2825 39208 97905 | 49630 58197 310 | 86.865 % | 358.93/359.11 c =============================================================================== 360.83/361.03 c core #343 360.83/361.03 c Core size: 1164 Core Weight: 1 Total Weight: -157 360.83/361.03 c Elapsed CPU time: 359.338 s Remaining CPU time: 1440.66 s 361.04/361.20 c ============================[ Search Statistics ]============================== 361.04/361.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 361.04/361.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 361.04/361.20 c =============================================================================== 361.04/361.20 c | 0 | 2937 39209 98129 | 13069 0 nan | 0.000 % | 361.04/361.23 c | 102 | 2937 39209 98129 | 14376 102 43 | 86.415 % | 361.04/361.24 c | 254 | 2937 39209 98129 | 15814 254 31 | 86.415 % | 361.04/361.25 c | 481 | 2937 39209 98129 | 17395 481 34 | 86.415 % | 361.04/361.27 c | 826 | 2937 39209 98129 | 19135 826 32 | 86.415 % | 361.13/361.31 c | 1333 | 2937 39209 98129 | 21048 1333 40 | 86.415 % | 361.13/361.37 c | 2093 | 2937 39209 98129 | 23153 2093 38 | 86.415 % | 361.34/361.50 c | 3232 | 2937 39209 98129 | 25469 3232 57 | 86.415 % | 361.53/361.73 c | 4940 | 2937 39209 98129 | 28015 4940 69 | 86.415 % | 361.93/362.11 c | 7503 | 2937 39209 98129 | 30817 7503 71 | 86.415 % | 362.93/363.14 c | 11348 | 2937 39209 98129 | 33899 11348 100 | 86.415 % | 365.13/365.39 c | 17115 | 2937 39209 98129 | 37289 17115 114 | 86.415 % | 370.43/370.69 c | 25766 | 2937 39209 98129 | 41018 25766 144 | 86.415 % | 378.53/378.79 c | 38742 | 2937 39209 98129 | 45120 38742 128 | 86.415 % | 404.71/404.99 c | 58206 | 2937 39209 98129 | 49632 58206 162 | 86.415 % | 438.71/438.98 c | 87399 | 2937 39209 98129 | 54595 35996 150 | 86.415 % | 464.00/464.24 c =============================================================================== 466.21/466.46 c core #344 466.21/466.46 c Core size: 1063 Core Weight: 1 Total Weight: -156 466.21/466.46 c Elapsed CPU time: 464.352 s Remaining CPU time: 1335.65 s 466.40/466.66 c ============================[ Search Statistics ]============================== 466.40/466.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 466.40/466.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 466.40/466.66 c =============================================================================== 466.40/466.66 c | 0 | 3049 39210 98353 | 13070 0 nan | 0.000 % | 466.40/466.69 c | 102 | 3049 39210 98353 | 14377 102 25 | 85.970 % | 466.50/466.70 c | 253 | 3049 39210 98353 | 15814 253 24 | 85.970 % | 466.50/466.71 c | 478 | 3049 39210 98353 | 17396 478 23 | 85.970 % | 466.50/466.74 c | 815 | 3049 39210 98353 | 19135 815 25 | 85.970 % | 466.50/466.78 c | 1321 | 3049 39210 98353 | 21049 1321 37 | 85.970 % | 466.59/466.86 c | 2082 | 3049 39210 98353 | 23154 2082 52 | 85.970 % | 466.80/467.00 c | 3221 | 3049 39210 98353 | 25469 3221 55 | 85.970 % | 466.99/467.24 c | 4930 | 3049 39210 98353 | 28016 4930 58 | 85.970 % | 467.60/467.89 c | 7492 | 3049 39210 98353 | 30818 7492 90 | 85.970 % | 468.90/469.13 c | 11336 | 3049 39210 98353 | 33900 11336 121 | 85.970 % | 472.50/472.70 c | 17104 | 3049 39210 98353 | 37290 17104 174 | 85.970 % | 478.40/478.66 c | 25754 | 3049 39210 98353 | 41019 25754 159 | 85.970 % | 500.99/501.25 c | 38729 | 3049 39210 98353 | 45121 38729 268 | 85.970 % | 545.98/546.20 c | 58192 | 3049 39210 98353 | 49633 58192 292 | 85.970 % | 600.76/601.05 c | 87387 | 3049 39210 98353 | 54596 33745 271 | 85.970 % | 723.63/723.94 c | 131178 | 3049 39210 98353 | 60056 20621 219 | 85.970 % | 837.80/838.13 c =============================================================================== 842.49/842.82 c core #345 842.49/842.82 c Core size: 1625 Core Weight: 1 Total Weight: -155 842.49/842.82 c Elapsed CPU time: 839.504 s Remaining CPU time: 960.496 s 842.80/843.10 c ============================[ Search Statistics ]============================== 842.80/843.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 842.80/843.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 842.80/843.10 c =============================================================================== 842.80/843.10 c | 0 | 3179 39211 98613 | 13070 0 nan | 0.000 % | 842.80/843.16 c | 100 | 3179 39211 98613 | 14377 100 23 | 85.459 % | 842.80/843.17 c | 250 | 3179 39211 98613 | 15815 250 32 | 85.459 % | 842.80/843.18 c | 475 | 3179 39211 98613 | 17396 475 32 | 85.459 % | 842.90/843.20 c | 812 | 3179 39211 98613 | 19136 812 39 | 85.459 % | 842.90/843.24 c | 1320 | 3179 39211 98613 | 21049 1320 41 | 85.459 % | 843.00/843.33 c | 2081 | 3179 39211 98613 | 23154 2081 61 | 85.459 % | 843.20/843.52 c | 3221 | 3179 39211 98613 | 25470 3221 75 | 85.459 % | 843.60/843.95 c | 4929 | 3179 39211 98613 | 28017 4929 95 | 85.459 % | 844.30/844.63 c | 7493 | 3179 39211 98613 | 30819 7493 108 | 85.459 % | 846.19/846.58 c | 11337 | 3179 39211 98613 | 33901 11337 132 | 85.459 % | 850.40/850.76 c | 17106 | 3179 39211 98613 | 37291 17106 170 | 85.459 % | 856.79/857.18 c | 25755 | 3179 39211 98613 | 41020 25755 160 | 85.459 % | 871.29/871.62 c | 38729 | 3179 39211 98613 | 45122 38729 175 | 85.459 % | 904.28/904.61 c | 58191 | 3179 39211 98613 | 49634 58191 181 | 85.459 % | 945.76/946.17 c | 87384 | 3179 39211 98613 | 54598 34251 260 | 85.459 % | 1042.54/1042.93 c | 131177 | 3179 39211 98613 | 60057 20051 171 | 85.459 % | 1226.59/1227.02 c | 196863 | 3179 39211 98613 | 66063 22446 595 | 85.459 % | 1441.33/1441.83 c | 295390 | 3179 39211 98613 | 72669 52326 580 | 85.459 % |
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-1875348-1245200795/watcher-1875348-1245200795 -o /tmp/evaluation-result-1875348-1245200795/solver-1875348-1245200795 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875348-1245200795.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5286 /proc/meminfo: memFree=1868656/2055920 swapFree=4181656/4192956 [pid=5286] ppid=5284 vsize=4388 CPUtime=0 /proc/5286/stat : 5286 (wbo) R 5284 5286 4769 0 -1 4194304 259 0 0 0 0 0 0 0 18 0 1 0 187679726 4493312 243 1992294400 134512640 135709839 4294956240 18446744073709551615 134557260 0 0 4096 3 0 0 0 17 1 0 0 /proc/5286/statm: 1097 243 125 292 0 408 0 [startup+0.0496059 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5286 /proc/meminfo: memFree=1868656/2055920 swapFree=4181656/4192956 [pid=5286] ppid=5284 vsize=7504 CPUtime=0.04 /proc/5286/stat : 5286 (wbo) R 5284 5286 4769 0 -1 4194304 1037 0 0 0 4 0 0 0 18 0 1 0 187679726 7684096 1021 1992294400 134512640 135709839 4294956240 18446744073709551615 134570584 0 0 4096 3 0 0 0 17 1 0 0 /proc/5286/statm: 1876 1023 176 292 0 1187 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 7504 [startup+0.102611 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5286 /proc/meminfo: memFree=1868656/2055920 swapFree=4181656/4192956 [pid=5286] ppid=5284 vsize=8684 CPUtime=0.09 /proc/5286/stat : 5286 (wbo) R 5284 5286 4769 0 -1 4194304 1413 0 0 0 9 0 0 0 18 0 1 0 187679726 8892416 1397 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/5286/statm: 2171 1397 256 292 0 1482 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8684 [startup+0.30163 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5286 /proc/meminfo: memFree=1868656/2055920 swapFree=4181656/4192956 [pid=5286] ppid=5284 vsize=15268 CPUtime=0.29 /proc/5286/stat : 5286 (wbo) R 5284 5286 4769 0 -1 4194304 3637 0 0 0 28 1 0 0 19 0 1 0 187679726 15634432 3195 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/5286/statm: 3817 3195 134 292 0 3522 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15268 [startup+0.701668 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5286 /proc/meminfo: memFree=1868656/2055920 swapFree=4181656/4192956 [pid=5286] ppid=5284 vsize=22756 CPUtime=0.69 /proc/5286/stat : 5286 (wbo) R 5284 5286 4769 0 -1 4194304 6217 0 0 0 66 3 0 0 22 0 1 0 187679726 23302144 5171 1992294400 134512640 135709839 4294956240 18446744073709551615 135168492 0 0 4096 3 0 0 0 17 1 0 0 /proc/5286/statm: 5689 5171 134 292 0 5394 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 22756 [startup+1.50175 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5287 /proc/meminfo: memFree=1843432/2055920 swapFree=4181656/4192956 [pid=5286] ppid=5284 vsize=36104 CPUtime=1.49 /proc/5286/stat : 5286 (wbo) R 5284 5286 4769 0 -1 4194304 9541 0 0 0 145 4 0 0 25 0 1 0 187679726 36970496 8495 1992294400 134512640 135709839 4294956240 18446744073709551615 135182873 0 0 4096 3 0 0 0 17 1 0 0 /proc/5286/statm: 9026 8495 134 292 0 8731 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 36104 [startup+3.1019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5287 /proc/meminfo: memFree=1824488/2055920 swapFree=4181656/4192956 [pid=5286] ppid=5284 vsize=64064 CPUtime=3.09 /proc/5286/stat : 5286 (wbo) R 5284 5286 4769 0 -1 4194304 16568 0 0 0 303 6 0 0 25 0 1 0 187679726 65601536 15522 1992294400 134512640 135709839 4294956240 18446744073709551615 135162161 0 0 4096 3 0 0 0 17 1 0 0 /proc/5286/statm: 16016 15522 134 292 0 15721 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 64064 [startup+6.30121 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5287 /proc/meminfo: memFree=1768552/2055920 swapFree=4181656/4192956 [pid=5286] ppid=5284 vsize=117052 CPUtime=6.28 /proc/5286/stat : 5286 (wbo) R 5284 5286 4769 0 -1 4194304 29815 0 0 0 617 11 0 0 25 0 1 0 187679726 119861248 28769 1992294400 134512640 135709839 4294956240 18446744073709551615 134530673 0 0 4096 3 0 0 0 17 1 0 0 /proc/5286/statm: 29263 28769 134 292 0 28968 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 117052 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5287 /proc/meminfo: memFree=1660712/2055920 swapFree=4181656/4192956 [pid=5286] ppid=5284 vsize=221332 CPUtime=12.68 /proc/5286/stat : 5286 (wbo) R 5284 5286 4769 0 -1 4194304 55816 0 0 0 1247 21 0 0 25 0 1 0 187679726 226643968 54770 1992294400 134512640 135709839 4294956240 18446744073709551615 134605451 0 0 4096 3 0 0 0 17 1 0 0 /proc/5286/statm: 55333 54770 134 292 0 55038 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 221332 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5287 /proc/meminfo: memFree=1454248/2055920 swapFree=4181656/4192956 [pid=5286] ppid=5284 vsize=420220 CPUtime=25.44 /proc/5286/stat : 5286 (wbo) R 5284 5286 4769 0 -1 4194304 105612 0 0 0 2502 42 0 0 25 0 1 0 187679726 430305280 104566 1992294400 134512640 135709839 4294956240 18446744073709551615 135166998 0 0 4096 3 0 0 0 17 1 0 0 /proc/5286/statm: 105055 104566 136 292 0 104760 0 Current children cumulated CPU time (s) 25.44 Current children cumulated vsize (KiB) 420220 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5287 /proc/meminfo: memFree=1397288/2055920 swapFree=4181656/4192956 [pid=5286] ppid=5284 vsize=473908 CPUtime=51.02 /proc/5286/stat : 5286 (wbo) R 5284 5286 4769 0 -1 4194304 122024 0 0 0 5027 75 0 0 25 0 1 0 187679726 485281792 117891 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5286/statm: 118477 117891 136 292 0 118182 0 Current children cumulated CPU time (s) 51.02 Current children cumulated vsize (KiB) 473908 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5287 /proc/meminfo: memFree=1355048/2055920 swapFree=4181656/4192956 [pid=5286] ppid=5284 vsize=515484 CPUtime=102.2 /proc/5286/stat : 5286 (wbo) R 5284 5286 4769 0 -1 4194304 132383 0 0 0 10129 91 0 0 25 0 1 0 187679726 527855616 128250 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5286/statm: 128871 128250 136 292 0 128576 0 Current children cumulated CPU time (s) 102.2 Current children cumulated vsize (KiB) 515484 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5287 /proc/meminfo: memFree=1321320/2055920 swapFree=4181656/4192956 [pid=5286] ppid=5284 vsize=549680 CPUtime=162.19 /proc/5286/stat : 5286 (wbo) R 5284 5286 4769 0 -1 4194304 140859 0 0 0 16113 106 0 0 25 0 1 0 187679726 562872320 136726 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0 /proc/5286/statm: 137420 136726 136 292 0 137125 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 549680 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5287 /proc/meminfo: memFree=1298984/2055920 swapFree=4181656/4192956 [pid=5286] ppid=5284 vsize=570972 CPUtime=222.18 /proc/5286/stat : 5286 (wbo) R 5284 5286 4769 0 -1 4194304 146585 0 0 0 22096 122 0 0 25 0 1 0 187679726 584675328 142200 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/5286/statm: 142743 142200 136 292 0 142448 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 570972 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5287 /proc/meminfo: memFree=1269160/2055920 swapFree=4181656/4192956 [pid=5286] ppid=5284 vsize=601268 CPUtime=282.15 /proc/5286/stat : 5286 (wbo) R 5284 5286 4769 0 -1 4194304 154130 0 0 0 28081 134 0 0 25 0 1 0 187679726 615698432 149745 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5286/statm: 150317 149745 136 292 0 150022 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 601268 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5287 /proc/meminfo: memFree=1240808/2055920 swapFree=4181656/4192956 [pid=5286] ppid=5284 vsize=629180 CPUtime=342.13 /proc/5286/stat : 5286 (wbo) R 5284 5286 4769 0 -1 4194304 161074 0 0 0 34070 143 0 0 25 0 1 0 187679726 644280320 156689 1992294400 134512640 135709839 4294956240 18446744073709551615 134568263 0 0 4096 3 0 0 0 17 1 0 0 /proc/5286/statm: 157295 156689 136 292 0 157000 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 629180 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5287 /proc/meminfo: memFree=1206184/2055920 swapFree=4181656/4192956 [pid=5286] ppid=5284 vsize=663484 CPUtime=402.12 /proc/5286/stat : 5286 (wbo) R 5284 5286 4769 0 -1 4194304 169834 0 0 0 40039 173 0 0 25 0 1 0 187679726 679407616 165322 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5286/statm: 165871 165322 136 292 0 165576 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 663484 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5287 /proc/meminfo: memFree=1192744/2055920 swapFree=4181656/4192956 [pid=5286] ppid=5284 vsize=677152 CPUtime=462.1 /proc/5286/stat : 5286 (wbo) R 5284 5286 4769 0 -1 4194304 173251 0 0 0 46020 190 0 0 25 0 1 0 187679726 693403648 168739 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5286/statm: 169288 168739 136 292 0 168993 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 677152 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5287 /proc/meminfo: memFree=1144936/2055920 swapFree=4181656/4192956 [pid=5286] ppid=5284 vsize=725420 CPUtime=522.08 /proc/5286/stat : 5286 (wbo) R 5284 5286 4769 0 -1 4194304 185410 0 0 0 51992 216 0 0 25 0 1 0 187679726 742830080 180771 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5286/statm: 181355 180771 136 292 0 181060 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 725420 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5287 /proc/meminfo: memFree=1110696/2055920 swapFree=4181656/4192956 [pid=5286] ppid=5284 vsize=759484 CPUtime=582.06 /proc/5286/stat : 5286 (wbo) R 5284 5286 4769 0 -1 4194304 193905 0 0 0 57975 231 0 0 25 0 1 0 187679726 777711616 189266 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5286/statm: 189871 189266 136 292 0 189576 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 759484 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5287 /proc/meminfo: memFree=1063528/2055920 swapFree=4181656/4192956 [pid=5286] ppid=5284 vsize=806128 CPUtime=642.05 /proc/5286/stat : 5286 (wbo) R 5284 5286 4769 0 -1 4194304 205569 0 0 0 63954 251 0 0 25 0 1 0 187679726 825475072 200930 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5286/statm: 201532 200930 136 292 0 201237 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 806128 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5287 /proc/meminfo: memFree=894696/2055920 swapFree=4181656/4192956 [pid=5286] ppid=5284 vsize=974544 CPUtime=881.99 /proc/5286/stat : 5286 (wbo) R 5284 5286 4769 0 -1 4194304 247789 0 0 0 87881 318 0 0 25 0 1 0 187679726 997933056 243022 1992294400 134512640 135709839 4294956240 18446744073709551615 134573867 0 0 4096 3 0 0 0 17 1 0 0 /proc/5286/statm: 243636 243022 136 292 0 243341 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 974544 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5287 /proc/meminfo: memFree=875688/2055920 swapFree=4181656/4192956 [pid=5286] ppid=5284 vsize=994420 CPUtime=941.97 /proc/5286/stat : 5286 (wbo) R 5284 5286 4769 0 -1 4194304 252826 0 0 0 93864 333 0 0 25 0 1 0 187679726 1018286080 248059 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5286/statm: 248605 248059 136 292 0 248310 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 994420 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5287 /proc/meminfo: memFree=822312/2055920 swapFree=4181656/4192956 [pid=5286] ppid=5284 vsize=1046968 CPUtime=1001.95 /proc/5286/stat : 5286 (wbo) R 5284 5286 4769 0 -1 4194304 265961 0 0 0 99844 351 0 0 25 0 1 0 187679726 1072095232 261194 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5286/statm: 261742 261194 136 292 0 261447 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 1046968 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5287 /proc/meminfo: memFree=773288/2055920 swapFree=4181656/4192956 [pid=5286] ppid=5284 vsize=1096108 CPUtime=1061.93 /proc/5286/stat : 5286 (wbo) R 5284 5286 4769 0 -1 4194304 278224 0 0 0 105825 368 0 0 25 0 1 0 187679726 1122414592 273457 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/5286/statm: 274027 273457 136 292 0 273732 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 1096108 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5287 /proc/meminfo: memFree=724328/2055920 swapFree=4181656/4192956 [pid=5286] ppid=5284 vsize=1144620 CPUtime=1121.92 /proc/5286/stat : 5286 (wbo) R 5284 5286 4769 0 -1 4194304 290350 0 0 0 111810 382 0 0 25 0 1 0 187679726 1172090880 285583 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5286/statm: 286155 285583 136 292 0 285860 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 1144620 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5287 /proc/meminfo: memFree=689000/2055920 swapFree=4181656/4192956 [pid=5286] ppid=5284 vsize=1180284 CPUtime=1181.9 /proc/5286/stat : 5286 (wbo) R 5284 5286 4769 0 -1 4194304 299257 0 0 0 117796 394 0 0 25 0 1 0 187679726 1208610816 294490 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5286/statm: 295071 294490 136 292 0 294776 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 1180284 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5287 /proc/meminfo: memFree=611816/2055920 swapFree=4181656/4192956 [pid=5286] ppid=5284 vsize=1257568 CPUtime=1241.88 /proc/5286/stat : 5286 (wbo) R 5284 5286 4769 0 -1 4194304 318562 0 0 0 123774 414 0 0 25 0 1 0 187679726 1287749632 313795 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/5286/statm: 314392 313795 136 292 0 314097 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 1257568 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5287 /proc/meminfo: memFree=536488/2055920 swapFree=4181656/4192956 [pid=5286] ppid=5284 vsize=1331984 CPUtime=1301.88 /proc/5286/stat : 5286 (wbo) R 5284 5286 4769 0 -1 4194304 337158 0 0 0 129755 433 0 0 25 0 1 0 187679726 1363951616 332391 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5286/statm: 332996 332391 136 292 0 332701 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 1331984 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5287 /proc/meminfo: memFree=481320/2055920 swapFree=4181656/4192956 [pid=5286] ppid=5284 vsize=1388028 CPUtime=1361.85 /proc/5286/stat : 5286 (wbo) R 5284 5286 4769 0 -1 4194304 351143 0 0 0 135735 450 0 0 25 0 1 0 187679726 1421340672 346376 1992294400 134512640 135709839 4294956240 18446744073709551615 134574202 0 0 4096 3 0 0 0 17 1 0 0 /proc/5286/statm: 347007 346376 136 292 0 346712 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 1388028 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5287 /proc/meminfo: memFree=403560/2055920 swapFree=4181656/4192956 [pid=5286] ppid=5284 vsize=1464860 CPUtime=1421.84 /proc/5286/stat : 5286 (wbo) R 5284 5286 4769 0 -1 4194304 370332 0 0 0 141715 469 0 0 25 0 1 0 187679726 1500016640 365565 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/5286/statm: 366215 365565 136 292 0 365920 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 1464860 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5287 /proc/meminfo: memFree=332072/2055920 swapFree=4181656/4192956 [pid=5286] ppid=5284 vsize=1536528 CPUtime=1481.82 /proc/5286/stat : 5286 (wbo) R 5284 5286 4769 0 -1 4194304 388253 0 0 0 147696 486 0 0 25 0 1 0 187679726 1573404672 383486 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/5286/statm: 384132 383486 136 292 0 383837 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 1536528 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5287 /proc/meminfo: memFree=281576/2055920 swapFree=4181656/4192956 [pid=5286] ppid=5284 vsize=1586632 CPUtime=1541.81 /proc/5286/stat : 5286 (wbo) R 5284 5286 4769 0 -1 4194304 400763 0 0 0 153683 498 0 0 25 0 1 0 187679726 1624711168 395996 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5286/statm: 396658 395996 136 292 0 396363 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 1586632 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5287 /proc/meminfo: memFree=238312/2055920 swapFree=4181656/4192956 [pid=5286] ppid=5284 vsize=1630376 CPUtime=1601.78 /proc/5286/stat : 5286 (wbo) R 5284 5286 4769 0 -1 4194304 411668 0 0 0 159667 511 0 0 25 0 1 0 187679726 1669505024 406901 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/5286/statm: 407594 406901 136 292 0 407299 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 1630376 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5287 /proc/meminfo: memFree=156648/2055920 swapFree=4181656/4192956 [pid=5286] ppid=5284 vsize=1711608 CPUtime=1661.78 /proc/5286/stat : 5286 (wbo) R 5284 5286 4769 0 -1 4194304 431980 0 0 0 165644 534 0 0 25 0 1 0 187679726 1752686592 427213 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5286/statm: 427902 427213 136 292 0 427607 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 1711608 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5287 /proc/meminfo: memFree=111336/2055920 swapFree=4181656/4192956 [pid=5286] ppid=5284 vsize=1757104 CPUtime=1721.75 /proc/5286/stat : 5286 (wbo) R 5284 5286 4769 0 -1 4194304 443314 0 0 0 171624 551 0 0 25 0 1 0 187679726 1799274496 438547 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5286/statm: 439276 438547 136 292 0 438981 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 1757104 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5287 /proc/meminfo: memFree=57128/2055920 swapFree=4181656/4192956 [pid=5286] ppid=5284 vsize=1811104 CPUtime=1781.74 /proc/5286/stat : 5286 (wbo) R 5284 5286 4769 0 -1 4194304 456813 0 0 0 177602 572 0 0 25 0 1 0 187679726 1854570496 452046 1992294400 134512640 135709839 4294956240 18446744073709551615 134574300 0 0 4096 3 0 0 0 17 1 0 0 /proc/5286/statm: 452776 452046 136 292 0 452481 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 1811104 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5287 /proc/meminfo: memFree=38696/2055920 swapFree=4181656/4192956 [pid=5286] ppid=5284 vsize=1829128 CPUtime=1800.05 /proc/5286/stat : 5286 (wbo) R 5284 5286 4769 0 -1 4194304 461328 0 0 0 179425 580 0 0 25 0 1 0 187679726 1873027072 456561 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5286/statm: 457282 456561 136 292 0 456987 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1829128 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: 1.00 1.00 1.00 2/65 5287 /proc/meminfo: memFree=38696/2055920 swapFree=4181656/4192956 [pid=5286] ppid=5284 vsize=0 CPUtime=1800.24 /proc/5286/stat : 5286 (wbo) R 5284 5286 4769 0 -1 4195332 461328 0 0 0 179425 599 0 0 25 0 1 0 187679726 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/5286/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.89 CPU time (s): 1800.33 CPU user time (s): 1794.25 CPU system time (s): 6.08008 CPU usage (%): 99.9691 Max. virtual memory (cumulated for all children) (KiB): 1829128 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.25 system time used= 6.08007 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 461328 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= 4370 runsolver used 1.42378 second user time and 4.00739 second system time The end
Begin job on node18 at 2009-06-17 03:06:35 IDJOB=1875348 IDBENCH=48188 IDSOLVER=698 FILE ID=node18/1875348-1245200795 PBS_JOBID= 9368325 Free space on /tmp= 66172 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_60_1.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-1875348-1245200795/watcher-1875348-1245200795 -o /tmp/evaluation-result-1875348-1245200795/solver-1875348-1245200795 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875348-1245200795.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5c1211f8aed9d33c9f0c9019d9cd9874 RANDOM SEED=175268941 node18.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.236 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.236 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: 1870288 kB Buffers: 48796 kB Cached: 91928 kB SwapCached: 5544 kB Active: 78380 kB Inactive: 70268 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1870288 kB SwapTotal: 4192956 kB SwapFree: 4181656 kB Dirty: 2836 kB Writeback: 0 kB Mapped: 12948 kB Slab: 23076 kB Committed_AS: 163696 kB PageTables: 1380 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-1875348-1245200795.opb Free space on /tmp at the end= 66168 MiB End job on node18 at 2009-06-17 03:36:38