| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.0 | ? (MO) | 1738.62 | 1739.29 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_25_4.opb |
| MD5SUM | 95ae68c901d0b7917be5b837e9e56612 |
| 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 | -63 |
| Best CPU time to get the best result obtained on this benchmark | 1800.34 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -78 |
| 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 | 25 |
| Maximum length of a constraint | 49 |
| 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) | 15754 |
| Sum of products size (including duplicates) | 31508 |
| Number of different products | 7877 |
| Sum of products size | 15754 |
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-1875377-1245204122.opb. 0.00/0.00 c Instance file HOME/instance-1875377-1245204122.opb 0.00/0.00 c File size is 666811 bytes. 0.09/0.10 c Highest Coefficient sum: 49 0.09/0.10 c ============================[ Problem Statistics ]============================= 0.09/0.10 c | | 0.09/0.10 c | Parsing time: 0.10 s | 0.09/0.10 c | Number Variables: 8377 | 0.09/0.10 c | Number Clauses: 8377 | 0.09/0.10 c | Number Cardinality: 1000 | 0.09/0.10 c | Number PB Constraints: 7877 | 0.09/0.10 c core #1 0.09/0.10 c Core size: 4 Core Weight: 1 Total Weight: -499 0.09/0.10 c Elapsed CPU time: 0.096985 s Remaining CPU time: 1799.9 s 0.09/0.13 c core #2 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: -498 0.09/0.13 c Elapsed CPU time: 0.114982 s Remaining CPU time: 1799.89 s 0.09/0.15 c core #3 0.09/0.15 c Core size: 4 Core Weight: 1 Total Weight: -497 0.09/0.15 c Elapsed CPU time: 0.137979 s Remaining CPU time: 1799.86 s 0.09/0.18 c core #4 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: -496 0.09/0.18 c Elapsed CPU time: 0.161975 s Remaining CPU time: 1799.84 s 0.18/0.20 c core #5 0.18/0.20 c Core size: 4 Core Weight: 1 Total Weight: -495 0.18/0.20 c Elapsed CPU time: 0.186971 s Remaining CPU time: 1799.81 s 0.18/0.23 c core #6 0.18/0.23 c Core size: 4 Core Weight: 1 Total Weight: -494 0.18/0.23 c Elapsed CPU time: 0.212967 s Remaining CPU time: 1799.79 s 0.18/0.26 c core #7 0.18/0.26 c Core size: 4 Core Weight: 1 Total Weight: -493 0.18/0.26 c Elapsed CPU time: 0.240963 s Remaining CPU time: 1799.76 s 0.18/0.29 c core #8 0.18/0.29 c Core size: 4 Core Weight: 1 Total Weight: -492 0.18/0.29 c Elapsed CPU time: 0.267959 s Remaining CPU time: 1799.73 s 0.28/0.31 c core #9 0.28/0.31 c Core size: 4 Core Weight: 1 Total Weight: -491 0.28/0.31 c Elapsed CPU time: 0.295955 s Remaining CPU time: 1799.7 s 0.28/0.34 c core #10 0.28/0.34 c Core size: 4 Core Weight: 1 Total Weight: -490 0.28/0.34 c Elapsed CPU time: 0.32495 s Remaining CPU time: 1799.68 s 0.28/0.37 c core #11 0.28/0.37 c Core size: 4 Core Weight: 1 Total Weight: -489 0.28/0.37 c Elapsed CPU time: 0.352946 s Remaining CPU time: 1799.65 s 0.38/0.40 c core #12 0.38/0.40 c Core size: 4 Core Weight: 1 Total Weight: -488 0.38/0.40 c Elapsed CPU time: 0.379942 s Remaining CPU time: 1799.62 s 0.38/0.43 c core #13 0.38/0.43 c Core size: 4 Core Weight: 1 Total Weight: -487 0.38/0.43 c Elapsed CPU time: 0.407937 s Remaining CPU time: 1799.59 s 0.38/0.46 c core #14 0.38/0.46 c Core size: 4 Core Weight: 1 Total Weight: -486 0.38/0.46 c Elapsed CPU time: 0.431934 s Remaining CPU time: 1799.57 s 0.38/0.49 c core #15 0.38/0.49 c Core size: 4 Core Weight: 1 Total Weight: -485 0.38/0.49 c Elapsed CPU time: 0.460929 s Remaining CPU time: 1799.54 s 0.47/0.52 c core #16 0.47/0.52 c Core size: 4 Core Weight: 1 Total Weight: -484 0.47/0.52 c Elapsed CPU time: 0.489925 s Remaining CPU time: 1799.51 s 0.47/0.55 c core #17 0.47/0.55 c Core size: 4 Core Weight: 1 Total Weight: -483 0.47/0.55 c Elapsed CPU time: 0.517921 s Remaining CPU time: 1799.48 s 0.47/0.58 c core #18 0.47/0.58 c Core size: 4 Core Weight: 1 Total Weight: -482 0.47/0.58 c Elapsed CPU time: 0.547916 s Remaining CPU time: 1799.45 s 0.58/0.61 c core #19 0.58/0.61 c Core size: 4 Core Weight: 1 Total Weight: -481 0.58/0.61 c Elapsed CPU time: 0.577912 s Remaining CPU time: 1799.42 s 0.58/0.64 c core #20 0.58/0.64 c Core size: 4 Core Weight: 1 Total Weight: -480 0.58/0.64 c Elapsed CPU time: 0.607907 s Remaining CPU time: 1799.39 s 0.58/0.67 c core #21 0.58/0.67 c Core size: 4 Core Weight: 1 Total Weight: -479 0.58/0.67 c Elapsed CPU time: 0.635903 s Remaining CPU time: 1799.36 s 0.58/0.70 c core #22 0.58/0.70 c Core size: 4 Core Weight: 1 Total Weight: -478 0.68/0.70 c Elapsed CPU time: 0.662899 s Remaining CPU time: 1799.34 s 0.68/0.73 c core #23 0.68/0.73 c Core size: 4 Core Weight: 1 Total Weight: -477 0.68/0.73 c Elapsed CPU time: 0.692894 s Remaining CPU time: 1799.31 s 0.68/0.76 c core #24 0.68/0.76 c Core size: 4 Core Weight: 1 Total Weight: -476 0.68/0.76 c Elapsed CPU time: 0.72189 s Remaining CPU time: 1799.28 s 0.68/0.79 c core #25 0.68/0.79 c Core size: 4 Core Weight: 1 Total Weight: -475 0.68/0.79 c Elapsed CPU time: 0.750885 s Remaining CPU time: 1799.25 s 0.78/0.82 c core #26 0.78/0.82 c Core size: 4 Core Weight: 1 Total Weight: -474 0.78/0.82 c Elapsed CPU time: 0.778881 s Remaining CPU time: 1799.22 s 0.78/0.85 c core #27 0.78/0.85 c Core size: 4 Core Weight: 1 Total Weight: -473 0.78/0.85 c Elapsed CPU time: 0.807877 s Remaining CPU time: 1799.19 s 0.78/0.88 c core #28 0.78/0.88 c Core size: 4 Core Weight: 1 Total Weight: -472 0.78/0.88 c Elapsed CPU time: 0.836872 s Remaining CPU time: 1799.16 s 0.87/0.91 c core #29 0.87/0.91 c Core size: 4 Core Weight: 1 Total Weight: -471 0.87/0.91 c Elapsed CPU time: 0.865868 s Remaining CPU time: 1799.13 s 0.87/0.94 c core #30 0.87/0.94 c Core size: 4 Core Weight: 1 Total Weight: -470 0.87/0.94 c Elapsed CPU time: 0.895863 s Remaining CPU time: 1799.1 s 0.87/0.97 c core #31 0.87/0.97 c Core size: 4 Core Weight: 1 Total Weight: -469 0.87/0.97 c Elapsed CPU time: 0.924859 s Remaining CPU time: 1799.08 s 0.87/1.00 c core #32 0.87/1.00 c Core size: 4 Core Weight: 1 Total Weight: -468 0.98/1.00 c Elapsed CPU time: 0.952855 s Remaining CPU time: 1799.05 s 0.98/1.03 c core #33 0.98/1.03 c Core size: 4 Core Weight: 1 Total Weight: -467 0.98/1.03 c Elapsed CPU time: 0.98285 s Remaining CPU time: 1799.02 s 0.98/1.06 c core #34 0.98/1.06 c Core size: 4 Core Weight: 1 Total Weight: -466 0.98/1.06 c Elapsed CPU time: 1.01185 s Remaining CPU time: 1798.99 s 0.98/1.09 c core #35 0.98/1.09 c Core size: 4 Core Weight: 1 Total Weight: -465 0.98/1.09 c Elapsed CPU time: 1.04284 s Remaining CPU time: 1798.96 s 1.08/1.12 c core #36 1.08/1.12 c Core size: 4 Core Weight: 1 Total Weight: -464 1.08/1.12 c Elapsed CPU time: 1.07184 s Remaining CPU time: 1798.93 s 1.08/1.15 c core #37 1.08/1.15 c Core size: 4 Core Weight: 1 Total Weight: -463 1.08/1.15 c Elapsed CPU time: 1.10083 s Remaining CPU time: 1798.9 s 1.08/1.18 c core #38 1.08/1.18 c Core size: 4 Core Weight: 1 Total Weight: -462 1.08/1.18 c Elapsed CPU time: 1.13083 s Remaining CPU time: 1798.87 s 1.17/1.22 c core #39 1.17/1.22 c Core size: 4 Core Weight: 1 Total Weight: -461 1.17/1.22 c Elapsed CPU time: 1.16382 s Remaining CPU time: 1798.84 s 1.17/1.25 c core #40 1.17/1.25 c Core size: 4 Core Weight: 1 Total Weight: -460 1.17/1.25 c Elapsed CPU time: 1.19482 s Remaining CPU time: 1798.81 s 1.17/1.29 c core #41 1.17/1.29 c Core size: 4 Core Weight: 1 Total Weight: -459 1.17/1.29 c Elapsed CPU time: 1.22581 s Remaining CPU time: 1798.77 s 1.25/1.32 c core #42 1.25/1.32 c Core size: 4 Core Weight: 1 Total Weight: -458 1.25/1.32 c Elapsed CPU time: 1.25581 s Remaining CPU time: 1798.74 s 1.25/1.35 c core #43 1.25/1.35 c Core size: 4 Core Weight: 1 Total Weight: -457 1.25/1.35 c Elapsed CPU time: 1.2838 s Remaining CPU time: 1798.72 s 1.25/1.38 c core #44 1.25/1.38 c Core size: 4 Core Weight: 1 Total Weight: -456 1.25/1.38 c Elapsed CPU time: 1.3128 s Remaining CPU time: 1798.69 s 1.35/1.41 c core #45 1.35/1.41 c Core size: 4 Core Weight: 1 Total Weight: -455 1.35/1.41 c Elapsed CPU time: 1.34279 s Remaining CPU time: 1798.66 s 1.35/1.44 c core #46 1.35/1.44 c Core size: 4 Core Weight: 1 Total Weight: -454 1.35/1.44 c Elapsed CPU time: 1.37179 s Remaining CPU time: 1798.63 s 1.35/1.47 c core #47 1.35/1.47 c Core size: 4 Core Weight: 1 Total Weight: -453 1.35/1.47 c Elapsed CPU time: 1.39979 s Remaining CPU time: 1798.6 s 1.45/1.50 c core #48 1.45/1.50 c Core size: 4 Core Weight: 1 Total Weight: -452 1.45/1.50 c Elapsed CPU time: 1.42178 s Remaining CPU time: 1798.58 s 1.45/1.54 c core #49 1.45/1.54 c Core size: 4 Core Weight: 1 Total Weight: -451 1.45/1.54 c Elapsed CPU time: 1.45078 s Remaining CPU time: 1798.55 s 1.45/1.57 c core #50 1.45/1.57 c Core size: 4 Core Weight: 1 Total Weight: -450 1.45/1.57 c Elapsed CPU time: 1.47877 s Remaining CPU time: 1798.52 s 1.45/1.60 c core #51 1.45/1.60 c Core size: 4 Core Weight: 1 Total Weight: -449 1.45/1.60 c Elapsed CPU time: 1.50677 s Remaining CPU time: 1798.49 s 1.55/1.63 c core #52 1.55/1.63 c Core size: 4 Core Weight: 1 Total Weight: -448 1.55/1.63 c Elapsed CPU time: 1.53677 s Remaining CPU time: 1798.46 s 1.55/1.66 c core #53 1.55/1.66 c Core size: 4 Core Weight: 1 Total Weight: -447 1.55/1.66 c Elapsed CPU time: 1.56676 s Remaining CPU time: 1798.43 s 1.55/1.69 c core #54 1.55/1.69 c Core size: 4 Core Weight: 1 Total Weight: -446 1.55/1.69 c Elapsed CPU time: 1.59476 s Remaining CPU time: 1798.41 s 1.65/1.72 c core #55 1.65/1.72 c Core size: 4 Core Weight: 1 Total Weight: -445 1.65/1.72 c Elapsed CPU time: 1.62475 s Remaining CPU time: 1798.38 s 1.65/1.75 c core #56 1.65/1.75 c Core size: 4 Core Weight: 1 Total Weight: -444 1.65/1.75 c Elapsed CPU time: 1.65475 s Remaining CPU time: 1798.35 s 1.65/1.78 c core #57 1.65/1.78 c Core size: 4 Core Weight: 1 Total Weight: -443 1.65/1.78 c Elapsed CPU time: 1.68374 s Remaining CPU time: 1798.32 s 1.75/1.81 c core #58 1.75/1.81 c Core size: 4 Core Weight: 1 Total Weight: -442 1.75/1.81 c Elapsed CPU time: 1.71474 s Remaining CPU time: 1798.29 s 1.75/1.84 c core #59 1.75/1.84 c Core size: 4 Core Weight: 1 Total Weight: -441 1.75/1.84 c Elapsed CPU time: 1.74473 s Remaining CPU time: 1798.26 s 1.75/1.87 c core #60 1.75/1.87 c Core size: 4 Core Weight: 1 Total Weight: -440 1.75/1.87 c Elapsed CPU time: 1.77273 s Remaining CPU time: 1798.23 s 1.86/1.90 c core #61 1.86/1.90 c Core size: 4 Core Weight: 1 Total Weight: -439 1.86/1.90 c Elapsed CPU time: 1.80273 s Remaining CPU time: 1798.2 s 1.86/1.93 c core #62 1.86/1.93 c Core size: 4 Core Weight: 1 Total Weight: -438 1.86/1.93 c Elapsed CPU time: 1.83172 s Remaining CPU time: 1798.17 s 1.86/1.96 c core #63 1.86/1.96 c Core size: 4 Core Weight: 1 Total Weight: -437 1.86/1.96 c Elapsed CPU time: 1.86172 s Remaining CPU time: 1798.14 s 1.86/1.99 c core #64 1.86/1.99 c Core size: 4 Core Weight: 1 Total Weight: -436 1.86/1.99 c Elapsed CPU time: 1.89171 s Remaining CPU time: 1798.11 s 1.95/2.02 c core #65 1.95/2.02 c Core size: 4 Core Weight: 1 Total Weight: -435 1.95/2.02 c Elapsed CPU time: 1.92071 s Remaining CPU time: 1798.08 s 1.95/2.05 c core #66 1.95/2.05 c Core size: 4 Core Weight: 1 Total Weight: -434 1.95/2.05 c Elapsed CPU time: 1.9507 s Remaining CPU time: 1798.05 s 1.95/2.08 c core #67 1.95/2.08 c Core size: 4 Core Weight: 1 Total Weight: -433 1.95/2.08 c Elapsed CPU time: 1.9807 s Remaining CPU time: 1798.02 s 2.05/2.11 c core #68 2.05/2.11 c Core size: 4 Core Weight: 1 Total Weight: -432 2.05/2.11 c Elapsed CPU time: 2.01069 s Remaining CPU time: 1797.99 s 2.05/2.14 c core #69 2.05/2.14 c Core size: 4 Core Weight: 1 Total Weight: -431 2.05/2.14 c Elapsed CPU time: 2.04069 s Remaining CPU time: 1797.96 s 2.05/2.17 c core #70 2.05/2.17 c Core size: 4 Core Weight: 1 Total Weight: -430 2.05/2.17 c Elapsed CPU time: 2.07069 s Remaining CPU time: 1797.93 s 2.15/2.21 c core #71 2.15/2.21 c Core size: 4 Core Weight: 1 Total Weight: -429 2.15/2.21 c Elapsed CPU time: 2.10268 s Remaining CPU time: 1797.9 s 2.15/2.24 c core #72 2.15/2.24 c Core size: 4 Core Weight: 1 Total Weight: -428 2.15/2.24 c Elapsed CPU time: 2.13167 s Remaining CPU time: 1797.87 s 2.15/2.27 c core #73 2.15/2.27 c Core size: 4 Core Weight: 1 Total Weight: -427 2.15/2.27 c Elapsed CPU time: 2.16367 s Remaining CPU time: 1797.84 s 2.15/2.30 c core #74 2.15/2.30 c Core size: 4 Core Weight: 1 Total Weight: -426 2.15/2.30 c Elapsed CPU time: 2.19067 s Remaining CPU time: 1797.81 s 2.25/2.33 c core #75 2.25/2.33 c Core size: 4 Core Weight: 1 Total Weight: -425 2.25/2.33 c Elapsed CPU time: 2.22166 s Remaining CPU time: 1797.78 s 2.25/2.36 c core #76 2.25/2.36 c Core size: 4 Core Weight: 1 Total Weight: -424 2.25/2.36 c Elapsed CPU time: 2.25266 s Remaining CPU time: 1797.75 s 2.25/2.39 c core #77 2.25/2.39 c Core size: 4 Core Weight: 1 Total Weight: -423 2.25/2.39 c Elapsed CPU time: 2.28265 s Remaining CPU time: 1797.72 s 2.34/2.42 c core #78 2.34/2.42 c Core size: 4 Core Weight: 1 Total Weight: -422 2.34/2.42 c Elapsed CPU time: 2.31065 s Remaining CPU time: 1797.69 s 2.34/2.45 c core #79 2.34/2.45 c Core size: 4 Core Weight: 1 Total Weight: -421 2.34/2.45 c Elapsed CPU time: 2.33964 s Remaining CPU time: 1797.66 s 2.34/2.48 c core #80 2.34/2.48 c Core size: 4 Core Weight: 1 Total Weight: -420 2.34/2.48 c Elapsed CPU time: 2.36864 s Remaining CPU time: 1797.63 s 2.44/2.51 c core #81 2.44/2.51 c Core size: 4 Core Weight: 1 Total Weight: -419 2.44/2.51 c Elapsed CPU time: 2.39963 s Remaining CPU time: 1797.6 s 2.44/2.54 c core #82 2.44/2.54 c Core size: 4 Core Weight: 1 Total Weight: -418 2.44/2.54 c Elapsed CPU time: 2.42863 s Remaining CPU time: 1797.57 s 2.44/2.57 c core #83 2.44/2.57 c Core size: 4 Core Weight: 1 Total Weight: -417 2.44/2.57 c Elapsed CPU time: 2.45763 s Remaining CPU time: 1797.54 s 2.55/2.60 c core #84 2.55/2.60 c Core size: 4 Core Weight: 1 Total Weight: -416 2.55/2.60 c Elapsed CPU time: 2.48562 s Remaining CPU time: 1797.51 s 2.55/2.63 c core #85 2.55/2.63 c Core size: 4 Core Weight: 1 Total Weight: -415 2.55/2.63 c Elapsed CPU time: 2.51562 s Remaining CPU time: 1797.48 s 2.55/2.66 c core #86 2.55/2.66 c Core size: 4 Core Weight: 1 Total Weight: -414 2.55/2.66 c Elapsed CPU time: 2.54361 s Remaining CPU time: 1797.46 s 2.55/2.69 c core #87 2.55/2.69 c Core size: 4 Core Weight: 1 Total Weight: -413 2.55/2.69 c Elapsed CPU time: 2.57361 s Remaining CPU time: 1797.43 s 2.64/2.72 c core #88 2.64/2.72 c Core size: 4 Core Weight: 1 Total Weight: -412 2.64/2.72 c Elapsed CPU time: 2.6036 s Remaining CPU time: 1797.4 s 2.64/2.75 c core #89 2.64/2.75 c Core size: 4 Core Weight: 1 Total Weight: -411 2.64/2.75 c Elapsed CPU time: 2.6336 s Remaining CPU time: 1797.37 s 2.64/2.79 c core #90 2.64/2.79 c Core size: 4 Core Weight: 1 Total Weight: -410 2.64/2.79 c Elapsed CPU time: 2.66359 s Remaining CPU time: 1797.34 s 2.74/2.82 c core #91 2.74/2.82 c Core size: 4 Core Weight: 1 Total Weight: -409 2.74/2.82 c Elapsed CPU time: 2.69359 s Remaining CPU time: 1797.31 s 2.74/2.85 c core #92 2.74/2.85 c Core size: 4 Core Weight: 1 Total Weight: -408 2.74/2.85 c Elapsed CPU time: 2.72259 s Remaining CPU time: 1797.28 s 2.74/2.88 c core #93 2.74/2.88 c Core size: 4 Core Weight: 1 Total Weight: -407 2.74/2.88 c Elapsed CPU time: 2.75358 s Remaining CPU time: 1797.25 s 2.84/2.91 c core #94 2.84/2.91 c Core size: 4 Core Weight: 1 Total Weight: -406 2.84/2.91 c Elapsed CPU time: 2.78458 s Remaining CPU time: 1797.22 s 2.84/2.94 c core #95 2.84/2.94 c Core size: 4 Core Weight: 1 Total Weight: -405 2.84/2.94 c Elapsed CPU time: 2.81557 s Remaining CPU time: 1797.18 s 2.84/2.97 c core #96 2.84/2.97 c Core size: 4 Core Weight: 1 Total Weight: -404 2.84/2.97 c Elapsed CPU time: 2.84557 s Remaining CPU time: 1797.15 s 2.94/3.00 c core #97 2.94/3.00 c Core size: 4 Core Weight: 1 Total Weight: -403 2.94/3.00 c Elapsed CPU time: 2.87556 s Remaining CPU time: 1797.12 s 2.94/3.03 c core #98 2.94/3.03 c Core size: 4 Core Weight: 1 Total Weight: -402 2.94/3.03 c Elapsed CPU time: 2.90356 s Remaining CPU time: 1797.1 s 2.94/3.06 c core #99 2.94/3.06 c Core size: 4 Core Weight: 1 Total Weight: -401 2.94/3.06 c Elapsed CPU time: 2.93255 s Remaining CPU time: 1797.07 s 2.94/3.09 c core #100 2.94/3.09 c Core size: 4 Core Weight: 1 Total Weight: -400 2.94/3.09 c Elapsed CPU time: 2.96355 s Remaining CPU time: 1797.04 s 3.04/3.12 c core #101 3.04/3.12 c Core size: 4 Core Weight: 1 Total Weight: -399 3.04/3.12 c Elapsed CPU time: 2.99154 s Remaining CPU time: 1797.01 s 3.04/3.15 c core #102 3.04/3.15 c Core size: 4 Core Weight: 1 Total Weight: -398 3.04/3.15 c Elapsed CPU time: 3.02054 s Remaining CPU time: 1796.98 s 3.04/3.18 c core #103 3.04/3.18 c Core size: 4 Core Weight: 1 Total Weight: -397 3.04/3.18 c Elapsed CPU time: 3.04854 s Remaining CPU time: 1796.95 s 3.14/3.21 c core #104 3.14/3.21 c Core size: 4 Core Weight: 1 Total Weight: -396 3.14/3.21 c Elapsed CPU time: 3.07653 s Remaining CPU time: 1796.92 s 3.14/3.24 c core #105 3.14/3.24 c Core size: 4 Core Weight: 1 Total Weight: -395 3.14/3.24 c Elapsed CPU time: 3.10753 s Remaining CPU time: 1796.89 s 3.14/3.27 c core #106 3.14/3.27 c Core size: 4 Core Weight: 1 Total Weight: -394 3.14/3.27 c Elapsed CPU time: 3.13752 s Remaining CPU time: 1796.86 s 3.23/3.31 c core #107 3.23/3.31 c Core size: 4 Core Weight: 1 Total Weight: -393 3.23/3.31 c Elapsed CPU time: 3.16752 s Remaining CPU time: 1796.83 s 3.23/3.34 c core #108 3.23/3.34 c Core size: 4 Core Weight: 1 Total Weight: -392 3.23/3.34 c Elapsed CPU time: 3.19951 s Remaining CPU time: 1796.8 s 3.23/3.37 c core #109 3.23/3.37 c Core size: 4 Core Weight: 1 Total Weight: -391 3.23/3.37 c Elapsed CPU time: 3.22951 s Remaining CPU time: 1796.77 s 3.33/3.40 c core #110 3.33/3.40 c Core size: 4 Core Weight: 1 Total Weight: -390 3.33/3.40 c Elapsed CPU time: 3.2595 s Remaining CPU time: 1796.74 s 3.33/3.43 c core #111 3.33/3.43 c Core size: 4 Core Weight: 1 Total Weight: -389 3.33/3.43 c Elapsed CPU time: 3.2895 s Remaining CPU time: 1796.71 s 3.33/3.46 c core #112 3.33/3.46 c Core size: 4 Core Weight: 1 Total Weight: -388 3.33/3.46 c Elapsed CPU time: 3.31949 s Remaining CPU time: 1796.68 s 3.33/3.49 c core #113 3.33/3.49 c Core size: 4 Core Weight: 1 Total Weight: -387 3.33/3.49 c Elapsed CPU time: 3.35049 s Remaining CPU time: 1796.65 s 3.43/3.53 c core #114 3.43/3.53 c Core size: 4 Core Weight: 1 Total Weight: -386 3.43/3.53 c Elapsed CPU time: 3.38248 s Remaining CPU time: 1796.62 s 3.43/3.56 c core #115 3.43/3.56 c Core size: 4 Core Weight: 1 Total Weight: -385 3.43/3.56 c Elapsed CPU time: 3.41148 s Remaining CPU time: 1796.59 s 3.43/3.59 c core #116 3.43/3.59 c Core size: 4 Core Weight: 1 Total Weight: -384 3.43/3.59 c Elapsed CPU time: 3.44048 s Remaining CPU time: 1796.56 s 3.54/3.62 c core #117 3.54/3.62 c Core size: 4 Core Weight: 1 Total Weight: -383 3.54/3.62 c Elapsed CPU time: 3.47147 s Remaining CPU time: 1796.53 s 3.54/3.65 c core #118 3.54/3.65 c Core size: 4 Core Weight: 1 Total Weight: -382 3.54/3.65 c Elapsed CPU time: 3.50147 s Remaining CPU time: 1796.5 s 3.54/3.68 c core #119 3.54/3.68 c Core size: 4 Core Weight: 1 Total Weight: -381 3.54/3.68 c Elapsed CPU time: 3.53146 s Remaining CPU time: 1796.47 s 3.64/3.71 c core #120 3.64/3.71 c Core size: 4 Core Weight: 1 Total Weight: -380 3.64/3.71 c Elapsed CPU time: 3.56246 s Remaining CPU time: 1796.44 s 3.64/3.74 c core #121 3.64/3.74 c Core size: 4 Core Weight: 1 Total Weight: -379 3.64/3.74 c Elapsed CPU time: 3.59245 s Remaining CPU time: 1796.41 s 3.64/3.77 c core #122 3.64/3.77 c Core size: 4 Core Weight: 1 Total Weight: -378 3.64/3.77 c Elapsed CPU time: 3.62345 s Remaining CPU time: 1796.38 s 3.73/3.80 c core #123 3.73/3.80 c Core size: 4 Core Weight: 1 Total Weight: -377 3.73/3.80 c Elapsed CPU time: 3.65244 s Remaining CPU time: 1796.35 s 3.73/3.83 c core #124 3.73/3.83 c Core size: 4 Core Weight: 1 Total Weight: -376 3.73/3.83 c Elapsed CPU time: 3.68244 s Remaining CPU time: 1796.32 s 3.73/3.87 c core #125 3.73/3.87 c Core size: 4 Core Weight: 1 Total Weight: -375 3.73/3.87 c Elapsed CPU time: 3.71344 s Remaining CPU time: 1796.29 s 3.73/3.90 c core #126 3.73/3.90 c Core size: 4 Core Weight: 1 Total Weight: -374 3.73/3.90 c Elapsed CPU time: 3.74343 s Remaining CPU time: 1796.26 s 3.83/3.93 c core #127 3.83/3.93 c Core size: 4 Core Weight: 1 Total Weight: -373 3.83/3.93 c Elapsed CPU time: 3.77343 s Remaining CPU time: 1796.23 s 3.83/3.96 c core #128 3.83/3.96 c Core size: 4 Core Weight: 1 Total Weight: -372 3.83/3.96 c Elapsed CPU time: 3.80442 s Remaining CPU time: 1796.2 s 3.83/3.99 c core #129 3.83/3.99 c Core size: 4 Core Weight: 1 Total Weight: -371 3.83/3.99 c Elapsed CPU time: 3.83442 s Remaining CPU time: 1796.17 s 3.93/4.02 c core #130 3.93/4.02 c Core size: 4 Core Weight: 1 Total Weight: -370 3.93/4.02 c Elapsed CPU time: 3.86541 s Remaining CPU time: 1796.13 s 3.93/4.05 c core #131 3.93/4.05 c Core size: 4 Core Weight: 1 Total Weight: -369 3.93/4.05 c Elapsed CPU time: 3.89641 s Remaining CPU time: 1796.1 s 3.93/4.08 c core #132 3.93/4.08 c Core size: 4 Core Weight: 1 Total Weight: -368 3.93/4.08 c Elapsed CPU time: 3.9274 s Remaining CPU time: 1796.07 s 4.03/4.11 c core #133 4.03/4.11 c Core size: 4 Core Weight: 1 Total Weight: -367 4.03/4.11 c Elapsed CPU time: 3.9594 s Remaining CPU time: 1796.04 s 4.03/4.14 c core #134 4.03/4.14 c Core size: 4 Core Weight: 1 Total Weight: -366 4.03/4.14 c Elapsed CPU time: 3.98939 s Remaining CPU time: 1796.01 s 4.03/4.18 c core #135 4.03/4.18 c Core size: 4 Core Weight: 1 Total Weight: -365 4.03/4.18 c Elapsed CPU time: 4.02139 s Remaining CPU time: 1795.98 s 4.13/4.21 c core #136 4.13/4.21 c Core size: 4 Core Weight: 1 Total Weight: -364 4.13/4.21 c Elapsed CPU time: 4.05138 s Remaining CPU time: 1795.95 s 4.13/4.24 c core #137 4.13/4.24 c Core size: 4 Core Weight: 1 Total Weight: -363 4.13/4.24 c Elapsed CPU time: 4.08138 s Remaining CPU time: 1795.92 s 4.13/4.27 c core #138 4.13/4.27 c Core size: 4 Core Weight: 1 Total Weight: -362 4.13/4.27 c Elapsed CPU time: 4.11337 s Remaining CPU time: 1795.89 s 4.22/4.30 c core #139 4.22/4.30 c Core size: 4 Core Weight: 1 Total Weight: -361 4.22/4.30 c Elapsed CPU time: 4.14337 s Remaining CPU time: 1795.86 s 4.22/4.33 c core #140 4.22/4.33 c Core size: 4 Core Weight: 1 Total Weight: -360 4.22/4.33 c Elapsed CPU time: 4.17337 s Remaining CPU time: 1795.83 s 4.22/4.36 c core #141 4.22/4.36 c Core size: 4 Core Weight: 1 Total Weight: -359 4.22/4.36 c Elapsed CPU time: 4.20436 s Remaining CPU time: 1795.8 s 4.22/4.39 c core #142 4.22/4.39 c Core size: 4 Core Weight: 1 Total Weight: -358 4.22/4.39 c Elapsed CPU time: 4.23436 s Remaining CPU time: 1795.77 s 4.33/4.43 c core #143 4.33/4.43 c Core size: 4 Core Weight: 1 Total Weight: -357 4.33/4.43 c Elapsed CPU time: 4.26435 s Remaining CPU time: 1795.74 s 4.33/4.46 c core #144 4.33/4.46 c Core size: 4 Core Weight: 1 Total Weight: -356 4.33/4.46 c Elapsed CPU time: 4.29435 s Remaining CPU time: 1795.71 s 4.33/4.49 c core #145 4.33/4.49 c Core size: 4 Core Weight: 1 Total Weight: -355 4.33/4.49 c Elapsed CPU time: 4.32434 s Remaining CPU time: 1795.68 s 4.43/4.52 c core #146 4.43/4.52 c Core size: 4 Core Weight: 1 Total Weight: -354 4.43/4.52 c Elapsed CPU time: 4.35634 s Remaining CPU time: 1795.64 s 4.43/4.55 c core #147 4.43/4.55 c Core size: 4 Core Weight: 1 Total Weight: -353 4.43/4.55 c Elapsed CPU time: 4.38833 s Remaining CPU time: 1795.61 s 4.43/4.59 c core #148 4.43/4.59 c Core size: 4 Core Weight: 1 Total Weight: -352 4.43/4.59 c Elapsed CPU time: 4.41933 s Remaining CPU time: 1795.58 s 4.53/4.62 c core #149 4.53/4.62 c Core size: 4 Core Weight: 1 Total Weight: -351 4.53/4.62 c Elapsed CPU time: 4.45132 s Remaining CPU time: 1795.55 s 4.53/4.65 c core #150 4.53/4.65 c Core size: 4 Core Weight: 1 Total Weight: -350 4.53/4.65 c Elapsed CPU time: 4.48232 s Remaining CPU time: 1795.52 s 4.53/4.68 c core #151 4.53/4.68 c Core size: 4 Core Weight: 1 Total Weight: -349 4.53/4.68 c Elapsed CPU time: 4.51431 s Remaining CPU time: 1795.49 s 4.62/4.71 c core #152 4.62/4.71 c Core size: 4 Core Weight: 1 Total Weight: -348 4.62/4.71 c Elapsed CPU time: 4.54431 s Remaining CPU time: 1795.46 s 4.62/4.74 c core #153 4.62/4.74 c Core size: 4 Core Weight: 1 Total Weight: -347 4.62/4.74 c Elapsed CPU time: 4.5753 s Remaining CPU time: 1795.42 s 4.62/4.78 c core #154 4.62/4.78 c Core size: 4 Core Weight: 1 Total Weight: -346 4.62/4.78 c Elapsed CPU time: 4.6063 s Remaining CPU time: 1795.39 s 4.72/4.81 c core #155 4.72/4.81 c Core size: 4 Core Weight: 1 Total Weight: -345 4.72/4.81 c Elapsed CPU time: 4.63729 s Remaining CPU time: 1795.36 s 4.72/4.84 c core #156 4.72/4.84 c Core size: 4 Core Weight: 1 Total Weight: -344 4.72/4.84 c Elapsed CPU time: 4.66729 s Remaining CPU time: 1795.33 s 4.72/4.87 c core #157 4.72/4.87 c Core size: 4 Core Weight: 1 Total Weight: -343 4.72/4.87 c Elapsed CPU time: 4.69728 s Remaining CPU time: 1795.3 s 4.83/4.91 c core #158 4.83/4.91 c Core size: 4 Core Weight: 1 Total Weight: -342 4.83/4.91 c Elapsed CPU time: 4.72828 s Remaining CPU time: 1795.27 s 4.83/4.94 c core #159 4.83/4.94 c Core size: 4 Core Weight: 1 Total Weight: -341 4.83/4.94 c Elapsed CPU time: 4.76028 s Remaining CPU time: 1795.24 s 4.83/4.97 c core #160 4.83/4.97 c Core size: 4 Core Weight: 1 Total Weight: -340 4.83/4.97 c Elapsed CPU time: 4.79327 s Remaining CPU time: 1795.21 s 4.92/5.00 c core #161 4.92/5.00 c Core size: 4 Core Weight: 1 Total Weight: -339 4.92/5.00 c Elapsed CPU time: 4.82527 s Remaining CPU time: 1795.17 s 4.92/5.04 c core #162 4.92/5.04 c Core size: 4 Core Weight: 1 Total Weight: -338 4.92/5.04 c Elapsed CPU time: 4.85726 s Remaining CPU time: 1795.14 s 4.92/5.07 c core #163 4.92/5.07 c Core size: 4 Core Weight: 1 Total Weight: -337 4.92/5.07 c Elapsed CPU time: 4.88826 s Remaining CPU time: 1795.11 s 5.02/5.10 c core #164 5.02/5.10 c Core size: 4 Core Weight: 1 Total Weight: -336 5.02/5.10 c Elapsed CPU time: 4.91825 s Remaining CPU time: 1795.08 s 5.02/5.13 c core #165 5.02/5.13 c Core size: 4 Core Weight: 1 Total Weight: -335 5.02/5.13 c Elapsed CPU time: 4.95025 s Remaining CPU time: 1795.05 s 5.02/5.17 c core #166 5.02/5.17 c Core size: 4 Core Weight: 1 Total Weight: -334 5.02/5.17 c Elapsed CPU time: 4.98024 s Remaining CPU time: 1795.02 s 5.12/5.20 c core #167 5.12/5.20 c Core size: 4 Core Weight: 1 Total Weight: -333 5.12/5.20 c Elapsed CPU time: 5.01124 s Remaining CPU time: 1794.99 s 5.12/5.23 c core #168 5.12/5.23 c Core size: 4 Core Weight: 1 Total Weight: -332 5.12/5.23 c Elapsed CPU time: 5.04323 s Remaining CPU time: 1794.96 s 5.12/5.26 c core #169 5.12/5.26 c Core size: 4 Core Weight: 1 Total Weight: -331 5.12/5.26 c Elapsed CPU time: 5.07423 s Remaining CPU time: 1794.93 s 5.12/5.30 c core #170 5.12/5.30 c Core size: 4 Core Weight: 1 Total Weight: -330 5.12/5.30 c Elapsed CPU time: 5.10622 s Remaining CPU time: 1794.89 s 5.22/5.33 c core #171 5.22/5.33 c Core size: 4 Core Weight: 1 Total Weight: -329 5.22/5.33 c Elapsed CPU time: 5.13822 s Remaining CPU time: 1794.86 s 5.22/5.36 c core #172 5.22/5.36 c Core size: 4 Core Weight: 1 Total Weight: -328 5.22/5.36 c Elapsed CPU time: 5.16821 s Remaining CPU time: 1794.83 s 5.22/5.39 c core #173 5.22/5.39 c Core size: 4 Core Weight: 1 Total Weight: -327 5.22/5.39 c Elapsed CPU time: 5.20121 s Remaining CPU time: 1794.8 s 5.32/5.43 c core #174 5.32/5.43 c Core size: 4 Core Weight: 1 Total Weight: -326 5.32/5.43 c Elapsed CPU time: 5.2332 s Remaining CPU time: 1794.77 s 5.32/5.46 c core #175 5.32/5.46 c Core size: 4 Core Weight: 1 Total Weight: -325 5.32/5.46 c Elapsed CPU time: 5.2632 s Remaining CPU time: 1794.74 s 5.32/5.49 c core #176 5.32/5.49 c Core size: 4 Core Weight: 1 Total Weight: -324 5.32/5.49 c Elapsed CPU time: 5.29519 s Remaining CPU time: 1794.7 s 5.43/5.52 c core #177 5.43/5.52 c Core size: 4 Core Weight: 1 Total Weight: -323 5.43/5.52 c Elapsed CPU time: 5.32719 s Remaining CPU time: 1794.67 s 5.43/5.56 c core #178 5.43/5.56 c Core size: 4 Core Weight: 1 Total Weight: -322 5.43/5.56 c Elapsed CPU time: 5.35919 s Remaining CPU time: 1794.64 s 5.43/5.59 c core #179 5.43/5.59 c Core size: 4 Core Weight: 1 Total Weight: -321 5.43/5.59 c Elapsed CPU time: 5.39118 s Remaining CPU time: 1794.61 s 5.53/5.62 c core #180 5.53/5.62 c Core size: 4 Core Weight: 1 Total Weight: -320 5.53/5.62 c Elapsed CPU time: 5.42218 s Remaining CPU time: 1794.58 s 5.53/5.65 c core #181 5.53/5.65 c Core size: 4 Core Weight: 1 Total Weight: -319 5.53/5.65 c Elapsed CPU time: 5.45317 s Remaining CPU time: 1794.55 s 5.53/5.69 c core #182 5.53/5.69 c Core size: 4 Core Weight: 1 Total Weight: -318 5.53/5.69 c Elapsed CPU time: 5.48616 s Remaining CPU time: 1794.51 s 5.62/5.72 c core #183 5.62/5.72 c Core size: 4 Core Weight: 1 Total Weight: -317 5.62/5.72 c Elapsed CPU time: 5.51816 s Remaining CPU time: 1794.48 s 5.62/5.75 c core #184 5.62/5.75 c Core size: 4 Core Weight: 1 Total Weight: -316 5.62/5.75 c Elapsed CPU time: 5.54916 s Remaining CPU time: 1794.45 s 5.62/5.78 c core #185 5.62/5.78 c Core size: 4 Core Weight: 1 Total Weight: -315 5.62/5.78 c Elapsed CPU time: 5.58015 s Remaining CPU time: 1794.42 s 5.72/5.82 c core #186 5.72/5.82 c Core size: 4 Core Weight: 1 Total Weight: -314 5.72/5.82 c Elapsed CPU time: 5.61215 s Remaining CPU time: 1794.39 s 5.72/5.85 c core #187 5.72/5.85 c Core size: 4 Core Weight: 1 Total Weight: -313 5.72/5.85 c Elapsed CPU time: 5.64314 s Remaining CPU time: 1794.36 s 5.72/5.88 c core #188 5.72/5.88 c Core size: 4 Core Weight: 1 Total Weight: -312 5.72/5.88 c Elapsed CPU time: 5.67514 s Remaining CPU time: 1794.32 s 5.82/5.92 c core #189 5.82/5.92 c Core size: 4 Core Weight: 1 Total Weight: -311 5.82/5.92 c Elapsed CPU time: 5.70713 s Remaining CPU time: 1794.29 s 5.82/5.95 c core #190 5.82/5.95 c Core size: 4 Core Weight: 1 Total Weight: -310 5.82/5.95 c Elapsed CPU time: 5.73813 s Remaining CPU time: 1794.26 s 5.82/5.98 c core #191 5.82/5.98 c Core size: 4 Core Weight: 1 Total Weight: -309 5.82/5.98 c Elapsed CPU time: 5.77012 s Remaining CPU time: 1794.23 s 5.92/6.01 c core #192 5.92/6.01 c Core size: 4 Core Weight: 1 Total Weight: -308 5.92/6.01 c Elapsed CPU time: 5.80112 s Remaining CPU time: 1794.2 s 5.92/6.05 c core #193 5.92/6.05 c Core size: 4 Core Weight: 1 Total Weight: -307 5.92/6.05 c Elapsed CPU time: 5.83311 s Remaining CPU time: 1794.17 s 5.92/6.08 c core #194 5.92/6.08 c Core size: 4 Core Weight: 1 Total Weight: -306 5.92/6.08 c Elapsed CPU time: 5.86611 s Remaining CPU time: 1794.13 s 6.02/6.11 c core #195 6.02/6.11 c Core size: 4 Core Weight: 1 Total Weight: -305 6.02/6.11 c Elapsed CPU time: 5.8991 s Remaining CPU time: 1794.1 s 6.02/6.14 c core #196 6.02/6.14 c Core size: 4 Core Weight: 1 Total Weight: -304 6.02/6.14 c Elapsed CPU time: 5.9311 s Remaining CPU time: 1794.07 s 6.02/6.18 c core #197 6.02/6.18 c Core size: 4 Core Weight: 1 Total Weight: -303 6.02/6.18 c Elapsed CPU time: 5.96509 s Remaining CPU time: 1794.03 s 6.12/6.21 c core #198 6.12/6.21 c Core size: 4 Core Weight: 1 Total Weight: -302 6.12/6.21 c Elapsed CPU time: 5.99809 s Remaining CPU time: 1794 s 6.12/6.24 c core #199 6.12/6.24 c Core size: 4 Core Weight: 1 Total Weight: -301 6.12/6.24 c Elapsed CPU time: 6.02708 s Remaining CPU time: 1793.97 s 6.12/6.28 c core #200 6.12/6.28 c Core size: 4 Core Weight: 1 Total Weight: -300 6.12/6.28 c Elapsed CPU time: 6.06108 s Remaining CPU time: 1793.94 s 6.21/6.31 c core #201 6.21/6.31 c Core size: 4 Core Weight: 1 Total Weight: -299 6.21/6.31 c Elapsed CPU time: 6.09407 s Remaining CPU time: 1793.91 s 6.21/6.35 c core #202 6.21/6.35 c Core size: 4 Core Weight: 1 Total Weight: -298 6.21/6.35 c Elapsed CPU time: 6.12707 s Remaining CPU time: 1793.87 s 6.21/6.38 c core #203 6.21/6.38 c Core size: 4 Core Weight: 1 Total Weight: -297 6.21/6.38 c Elapsed CPU time: 6.16106 s Remaining CPU time: 1793.84 s 6.32/6.41 c core #204 6.32/6.41 c Core size: 4 Core Weight: 1 Total Weight: -296 6.32/6.41 c Elapsed CPU time: 6.19006 s Remaining CPU time: 1793.81 s 6.32/6.45 c core #205 6.32/6.45 c Core size: 4 Core Weight: 1 Total Weight: -295 6.32/6.45 c Elapsed CPU time: 6.22305 s Remaining CPU time: 1793.78 s 6.32/6.48 c core #206 6.32/6.48 c Core size: 4 Core Weight: 1 Total Weight: -294 6.32/6.48 c Elapsed CPU time: 6.25605 s Remaining CPU time: 1793.74 s 6.42/6.52 c core #207 6.42/6.52 c Core size: 4 Core Weight: 1 Total Weight: -293 6.42/6.52 c Elapsed CPU time: 6.28604 s Remaining CPU time: 1793.71 s 6.42/6.55 c core #208 6.42/6.55 c Core size: 4 Core Weight: 1 Total Weight: -292 6.42/6.55 c Elapsed CPU time: 6.31804 s Remaining CPU time: 1793.68 s 6.42/6.58 c core #209 6.42/6.58 c Core size: 4 Core Weight: 1 Total Weight: -291 6.42/6.58 c Elapsed CPU time: 6.34903 s Remaining CPU time: 1793.65 s 6.52/6.62 c core #210 6.52/6.62 c Core size: 4 Core Weight: 1 Total Weight: -290 6.52/6.62 c Elapsed CPU time: 6.38203 s Remaining CPU time: 1793.62 s 6.52/6.65 c core #211 6.52/6.65 c Core size: 4 Core Weight: 1 Total Weight: -289 6.52/6.65 c Elapsed CPU time: 6.41502 s Remaining CPU time: 1793.58 s 6.52/6.68 c core #212 6.52/6.68 c Core size: 4 Core Weight: 1 Total Weight: -288 6.52/6.68 c Elapsed CPU time: 6.44802 s Remaining CPU time: 1793.55 s 6.62/6.72 c core #213 6.62/6.72 c Core size: 4 Core Weight: 1 Total Weight: -287 6.62/6.72 c Elapsed CPU time: 6.48001 s Remaining CPU time: 1793.52 s 6.62/6.75 c core #214 6.62/6.75 c Core size: 4 Core Weight: 1 Total Weight: -286 6.62/6.75 c Elapsed CPU time: 6.51301 s Remaining CPU time: 1793.49 s 6.62/6.78 c core #215 6.62/6.78 c Core size: 4 Core Weight: 1 Total Weight: -285 6.62/6.78 c Elapsed CPU time: 6.545 s Remaining CPU time: 1793.45 s 6.72/6.81 c core #216 6.72/6.81 c Core size: 4 Core Weight: 1 Total Weight: -284 6.72/6.81 c Elapsed CPU time: 6.577 s Remaining CPU time: 1793.42 s 6.72/6.85 c core #217 6.72/6.85 c Core size: 4 Core Weight: 1 Total Weight: -283 6.72/6.85 c Elapsed CPU time: 6.609 s Remaining CPU time: 1793.39 s 6.72/6.88 c core #218 6.72/6.88 c Core size: 4 Core Weight: 1 Total Weight: -282 6.72/6.88 c Elapsed CPU time: 6.64199 s Remaining CPU time: 1793.36 s 6.81/6.92 c core #219 6.81/6.92 c Core size: 4 Core Weight: 1 Total Weight: -281 6.81/6.92 c Elapsed CPU time: 6.67598 s Remaining CPU time: 1793.32 s 6.81/6.95 c core #220 6.81/6.95 c Core size: 4 Core Weight: 1 Total Weight: -280 6.81/6.95 c Elapsed CPU time: 6.70998 s Remaining CPU time: 1793.29 s 6.81/6.98 c core #221 6.81/6.98 c Core size: 4 Core Weight: 1 Total Weight: -279 6.81/6.98 c Elapsed CPU time: 6.74198 s Remaining CPU time: 1793.26 s 6.92/7.02 c core #222 6.92/7.02 c Core size: 4 Core Weight: 1 Total Weight: -278 6.92/7.02 c Elapsed CPU time: 6.77497 s Remaining CPU time: 1793.23 s 6.92/7.05 c core #223 6.92/7.05 c Core size: 4 Core Weight: 1 Total Weight: -277 6.92/7.05 c Elapsed CPU time: 6.80696 s Remaining CPU time: 1793.19 s 6.92/7.08 c core #224 6.92/7.08 c Core size: 4 Core Weight: 1 Total Weight: -276 6.92/7.08 c Elapsed CPU time: 6.83996 s Remaining CPU time: 1793.16 s 7.02/7.12 c core #225 7.02/7.12 c Core size: 4 Core Weight: 1 Total Weight: -275 7.02/7.12 c Elapsed CPU time: 6.87096 s Remaining CPU time: 1793.13 s 7.02/7.15 c core #226 7.02/7.15 c Core size: 4 Core Weight: 1 Total Weight: -274 7.02/7.15 c Elapsed CPU time: 6.90395 s Remaining CPU time: 1793.1 s 7.02/7.18 c core #227 7.02/7.18 c Core size: 4 Core Weight: 1 Total Weight: -273 7.02/7.18 c Elapsed CPU time: 6.93595 s Remaining CPU time: 1793.06 s 7.11/7.22 c core #228 7.11/7.22 c Core size: 4 Core Weight: 1 Total Weight: -272 7.11/7.22 c Elapsed CPU time: 6.96794 s Remaining CPU time: 1793.03 s 7.11/7.25 c core #229 7.11/7.25 c Core size: 4 Core Weight: 1 Total Weight: -271 7.11/7.25 c Elapsed CPU time: 6.99894 s Remaining CPU time: 1793 s 7.11/7.29 c core #230 7.11/7.29 c Core size: 4 Core Weight: 1 Total Weight: -270 7.11/7.29 c Elapsed CPU time: 7.03093 s Remaining CPU time: 1792.97 s 7.21/7.32 c core #231 7.21/7.32 c Core size: 4 Core Weight: 1 Total Weight: -269 7.21/7.32 c Elapsed CPU time: 7.06293 s Remaining CPU time: 1792.94 s 7.21/7.36 c core #232 7.21/7.36 c Core size: 4 Core Weight: 1 Total Weight: -268 7.21/7.36 c Elapsed CPU time: 7.09392 s Remaining CPU time: 1792.91 s 7.21/7.39 c core #233 7.21/7.39 c Core size: 4 Core Weight: 1 Total Weight: -267 7.21/7.39 c Elapsed CPU time: 7.12692 s Remaining CPU time: 1792.87 s 7.31/7.43 c core #234 7.31/7.43 c Core size: 4 Core Weight: 1 Total Weight: -266 7.31/7.43 c Elapsed CPU time: 7.16091 s Remaining CPU time: 1792.84 s 7.31/7.46 c core #235 7.31/7.46 c Core size: 4 Core Weight: 1 Total Weight: -265 7.31/7.46 c Elapsed CPU time: 7.19391 s Remaining CPU time: 1792.81 s 7.31/7.49 c core #236 7.31/7.49 c Core size: 4 Core Weight: 1 Total Weight: -264 7.31/7.49 c Elapsed CPU time: 7.2259 s Remaining CPU time: 1792.77 s 7.41/7.53 c core #237 7.41/7.53 c Core size: 4 Core Weight: 1 Total Weight: -263 7.41/7.53 c Elapsed CPU time: 7.2559 s Remaining CPU time: 1792.74 s 7.41/7.56 c core #238 7.41/7.56 c Core size: 4 Core Weight: 1 Total Weight: -262 7.41/7.56 c Elapsed CPU time: 7.28889 s Remaining CPU time: 1792.71 s 7.41/7.59 c core #239 7.41/7.59 c Core size: 4 Core Weight: 1 Total Weight: -261 7.41/7.59 c Elapsed CPU time: 7.32189 s Remaining CPU time: 1792.68 s 7.51/7.63 c core #240 7.51/7.63 c Core size: 4 Core Weight: 1 Total Weight: -260 7.51/7.63 c Elapsed CPU time: 7.35488 s Remaining CPU time: 1792.65 s 7.51/7.66 c core #241 7.51/7.66 c Core size: 9 Core Weight: 1 Total Weight: -259 7.51/7.66 c Elapsed CPU time: 7.38688 s Remaining CPU time: 1792.61 s 7.51/7.69 c core #242 7.51/7.69 c Core size: 9 Core Weight: 1 Total Weight: -258 7.51/7.69 c Elapsed CPU time: 7.41787 s Remaining CPU time: 1792.58 s 7.62/7.73 c core #243 7.62/7.73 c Core size: 8 Core Weight: 1 Total Weight: -257 7.62/7.73 c Elapsed CPU time: 7.44887 s Remaining CPU time: 1792.55 s 7.62/7.76 c core #244 7.62/7.76 c Core size: 9 Core Weight: 1 Total Weight: -256 7.62/7.76 c Elapsed CPU time: 7.48186 s Remaining CPU time: 1792.52 s 7.62/7.79 c core #245 7.62/7.79 c Core size: 9 Core Weight: 1 Total Weight: -255 7.62/7.79 c Elapsed CPU time: 7.51486 s Remaining CPU time: 1792.49 s 7.72/7.83 c core #246 7.72/7.83 c Core size: 14 Core Weight: 1 Total Weight: -254 7.72/7.83 c Elapsed CPU time: 7.54685 s Remaining CPU time: 1792.45 s 7.72/7.86 c core #247 7.72/7.86 c Core size: 9 Core Weight: 1 Total Weight: -253 7.72/7.86 c Elapsed CPU time: 7.57985 s Remaining CPU time: 1792.42 s 7.81/7.90 c core #248 7.81/7.90 c Core size: 18 Core Weight: 1 Total Weight: -252 7.81/7.90 c Elapsed CPU time: 7.61484 s Remaining CPU time: 1792.39 s 7.81/7.93 c core #249 7.81/7.93 c Core size: 9 Core Weight: 1 Total Weight: -251 7.81/7.93 c Elapsed CPU time: 7.64684 s Remaining CPU time: 1792.35 s 7.81/7.97 c core #250 7.81/7.97 c Core size: 8 Core Weight: 1 Total Weight: -250 7.81/7.97 c Elapsed CPU time: 7.68183 s Remaining CPU time: 1792.32 s 7.90/8.00 c core #251 7.90/8.00 c Core size: 13 Core Weight: 1 Total Weight: -249 7.90/8.00 c Elapsed CPU time: 7.71483 s Remaining CPU time: 1792.29 s 7.90/8.04 c core #252 7.90/8.04 c Core size: 17 Core Weight: 1 Total Weight: -248 7.90/8.04 c Elapsed CPU time: 7.74982 s Remaining CPU time: 1792.25 s 7.90/8.07 c core #253 7.90/8.07 c Core size: 33 Core Weight: 1 Total Weight: -247 7.90/8.07 c Elapsed CPU time: 7.78382 s Remaining CPU time: 1792.22 s 8.01/8.10 c ============================[ Search Statistics ]============================== 8.01/8.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.01/8.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.01/8.10 c =============================================================================== 8.01/8.10 c | 0 | 1048 17507 40231 | 5835 0 nan | 0.000 % | 8.01/8.10 c =============================================================================== 8.01/8.11 c core #254 8.01/8.11 c Core size: 16 Core Weight: 1 Total Weight: -246 8.01/8.11 c Elapsed CPU time: 7.81581 s Remaining CPU time: 1792.18 s 8.01/8.14 c ============================[ Search Statistics ]============================== 8.01/8.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.01/8.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.01/8.14 c =============================================================================== 8.01/8.14 c | 0 | 1054 17508 40243 | 5836 0 nan | 0.000 % | 8.01/8.14 c =============================================================================== 8.01/8.14 c core #255 8.01/8.14 c Core size: 16 Core Weight: 1 Total Weight: -245 8.01/8.14 c Elapsed CPU time: 7.84981 s Remaining CPU time: 1792.15 s 8.01/8.17 c ============================[ Search Statistics ]============================== 8.01/8.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.01/8.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.01/8.17 c =============================================================================== 8.01/8.17 c | 0 | 1060 17509 40255 | 5836 0 nan | 0.000 % | 8.01/8.17 c =============================================================================== 8.01/8.18 c core #256 8.01/8.18 c Core size: 15 Core Weight: 1 Total Weight: -244 8.01/8.18 c Elapsed CPU time: 7.8848 s Remaining CPU time: 1792.12 s 8.11/8.21 c ============================[ Search Statistics ]============================== 8.11/8.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.11/8.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.11/8.21 c =============================================================================== 8.11/8.21 c | 0 | 1066 17510 40267 | 5836 0 nan | 0.000 % | 8.11/8.21 c =============================================================================== 8.11/8.21 c core #257 8.11/8.21 c Core size: 22 Core Weight: 1 Total Weight: -243 8.11/8.21 c Elapsed CPU time: 7.9178 s Remaining CPU time: 1792.08 s 8.11/8.24 c ============================[ Search Statistics ]============================== 8.11/8.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.11/8.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.11/8.24 c =============================================================================== 8.11/8.24 c | 0 | 1074 17511 40283 | 5837 0 nan | 0.000 % | 8.11/8.25 c =============================================================================== 8.11/8.25 c core #258 8.11/8.25 c Core size: 17 Core Weight: 1 Total Weight: -242 8.11/8.25 c Elapsed CPU time: 7.95279 s Remaining CPU time: 1792.05 s 8.11/8.28 c ============================[ Search Statistics ]============================== 8.11/8.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.11/8.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.11/8.28 c =============================================================================== 8.11/8.28 c | 0 | 1080 17512 40295 | 5837 0 nan | 0.000 % | 8.11/8.28 c =============================================================================== 8.11/8.28 c core #259 8.11/8.28 c Core size: 17 Core Weight: 1 Total Weight: -241 8.11/8.28 c Elapsed CPU time: 7.98879 s Remaining CPU time: 1792.01 s 8.21/8.32 c ============================[ Search Statistics ]============================== 8.21/8.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.21/8.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.21/8.32 c =============================================================================== 8.21/8.32 c | 0 | 1086 17513 40307 | 5837 0 nan | 0.000 % | 8.21/8.32 c =============================================================================== 8.21/8.32 c core #260 8.21/8.32 c Core size: 16 Core Weight: 1 Total Weight: -240 8.21/8.32 c Elapsed CPU time: 8.02378 s Remaining CPU time: 1791.98 s 8.21/8.35 c ============================[ Search Statistics ]============================== 8.21/8.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.21/8.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.21/8.35 c =============================================================================== 8.21/8.35 c | 0 | 1092 17514 40319 | 5838 0 nan | 0.000 % | 8.21/8.36 c =============================================================================== 8.21/8.36 c core #261 8.21/8.36 c Core size: 15 Core Weight: 1 Total Weight: -239 8.21/8.36 c Elapsed CPU time: 8.05777 s Remaining CPU time: 1791.94 s 8.21/8.39 c ============================[ Search Statistics ]============================== 8.21/8.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.21/8.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.21/8.39 c =============================================================================== 8.21/8.39 c | 0 | 1098 17515 40331 | 5838 0 nan | 0.000 % | 8.21/8.39 c =============================================================================== 8.21/8.39 c core #262 8.21/8.39 c Core size: 15 Core Weight: 1 Total Weight: -238 8.21/8.39 c Elapsed CPU time: 8.09277 s Remaining CPU time: 1791.91 s 8.30/8.42 c ============================[ Search Statistics ]============================== 8.30/8.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.30/8.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.30/8.42 c =============================================================================== 8.30/8.42 c | 0 | 1104 17516 40343 | 5838 0 nan | 0.000 % | 8.30/8.43 c =============================================================================== 8.30/8.43 c core #263 8.30/8.43 c Core size: 21 Core Weight: 1 Total Weight: -237 8.30/8.43 c Elapsed CPU time: 8.12676 s Remaining CPU time: 1791.87 s 8.30/8.46 c ============================[ Search Statistics ]============================== 8.30/8.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.30/8.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.30/8.46 c =============================================================================== 8.30/8.46 c | 0 | 1112 17517 40359 | 5839 0 nan | 0.000 % | 8.30/8.46 c =============================================================================== 8.30/8.46 c core #264 8.30/8.46 c Core size: 22 Core Weight: 1 Total Weight: -236 8.30/8.46 c Elapsed CPU time: 8.15876 s Remaining CPU time: 1791.84 s 8.30/8.49 c ============================[ Search Statistics ]============================== 8.30/8.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.30/8.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.30/8.49 c =============================================================================== 8.30/8.49 c | 0 | 1120 17518 40375 | 5839 0 nan | 0.000 % | 8.41/8.50 c =============================================================================== 8.41/8.50 c core #265 8.41/8.50 c Core size: 22 Core Weight: 1 Total Weight: -235 8.41/8.50 c Elapsed CPU time: 8.19275 s Remaining CPU time: 1791.81 s 8.41/8.53 c ============================[ Search Statistics ]============================== 8.41/8.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.41/8.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.41/8.53 c =============================================================================== 8.41/8.53 c | 0 | 1128 17519 40391 | 5839 0 nan | 0.000 % | 8.41/8.53 c =============================================================================== 8.41/8.53 c core #266 8.41/8.53 c Core size: 22 Core Weight: 1 Total Weight: -234 8.41/8.53 c Elapsed CPU time: 8.22775 s Remaining CPU time: 1791.77 s 8.41/8.57 c ============================[ Search Statistics ]============================== 8.41/8.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.41/8.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.41/8.57 c =============================================================================== 8.41/8.57 c | 0 | 1136 17520 40407 | 5840 0 nan | 0.000 % | 8.41/8.57 c =============================================================================== 8.41/8.57 c core #267 8.41/8.57 c Core size: 20 Core Weight: 1 Total Weight: -233 8.41/8.57 c Elapsed CPU time: 8.26274 s Remaining CPU time: 1791.74 s 8.50/8.60 c ============================[ Search Statistics ]============================== 8.50/8.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.50/8.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.50/8.60 c =============================================================================== 8.50/8.60 c | 0 | 1144 17521 40423 | 5840 0 nan | 0.000 % | 8.50/8.60 c =============================================================================== 8.50/8.60 c core #268 8.50/8.60 c Core size: 15 Core Weight: 1 Total Weight: -232 8.50/8.60 c Elapsed CPU time: 8.29674 s Remaining CPU time: 1791.7 s 8.50/8.64 c ============================[ Search Statistics ]============================== 8.50/8.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.50/8.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.50/8.64 c =============================================================================== 8.50/8.64 c | 0 | 1150 17522 40435 | 5840 0 nan | 0.000 % | 8.50/8.64 c =============================================================================== 8.50/8.64 c core #269 8.50/8.64 c Core size: 22 Core Weight: 1 Total Weight: -231 8.50/8.64 c Elapsed CPU time: 8.33073 s Remaining CPU time: 1791.67 s 8.50/8.67 c ============================[ Search Statistics ]============================== 8.50/8.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.50/8.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.50/8.67 c =============================================================================== 8.50/8.67 c | 0 | 1158 17523 40451 | 5841 0 nan | 0.000 % | 8.50/8.68 c =============================================================================== 8.50/8.68 c core #270 8.50/8.68 c Core size: 22 Core Weight: 1 Total Weight: -230 8.50/8.68 c Elapsed CPU time: 8.36573 s Remaining CPU time: 1791.63 s 8.60/8.71 c ============================[ Search Statistics ]============================== 8.60/8.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.60/8.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.60/8.71 c =============================================================================== 8.60/8.71 c | 0 | 1166 17524 40467 | 5841 0 nan | 0.000 % | 8.60/8.71 c =============================================================================== 8.60/8.71 c core #271 8.60/8.71 c Core size: 26 Core Weight: 1 Total Weight: -229 8.60/8.71 c Elapsed CPU time: 8.39872 s Remaining CPU time: 1791.6 s 8.60/8.74 c ============================[ Search Statistics ]============================== 8.60/8.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.60/8.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.60/8.74 c =============================================================================== 8.60/8.74 c | 0 | 1176 17525 40487 | 5841 0 nan | 0.000 % | 8.60/8.75 c =============================================================================== 8.60/8.75 c core #272 8.60/8.75 c Core size: 21 Core Weight: 1 Total Weight: -228 8.60/8.75 c Elapsed CPU time: 8.43272 s Remaining CPU time: 1791.57 s 8.60/8.78 c ============================[ Search Statistics ]============================== 8.60/8.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.60/8.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.60/8.78 c =============================================================================== 8.60/8.78 c | 0 | 1184 17526 40503 | 5842 0 nan | 0.000 % | 8.60/8.78 c =============================================================================== 8.60/8.78 c core #273 8.60/8.78 c Core size: 21 Core Weight: 1 Total Weight: -227 8.60/8.78 c Elapsed CPU time: 8.46471 s Remaining CPU time: 1791.54 s 8.71/8.81 c ============================[ Search Statistics ]============================== 8.71/8.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.71/8.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.71/8.81 c =============================================================================== 8.71/8.81 c | 0 | 1192 17527 40519 | 5842 0 nan | 0.000 % | 8.71/8.82 c =============================================================================== 8.71/8.82 c core #274 8.71/8.82 c Core size: 21 Core Weight: 1 Total Weight: -226 8.71/8.82 c Elapsed CPU time: 8.49971 s Remaining CPU time: 1791.5 s 8.71/8.85 c ============================[ Search Statistics ]============================== 8.71/8.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.71/8.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.71/8.85 c =============================================================================== 8.71/8.85 c | 0 | 1200 17528 40535 | 5842 0 nan | 0.000 % | 8.71/8.85 c =============================================================================== 8.71/8.85 c core #275 8.71/8.85 c Core size: 21 Core Weight: 1 Total Weight: -225 8.71/8.85 c Elapsed CPU time: 8.5307 s Remaining CPU time: 1791.47 s 8.71/8.88 c ============================[ Search Statistics ]============================== 8.71/8.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.71/8.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.71/8.88 c =============================================================================== 8.71/8.88 c | 0 | 1208 17529 40551 | 5843 0 nan | 0.000 % | 8.71/8.89 c =============================================================================== 8.71/8.89 c core #276 8.71/8.89 c Core size: 21 Core Weight: 1 Total Weight: -224 8.71/8.89 c Elapsed CPU time: 8.5637 s Remaining CPU time: 1791.44 s 8.80/8.92 c ============================[ Search Statistics ]============================== 8.80/8.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.80/8.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.80/8.92 c =============================================================================== 8.80/8.92 c | 0 | 1216 17530 40567 | 5843 0 nan | 0.000 % | 8.80/8.92 c =============================================================================== 8.80/8.92 c core #277 8.80/8.92 c Core size: 27 Core Weight: 1 Total Weight: -223 8.80/8.92 c Elapsed CPU time: 8.59669 s Remaining CPU time: 1791.4 s 8.80/8.95 c ============================[ Search Statistics ]============================== 8.80/8.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.80/8.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.80/8.96 c =============================================================================== 8.80/8.96 c | 0 | 1226 17531 40587 | 5843 0 nan | 0.000 % | 8.80/8.96 c =============================================================================== 8.80/8.96 c core #278 8.80/8.96 c Core size: 22 Core Weight: 1 Total Weight: -222 8.80/8.96 c Elapsed CPU time: 8.63069 s Remaining CPU time: 1791.37 s 8.80/8.99 c ============================[ Search Statistics ]============================== 8.80/8.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.80/8.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.80/8.99 c =============================================================================== 8.80/8.99 c | 0 | 1234 17532 40603 | 5844 0 nan | 0.000 % | 8.80/8.99 c =============================================================================== 8.80/8.99 c core #279 8.80/8.99 c Core size: 21 Core Weight: 1 Total Weight: -221 8.80/8.99 c Elapsed CPU time: 8.66468 s Remaining CPU time: 1791.34 s 8.89/9.03 c ============================[ Search Statistics ]============================== 8.89/9.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.89/9.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.89/9.03 c =============================================================================== 8.89/9.03 c | 0 | 1242 17533 40619 | 5844 0 nan | 0.000 % | 8.89/9.03 c =============================================================================== 8.89/9.03 c core #280 8.89/9.03 c Core size: 22 Core Weight: 1 Total Weight: -220 8.89/9.03 c Elapsed CPU time: 8.69868 s Remaining CPU time: 1791.3 s 8.89/9.06 c ============================[ Search Statistics ]============================== 8.89/9.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.89/9.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.89/9.06 c =============================================================================== 8.89/9.06 c | 0 | 1250 17534 40635 | 5844 0 nan | 0.000 % | 8.89/9.07 c =============================================================================== 8.89/9.07 c core #281 8.89/9.07 c Core size: 21 Core Weight: 1 Total Weight: -219 8.89/9.07 c Elapsed CPU time: 8.73267 s Remaining CPU time: 1791.27 s 9.00/9.10 c ============================[ Search Statistics ]============================== 9.00/9.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.00/9.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.00/9.10 c =============================================================================== 9.00/9.10 c | 0 | 1258 17535 40651 | 5845 0 nan | 0.000 % | 9.00/9.10 c =============================================================================== 9.00/9.10 c core #282 9.00/9.10 c Core size: 27 Core Weight: 1 Total Weight: -218 9.00/9.10 c Elapsed CPU time: 8.76667 s Remaining CPU time: 1791.23 s 9.00/9.13 c ============================[ Search Statistics ]============================== 9.00/9.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.00/9.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.00/9.13 c =============================================================================== 9.00/9.13 c | 0 | 1268 17536 40671 | 5845 0 nan | 0.000 % | 9.00/9.14 c =============================================================================== 9.00/9.14 c core #283 9.00/9.14 c Core size: 25 Core Weight: 1 Total Weight: -217 9.00/9.14 c Elapsed CPU time: 8.80066 s Remaining CPU time: 1791.2 s 9.00/9.17 c ============================[ Search Statistics ]============================== 9.00/9.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.00/9.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.00/9.17 c =============================================================================== 9.00/9.17 c | 0 | 1278 17537 40691 | 5845 0 nan | 0.000 % | 9.00/9.17 c =============================================================================== 9.00/9.17 c core #284 9.00/9.17 c Core size: 27 Core Weight: 1 Total Weight: -216 9.00/9.17 c Elapsed CPU time: 8.83466 s Remaining CPU time: 1791.17 s 9.09/9.21 c ============================[ Search Statistics ]============================== 9.09/9.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.09/9.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.09/9.21 c =============================================================================== 9.09/9.21 c | 0 | 1288 17538 40711 | 5846 0 nan | 0.000 % | 9.09/9.21 c =============================================================================== 9.09/9.21 c core #285 9.09/9.21 c Core size: 16 Core Weight: 1 Total Weight: -215 9.09/9.21 c Elapsed CPU time: 8.86865 s Remaining CPU time: 1791.13 s 9.09/9.24 c ============================[ Search Statistics ]============================== 9.09/9.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.09/9.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.09/9.24 c =============================================================================== 9.09/9.24 c | 0 | 1294 17539 40723 | 5846 0 nan | 0.000 % | 9.09/9.24 c =============================================================================== 9.09/9.24 c core #286 9.09/9.24 c Core size: 22 Core Weight: 1 Total Weight: -214 9.09/9.24 c Elapsed CPU time: 8.90265 s Remaining CPU time: 1791.1 s 9.09/9.28 c ============================[ Search Statistics ]============================== 9.09/9.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.09/9.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.09/9.28 c =============================================================================== 9.09/9.28 c | 0 | 1302 17540 40739 | 5846 0 nan | 0.000 % | 9.09/9.28 c =============================================================================== 9.09/9.28 c core #287 9.09/9.28 c Core size: 27 Core Weight: 1 Total Weight: -213 9.09/9.28 c Elapsed CPU time: 8.93764 s Remaining CPU time: 1791.06 s 9.19/9.31 c ============================[ Search Statistics ]============================== 9.19/9.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.19/9.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.19/9.31 c =============================================================================== 9.19/9.31 c | 0 | 1312 17541 40759 | 5847 0 nan | 0.000 % | 9.19/9.32 c =============================================================================== 9.19/9.32 c core #288 9.19/9.32 c Core size: 30 Core Weight: 1 Total Weight: -212 9.19/9.32 c Elapsed CPU time: 8.97363 s Remaining CPU time: 1791.03 s 9.19/9.35 c ============================[ Search Statistics ]============================== 9.19/9.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.19/9.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.19/9.35 c =============================================================================== 9.19/9.35 c | 0 | 1324 17542 40783 | 5847 0 nan | 0.000 % | 9.19/9.35 c =============================================================================== 9.19/9.35 c core #289 9.19/9.35 c Core size: 21 Core Weight: 1 Total Weight: -211 9.19/9.35 c Elapsed CPU time: 9.00863 s Remaining CPU time: 1790.99 s 9.19/9.39 c ============================[ Search Statistics ]============================== 9.19/9.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.19/9.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.19/9.39 c =============================================================================== 9.19/9.39 c | 0 | 1332 17543 40799 | 5847 0 nan | 0.000 % | 9.19/9.39 c =============================================================================== 9.19/9.39 c core #290 9.19/9.39 c Core size: 27 Core Weight: 1 Total Weight: -210 9.19/9.39 c Elapsed CPU time: 9.04162 s Remaining CPU time: 1790.96 s 9.29/9.42 c ============================[ Search Statistics ]============================== 9.29/9.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.29/9.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.29/9.42 c =============================================================================== 9.29/9.42 c | 0 | 1342 17544 40819 | 5848 0 nan | 0.000 % | 9.29/9.43 c =============================================================================== 9.29/9.43 c core #291 9.29/9.43 c Core size: 21 Core Weight: 1 Total Weight: -209 9.29/9.43 c Elapsed CPU time: 9.07562 s Remaining CPU time: 1790.92 s 9.29/9.46 c ============================[ Search Statistics ]============================== 9.29/9.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.29/9.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.29/9.46 c =============================================================================== 9.29/9.46 c | 0 | 1350 17545 40835 | 5848 0 nan | 0.000 % | 9.29/9.46 c =============================================================================== 9.29/9.46 c core #292 9.29/9.46 c Core size: 20 Core Weight: 1 Total Weight: -208 9.29/9.46 c Elapsed CPU time: 9.11161 s Remaining CPU time: 1790.89 s 9.29/9.49 c ============================[ Search Statistics ]============================== 9.29/9.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.29/9.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.29/9.49 c =============================================================================== 9.29/9.49 c | 0 | 1358 17546 40851 | 5848 0 nan | 0.000 % | 9.39/9.50 c =============================================================================== 9.39/9.50 c core #293 9.39/9.50 c Core size: 27 Core Weight: 1 Total Weight: -207 9.39/9.50 c Elapsed CPU time: 9.14561 s Remaining CPU time: 1790.85 s 9.39/9.53 c ============================[ Search Statistics ]============================== 9.39/9.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.39/9.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.39/9.53 c =============================================================================== 9.39/9.53 c | 0 | 1368 17547 40871 | 5849 0 nan | 0.000 % | 9.39/9.53 c =============================================================================== 9.39/9.53 c core #294 9.39/9.53 c Core size: 20 Core Weight: 1 Total Weight: -206 9.39/9.53 c Elapsed CPU time: 9.1796 s Remaining CPU time: 1790.82 s 9.39/9.57 c ============================[ Search Statistics ]============================== 9.39/9.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.39/9.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.39/9.57 c =============================================================================== 9.39/9.57 c | 0 | 1376 17548 40887 | 5849 0 nan | 0.000 % | 9.39/9.57 c =============================================================================== 9.39/9.57 c core #295 9.39/9.57 c Core size: 32 Core Weight: 1 Total Weight: -205 9.39/9.57 c Elapsed CPU time: 9.2146 s Remaining CPU time: 1790.79 s 9.48/9.60 c ============================[ Search Statistics ]============================== 9.48/9.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.48/9.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.48/9.60 c =============================================================================== 9.48/9.60 c | 0 | 1388 17549 40911 | 5849 0 nan | 0.000 % | 9.48/9.61 c =============================================================================== 9.48/9.61 c core #296 9.48/9.61 c Core size: 25 Core Weight: 1 Total Weight: -204 9.48/9.61 c Elapsed CPU time: 9.24759 s Remaining CPU time: 1790.75 s 9.48/9.64 c ============================[ Search Statistics ]============================== 9.48/9.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.48/9.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.48/9.64 c =============================================================================== 9.48/9.64 c | 0 | 1398 17550 40931 | 5850 0 nan | 0.000 % | 9.48/9.64 c =============================================================================== 9.48/9.64 c core #297 9.48/9.64 c Core size: 34 Core Weight: 1 Total Weight: -203 9.48/9.64 c Elapsed CPU time: 9.28259 s Remaining CPU time: 1790.72 s 9.48/9.68 c ============================[ Search Statistics ]============================== 9.48/9.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.48/9.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.48/9.68 c =============================================================================== 9.48/9.68 c | 0 | 1411 17551 40957 | 5850 0 nan | 0.000 % | 9.48/9.68 c =============================================================================== 9.48/9.68 c core #298 9.48/9.68 c Core size: 39 Core Weight: 1 Total Weight: -202 9.48/9.68 c Elapsed CPU time: 9.31758 s Remaining CPU time: 1790.68 s 9.58/9.71 c ============================[ Search Statistics ]============================== 9.58/9.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.58/9.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.58/9.71 c =============================================================================== 9.58/9.71 c | 0 | 1425 17552 40985 | 5850 0 nan | 0.000 % | 9.58/9.71 c =============================================================================== 9.58/9.71 c core #299 9.58/9.71 c Core size: 42 Core Weight: 1 Total Weight: -201 9.58/9.71 c Elapsed CPU time: 9.35158 s Remaining CPU time: 1790.65 s 9.58/9.75 c ============================[ Search Statistics ]============================== 9.58/9.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.58/9.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.58/9.75 c =============================================================================== 9.58/9.75 c | 0 | 1441 17553 41017 | 5851 0 nan | 0.000 % | 9.58/9.75 c =============================================================================== 9.58/9.75 c core #300 9.58/9.75 c Core size: 46 Core Weight: 1 Total Weight: -200 9.58/9.75 c Elapsed CPU time: 9.38457 s Remaining CPU time: 1790.62 s 9.58/9.78 c ============================[ Search Statistics ]============================== 9.58/9.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.58/9.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.58/9.78 c =============================================================================== 9.58/9.78 c | 0 | 1459 17554 41053 | 5851 0 nan | 0.000 % | 9.58/9.79 c =============================================================================== 9.58/9.79 c core #301 9.58/9.79 c Core size: 35 Core Weight: 1 Total Weight: -199 9.58/9.79 c Elapsed CPU time: 9.41857 s Remaining CPU time: 1790.58 s 9.68/9.82 c ============================[ Search Statistics ]============================== 9.68/9.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.68/9.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.68/9.82 c =============================================================================== 9.68/9.82 c | 0 | 1472 17555 41079 | 5851 0 nan | 0.000 % | 9.68/9.82 c =============================================================================== 9.68/9.82 c core #302 9.68/9.82 c Core size: 117 Core Weight: 1 Total Weight: -198 9.68/9.82 c Elapsed CPU time: 9.45456 s Remaining CPU time: 1790.55 s 9.68/9.86 c ============================[ Search Statistics ]============================== 9.68/9.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.68/9.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.68/9.86 c =============================================================================== 9.68/9.86 c | 0 | 1513 17556 41161 | 5852 0 nan | 0.000 % | 9.68/9.87 c =============================================================================== 9.68/9.87 c core #303 9.68/9.87 c Core size: 229 Core Weight: 1 Total Weight: -197 9.68/9.87 c Elapsed CPU time: 9.49556 s Remaining CPU time: 1790.5 s 9.78/9.90 c ============================[ Search Statistics ]============================== 9.78/9.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.78/9.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.78/9.90 c =============================================================================== 9.78/9.90 c | 0 | 1579 17557 41293 | 5852 0 nan | 0.000 % | 9.78/9.91 c | 100 | 1579 17557 41293 | 6437 100 41 | 83.302 % | 9.78/9.92 c =============================================================================== 9.78/9.92 c core #304 9.78/9.92 c Core size: 257 Core Weight: 1 Total Weight: -196 9.78/9.92 c Elapsed CPU time: 9.54755 s Remaining CPU time: 1790.45 s 9.78/9.96 c ============================[ Search Statistics ]============================== 9.78/9.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.78/9.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.78/9.96 c =============================================================================== 9.78/9.96 c | 0 | 1653 17558 41441 | 5852 0 nan | 0.000 % | 9.78/9.97 c | 103 | 1653 17558 41441 | 6437 103 51 | 82.655 % | 9.78/9.98 c | 255 | 1653 17558 41441 | 7081 255 48 | 82.655 % | 9.78/10.00 c | 483 | 1653 17558 41441 | 7789 483 52 | 82.655 % | 9.88/10.02 c | 820 | 1653 17558 41441 | 8568 820 50 | 82.655 % | 9.88/10.08 c | 1328 | 1653 17558 41441 | 9425 1328 60 | 82.655 % | 9.98/10.16 c | 2087 | 1653 17558 41441 | 10368 2087 65 | 82.655 % | 10.19/10.33 c | 3227 | 1653 17558 41441 | 11405 3227 83 | 82.655 % | 10.29/10.46 c =============================================================================== 10.38/10.50 c core #305 10.38/10.50 c Core size: 718 Core Weight: 1 Total Weight: -195 10.38/10.50 c Elapsed CPU time: 10.1085 s Remaining CPU time: 1789.89 s 10.38/10.54 c ============================[ Search Statistics ]============================== 10.38/10.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.38/10.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.38/10.54 c =============================================================================== 10.38/10.54 c | 0 | 1795 17559 41725 | 5853 0 nan | 0.000 % | 10.38/10.55 c | 100 | 1795 17559 41725 | 6438 100 84 | 81.441 % | 10.38/10.56 c | 251 | 1795 17559 41725 | 7082 251 62 | 81.441 % | 10.38/10.58 c | 477 | 1795 17559 41725 | 7790 477 48 | 81.441 % | 10.48/10.61 c | 815 | 1795 17559 41725 | 8569 815 53 | 81.441 % | 10.48/10.66 c | 1322 | 1795 17559 41725 | 9426 1322 55 | 81.441 % | 10.58/10.76 c | 2081 | 1795 17559 41725 | 10368 2081 76 | 81.441 % | 10.78/10.96 c | 3223 | 1795 17559 41725 | 11405 3223 98 | 81.441 % | 11.28/11.43 c | 4937 | 1795 17559 41725 | 12546 4937 127 | 81.441 % | 11.67/11.87 c =============================================================================== 11.78/11.93 c core #306 11.78/11.93 c Core size: 948 Core Weight: 1 Total Weight: -194 11.78/11.93 c Elapsed CPU time: 11.5003 s Remaining CPU time: 1788.5 s 11.78/11.97 c ============================[ Search Statistics ]============================== 11.78/11.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.78/11.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.78/11.97 c =============================================================================== 11.78/11.97 c | 0 | 1995 17560 42125 | 5853 0 nan | 0.000 % | 11.78/11.98 c | 101 | 1995 17560 42125 | 6438 101 27 | 79.791 % | 11.78/11.99 c | 253 | 1995 17560 42125 | 7082 253 26 | 79.791 % | 11.88/12.01 c | 482 | 1995 17560 42125 | 7790 482 31 | 79.791 % | 11.88/12.04 c | 821 | 1995 17560 42125 | 8569 821 46 | 79.791 % | 11.98/12.10 c | 1328 | 1995 17560 42125 | 9426 1328 58 | 79.791 % | 12.08/12.21 c | 2088 | 1994 17560 42125 | 10369 2087 61 | 79.801 % | 12.18/12.39 c | 3227 | 1993 17560 42125 | 11406 3224 70 | 79.812 % | 12.28/12.45 c =============================================================================== 12.28/12.48 c core #307 12.28/12.48 c Core size: 688 Core Weight: 1 Total Weight: -193 12.28/12.48 c Elapsed CPU time: 12.0422 s Remaining CPU time: 1787.96 s 12.38/12.52 c ============================[ Search Statistics ]============================== 12.38/12.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.38/12.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.38/12.52 c =============================================================================== 12.38/12.52 c | 0 | 2126 17561 42387 | 5853 0 nan | 0.000 % | 12.38/12.53 c | 101 | 2126 17561 42387 | 6439 101 56 | 78.746 % | 12.38/12.54 c | 254 | 2126 17561 42387 | 7082 254 29 | 78.746 % | 12.38/12.56 c | 479 | 2126 17561 42387 | 7791 479 22 | 78.746 % | 12.38/12.58 c | 817 | 2126 17561 42387 | 8570 817 30 | 78.746 % | 12.38/12.59 c =============================================================================== 12.48/12.60 c core #308 12.48/12.60 c Core size: 318 Core Weight: 1 Total Weight: -192 12.48/12.60 c Elapsed CPU time: 12.1542 s Remaining CPU time: 1787.85 s 12.48/12.63 c ============================[ Search Statistics ]============================== 12.48/12.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.48/12.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.48/12.63 c =============================================================================== 12.48/12.63 c | 0 | 2196 17562 42527 | 5854 0 nan | 0.000 % | 12.48/12.65 c | 104 | 2196 17562 42527 | 6439 104 94 | 78.199 % | 12.48/12.66 c | 254 | 2196 17562 42527 | 7083 254 50 | 78.199 % | 12.48/12.67 c | 479 | 2196 17562 42527 | 7791 479 42 | 78.199 % | 12.57/12.70 c | 816 | 2196 17562 42527 | 8570 816 41 | 78.199 % | 12.57/12.76 c | 1323 | 2196 17562 42527 | 9427 1323 52 | 78.199 % | 12.67/12.88 c | 2083 | 2196 17562 42527 | 10370 2083 67 | 78.199 % | 12.88/13.08 c | 3224 | 2196 17562 42527 | 11407 3224 81 | 78.199 % | 13.28/13.44 c | 4933 | 2196 17562 42527 | 12548 4933 90 | 78.199 % | 14.07/14.22 c | 7499 | 2196 17562 42527 | 13803 7499 106 | 78.199 % | 15.17/15.33 c =============================================================================== 15.28/15.45 c core #309 15.28/15.45 c Core size: 754 Core Weight: 1 Total Weight: -191 15.28/15.45 c Elapsed CPU time: 14.9877 s Remaining CPU time: 1785.01 s 15.38/15.51 c ============================[ Search Statistics ]============================== 15.38/15.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.38/15.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.38/15.51 c =============================================================================== 15.38/15.51 c | 0 | 2320 17563 42775 | 5854 0 nan | 0.000 % | 15.38/15.52 c | 100 | 2320 17563 42775 | 6439 100 36 | 77.248 % | 15.38/15.53 c | 250 | 2320 17563 42775 | 7083 250 33 | 77.248 % | 15.38/15.55 c | 475 | 2320 17563 42775 | 7792 475 30 | 77.248 % | 15.38/15.57 c | 812 | 2320 17563 42775 | 8571 812 33 | 77.248 % | 15.47/15.62 c | 1319 | 2320 17563 42775 | 9428 1319 44 | 77.248 % | 15.57/15.72 c | 2083 | 2320 17563 42775 | 10371 2083 66 | 77.248 % | 15.77/15.92 c | 3222 | 2320 17563 42775 | 11408 3222 94 | 77.248 % | 16.17/16.36 c | 4931 | 2320 17563 42775 | 12549 4931 124 | 77.248 % | 17.07/17.27 c | 7495 | 2320 17563 42775 | 13804 7495 156 | 77.248 % | 17.77/17.91 c =============================================================================== 17.87/18.02 c core #310 17.87/18.02 c Core size: 712 Core Weight: 1 Total Weight: -190 17.87/18.02 c Elapsed CPU time: 17.5203 s Remaining CPU time: 1782.48 s 17.87/18.07 c ============================[ Search Statistics ]============================== 17.87/18.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.87/18.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.87/18.07 c =============================================================================== 17.87/18.07 c | 0 | 2435 17564 43005 | 5854 0 nan | 0.000 % | 17.87/18.08 c | 102 | 2435 17564 43005 | 6440 102 33 | 76.387 % | 17.87/18.09 c | 253 | 2435 17564 43005 | 7084 253 28 | 76.387 % | 17.98/18.12 c | 478 | 2435 17564 43005 | 7792 478 40 | 76.387 % | 17.98/18.15 c | 815 | 2435 17564 43005 | 8571 815 56 | 76.387 % | 18.07/18.21 c | 1321 | 2435 17564 43005 | 9428 1321 63 | 76.387 % | 18.07/18.28 c | 2082 | 2435 17564 43005 | 10371 2082 62 | 76.387 % | 18.27/18.45 c | 3223 | 2435 17564 43005 | 11409 3223 80 | 76.387 % | 18.47/18.68 c | 4932 | 2435 17564 43005 | 12549 4932 83 | 76.387 % | 18.97/19.11 c | 7494 | 2435 17564 43005 | 13804 7494 83 | 76.387 % | 20.17/20.37 c | 11338 | 2435 17564 43005 | 15185 11338 123 | 76.387 % | 22.47/22.68 c | 17105 | 2435 17564 43005 | 16704 17105 122 | 76.387 % | 30.07/30.28 c =============================================================================== 30.47/30.60 c core #311 30.47/30.60 c Core size: 941 Core Weight: 1 Total Weight: -189 30.47/30.60 c Elapsed CPU time: 30.0064 s Remaining CPU time: 1769.99 s 30.47/30.66 c ============================[ Search Statistics ]============================== 30.47/30.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 30.47/30.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 30.47/30.66 c =============================================================================== 30.47/30.66 c | 0 | 2590 17565 43315 | 5855 0 nan | 0.000 % | 30.47/30.68 c | 102 | 2590 17565 43315 | 6440 102 124 | 75.256 % | 30.56/30.70 c | 252 | 2590 17565 43315 | 7084 252 78 | 75.256 % | 30.56/30.72 c | 477 | 2590 17565 43315 | 7793 477 61 | 75.256 % | 30.56/30.76 c | 815 | 2590 17565 43315 | 8572 815 46 | 75.256 % | 30.67/30.81 c | 1321 | 2590 17565 43315 | 9429 1321 45 | 75.256 % | 30.76/30.90 c | 2080 | 2590 17565 43315 | 10372 2080 47 | 75.256 % | 30.87/31.08 c | 3222 | 2590 17565 43315 | 11409 3222 59 | 75.256 % | 31.26/31.43 c | 4930 | 2590 17565 43315 | 12550 4930 84 | 75.256 % | 32.07/32.26 c | 7492 | 2590 17565 43315 | 13805 7492 113 | 75.256 % | 32.97/33.13 c =============================================================================== 33.06/33.25 c core #312 33.06/33.25 c Core size: 482 Core Weight: 1 Total Weight: -188 33.06/33.25 c Elapsed CPU time: 32.632 s Remaining CPU time: 1767.37 s 33.16/33.30 c ============================[ Search Statistics ]============================== 33.16/33.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 33.16/33.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 33.16/33.30 c =============================================================================== 33.16/33.30 c | 0 | 2693 17566 43521 | 5855 0 nan | 0.000 % | 33.16/33.31 c | 101 | 2693 17566 43521 | 6440 101 29 | 74.522 % | 33.16/33.32 c | 251 | 2693 17566 43521 | 7084 251 32 | 74.522 % | 33.16/33.34 c | 476 | 2693 17566 43521 | 7793 476 43 | 74.522 % | 33.16/33.37 c | 813 | 2693 17566 43521 | 8572 813 40 | 74.522 % | 33.26/33.42 c | 1319 | 2693 17566 43521 | 9430 1319 44 | 74.522 % | 33.36/33.50 c | 2079 | 2693 17566 43521 | 10373 2079 54 | 74.522 % | 33.46/33.67 c | 3218 | 2693 17566 43521 | 11410 3218 70 | 74.522 % | 33.76/33.95 c | 4929 | 2693 17566 43521 | 12551 4929 75 | 74.522 % | 34.46/34.66 c | 7491 | 2693 17566 43521 | 13806 7491 99 | 74.522 % | 35.56/35.75 c | 11336 | 2693 17566 43521 | 15187 11336 102 | 74.522 % | 38.76/38.99 c | 17102 | 2693 17566 43521 | 16705 17102 137 | 74.522 % | 43.06/43.21 c | 25751 | 2693 17566 43521 | 18376 13230 184 | 74.522 % | 49.36/49.55 c | 38725 | 2693 17566 43521 | 20214 26204 164 | 74.522 % | 61.85/62.03 c | 58189 | 2693 17566 43521 | 22235 15597 116 | 74.522 % | 84.25/84.48 c | 87383 | 2693 17566 43521 | 24459 29332 176 | 74.522 % | 139.03/139.29 c | 131176 | 2693 17566 43521 | 26905 20539 321 | 74.522 % | 198.32/198.57 c =============================================================================== 202.51/202.76 c core #313 202.51/202.76 c Core size: 1020 Core Weight: 1 Total Weight: -187 202.51/202.76 c Elapsed CPU time: 201.29 s Remaining CPU time: 1598.71 s 202.70/202.99 c ============================[ Search Statistics ]============================== 202.70/202.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 202.70/202.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 202.70/202.99 c =============================================================================== 202.70/202.99 c | 0 | 2844 17567 43823 | 5855 0 nan | 0.000 % | 202.80/203.04 c | 101 | 2844 17567 43823 | 6441 101 49 | 73.473 % | 202.80/203.05 c | 252 | 2844 17567 43823 | 7085 252 31 | 73.473 % | 202.80/203.06 c | 478 | 2844 17567 43823 | 7793 478 42 | 73.473 % | 202.80/203.08 c | 816 | 2844 17567 43823 | 8573 816 39 | 73.473 % | 202.91/203.13 c | 1323 | 2844 17567 43823 | 9430 1323 47 | 73.473 % | 203.01/203.22 c | 2082 | 2844 17567 43823 | 10373 2082 54 | 73.473 % | 203.11/203.35 c | 3221 | 2844 17567 43823 | 11411 3221 57 | 73.473 % | 203.41/203.62 c | 4931 | 2844 17567 43823 | 12552 4931 70 | 73.473 % | 204.21/204.44 c | 7494 | 2844 17567 43823 | 13807 7494 107 | 73.473 % | 205.40/205.66 c | 11340 | 2844 17567 43823 | 15188 11340 116 | 73.473 % | 208.81/209.02 c | 17108 | 2844 17567 43823 | 16706 17108 134 | 73.473 % | 217.11/217.34 c | 25757 | 2844 17567 43823 | 18377 13351 180 | 73.473 % | 229.50/229.70 c | 38732 | 2844 17567 43823 | 20215 26326 179 | 73.473 % | 254.40/254.67 c | 58195 | 2844 17567 43823 | 22236 16587 251 | 73.473 % | 282.28/282.57 c | 87388 | 2844 17567 43823 | 24460 30432 200 | 73.473 % | 331.87/332.13 c | 131177 | 2844 17567 43823 | 26906 20310 266 | 73.473 % | 424.84/425.18 c | 196861 | 2844 17567 43823 | 29597 23540 614 | 73.473 % | 583.70/584.04 c | 295390 | 2844 17567 43823 | 32557 35849 286 | 73.473 % | 772.55/772.92 c | 443181 | 2844 17567 43823 | 35812 34519 343 | 73.473 % | 1084.95/1085.42 c | 664868 | 2844 17567 43823 | 39393 26484 215 | 73.473 % | 1674.84/1675.58 c | 997393 | 2843 17567 43823 | 43333 17366 188 | 73.482 % |
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-1875377-1245204122/watcher-1875377-1245204122 -o /tmp/evaluation-result-1875377-1245204122/solver-1875377-1245204122 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875377-1245204122.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 7/75 8952 /proc/meminfo: memFree=1856888/2055920 swapFree=4192812/4192956 [pid=8952] ppid=8944 vsize=3324 CPUtime=0 /proc/8952/stat : 8952 (wbo) R 8944 8952 8077 0 -1 4194304 223 0 0 0 0 0 0 0 21 0 1 0 188009088 3403776 207 1992294400 134512640 135709839 4294956240 18446744073709551615 134539382 0 0 4096 3 0 0 0 17 1 0 0 /proc/8952/statm: 831 207 124 292 0 373 0 [startup+0.102977 s] /proc/loadavg: 1.00 1.00 1.00 7/75 8952 /proc/meminfo: memFree=1856888/2055920 swapFree=4192812/4192956 [pid=8952] ppid=8944 vsize=5828 CPUtime=0.09 /proc/8952/stat : 8952 (wbo) R 8944 8952 8077 0 -1 4194304 993 0 0 0 9 0 0 0 21 0 1 0 188009088 5967872 977 1992294400 134512640 135709839 4294956240 18446744073709551615 135341728 0 0 4096 3 0 0 0 17 0 0 0 /proc/8952/statm: 1457 977 277 292 0 999 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5828 [startup+0.202989 s] /proc/loadavg: 1.00 1.00 1.00 7/75 8952 /proc/meminfo: memFree=1856888/2055920 swapFree=4192812/4192956 [pid=8952] ppid=8944 vsize=9324 CPUtime=0.18 /proc/8952/stat : 8952 (wbo) R 8944 8952 8077 0 -1 4194304 2257 0 0 0 18 0 0 0 21 0 1 0 188009088 9547776 1878 1992294400 134512640 135709839 4294956240 18446744073709551615 134517329 0 0 4096 3 0 0 0 17 0 0 0 /proc/8952/statm: 2331 1878 134 292 0 2036 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 9324 [startup+0.303001 s] /proc/loadavg: 1.00 1.00 1.00 7/75 8952 /proc/meminfo: memFree=1856888/2055920 swapFree=4192812/4192956 [pid=8952] ppid=8944 vsize=11428 CPUtime=0.28 /proc/8952/stat : 8952 (wbo) R 8944 8952 8077 0 -1 4194304 2754 0 0 0 27 1 0 0 22 0 1 0 188009088 11702272 2375 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 0 0 0 /proc/8952/statm: 2857 2375 134 292 0 2562 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 11428 [startup+0.701117 s] /proc/loadavg: 1.00 1.00 1.00 7/75 8952 /proc/meminfo: memFree=1856888/2055920 swapFree=4192812/4192956 [pid=8952] ppid=8944 vsize=18552 CPUtime=0.68 /proc/8952/stat : 8952 (wbo) R 8944 8952 8077 0 -1 4194304 4552 0 0 0 66 2 0 0 25 0 1 0 188009088 18997248 4173 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 0 0 0 /proc/8952/statm: 4638 4173 134 292 0 4343 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 18552 [startup+1.50213 s] /proc/loadavg: 1.00 1.00 1.00 2/71 9017 /proc/meminfo: memFree=1832272/2055920 swapFree=4192812/4192956 [pid=8952] ppid=8944 vsize=32284 CPUtime=1.45 /proc/8952/stat : 8952 (wbo) R 8944 8952 8077 0 -1 4194304 7980 0 0 0 141 4 0 0 25 0 1 0 188009088 33058816 7601 1992294400 134512640 135709839 4294956240 18446744073709551615 134530745 0 0 4096 3 0 0 0 17 0 0 0 /proc/8952/statm: 8071 7601 134 292 0 7776 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 32284 [startup+3.10131 s] /proc/loadavg: 1.08 1.02 1.01 3/70 9095 /proc/meminfo: memFree=1813336/2055920 swapFree=4192812/4192956 [pid=8952] ppid=8944 vsize=60044 CPUtime=3.04 /proc/8952/stat : 8952 (wbo) R 8944 8952 8077 0 -1 4194304 14909 0 0 0 296 8 0 0 25 0 1 0 188009088 61485056 14530 1992294400 134512640 135709839 4294956240 18446744073709551615 134530357 0 0 4096 3 0 0 0 17 0 0 0 /proc/8952/statm: 15011 14530 134 292 0 14716 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 60044 [startup+6.30165 s] /proc/loadavg: 1.08 1.02 1.01 2/70 9108 /proc/meminfo: memFree=1746392/2055920 swapFree=4192812/4192956 [pid=8952] ppid=8944 vsize=112884 CPUtime=6.21 /proc/8952/stat : 8952 (wbo) R 8944 8952 8077 0 -1 4194304 28126 0 0 0 607 14 0 0 25 0 1 0 188009088 115593216 27747 1992294400 134512640 135709839 4294956240 18446744073709551615 134529960 0 0 4096 3 0 0 0 17 1 0 0 /proc/8952/statm: 28221 27747 134 292 0 27926 0 Current children cumulated CPU time (s) 6.21 Current children cumulated vsize (KiB) 112884 [startup+12.7014 s] /proc/loadavg: 1.22 1.05 1.02 3/71 9122 /proc/meminfo: memFree=1615032/2055920 swapFree=4192812/4192956 [pid=8952] ppid=8944 vsize=176012 CPUtime=12.57 /proc/8952/stat : 8952 (wbo) R 8944 8952 8077 0 -1 4194304 43984 0 0 0 1224 33 0 0 25 0 1 0 188009088 180236288 43497 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8952/statm: 44003 43497 136 292 0 43708 0 Current children cumulated CPU time (s) 12.57 Current children cumulated vsize (KiB) 176012 [startup+25.5018 s] /proc/loadavg: 1.19 1.05 1.01 2/65 9163 /proc/meminfo: memFree=1597456/2055920 swapFree=4192812/4192956 [pid=8952] ppid=8944 vsize=188292 CPUtime=25.37 /proc/8952/stat : 8952 (wbo) R 8944 8952 8077 0 -1 4194304 47066 0 0 0 2492 45 0 0 25 0 1 0 188009088 192811008 46579 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/8952/statm: 47073 46579 136 292 0 46778 0 Current children cumulated CPU time (s) 25.37 Current children cumulated vsize (KiB) 188292 [startup+51.1016 s] /proc/loadavg: 1.12 1.04 1.01 2/65 9163 /proc/meminfo: memFree=1560928/2055920 swapFree=4192812/4192956 [pid=8952] ppid=8944 vsize=224932 CPUtime=50.96 /proc/8952/stat : 8952 (wbo) R 8944 8952 8077 0 -1 4194304 56262 0 0 0 5031 65 0 0 25 0 1 0 188009088 230330368 55775 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8952/statm: 56233 55775 136 292 0 55938 0 Current children cumulated CPU time (s) 50.96 Current children cumulated vsize (KiB) 224932 [startup+102.301 s] /proc/loadavg: 1.05 1.03 1.01 2/65 9163 /proc/meminfo: memFree=1495584/2055920 swapFree=4192812/4192956 [pid=8952] ppid=8944 vsize=289664 CPUtime=102.14 /proc/8952/stat : 8952 (wbo) R 8944 8952 8077 0 -1 4194304 72430 0 0 0 10122 92 0 0 25 0 1 0 188009088 296615936 71943 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8952/statm: 72416 71943 136 292 0 72121 0 Current children cumulated CPU time (s) 102.14 Current children cumulated vsize (KiB) 289664 [startup+162.302 s] /proc/loadavg: 1.02 1.02 1.00 2/65 9163 /proc/meminfo: memFree=1424416/2055920 swapFree=4192812/4192956 [pid=8952] ppid=8944 vsize=361444 CPUtime=162.12 /proc/8952/stat : 8952 (wbo) R 8944 8952 8077 0 -1 4194304 90329 0 0 0 16097 115 0 0 25 0 1 0 188009088 370118656 89842 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8952/statm: 90361 89842 136 292 0 90066 0 Current children cumulated CPU time (s) 162.12 Current children cumulated vsize (KiB) 361444 [startup+222.306 s] /proc/loadavg: 1.00 1.02 1.00 2/65 9163 /proc/meminfo: memFree=1365152/2055920 swapFree=4192812/4192956 [pid=8952] ppid=8944 vsize=419896 CPUtime=222.1 /proc/8952/stat : 8952 (wbo) R 8944 8952 8077 0 -1 4194304 104972 0 0 0 22072 138 0 0 25 0 1 0 188009088 429973504 104485 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8952/statm: 104974 104485 136 292 0 104679 0 Current children cumulated CPU time (s) 222.1 Current children cumulated vsize (KiB) 419896 [startup+282.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 9163 /proc/meminfo: memFree=1330912/2055920 swapFree=4192812/4192956 [pid=8952] ppid=8944 vsize=454496 CPUtime=282.08 /proc/8952/stat : 8952 (wbo) R 8944 8952 8077 0 -1 4194304 113619 0 0 0 28047 161 0 0 25 0 1 0 188009088 465403904 113132 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0 /proc/8952/statm: 113624 113132 136 292 0 113329 0 Current children cumulated CPU time (s) 282.08 Current children cumulated vsize (KiB) 454496 [startup+342.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 9163 /proc/meminfo: memFree=1262176/2055920 swapFree=4192812/4192956 [pid=8952] ppid=8944 vsize=522832 CPUtime=342.07 /proc/8952/stat : 8952 (wbo) R 8944 8952 8077 0 -1 4194304 130703 0 0 0 34022 185 0 0 25 0 1 0 188009088 535379968 130216 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/8952/statm: 130708 130216 136 292 0 130413 0 Current children cumulated CPU time (s) 342.07 Current children cumulated vsize (KiB) 522832 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9163 /proc/meminfo: memFree=1191776/2055920 swapFree=4192812/4192956 [pid=8952] ppid=8944 vsize=593608 CPUtime=402.05 /proc/8952/stat : 8952 (wbo) R 8944 8952 8077 0 -1 4194304 148389 0 0 0 39994 211 0 0 25 0 1 0 188009088 607854592 147902 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8952/statm: 148402 147902 136 292 0 148107 0 Current children cumulated CPU time (s) 402.05 Current children cumulated vsize (KiB) 593608 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9163 /proc/meminfo: memFree=1102560/2055920 swapFree=4192812/4192956 [pid=8952] ppid=8944 vsize=682672 CPUtime=462.03 /proc/8952/stat : 8952 (wbo) R 8944 8952 8077 0 -1 4194304 170615 0 0 0 45969 234 0 0 25 0 1 0 188009088 699056128 170128 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8952/statm: 170668 170128 136 292 0 170373 0 Current children cumulated CPU time (s) 462.03 Current children cumulated vsize (KiB) 682672 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9163 /proc/meminfo: memFree=1045152/2055920 swapFree=4192812/4192956 [pid=8952] ppid=8944 vsize=739864 CPUtime=522.02 /proc/8952/stat : 8952 (wbo) R 8944 8952 8077 0 -1 4194304 184892 0 0 0 51946 256 0 0 25 0 1 0 188009088 757620736 184405 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0 /proc/8952/statm: 184966 184405 136 292 0 184671 0 Current children cumulated CPU time (s) 522.02 Current children cumulated vsize (KiB) 739864 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9163 /proc/meminfo: memFree=985312/2055920 swapFree=4192812/4192956 [pid=8952] ppid=8944 vsize=799656 CPUtime=582 /proc/8952/stat : 8952 (wbo) R 8944 8952 8077 0 -1 4194304 199826 0 0 0 57923 277 0 0 25 0 1 0 188009088 818847744 199339 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/8952/statm: 199914 199339 136 292 0 199619 0 Current children cumulated CPU time (s) 582 Current children cumulated vsize (KiB) 799656 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9163 /proc/meminfo: memFree=925728/2055920 swapFree=4192812/4192956 [pid=8952] ppid=8944 vsize=859632 CPUtime=641.98 /proc/8952/stat : 8952 (wbo) R 8944 8952 8077 0 -1 4194304 214829 0 0 0 63895 303 0 0 25 0 1 0 188009088 880263168 214342 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8952/statm: 214908 214342 136 292 0 214613 0 Current children cumulated CPU time (s) 641.98 Current children cumulated vsize (KiB) 859632 [startup+702.302 s] ################ # More data... # ################ [startup+882.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9163 /proc/meminfo: memFree=688096/2055920 swapFree=4192812/4192956 [pid=8952] ppid=8944 vsize=1096340 CPUtime=881.91 /proc/8952/stat : 8952 (wbo) R 8944 8952 8077 0 -1 4194304 273893 0 0 0 87795 396 0 0 25 0 1 0 188009088 1122652160 273406 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/8952/statm: 274085 273406 136 292 0 273790 0 Current children cumulated CPU time (s) 881.91 Current children cumulated vsize (KiB) 1096340 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9163 /proc/meminfo: memFree=627680/2055920 swapFree=4192812/4192956 [pid=8952] ppid=8944 vsize=1157044 CPUtime=941.89 /proc/8952/stat : 8952 (wbo) R 8944 8952 8077 0 -1 4194304 289070 0 0 0 93771 418 0 0 25 0 1 0 188009088 1184813056 288583 1992294400 134512640 135709839 4294956240 18446744073709551615 134573802 0 0 4096 3 0 0 0 17 1 0 0 /proc/8952/statm: 289261 288583 136 292 0 288966 0 Current children cumulated CPU time (s) 941.89 Current children cumulated vsize (KiB) 1157044 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9163 /proc/meminfo: memFree=544416/2055920 swapFree=4192812/4192956 [pid=8952] ppid=8944 vsize=1239904 CPUtime=1001.88 /proc/8952/stat : 8952 (wbo) R 8944 8952 8077 0 -1 4194304 309781 0 0 0 99745 443 0 0 25 0 1 0 188009088 1269661696 309294 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8952/statm: 309976 309294 136 292 0 309681 0 Current children cumulated CPU time (s) 1001.88 Current children cumulated vsize (KiB) 1239904 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9163 /proc/meminfo: memFree=484192/2055920 swapFree=4192812/4192956 [pid=8952] ppid=8944 vsize=1300592 CPUtime=1061.86 /proc/8952/stat : 8952 (wbo) R 8944 8952 8077 0 -1 4194304 324928 0 0 0 105720 466 0 0 25 0 1 0 188009088 1331806208 324441 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8952/statm: 325148 324441 136 292 0 324853 0 Current children cumulated CPU time (s) 1061.86 Current children cumulated vsize (KiB) 1300592 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9163 /proc/meminfo: memFree=406944/2055920 swapFree=4192812/4192956 [pid=8952] ppid=8944 vsize=1377208 CPUtime=1121.84 /proc/8952/stat : 8952 (wbo) R 8944 8952 8077 0 -1 4194304 344062 0 0 0 111694 490 0 0 25 0 1 0 188009088 1410260992 343575 1992294400 134512640 135709839 4294956240 18446744073709551615 134574290 0 0 4096 3 0 0 0 17 1 0 0 /proc/8952/statm: 344302 343575 136 292 0 344007 0 Current children cumulated CPU time (s) 1121.84 Current children cumulated vsize (KiB) 1377208 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9163 /proc/meminfo: memFree=354912/2055920 swapFree=4192812/4192956 [pid=8952] ppid=8944 vsize=1429388 CPUtime=1181.82 /proc/8952/stat : 8952 (wbo) R 8944 8952 8077 0 -1 4194304 357101 0 0 0 117672 510 0 0 25 0 1 0 188009088 1463693312 356614 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/8952/statm: 357347 356614 136 292 0 357052 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 1429388 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9163 /proc/meminfo: memFree=307872/2055920 swapFree=4192812/4192956 [pid=8952] ppid=8944 vsize=1476260 CPUtime=1241.81 /proc/8952/stat : 8952 (wbo) R 8944 8952 8077 0 -1 4194304 368809 0 0 0 123647 534 0 0 25 0 1 0 188009088 1511690240 368322 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/8952/statm: 369065 368322 136 292 0 368770 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 1476260 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9163 /proc/meminfo: memFree=272416/2055920 swapFree=4192812/4192956 [pid=8952] ppid=8944 vsize=1512796 CPUtime=1301.79 /proc/8952/stat : 8952 (wbo) R 8944 8952 8077 0 -1 4194304 377933 0 0 0 129631 548 0 0 25 0 1 0 188009088 1549103104 377446 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8952/statm: 378199 377446 136 292 0 377904 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 1512796 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9163 /proc/meminfo: memFree=227744/2055920 swapFree=4192812/4192956 [pid=8952] ppid=8944 vsize=1556356 CPUtime=1361.77 /proc/8952/stat : 8952 (wbo) R 8944 8952 8077 0 -1 4194304 388816 0 0 0 135610 567 0 0 25 0 1 0 188009088 1593708544 388329 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8952/statm: 389089 388329 136 292 0 388794 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 1556356 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9163 /proc/meminfo: memFree=182880/2055920 swapFree=4192812/4192956 [pid=8952] ppid=8944 vsize=1600660 CPUtime=1421.77 /proc/8952/stat : 8952 (wbo) R 8944 8952 8077 0 -1 4194304 399885 0 0 0 141588 589 0 0 25 0 1 0 188009088 1639075840 399398 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/8952/statm: 400165 399398 136 292 0 399870 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 1600660 [startup+1482.3 s] /proc/loadavg: 1.11 1.03 1.01 2/65 9163 /proc/meminfo: memFree=133920/2055920 swapFree=4192812/4192956 [pid=8952] ppid=8944 vsize=1649984 CPUtime=1481.74 /proc/8952/stat : 8952 (wbo) R 8944 8952 8077 0 -1 4194304 412227 0 0 0 147569 605 0 0 25 0 1 0 188009088 1689583616 411740 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/8952/statm: 412496 411740 136 292 0 412201 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 1649984 [startup+1542.31 s] /proc/loadavg: 1.04 1.02 1.00 2/65 9163 /proc/meminfo: memFree=93920/2055920 swapFree=4192812/4192956 [pid=8952] ppid=8944 vsize=1689480 CPUtime=1541.73 /proc/8952/stat : 8952 (wbo) R 8944 8952 8077 0 -1 4194304 422095 0 0 0 153552 621 0 0 25 0 1 0 188009088 1730027520 421608 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8952/statm: 422370 421608 136 292 0 422075 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 1689480 [startup+1602.3 s] /proc/loadavg: 1.07 1.03 1.00 2/65 9163 /proc/meminfo: memFree=49312/2055920 swapFree=4192812/4192956 [pid=8952] ppid=8944 vsize=1734644 CPUtime=1601.71 /proc/8952/stat : 8952 (wbo) R 8944 8952 8077 0 -1 4194304 433398 0 0 0 159531 640 0 0 25 0 1 0 188009088 1776275456 432911 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8952/statm: 433661 432911 136 292 0 433366 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 1734644 [startup+1662.3 s] /proc/loadavg: 1.08 1.04 1.00 2/65 9163 /proc/meminfo: memFree=15328/2055920 swapFree=4192812/4192956 [pid=8952] ppid=8944 vsize=1777756 CPUtime=1661.65 /proc/8952/stat : 8952 (wbo) R 8944 8952 8077 0 -1 4194304 444150 0 0 0 165505 660 0 0 25 0 1 0 188009088 1820422144 443663 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 1 0 0 /proc/8952/statm: 444439 443663 136 292 0 444144 0 Current children cumulated CPU time (s) 1661.65 Current children cumulated vsize (KiB) 1777756 [startup+1722.3 s] /proc/loadavg: 1.08 1.04 1.00 2/65 9163 /proc/meminfo: memFree=14944/2055920 swapFree=4181884/4192956 [pid=8952] ppid=8944 vsize=1824824 CPUtime=1721.62 /proc/8952/stat : 8952 (wbo) R 8944 8952 8077 0 -1 4194304 455933 0 0 0 171481 681 0 0 25 0 1 0 188009088 1868619776 455446 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8952/statm: 456206 455446 136 292 0 455911 0 Current children cumulated CPU time (s) 1721.62 Current children cumulated vsize (KiB) 1824824 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1739 s] /proc/loadavg: 1.06 1.04 1.00 2/65 9163 /proc/meminfo: memFree=15264/2055920 swapFree=4181884/4192956 [pid=8952] ppid=8944 vsize=1843220 CPUtime=1738.32 /proc/8952/stat : 8952 (wbo) R 8944 8952 8077 0 -1 4194304 460525 0 0 0 173145 687 0 0 25 0 1 0 188009088 1887457280 460038 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/8952/statm: 460805 460038 136 292 0 460510 0 Current children cumulated CPU time (s) 1738.32 Current children cumulated vsize (KiB) 1843220 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1739.11 s] /proc/loadavg: 1.06 1.04 1.00 3/66 9164 /proc/meminfo: memFree=643352/2055920 swapFree=4181884/4192956 [pid=8952] ppid=8944 vsize=0 CPUtime=1738.43 /proc/8952/stat : 8952 (wbo) R 8944 8952 8077 0 -1 4195332 460525 0 0 0 173146 697 0 0 25 0 1 0 188009088 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/8952/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1738.43 Current children cumulated vsize (KiB) 0 [startup+1739.21 s] /proc/loadavg: 1.06 1.04 1.00 3/66 9164 /proc/meminfo: memFree=643352/2055920 swapFree=4181884/4192956 [pid=8952] ppid=8944 vsize=0 CPUtime=1738.53 /proc/8952/stat : 8952 (wbo) R 8944 8952 8077 0 -1 4195332 460525 0 0 0 173146 707 0 0 25 0 1 0 188009088 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/8952/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1738.53 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1739.29 CPU time (s): 1738.62 CPU user time (s): 1731.46 CPU system time (s): 7.16291 CPU usage (%): 99.9615 Max. virtual memory (cumulated for all children) (KiB): 1843220 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1731.46 system time used= 7.16291 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460525 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= 4305 runsolver used 1.24581 second user time and 3.78742 second system time The end
Begin job on node42 at 2009-06-17 04:02:02 IDJOB=1875377 IDBENCH=48217 IDSOLVER=698 FILE ID=node42/1875377-1245204122 PBS_JOBID= 9368317 Free space on /tmp= 66148 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_4.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-1875377-1245204122/watcher-1875377-1245204122 -o /tmp/evaluation-result-1875377-1245204122/solver-1875377-1245204122 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875377-1245204122.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 95ae68c901d0b7917be5b837e9e56612 RANDOM SEED=437946816 node42.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.214 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.214 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1858976 kB Buffers: 46188 kB Cached: 75736 kB SwapCached: 0 kB Active: 15552 kB Inactive: 122936 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1858976 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 2668 kB Writeback: 0 kB Mapped: 27728 kB Slab: 43828 kB Committed_AS: 184380 kB PageTables: 1788 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-1875377-1245204122.opb Free space on /tmp at the end= 66144 MiB End job on node42 at 2009-06-17 04:31:04