| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.0 | ? (MO) | 1199.75 | 1200.29 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_25_3.opb |
| MD5SUM | 04b0fb885ddf05bea62d9eda618b3e5b |
| 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.38 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -79 |
| 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) | 15722 |
| Sum of products size (including duplicates) | 31444 |
| Number of different products | 7861 |
| Sum of products size | 15722 |
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-1875375-1245203940.opb. 0.00/0.00 c Instance file HOME/instance-1875375-1245203940.opb 0.00/0.00 c File size is 665373 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: 8361 | 0.09/0.10 c | Number Clauses: 8361 | 0.09/0.10 c | Number Cardinality: 1000 | 0.09/0.10 c | Number PB Constraints: 7861 | 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.102984 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.12698 s Remaining CPU time: 1799.87 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.151976 s Remaining CPU time: 1799.85 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.176973 s Remaining CPU time: 1799.82 s 0.19/0.21 c core #5 0.19/0.21 c Core size: 4 Core Weight: 1 Total Weight: -495 0.19/0.21 c Elapsed CPU time: 0.203968 s Remaining CPU time: 1799.8 s 0.19/0.23 c core #6 0.19/0.23 c Core size: 4 Core Weight: 1 Total Weight: -494 0.19/0.23 c Elapsed CPU time: 0.230964 s Remaining CPU time: 1799.77 s 0.19/0.26 c core #7 0.19/0.26 c Core size: 4 Core Weight: 1 Total Weight: -493 0.19/0.26 c Elapsed CPU time: 0.25996 s Remaining CPU time: 1799.74 s 0.19/0.29 c core #8 0.19/0.29 c Core size: 4 Core Weight: 1 Total Weight: -492 0.19/0.29 c Elapsed CPU time: 0.289955 s Remaining CPU time: 1799.71 s 0.29/0.32 c core #9 0.29/0.32 c Core size: 4 Core Weight: 1 Total Weight: -491 0.29/0.32 c Elapsed CPU time: 0.316951 s Remaining CPU time: 1799.68 s 0.29/0.35 c core #10 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: -490 0.29/0.35 c Elapsed CPU time: 0.345947 s Remaining CPU time: 1799.65 s 0.29/0.38 c core #11 0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: -489 0.29/0.38 c Elapsed CPU time: 0.375942 s Remaining CPU time: 1799.62 s 0.39/0.41 c core #12 0.39/0.41 c Core size: 4 Core Weight: 1 Total Weight: -488 0.39/0.41 c Elapsed CPU time: 0.404938 s Remaining CPU time: 1799.6 s 0.39/0.44 c core #13 0.39/0.44 c Core size: 4 Core Weight: 1 Total Weight: -487 0.39/0.44 c Elapsed CPU time: 0.434933 s Remaining CPU time: 1799.57 s 0.39/0.47 c core #14 0.39/0.47 c Core size: 4 Core Weight: 1 Total Weight: -486 0.39/0.47 c Elapsed CPU time: 0.463929 s Remaining CPU time: 1799.54 s 0.49/0.50 c core #15 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: -485 0.49/0.50 c Elapsed CPU time: 0.494924 s Remaining CPU time: 1799.51 s 0.49/0.53 c core #16 0.49/0.53 c Core size: 4 Core Weight: 1 Total Weight: -484 0.49/0.53 c Elapsed CPU time: 0.52592 s Remaining CPU time: 1799.47 s 0.49/0.56 c core #17 0.49/0.56 c Core size: 4 Core Weight: 1 Total Weight: -483 0.49/0.56 c Elapsed CPU time: 0.556915 s Remaining CPU time: 1799.44 s 0.49/0.59 c core #18 0.49/0.59 c Core size: 4 Core Weight: 1 Total Weight: -482 0.49/0.59 c Elapsed CPU time: 0.58791 s Remaining CPU time: 1799.41 s 0.59/0.62 c core #19 0.59/0.62 c Core size: 4 Core Weight: 1 Total Weight: -481 0.59/0.62 c Elapsed CPU time: 0.616906 s Remaining CPU time: 1799.38 s 0.59/0.65 c core #20 0.59/0.65 c Core size: 4 Core Weight: 1 Total Weight: -480 0.59/0.65 c Elapsed CPU time: 0.646901 s Remaining CPU time: 1799.35 s 0.59/0.69 c core #21 0.59/0.69 c Core size: 4 Core Weight: 1 Total Weight: -479 0.59/0.69 c Elapsed CPU time: 0.677896 s Remaining CPU time: 1799.32 s 0.69/0.72 c core #22 0.69/0.72 c Core size: 4 Core Weight: 1 Total Weight: -478 0.69/0.72 c Elapsed CPU time: 0.708892 s Remaining CPU time: 1799.29 s 0.69/0.75 c core #23 0.69/0.75 c Core size: 4 Core Weight: 1 Total Weight: -477 0.69/0.75 c Elapsed CPU time: 0.738887 s Remaining CPU time: 1799.26 s 0.69/0.78 c core #24 0.69/0.78 c Core size: 4 Core Weight: 1 Total Weight: -476 0.69/0.78 c Elapsed CPU time: 0.769882 s Remaining CPU time: 1799.23 s 0.79/0.81 c core #25 0.79/0.81 c Core size: 4 Core Weight: 1 Total Weight: -475 0.79/0.81 c Elapsed CPU time: 0.799878 s Remaining CPU time: 1799.2 s 0.79/0.84 c core #26 0.79/0.84 c Core size: 4 Core Weight: 1 Total Weight: -474 0.79/0.84 c Elapsed CPU time: 0.831873 s Remaining CPU time: 1799.17 s 0.79/0.87 c core #27 0.79/0.87 c Core size: 4 Core Weight: 1 Total Weight: -473 0.79/0.87 c Elapsed CPU time: 0.862868 s Remaining CPU time: 1799.14 s 0.89/0.90 c core #28 0.89/0.90 c Core size: 4 Core Weight: 1 Total Weight: -472 0.89/0.90 c Elapsed CPU time: 0.894863 s Remaining CPU time: 1799.11 s 0.89/0.94 c core #29 0.89/0.94 c Core size: 4 Core Weight: 1 Total Weight: -471 0.89/0.94 c Elapsed CPU time: 0.924859 s Remaining CPU time: 1799.08 s 0.89/0.97 c core #30 0.89/0.97 c Core size: 4 Core Weight: 1 Total Weight: -470 0.89/0.97 c Elapsed CPU time: 0.955854 s Remaining CPU time: 1799.04 s 0.99/1.00 c core #31 0.99/1.00 c Core size: 4 Core Weight: 1 Total Weight: -469 0.99/1.00 c Elapsed CPU time: 0.986849 s Remaining CPU time: 1799.01 s 0.99/1.03 c core #32 0.99/1.03 c Core size: 4 Core Weight: 1 Total Weight: -468 0.99/1.03 c Elapsed CPU time: 1.01684 s Remaining CPU time: 1798.98 s 0.99/1.06 c core #33 0.99/1.06 c Core size: 4 Core Weight: 1 Total Weight: -467 0.99/1.06 c Elapsed CPU time: 1.04884 s Remaining CPU time: 1798.95 s 0.99/1.09 c core #34 0.99/1.09 c Core size: 4 Core Weight: 1 Total Weight: -466 0.99/1.09 c Elapsed CPU time: 1.07883 s Remaining CPU time: 1798.92 s 1.09/1.12 c core #35 1.09/1.12 c Core size: 4 Core Weight: 1 Total Weight: -465 1.09/1.12 c Elapsed CPU time: 1.10783 s Remaining CPU time: 1798.89 s 1.09/1.15 c core #36 1.09/1.15 c Core size: 4 Core Weight: 1 Total Weight: -464 1.09/1.15 c Elapsed CPU time: 1.13683 s Remaining CPU time: 1798.86 s 1.09/1.18 c core #37 1.09/1.18 c Core size: 4 Core Weight: 1 Total Weight: -463 1.09/1.18 c Elapsed CPU time: 1.16682 s Remaining CPU time: 1798.83 s 1.19/1.21 c core #38 1.19/1.21 c Core size: 4 Core Weight: 1 Total Weight: -462 1.19/1.21 c Elapsed CPU time: 1.19882 s Remaining CPU time: 1798.8 s 1.19/1.24 c core #39 1.19/1.24 c Core size: 4 Core Weight: 1 Total Weight: -461 1.19/1.24 c Elapsed CPU time: 1.22781 s Remaining CPU time: 1798.77 s 1.19/1.27 c core #40 1.19/1.27 c Core size: 4 Core Weight: 1 Total Weight: -460 1.19/1.27 c Elapsed CPU time: 1.25781 s Remaining CPU time: 1798.74 s 1.30/1.31 c core #41 1.30/1.31 c Core size: 4 Core Weight: 1 Total Weight: -459 1.30/1.31 c Elapsed CPU time: 1.2898 s Remaining CPU time: 1798.71 s 1.30/1.34 c core #42 1.30/1.34 c Core size: 4 Core Weight: 1 Total Weight: -458 1.30/1.34 c Elapsed CPU time: 1.3208 s Remaining CPU time: 1798.68 s 1.30/1.37 c core #43 1.30/1.37 c Core size: 4 Core Weight: 1 Total Weight: -457 1.30/1.37 c Elapsed CPU time: 1.34979 s Remaining CPU time: 1798.65 s 1.39/1.40 c core #44 1.39/1.40 c Core size: 4 Core Weight: 1 Total Weight: -456 1.39/1.40 c Elapsed CPU time: 1.38179 s Remaining CPU time: 1798.62 s 1.39/1.43 c core #45 1.39/1.43 c Core size: 4 Core Weight: 1 Total Weight: -455 1.39/1.43 c Elapsed CPU time: 1.41278 s Remaining CPU time: 1798.59 s 1.39/1.46 c core #46 1.39/1.46 c Core size: 4 Core Weight: 1 Total Weight: -454 1.39/1.46 c Elapsed CPU time: 1.44278 s Remaining CPU time: 1798.56 s 1.39/1.49 c core #47 1.39/1.49 c Core size: 4 Core Weight: 1 Total Weight: -453 1.39/1.49 c Elapsed CPU time: 1.47477 s Remaining CPU time: 1798.53 s 1.49/1.53 c core #48 1.49/1.53 c Core size: 4 Core Weight: 1 Total Weight: -452 1.49/1.53 c Elapsed CPU time: 1.50577 s Remaining CPU time: 1798.49 s 1.49/1.56 c core #49 1.49/1.56 c Core size: 4 Core Weight: 1 Total Weight: -451 1.49/1.56 c Elapsed CPU time: 1.53677 s Remaining CPU time: 1798.46 s 1.49/1.59 c core #50 1.49/1.59 c Core size: 4 Core Weight: 1 Total Weight: -450 1.49/1.59 c Elapsed CPU time: 1.56576 s Remaining CPU time: 1798.43 s 1.59/1.62 c core #51 1.59/1.62 c Core size: 4 Core Weight: 1 Total Weight: -449 1.59/1.62 c Elapsed CPU time: 1.59676 s Remaining CPU time: 1798.4 s 1.59/1.65 c core #52 1.59/1.65 c Core size: 4 Core Weight: 1 Total Weight: -448 1.59/1.65 c Elapsed CPU time: 1.62675 s Remaining CPU time: 1798.37 s 1.59/1.68 c core #53 1.59/1.68 c Core size: 4 Core Weight: 1 Total Weight: -447 1.59/1.68 c Elapsed CPU time: 1.65675 s Remaining CPU time: 1798.34 s 1.69/1.71 c core #54 1.69/1.71 c Core size: 4 Core Weight: 1 Total Weight: -446 1.69/1.71 c Elapsed CPU time: 1.68774 s Remaining CPU time: 1798.31 s 1.69/1.74 c core #55 1.69/1.74 c Core size: 4 Core Weight: 1 Total Weight: -445 1.69/1.74 c Elapsed CPU time: 1.71774 s Remaining CPU time: 1798.28 s 1.69/1.77 c core #56 1.69/1.77 c Core size: 4 Core Weight: 1 Total Weight: -444 1.69/1.77 c Elapsed CPU time: 1.74973 s Remaining CPU time: 1798.25 s 1.79/1.80 c core #57 1.79/1.80 c Core size: 4 Core Weight: 1 Total Weight: -443 1.79/1.80 c Elapsed CPU time: 1.78073 s Remaining CPU time: 1798.22 s 1.79/1.84 c core #58 1.79/1.84 c Core size: 4 Core Weight: 1 Total Weight: -442 1.79/1.84 c Elapsed CPU time: 1.81172 s Remaining CPU time: 1798.19 s 1.79/1.87 c core #59 1.79/1.87 c Core size: 4 Core Weight: 1 Total Weight: -441 1.79/1.87 c Elapsed CPU time: 1.84372 s Remaining CPU time: 1798.16 s 1.89/1.90 c core #60 1.89/1.90 c Core size: 4 Core Weight: 1 Total Weight: -440 1.89/1.90 c Elapsed CPU time: 1.87472 s Remaining CPU time: 1798.13 s 1.89/1.93 c core #61 1.89/1.93 c Core size: 4 Core Weight: 1 Total Weight: -439 1.89/1.93 c Elapsed CPU time: 1.90571 s Remaining CPU time: 1798.09 s 1.89/1.96 c core #62 1.89/1.96 c Core size: 4 Core Weight: 1 Total Weight: -438 1.89/1.96 c Elapsed CPU time: 1.93571 s Remaining CPU time: 1798.06 s 1.89/1.99 c core #63 1.89/1.99 c Core size: 4 Core Weight: 1 Total Weight: -437 1.89/1.99 c Elapsed CPU time: 1.9667 s Remaining CPU time: 1798.03 s 1.99/2.02 c core #64 1.99/2.02 c Core size: 4 Core Weight: 1 Total Weight: -436 1.99/2.02 c Elapsed CPU time: 1.9967 s Remaining CPU time: 1798 s 1.99/2.06 c core #65 1.99/2.06 c Core size: 4 Core Weight: 1 Total Weight: -435 1.99/2.06 c Elapsed CPU time: 2.02469 s Remaining CPU time: 1797.98 s 1.99/2.09 c core #66 1.99/2.09 c Core size: 4 Core Weight: 1 Total Weight: -434 1.99/2.09 c Elapsed CPU time: 2.05469 s Remaining CPU time: 1797.95 s 2.09/2.12 c core #67 2.09/2.12 c Core size: 4 Core Weight: 1 Total Weight: -433 2.09/2.12 c Elapsed CPU time: 2.08468 s Remaining CPU time: 1797.92 s 2.09/2.15 c core #68 2.09/2.15 c Core size: 4 Core Weight: 1 Total Weight: -432 2.09/2.15 c Elapsed CPU time: 2.11668 s Remaining CPU time: 1797.88 s 2.09/2.18 c core #69 2.09/2.18 c Core size: 4 Core Weight: 1 Total Weight: -431 2.09/2.18 c Elapsed CPU time: 2.14767 s Remaining CPU time: 1797.85 s 2.19/2.21 c core #70 2.19/2.21 c Core size: 4 Core Weight: 1 Total Weight: -430 2.19/2.21 c Elapsed CPU time: 2.17967 s Remaining CPU time: 1797.82 s 2.19/2.24 c core #71 2.19/2.24 c Core size: 4 Core Weight: 1 Total Weight: -429 2.19/2.24 c Elapsed CPU time: 2.21166 s Remaining CPU time: 1797.79 s 2.19/2.28 c core #72 2.19/2.28 c Core size: 4 Core Weight: 1 Total Weight: -428 2.19/2.28 c Elapsed CPU time: 2.24266 s Remaining CPU time: 1797.76 s 2.29/2.31 c core #73 2.29/2.31 c Core size: 4 Core Weight: 1 Total Weight: -427 2.29/2.31 c Elapsed CPU time: 2.27265 s Remaining CPU time: 1797.73 s 2.29/2.34 c core #74 2.29/2.34 c Core size: 4 Core Weight: 1 Total Weight: -426 2.29/2.34 c Elapsed CPU time: 2.30265 s Remaining CPU time: 1797.7 s 2.29/2.37 c core #75 2.29/2.37 c Core size: 4 Core Weight: 1 Total Weight: -425 2.29/2.37 c Elapsed CPU time: 2.33365 s Remaining CPU time: 1797.67 s 2.39/2.40 c core #76 2.39/2.40 c Core size: 4 Core Weight: 1 Total Weight: -424 2.39/2.40 c Elapsed CPU time: 2.36364 s Remaining CPU time: 1797.64 s 2.39/2.43 c core #77 2.39/2.43 c Core size: 4 Core Weight: 1 Total Weight: -423 2.39/2.43 c Elapsed CPU time: 2.39464 s Remaining CPU time: 1797.61 s 2.39/2.46 c core #78 2.39/2.46 c Core size: 4 Core Weight: 1 Total Weight: -422 2.39/2.46 c Elapsed CPU time: 2.42463 s Remaining CPU time: 1797.58 s 2.39/2.50 c core #79 2.39/2.50 c Core size: 4 Core Weight: 1 Total Weight: -421 2.39/2.50 c Elapsed CPU time: 2.45563 s Remaining CPU time: 1797.54 s 2.49/2.53 c core #80 2.49/2.53 c Core size: 4 Core Weight: 1 Total Weight: -420 2.49/2.53 c Elapsed CPU time: 2.48562 s Remaining CPU time: 1797.51 s 2.49/2.56 c core #81 2.49/2.56 c Core size: 4 Core Weight: 1 Total Weight: -419 2.49/2.56 c Elapsed CPU time: 2.51562 s Remaining CPU time: 1797.48 s 2.49/2.59 c core #82 2.49/2.59 c Core size: 4 Core Weight: 1 Total Weight: -418 2.49/2.59 c Elapsed CPU time: 2.54561 s Remaining CPU time: 1797.45 s 2.59/2.62 c core #83 2.59/2.62 c Core size: 4 Core Weight: 1 Total Weight: -417 2.59/2.62 c Elapsed CPU time: 2.57561 s Remaining CPU time: 1797.42 s 2.59/2.65 c core #84 2.59/2.65 c Core size: 4 Core Weight: 1 Total Weight: -416 2.59/2.65 c Elapsed CPU time: 2.6056 s Remaining CPU time: 1797.39 s 2.59/2.68 c core #85 2.59/2.68 c Core size: 4 Core Weight: 1 Total Weight: -415 2.59/2.68 c Elapsed CPU time: 2.6366 s Remaining CPU time: 1797.36 s 2.69/2.71 c core #86 2.69/2.71 c Core size: 4 Core Weight: 1 Total Weight: -414 2.69/2.71 c Elapsed CPU time: 2.66759 s Remaining CPU time: 1797.33 s 2.69/2.74 c core #87 2.69/2.74 c Core size: 4 Core Weight: 1 Total Weight: -413 2.69/2.74 c Elapsed CPU time: 2.69759 s Remaining CPU time: 1797.3 s 2.69/2.77 c core #88 2.69/2.77 c Core size: 4 Core Weight: 1 Total Weight: -412 2.69/2.77 c Elapsed CPU time: 2.72659 s Remaining CPU time: 1797.27 s 2.79/2.80 c core #89 2.79/2.80 c Core size: 4 Core Weight: 1 Total Weight: -411 2.79/2.80 c Elapsed CPU time: 2.75858 s Remaining CPU time: 1797.24 s 2.79/2.83 c core #90 2.79/2.83 c Core size: 4 Core Weight: 1 Total Weight: -410 2.79/2.83 c Elapsed CPU time: 2.78858 s Remaining CPU time: 1797.21 s 2.79/2.87 c core #91 2.79/2.87 c Core size: 4 Core Weight: 1 Total Weight: -409 2.79/2.87 c Elapsed CPU time: 2.82057 s Remaining CPU time: 1797.18 s 2.89/2.90 c core #92 2.89/2.90 c Core size: 4 Core Weight: 1 Total Weight: -408 2.89/2.90 c Elapsed CPU time: 2.85157 s Remaining CPU time: 1797.15 s 2.89/2.93 c core #93 2.89/2.93 c Core size: 4 Core Weight: 1 Total Weight: -407 2.89/2.93 c Elapsed CPU time: 2.88256 s Remaining CPU time: 1797.12 s 2.89/2.96 c core #94 2.89/2.96 c Core size: 4 Core Weight: 1 Total Weight: -406 2.89/2.96 c Elapsed CPU time: 2.91356 s Remaining CPU time: 1797.09 s 2.89/2.99 c core #95 2.89/2.99 c Core size: 4 Core Weight: 1 Total Weight: -405 2.89/2.99 c Elapsed CPU time: 2.94455 s Remaining CPU time: 1797.06 s 2.99/3.02 c core #96 2.99/3.02 c Core size: 4 Core Weight: 1 Total Weight: -404 2.99/3.02 c Elapsed CPU time: 2.97655 s Remaining CPU time: 1797.02 s 2.99/3.06 c core #97 2.99/3.06 c Core size: 4 Core Weight: 1 Total Weight: -403 2.99/3.06 c Elapsed CPU time: 3.00854 s Remaining CPU time: 1796.99 s 2.99/3.09 c core #98 2.99/3.09 c Core size: 4 Core Weight: 1 Total Weight: -402 2.99/3.09 c Elapsed CPU time: 3.04054 s Remaining CPU time: 1796.96 s 3.09/3.12 c core #99 3.09/3.12 c Core size: 4 Core Weight: 1 Total Weight: -401 3.09/3.12 c Elapsed CPU time: 3.07153 s Remaining CPU time: 1796.93 s 3.09/3.15 c core #100 3.09/3.15 c Core size: 4 Core Weight: 1 Total Weight: -400 3.09/3.15 c Elapsed CPU time: 3.10253 s Remaining CPU time: 1796.9 s 3.09/3.18 c core #101 3.09/3.18 c Core size: 4 Core Weight: 1 Total Weight: -399 3.09/3.18 c Elapsed CPU time: 3.13252 s Remaining CPU time: 1796.87 s 3.20/3.21 c core #102 3.20/3.21 c Core size: 4 Core Weight: 1 Total Weight: -398 3.20/3.21 c Elapsed CPU time: 3.16552 s Remaining CPU time: 1796.83 s 3.20/3.25 c core #103 3.20/3.25 c Core size: 4 Core Weight: 1 Total Weight: -397 3.20/3.25 c Elapsed CPU time: 3.19551 s Remaining CPU time: 1796.8 s 3.20/3.28 c core #104 3.20/3.28 c Core size: 4 Core Weight: 1 Total Weight: -396 3.20/3.28 c Elapsed CPU time: 3.22751 s Remaining CPU time: 1796.77 s 3.29/3.31 c core #105 3.29/3.31 c Core size: 4 Core Weight: 1 Total Weight: -395 3.29/3.31 c Elapsed CPU time: 3.2575 s Remaining CPU time: 1796.74 s 3.29/3.34 c core #106 3.29/3.34 c Core size: 4 Core Weight: 1 Total Weight: -394 3.29/3.34 c Elapsed CPU time: 3.2895 s Remaining CPU time: 1796.71 s 3.29/3.37 c core #107 3.29/3.37 c Core size: 4 Core Weight: 1 Total Weight: -393 3.29/3.37 c Elapsed CPU time: 3.31949 s Remaining CPU time: 1796.68 s 3.39/3.41 c core #108 3.39/3.41 c Core size: 4 Core Weight: 1 Total Weight: -392 3.39/3.41 c Elapsed CPU time: 3.35049 s Remaining CPU time: 1796.65 s 3.39/3.44 c core #109 3.39/3.44 c Core size: 4 Core Weight: 1 Total Weight: -391 3.39/3.44 c Elapsed CPU time: 3.38248 s Remaining CPU time: 1796.62 s 3.39/3.47 c core #110 3.39/3.47 c Core size: 4 Core Weight: 1 Total Weight: -390 3.39/3.47 c Elapsed CPU time: 3.41448 s Remaining CPU time: 1796.59 s 3.49/3.50 c core #111 3.49/3.50 c Core size: 4 Core Weight: 1 Total Weight: -389 3.49/3.50 c Elapsed CPU time: 3.44648 s Remaining CPU time: 1796.55 s 3.49/3.53 c core #112 3.49/3.53 c Core size: 4 Core Weight: 1 Total Weight: -388 3.49/3.53 c Elapsed CPU time: 3.47847 s Remaining CPU time: 1796.52 s 3.49/3.57 c core #113 3.49/3.57 c Core size: 4 Core Weight: 1 Total Weight: -387 3.49/3.57 c Elapsed CPU time: 3.50947 s Remaining CPU time: 1796.49 s 3.58/3.60 c core #114 3.58/3.60 c Core size: 4 Core Weight: 1 Total Weight: -386 3.58/3.60 c Elapsed CPU time: 3.54146 s Remaining CPU time: 1796.46 s 3.58/3.63 c core #115 3.58/3.63 c Core size: 4 Core Weight: 1 Total Weight: -385 3.58/3.63 c Elapsed CPU time: 3.57246 s Remaining CPU time: 1796.43 s 3.58/3.66 c core #116 3.58/3.66 c Core size: 4 Core Weight: 1 Total Weight: -384 3.58/3.66 c Elapsed CPU time: 3.60345 s Remaining CPU time: 1796.4 s 3.58/3.69 c core #117 3.58/3.69 c Core size: 4 Core Weight: 1 Total Weight: -383 3.58/3.69 c Elapsed CPU time: 3.63545 s Remaining CPU time: 1796.36 s 3.69/3.72 c core #118 3.69/3.72 c Core size: 4 Core Weight: 1 Total Weight: -382 3.69/3.72 c Elapsed CPU time: 3.66644 s Remaining CPU time: 1796.33 s 3.69/3.76 c core #119 3.69/3.76 c Core size: 4 Core Weight: 1 Total Weight: -381 3.69/3.76 c Elapsed CPU time: 3.69844 s Remaining CPU time: 1796.3 s 3.69/3.79 c core #120 3.69/3.79 c Core size: 4 Core Weight: 1 Total Weight: -380 3.69/3.79 c Elapsed CPU time: 3.72943 s Remaining CPU time: 1796.27 s 3.79/3.82 c core #121 3.79/3.82 c Core size: 4 Core Weight: 1 Total Weight: -379 3.79/3.82 c Elapsed CPU time: 3.76243 s Remaining CPU time: 1796.24 s 3.79/3.85 c core #122 3.79/3.85 c Core size: 4 Core Weight: 1 Total Weight: -378 3.79/3.85 c Elapsed CPU time: 3.79242 s Remaining CPU time: 1796.21 s 3.79/3.88 c core #123 3.79/3.88 c Core size: 4 Core Weight: 1 Total Weight: -377 3.79/3.88 c Elapsed CPU time: 3.82342 s Remaining CPU time: 1796.18 s 3.89/3.92 c core #124 3.89/3.92 c Core size: 4 Core Weight: 1 Total Weight: -376 3.89/3.92 c Elapsed CPU time: 3.85641 s Remaining CPU time: 1796.14 s 3.89/3.95 c core #125 3.89/3.95 c Core size: 4 Core Weight: 1 Total Weight: -375 3.89/3.95 c Elapsed CPU time: 3.88841 s Remaining CPU time: 1796.11 s 3.89/3.98 c core #126 3.89/3.98 c Core size: 4 Core Weight: 1 Total Weight: -374 3.89/3.98 c Elapsed CPU time: 3.9194 s Remaining CPU time: 1796.08 s 3.99/4.01 c core #127 3.99/4.01 c Core size: 4 Core Weight: 1 Total Weight: -373 3.99/4.01 c Elapsed CPU time: 3.9494 s Remaining CPU time: 1796.05 s 3.99/4.04 c core #128 3.99/4.04 c Core size: 4 Core Weight: 1 Total Weight: -372 3.99/4.04 c Elapsed CPU time: 3.9794 s Remaining CPU time: 1796.02 s 3.99/4.08 c core #129 3.99/4.08 c Core size: 4 Core Weight: 1 Total Weight: -371 3.99/4.08 c Elapsed CPU time: 4.01139 s Remaining CPU time: 1795.99 s 4.09/4.11 c core #130 4.09/4.11 c Core size: 4 Core Weight: 1 Total Weight: -370 4.09/4.11 c Elapsed CPU time: 4.04439 s Remaining CPU time: 1795.96 s 4.09/4.14 c core #131 4.09/4.14 c Core size: 4 Core Weight: 1 Total Weight: -369 4.09/4.14 c Elapsed CPU time: 4.07438 s Remaining CPU time: 1795.93 s 4.09/4.17 c core #132 4.09/4.17 c Core size: 4 Core Weight: 1 Total Weight: -368 4.09/4.17 c Elapsed CPU time: 4.10637 s Remaining CPU time: 1795.89 s 4.18/4.20 c core #133 4.18/4.20 c Core size: 4 Core Weight: 1 Total Weight: -367 4.18/4.20 c Elapsed CPU time: 4.13737 s Remaining CPU time: 1795.86 s 4.18/4.24 c core #134 4.18/4.24 c Core size: 4 Core Weight: 1 Total Weight: -366 4.18/4.24 c Elapsed CPU time: 4.16937 s Remaining CPU time: 1795.83 s 4.18/4.27 c core #135 4.18/4.27 c Core size: 4 Core Weight: 1 Total Weight: -365 4.18/4.27 c Elapsed CPU time: 4.20236 s Remaining CPU time: 1795.8 s 4.30/4.30 c core #136 4.30/4.30 c Core size: 4 Core Weight: 1 Total Weight: -364 4.30/4.30 c Elapsed CPU time: 4.23336 s Remaining CPU time: 1795.77 s 4.30/4.33 c core #137 4.30/4.33 c Core size: 4 Core Weight: 1 Total Weight: -363 4.30/4.33 c Elapsed CPU time: 4.26535 s Remaining CPU time: 1795.73 s 4.30/4.37 c core #138 4.30/4.37 c Core size: 4 Core Weight: 1 Total Weight: -362 4.30/4.37 c Elapsed CPU time: 4.29735 s Remaining CPU time: 1795.7 s 4.30/4.40 c core #139 4.30/4.40 c Core size: 4 Core Weight: 1 Total Weight: -361 4.30/4.40 c Elapsed CPU time: 4.33034 s Remaining CPU time: 1795.67 s 4.40/4.43 c core #140 4.40/4.43 c Core size: 4 Core Weight: 1 Total Weight: -360 4.40/4.43 c Elapsed CPU time: 4.36134 s Remaining CPU time: 1795.64 s 4.40/4.46 c core #141 4.40/4.46 c Core size: 4 Core Weight: 1 Total Weight: -359 4.40/4.46 c Elapsed CPU time: 4.39333 s Remaining CPU time: 1795.61 s 4.40/4.50 c core #142 4.40/4.50 c Core size: 4 Core Weight: 1 Total Weight: -358 4.40/4.50 c Elapsed CPU time: 4.42433 s Remaining CPU time: 1795.58 s 4.49/4.53 c core #143 4.49/4.53 c Core size: 4 Core Weight: 1 Total Weight: -357 4.49/4.53 c Elapsed CPU time: 4.45532 s Remaining CPU time: 1795.54 s 4.49/4.56 c core #144 4.49/4.56 c Core size: 4 Core Weight: 1 Total Weight: -356 4.49/4.56 c Elapsed CPU time: 4.48732 s Remaining CPU time: 1795.51 s 4.49/4.59 c core #145 4.49/4.59 c Core size: 4 Core Weight: 1 Total Weight: -355 4.49/4.59 c Elapsed CPU time: 4.52031 s Remaining CPU time: 1795.48 s 4.59/4.62 c core #146 4.59/4.62 c Core size: 4 Core Weight: 1 Total Weight: -354 4.59/4.62 c Elapsed CPU time: 4.55231 s Remaining CPU time: 1795.45 s 4.59/4.66 c core #147 4.59/4.66 c Core size: 4 Core Weight: 1 Total Weight: -353 4.59/4.66 c Elapsed CPU time: 4.5833 s Remaining CPU time: 1795.42 s 4.59/4.69 c core #148 4.59/4.69 c Core size: 4 Core Weight: 1 Total Weight: -352 4.59/4.69 c Elapsed CPU time: 4.6143 s Remaining CPU time: 1795.39 s 4.69/4.72 c core #149 4.69/4.72 c Core size: 4 Core Weight: 1 Total Weight: -351 4.69/4.72 c Elapsed CPU time: 4.64629 s Remaining CPU time: 1795.35 s 4.69/4.75 c core #150 4.69/4.75 c Core size: 4 Core Weight: 1 Total Weight: -350 4.69/4.75 c Elapsed CPU time: 4.67829 s Remaining CPU time: 1795.32 s 4.69/4.79 c core #151 4.69/4.79 c Core size: 4 Core Weight: 1 Total Weight: -349 4.69/4.79 c Elapsed CPU time: 4.71128 s Remaining CPU time: 1795.29 s 4.79/4.82 c core #152 4.79/4.82 c Core size: 4 Core Weight: 1 Total Weight: -348 4.79/4.82 c Elapsed CPU time: 4.74128 s Remaining CPU time: 1795.26 s 4.79/4.85 c core #153 4.79/4.85 c Core size: 4 Core Weight: 1 Total Weight: -347 4.79/4.85 c Elapsed CPU time: 4.77227 s Remaining CPU time: 1795.23 s 4.79/4.88 c core #154 4.79/4.88 c Core size: 4 Core Weight: 1 Total Weight: -346 4.79/4.88 c Elapsed CPU time: 4.80527 s Remaining CPU time: 1795.19 s 4.89/4.92 c core #155 4.89/4.92 c Core size: 4 Core Weight: 1 Total Weight: -345 4.89/4.92 c Elapsed CPU time: 4.83726 s Remaining CPU time: 1795.16 s 4.89/4.95 c core #156 4.89/4.95 c Core size: 4 Core Weight: 1 Total Weight: -344 4.89/4.95 c Elapsed CPU time: 4.86826 s Remaining CPU time: 1795.13 s 4.89/4.98 c core #157 4.89/4.98 c Core size: 4 Core Weight: 1 Total Weight: -343 4.89/4.98 c Elapsed CPU time: 4.90225 s Remaining CPU time: 1795.1 s 4.99/5.01 c core #158 4.99/5.01 c Core size: 4 Core Weight: 1 Total Weight: -342 4.99/5.01 c Elapsed CPU time: 4.93425 s Remaining CPU time: 1795.07 s 4.99/5.05 c core #159 4.99/5.05 c Core size: 4 Core Weight: 1 Total Weight: -341 4.99/5.05 c Elapsed CPU time: 4.96624 s Remaining CPU time: 1795.03 s 4.99/5.08 c core #160 4.99/5.08 c Core size: 4 Core Weight: 1 Total Weight: -340 4.99/5.08 c Elapsed CPU time: 4.99924 s Remaining CPU time: 1795 s 5.09/5.11 c core #161 5.09/5.11 c Core size: 4 Core Weight: 1 Total Weight: -339 5.09/5.11 c Elapsed CPU time: 5.03024 s Remaining CPU time: 1794.97 s 5.09/5.14 c core #162 5.09/5.14 c Core size: 4 Core Weight: 1 Total Weight: -338 5.09/5.14 c Elapsed CPU time: 5.06223 s Remaining CPU time: 1794.94 s 5.09/5.18 c core #163 5.09/5.18 c Core size: 4 Core Weight: 1 Total Weight: -337 5.09/5.18 c Elapsed CPU time: 5.09422 s Remaining CPU time: 1794.91 s 5.19/5.21 c core #164 5.19/5.21 c Core size: 4 Core Weight: 1 Total Weight: -336 5.19/5.21 c Elapsed CPU time: 5.12522 s Remaining CPU time: 1794.87 s 5.19/5.24 c core #165 5.19/5.24 c Core size: 4 Core Weight: 1 Total Weight: -335 5.19/5.24 c Elapsed CPU time: 5.15721 s Remaining CPU time: 1794.84 s 5.19/5.28 c core #166 5.19/5.28 c Core size: 4 Core Weight: 1 Total Weight: -334 5.19/5.28 c Elapsed CPU time: 5.18921 s Remaining CPU time: 1794.81 s 5.29/5.31 c core #167 5.29/5.31 c Core size: 4 Core Weight: 1 Total Weight: -333 5.29/5.31 c Elapsed CPU time: 5.22021 s Remaining CPU time: 1794.78 s 5.29/5.34 c core #168 5.29/5.34 c Core size: 4 Core Weight: 1 Total Weight: -332 5.29/5.34 c Elapsed CPU time: 5.2512 s Remaining CPU time: 1794.75 s 5.29/5.37 c core #169 5.29/5.37 c Core size: 4 Core Weight: 1 Total Weight: -331 5.29/5.37 c Elapsed CPU time: 5.2832 s Remaining CPU time: 1794.72 s 5.40/5.41 c core #170 5.40/5.41 c Core size: 4 Core Weight: 1 Total Weight: -330 5.40/5.41 c Elapsed CPU time: 5.31619 s Remaining CPU time: 1794.68 s 5.40/5.44 c core #171 5.40/5.44 c Core size: 4 Core Weight: 1 Total Weight: -329 5.40/5.44 c Elapsed CPU time: 5.34919 s Remaining CPU time: 1794.65 s 5.40/5.47 c core #172 5.40/5.47 c Core size: 4 Core Weight: 1 Total Weight: -328 5.40/5.47 c Elapsed CPU time: 5.38218 s Remaining CPU time: 1794.62 s 5.49/5.51 c core #173 5.49/5.51 c Core size: 4 Core Weight: 1 Total Weight: -327 5.49/5.51 c Elapsed CPU time: 5.41418 s Remaining CPU time: 1794.59 s 5.49/5.54 c core #174 5.49/5.54 c Core size: 4 Core Weight: 1 Total Weight: -326 5.49/5.54 c Elapsed CPU time: 5.44517 s Remaining CPU time: 1794.55 s 5.49/5.57 c core #175 5.49/5.57 c Core size: 4 Core Weight: 1 Total Weight: -325 5.49/5.57 c Elapsed CPU time: 5.47717 s Remaining CPU time: 1794.52 s 5.59/5.60 c core #176 5.59/5.60 c Core size: 4 Core Weight: 1 Total Weight: -324 5.59/5.60 c Elapsed CPU time: 5.50816 s Remaining CPU time: 1794.49 s 5.59/5.64 c core #177 5.59/5.64 c Core size: 4 Core Weight: 1 Total Weight: -323 5.59/5.64 c Elapsed CPU time: 5.54116 s Remaining CPU time: 1794.46 s 5.59/5.67 c core #178 5.59/5.67 c Core size: 4 Core Weight: 1 Total Weight: -322 5.59/5.67 c Elapsed CPU time: 5.57215 s Remaining CPU time: 1794.43 s 5.68/5.70 c core #179 5.68/5.70 c Core size: 4 Core Weight: 1 Total Weight: -321 5.68/5.70 c Elapsed CPU time: 5.60415 s Remaining CPU time: 1794.4 s 5.68/5.73 c core #180 5.68/5.73 c Core size: 4 Core Weight: 1 Total Weight: -320 5.68/5.73 c Elapsed CPU time: 5.63414 s Remaining CPU time: 1794.37 s 5.68/5.77 c core #181 5.68/5.77 c Core size: 4 Core Weight: 1 Total Weight: -319 5.68/5.77 c Elapsed CPU time: 5.66814 s Remaining CPU time: 1794.33 s 5.79/5.80 c core #182 5.79/5.80 c Core size: 4 Core Weight: 1 Total Weight: -318 5.79/5.80 c Elapsed CPU time: 5.70213 s Remaining CPU time: 1794.3 s 5.79/5.83 c core #183 5.79/5.83 c Core size: 4 Core Weight: 1 Total Weight: -317 5.79/5.83 c Elapsed CPU time: 5.73513 s Remaining CPU time: 1794.26 s 5.79/5.87 c core #184 5.79/5.87 c Core size: 4 Core Weight: 1 Total Weight: -316 5.79/5.87 c Elapsed CPU time: 5.76712 s Remaining CPU time: 1794.23 s 5.89/5.90 c core #185 5.89/5.90 c Core size: 4 Core Weight: 1 Total Weight: -315 5.89/5.90 c Elapsed CPU time: 5.80112 s Remaining CPU time: 1794.2 s 5.89/5.93 c core #186 5.89/5.93 c Core size: 4 Core Weight: 1 Total Weight: -314 5.89/5.93 c Elapsed CPU time: 5.83311 s Remaining CPU time: 1794.17 s 5.89/5.97 c core #187 5.89/5.97 c Core size: 4 Core Weight: 1 Total Weight: -313 5.89/5.97 c Elapsed CPU time: 5.86611 s Remaining CPU time: 1794.13 s 5.99/6.00 c core #188 5.99/6.00 c Core size: 4 Core Weight: 1 Total Weight: -312 5.99/6.00 c Elapsed CPU time: 5.8981 s Remaining CPU time: 1794.1 s 5.99/6.03 c core #189 5.99/6.03 c Core size: 4 Core Weight: 1 Total Weight: -311 5.99/6.03 c Elapsed CPU time: 5.9311 s Remaining CPU time: 1794.07 s 5.99/6.06 c core #190 5.99/6.06 c Core size: 4 Core Weight: 1 Total Weight: -310 5.99/6.06 c Elapsed CPU time: 5.96209 s Remaining CPU time: 1794.04 s 6.09/6.10 c core #191 6.09/6.10 c Core size: 4 Core Weight: 1 Total Weight: -309 6.09/6.10 c Elapsed CPU time: 5.99609 s Remaining CPU time: 1794 s 6.09/6.13 c core #192 6.09/6.13 c Core size: 4 Core Weight: 1 Total Weight: -308 6.09/6.13 c Elapsed CPU time: 6.02908 s Remaining CPU time: 1793.97 s 6.09/6.16 c core #193 6.09/6.16 c Core size: 4 Core Weight: 1 Total Weight: -307 6.09/6.16 c Elapsed CPU time: 6.06108 s Remaining CPU time: 1793.94 s 6.19/6.20 c core #194 6.19/6.20 c Core size: 4 Core Weight: 1 Total Weight: -306 6.19/6.20 c Elapsed CPU time: 6.09407 s Remaining CPU time: 1793.91 s 6.19/6.23 c core #195 6.19/6.23 c Core size: 4 Core Weight: 1 Total Weight: -305 6.19/6.23 c Elapsed CPU time: 6.12607 s Remaining CPU time: 1793.87 s 6.19/6.26 c core #196 6.19/6.26 c Core size: 4 Core Weight: 1 Total Weight: -304 6.19/6.26 c Elapsed CPU time: 6.16006 s Remaining CPU time: 1793.84 s 6.29/6.30 c core #197 6.29/6.30 c Core size: 4 Core Weight: 1 Total Weight: -303 6.29/6.30 c Elapsed CPU time: 6.19206 s Remaining CPU time: 1793.81 s 6.29/6.33 c core #198 6.29/6.33 c Core size: 4 Core Weight: 1 Total Weight: -302 6.29/6.33 c Elapsed CPU time: 6.22305 s Remaining CPU time: 1793.78 s 6.29/6.36 c core #199 6.29/6.36 c Core size: 4 Core Weight: 1 Total Weight: -301 6.29/6.36 c Elapsed CPU time: 6.25705 s Remaining CPU time: 1793.74 s 6.39/6.40 c core #200 6.39/6.40 c Core size: 4 Core Weight: 1 Total Weight: -300 6.39/6.40 c Elapsed CPU time: 6.29004 s Remaining CPU time: 1793.71 s 6.39/6.43 c core #201 6.39/6.43 c Core size: 4 Core Weight: 1 Total Weight: -299 6.39/6.43 c Elapsed CPU time: 6.32404 s Remaining CPU time: 1793.68 s 6.39/6.47 c core #202 6.39/6.47 c Core size: 4 Core Weight: 1 Total Weight: -298 6.39/6.47 c Elapsed CPU time: 6.35803 s Remaining CPU time: 1793.64 s 6.39/6.50 c core #203 6.39/6.50 c Core size: 4 Core Weight: 1 Total Weight: -297 6.39/6.50 c Elapsed CPU time: 6.39203 s Remaining CPU time: 1793.61 s 6.49/6.53 c core #204 6.49/6.53 c Core size: 4 Core Weight: 1 Total Weight: -296 6.49/6.53 c Elapsed CPU time: 6.42402 s Remaining CPU time: 1793.58 s 6.49/6.57 c core #205 6.49/6.57 c Core size: 4 Core Weight: 1 Total Weight: -295 6.49/6.57 c Elapsed CPU time: 6.45802 s Remaining CPU time: 1793.54 s 6.49/6.60 c core #206 6.49/6.60 c Core size: 4 Core Weight: 1 Total Weight: -294 6.49/6.60 c Elapsed CPU time: 6.49101 s Remaining CPU time: 1793.51 s 6.60/6.63 c core #207 6.60/6.63 c Core size: 4 Core Weight: 1 Total Weight: -293 6.60/6.63 c Elapsed CPU time: 6.52501 s Remaining CPU time: 1793.47 s 6.60/6.67 c core #208 6.60/6.67 c Core size: 4 Core Weight: 1 Total Weight: -292 6.60/6.67 c Elapsed CPU time: 6.558 s Remaining CPU time: 1793.44 s 6.69/6.70 c core #209 6.69/6.70 c Core size: 4 Core Weight: 1 Total Weight: -291 6.69/6.70 c Elapsed CPU time: 6.59 s Remaining CPU time: 1793.41 s 6.69/6.74 c core #210 6.69/6.74 c Core size: 4 Core Weight: 1 Total Weight: -290 6.69/6.74 c Elapsed CPU time: 6.62299 s Remaining CPU time: 1793.38 s 6.69/6.77 c core #211 6.69/6.77 c Core size: 4 Core Weight: 1 Total Weight: -289 6.69/6.77 c Elapsed CPU time: 6.65499 s Remaining CPU time: 1793.35 s 6.79/6.80 c core #212 6.79/6.80 c Core size: 4 Core Weight: 1 Total Weight: -288 6.79/6.80 c Elapsed CPU time: 6.68698 s Remaining CPU time: 1793.31 s 6.79/6.84 c core #213 6.79/6.84 c Core size: 4 Core Weight: 1 Total Weight: -287 6.79/6.84 c Elapsed CPU time: 6.71998 s Remaining CPU time: 1793.28 s 6.79/6.87 c core #214 6.79/6.87 c Core size: 4 Core Weight: 1 Total Weight: -286 6.79/6.87 c Elapsed CPU time: 6.75397 s Remaining CPU time: 1793.25 s 6.88/6.91 c core #215 6.88/6.91 c Core size: 4 Core Weight: 1 Total Weight: -285 6.88/6.91 c Elapsed CPU time: 6.78697 s Remaining CPU time: 1793.21 s 6.88/6.94 c core #216 6.88/6.94 c Core size: 4 Core Weight: 1 Total Weight: -284 6.88/6.94 c Elapsed CPU time: 6.81896 s Remaining CPU time: 1793.18 s 6.88/6.97 c core #217 6.88/6.97 c Core size: 4 Core Weight: 1 Total Weight: -283 6.88/6.97 c Elapsed CPU time: 6.85196 s Remaining CPU time: 1793.15 s 6.99/7.01 c core #218 6.99/7.01 c Core size: 4 Core Weight: 1 Total Weight: -282 6.99/7.01 c Elapsed CPU time: 6.88495 s Remaining CPU time: 1793.12 s 6.99/7.04 c core #219 6.99/7.04 c Core size: 4 Core Weight: 1 Total Weight: -281 6.99/7.04 c Elapsed CPU time: 6.91895 s Remaining CPU time: 1793.08 s 6.99/7.07 c core #220 6.99/7.07 c Core size: 4 Core Weight: 1 Total Weight: -280 6.99/7.07 c Elapsed CPU time: 6.95194 s Remaining CPU time: 1793.05 s 7.09/7.11 c core #221 7.09/7.11 c Core size: 4 Core Weight: 1 Total Weight: -279 7.09/7.11 c Elapsed CPU time: 6.98394 s Remaining CPU time: 1793.02 s 7.09/7.14 c core #222 7.09/7.14 c Core size: 4 Core Weight: 1 Total Weight: -278 7.09/7.14 c Elapsed CPU time: 7.01693 s Remaining CPU time: 1792.98 s 7.09/7.17 c core #223 7.09/7.17 c Core size: 4 Core Weight: 1 Total Weight: -277 7.09/7.17 c Elapsed CPU time: 7.05093 s Remaining CPU time: 1792.95 s 7.19/7.21 c core #224 7.19/7.21 c Core size: 4 Core Weight: 1 Total Weight: -276 7.19/7.21 c Elapsed CPU time: 7.08392 s Remaining CPU time: 1792.92 s 7.19/7.24 c core #225 7.19/7.24 c Core size: 4 Core Weight: 1 Total Weight: -275 7.19/7.24 c Elapsed CPU time: 7.11792 s Remaining CPU time: 1792.88 s 7.19/7.27 c core #226 7.19/7.27 c Core size: 4 Core Weight: 1 Total Weight: -274 7.19/7.28 c Elapsed CPU time: 7.15091 s Remaining CPU time: 1792.85 s 7.29/7.31 c core #227 7.29/7.31 c Core size: 4 Core Weight: 1 Total Weight: -273 7.29/7.31 c Elapsed CPU time: 7.18591 s Remaining CPU time: 1792.81 s 7.29/7.34 c core #228 7.29/7.34 c Core size: 4 Core Weight: 1 Total Weight: -272 7.29/7.34 c Elapsed CPU time: 7.2189 s Remaining CPU time: 1792.78 s 7.29/7.38 c core #229 7.29/7.38 c Core size: 4 Core Weight: 1 Total Weight: -271 7.29/7.38 c Elapsed CPU time: 7.2529 s Remaining CPU time: 1792.75 s 7.39/7.41 c core #230 7.39/7.41 c Core size: 4 Core Weight: 1 Total Weight: -270 7.39/7.41 c Elapsed CPU time: 7.28789 s Remaining CPU time: 1792.71 s 7.39/7.45 c core #231 7.39/7.45 c Core size: 4 Core Weight: 1 Total Weight: -269 7.39/7.45 c Elapsed CPU time: 7.32189 s Remaining CPU time: 1792.68 s 7.39/7.48 c core #232 7.39/7.48 c Core size: 4 Core Weight: 1 Total Weight: -268 7.39/7.48 c Elapsed CPU time: 7.35488 s Remaining CPU time: 1792.65 s 7.48/7.51 c core #233 7.48/7.51 c Core size: 4 Core Weight: 1 Total Weight: -267 7.48/7.51 c Elapsed CPU time: 7.38688 s Remaining CPU time: 1792.61 s 7.48/7.55 c core #234 7.48/7.55 c Core size: 4 Core Weight: 1 Total Weight: -266 7.48/7.55 c Elapsed CPU time: 7.42087 s Remaining CPU time: 1792.58 s 7.48/7.58 c core #235 7.48/7.58 c Core size: 4 Core Weight: 1 Total Weight: -265 7.48/7.58 c Elapsed CPU time: 7.45487 s Remaining CPU time: 1792.55 s 7.59/7.62 c core #236 7.59/7.62 c Core size: 4 Core Weight: 1 Total Weight: -264 7.59/7.62 c Elapsed CPU time: 7.48986 s Remaining CPU time: 1792.51 s 7.59/7.65 c core #237 7.59/7.65 c Core size: 4 Core Weight: 1 Total Weight: -263 7.59/7.65 c Elapsed CPU time: 7.52386 s Remaining CPU time: 1792.48 s 7.59/7.68 c core #238 7.59/7.68 c Core size: 4 Core Weight: 1 Total Weight: -262 7.59/7.69 c Elapsed CPU time: 7.55685 s Remaining CPU time: 1792.44 s 7.69/7.72 c core #239 7.69/7.72 c Core size: 4 Core Weight: 1 Total Weight: -261 7.69/7.72 c Elapsed CPU time: 7.59085 s Remaining CPU time: 1792.41 s 7.69/7.75 c core #240 7.69/7.75 c Core size: 4 Core Weight: 1 Total Weight: -260 7.69/7.75 c Elapsed CPU time: 7.62284 s Remaining CPU time: 1792.38 s 7.69/7.79 c core #241 7.69/7.79 c Core size: 4 Core Weight: 1 Total Weight: -259 7.69/7.79 c Elapsed CPU time: 7.65484 s Remaining CPU time: 1792.35 s 7.78/7.82 c core #242 7.78/7.82 c Core size: 4 Core Weight: 1 Total Weight: -258 7.78/7.82 c Elapsed CPU time: 7.68583 s Remaining CPU time: 1792.31 s 7.78/7.85 c core #243 7.78/7.85 c Core size: 9 Core Weight: 1 Total Weight: -257 7.78/7.85 c Elapsed CPU time: 7.71783 s Remaining CPU time: 1792.28 s 7.78/7.89 c core #244 7.78/7.89 c Core size: 9 Core Weight: 1 Total Weight: -256 7.78/7.89 c Elapsed CPU time: 7.74982 s Remaining CPU time: 1792.25 s 7.88/7.92 c core #245 7.88/7.92 c Core size: 9 Core Weight: 1 Total Weight: -255 7.88/7.92 c Elapsed CPU time: 7.78382 s Remaining CPU time: 1792.22 s 7.88/7.96 c core #246 7.88/7.96 c Core size: 8 Core Weight: 1 Total Weight: -254 7.88/7.96 c Elapsed CPU time: 7.81681 s Remaining CPU time: 1792.18 s 7.88/7.99 c core #247 7.88/7.99 c Core size: 14 Core Weight: 1 Total Weight: -253 7.88/7.99 c Elapsed CPU time: 7.84981 s Remaining CPU time: 1792.15 s 7.98/8.02 c core #248 7.98/8.02 c Core size: 9 Core Weight: 1 Total Weight: -252 7.98/8.02 c Elapsed CPU time: 7.8828 s Remaining CPU time: 1792.12 s 7.98/8.06 c core #249 7.98/8.06 c Core size: 19 Core Weight: 1 Total Weight: -251 7.98/8.06 c Elapsed CPU time: 7.9158 s Remaining CPU time: 1792.08 s 7.98/8.09 c core #250 7.98/8.09 c Core size: 9 Core Weight: 1 Total Weight: -250 7.98/8.09 c Elapsed CPU time: 7.94979 s Remaining CPU time: 1792.05 s 8.08/8.13 c core #251 8.08/8.13 c Core size: 18 Core Weight: 1 Total Weight: -249 8.08/8.13 c Elapsed CPU time: 7.98379 s Remaining CPU time: 1792.02 s 8.08/8.16 c ============================[ Search Statistics ]============================== 8.08/8.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.08/8.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.08/8.16 c =============================================================================== 8.08/8.16 c | 0 | 1028 17473 40211 | 5824 0 nan | 0.000 % | 8.08/8.16 c =============================================================================== 8.08/8.16 c core #252 8.08/8.16 c Core size: 17 Core Weight: 1 Total Weight: -248 8.08/8.16 c Elapsed CPU time: 8.01778 s Remaining CPU time: 1791.98 s 8.08/8.19 c ============================[ Search Statistics ]============================== 8.08/8.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.08/8.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.08/8.19 c =============================================================================== 8.08/8.19 c | 0 | 1034 17474 40223 | 5824 0 nan | 0.000 % | 8.08/8.19 c =============================================================================== 8.08/8.19 c core #253 8.08/8.19 c Core size: 15 Core Weight: 1 Total Weight: -247 8.08/8.19 c Elapsed CPU time: 8.04978 s Remaining CPU time: 1791.95 s 8.18/8.23 c ============================[ Search Statistics ]============================== 8.18/8.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.18/8.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.18/8.23 c =============================================================================== 8.18/8.23 c | 0 | 1040 17475 40235 | 5825 0 nan | 0.000 % | 8.18/8.23 c =============================================================================== 8.18/8.23 c core #254 8.18/8.23 c Core size: 22 Core Weight: 1 Total Weight: -246 8.18/8.23 c Elapsed CPU time: 8.08277 s Remaining CPU time: 1791.92 s 8.18/8.26 c ============================[ Search Statistics ]============================== 8.18/8.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.18/8.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.18/8.26 c =============================================================================== 8.18/8.26 c | 0 | 1048 17476 40251 | 5825 0 nan | 0.000 % | 8.18/8.26 c =============================================================================== 8.18/8.26 c core #255 8.18/8.26 c Core size: 15 Core Weight: 1 Total Weight: -245 8.18/8.26 c Elapsed CPU time: 8.11477 s Remaining CPU time: 1791.89 s 8.18/8.30 c ============================[ Search Statistics ]============================== 8.18/8.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.18/8.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.18/8.30 c =============================================================================== 8.18/8.30 c | 0 | 1054 17477 40263 | 5825 0 nan | 0.000 % | 8.28/8.30 c =============================================================================== 8.28/8.30 c core #256 8.28/8.30 c Core size: 21 Core Weight: 1 Total Weight: -244 8.28/8.30 c Elapsed CPU time: 8.14776 s Remaining CPU time: 1791.85 s 8.28/8.33 c ============================[ Search Statistics ]============================== 8.28/8.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.28/8.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.28/8.33 c =============================================================================== 8.28/8.33 c | 0 | 1062 17478 40279 | 5826 0 nan | 0.000 % | 8.28/8.33 c =============================================================================== 8.28/8.33 c core #257 8.28/8.33 c Core size: 15 Core Weight: 1 Total Weight: -243 8.28/8.33 c Elapsed CPU time: 8.18176 s Remaining CPU time: 1791.82 s 8.28/8.36 c ============================[ Search Statistics ]============================== 8.28/8.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.28/8.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.28/8.36 c =============================================================================== 8.28/8.36 c | 0 | 1068 17479 40291 | 5826 0 nan | 0.000 % | 8.28/8.37 c =============================================================================== 8.28/8.37 c core #258 8.28/8.37 c Core size: 27 Core Weight: 1 Total Weight: -242 8.28/8.37 c Elapsed CPU time: 8.21575 s Remaining CPU time: 1791.78 s 8.38/8.40 c ============================[ Search Statistics ]============================== 8.38/8.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.38/8.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.38/8.40 c =============================================================================== 8.38/8.40 c | 0 | 1078 17480 40311 | 5826 0 nan | 0.000 % | 8.38/8.40 c =============================================================================== 8.38/8.40 c core #259 8.38/8.40 c Core size: 27 Core Weight: 1 Total Weight: -241 8.38/8.40 c Elapsed CPU time: 8.24975 s Remaining CPU time: 1791.75 s 8.38/8.43 c ============================[ Search Statistics ]============================== 8.38/8.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.38/8.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.38/8.43 c =============================================================================== 8.38/8.43 c | 0 | 1088 17481 40331 | 5827 0 nan | 0.000 % | 8.38/8.44 c =============================================================================== 8.38/8.44 c core #260 8.38/8.44 c Core size: 15 Core Weight: 1 Total Weight: -240 8.38/8.44 c Elapsed CPU time: 8.28474 s Remaining CPU time: 1791.72 s 8.38/8.47 c ============================[ Search Statistics ]============================== 8.38/8.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.38/8.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.38/8.47 c =============================================================================== 8.38/8.47 c | 0 | 1094 17482 40343 | 5827 0 nan | 0.000 % | 8.38/8.47 c =============================================================================== 8.38/8.47 c core #261 8.38/8.47 c Core size: 17 Core Weight: 1 Total Weight: -239 8.38/8.47 c Elapsed CPU time: 8.31774 s Remaining CPU time: 1791.68 s 8.48/8.50 c ============================[ Search Statistics ]============================== 8.48/8.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.48/8.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.48/8.50 c =============================================================================== 8.48/8.50 c | 0 | 1100 17483 40355 | 5827 0 nan | 0.000 % | 8.48/8.51 c =============================================================================== 8.48/8.51 c core #262 8.48/8.51 c Core size: 22 Core Weight: 1 Total Weight: -238 8.48/8.51 c Elapsed CPU time: 8.35273 s Remaining CPU time: 1791.65 s 8.48/8.54 c ============================[ Search Statistics ]============================== 8.48/8.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.48/8.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.48/8.54 c =============================================================================== 8.48/8.54 c | 0 | 1108 17484 40371 | 5828 0 nan | 0.000 % | 8.48/8.54 c =============================================================================== 8.48/8.54 c core #263 8.48/8.54 c Core size: 22 Core Weight: 1 Total Weight: -237 8.48/8.54 c Elapsed CPU time: 8.38673 s Remaining CPU time: 1791.61 s 8.48/8.57 c ============================[ Search Statistics ]============================== 8.48/8.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.48/8.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.48/8.57 c =============================================================================== 8.48/8.57 c | 0 | 1116 17485 40387 | 5828 0 nan | 0.000 % | 8.48/8.58 c =============================================================================== 8.48/8.58 c core #264 8.48/8.58 c Core size: 20 Core Weight: 1 Total Weight: -236 8.48/8.58 c Elapsed CPU time: 8.41972 s Remaining CPU time: 1791.58 s 8.57/8.61 c ============================[ Search Statistics ]============================== 8.57/8.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.57/8.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.57/8.61 c =============================================================================== 8.57/8.61 c | 0 | 1124 17486 40403 | 5828 0 nan | 0.000 % | 8.57/8.61 c =============================================================================== 8.57/8.61 c core #265 8.57/8.61 c Core size: 21 Core Weight: 1 Total Weight: -235 8.57/8.61 c Elapsed CPU time: 8.45471 s Remaining CPU time: 1791.55 s 8.57/8.64 c ============================[ Search Statistics ]============================== 8.57/8.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.57/8.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.57/8.64 c =============================================================================== 8.57/8.64 c | 0 | 1132 17487 40419 | 5829 0 nan | 0.000 % | 8.57/8.65 c =============================================================================== 8.57/8.65 c core #266 8.57/8.65 c Core size: 52 Core Weight: 1 Total Weight: -234 8.57/8.65 c Elapsed CPU time: 8.48971 s Remaining CPU time: 1791.51 s 8.57/8.68 c ============================[ Search Statistics ]============================== 8.57/8.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.57/8.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.57/8.68 c =============================================================================== 8.57/8.68 c | 0 | 1152 17488 40459 | 5829 0 nan | 0.000 % | 8.57/8.68 c =============================================================================== 8.57/8.68 c core #267 8.57/8.68 c Core size: 27 Core Weight: 1 Total Weight: -233 8.57/8.68 c Elapsed CPU time: 8.5247 s Remaining CPU time: 1791.48 s 8.67/8.72 c ============================[ Search Statistics ]============================== 8.67/8.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.67/8.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.67/8.72 c =============================================================================== 8.67/8.72 c | 0 | 1162 17489 40479 | 5829 0 nan | 0.000 % | 8.67/8.72 c =============================================================================== 8.67/8.72 c core #268 8.67/8.72 c Core size: 15 Core Weight: 1 Total Weight: -232 8.67/8.72 c Elapsed CPU time: 8.5567 s Remaining CPU time: 1791.44 s 8.67/8.75 c ============================[ Search Statistics ]============================== 8.67/8.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.67/8.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.67/8.75 c =============================================================================== 8.67/8.75 c | 0 | 1168 17490 40491 | 5830 0 nan | 0.000 % | 8.67/8.75 c =============================================================================== 8.67/8.75 c core #269 8.67/8.75 c Core size: 21 Core Weight: 1 Total Weight: -231 8.67/8.75 c Elapsed CPU time: 8.59169 s Remaining CPU time: 1791.41 s 8.67/8.79 c ============================[ Search Statistics ]============================== 8.67/8.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.67/8.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.67/8.79 c =============================================================================== 8.67/8.79 c | 0 | 1176 17491 40507 | 5830 0 nan | 0.000 % | 8.67/8.79 c =============================================================================== 8.67/8.79 c core #270 8.67/8.79 c Core size: 20 Core Weight: 1 Total Weight: -230 8.67/8.79 c Elapsed CPU time: 8.62669 s Remaining CPU time: 1791.37 s 8.78/8.82 c ============================[ Search Statistics ]============================== 8.78/8.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.78/8.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.78/8.82 c =============================================================================== 8.78/8.82 c | 0 | 1184 17492 40523 | 5830 0 nan | 0.000 % | 8.78/8.82 c =============================================================================== 8.78/8.82 c core #271 8.78/8.82 c Core size: 21 Core Weight: 1 Total Weight: -229 8.78/8.83 c Elapsed CPU time: 8.66068 s Remaining CPU time: 1791.34 s 8.78/8.86 c ============================[ Search Statistics ]============================== 8.78/8.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.78/8.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.78/8.86 c =============================================================================== 8.78/8.86 c | 0 | 1192 17493 40539 | 5831 0 nan | 0.000 % | 8.78/8.86 c =============================================================================== 8.78/8.86 c core #272 8.78/8.86 c Core size: 21 Core Weight: 1 Total Weight: -228 8.78/8.86 c Elapsed CPU time: 8.69568 s Remaining CPU time: 1791.3 s 8.78/8.89 c ============================[ Search Statistics ]============================== 8.78/8.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.78/8.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.78/8.89 c =============================================================================== 8.78/8.89 c | 0 | 1200 17494 40555 | 5831 0 nan | 0.000 % | 8.78/8.90 c =============================================================================== 8.78/8.90 c core #273 8.78/8.90 c Core size: 27 Core Weight: 1 Total Weight: -227 8.78/8.90 c Elapsed CPU time: 8.72967 s Remaining CPU time: 1791.27 s 8.87/8.93 c ============================[ Search Statistics ]============================== 8.87/8.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.87/8.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.87/8.93 c =============================================================================== 8.87/8.93 c | 0 | 1210 17495 40575 | 5831 0 nan | 0.000 % | 8.87/8.93 c =============================================================================== 8.87/8.93 c core #274 8.87/8.93 c Core size: 22 Core Weight: 1 Total Weight: -226 8.87/8.93 c Elapsed CPU time: 8.76367 s Remaining CPU time: 1791.24 s 8.87/8.96 c ============================[ Search Statistics ]============================== 8.87/8.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.87/8.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.87/8.96 c =============================================================================== 8.87/8.96 c | 0 | 1218 17496 40591 | 5832 0 nan | 0.000 % | 8.87/8.96 c =============================================================================== 8.87/8.96 c core #275 8.87/8.96 c Core size: 26 Core Weight: 1 Total Weight: -225 8.87/8.96 c Elapsed CPU time: 8.79666 s Remaining CPU time: 1791.2 s 8.87/8.99 c ============================[ Search Statistics ]============================== 8.87/8.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.87/9.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.87/9.00 c =============================================================================== 8.87/9.00 c | 0 | 1228 17497 40611 | 5832 0 nan | 0.000 % | 8.97/9.00 c =============================================================================== 8.97/9.00 c core #276 8.97/9.00 c Core size: 27 Core Weight: 1 Total Weight: -224 8.97/9.00 c Elapsed CPU time: 8.83066 s Remaining CPU time: 1791.17 s 8.97/9.03 c ============================[ Search Statistics ]============================== 8.97/9.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.97/9.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.97/9.03 c =============================================================================== 8.97/9.03 c | 0 | 1238 17498 40631 | 5832 0 nan | 0.000 % | 8.97/9.03 c =============================================================================== 8.97/9.03 c core #277 8.97/9.03 c Core size: 27 Core Weight: 1 Total Weight: -223 8.97/9.03 c Elapsed CPU time: 8.86365 s Remaining CPU time: 1791.14 s 8.97/9.07 c ============================[ Search Statistics ]============================== 8.97/9.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.97/9.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.97/9.07 c =============================================================================== 8.97/9.07 c | 0 | 1248 17499 40651 | 5833 0 nan | 0.000 % | 8.97/9.07 c =============================================================================== 8.97/9.07 c core #278 8.97/9.07 c Core size: 27 Core Weight: 1 Total Weight: -222 8.97/9.07 c Elapsed CPU time: 8.89765 s Remaining CPU time: 1791.1 s 9.08/9.10 c ============================[ Search Statistics ]============================== 9.08/9.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.08/9.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.08/9.10 c =============================================================================== 9.08/9.10 c | 0 | 1258 17500 40671 | 5833 0 nan | 0.000 % | 9.08/9.10 c =============================================================================== 9.08/9.10 c core #279 9.08/9.10 c Core size: 16 Core Weight: 1 Total Weight: -221 9.08/9.10 c Elapsed CPU time: 8.93064 s Remaining CPU time: 1791.07 s 9.08/9.14 c ============================[ Search Statistics ]============================== 9.08/9.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.08/9.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.08/9.14 c =============================================================================== 9.08/9.14 c | 0 | 1264 17501 40683 | 5833 0 nan | 0.000 % | 9.08/9.14 c =============================================================================== 9.08/9.14 c core #280 9.08/9.14 c Core size: 21 Core Weight: 1 Total Weight: -220 9.08/9.14 c Elapsed CPU time: 8.96464 s Remaining CPU time: 1791.04 s 9.08/9.17 c ============================[ Search Statistics ]============================== 9.08/9.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.08/9.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.08/9.17 c =============================================================================== 9.08/9.17 c | 0 | 1272 17502 40699 | 5834 0 nan | 0.000 % | 9.08/9.17 c =============================================================================== 9.08/9.17 c core #281 9.08/9.17 c Core size: 20 Core Weight: 1 Total Weight: -219 9.08/9.17 c Elapsed CPU time: 8.99863 s Remaining CPU time: 1791 s 9.17/9.20 c ============================[ Search Statistics ]============================== 9.17/9.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.17/9.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.17/9.20 c =============================================================================== 9.17/9.20 c | 0 | 1280 17503 40715 | 5834 0 nan | 0.000 % | 9.17/9.21 c =============================================================================== 9.17/9.21 c core #282 9.17/9.21 c Core size: 21 Core Weight: 1 Total Weight: -218 9.17/9.21 c Elapsed CPU time: 9.03163 s Remaining CPU time: 1790.97 s 9.17/9.24 c ============================[ Search Statistics ]============================== 9.17/9.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.17/9.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.17/9.24 c =============================================================================== 9.17/9.24 c | 0 | 1288 17504 40731 | 5834 0 nan | 0.000 % | 9.17/9.24 c =============================================================================== 9.17/9.24 c core #283 9.17/9.24 c Core size: 16 Core Weight: 1 Total Weight: -217 9.17/9.24 c Elapsed CPU time: 9.06362 s Remaining CPU time: 1790.94 s 9.17/9.27 c ============================[ Search Statistics ]============================== 9.17/9.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.17/9.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.17/9.27 c =============================================================================== 9.17/9.27 c | 0 | 1294 17505 40743 | 5835 0 nan | 0.000 % | 9.17/9.28 c =============================================================================== 9.17/9.28 c core #284 9.17/9.28 c Core size: 27 Core Weight: 1 Total Weight: -216 9.17/9.28 c Elapsed CPU time: 9.09662 s Remaining CPU time: 1790.9 s 9.27/9.31 c ============================[ Search Statistics ]============================== 9.27/9.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.27/9.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.27/9.31 c =============================================================================== 9.27/9.31 c | 0 | 1304 17506 40763 | 5835 0 nan | 0.000 % | 9.27/9.31 c =============================================================================== 9.27/9.31 c core #285 9.27/9.31 c Core size: 21 Core Weight: 1 Total Weight: -215 9.27/9.31 c Elapsed CPU time: 9.13161 s Remaining CPU time: 1790.87 s 9.27/9.34 c ============================[ Search Statistics ]============================== 9.27/9.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.27/9.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.27/9.34 c =============================================================================== 9.27/9.34 c | 0 | 1312 17507 40779 | 5835 0 nan | 0.000 % | 9.27/9.35 c =============================================================================== 9.27/9.35 c core #286 9.27/9.35 c Core size: 31 Core Weight: 1 Total Weight: -214 9.27/9.35 c Elapsed CPU time: 9.16461 s Remaining CPU time: 1790.84 s 9.27/9.38 c ============================[ Search Statistics ]============================== 9.27/9.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.27/9.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.27/9.38 c =============================================================================== 9.27/9.38 c | 0 | 1324 17508 40803 | 5836 0 nan | 0.000 % | 9.27/9.38 c =============================================================================== 9.27/9.38 c core #287 9.27/9.38 c Core size: 27 Core Weight: 1 Total Weight: -213 9.27/9.38 c Elapsed CPU time: 9.1996 s Remaining CPU time: 1790.8 s 9.37/9.41 c ============================[ Search Statistics ]============================== 9.37/9.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.37/9.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.37/9.41 c =============================================================================== 9.37/9.41 c | 0 | 1334 17509 40823 | 5836 0 nan | 0.000 % | 9.37/9.42 c =============================================================================== 9.37/9.42 c core #288 9.37/9.42 c Core size: 27 Core Weight: 1 Total Weight: -212 9.37/9.42 c Elapsed CPU time: 9.2326 s Remaining CPU time: 1790.77 s 9.37/9.45 c ============================[ Search Statistics ]============================== 9.37/9.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.37/9.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.37/9.45 c =============================================================================== 9.37/9.45 c | 0 | 1344 17510 40843 | 5836 0 nan | 0.000 % | 9.37/9.45 c =============================================================================== 9.37/9.45 c core #289 9.37/9.45 c Core size: 30 Core Weight: 1 Total Weight: -211 9.37/9.45 c Elapsed CPU time: 9.26659 s Remaining CPU time: 1790.73 s 9.37/9.48 c ============================[ Search Statistics ]============================== 9.37/9.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.37/9.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.37/9.48 c =============================================================================== 9.37/9.48 c | 0 | 1356 17511 40867 | 5837 0 nan | 0.000 % | 9.37/9.49 c =============================================================================== 9.37/9.49 c core #290 9.37/9.49 c Core size: 30 Core Weight: 1 Total Weight: -210 9.37/9.49 c Elapsed CPU time: 9.29859 s Remaining CPU time: 1790.7 s 9.47/9.52 c ============================[ Search Statistics ]============================== 9.47/9.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.47/9.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.47/9.52 c =============================================================================== 9.47/9.52 c | 0 | 1368 17512 40891 | 5837 0 nan | 0.000 % | 9.47/9.52 c =============================================================================== 9.47/9.52 c core #291 9.47/9.52 c Core size: 31 Core Weight: 1 Total Weight: -209 9.47/9.52 c Elapsed CPU time: 9.33358 s Remaining CPU time: 1790.67 s 9.47/9.55 c ============================[ Search Statistics ]============================== 9.47/9.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.47/9.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.47/9.55 c =============================================================================== 9.47/9.55 c | 0 | 1379 17513 40913 | 5837 0 nan | 0.000 % | 9.47/9.56 c =============================================================================== 9.47/9.56 c core #292 9.47/9.56 c Core size: 35 Core Weight: 1 Total Weight: -208 9.47/9.56 c Elapsed CPU time: 9.36758 s Remaining CPU time: 1790.63 s 9.47/9.59 c ============================[ Search Statistics ]============================== 9.47/9.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.47/9.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.47/9.59 c =============================================================================== 9.47/9.59 c | 0 | 1392 17514 40939 | 5838 0 nan | 0.000 % | 9.47/9.59 c =============================================================================== 9.47/9.59 c core #293 9.47/9.59 c Core size: 25 Core Weight: 1 Total Weight: -207 9.47/9.59 c Elapsed CPU time: 9.40157 s Remaining CPU time: 1790.6 s 9.57/9.62 c ============================[ Search Statistics ]============================== 9.57/9.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.57/9.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.57/9.62 c =============================================================================== 9.57/9.62 c | 0 | 1402 17515 40959 | 5838 0 nan | 0.000 % | 9.57/9.63 c =============================================================================== 9.57/9.63 c core #294 9.57/9.63 c Core size: 21 Core Weight: 1 Total Weight: -206 9.57/9.63 c Elapsed CPU time: 9.43456 s Remaining CPU time: 1790.57 s 9.57/9.66 c ============================[ Search Statistics ]============================== 9.57/9.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.57/9.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.57/9.66 c =============================================================================== 9.57/9.66 c | 0 | 1410 17516 40975 | 5838 0 nan | 0.000 % | 9.57/9.66 c =============================================================================== 9.57/9.66 c core #295 9.57/9.66 c Core size: 40 Core Weight: 1 Total Weight: -205 9.57/9.66 c Elapsed CPU time: 9.46956 s Remaining CPU time: 1790.53 s 9.57/9.69 c ============================[ Search Statistics ]============================== 9.57/9.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.57/9.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.57/9.69 c =============================================================================== 9.57/9.69 c | 0 | 1424 17517 41003 | 5839 0 nan | 0.000 % | 9.67/9.70 c =============================================================================== 9.67/9.70 c core #296 9.67/9.70 c Core size: 40 Core Weight: 1 Total Weight: -204 9.67/9.70 c Elapsed CPU time: 9.50356 s Remaining CPU time: 1790.5 s 9.67/9.73 c ============================[ Search Statistics ]============================== 9.67/9.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.67/9.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.67/9.73 c =============================================================================== 9.67/9.73 c | 0 | 1440 17518 41035 | 5839 0 nan | 0.000 % | 9.67/9.73 c =============================================================================== 9.67/9.73 c core #297 9.67/9.73 c Core size: 25 Core Weight: 1 Total Weight: -203 9.67/9.73 c Elapsed CPU time: 9.53755 s Remaining CPU time: 1790.46 s 9.67/9.76 c ============================[ Search Statistics ]============================== 9.67/9.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.67/9.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.67/9.76 c =============================================================================== 9.67/9.76 c | 0 | 1450 17519 41055 | 5839 0 nan | 0.000 % | 9.67/9.77 c =============================================================================== 9.67/9.77 c core #298 9.67/9.77 c Core size: 32 Core Weight: 1 Total Weight: -202 9.67/9.77 c Elapsed CPU time: 9.57054 s Remaining CPU time: 1790.43 s 9.67/9.80 c ============================[ Search Statistics ]============================== 9.67/9.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.67/9.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.67/9.80 c =============================================================================== 9.67/9.80 c | 0 | 1462 17520 41079 | 5840 0 nan | 0.000 % | 9.77/9.80 c =============================================================================== 9.77/9.80 c core #299 9.77/9.80 c Core size: 66 Core Weight: 1 Total Weight: -201 9.77/9.80 c Elapsed CPU time: 9.60654 s Remaining CPU time: 1790.39 s 9.77/9.84 c ============================[ Search Statistics ]============================== 9.77/9.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.77/9.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.77/9.84 c =============================================================================== 9.77/9.84 c | 0 | 1486 17521 41127 | 5840 0 nan | 0.000 % | 9.77/9.84 c =============================================================================== 9.77/9.84 c core #300 9.77/9.84 c Core size: 101 Core Weight: 1 Total Weight: -200 9.77/9.84 c Elapsed CPU time: 9.64353 s Remaining CPU time: 1790.36 s 9.77/9.87 c ============================[ Search Statistics ]============================== 9.77/9.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.77/9.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.77/9.87 c =============================================================================== 9.77/9.87 c | 0 | 1524 17522 41203 | 5840 0 nan | 0.000 % | 9.77/9.88 c =============================================================================== 9.77/9.88 c core #301 9.77/9.88 c Core size: 138 Core Weight: 1 Total Weight: -199 9.77/9.88 c Elapsed CPU time: 9.68153 s Remaining CPU time: 1790.32 s 9.87/9.91 c ============================[ Search Statistics ]============================== 9.87/9.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.87/9.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.87/9.91 c =============================================================================== 9.87/9.91 c | 0 | 1569 17523 41293 | 5841 0 nan | 0.000 % | 9.87/9.92 c | 100 | 1569 17523 41293 | 6425 100 49 | 83.362 % | 9.87/9.93 c | 252 | 1569 17523 41293 | 7067 252 42 | 83.362 % | 9.87/9.95 c | 477 | 1569 17523 41293 | 7774 477 45 | 83.362 % | 9.87/9.97 c =============================================================================== 9.87/9.98 c core #302 9.87/9.98 c Core size: 411 Core Weight: 1 Total Weight: -198 9.87/9.98 c Elapsed CPU time: 9.77851 s Remaining CPU time: 1790.22 s 9.96/10.01 c ============================[ Search Statistics ]============================== 9.96/10.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.96/10.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.96/10.01 c =============================================================================== 9.96/10.01 c | 0 | 1668 17524 41491 | 5841 0 nan | 0.000 % | 9.96/10.02 c | 100 | 1668 17524 41491 | 6425 100 46 | 82.496 % | 9.96/10.03 c | 250 | 1668 17524 41491 | 7068 250 65 | 82.496 % | 9.96/10.06 c | 475 | 1668 17524 41491 | 7774 475 77 | 82.496 % | 10.06/10.10 c | 813 | 1668 17524 41491 | 8552 813 91 | 82.496 % | 10.06/10.16 c | 1321 | 1668 17524 41491 | 9407 1321 105 | 82.496 % | 10.17/10.25 c | 2083 | 1668 17524 41491 | 10348 2083 95 | 82.496 % | 10.37/10.43 c | 3223 | 1668 17524 41491 | 11383 3223 103 | 82.496 % | 10.56/10.68 c =============================================================================== 10.66/10.71 c core #303 10.66/10.71 c Core size: 936 Core Weight: 1 Total Weight: -197 10.66/10.71 c Elapsed CPU time: 10.5004 s Remaining CPU time: 1789.5 s 10.66/10.75 c ============================[ Search Statistics ]============================== 10.66/10.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.66/10.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.66/10.75 c =============================================================================== 10.66/10.75 c | 0 | 1854 17525 41863 | 5841 0 nan | 0.000 % | 10.66/10.76 c | 100 | 1854 17525 41863 | 6425 100 32 | 80.916 % | 10.66/10.77 c | 251 | 1854 17525 41863 | 7068 251 34 | 80.916 % | 10.66/10.79 c | 477 | 1854 17525 41863 | 7775 477 42 | 80.916 % | 10.77/10.82 c | 818 | 1853 17525 41863 | 8552 816 51 | 80.926 % | 10.77/10.86 c =============================================================================== 10.77/10.87 c core #304 10.77/10.87 c Core size: 473 Core Weight: 1 Total Weight: -196 10.77/10.87 c Elapsed CPU time: 10.6504 s Remaining CPU time: 1789.35 s 10.87/10.90 c ============================[ Search Statistics ]============================== 10.87/10.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.87/10.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.87/10.90 c =============================================================================== 10.87/10.90 c | 0 | 1954 17526 42063 | 5842 0 nan | 0.000 % | 10.87/10.91 c | 100 | 1954 17526 42063 | 6426 100 62 | 80.092 % | 10.87/10.92 c | 250 | 1954 17526 42063 | 7068 250 37 | 80.092 % | 10.87/10.94 c | 476 | 1954 17526 42063 | 7775 476 37 | 80.092 % | 10.87/10.97 c | 816 | 1954 17526 42063 | 8553 816 39 | 80.092 % | 10.96/11.02 c | 1322 | 1954 17526 42063 | 9408 1322 46 | 80.092 % | 10.96/11.09 c =============================================================================== 11.07/11.10 c core #305 11.07/11.10 c Core size: 578 Core Weight: 1 Total Weight: -195 11.07/11.10 c Elapsed CPU time: 10.8803 s Remaining CPU time: 1789.12 s 11.07/11.14 c ============================[ Search Statistics ]============================== 11.07/11.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.07/11.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.07/11.14 c =============================================================================== 11.07/11.14 c | 0 | 2072 17527 42299 | 5842 0 nan | 0.000 % | 11.07/11.15 c | 100 | 2072 17527 42299 | 6426 100 28 | 79.140 % | 11.07/11.16 c | 250 | 2072 17527 42299 | 7069 250 24 | 79.140 % | 11.07/11.18 c | 475 | 2072 17527 42299 | 7776 475 28 | 79.140 % | 11.16/11.21 c | 814 | 2072 17527 42299 | 8553 814 37 | 79.140 % | 11.16/11.25 c | 1321 | 2072 17527 42299 | 9409 1321 40 | 79.140 % | 11.26/11.33 c | 2082 | 2072 17527 42299 | 10350 2082 43 | 79.140 % | 11.46/11.50 c | 3221 | 2072 17527 42299 | 11385 3221 60 | 79.140 % | 11.76/11.85 c | 4931 | 2072 17527 42299 | 12523 4931 96 | 79.140 % | 12.26/12.31 c =============================================================================== 12.26/12.40 c core #306 12.26/12.40 c Core size: 1044 Core Weight: 1 Total Weight: -194 12.26/12.40 c Elapsed CPU time: 12.1572 s Remaining CPU time: 1787.84 s 12.36/12.44 c ============================[ Search Statistics ]============================== 12.36/12.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.36/12.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.36/12.44 c =============================================================================== 12.36/12.44 c | 0 | 2247 17528 42649 | 5842 0 nan | 0.000 % | 12.36/12.45 c | 100 | 2247 17528 42649 | 6426 100 27 | 77.770 % | 12.36/12.46 c | 250 | 2247 17528 42649 | 7069 250 25 | 77.770 % | 12.36/12.48 c | 477 | 2247 17528 42649 | 7776 477 34 | 77.770 % | 12.46/12.51 c | 815 | 2247 17528 42649 | 8554 815 41 | 77.770 % | 12.46/12.55 c | 1321 | 2247 17528 42649 | 9409 1321 41 | 77.770 % | 12.56/12.63 c | 2081 | 2247 17528 42649 | 10350 2081 43 | 77.770 % | 12.66/12.79 c | 3221 | 2247 17528 42649 | 11385 3221 56 | 77.770 % | 13.06/13.11 c | 4929 | 2247 17528 42649 | 12524 4929 71 | 77.770 % | 13.66/13.70 c | 7491 | 2203 17528 42649 | 13776 4617 51 | 78.205 % | 13.66/13.75 c =============================================================================== 13.76/13.81 c core #307 13.76/13.81 c Core size: 962 Core Weight: 1 Total Weight: -193 13.76/13.81 c Elapsed CPU time: 13.5409 s Remaining CPU time: 1786.46 s 13.76/13.85 c ============================[ Search Statistics ]============================== 13.76/13.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.76/13.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.76/13.85 c =============================================================================== 13.76/13.85 c | 0 | 2404 17529 42963 | 5843 0 nan | 0.000 % | 13.76/13.87 c | 102 | 2404 17529 42963 | 6427 102 105 | 76.581 % | 13.76/13.88 c | 252 | 2404 17529 42963 | 7070 252 70 | 76.581 % | 13.86/13.90 c | 477 | 2404 17529 42963 | 7777 477 54 | 76.581 % | 13.86/13.93 c | 814 | 2404 17529 42963 | 8554 814 50 | 76.581 % | 13.86/13.98 c | 1320 | 2404 17529 42963 | 9410 1320 66 | 76.581 % | 14.06/14.10 c | 2079 | 2404 17529 42963 | 10351 2079 83 | 76.581 % | 14.26/14.36 c | 3220 | 2404 17529 42963 | 11386 3220 103 | 76.581 % | 14.56/14.67 c | 4930 | 2404 17529 42963 | 12524 4930 106 | 76.581 % | 15.36/15.49 c | 7495 | 2404 17529 42963 | 13777 7495 138 | 76.581 % | 16.66/16.76 c | 11340 | 2404 17529 42963 | 15155 11340 146 | 76.581 % | 19.96/20.08 c | 17106 | 2404 17529 42963 | 16670 17106 165 | 76.581 % | 28.16/28.23 c | 25755 | 2404 17529 42963 | 18337 13367 226 | 76.581 % | 42.45/42.51 c | 38729 | 2404 17529 42963 | 20171 26341 279 | 76.581 % | 54.14/54.27 c | 58192 | 2404 17529 42963 | 22188 15158 176 | 76.581 % | 69.04/69.15 c =============================================================================== 69.15/69.24 c core #308 69.15/69.24 c Core size: 873 Core Weight: 1 Total Weight: -192 69.15/69.24 c Elapsed CPU time: 68.6436 s Remaining CPU time: 1731.36 s 69.24/69.36 c ============================[ Search Statistics ]============================== 69.24/69.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 69.24/69.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 69.24/69.36 c =============================================================================== 69.24/69.36 c | 0 | 2541 17530 43237 | 5843 0 nan | 0.000 % | 69.24/69.39 c | 106 | 2541 17530 43237 | 6427 106 115 | 75.572 % | 69.34/69.40 c | 259 | 2541 17530 43237 | 7070 259 80 | 75.572 % | 69.34/69.42 c | 485 | 2541 17530 43237 | 7777 485 66 | 75.572 % | 69.34/69.44 c | 823 | 2541 17530 43237 | 8555 823 60 | 75.572 % | 69.34/69.49 c | 1329 | 2541 17530 43237 | 9410 1329 58 | 75.572 % | 69.44/69.58 c | 2088 | 2541 17530 43237 | 10351 2088 69 | 75.572 % | 69.64/69.79 c | 3228 | 2541 17530 43237 | 11387 3228 92 | 75.572 % | 69.94/70.05 c | 4936 | 2541 17530 43237 | 12525 4936 93 | 75.572 % | 70.43/70.55 c | 7501 | 2541 17530 43237 | 13778 7501 104 | 75.572 % | 71.44/71.55 c | 11345 | 2541 17530 43237 | 15156 11345 113 | 75.572 % | 74.24/74.35 c | 17111 | 2541 17530 43237 | 16671 17111 138 | 75.572 % | 77.44/77.57 c | 25762 | 2541 17530 43237 | 18338 13400 137 | 75.572 % | 84.43/84.55 c | 38742 | 2541 17530 43237 | 20172 12619 159 | 75.572 % | 96.93/97.05 c | 58204 | 2541 17530 43237 | 22190 17598 148 | 75.572 % | 118.92/119.04 c | 87396 | 2541 17530 43237 | 24409 15387 169 | 75.572 % | 166.20/166.32 c =============================================================================== 169.51/169.60 c core #309 169.51/169.60 c Core size: 1943 Core Weight: 1 Total Weight: -191 169.51/169.60 c Elapsed CPU time: 168.411 s Remaining CPU time: 1631.59 s 169.60/169.79 c ============================[ Search Statistics ]============================== 169.60/169.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 169.60/169.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 169.60/169.79 c =============================================================================== 169.60/169.79 c | 0 | 2780 17531 43715 | 5843 0 nan | 0.000 % | 169.70/169.82 c | 101 | 2780 17531 43715 | 6428 101 24 | 73.875 % | 169.70/169.83 c | 251 | 2780 17531 43715 | 7070 251 25 | 73.875 % | 169.70/169.85 c | 477 | 2780 17531 43715 | 7777 477 32 | 73.875 % | 169.70/169.88 c | 815 | 2780 17531 43715 | 8555 815 36 | 73.875 % | 169.81/169.94 c | 1321 | 2780 17531 43715 | 9411 1321 52 | 73.875 % | 169.90/170.04 c | 2080 | 2780 17531 43715 | 10352 2080 65 | 73.875 % | 170.10/170.21 c | 3220 | 2780 17531 43715 | 11387 3220 77 | 73.875 % | 170.41/170.59 c | 4929 | 2780 17531 43715 | 12526 4929 90 | 73.875 % | 171.11/171.25 c | 7491 | 2780 17531 43715 | 13779 7491 99 | 73.875 % | 172.61/172.76 c | 11338 | 2780 17531 43715 | 15156 11338 117 | 73.875 % | 176.30/176.43 c | 17105 | 2780 17531 43715 | 16672 17105 129 | 73.875 % | 183.30/183.56 c | 25755 | 2780 17531 43715 | 18339 13383 137 | 73.875 % | 194.78/195.08 c | 38729 | 2780 17531 43715 | 20173 26357 182 | 73.875 % | 209.37/209.67 c | 58191 | 2780 17531 43715 | 22191 16787 141 | 73.875 % | 229.17/229.47 c | 87383 | 2780 17531 43715 | 24410 28510 188 | 73.875 % | 272.56/272.88 c | 131174 | 2780 17531 43715 | 26851 17299 235 | 73.875 % | 341.44/341.74 c | 196861 | 2780 17531 43715 | 29536 20871 344 | 73.875 % | 437.91/438.21 c | 295387 | 2780 17531 43715 | 32490 26449 251 | 73.875 % | 686.13/686.59 c | 443177 | 2780 17531 43715 | 35739 18701 451 | 73.875 % | 1156.87/1157.50 c | 664865 | 2780 17531 43715 | 39313 38795 834 | 73.875 % |
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-1875375-1245203940/watcher-1875375-1245203940 -o /tmp/evaluation-result-1875375-1245203940/solver-1875375-1245203940 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875375-1245203940.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5264 /proc/meminfo: memFree=1868464/2055920 swapFree=4192956/4192956 [pid=5264] ppid=5262 vsize=3456 CPUtime=0 /proc/5264/stat : 5264 (wbo) R 5262 5264 4859 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 4723502 3538944 242 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0 /proc/5264/statm: 864 242 125 292 0 406 0 [startup+0.0957849 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5264 /proc/meminfo: memFree=1868464/2055920 swapFree=4192956/4192956 [pid=5264] ppid=5262 vsize=5800 CPUtime=0.09 /proc/5264/stat : 5264 (wbo) R 5262 5264 4859 0 -1 4194304 978 0 0 0 9 0 0 0 18 0 1 0 4723502 5939200 962 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/5264/statm: 1450 962 270 292 0 992 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5800 [startup+0.101785 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5264 /proc/meminfo: memFree=1868464/2055920 swapFree=4192956/4192956 [pid=5264] ppid=5262 vsize=5932 CPUtime=0.09 /proc/5264/stat : 5264 (wbo) R 5262 5264 4859 0 -1 4194304 1008 0 0 0 9 0 0 0 18 0 1 0 4723502 6074368 992 1992294400 134512640 135709839 4294956240 18446744073709551615 134548115 0 0 4096 3 0 0 0 17 1 0 0 /proc/5264/statm: 1483 992 281 292 0 1025 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5932 [startup+0.301815 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5264 /proc/meminfo: memFree=1868464/2055920 swapFree=4192956/4192956 [pid=5264] ppid=5262 vsize=11428 CPUtime=0.29 /proc/5264/stat : 5264 (wbo) R 5262 5264 4859 0 -1 4194304 2761 0 0 0 29 0 0 0 19 0 1 0 4723502 11702272 2384 1992294400 134512640 135709839 4294956240 18446744073709551615 134529856 0 0 4096 3 0 0 0 17 1 0 0 /proc/5264/statm: 2857 2384 134 292 0 2562 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11428 [startup+0.701874 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5264 /proc/meminfo: memFree=1868464/2055920 swapFree=4192956/4192956 [pid=5264] ppid=5262 vsize=18292 CPUtime=0.69 /proc/5264/stat : 5264 (wbo) R 5262 5264 4859 0 -1 4194304 4479 0 0 0 68 1 0 0 22 0 1 0 4723502 18731008 4102 1992294400 134512640 135709839 4294956240 18446744073709551615 135165945 0 0 4096 3 0 0 0 17 1 0 0 /proc/5264/statm: 4573 4102 134 292 0 4278 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18292 [startup+1.50199 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5265 /proc/meminfo: memFree=1847528/2055920 swapFree=4192956/4192956 [pid=5264] ppid=5262 vsize=32032 CPUtime=1.49 /proc/5264/stat : 5264 (wbo) R 5262 5264 4859 0 -1 4194304 7906 0 0 0 147 2 0 0 25 0 1 0 4723502 32800768 7529 1992294400 134512640 135709839 4294956240 18446744073709551615 134570397 0 0 4096 3 0 0 0 17 1 0 0 /proc/5264/statm: 8008 7530 134 292 0 7713 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32032 [startup+3.10122 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5265 /proc/meminfo: memFree=1828648/2055920 swapFree=4192956/4192956 [pid=5264] ppid=5262 vsize=59004 CPUtime=3.09 /proc/5264/stat : 5264 (wbo) R 5262 5264 4859 0 -1 4194304 14654 0 0 0 304 5 0 0 25 0 1 0 4723502 60420096 14277 1992294400 134512640 135709839 4294956240 18446744073709551615 135167543 0 0 4096 3 0 0 0 17 1 0 0 /proc/5264/statm: 14751 14277 134 292 0 14456 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 59004 [startup+6.30269 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5265 /proc/meminfo: memFree=1773800/2055920 swapFree=4192956/4192956 [pid=5264] ppid=5262 vsize=111088 CPUtime=6.29 /proc/5264/stat : 5264 (wbo) R 5262 5264 4859 0 -1 4194304 27694 0 0 0 619 10 0 0 25 0 1 0 4723502 113754112 27317 1992294400 134512640 135709839 4294956240 18446744073709551615 135166305 0 0 4096 3 0 0 0 17 1 0 0 /proc/5264/statm: 27772 27317 134 292 0 27477 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 111088 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5265 /proc/meminfo: memFree=1698040/2055920 swapFree=4192956/4192956 [pid=5264] ppid=5262 vsize=175508 CPUtime=12.66 /proc/5264/stat : 5264 (wbo) R 5262 5264 4859 0 -1 4194304 43844 0 0 0 1244 22 0 0 25 0 1 0 4723502 179720192 43359 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5264/statm: 43877 43359 136 292 0 43582 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 175508 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5265 /proc/meminfo: memFree=1674040/2055920 swapFree=4192956/4192956 [pid=5264] ppid=5262 vsize=196460 CPUtime=25.45 /proc/5264/stat : 5264 (wbo) R 5262 5264 4859 0 -1 4194304 49109 0 0 0 2513 32 0 0 25 0 1 0 4723502 201175040 48624 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5264/statm: 49115 48624 136 292 0 48820 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 196460 [startup+51.1012 s] /proc/loadavg: 1.08 1.02 1.01 2/65 5265 /proc/meminfo: memFree=1636024/2055920 swapFree=4192956/4192956 [pid=5264] ppid=5262 vsize=235284 CPUtime=51.05 /proc/5264/stat : 5264 (wbo) R 5262 5264 4859 0 -1 4194304 58788 0 0 0 5061 44 0 0 25 0 1 0 4723502 240930816 58303 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 1 0 0 /proc/5264/statm: 58821 58303 136 292 0 58526 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 235284 [startup+102.306 s] /proc/loadavg: 1.03 1.01 1.00 2/65 5265 /proc/meminfo: memFree=1584824/2055920 swapFree=4192956/4192956 [pid=5264] ppid=5262 vsize=285328 CPUtime=102.23 /proc/5264/stat : 5264 (wbo) R 5262 5264 4859 0 -1 4194304 71331 0 0 0 10148 75 0 0 25 0 1 0 4723502 292175872 70846 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5264/statm: 71332 70846 136 292 0 71037 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 285328 [startup+162.301 s] /proc/loadavg: 1.01 1.01 1.00 2/65 5271 /proc/meminfo: memFree=1487672/2055920 swapFree=4192956/4192956 [pid=5264] ppid=5262 vsize=383500 CPUtime=162.21 /proc/5264/stat : 5264 (wbo) R 5262 5264 4859 0 -1 4194304 95862 0 0 0 16113 108 0 0 25 0 1 0 4723502 392704000 95377 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5264/statm: 95875 95377 136 292 0 95580 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 383500 [startup+222.301 s] /proc/loadavg: 1.18 1.06 1.02 2/65 5767 /proc/meminfo: memFree=1398960/2055920 swapFree=4192956/4192956 [pid=5264] ppid=5262 vsize=432276 CPUtime=222.07 /proc/5264/stat : 5264 (wbo) R 5262 5264 4859 0 -1 4194304 108050 0 0 0 22063 144 0 0 25 0 1 0 4723502 442650624 107565 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5264/statm: 108069 107565 136 292 0 107774 0 Current children cumulated CPU time (s) 222.07 Current children cumulated vsize (KiB) 432276 [startup+282.302 s] /proc/loadavg: 1.07 1.05 1.01 2/65 5767 /proc/meminfo: memFree=1318448/2055920 swapFree=4192956/4192956 [pid=5264] ppid=5262 vsize=513332 CPUtime=282.05 /proc/5264/stat : 5264 (wbo) R 5262 5264 4859 0 -1 4194304 128288 0 0 0 28029 176 0 0 25 0 1 0 4723502 525651968 127803 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5264/statm: 128333 127803 136 292 0 128038 0 Current children cumulated CPU time (s) 282.05 Current children cumulated vsize (KiB) 513332 [startup+342.302 s] /proc/loadavg: 1.02 1.04 1.01 2/65 5767 /proc/meminfo: memFree=1236592/2055920 swapFree=4192956/4192956 [pid=5264] ppid=5262 vsize=594604 CPUtime=342.04 /proc/5264/stat : 5264 (wbo) R 5262 5264 4859 0 -1 4194304 148609 0 0 0 33999 205 0 0 25 0 1 0 4723502 608874496 148124 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/5264/statm: 148651 148124 136 292 0 148356 0 Current children cumulated CPU time (s) 342.04 Current children cumulated vsize (KiB) 594604 [startup+402.302 s] /proc/loadavg: 1.01 1.03 1.00 2/65 5767 /proc/meminfo: memFree=1165488/2055920 swapFree=4192956/4192956 [pid=5264] ppid=5262 vsize=666240 CPUtime=402.02 /proc/5264/stat : 5264 (wbo) R 5262 5264 4859 0 -1 4194304 166473 0 0 0 39967 235 0 0 25 0 1 0 4723502 682229760 165988 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5264/statm: 166560 165988 136 292 0 166265 0 Current children cumulated CPU time (s) 402.02 Current children cumulated vsize (KiB) 666240 [startup+462.301 s] /proc/loadavg: 1.00 1.02 1.00 2/65 5767 /proc/meminfo: memFree=1084848/2055920 swapFree=4192956/4192956 [pid=5264] ppid=5262 vsize=746688 CPUtime=461.99 /proc/5264/stat : 5264 (wbo) R 5262 5264 4859 0 -1 4194304 186589 0 0 0 45934 265 0 0 25 0 1 0 4723502 764608512 186104 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5264/statm: 186672 186104 136 292 0 186377 0 Current children cumulated CPU time (s) 461.99 Current children cumulated vsize (KiB) 746688 [startup+522.302 s] /proc/loadavg: 1.00 1.02 1.00 2/65 5767 /proc/meminfo: memFree=1015544/2055920 swapFree=4192956/4192956 [pid=5264] ppid=5262 vsize=816352 CPUtime=521.98 /proc/5264/stat : 5264 (wbo) R 5262 5264 4859 0 -1 4194304 203959 0 0 0 51912 286 0 0 25 0 1 0 4723502 835944448 203474 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/5264/statm: 204088 203474 136 292 0 203793 0 Current children cumulated CPU time (s) 521.98 Current children cumulated vsize (KiB) 816352 [startup+582.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 5767 /proc/meminfo: memFree=932152/2055920 swapFree=4192956/4192956 [pid=5264] ppid=5262 vsize=898888 CPUtime=581.95 /proc/5264/stat : 5264 (wbo) R 5262 5264 4859 0 -1 4194304 224596 0 0 0 57886 309 0 0 25 0 1 0 4723502 920461312 224111 1992294400 134512640 135709839 4294956240 18446744073709551615 134574246 0 0 4096 3 0 0 0 17 1 0 0 /proc/5264/statm: 224722 224111 136 292 0 224427 0 Current children cumulated CPU time (s) 581.95 Current children cumulated vsize (KiB) 898888 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5767 /proc/meminfo: memFree=843896/2055920 swapFree=4192956/4192956 [pid=5264] ppid=5262 vsize=986480 CPUtime=641.95 /proc/5264/stat : 5264 (wbo) R 5262 5264 4859 0 -1 4194304 246462 0 0 0 63863 332 0 0 25 0 1 0 4723502 1010155520 245977 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5264/statm: 246620 245977 136 292 0 246325 0 Current children cumulated CPU time (s) 641.95 Current children cumulated vsize (KiB) 986480 [startup+702.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5767 /proc/meminfo: memFree=736504/2055920 swapFree=4192956/4192956 [pid=5264] ppid=5262 vsize=1094648 CPUtime=701.92 /proc/5264/stat : 5264 (wbo) R 5262 5264 4859 0 -1 4194304 273506 0 0 0 69832 360 0 0 25 0 1 0 4723502 1120919552 273021 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5264/statm: 273662 273021 136 292 0 273367 0 Current children cumulated CPU time (s) 701.92 Current children cumulated vsize (KiB) 1094648 [startup+762.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5767 /proc/meminfo: memFree=640376/2055920 swapFree=4192956/4192956 [pid=5264] ppid=5262 vsize=1189956 CPUtime=761.9 /proc/5264/stat : 5264 (wbo) R 5262 5264 4859 0 -1 4194304 297283 0 0 0 75804 386 0 0 25 0 1 0 4723502 1218514944 296798 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5264/statm: 297489 296799 136 292 0 297194 0 Current children cumulated CPU time (s) 761.9 Current children cumulated vsize (KiB) 1189956 [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5767 /proc/meminfo: memFree=540216/2055920 swapFree=4192956/4192956 [pid=5264] ppid=5262 vsize=1290492 CPUtime=821.88 /proc/5264/stat : 5264 (wbo) R 5262 5264 4859 0 -1 4194304 322415 0 0 0 81777 411 0 0 25 0 1 0 4723502 1321463808 321930 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5264/statm: 322623 321930 136 292 0 322328 0 Current children cumulated CPU time (s) 821.88 Current children cumulated vsize (KiB) 1290492 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5767 /proc/meminfo: memFree=450680/2055920 swapFree=4192956/4192956 [pid=5264] ppid=5262 vsize=1379292 CPUtime=881.86 /proc/5264/stat : 5264 (wbo) R 5262 5264 4859 0 -1 4194304 344601 0 0 0 87757 429 0 0 25 0 1 0 4723502 1412395008 344116 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5264/statm: 344823 344116 136 292 0 344528 0 Current children cumulated CPU time (s) 881.86 Current children cumulated vsize (KiB) 1379292 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5767 /proc/meminfo: memFree=350136/2055920 swapFree=4192956/4192956 [pid=5264] ppid=5262 vsize=1481424 CPUtime=941.84 /proc/5264/stat : 5264 (wbo) R 5262 5264 4859 0 -1 4194304 370126 0 0 0 93733 451 0 0 25 0 1 0 4723502 1516978176 369641 1992294400 134512640 135709839 4294956240 18446744073709551615 134573769 0 0 4096 3 0 0 0 17 1 0 0 /proc/5264/statm: 370356 369641 136 292 0 370061 0 Current children cumulated CPU time (s) 941.84 Current children cumulated vsize (KiB) 1481424 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5767 /proc/meminfo: memFree=255160/2055920 swapFree=4192956/4192956 [pid=5264] ppid=5262 vsize=1574616 CPUtime=1001.82 /proc/5264/stat : 5264 (wbo) R 5262 5264 4859 0 -1 4194304 393437 0 0 0 99711 471 0 0 25 0 1 0 4723502 1612406784 392952 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/5264/statm: 393654 392952 136 292 0 393359 0 Current children cumulated CPU time (s) 1001.82 Current children cumulated vsize (KiB) 1574616 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5767 /proc/meminfo: memFree=159672/2055920 swapFree=4192956/4192956 [pid=5264] ppid=5262 vsize=1670932 CPUtime=1061.8 /proc/5264/stat : 5264 (wbo) R 5262 5264 4859 0 -1 4194304 417510 0 0 0 105686 494 0 0 25 0 1 0 4723502 1711034368 417025 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5264/statm: 417733 417025 136 292 0 417438 0 Current children cumulated CPU time (s) 1061.8 Current children cumulated vsize (KiB) 1670932 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5767 /proc/meminfo: memFree=62008/2055920 swapFree=4192956/4192956 [pid=5264] ppid=5262 vsize=1767588 CPUtime=1121.78 /proc/5264/stat : 5264 (wbo) R 5262 5264 4859 0 -1 4194304 441674 0 0 0 111662 516 0 0 25 0 1 0 4723502 1810010112 441189 1992294400 134512640 135709839 4294956240 18446744073709551615 134573815 0 0 4096 3 0 0 0 17 1 0 0 /proc/5264/statm: 441897 441189 136 292 0 441602 0 Current children cumulated CPU time (s) 1121.78 Current children cumulated vsize (KiB) 1767588 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5767 /proc/meminfo: memFree=16056/2055920 swapFree=4192956/4192956 [pid=5264] ppid=5262 vsize=1823080 CPUtime=1181.77 /proc/5264/stat : 5264 (wbo) R 5262 5264 4859 0 -1 4194304 455513 0 0 0 117647 530 0 0 25 0 1 0 4723502 1866833920 455028 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/5264/statm: 455770 455028 136 292 0 455475 0 Current children cumulated CPU time (s) 1181.77 Current children cumulated vsize (KiB) 1823080 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1200 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5767 /proc/meminfo: memFree=14968/2055920 swapFree=4192956/4192956 [pid=5264] ppid=5262 vsize=1843228 CPUtime=1199.47 /proc/5264/stat : 5264 (wbo) R 5262 5264 4859 0 -1 4194304 460545 0 0 0 119413 534 0 0 25 0 1 0 4723502 1887465472 460060 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5264/statm: 460807 460060 136 292 0 460512 0 Current children cumulated CPU time (s) 1199.47 Current children cumulated vsize (KiB) 1843228 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1200.2 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5767 /proc/meminfo: memFree=14968/2055920 swapFree=4192956/4192956 [pid=5264] ppid=5262 vsize=0 CPUtime=1199.66 /proc/5264/stat : 5264 (wbo) R 5262 5264 4859 0 -1 4195332 460545 0 0 0 119413 553 0 0 25 0 1 0 4723502 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/5264/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1199.66 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.29 CPU time (s): 1199.75 CPU user time (s): 1194.13 CPU system time (s): 5.62115 CPU usage (%): 99.9554 Max. virtual memory (cumulated for all children) (KiB): 1843228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1194.13 system time used= 5.62115 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460545 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= 3169 runsolver used 0.944856 second user time and 2.46962 second system time The end
Begin job on node30 at 2009-06-17 03:59:00 IDJOB=1875375 IDBENCH=48215 IDSOLVER=698 FILE ID=node30/1875375-1245203940 PBS_JOBID= 9368313 Free space on /tmp= 66220 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_3.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875375-1245203940/watcher-1875375-1245203940 -o /tmp/evaluation-result-1875375-1245203940/solver-1875375-1245203940 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875375-1245203940.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 04b0fb885ddf05bea62d9eda618b3e5b RANDOM SEED=9170231 node30.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.273 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.273 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: 1869464 kB Buffers: 38340 kB Cached: 104528 kB SwapCached: 0 kB Active: 93868 kB Inactive: 61848 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1869464 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2576 kB Writeback: 0 kB Mapped: 22616 kB Slab: 16796 kB Committed_AS: 68156 kB PageTables: 1364 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-1875375-1245203940.opb Free space on /tmp at the end= 66216 MiB End job on node30 at 2009-06-17 04:19:03