Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.27 | 1800.76 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_60_3.opb |
MD5SUM | 2917e00f55986a046b103b08aa2aecc1 |
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 | -34 |
Best CPU time to get the best result obtained on this benchmark | 1798.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -36 |
Optimality of the best value was proved | NO |
Number of variables | 500 |
Total number of constraints | 500 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 500 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 110 |
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) | 37460 |
Sum of products size (including duplicates) | 74920 |
Number of different products | 18730 |
Sum of products size | 37460 |
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-1875344-1245200210.opb. 0.00/0.00 c Instance file HOME/instance-1875344-1245200210.opb 0.00/0.00 c File size is 1614967 bytes. 0.19/0.24 c Highest Coefficient sum: 110 0.19/0.24 c ============================[ Problem Statistics ]============================= 0.19/0.24 c | | 0.19/0.24 c | Parsing time: 0.24 s | 0.19/0.24 c | Number Variables: 19230 | 0.19/0.24 c | Number Clauses: 19230 | 0.19/0.24 c | Number Cardinality: 1000 | 0.19/0.24 c | Number PB Constraints: 18730 | 0.19/0.25 c core #1 0.19/0.25 c Core size: 4 Core Weight: 1 Total Weight: -499 0.19/0.25 c Elapsed CPU time: 0.240963 s Remaining CPU time: 1799.76 s 0.29/0.31 c core #2 0.29/0.31 c Core size: 4 Core Weight: 1 Total Weight: -498 0.29/0.31 c Elapsed CPU time: 0.294955 s Remaining CPU time: 1799.71 s 0.29/0.37 c core #3 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: -497 0.29/0.37 c Elapsed CPU time: 0.350946 s Remaining CPU time: 1799.65 s 0.39/0.43 c core #4 0.39/0.43 c Core size: 4 Core Weight: 1 Total Weight: -496 0.39/0.43 c Elapsed CPU time: 0.412937 s Remaining CPU time: 1799.59 s 0.39/0.49 c core #5 0.39/0.49 c Core size: 4 Core Weight: 1 Total Weight: -495 0.39/0.49 c Elapsed CPU time: 0.474927 s Remaining CPU time: 1799.53 s 0.50/0.56 c core #6 0.50/0.56 c Core size: 4 Core Weight: 1 Total Weight: -494 0.50/0.56 c Elapsed CPU time: 0.540917 s Remaining CPU time: 1799.46 s 0.59/0.63 c core #7 0.59/0.63 c Core size: 4 Core Weight: 1 Total Weight: -493 0.59/0.63 c Elapsed CPU time: 0.605907 s Remaining CPU time: 1799.39 s 0.69/0.70 c core #8 0.69/0.70 c Core size: 4 Core Weight: 1 Total Weight: -492 0.69/0.70 c Elapsed CPU time: 0.677896 s Remaining CPU time: 1799.32 s 0.69/0.77 c core #9 0.69/0.77 c Core size: 4 Core Weight: 1 Total Weight: -491 0.69/0.77 c Elapsed CPU time: 0.748886 s Remaining CPU time: 1799.25 s 0.79/0.85 c core #10 0.79/0.85 c Core size: 4 Core Weight: 1 Total Weight: -490 0.79/0.85 c Elapsed CPU time: 0.822874 s Remaining CPU time: 1799.18 s 0.89/0.92 c core #11 0.89/0.92 c Core size: 4 Core Weight: 1 Total Weight: -489 0.89/0.92 c Elapsed CPU time: 0.894863 s Remaining CPU time: 1799.11 s 0.89/1.00 c core #12 0.89/1.00 c Core size: 4 Core Weight: 1 Total Weight: -488 0.89/1.00 c Elapsed CPU time: 0.969852 s Remaining CPU time: 1799.03 s 0.99/1.07 c core #13 0.99/1.07 c Core size: 4 Core Weight: 1 Total Weight: -487 0.99/1.07 c Elapsed CPU time: 1.04284 s Remaining CPU time: 1798.96 s 1.09/1.15 c core #14 1.09/1.15 c Core size: 4 Core Weight: 1 Total Weight: -486 1.09/1.15 c Elapsed CPU time: 1.11983 s Remaining CPU time: 1798.88 s 1.19/1.22 c core #15 1.19/1.22 c Core size: 4 Core Weight: 1 Total Weight: -485 1.19/1.22 c Elapsed CPU time: 1.19382 s Remaining CPU time: 1798.81 s 1.29/1.30 c core #16 1.29/1.30 c Core size: 4 Core Weight: 1 Total Weight: -484 1.29/1.30 c Elapsed CPU time: 1.26981 s Remaining CPU time: 1798.73 s 1.29/1.37 c core #17 1.29/1.37 c Core size: 4 Core Weight: 1 Total Weight: -483 1.29/1.37 c Elapsed CPU time: 1.34279 s Remaining CPU time: 1798.66 s 1.39/1.45 c core #18 1.39/1.45 c Core size: 4 Core Weight: 1 Total Weight: -482 1.39/1.45 c Elapsed CPU time: 1.41878 s Remaining CPU time: 1798.58 s 1.49/1.52 c core #19 1.49/1.52 c Core size: 4 Core Weight: 1 Total Weight: -481 1.49/1.52 c Elapsed CPU time: 1.48877 s Remaining CPU time: 1798.51 s 1.49/1.59 c core #20 1.49/1.59 c Core size: 4 Core Weight: 1 Total Weight: -480 1.49/1.59 c Elapsed CPU time: 1.56376 s Remaining CPU time: 1798.44 s 1.59/1.67 c core #21 1.59/1.67 c Core size: 4 Core Weight: 1 Total Weight: -479 1.59/1.67 c Elapsed CPU time: 1.63475 s Remaining CPU time: 1798.37 s 1.69/1.75 c core #22 1.69/1.75 c Core size: 4 Core Weight: 1 Total Weight: -478 1.69/1.75 c Elapsed CPU time: 1.70974 s Remaining CPU time: 1798.29 s 1.79/1.82 c core #23 1.79/1.82 c Core size: 4 Core Weight: 1 Total Weight: -477 1.79/1.82 c Elapsed CPU time: 1.78073 s Remaining CPU time: 1798.22 s 1.79/1.90 c core #24 1.79/1.90 c Core size: 4 Core Weight: 1 Total Weight: -476 1.79/1.90 c Elapsed CPU time: 1.85672 s Remaining CPU time: 1798.14 s 1.89/1.97 c core #25 1.89/1.97 c Core size: 4 Core Weight: 1 Total Weight: -475 1.89/1.97 c Elapsed CPU time: 1.93071 s Remaining CPU time: 1798.07 s 1.99/2.05 c core #26 1.99/2.05 c Core size: 4 Core Weight: 1 Total Weight: -474 1.99/2.05 c Elapsed CPU time: 2.00669 s Remaining CPU time: 1797.99 s 2.10/2.12 c core #27 2.10/2.12 c Core size: 4 Core Weight: 1 Total Weight: -473 2.10/2.12 c Elapsed CPU time: 2.08068 s Remaining CPU time: 1797.92 s 2.10/2.20 c core #28 2.10/2.20 c Core size: 4 Core Weight: 1 Total Weight: -472 2.10/2.20 c Elapsed CPU time: 2.15667 s Remaining CPU time: 1797.84 s 2.19/2.27 c core #29 2.19/2.27 c Core size: 4 Core Weight: 1 Total Weight: -471 2.19/2.27 c Elapsed CPU time: 2.23066 s Remaining CPU time: 1797.77 s 2.29/2.35 c core #30 2.29/2.35 c Core size: 4 Core Weight: 1 Total Weight: -470 2.29/2.35 c Elapsed CPU time: 2.30365 s Remaining CPU time: 1797.7 s 2.39/2.42 c core #31 2.39/2.42 c Core size: 4 Core Weight: 1 Total Weight: -469 2.39/2.42 c Elapsed CPU time: 2.37464 s Remaining CPU time: 1797.63 s 2.39/2.49 c core #32 2.39/2.49 c Core size: 4 Core Weight: 1 Total Weight: -468 2.39/2.49 c Elapsed CPU time: 2.44863 s Remaining CPU time: 1797.55 s 2.49/2.57 c core #33 2.49/2.57 c Core size: 4 Core Weight: 1 Total Weight: -467 2.49/2.57 c Elapsed CPU time: 2.52162 s Remaining CPU time: 1797.48 s 2.59/2.64 c core #34 2.59/2.64 c Core size: 4 Core Weight: 1 Total Weight: -466 2.59/2.64 c Elapsed CPU time: 2.59461 s Remaining CPU time: 1797.41 s 2.69/2.72 c core #35 2.69/2.72 c Core size: 4 Core Weight: 1 Total Weight: -465 2.69/2.72 c Elapsed CPU time: 2.66959 s Remaining CPU time: 1797.33 s 2.69/2.79 c core #36 2.69/2.79 c Core size: 4 Core Weight: 1 Total Weight: -464 2.69/2.79 c Elapsed CPU time: 2.74158 s Remaining CPU time: 1797.26 s 2.79/2.86 c core #37 2.79/2.86 c Core size: 4 Core Weight: 1 Total Weight: -463 2.79/2.86 c Elapsed CPU time: 2.80957 s Remaining CPU time: 1797.19 s 2.89/2.94 c core #38 2.89/2.94 c Core size: 4 Core Weight: 1 Total Weight: -462 2.89/2.94 c Elapsed CPU time: 2.88356 s Remaining CPU time: 1797.12 s 2.99/3.01 c core #39 2.99/3.01 c Core size: 4 Core Weight: 1 Total Weight: -461 2.99/3.01 c Elapsed CPU time: 2.95155 s Remaining CPU time: 1797.05 s 2.99/3.09 c core #40 2.99/3.09 c Core size: 4 Core Weight: 1 Total Weight: -460 2.99/3.09 c Elapsed CPU time: 3.02454 s Remaining CPU time: 1796.98 s 3.09/3.16 c core #41 3.09/3.16 c Core size: 4 Core Weight: 1 Total Weight: -459 3.09/3.16 c Elapsed CPU time: 3.09553 s Remaining CPU time: 1796.9 s 3.19/3.23 c core #42 3.19/3.23 c Core size: 4 Core Weight: 1 Total Weight: -458 3.19/3.23 c Elapsed CPU time: 3.16752 s Remaining CPU time: 1796.83 s 3.29/3.30 c core #43 3.29/3.30 c Core size: 4 Core Weight: 1 Total Weight: -457 3.29/3.30 c Elapsed CPU time: 3.23851 s Remaining CPU time: 1796.76 s 3.29/3.38 c core #44 3.29/3.38 c Core size: 4 Core Weight: 1 Total Weight: -456 3.29/3.38 c Elapsed CPU time: 3.3105 s Remaining CPU time: 1796.69 s 3.39/3.45 c core #45 3.39/3.45 c Core size: 4 Core Weight: 1 Total Weight: -455 3.39/3.45 c Elapsed CPU time: 3.38348 s Remaining CPU time: 1796.62 s 3.49/3.53 c core #46 3.49/3.53 c Core size: 4 Core Weight: 1 Total Weight: -454 3.49/3.53 c Elapsed CPU time: 3.45947 s Remaining CPU time: 1796.54 s 3.59/3.60 c core #47 3.59/3.60 c Core size: 4 Core Weight: 1 Total Weight: -453 3.59/3.60 c Elapsed CPU time: 3.53246 s Remaining CPU time: 1796.47 s 3.59/3.68 c core #48 3.59/3.68 c Core size: 4 Core Weight: 1 Total Weight: -452 3.59/3.68 c Elapsed CPU time: 3.60945 s Remaining CPU time: 1796.39 s 3.69/3.75 c core #49 3.69/3.75 c Core size: 4 Core Weight: 1 Total Weight: -451 3.69/3.75 c Elapsed CPU time: 3.68244 s Remaining CPU time: 1796.32 s 3.79/3.83 c core #50 3.79/3.83 c Core size: 4 Core Weight: 1 Total Weight: -450 3.79/3.83 c Elapsed CPU time: 3.75843 s Remaining CPU time: 1796.24 s 3.89/3.90 c core #51 3.89/3.90 c Core size: 4 Core Weight: 1 Total Weight: -449 3.89/3.90 c Elapsed CPU time: 3.82842 s Remaining CPU time: 1796.17 s 3.89/3.98 c core #52 3.89/3.98 c Core size: 4 Core Weight: 1 Total Weight: -448 3.89/3.98 c Elapsed CPU time: 3.90441 s Remaining CPU time: 1796.1 s 3.99/4.05 c core #53 3.99/4.05 c Core size: 4 Core Weight: 1 Total Weight: -447 3.99/4.05 c Elapsed CPU time: 3.9774 s Remaining CPU time: 1796.02 s 4.08/4.13 c core #54 4.08/4.13 c Core size: 4 Core Weight: 1 Total Weight: -446 4.08/4.13 c Elapsed CPU time: 4.05538 s Remaining CPU time: 1795.94 s 4.18/4.21 c core #55 4.18/4.21 c Core size: 4 Core Weight: 1 Total Weight: -445 4.18/4.21 c Elapsed CPU time: 4.13237 s Remaining CPU time: 1795.87 s 4.18/4.29 c core #56 4.18/4.29 c Core size: 4 Core Weight: 1 Total Weight: -444 4.18/4.29 c Elapsed CPU time: 4.21036 s Remaining CPU time: 1795.79 s 4.30/4.36 c core #57 4.30/4.36 c Core size: 4 Core Weight: 1 Total Weight: -443 4.30/4.36 c Elapsed CPU time: 4.27935 s Remaining CPU time: 1795.72 s 4.39/4.43 c core #58 4.39/4.43 c Core size: 4 Core Weight: 1 Total Weight: -442 4.39/4.43 c Elapsed CPU time: 4.35434 s Remaining CPU time: 1795.65 s 4.49/4.51 c core #59 4.49/4.51 c Core size: 4 Core Weight: 1 Total Weight: -441 4.49/4.51 c Elapsed CPU time: 4.42533 s Remaining CPU time: 1795.57 s 4.49/4.58 c core #60 4.49/4.58 c Core size: 4 Core Weight: 1 Total Weight: -440 4.49/4.58 c Elapsed CPU time: 4.49732 s Remaining CPU time: 1795.5 s 4.59/4.65 c core #61 4.59/4.65 c Core size: 4 Core Weight: 1 Total Weight: -439 4.59/4.65 c Elapsed CPU time: 4.5693 s Remaining CPU time: 1795.43 s 4.69/4.73 c core #62 4.69/4.73 c Core size: 4 Core Weight: 1 Total Weight: -438 4.69/4.73 c Elapsed CPU time: 4.64229 s Remaining CPU time: 1795.36 s 4.78/4.80 c core #63 4.78/4.80 c Core size: 4 Core Weight: 1 Total Weight: -437 4.78/4.80 c Elapsed CPU time: 4.71528 s Remaining CPU time: 1795.28 s 4.78/4.88 c core #64 4.78/4.88 c Core size: 4 Core Weight: 1 Total Weight: -436 4.78/4.88 c Elapsed CPU time: 4.79227 s Remaining CPU time: 1795.21 s 4.89/4.96 c core #65 4.89/4.96 c Core size: 4 Core Weight: 1 Total Weight: -435 4.89/4.96 c Elapsed CPU time: 4.86526 s Remaining CPU time: 1795.13 s 4.99/5.04 c core #66 4.99/5.04 c Core size: 4 Core Weight: 1 Total Weight: -434 4.99/5.04 c Elapsed CPU time: 4.94325 s Remaining CPU time: 1795.06 s 5.09/5.11 c core #67 5.09/5.11 c Core size: 4 Core Weight: 1 Total Weight: -433 5.09/5.11 c Elapsed CPU time: 5.01824 s Remaining CPU time: 1794.98 s 5.09/5.19 c core #68 5.09/5.19 c Core size: 4 Core Weight: 1 Total Weight: -432 5.09/5.19 c Elapsed CPU time: 5.09422 s Remaining CPU time: 1794.91 s 5.19/5.26 c core #69 5.19/5.26 c Core size: 4 Core Weight: 1 Total Weight: -431 5.19/5.26 c Elapsed CPU time: 5.16821 s Remaining CPU time: 1794.83 s 5.29/5.34 c core #70 5.29/5.34 c Core size: 4 Core Weight: 1 Total Weight: -430 5.29/5.34 c Elapsed CPU time: 5.2452 s Remaining CPU time: 1794.75 s 5.40/5.41 c core #71 5.40/5.41 c Core size: 4 Core Weight: 1 Total Weight: -429 5.40/5.41 c Elapsed CPU time: 5.31719 s Remaining CPU time: 1794.68 s 5.40/5.49 c core #72 5.40/5.49 c Core size: 4 Core Weight: 1 Total Weight: -428 5.40/5.49 c Elapsed CPU time: 5.39218 s Remaining CPU time: 1794.61 s 5.50/5.57 c core #73 5.50/5.57 c Core size: 4 Core Weight: 1 Total Weight: -427 5.50/5.57 c Elapsed CPU time: 5.46917 s Remaining CPU time: 1794.53 s 5.59/5.65 c core #74 5.59/5.65 c Core size: 4 Core Weight: 1 Total Weight: -426 5.59/5.65 c Elapsed CPU time: 5.54816 s Remaining CPU time: 1794.45 s 5.69/5.72 c core #75 5.69/5.72 c Core size: 4 Core Weight: 1 Total Weight: -425 5.69/5.72 c Elapsed CPU time: 5.62115 s Remaining CPU time: 1794.38 s 5.79/5.80 c core #76 5.79/5.80 c Core size: 4 Core Weight: 1 Total Weight: -424 5.79/5.80 c Elapsed CPU time: 5.69813 s Remaining CPU time: 1794.3 s 5.79/5.88 c core #77 5.79/5.88 c Core size: 4 Core Weight: 1 Total Weight: -423 5.79/5.88 c Elapsed CPU time: 5.77212 s Remaining CPU time: 1794.23 s 5.89/5.95 c core #78 5.89/5.95 c Core size: 4 Core Weight: 1 Total Weight: -422 5.89/5.95 c Elapsed CPU time: 5.84811 s Remaining CPU time: 1794.15 s 5.99/6.03 c core #79 5.99/6.03 c Core size: 4 Core Weight: 1 Total Weight: -421 5.99/6.03 c Elapsed CPU time: 5.9231 s Remaining CPU time: 1794.08 s 6.09/6.11 c core #80 6.09/6.11 c Core size: 4 Core Weight: 1 Total Weight: -420 6.09/6.11 c Elapsed CPU time: 6.00009 s Remaining CPU time: 1794 s 6.09/6.18 c core #81 6.09/6.18 c Core size: 4 Core Weight: 1 Total Weight: -419 6.09/6.18 c Elapsed CPU time: 6.07508 s Remaining CPU time: 1793.92 s 6.19/6.26 c core #82 6.19/6.26 c Core size: 4 Core Weight: 1 Total Weight: -418 6.19/6.26 c Elapsed CPU time: 6.15306 s Remaining CPU time: 1793.85 s 6.29/6.34 c core #83 6.29/6.34 c Core size: 4 Core Weight: 1 Total Weight: -417 6.29/6.34 c Elapsed CPU time: 6.23005 s Remaining CPU time: 1793.77 s 6.39/6.42 c core #84 6.39/6.42 c Core size: 4 Core Weight: 1 Total Weight: -416 6.39/6.42 c Elapsed CPU time: 6.30804 s Remaining CPU time: 1793.69 s 6.39/6.50 c core #85 6.39/6.50 c Core size: 4 Core Weight: 1 Total Weight: -415 6.39/6.50 c Elapsed CPU time: 6.38503 s Remaining CPU time: 1793.61 s 6.49/6.57 c core #86 6.49/6.57 c Core size: 4 Core Weight: 1 Total Weight: -414 6.49/6.57 c Elapsed CPU time: 6.46002 s Remaining CPU time: 1793.54 s 6.59/6.65 c core #87 6.59/6.65 c Core size: 4 Core Weight: 1 Total Weight: -413 6.59/6.65 c Elapsed CPU time: 6.53501 s Remaining CPU time: 1793.46 s 6.68/6.73 c core #88 6.68/6.73 c Core size: 4 Core Weight: 1 Total Weight: -412 6.68/6.73 c Elapsed CPU time: 6.60999 s Remaining CPU time: 1793.39 s 6.79/6.80 c core #89 6.79/6.80 c Core size: 4 Core Weight: 1 Total Weight: -411 6.79/6.80 c Elapsed CPU time: 6.68398 s Remaining CPU time: 1793.32 s 6.79/6.88 c core #90 6.79/6.88 c Core size: 4 Core Weight: 1 Total Weight: -410 6.79/6.88 c Elapsed CPU time: 6.75897 s Remaining CPU time: 1793.24 s 6.89/6.95 c core #91 6.89/6.95 c Core size: 4 Core Weight: 1 Total Weight: -409 6.89/6.95 c Elapsed CPU time: 6.83196 s Remaining CPU time: 1793.17 s 6.99/7.03 c core #92 6.99/7.03 c Core size: 4 Core Weight: 1 Total Weight: -408 6.99/7.03 c Elapsed CPU time: 6.90795 s Remaining CPU time: 1793.09 s 7.09/7.10 c core #93 7.09/7.10 c Core size: 4 Core Weight: 1 Total Weight: -407 7.09/7.10 c Elapsed CPU time: 6.98094 s Remaining CPU time: 1793.02 s 7.09/7.18 c core #94 7.09/7.18 c Core size: 4 Core Weight: 1 Total Weight: -406 7.09/7.18 c Elapsed CPU time: 7.05393 s Remaining CPU time: 1792.95 s 7.19/7.25 c core #95 7.19/7.25 c Core size: 4 Core Weight: 1 Total Weight: -405 7.19/7.25 c Elapsed CPU time: 7.12492 s Remaining CPU time: 1792.88 s 7.28/7.33 c core #96 7.28/7.33 c Core size: 4 Core Weight: 1 Total Weight: -404 7.28/7.33 c Elapsed CPU time: 7.2009 s Remaining CPU time: 1792.8 s 7.38/7.40 c core #97 7.38/7.40 c Core size: 4 Core Weight: 1 Total Weight: -403 7.38/7.40 c Elapsed CPU time: 7.27789 s Remaining CPU time: 1792.72 s 7.38/7.48 c core #98 7.38/7.48 c Core size: 4 Core Weight: 1 Total Weight: -402 7.38/7.48 c Elapsed CPU time: 7.35188 s Remaining CPU time: 1792.65 s 7.49/7.56 c core #99 7.49/7.56 c Core size: 4 Core Weight: 1 Total Weight: -401 7.49/7.56 c Elapsed CPU time: 7.42687 s Remaining CPU time: 1792.57 s 7.59/7.64 c core #100 7.59/7.64 c Core size: 4 Core Weight: 1 Total Weight: -400 7.59/7.64 c Elapsed CPU time: 7.49986 s Remaining CPU time: 1792.5 s 7.70/7.71 c core #101 7.70/7.71 c Core size: 4 Core Weight: 1 Total Weight: -399 7.70/7.71 c Elapsed CPU time: 7.57485 s Remaining CPU time: 1792.43 s 7.70/7.79 c core #102 7.70/7.79 c Core size: 4 Core Weight: 1 Total Weight: -398 7.70/7.79 c Elapsed CPU time: 7.65184 s Remaining CPU time: 1792.35 s 7.79/7.87 c core #103 7.79/7.87 c Core size: 4 Core Weight: 1 Total Weight: -397 7.79/7.87 c Elapsed CPU time: 7.72682 s Remaining CPU time: 1792.27 s 7.89/7.94 c core #104 7.89/7.94 c Core size: 4 Core Weight: 1 Total Weight: -396 7.89/7.94 c Elapsed CPU time: 7.80081 s Remaining CPU time: 1792.2 s 7.99/8.02 c core #105 7.99/8.02 c Core size: 4 Core Weight: 1 Total Weight: -395 7.99/8.02 c Elapsed CPU time: 7.8748 s Remaining CPU time: 1792.13 s 7.99/8.09 c core #106 7.99/8.09 c Core size: 4 Core Weight: 1 Total Weight: -394 7.99/8.09 c Elapsed CPU time: 7.94679 s Remaining CPU time: 1792.05 s 8.09/8.17 c core #107 8.09/8.17 c Core size: 4 Core Weight: 1 Total Weight: -393 8.09/8.17 c Elapsed CPU time: 8.02278 s Remaining CPU time: 1791.98 s 8.19/8.24 c core #108 8.19/8.24 c Core size: 4 Core Weight: 1 Total Weight: -392 8.19/8.24 c Elapsed CPU time: 8.09977 s Remaining CPU time: 1791.9 s 8.29/8.32 c core #109 8.29/8.32 c Core size: 4 Core Weight: 1 Total Weight: -391 8.29/8.32 c Elapsed CPU time: 8.17776 s Remaining CPU time: 1791.82 s 8.38/8.40 c core #110 8.38/8.40 c Core size: 4 Core Weight: 1 Total Weight: -390 8.38/8.40 c Elapsed CPU time: 8.25375 s Remaining CPU time: 1791.75 s 8.38/8.48 c core #111 8.38/8.48 c Core size: 4 Core Weight: 1 Total Weight: -389 8.38/8.48 c Elapsed CPU time: 8.32973 s Remaining CPU time: 1791.67 s 8.49/8.56 c core #112 8.49/8.56 c Core size: 4 Core Weight: 1 Total Weight: -388 8.49/8.56 c Elapsed CPU time: 8.40572 s Remaining CPU time: 1791.59 s 8.59/8.63 c core #113 8.59/8.63 c Core size: 4 Core Weight: 1 Total Weight: -387 8.59/8.63 c Elapsed CPU time: 8.48071 s Remaining CPU time: 1791.52 s 8.69/8.71 c core #114 8.69/8.71 c Core size: 4 Core Weight: 1 Total Weight: -386 8.69/8.71 c Elapsed CPU time: 8.5577 s Remaining CPU time: 1791.44 s 8.69/8.79 c core #115 8.69/8.79 c Core size: 4 Core Weight: 1 Total Weight: -385 8.69/8.79 c Elapsed CPU time: 8.63369 s Remaining CPU time: 1791.37 s 8.79/8.87 c core #116 8.79/8.87 c Core size: 4 Core Weight: 1 Total Weight: -384 8.79/8.87 c Elapsed CPU time: 8.70868 s Remaining CPU time: 1791.29 s 8.88/8.94 c core #117 8.88/8.94 c Core size: 4 Core Weight: 1 Total Weight: -383 8.88/8.94 c Elapsed CPU time: 8.78266 s Remaining CPU time: 1791.22 s 8.99/9.02 c core #118 8.99/9.02 c Core size: 4 Core Weight: 1 Total Weight: -382 8.99/9.02 c Elapsed CPU time: 8.85965 s Remaining CPU time: 1791.14 s 9.09/9.10 c core #119 9.09/9.10 c Core size: 4 Core Weight: 1 Total Weight: -381 9.09/9.10 c Elapsed CPU time: 8.93664 s Remaining CPU time: 1791.06 s 9.09/9.18 c core #120 9.09/9.18 c Core size: 4 Core Weight: 1 Total Weight: -380 9.09/9.18 c Elapsed CPU time: 9.01463 s Remaining CPU time: 1790.99 s 9.19/9.26 c core #121 9.19/9.26 c Core size: 4 Core Weight: 1 Total Weight: -379 9.19/9.26 c Elapsed CPU time: 9.09262 s Remaining CPU time: 1790.91 s 9.29/9.34 c core #122 9.29/9.34 c Core size: 4 Core Weight: 1 Total Weight: -378 9.29/9.34 c Elapsed CPU time: 9.17061 s Remaining CPU time: 1790.83 s 9.39/9.42 c core #123 9.39/9.42 c Core size: 4 Core Weight: 1 Total Weight: -377 9.39/9.42 c Elapsed CPU time: 9.24959 s Remaining CPU time: 1790.75 s 9.39/9.49 c core #124 9.39/9.49 c Core size: 4 Core Weight: 1 Total Weight: -376 9.39/9.49 c Elapsed CPU time: 9.32458 s Remaining CPU time: 1790.68 s 9.49/9.57 c core #125 9.49/9.57 c Core size: 4 Core Weight: 1 Total Weight: -375 9.49/9.57 c Elapsed CPU time: 9.39957 s Remaining CPU time: 1790.6 s 9.59/9.65 c core #126 9.59/9.65 c Core size: 4 Core Weight: 1 Total Weight: -374 9.59/9.65 c Elapsed CPU time: 9.47556 s Remaining CPU time: 1790.52 s 9.69/9.72 c core #127 9.69/9.72 c Core size: 4 Core Weight: 1 Total Weight: -373 9.69/9.72 c Elapsed CPU time: 9.55155 s Remaining CPU time: 1790.45 s 9.79/9.80 c core #128 9.79/9.80 c Core size: 4 Core Weight: 1 Total Weight: -372 9.79/9.80 c Elapsed CPU time: 9.62754 s Remaining CPU time: 1790.37 s 9.79/9.88 c core #129 9.79/9.88 c Core size: 4 Core Weight: 1 Total Weight: -371 9.79/9.88 c Elapsed CPU time: 9.70053 s Remaining CPU time: 1790.3 s 9.90/9.96 c core #130 9.90/9.96 c Core size: 4 Core Weight: 1 Total Weight: -370 9.90/9.96 c Elapsed CPU time: 9.77551 s Remaining CPU time: 1790.22 s 9.99/10.03 c core #131 9.99/10.03 c Core size: 4 Core Weight: 1 Total Weight: -369 9.99/10.03 c Elapsed CPU time: 9.8485 s Remaining CPU time: 1790.15 s 10.08/10.11 c core #132 10.08/10.11 c Core size: 4 Core Weight: 1 Total Weight: -368 10.08/10.11 c Elapsed CPU time: 9.92549 s Remaining CPU time: 1790.07 s 10.08/10.19 c core #133 10.08/10.19 c Core size: 4 Core Weight: 1 Total Weight: -367 10.08/10.19 c Elapsed CPU time: 10.0025 s Remaining CPU time: 1790 s 10.19/10.27 c core #134 10.19/10.27 c Core size: 4 Core Weight: 1 Total Weight: -366 10.19/10.27 c Elapsed CPU time: 10.0795 s Remaining CPU time: 1789.92 s 10.29/10.35 c core #135 10.29/10.35 c Core size: 4 Core Weight: 1 Total Weight: -365 10.29/10.35 c Elapsed CPU time: 10.1575 s Remaining CPU time: 1789.84 s 10.39/10.43 c core #136 10.39/10.43 c Core size: 4 Core Weight: 1 Total Weight: -364 10.39/10.43 c Elapsed CPU time: 10.2354 s Remaining CPU time: 1789.76 s 10.48/10.51 c core #137 10.48/10.51 c Core size: 4 Core Weight: 1 Total Weight: -363 10.48/10.51 c Elapsed CPU time: 10.3084 s Remaining CPU time: 1789.69 s 10.48/10.58 c core #138 10.48/10.58 c Core size: 4 Core Weight: 1 Total Weight: -362 10.48/10.58 c Elapsed CPU time: 10.3844 s Remaining CPU time: 1789.62 s 10.58/10.66 c core #139 10.58/10.66 c Core size: 4 Core Weight: 1 Total Weight: -361 10.58/10.66 c Elapsed CPU time: 10.4594 s Remaining CPU time: 1789.54 s 10.68/10.73 c core #140 10.68/10.73 c Core size: 4 Core Weight: 1 Total Weight: -360 10.68/10.73 c Elapsed CPU time: 10.5334 s Remaining CPU time: 1789.47 s 10.79/10.81 c core #141 10.79/10.81 c Core size: 4 Core Weight: 1 Total Weight: -359 10.79/10.81 c Elapsed CPU time: 10.6054 s Remaining CPU time: 1789.39 s 10.79/10.88 c core #142 10.79/10.88 c Core size: 4 Core Weight: 1 Total Weight: -358 10.79/10.88 c Elapsed CPU time: 10.6794 s Remaining CPU time: 1789.32 s 10.89/10.96 c core #143 10.89/10.96 c Core size: 4 Core Weight: 1 Total Weight: -357 10.89/10.96 c Elapsed CPU time: 10.7564 s Remaining CPU time: 1789.24 s 10.99/11.03 c core #144 10.99/11.03 c Core size: 4 Core Weight: 1 Total Weight: -356 10.99/11.03 c Elapsed CPU time: 10.8314 s Remaining CPU time: 1789.17 s 11.09/11.11 c core #145 11.09/11.11 c Core size: 4 Core Weight: 1 Total Weight: -355 11.09/11.11 c Elapsed CPU time: 10.9093 s Remaining CPU time: 1789.09 s 11.09/11.19 c core #146 11.09/11.19 c Core size: 4 Core Weight: 1 Total Weight: -354 11.09/11.19 c Elapsed CPU time: 10.9853 s Remaining CPU time: 1789.01 s 11.19/11.27 c core #147 11.19/11.27 c Core size: 4 Core Weight: 1 Total Weight: -353 11.19/11.27 c Elapsed CPU time: 11.0633 s Remaining CPU time: 1788.94 s 11.29/11.34 c core #148 11.29/11.34 c Core size: 4 Core Weight: 1 Total Weight: -352 11.29/11.34 c Elapsed CPU time: 11.1393 s Remaining CPU time: 1788.86 s 11.39/11.42 c core #149 11.39/11.42 c Core size: 4 Core Weight: 1 Total Weight: -351 11.39/11.42 c Elapsed CPU time: 11.2193 s Remaining CPU time: 1788.78 s 11.49/11.50 c core #150 11.49/11.50 c Core size: 4 Core Weight: 1 Total Weight: -350 11.49/11.50 c Elapsed CPU time: 11.2943 s Remaining CPU time: 1788.71 s 11.49/11.58 c core #151 11.49/11.58 c Core size: 4 Core Weight: 1 Total Weight: -349 11.49/11.58 c Elapsed CPU time: 11.3683 s Remaining CPU time: 1788.63 s 11.59/11.65 c core #152 11.59/11.65 c Core size: 4 Core Weight: 1 Total Weight: -348 11.59/11.65 c Elapsed CPU time: 11.4413 s Remaining CPU time: 1788.56 s 11.69/11.73 c core #153 11.69/11.73 c Core size: 4 Core Weight: 1 Total Weight: -347 11.69/11.73 c Elapsed CPU time: 11.5182 s Remaining CPU time: 1788.48 s 11.79/11.81 c core #154 11.79/11.81 c Core size: 4 Core Weight: 1 Total Weight: -346 11.79/11.81 c Elapsed CPU time: 11.5932 s Remaining CPU time: 1788.41 s 11.79/11.89 c core #155 11.79/11.89 c Core size: 4 Core Weight: 1 Total Weight: -345 11.79/11.89 c Elapsed CPU time: 11.6722 s Remaining CPU time: 1788.33 s 11.89/11.97 c core #156 11.89/11.97 c Core size: 4 Core Weight: 1 Total Weight: -344 11.89/11.97 c Elapsed CPU time: 11.7512 s Remaining CPU time: 1788.25 s 11.99/12.05 c core #157 11.99/12.05 c Core size: 4 Core Weight: 1 Total Weight: -343 11.99/12.05 c Elapsed CPU time: 11.8292 s Remaining CPU time: 1788.17 s 12.09/12.13 c core #158 12.09/12.13 c Core size: 4 Core Weight: 1 Total Weight: -342 12.09/12.13 c Elapsed CPU time: 11.9082 s Remaining CPU time: 1788.09 s 12.18/12.21 c core #159 12.18/12.21 c Core size: 4 Core Weight: 1 Total Weight: -341 12.18/12.21 c Elapsed CPU time: 11.9882 s Remaining CPU time: 1788.01 s 12.18/12.29 c core #160 12.18/12.29 c Core size: 4 Core Weight: 1 Total Weight: -340 12.18/12.29 c Elapsed CPU time: 12.0662 s Remaining CPU time: 1787.93 s 12.29/12.36 c core #161 12.29/12.36 c Core size: 4 Core Weight: 1 Total Weight: -339 12.29/12.36 c Elapsed CPU time: 12.1432 s Remaining CPU time: 1787.86 s 12.39/12.44 c core #162 12.39/12.44 c Core size: 4 Core Weight: 1 Total Weight: -338 12.39/12.44 c Elapsed CPU time: 12.2181 s Remaining CPU time: 1787.78 s 12.49/12.52 c core #163 12.49/12.52 c Core size: 4 Core Weight: 1 Total Weight: -337 12.49/12.52 c Elapsed CPU time: 12.2941 s Remaining CPU time: 1787.71 s 12.49/12.59 c core #164 12.49/12.59 c Core size: 4 Core Weight: 1 Total Weight: -336 12.49/12.59 c Elapsed CPU time: 12.3691 s Remaining CPU time: 1787.63 s 12.59/12.67 c core #165 12.59/12.67 c Core size: 4 Core Weight: 1 Total Weight: -335 12.59/12.67 c Elapsed CPU time: 12.4431 s Remaining CPU time: 1787.56 s 12.68/12.75 c core #166 12.68/12.75 c Core size: 4 Core Weight: 1 Total Weight: -334 12.68/12.75 c Elapsed CPU time: 12.5201 s Remaining CPU time: 1787.48 s 12.78/12.82 c core #167 12.78/12.82 c Core size: 4 Core Weight: 1 Total Weight: -333 12.78/12.82 c Elapsed CPU time: 12.5931 s Remaining CPU time: 1787.41 s 12.89/12.90 c core #168 12.89/12.90 c Core size: 4 Core Weight: 1 Total Weight: -332 12.89/12.90 c Elapsed CPU time: 12.6661 s Remaining CPU time: 1787.33 s 12.89/12.97 c core #169 12.89/12.97 c Core size: 4 Core Weight: 1 Total Weight: -331 12.89/12.97 c Elapsed CPU time: 12.7391 s Remaining CPU time: 1787.26 s 12.99/13.05 c core #170 12.99/13.05 c Core size: 4 Core Weight: 1 Total Weight: -330 12.99/13.05 c Elapsed CPU time: 12.8131 s Remaining CPU time: 1787.19 s 13.09/13.13 c core #171 13.09/13.13 c Core size: 4 Core Weight: 1 Total Weight: -329 13.09/13.13 c Elapsed CPU time: 12.888 s Remaining CPU time: 1787.11 s 13.19/13.20 c core #172 13.19/13.20 c Core size: 4 Core Weight: 1 Total Weight: -328 13.19/13.20 c Elapsed CPU time: 12.964 s Remaining CPU time: 1787.04 s 13.19/13.28 c core #173 13.19/13.28 c Core size: 4 Core Weight: 1 Total Weight: -327 13.19/13.28 c Elapsed CPU time: 13.04 s Remaining CPU time: 1786.96 s 13.29/13.36 c core #174 13.29/13.36 c Core size: 4 Core Weight: 1 Total Weight: -326 13.29/13.36 c Elapsed CPU time: 13.113 s Remaining CPU time: 1786.89 s 13.39/13.43 c core #175 13.39/13.43 c Core size: 4 Core Weight: 1 Total Weight: -325 13.39/13.43 c Elapsed CPU time: 13.191 s Remaining CPU time: 1786.81 s 13.49/13.51 c core #176 13.49/13.51 c Core size: 4 Core Weight: 1 Total Weight: -324 13.49/13.51 c Elapsed CPU time: 13.264 s Remaining CPU time: 1786.74 s 13.49/13.59 c core #177 13.49/13.59 c Core size: 4 Core Weight: 1 Total Weight: -323 13.49/13.59 c Elapsed CPU time: 13.341 s Remaining CPU time: 1786.66 s 13.59/13.66 c core #178 13.59/13.66 c Core size: 4 Core Weight: 1 Total Weight: -322 13.59/13.66 c Elapsed CPU time: 13.418 s Remaining CPU time: 1786.58 s 13.69/13.74 c core #179 13.69/13.74 c Core size: 4 Core Weight: 1 Total Weight: -321 13.69/13.74 c Elapsed CPU time: 13.4979 s Remaining CPU time: 1786.5 s 13.78/13.82 c core #180 13.78/13.82 c Core size: 4 Core Weight: 1 Total Weight: -320 13.78/13.82 c Elapsed CPU time: 13.5709 s Remaining CPU time: 1786.43 s 13.89/13.90 c core #181 13.89/13.90 c Core size: 4 Core Weight: 1 Total Weight: -319 13.89/13.90 c Elapsed CPU time: 13.6489 s Remaining CPU time: 1786.35 s 13.89/13.98 c core #182 13.89/13.98 c Core size: 4 Core Weight: 1 Total Weight: -318 13.89/13.98 c Elapsed CPU time: 13.7279 s Remaining CPU time: 1786.27 s 13.99/14.06 c core #183 13.99/14.06 c Core size: 4 Core Weight: 1 Total Weight: -317 13.99/14.06 c Elapsed CPU time: 13.8049 s Remaining CPU time: 1786.2 s 14.09/14.14 c core #184 14.09/14.14 c Core size: 4 Core Weight: 1 Total Weight: -316 14.09/14.14 c Elapsed CPU time: 13.8829 s Remaining CPU time: 1786.12 s 14.19/14.21 c core #185 14.19/14.21 c Core size: 4 Core Weight: 1 Total Weight: -315 14.19/14.21 c Elapsed CPU time: 13.9569 s Remaining CPU time: 1786.04 s 14.19/14.29 c core #186 14.19/14.29 c Core size: 4 Core Weight: 1 Total Weight: -314 14.19/14.29 c Elapsed CPU time: 14.0359 s Remaining CPU time: 1785.96 s 14.29/14.37 c core #187 14.29/14.37 c Core size: 4 Core Weight: 1 Total Weight: -313 14.29/14.37 c Elapsed CPU time: 14.1139 s Remaining CPU time: 1785.89 s 14.38/14.45 c core #188 14.38/14.45 c Core size: 4 Core Weight: 1 Total Weight: -312 14.38/14.45 c Elapsed CPU time: 14.1918 s Remaining CPU time: 1785.81 s 14.48/14.53 c core #189 14.48/14.53 c Core size: 4 Core Weight: 1 Total Weight: -311 14.48/14.53 c Elapsed CPU time: 14.2708 s Remaining CPU time: 1785.73 s 14.59/14.61 c core #190 14.59/14.61 c Core size: 4 Core Weight: 1 Total Weight: -310 14.59/14.61 c Elapsed CPU time: 14.3458 s Remaining CPU time: 1785.65 s 14.59/14.68 c core #191 14.59/14.68 c Core size: 4 Core Weight: 1 Total Weight: -309 14.59/14.68 c Elapsed CPU time: 14.4218 s Remaining CPU time: 1785.58 s 14.69/14.76 c core #192 14.69/14.76 c Core size: 4 Core Weight: 1 Total Weight: -308 14.69/14.76 c Elapsed CPU time: 14.4988 s Remaining CPU time: 1785.5 s 14.79/14.84 c core #193 14.79/14.84 c Core size: 4 Core Weight: 1 Total Weight: -307 14.79/14.84 c Elapsed CPU time: 14.5768 s Remaining CPU time: 1785.42 s 14.89/14.92 c core #194 14.89/14.92 c Core size: 4 Core Weight: 1 Total Weight: -306 14.89/14.92 c Elapsed CPU time: 14.6548 s Remaining CPU time: 1785.35 s 14.99/15.00 c core #195 14.99/15.00 c Core size: 4 Core Weight: 1 Total Weight: -305 14.99/15.00 c Elapsed CPU time: 14.7338 s Remaining CPU time: 1785.27 s 14.99/15.08 c core #196 14.99/15.08 c Core size: 4 Core Weight: 1 Total Weight: -304 14.99/15.08 c Elapsed CPU time: 14.8107 s Remaining CPU time: 1785.19 s 15.08/15.16 c core #197 15.08/15.16 c Core size: 4 Core Weight: 1 Total Weight: -303 15.08/15.16 c Elapsed CPU time: 14.8877 s Remaining CPU time: 1785.11 s 15.18/15.23 c core #198 15.18/15.23 c Core size: 4 Core Weight: 1 Total Weight: -302 15.18/15.23 c Elapsed CPU time: 14.9657 s Remaining CPU time: 1785.03 s 15.29/15.32 c core #199 15.29/15.32 c Core size: 4 Core Weight: 1 Total Weight: -301 15.29/15.32 c Elapsed CPU time: 15.0447 s Remaining CPU time: 1784.96 s 15.29/15.39 c core #200 15.29/15.39 c Core size: 4 Core Weight: 1 Total Weight: -300 15.29/15.39 c Elapsed CPU time: 15.1237 s Remaining CPU time: 1784.88 s 15.39/15.47 c core #201 15.39/15.47 c Core size: 4 Core Weight: 1 Total Weight: -299 15.39/15.47 c Elapsed CPU time: 15.2027 s Remaining CPU time: 1784.8 s 15.49/15.55 c core #202 15.49/15.55 c Core size: 4 Core Weight: 1 Total Weight: -298 15.49/15.55 c Elapsed CPU time: 15.2797 s Remaining CPU time: 1784.72 s 15.59/15.63 c core #203 15.59/15.63 c Core size: 4 Core Weight: 1 Total Weight: -297 15.59/15.63 c Elapsed CPU time: 15.3607 s Remaining CPU time: 1784.64 s 15.69/15.71 c core #204 15.69/15.71 c Core size: 4 Core Weight: 1 Total Weight: -296 15.69/15.71 c Elapsed CPU time: 15.4367 s Remaining CPU time: 1784.56 s 15.69/15.79 c core #205 15.69/15.79 c Core size: 4 Core Weight: 1 Total Weight: -295 15.69/15.79 c Elapsed CPU time: 15.5146 s Remaining CPU time: 1784.49 s 15.78/15.87 c core #206 15.78/15.87 c Core size: 4 Core Weight: 1 Total Weight: -294 15.78/15.87 c Elapsed CPU time: 15.5916 s Remaining CPU time: 1784.41 s 15.88/15.95 c core #207 15.88/15.95 c Core size: 4 Core Weight: 1 Total Weight: -293 15.88/15.95 c Elapsed CPU time: 15.6696 s Remaining CPU time: 1784.33 s 15.99/16.03 c core #208 15.99/16.03 c Core size: 4 Core Weight: 1 Total Weight: -292 15.99/16.03 c Elapsed CPU time: 15.7496 s Remaining CPU time: 1784.25 s 16.09/16.11 c core #209 16.09/16.11 c Core size: 4 Core Weight: 1 Total Weight: -291 16.09/16.11 c Elapsed CPU time: 15.8286 s Remaining CPU time: 1784.17 s 16.09/16.19 c core #210 16.09/16.19 c Core size: 4 Core Weight: 1 Total Weight: -290 16.09/16.19 c Elapsed CPU time: 15.9076 s Remaining CPU time: 1784.09 s 16.19/16.27 c core #211 16.19/16.27 c Core size: 4 Core Weight: 1 Total Weight: -289 16.19/16.27 c Elapsed CPU time: 15.9856 s Remaining CPU time: 1784.01 s 16.29/16.35 c core #212 16.29/16.35 c Core size: 4 Core Weight: 1 Total Weight: -288 16.29/16.35 c Elapsed CPU time: 16.0626 s Remaining CPU time: 1783.94 s 16.39/16.43 c core #213 16.39/16.43 c Core size: 4 Core Weight: 1 Total Weight: -287 16.39/16.43 c Elapsed CPU time: 16.1435 s Remaining CPU time: 1783.86 s 16.49/16.51 c core #214 16.49/16.51 c Core size: 4 Core Weight: 1 Total Weight: -286 16.49/16.51 c Elapsed CPU time: 16.2215 s Remaining CPU time: 1783.78 s 16.49/16.59 c core #215 16.49/16.59 c Core size: 4 Core Weight: 1 Total Weight: -285 16.49/16.59 c Elapsed CPU time: 16.3025 s Remaining CPU time: 1783.7 s 16.59/16.67 c core #216 16.59/16.67 c Core size: 4 Core Weight: 1 Total Weight: -284 16.59/16.67 c Elapsed CPU time: 16.3815 s Remaining CPU time: 1783.62 s 16.69/16.76 c core #217 16.69/16.76 c Core size: 4 Core Weight: 1 Total Weight: -283 16.69/16.76 c Elapsed CPU time: 16.4625 s Remaining CPU time: 1783.54 s 16.79/16.84 c core #218 16.79/16.84 c Core size: 4 Core Weight: 1 Total Weight: -282 16.79/16.84 c Elapsed CPU time: 16.5405 s Remaining CPU time: 1783.46 s 16.88/16.92 c core #219 16.88/16.92 c Core size: 4 Core Weight: 1 Total Weight: -281 16.88/16.92 c Elapsed CPU time: 16.6205 s Remaining CPU time: 1783.38 s 16.98/17.00 c core #220 16.98/17.00 c Core size: 4 Core Weight: 1 Total Weight: -280 16.98/17.00 c Elapsed CPU time: 16.6995 s Remaining CPU time: 1783.3 s 16.98/17.08 c core #221 16.98/17.08 c Core size: 4 Core Weight: 1 Total Weight: -279 16.98/17.08 c Elapsed CPU time: 16.7784 s Remaining CPU time: 1783.22 s 17.09/17.16 c core #222 17.09/17.16 c Core size: 4 Core Weight: 1 Total Weight: -278 17.09/17.16 c Elapsed CPU time: 16.8604 s Remaining CPU time: 1783.14 s 17.19/17.24 c core #223 17.19/17.24 c Core size: 4 Core Weight: 1 Total Weight: -277 17.19/17.24 c Elapsed CPU time: 16.9384 s Remaining CPU time: 1783.06 s 17.29/17.32 c core #224 17.29/17.32 c Core size: 4 Core Weight: 1 Total Weight: -276 17.29/17.32 c Elapsed CPU time: 17.0174 s Remaining CPU time: 1782.98 s 17.39/17.40 c core #225 17.39/17.40 c Core size: 4 Core Weight: 1 Total Weight: -275 17.39/17.40 c Elapsed CPU time: 17.0984 s Remaining CPU time: 1782.9 s 17.39/17.49 c core #226 17.39/17.49 c Core size: 4 Core Weight: 1 Total Weight: -274 17.39/17.49 c Elapsed CPU time: 17.1794 s Remaining CPU time: 1782.82 s 17.49/17.57 c core #227 17.49/17.57 c Core size: 4 Core Weight: 1 Total Weight: -273 17.49/17.57 c Elapsed CPU time: 17.2584 s Remaining CPU time: 1782.74 s 17.59/17.65 c core #228 17.59/17.65 c Core size: 4 Core Weight: 1 Total Weight: -272 17.59/17.65 c Elapsed CPU time: 17.3374 s Remaining CPU time: 1782.66 s 17.68/17.73 c core #229 17.68/17.73 c Core size: 4 Core Weight: 1 Total Weight: -271 17.68/17.73 c Elapsed CPU time: 17.4174 s Remaining CPU time: 1782.58 s 17.79/17.81 c core #230 17.79/17.81 c Core size: 4 Core Weight: 1 Total Weight: -270 17.79/17.81 c Elapsed CPU time: 17.4973 s Remaining CPU time: 1782.5 s 17.79/17.89 c core #231 17.79/17.89 c Core size: 4 Core Weight: 1 Total Weight: -269 17.79/17.89 c Elapsed CPU time: 17.5783 s Remaining CPU time: 1782.42 s 17.89/17.97 c core #232 17.89/17.97 c Core size: 4 Core Weight: 1 Total Weight: -268 17.89/17.97 c Elapsed CPU time: 17.6573 s Remaining CPU time: 1782.34 s 17.99/18.05 c core #233 17.99/18.05 c Core size: 4 Core Weight: 1 Total Weight: -267 17.99/18.05 c Elapsed CPU time: 17.7383 s Remaining CPU time: 1782.26 s 18.08/18.14 c core #234 18.08/18.14 c Core size: 4 Core Weight: 1 Total Weight: -266 18.08/18.14 c Elapsed CPU time: 17.8203 s Remaining CPU time: 1782.18 s 18.18/18.22 c core #235 18.18/18.22 c Core size: 4 Core Weight: 1 Total Weight: -265 18.18/18.22 c Elapsed CPU time: 17.9003 s Remaining CPU time: 1782.1 s 18.29/18.30 c core #236 18.29/18.30 c Core size: 4 Core Weight: 1 Total Weight: -264 18.29/18.30 c Elapsed CPU time: 17.9793 s Remaining CPU time: 1782.02 s 18.29/18.38 c core #237 18.29/18.38 c Core size: 4 Core Weight: 1 Total Weight: -263 18.29/18.38 c Elapsed CPU time: 18.0593 s Remaining CPU time: 1781.94 s 18.39/18.47 c core #238 18.39/18.47 c Core size: 4 Core Weight: 1 Total Weight: -262 18.39/18.47 c Elapsed CPU time: 18.1382 s Remaining CPU time: 1781.86 s 18.48/18.55 c core #239 18.48/18.55 c Core size: 4 Core Weight: 1 Total Weight: -261 18.48/18.55 c Elapsed CPU time: 18.2212 s Remaining CPU time: 1781.78 s 18.59/18.63 c core #240 18.59/18.63 c Core size: 4 Core Weight: 1 Total Weight: -260 18.59/18.63 c Elapsed CPU time: 18.3032 s Remaining CPU time: 1781.7 s 18.69/18.71 c core #241 18.69/18.71 c Core size: 4 Core Weight: 1 Total Weight: -259 18.69/18.71 c Elapsed CPU time: 18.3832 s Remaining CPU time: 1781.62 s 18.69/18.79 c core #242 18.69/18.79 c Core size: 4 Core Weight: 1 Total Weight: -258 18.69/18.79 c Elapsed CPU time: 18.4652 s Remaining CPU time: 1781.53 s 18.78/18.88 c core #243 18.78/18.88 c Core size: 4 Core Weight: 1 Total Weight: -257 18.78/18.88 c Elapsed CPU time: 18.5472 s Remaining CPU time: 1781.45 s 18.89/18.96 c core #244 18.89/18.96 c Core size: 4 Core Weight: 1 Total Weight: -256 18.89/18.96 c Elapsed CPU time: 18.6262 s Remaining CPU time: 1781.37 s 18.99/19.04 c core #245 18.99/19.04 c Core size: 4 Core Weight: 1 Total Weight: -255 18.99/19.04 c Elapsed CPU time: 18.7072 s Remaining CPU time: 1781.29 s 19.09/19.12 c core #246 19.09/19.12 c Core size: 9 Core Weight: 1 Total Weight: -254 19.09/19.12 c Elapsed CPU time: 18.7881 s Remaining CPU time: 1781.21 s 19.19/19.20 c core #247 19.19/19.20 c Core size: 9 Core Weight: 1 Total Weight: -253 19.19/19.20 c Elapsed CPU time: 18.8691 s Remaining CPU time: 1781.13 s 19.19/19.29 c core #248 19.19/19.29 c Core size: 14 Core Weight: 1 Total Weight: -252 19.19/19.29 c Elapsed CPU time: 18.9481 s Remaining CPU time: 1781.05 s 19.28/19.37 c core #249 19.28/19.37 c Core size: 9 Core Weight: 1 Total Weight: -251 19.28/19.37 c Elapsed CPU time: 19.0301 s Remaining CPU time: 1780.97 s 19.38/19.45 c core #250 19.38/19.45 c Core size: 13 Core Weight: 1 Total Weight: -250 19.38/19.45 c Elapsed CPU time: 19.1101 s Remaining CPU time: 1780.89 s 19.49/19.53 c core #251 19.49/19.53 c Core size: 23 Core Weight: 1 Total Weight: -249 19.49/19.53 c Elapsed CPU time: 19.1881 s Remaining CPU time: 1780.81 s 19.59/19.61 c ============================[ Search Statistics ]============================== 19.59/19.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.59/19.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.59/19.61 c =============================================================================== 19.59/19.61 c | 0 | 1022 39211 94354 | 13070 0 nan | 0.000 % | 19.59/19.62 c =============================================================================== 19.59/19.62 c core #252 19.59/19.62 c Core size: 21 Core Weight: 1 Total Weight: -248 19.59/19.62 c Elapsed CPU time: 19.2731 s Remaining CPU time: 1780.73 s 19.59/19.69 c ============================[ Search Statistics ]============================== 19.59/19.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.59/19.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.59/19.69 c =============================================================================== 19.59/19.69 c | 0 | 1029 39212 94368 | 13070 0 nan | 0.000 % | 19.59/19.69 c =============================================================================== 19.59/19.70 c core #253 19.59/19.70 c Core size: 17 Core Weight: 1 Total Weight: -247 19.59/19.70 c Elapsed CPU time: 19.3501 s Remaining CPU time: 1780.65 s 19.69/19.78 c ============================[ Search Statistics ]============================== 19.69/19.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.69/19.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.69/19.78 c =============================================================================== 19.69/19.78 c | 0 | 1035 39213 94380 | 13071 0 nan | 0.000 % | 19.69/19.78 c =============================================================================== 19.69/19.78 c core #254 19.69/19.78 c Core size: 15 Core Weight: 1 Total Weight: -246 19.69/19.78 c Elapsed CPU time: 19.433 s Remaining CPU time: 1780.57 s 19.79/19.86 c ============================[ Search Statistics ]============================== 19.79/19.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.79/19.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.79/19.86 c =============================================================================== 19.79/19.86 c | 0 | 1041 39214 94392 | 13071 0 nan | 0.000 % | 19.79/19.86 c =============================================================================== 19.79/19.86 c core #255 19.79/19.86 c Core size: 15 Core Weight: 1 Total Weight: -245 19.79/19.86 c Elapsed CPU time: 19.516 s Remaining CPU time: 1780.48 s 19.88/19.94 c ============================[ Search Statistics ]============================== 19.88/19.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.88/19.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.88/19.94 c =============================================================================== 19.88/19.94 c | 0 | 1047 39215 94404 | 13071 0 nan | 0.000 % | 19.88/19.95 c =============================================================================== 19.88/19.95 c core #256 19.88/19.95 c Core size: 17 Core Weight: 1 Total Weight: -244 19.88/19.95 c Elapsed CPU time: 19.599 s Remaining CPU time: 1780.4 s 19.98/20.02 c ============================[ Search Statistics ]============================== 19.98/20.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.98/20.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.98/20.02 c =============================================================================== 19.98/20.02 c | 0 | 1053 39216 94416 | 13072 0 nan | 0.000 % | 19.98/20.03 c =============================================================================== 19.98/20.03 c core #257 19.98/20.03 c Core size: 15 Core Weight: 1 Total Weight: -243 19.98/20.03 c Elapsed CPU time: 19.679 s Remaining CPU time: 1780.32 s 20.08/20.11 c ============================[ Search Statistics ]============================== 20.08/20.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.08/20.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.08/20.11 c =============================================================================== 20.08/20.11 c | 0 | 1059 39217 94428 | 13072 0 nan | 0.000 % | 20.08/20.11 c =============================================================================== 20.08/20.11 c core #258 20.08/20.11 c Core size: 17 Core Weight: 1 Total Weight: -242 20.08/20.11 c Elapsed CPU time: 19.761 s Remaining CPU time: 1780.24 s 20.08/20.19 c ============================[ Search Statistics ]============================== 20.08/20.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.08/20.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.08/20.19 c =============================================================================== 20.08/20.19 c | 0 | 1065 39218 94440 | 13072 0 nan | 0.000 % | 20.08/20.19 c =============================================================================== 20.08/20.19 c core #259 20.08/20.19 c Core size: 16 Core Weight: 1 Total Weight: -241 20.08/20.19 c Elapsed CPU time: 19.841 s Remaining CPU time: 1780.16 s 20.19/20.27 c ============================[ Search Statistics ]============================== 20.19/20.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.19/20.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.19/20.27 c =============================================================================== 20.19/20.27 c | 0 | 1071 39219 94452 | 13073 0 nan | 0.000 % | 20.19/20.28 c =============================================================================== 20.19/20.28 c core #260 20.19/20.28 c Core size: 15 Core Weight: 1 Total Weight: -240 20.19/20.28 c Elapsed CPU time: 19.925 s Remaining CPU time: 1780.08 s 20.29/20.35 c ============================[ Search Statistics ]============================== 20.29/20.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.29/20.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.29/20.35 c =============================================================================== 20.29/20.35 c | 0 | 1077 39220 94464 | 13073 0 nan | 0.000 % | 20.29/20.36 c =============================================================================== 20.29/20.36 c core #261 20.29/20.36 c Core size: 16 Core Weight: 1 Total Weight: -239 20.29/20.36 c Elapsed CPU time: 20.006 s Remaining CPU time: 1779.99 s 20.39/20.44 c ============================[ Search Statistics ]============================== 20.39/20.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.39/20.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.39/20.44 c =============================================================================== 20.39/20.44 c | 0 | 1083 39221 94476 | 13073 0 nan | 0.000 % | 20.39/20.44 c =============================================================================== 20.39/20.44 c core #262 20.39/20.44 c Core size: 16 Core Weight: 1 Total Weight: -238 20.39/20.44 c Elapsed CPU time: 20.0869 s Remaining CPU time: 1779.91 s 20.48/20.52 c ============================[ Search Statistics ]============================== 20.48/20.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.48/20.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.48/20.52 c =============================================================================== 20.48/20.52 c | 0 | 1089 39222 94488 | 13074 0 nan | 0.000 % | 20.48/20.52 c =============================================================================== 20.48/20.52 c core #263 20.48/20.52 c Core size: 16 Core Weight: 1 Total Weight: -237 20.48/20.52 c Elapsed CPU time: 20.1649 s Remaining CPU time: 1779.84 s 20.58/20.60 c ============================[ Search Statistics ]============================== 20.58/20.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.58/20.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.58/20.60 c =============================================================================== 20.58/20.60 c | 0 | 1095 39223 94500 | 13074 0 nan | 0.000 % | 20.58/20.61 c =============================================================================== 20.58/20.61 c core #264 20.58/20.61 c Core size: 15 Core Weight: 1 Total Weight: -236 20.58/20.61 c Elapsed CPU time: 20.2489 s Remaining CPU time: 1779.75 s 20.58/20.68 c ============================[ Search Statistics ]============================== 20.58/20.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.58/20.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.58/20.68 c =============================================================================== 20.58/20.68 c | 0 | 1101 39224 94512 | 13074 0 nan | 0.000 % | 20.58/20.69 c =============================================================================== 20.58/20.69 c core #265 20.58/20.69 c Core size: 15 Core Weight: 1 Total Weight: -235 20.58/20.69 c Elapsed CPU time: 20.3269 s Remaining CPU time: 1779.67 s 20.69/20.77 c ============================[ Search Statistics ]============================== 20.69/20.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.69/20.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.69/20.77 c =============================================================================== 20.69/20.77 c | 0 | 1107 39225 94524 | 13075 0 nan | 0.000 % | 20.69/20.77 c =============================================================================== 20.69/20.77 c core #266 20.69/20.77 c Core size: 15 Core Weight: 1 Total Weight: -234 20.69/20.77 c Elapsed CPU time: 20.4089 s Remaining CPU time: 1779.59 s 20.79/20.85 c ============================[ Search Statistics ]============================== 20.79/20.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.79/20.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.79/20.85 c =============================================================================== 20.79/20.85 c | 0 | 1113 39226 94536 | 13075 0 nan | 0.000 % | 20.79/20.85 c =============================================================================== 20.79/20.85 c core #267 20.79/20.85 c Core size: 15 Core Weight: 1 Total Weight: -233 20.79/20.85 c Elapsed CPU time: 20.4879 s Remaining CPU time: 1779.51 s 20.89/20.93 c ============================[ Search Statistics ]============================== 20.89/20.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.89/20.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.89/20.93 c =============================================================================== 20.89/20.93 c | 0 | 1119 39227 94548 | 13075 0 nan | 0.000 % | 20.89/20.94 c =============================================================================== 20.89/20.94 c core #268 20.89/20.94 c Core size: 16 Core Weight: 1 Total Weight: -232 20.89/20.94 c Elapsed CPU time: 20.5679 s Remaining CPU time: 1779.43 s 20.98/21.01 c ============================[ Search Statistics ]============================== 20.98/21.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.98/21.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.98/21.01 c =============================================================================== 20.98/21.01 c | 0 | 1125 39228 94560 | 13076 0 nan | 0.000 % | 20.98/21.02 c =============================================================================== 20.98/21.02 c core #269 20.98/21.02 c Core size: 15 Core Weight: 1 Total Weight: -231 20.98/21.02 c Elapsed CPU time: 20.6489 s Remaining CPU time: 1779.35 s 20.98/21.09 c ============================[ Search Statistics ]============================== 20.98/21.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.98/21.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.98/21.09 c =============================================================================== 20.98/21.09 c | 0 | 1131 39229 94572 | 13076 0 nan | 0.000 % | 21.08/21.10 c =============================================================================== 21.08/21.10 c core #270 21.08/21.10 c Core size: 17 Core Weight: 1 Total Weight: -230 21.08/21.10 c Elapsed CPU time: 20.7268 s Remaining CPU time: 1779.27 s 21.08/21.17 c ============================[ Search Statistics ]============================== 21.08/21.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.08/21.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.08/21.17 c =============================================================================== 21.08/21.17 c | 0 | 1137 39230 94584 | 13076 0 nan | 0.000 % | 21.08/21.18 c =============================================================================== 21.08/21.18 c core #271 21.08/21.18 c Core size: 17 Core Weight: 1 Total Weight: -229 21.08/21.18 c Elapsed CPU time: 20.8068 s Remaining CPU time: 1779.19 s 21.19/21.26 c ============================[ Search Statistics ]============================== 21.19/21.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.19/21.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.19/21.26 c =============================================================================== 21.19/21.26 c | 0 | 1143 39231 94596 | 13077 0 nan | 0.000 % | 21.19/21.26 c =============================================================================== 21.19/21.26 c core #272 21.19/21.26 c Core size: 16 Core Weight: 1 Total Weight: -228 21.19/21.26 c Elapsed CPU time: 20.8898 s Remaining CPU time: 1779.11 s 21.29/21.34 c ============================[ Search Statistics ]============================== 21.29/21.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.29/21.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.29/21.34 c =============================================================================== 21.29/21.34 c | 0 | 1149 39232 94608 | 13077 0 nan | 0.000 % | 21.29/21.35 c =============================================================================== 21.29/21.35 c core #273 21.29/21.35 c Core size: 15 Core Weight: 1 Total Weight: -227 21.29/21.35 c Elapsed CPU time: 20.9708 s Remaining CPU time: 1779.03 s 21.38/21.42 c ============================[ Search Statistics ]============================== 21.38/21.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.38/21.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.38/21.42 c =============================================================================== 21.38/21.42 c | 0 | 1155 39233 94620 | 13077 0 nan | 0.000 % | 21.38/21.43 c =============================================================================== 21.38/21.43 c core #274 21.38/21.43 c Core size: 21 Core Weight: 1 Total Weight: -226 21.38/21.43 c Elapsed CPU time: 21.0528 s Remaining CPU time: 1778.95 s 21.48/21.51 c ============================[ Search Statistics ]============================== 21.48/21.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.48/21.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.48/21.51 c =============================================================================== 21.48/21.51 c | 0 | 1163 39234 94636 | 13078 0 nan | 0.000 % | 21.48/21.51 c =============================================================================== 21.48/21.51 c core #275 21.48/21.51 c Core size: 16 Core Weight: 1 Total Weight: -225 21.48/21.51 c Elapsed CPU time: 21.1348 s Remaining CPU time: 1778.87 s 21.48/21.59 c ============================[ Search Statistics ]============================== 21.48/21.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.48/21.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.48/21.59 c =============================================================================== 21.48/21.59 c | 0 | 1169 39235 94648 | 13078 0 nan | 0.000 % | 21.48/21.59 c =============================================================================== 21.48/21.59 c core #276 21.48/21.59 c Core size: 16 Core Weight: 1 Total Weight: -224 21.48/21.59 c Elapsed CPU time: 21.2138 s Remaining CPU time: 1778.79 s 21.58/21.67 c ============================[ Search Statistics ]============================== 21.58/21.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.58/21.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.58/21.67 c =============================================================================== 21.58/21.67 c | 0 | 1175 39236 94660 | 13078 0 nan | 0.000 % | 21.58/21.67 c =============================================================================== 21.58/21.67 c core #277 21.58/21.67 c Core size: 12 Core Weight: 1 Total Weight: -223 21.58/21.67 c Elapsed CPU time: 21.2918 s Remaining CPU time: 1778.71 s 21.69/21.75 c ============================[ Search Statistics ]============================== 21.69/21.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.69/21.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.69/21.75 c =============================================================================== 21.69/21.75 c | 0 | 1179 39237 94668 | 13079 0 nan | 0.000 % | 21.69/21.75 c =============================================================================== 21.69/21.76 c core #278 21.69/21.76 c Core size: 16 Core Weight: 1 Total Weight: -222 21.69/21.76 c Elapsed CPU time: 21.3718 s Remaining CPU time: 1778.63 s 21.79/21.83 c ============================[ Search Statistics ]============================== 21.79/21.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.79/21.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.79/21.83 c =============================================================================== 21.79/21.83 c | 0 | 1185 39238 94680 | 13079 0 nan | 0.000 % | 21.79/21.84 c =============================================================================== 21.79/21.84 c core #279 21.79/21.84 c Core size: 15 Core Weight: 1 Total Weight: -221 21.79/21.84 c Elapsed CPU time: 21.4517 s Remaining CPU time: 1778.55 s 21.89/21.91 c ============================[ Search Statistics ]============================== 21.89/21.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.89/21.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.89/21.91 c =============================================================================== 21.89/21.91 c | 0 | 1191 39239 94692 | 13079 0 nan | 0.000 % | 21.89/21.92 c =============================================================================== 21.89/21.92 c core #280 21.89/21.92 c Core size: 17 Core Weight: 1 Total Weight: -220 21.89/21.92 c Elapsed CPU time: 21.5327 s Remaining CPU time: 1778.47 s 21.89/22.00 c ============================[ Search Statistics ]============================== 21.89/22.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.89/22.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.89/22.00 c =============================================================================== 21.89/22.00 c | 0 | 1197 39240 94704 | 13080 0 nan | 0.000 % | 21.99/22.00 c =============================================================================== 21.99/22.00 c core #281 21.99/22.00 c Core size: 15 Core Weight: 1 Total Weight: -219 21.99/22.00 c Elapsed CPU time: 21.6147 s Remaining CPU time: 1778.39 s 21.99/22.08 c ============================[ Search Statistics ]============================== 21.99/22.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.99/22.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.99/22.08 c =============================================================================== 21.99/22.08 c | 0 | 1203 39241 94716 | 13080 0 nan | 0.000 % | 21.99/22.09 c =============================================================================== 21.99/22.09 c core #282 21.99/22.09 c Core size: 12 Core Weight: 1 Total Weight: -218 21.99/22.09 c Elapsed CPU time: 21.6967 s Remaining CPU time: 1778.3 s 22.08/22.16 c ============================[ Search Statistics ]============================== 22.08/22.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.08/22.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.08/22.16 c =============================================================================== 22.08/22.16 c | 0 | 1207 39242 94724 | 13080 0 nan | 0.000 % | 22.08/22.17 c =============================================================================== 22.08/22.17 c core #283 22.08/22.17 c Core size: 17 Core Weight: 1 Total Weight: -217 22.08/22.17 c Elapsed CPU time: 21.7767 s Remaining CPU time: 1778.22 s 22.18/22.24 c ============================[ Search Statistics ]============================== 22.18/22.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.18/22.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.18/22.24 c =============================================================================== 22.18/22.24 c | 0 | 1213 39243 94736 | 13081 0 nan | 0.000 % | 22.18/22.25 c =============================================================================== 22.18/22.25 c core #284 22.18/22.25 c Core size: 16 Core Weight: 1 Total Weight: -216 22.18/22.25 c Elapsed CPU time: 21.8557 s Remaining CPU time: 1778.14 s 22.29/22.33 c ============================[ Search Statistics ]============================== 22.29/22.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.29/22.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.29/22.33 c =============================================================================== 22.29/22.33 c | 0 | 1219 39244 94748 | 13081 0 nan | 0.000 % | 22.29/22.33 c =============================================================================== 22.29/22.33 c core #285 22.29/22.33 c Core size: 21 Core Weight: 1 Total Weight: -215 22.29/22.33 c Elapsed CPU time: 21.9387 s Remaining CPU time: 1778.06 s 22.39/22.41 c ============================[ Search Statistics ]============================== 22.39/22.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.39/22.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.39/22.41 c =============================================================================== 22.39/22.41 c | 0 | 1227 39245 94764 | 13081 0 nan | 0.000 % | 22.39/22.41 c =============================================================================== 22.39/22.41 c core #286 22.39/22.41 c Core size: 22 Core Weight: 1 Total Weight: -214 22.39/22.41 c Elapsed CPU time: 22.0187 s Remaining CPU time: 1777.98 s 22.39/22.49 c ============================[ Search Statistics ]============================== 22.39/22.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.39/22.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.39/22.49 c =============================================================================== 22.39/22.49 c | 0 | 1235 39246 94780 | 13082 0 nan | 0.000 % | 22.39/22.49 c =============================================================================== 22.39/22.49 c core #287 22.39/22.49 c Core size: 17 Core Weight: 1 Total Weight: -213 22.39/22.49 c Elapsed CPU time: 22.0976 s Remaining CPU time: 1777.9 s 22.49/22.57 c ============================[ Search Statistics ]============================== 22.49/22.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.49/22.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.49/22.57 c =============================================================================== 22.49/22.57 c | 0 | 1241 39247 94792 | 13082 0 nan | 0.000 % | 22.49/22.57 c =============================================================================== 22.49/22.57 c core #288 22.49/22.57 c Core size: 15 Core Weight: 1 Total Weight: -212 22.49/22.57 c Elapsed CPU time: 22.1786 s Remaining CPU time: 1777.82 s 22.59/22.65 c ============================[ Search Statistics ]============================== 22.59/22.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.59/22.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.59/22.65 c =============================================================================== 22.59/22.65 c | 0 | 1247 39248 94804 | 13082 0 nan | 0.000 % | 22.59/22.66 c =============================================================================== 22.59/22.66 c core #289 22.59/22.66 c Core size: 15 Core Weight: 1 Total Weight: -211 22.59/22.66 c Elapsed CPU time: 22.2586 s Remaining CPU time: 1777.74 s 22.68/22.73 c ============================[ Search Statistics ]============================== 22.68/22.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.68/22.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.68/22.73 c =============================================================================== 22.68/22.73 c | 0 | 1253 39249 94816 | 13083 0 nan | 0.000 % | 22.68/22.74 c =============================================================================== 22.68/22.74 c core #290 22.68/22.74 c Core size: 16 Core Weight: 1 Total Weight: -210 22.68/22.74 c Elapsed CPU time: 22.3386 s Remaining CPU time: 1777.66 s 22.78/22.81 c ============================[ Search Statistics ]============================== 22.78/22.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.78/22.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.78/22.81 c =============================================================================== 22.78/22.81 c | 0 | 1259 39250 94828 | 13083 0 nan | 0.000 % | 22.78/22.82 c =============================================================================== 22.78/22.82 c core #291 22.78/22.82 c Core size: 15 Core Weight: 1 Total Weight: -209 22.78/22.82 c Elapsed CPU time: 22.4196 s Remaining CPU time: 1777.58 s 22.78/22.89 c ============================[ Search Statistics ]============================== 22.78/22.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.78/22.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.78/22.89 c =============================================================================== 22.78/22.89 c | 0 | 1265 39251 94840 | 13083 0 nan | 0.000 % | 22.88/22.90 c =============================================================================== 22.88/22.90 c core #292 22.88/22.90 c Core size: 16 Core Weight: 1 Total Weight: -208 22.88/22.90 c Elapsed CPU time: 22.4996 s Remaining CPU time: 1777.5 s 22.88/22.97 c ============================[ Search Statistics ]============================== 22.88/22.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.88/22.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.88/22.97 c =============================================================================== 22.88/22.97 c | 0 | 1271 39252 94852 | 13084 0 nan | 0.000 % | 22.88/22.98 c =============================================================================== 22.88/22.98 c core #293 22.88/22.98 c Core size: 17 Core Weight: 1 Total Weight: -207 22.88/22.98 c Elapsed CPU time: 22.5796 s Remaining CPU time: 1777.42 s 22.99/23.06 c ============================[ Search Statistics ]============================== 22.99/23.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.99/23.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.99/23.06 c =============================================================================== 22.99/23.06 c | 0 | 1277 39253 94864 | 13084 0 nan | 0.000 % | 22.99/23.06 c =============================================================================== 22.99/23.06 c core #294 22.99/23.06 c Core size: 22 Core Weight: 1 Total Weight: -206 22.99/23.06 c Elapsed CPU time: 22.6596 s Remaining CPU time: 1777.34 s 23.09/23.14 c ============================[ Search Statistics ]============================== 23.09/23.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.09/23.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.09/23.14 c =============================================================================== 23.09/23.14 c | 0 | 1285 39254 94880 | 13084 0 nan | 0.000 % | 23.09/23.14 c =============================================================================== 23.09/23.14 c core #295 23.09/23.14 c Core size: 16 Core Weight: 1 Total Weight: -205 23.09/23.14 c Elapsed CPU time: 22.7385 s Remaining CPU time: 1777.26 s 23.18/23.22 c ============================[ Search Statistics ]============================== 23.18/23.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.18/23.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.18/23.22 c =============================================================================== 23.18/23.22 c | 0 | 1291 39255 94892 | 13085 0 nan | 0.000 % | 23.18/23.23 c =============================================================================== 23.18/23.23 c core #296 23.18/23.23 c Core size: 22 Core Weight: 1 Total Weight: -204 23.18/23.23 c Elapsed CPU time: 22.8175 s Remaining CPU time: 1777.18 s 23.28/23.30 c ============================[ Search Statistics ]============================== 23.28/23.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.28/23.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.28/23.30 c =============================================================================== 23.28/23.30 c | 0 | 1299 39256 94908 | 13085 0 nan | 0.000 % | 23.28/23.31 c =============================================================================== 23.28/23.31 c core #297 23.28/23.31 c Core size: 16 Core Weight: 1 Total Weight: -203 23.28/23.31 c Elapsed CPU time: 22.8975 s Remaining CPU time: 1777.1 s 23.28/23.38 c ============================[ Search Statistics ]============================== 23.28/23.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.28/23.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.28/23.38 c =============================================================================== 23.28/23.38 c | 0 | 1305 39257 94920 | 13085 0 nan | 0.000 % | 23.28/23.39 c =============================================================================== 23.28/23.39 c core #298 23.28/23.39 c Core size: 16 Core Weight: 1 Total Weight: -202 23.28/23.39 c Elapsed CPU time: 22.9795 s Remaining CPU time: 1777.02 s 23.38/23.46 c ============================[ Search Statistics ]============================== 23.38/23.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.38/23.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.38/23.46 c =============================================================================== 23.38/23.46 c | 0 | 1311 39258 94932 | 13086 0 nan | 0.000 % | 23.38/23.47 c =============================================================================== 23.38/23.47 c core #299 23.38/23.47 c Core size: 17 Core Weight: 1 Total Weight: -201 23.38/23.47 c Elapsed CPU time: 23.0605 s Remaining CPU time: 1776.94 s 23.48/23.55 c ============================[ Search Statistics ]============================== 23.48/23.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.48/23.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.48/23.55 c =============================================================================== 23.48/23.55 c | 0 | 1317 39259 94944 | 13086 0 nan | 0.000 % | 23.48/23.55 c =============================================================================== 23.48/23.55 c core #300 23.48/23.55 c Core size: 22 Core Weight: 1 Total Weight: -200 23.48/23.55 c Elapsed CPU time: 23.1405 s Remaining CPU time: 1776.86 s 23.59/23.63 c ============================[ Search Statistics ]============================== 23.59/23.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.59/23.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.59/23.63 c =============================================================================== 23.59/23.63 c | 0 | 1325 39260 94960 | 13086 0 nan | 0.000 % | 23.59/23.63 c =============================================================================== 23.59/23.63 c core #301 23.59/23.63 c Core size: 16 Core Weight: 1 Total Weight: -199 23.59/23.63 c Elapsed CPU time: 23.2205 s Remaining CPU time: 1776.78 s 23.69/23.71 c ============================[ Search Statistics ]============================== 23.69/23.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.69/23.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.69/23.71 c =============================================================================== 23.69/23.71 c | 0 | 1331 39261 94972 | 13087 0 nan | 0.000 % | 23.69/23.72 c =============================================================================== 23.69/23.72 c core #302 23.69/23.72 c Core size: 27 Core Weight: 1 Total Weight: -198 23.69/23.72 c Elapsed CPU time: 23.3005 s Remaining CPU time: 1776.7 s 23.69/23.80 c ============================[ Search Statistics ]============================== 23.69/23.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.69/23.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.69/23.80 c =============================================================================== 23.69/23.80 c | 0 | 1341 39262 94992 | 13087 0 nan | 0.000 % | 23.78/23.80 c =============================================================================== 23.78/23.80 c core #303 23.78/23.80 c Core size: 21 Core Weight: 1 Total Weight: -197 23.78/23.80 c Elapsed CPU time: 23.3834 s Remaining CPU time: 1776.62 s 23.78/23.88 c ============================[ Search Statistics ]============================== 23.78/23.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.78/23.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.78/23.88 c =============================================================================== 23.78/23.88 c | 0 | 1349 39263 95008 | 13087 0 nan | 0.000 % | 23.78/23.88 c =============================================================================== 23.78/23.88 c core #304 23.78/23.88 c Core size: 20 Core Weight: 1 Total Weight: -196 23.78/23.88 c Elapsed CPU time: 23.4654 s Remaining CPU time: 1776.53 s 23.88/23.96 c ============================[ Search Statistics ]============================== 23.88/23.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.88/23.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.88/23.96 c =============================================================================== 23.88/23.96 c | 0 | 1357 39264 95024 | 13088 0 nan | 0.000 % | 23.88/23.97 c =============================================================================== 23.88/23.97 c core #305 23.88/23.97 c Core size: 21 Core Weight: 1 Total Weight: -195 23.88/23.97 c Elapsed CPU time: 23.5454 s Remaining CPU time: 1776.45 s 23.98/24.05 c ============================[ Search Statistics ]============================== 23.98/24.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.98/24.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.98/24.05 c =============================================================================== 23.98/24.05 c | 0 | 1365 39265 95040 | 13088 0 nan | 0.000 % | 23.98/24.05 c =============================================================================== 23.98/24.05 c core #306 23.98/24.05 c Core size: 16 Core Weight: 1 Total Weight: -194 23.98/24.05 c Elapsed CPU time: 23.6314 s Remaining CPU time: 1776.37 s 24.09/24.13 c ============================[ Search Statistics ]============================== 24.09/24.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.09/24.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.09/24.13 c =============================================================================== 24.09/24.13 c | 0 | 1371 39266 95052 | 13088 0 nan | 0.000 % | 24.09/24.14 c =============================================================================== 24.09/24.14 c core #307 24.09/24.14 c Core size: 20 Core Weight: 1 Total Weight: -193 24.09/24.14 c Elapsed CPU time: 23.7134 s Remaining CPU time: 1776.29 s 24.19/24.21 c ============================[ Search Statistics ]============================== 24.19/24.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.19/24.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.19/24.21 c =============================================================================== 24.19/24.21 c | 0 | 1379 39267 95068 | 13089 0 nan | 0.000 % | 24.19/24.22 c =============================================================================== 24.19/24.22 c core #308 24.19/24.22 c Core size: 21 Core Weight: 1 Total Weight: -192 24.19/24.22 c Elapsed CPU time: 23.7954 s Remaining CPU time: 1776.2 s 24.19/24.30 c ============================[ Search Statistics ]============================== 24.19/24.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.19/24.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.19/24.30 c =============================================================================== 24.19/24.30 c | 0 | 1387 39268 95084 | 13089 0 nan | 0.000 % | 24.29/24.30 c =============================================================================== 24.29/24.30 c core #309 24.29/24.30 c Core size: 27 Core Weight: 1 Total Weight: -191 24.29/24.30 c Elapsed CPU time: 23.8754 s Remaining CPU time: 1776.12 s 24.29/24.38 c ============================[ Search Statistics ]============================== 24.29/24.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.29/24.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.29/24.38 c =============================================================================== 24.29/24.38 c | 0 | 1397 39269 95104 | 13089 0 nan | 0.000 % | 24.29/24.38 c =============================================================================== 24.29/24.38 c core #310 24.29/24.38 c Core size: 16 Core Weight: 1 Total Weight: -190 24.29/24.38 c Elapsed CPU time: 23.9554 s Remaining CPU time: 1776.04 s 24.38/24.46 c ============================[ Search Statistics ]============================== 24.38/24.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.38/24.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.38/24.46 c =============================================================================== 24.38/24.46 c | 0 | 1403 39270 95116 | 13090 0 nan | 0.000 % | 24.38/24.46 c =============================================================================== 24.38/24.46 c core #311 24.38/24.46 c Core size: 27 Core Weight: 1 Total Weight: -189 24.38/24.46 c Elapsed CPU time: 24.0343 s Remaining CPU time: 1775.97 s 24.48/24.54 c ============================[ Search Statistics ]============================== 24.48/24.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.48/24.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.48/24.54 c =============================================================================== 24.48/24.54 c | 0 | 1413 39271 95136 | 13090 0 nan | 0.000 % | 24.48/24.55 c =============================================================================== 24.48/24.55 c core #312 24.48/24.55 c Core size: 20 Core Weight: 1 Total Weight: -188 24.48/24.55 c Elapsed CPU time: 24.1193 s Remaining CPU time: 1775.88 s 24.59/24.63 c ============================[ Search Statistics ]============================== 24.59/24.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.59/24.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.59/24.63 c =============================================================================== 24.59/24.63 c | 0 | 1421 39272 95152 | 13090 0 nan | 0.000 % | 24.59/24.63 c =============================================================================== 24.59/24.63 c core #313 24.59/24.63 c Core size: 20 Core Weight: 1 Total Weight: -187 24.59/24.63 c Elapsed CPU time: 24.2003 s Remaining CPU time: 1775.8 s 24.69/24.71 c ============================[ Search Statistics ]============================== 24.69/24.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.69/24.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.69/24.71 c =============================================================================== 24.69/24.71 c | 0 | 1429 39273 95168 | 13091 0 nan | 0.000 % | 24.69/24.71 c =============================================================================== 24.69/24.71 c core #314 24.69/24.71 c Core size: 19 Core Weight: 1 Total Weight: -186 24.69/24.71 c Elapsed CPU time: 24.2803 s Remaining CPU time: 1775.72 s 24.69/24.79 c ============================[ Search Statistics ]============================== 24.69/24.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.69/24.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.69/24.79 c =============================================================================== 24.69/24.79 c | 0 | 1435 39274 95180 | 13091 0 nan | 0.000 % | 24.69/24.80 c =============================================================================== 24.69/24.80 c core #315 24.69/24.80 c Core size: 26 Core Weight: 1 Total Weight: -185 24.69/24.80 c Elapsed CPU time: 24.3603 s Remaining CPU time: 1775.64 s 24.79/24.87 c ============================[ Search Statistics ]============================== 24.79/24.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.79/24.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.79/24.87 c =============================================================================== 24.79/24.87 c | 0 | 1445 39275 95200 | 13091 0 nan | 0.000 % | 24.79/24.88 c =============================================================================== 24.79/24.88 c core #316 24.79/24.88 c Core size: 15 Core Weight: 1 Total Weight: -184 24.79/24.88 c Elapsed CPU time: 24.4403 s Remaining CPU time: 1775.56 s 24.88/24.96 c ============================[ Search Statistics ]============================== 24.88/24.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.88/24.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.88/24.96 c =============================================================================== 24.88/24.96 c | 0 | 1451 39276 95212 | 13092 0 nan | 0.000 % | 24.88/24.96 c =============================================================================== 24.88/24.96 c core #317 24.88/24.96 c Core size: 25 Core Weight: 1 Total Weight: -183 24.88/24.96 c Elapsed CPU time: 24.5233 s Remaining CPU time: 1775.48 s 24.98/25.04 c ============================[ Search Statistics ]============================== 24.98/25.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.98/25.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.98/25.04 c =============================================================================== 24.98/25.04 c | 0 | 1461 39277 95232 | 13092 0 nan | 0.000 % | 24.98/25.05 c =============================================================================== 24.98/25.05 c core #318 24.98/25.05 c Core size: 32 Core Weight: 1 Total Weight: -182 24.98/25.05 c Elapsed CPU time: 24.6033 s Remaining CPU time: 1775.4 s 25.09/25.12 c ============================[ Search Statistics ]============================== 25.09/25.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.09/25.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.09/25.12 c =============================================================================== 25.09/25.12 c | 0 | 1472 39278 95254 | 13092 0 nan | 0.000 % | 25.09/25.13 c =============================================================================== 25.09/25.13 c core #319 25.09/25.13 c Core size: 20 Core Weight: 1 Total Weight: -181 25.09/25.13 c Elapsed CPU time: 24.6822 s Remaining CPU time: 1775.32 s 25.19/25.20 c ============================[ Search Statistics ]============================== 25.19/25.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.19/25.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.19/25.20 c =============================================================================== 25.19/25.20 c | 0 | 1480 39279 95270 | 13093 0 nan | 0.000 % | 25.19/25.21 c =============================================================================== 25.19/25.21 c core #320 25.19/25.21 c Core size: 30 Core Weight: 1 Total Weight: -180 25.19/25.21 c Elapsed CPU time: 24.7642 s Remaining CPU time: 1775.24 s 25.19/25.29 c ============================[ Search Statistics ]============================== 25.19/25.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.19/25.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.19/25.29 c =============================================================================== 25.19/25.29 c | 0 | 1491 39280 95292 | 13093 0 nan | 0.000 % | 25.19/25.29 c =============================================================================== 25.19/25.29 c core #321 25.19/25.29 c Core size: 49 Core Weight: 1 Total Weight: -179 25.19/25.29 c Elapsed CPU time: 24.8472 s Remaining CPU time: 1775.15 s 25.29/25.37 c ============================[ Search Statistics ]============================== 25.29/25.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.29/25.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.29/25.37 c =============================================================================== 25.29/25.37 c | 0 | 1508 39281 95326 | 13093 0 nan | 0.000 % | 25.29/25.38 c =============================================================================== 25.29/25.38 c core #322 25.29/25.38 c Core size: 128 Core Weight: 1 Total Weight: -178 25.29/25.38 c Elapsed CPU time: 24.9332 s Remaining CPU time: 1775.07 s 25.38/25.46 c ============================[ Search Statistics ]============================== 25.38/25.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.38/25.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.38/25.46 c =============================================================================== 25.38/25.46 c | 0 | 1541 39282 95392 | 13094 0 nan | 0.000 % | 25.38/25.48 c | 100 | 1541 39282 95392 | 14403 100 20 | 92.398 % | 25.38/25.49 c | 251 | 1541 39282 95392 | 15843 251 31 | 92.398 % | 25.38/25.49 c =============================================================================== 25.38/25.49 c core #323 25.38/25.49 c Core size: 263 Core Weight: 1 Total Weight: -177 25.38/25.49 c Elapsed CPU time: 25.0382 s Remaining CPU time: 1774.96 s 25.49/25.57 c ============================[ Search Statistics ]============================== 25.49/25.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.49/25.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.49/25.57 c =============================================================================== 25.49/25.57 c | 0 | 1606 39283 95522 | 13094 0 nan | 0.000 % | 25.49/25.58 c | 106 | 1606 39283 95522 | 14403 106 38 | 92.103 % | 25.49/25.59 c | 257 | 1606 39283 95522 | 15844 257 36 | 92.103 % | 25.59/25.61 c =============================================================================== 25.59/25.61 c core #324 25.59/25.61 c Core size: 289 Core Weight: 1 Total Weight: -176 25.59/25.61 c Elapsed CPU time: 25.1542 s Remaining CPU time: 1774.85 s 25.59/25.69 c ============================[ Search Statistics ]============================== 25.59/25.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.59/25.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.59/25.69 c =============================================================================== 25.59/25.69 c | 0 | 1672 39284 95654 | 13094 0 nan | 0.000 % | 25.68/25.70 c | 100 | 1672 39284 95654 | 14404 100 23 | 91.805 % | 25.68/25.71 c | 251 | 1672 39284 95654 | 15844 251 28 | 91.805 % | 25.68/25.71 c =============================================================================== 25.68/25.71 c core #325 25.68/25.71 c Core size: 143 Core Weight: 1 Total Weight: -175 25.68/25.71 c Elapsed CPU time: 25.2572 s Remaining CPU time: 1774.74 s 25.68/25.79 c ============================[ Search Statistics ]============================== 25.68/25.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.68/25.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.68/25.79 c =============================================================================== 25.68/25.79 c | 0 | 1710 39285 95730 | 13095 0 nan | 0.000 % | 25.78/25.80 c | 100 | 1710 39285 95730 | 14404 100 22 | 91.634 % | 25.78/25.81 c | 252 | 1710 39285 95730 | 15844 252 33 | 91.634 % | 25.78/25.83 c | 477 | 1710 39285 95730 | 17429 477 38 | 91.634 % | 25.78/25.84 c =============================================================================== 25.78/25.84 c core #326 25.78/25.84 c Core size: 275 Core Weight: 1 Total Weight: -174 25.78/25.84 c Elapsed CPU time: 25.3781 s Remaining CPU time: 1774.62 s 25.88/25.92 c ============================[ Search Statistics ]============================== 25.88/25.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.88/25.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.88/25.92 c =============================================================================== 25.88/25.92 c | 0 | 1779 39286 95868 | 13095 0 nan | 0.000 % | 25.88/25.93 c | 100 | 1779 39286 95868 | 14404 100 27 | 91.326 % | 25.88/25.94 c | 250 | 1779 39286 95868 | 15845 250 33 | 91.326 % | 25.88/25.95 c | 476 | 1778 39286 95868 | 17429 476 41 | 91.331 % | 25.88/25.99 c | 813 | 1778 39286 95868 | 19172 813 58 | 91.336 % | 25.88/25.99 c =============================================================================== 25.88/25.99 c core #327 25.88/25.99 c Core size: 139 Core Weight: 1 Total Weight: -173 25.88/25.99 c Elapsed CPU time: 25.5281 s Remaining CPU time: 1774.47 s 25.99/26.07 c ============================[ Search Statistics ]============================== 25.99/26.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.99/26.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.99/26.07 c =============================================================================== 25.99/26.07 c | 0 | 1813 39287 95936 | 13095 0 nan | 0.000 % | 25.99/26.09 c | 100 | 1813 39287 95936 | 14405 100 15 | 91.175 % | 25.99/26.09 c =============================================================================== 25.99/26.09 c core #328 25.99/26.09 c Core size: 189 Core Weight: 1 Total Weight: -172 25.99/26.09 c Elapsed CPU time: 25.6271 s Remaining CPU time: 1774.37 s 26.09/26.17 c ============================[ Search Statistics ]============================== 26.09/26.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.09/26.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.09/26.17 c =============================================================================== 26.09/26.17 c | 0 | 1857 39288 96024 | 13096 0 nan | 0.000 % | 26.09/26.19 c | 100 | 1857 39288 96024 | 14405 100 39 | 90.980 % | 26.09/26.20 c | 251 | 1857 39288 96024 | 15846 251 47 | 90.980 % | 26.18/26.21 c | 478 | 1857 39288 96024 | 17430 478 52 | 90.980 % | 26.18/26.22 c =============================================================================== 26.18/26.23 c core #329 26.18/26.23 c Core size: 312 Core Weight: 1 Total Weight: -171 26.18/26.23 c Elapsed CPU time: 25.7581 s Remaining CPU time: 1774.24 s 26.28/26.31 c ============================[ Search Statistics ]============================== 26.28/26.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.28/26.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.28/26.31 c =============================================================================== 26.28/26.31 c | 0 | 1921 39289 96152 | 13096 0 nan | 0.000 % | 26.28/26.32 c | 100 | 1920 39289 96152 | 14405 100 20 | 90.703 % | 26.28/26.33 c | 251 | 1920 39289 96152 | 15846 251 29 | 90.703 % | 26.28/26.34 c =============================================================================== 26.28/26.34 c core #330 26.28/26.34 c Core size: 78 Core Weight: 1 Total Weight: -170 26.28/26.34 c Elapsed CPU time: 25.8701 s Remaining CPU time: 1774.13 s 26.39/26.43 c ============================[ Search Statistics ]============================== 26.39/26.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.39/26.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.39/26.43 c =============================================================================== 26.39/26.43 c | 0 | 1941 39290 96192 | 13096 0 nan | 0.000 % | 26.39/26.44 c | 101 | 1941 39290 96192 | 14406 101 33 | 90.610 % | 26.39/26.44 c =============================================================================== 26.39/26.44 c core #331 26.39/26.44 c Core size: 83 Core Weight: 1 Total Weight: -169 26.39/26.44 c Elapsed CPU time: 25.9631 s Remaining CPU time: 1774.04 s 26.48/26.52 c ============================[ Search Statistics ]============================== 26.48/26.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.48/26.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.48/26.52 c =============================================================================== 26.48/26.52 c | 0 | 1965 39291 96240 | 13097 0 nan | 0.000 % | 26.48/26.54 c | 100 | 1965 39291 96240 | 14406 100 26 | 90.505 % | 26.48/26.54 c | 250 | 1965 39291 96240 | 15847 250 36 | 90.505 % | 26.48/26.56 c | 476 | 1965 39291 96240 | 17432 476 43 | 90.505 % | 26.48/26.59 c | 816 | 1965 39291 96240 | 19175 816 50 | 90.505 % | 26.59/26.65 c | 1323 | 1965 39291 96240 | 21092 1323 67 | 90.505 % | 26.59/26.69 c =============================================================================== 26.68/26.70 c core #332 26.68/26.70 c Core size: 628 Core Weight: 1 Total Weight: -168 26.68/26.70 c Elapsed CPU time: 26.217 s Remaining CPU time: 1773.78 s 26.68/26.79 c ============================[ Search Statistics ]============================== 26.68/26.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.68/26.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.68/26.79 c =============================================================================== 26.68/26.79 c | 0 | 2066 39292 96442 | 13097 0 nan | 0.000 % | 26.78/26.80 c | 102 | 2066 39292 96442 | 14407 102 22 | 90.065 % | 26.78/26.81 c | 252 | 2066 39292 96442 | 15847 252 24 | 90.065 % | 26.78/26.83 c | 477 | 2066 39292 96442 | 17432 477 40 | 90.065 % | 26.78/26.86 c | 814 | 2066 39292 96442 | 19175 814 61 | 90.065 % | 26.78/26.87 c =============================================================================== 26.78/26.87 c core #333 26.78/26.87 c Core size: 279 Core Weight: 1 Total Weight: -167 26.78/26.87 c Elapsed CPU time: 26.38 s Remaining CPU time: 1773.62 s 26.88/26.95 c ============================[ Search Statistics ]============================== 26.88/26.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.88/26.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.88/26.96 c =============================================================================== 26.88/26.96 c | 0 | 2114 39293 96538 | 13097 0 nan | 0.000 % | 26.88/26.97 c | 101 | 2114 39293 96538 | 14407 101 30 | 89.858 % | 26.88/26.98 c =============================================================================== 26.88/26.98 c core #334 26.88/26.98 c Core size: 155 Core Weight: 1 Total Weight: -166 26.88/26.98 c Elapsed CPU time: 26.478 s Remaining CPU time: 1773.52 s 26.98/27.06 c ============================[ Search Statistics ]============================== 26.98/27.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.98/27.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.98/27.06 c =============================================================================== 26.98/27.06 c | 0 | 2154 39294 96618 | 13098 0 nan | 0.000 % | 26.98/27.07 c | 100 | 2154 39294 96618 | 14407 100 16 | 89.686 % | 26.98/27.08 c | 250 | 2154 39294 96618 | 15848 250 15 | 89.686 % | 26.98/27.09 c | 476 | 2154 39294 96618 | 17433 476 16 | 89.686 % | 27.09/27.10 c =============================================================================== 27.09/27.10 c core #335 27.09/27.10 c Core size: 426 Core Weight: 1 Total Weight: -165 27.09/27.10 c Elapsed CPU time: 26.598 s Remaining CPU time: 1773.4 s 27.09/27.18 c ============================[ Search Statistics ]============================== 27.09/27.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.09/27.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.09/27.18 c =============================================================================== 27.09/27.18 c | 0 | 2222 39295 96754 | 13098 0 nan | 0.000 % | 27.09/27.20 c | 102 | 2222 39295 96754 | 14408 102 47 | 89.395 % | 27.19/27.20 c | 252 | 2222 39295 96754 | 15848 252 32 | 89.395 % | 27.19/27.22 c | 480 | 2222 39295 96754 | 17433 480 28 | 89.395 % | 27.19/27.24 c | 820 | 2220 39295 96754 | 19177 820 35 | 89.404 % | 27.19/27.26 c =============================================================================== 27.19/27.27 c core #336 27.19/27.27 c Core size: 283 Core Weight: 1 Total Weight: -164 27.19/27.27 c Elapsed CPU time: 26.7569 s Remaining CPU time: 1773.24 s 27.28/27.35 c ============================[ Search Statistics ]============================== 27.28/27.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.28/27.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.28/27.35 c =============================================================================== 27.28/27.35 c | 0 | 2276 39296 96862 | 13098 0 nan | 0.000 % | 27.28/27.36 c | 100 | 2276 39296 96862 | 14408 100 36 | 89.165 % | 27.28/27.37 c | 250 | 2276 39296 96862 | 15849 250 38 | 89.165 % | 27.28/27.39 c | 475 | 2276 39296 96862 | 17434 475 38 | 89.165 % | 27.38/27.43 c | 813 | 2276 39296 96862 | 19177 813 60 | 89.165 % | 27.49/27.50 c | 1320 | 2276 39296 96862 | 21095 1320 88 | 89.165 % | 27.59/27.61 c | 2081 | 2276 39296 96862 | 23205 2081 101 | 89.165 % | 27.68/27.78 c | 3221 | 2276 39296 96862 | 25525 3221 107 | 89.165 % | 27.98/28.06 c | 4934 | 2276 39296 96862 | 28078 4934 101 | 89.165 % | 28.49/28.55 c | 7496 | 2274 39296 96862 | 30885 7489 108 | 89.175 % | 28.68/28.72 c =============================================================================== 28.68/28.74 c core #337 28.68/28.74 c Core size: 416 Core Weight: 1 Total Weight: -163 28.68/28.74 c Elapsed CPU time: 28.1987 s Remaining CPU time: 1771.8 s 28.78/28.83 c ============================[ Search Statistics ]============================== 28.78/28.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.78/28.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.78/28.83 c =============================================================================== 28.78/28.83 c | 0 | 2365 39297 97040 | 13099 0 nan | 0.000 % | 28.78/28.85 c | 100 | 2365 39297 97040 | 14408 100 109 | 88.789 % | 28.78/28.86 c | 250 | 2365 39297 97040 | 15849 250 63 | 88.789 % | 28.78/28.88 c | 478 | 2365 39297 97040 | 17434 478 54 | 88.789 % | 28.88/28.90 c | 815 | 2365 39297 97040 | 19178 815 53 | 88.789 % | 28.88/28.97 c | 1321 | 2365 39297 97040 | 21096 1321 72 | 88.789 % | 28.98/29.08 c | 2080 | 2365 39297 97040 | 23205 2080 90 | 88.789 % | 29.19/29.27 c | 3221 | 2365 39297 97040 | 25526 3221 105 | 88.789 % | 29.58/29.63 c | 4930 | 2365 39297 97040 | 28078 4930 118 | 88.789 % | 30.28/30.39 c | 7495 | 2365 39297 97040 | 30886 7495 136 | 88.789 % | 31.58/31.62 c | 11343 | 2365 39297 97040 | 33975 11343 154 | 88.789 % | 32.27/32.38 c =============================================================================== 32.37/32.41 c core #338 32.37/32.41 c Core size: 928 Core Weight: 1 Total Weight: -162 32.37/32.41 c Elapsed CPU time: 31.8052 s Remaining CPU time: 1768.19 s 32.48/32.51 c ============================[ Search Statistics ]============================== 32.48/32.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.48/32.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.48/32.51 c =============================================================================== 32.48/32.51 c | 0 | 2476 39298 97262 | 13099 0 nan | 0.000 % | 32.48/32.52 c | 103 | 2476 39298 97262 | 14409 103 36 | 88.324 % | 32.48/32.53 c | 253 | 2476 39298 97262 | 15850 253 24 | 88.324 % | 32.48/32.54 c | 479 | 2476 39298 97262 | 17435 479 23 | 88.324 % | 32.48/32.57 c | 816 | 2476 39298 97262 | 19178 816 34 | 88.324 % | 32.57/32.64 c | 1324 | 2476 39298 97262 | 21096 1324 55 | 88.324 % | 32.67/32.78 c | 2085 | 2476 39298 97262 | 23206 2085 88 | 88.324 % | 32.88/32.99 c | 3227 | 2476 39298 97262 | 25526 3227 88 | 88.324 % | 33.18/33.24 c =============================================================================== 33.18/33.29 c core #339 33.18/33.29 c Core size: 649 Core Weight: 1 Total Weight: -161 33.18/33.29 c Elapsed CPU time: 32.659 s Remaining CPU time: 1767.34 s 33.27/33.37 c ============================[ Search Statistics ]============================== 33.27/33.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 33.27/33.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 33.27/33.37 c =============================================================================== 33.27/33.37 c | 0 | 2550 39299 97410 | 13099 0 nan | 0.000 % | 33.27/33.39 c | 100 | 2550 39299 97410 | 14409 100 19 | 88.017 % | 33.27/33.40 c | 250 | 2550 39299 97410 | 15850 250 15 | 88.017 % | 33.37/33.41 c | 475 | 2550 39299 97410 | 17435 475 29 | 88.017 % | 33.37/33.44 c | 813 | 2550 39299 97410 | 19179 813 35 | 88.017 % | 33.37/33.49 c | 1320 | 2549 39299 97410 | 21097 1317 53 | 88.022 % | 33.48/33.59 c | 2079 | 2537 39299 97410 | 23206 2076 85 | 88.421 % | 33.57/33.61 c =============================================================================== 33.57/33.63 c core #340 33.57/33.63 c Core size: 445 Core Weight: 1 Total Weight: -160 33.57/33.63 c Elapsed CPU time: 32.993 s Remaining CPU time: 1767.01 s 33.67/33.72 c ============================[ Search Statistics ]============================== 33.67/33.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 33.67/33.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 33.67/33.72 c =============================================================================== 33.67/33.72 c | 0 | 2612 39300 97534 | 13100 0 nan | 0.000 % | 33.67/33.73 c | 100 | 2612 39300 97534 | 14410 100 32 | 87.761 % | 33.67/33.74 c | 250 | 2612 39300 97534 | 15851 250 31 | 87.761 % | 33.67/33.76 c | 475 | 2612 39300 97534 | 17436 475 33 | 87.761 % | 33.67/33.78 c | 812 | 2612 39300 97534 | 19179 812 34 | 87.761 % | 33.77/33.82 c | 1319 | 2612 39300 97534 | 21097 1319 41 | 87.761 % | 33.87/33.93 c | 2079 | 2612 39300 97534 | 23207 2079 66 | 87.761 % | 34.08/34.13 c | 3221 | 2612 39300 97534 | 25528 3221 82 | 87.761 % | 34.48/34.50 c | 4930 | 2612 39300 97534 | 28081 4930 104 | 87.761 % | 34.87/34.96 c | 7493 | 2612 39300 97534 | 30889 7493 108 | 87.761 % | 36.48/36.58 c | 11337 | 2612 39300 97534 | 33978 11337 164 | 87.761 % | 40.28/40.30 c | 17103 | 2612 39300 97534 | 37375 17103 208 | 87.761 % | 47.27/47.33 c =============================================================================== 47.67/47.71 c core #341 47.67/47.71 c Core size: 839 Core Weight: 1 Total Weight: -159 47.67/47.71 c Elapsed CPU time: 46.9629 s Remaining CPU time: 1753.04 s 47.77/47.82 c ============================[ Search Statistics ]============================== 47.77/47.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 47.77/47.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 47.77/47.82 c =============================================================================== 47.77/47.82 c | 0 | 2696 39301 97702 | 13100 0 nan | 0.000 % | 47.77/47.84 c | 100 | 2696 39301 97702 | 14410 100 52 | 87.417 % | 47.77/47.85 c | 251 | 2696 39301 97702 | 15851 251 28 | 87.417 % | 47.77/47.86 c | 477 | 2696 39301 97702 | 17436 477 24 | 87.417 % | 47.77/47.88 c | 814 | 2696 39301 97702 | 19180 814 26 | 87.417 % | 47.87/47.92 c | 1320 | 2696 39301 97702 | 21098 1320 36 | 87.417 % | 47.87/47.98 c | 2083 | 2696 39301 97702 | 23208 2083 36 | 87.417 % | 48.07/48.10 c | 3223 | 2696 39301 97702 | 25528 3223 46 | 87.417 % | 48.27/48.34 c | 4933 | 2696 39301 97702 | 28081 4933 56 | 87.417 % | 48.77/48.84 c | 7497 | 2696 39301 97702 | 30889 7497 61 | 87.417 % | 49.17/49.26 c =============================================================================== 49.27/49.37 c core #342 49.27/49.37 c Core size: 863 Core Weight: 1 Total Weight: -158 49.27/49.37 c Elapsed CPU time: 48.5896 s Remaining CPU time: 1751.41 s 49.38/49.46 c ============================[ Search Statistics ]============================== 49.38/49.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 49.38/49.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 49.38/49.46 c =============================================================================== 49.38/49.46 c | 0 | 2800 39302 97910 | 13100 0 nan | 0.000 % | 49.38/49.48 c | 100 | 2800 39302 97910 | 14410 100 38 | 86.995 % | 49.38/49.49 c | 251 | 2800 39302 97910 | 15851 251 30 | 86.995 % | 49.47/49.50 c | 485 | 2800 39302 97910 | 17436 485 40 | 86.995 % | 49.47/49.52 c | 822 | 2800 39302 97910 | 19180 822 36 | 86.995 % | 49.47/49.56 c | 1331 | 2800 39302 97910 | 21098 1331 44 | 86.995 % | 49.57/49.67 c | 2090 | 2800 39302 97910 | 23208 2090 63 | 86.995 % | 49.77/49.85 c | 3229 | 2800 39302 97910 | 25529 3229 89 | 86.995 % | 50.07/50.20 c | 4938 | 2800 39302 97910 | 28082 4938 109 | 86.995 % | 51.07/51.13 c | 7502 | 2800 39302 97910 | 30890 7502 135 | 86.995 % | 52.87/52.98 c | 11346 | 2800 39302 97910 | 33979 11346 154 | 86.995 % | 55.87/55.99 c | 17112 | 2800 39302 97910 | 37377 17112 152 | 86.995 % | 60.77/60.89 c | 25761 | 2800 39302 97910 | 41115 25761 161 | 86.995 % | 68.86/68.92 c | 38743 | 2800 39302 97910 | 45227 38743 154 | 86.995 % | 99.76/99.83 c | 58204 | 2800 39302 97910 | 49749 58204 167 | 86.995 % | 135.25/135.32 c | 87397 | 2800 39302 97910 | 54724 32215 261 | 86.995 % | 254.41/254.53 c | 131186 | 2800 39302 97910 | 60197 17070 225 | 86.995 % | 482.75/482.97 c | 196876 | 2800 39302 97910 | 66216 20312 392 | 86.995 % | 849.46/849.72 c | 295404 | 2800 39302 97910 | 72838 51092 505 | 86.995 % | 1244.15/1244.59 c | 443194 | 2800 39302 97910 | 80122 47761 381 | 86.995 % |
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-1875344-1245200210/watcher-1875344-1245200210 -o /tmp/evaluation-result-1875344-1245200210/solver-1875344-1245200210 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875344-1245200210.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.97 3/64 6453 /proc/meminfo: memFree=1803688/2055920 swapFree=4191900/4192956 [pid=6453] ppid=6451 vsize=4384 CPUtime=0 /proc/6453/stat : 6453 (wbo) R 6451 6453 4801 0 -1 4194304 257 0 0 0 0 0 0 0 18 0 1 0 187621825 4489216 241 1992294400 134512640 135709839 4294956240 18446744073709551615 135058250 0 0 4096 3 0 0 0 17 1 0 0 /proc/6453/statm: 1096 243 125 292 0 406 0 [startup+0.0416989 s] /proc/loadavg: 0.99 0.97 0.97 3/64 6453 /proc/meminfo: memFree=1803688/2055920 swapFree=4191900/4192956 [pid=6453] ppid=6451 vsize=7244 CPUtime=0.03 /proc/6453/stat : 6453 (wbo) R 6451 6453 4801 0 -1 4194304 929 0 0 0 3 0 0 0 18 0 1 0 187621825 7417856 913 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/6453/statm: 1811 914 166 292 0 1121 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 7244 [startup+0.102705 s] /proc/loadavg: 0.99 0.97 0.97 3/64 6453 /proc/meminfo: memFree=1803688/2055920 swapFree=4191900/4192956 [pid=6453] ppid=6451 vsize=8680 CPUtime=0.09 /proc/6453/stat : 6453 (wbo) R 6451 6453 4801 0 -1 4194304 1412 0 0 0 9 0 0 0 18 0 1 0 187621825 8888320 1396 1992294400 134512640 135709839 4294956240 18446744073709551615 134547984 0 0 4096 3 0 0 0 17 1 0 0 /proc/6453/statm: 2170 1396 256 292 0 1480 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8680 [startup+0.301727 s] /proc/loadavg: 0.99 0.97 0.97 3/64 6453 /proc/meminfo: memFree=1803688/2055920 swapFree=4191900/4192956 [pid=6453] ppid=6451 vsize=15272 CPUtime=0.29 /proc/6453/stat : 6453 (wbo) R 6451 6453 4801 0 -1 4194304 3639 0 0 0 28 1 0 0 20 0 1 0 187621825 15638528 3195 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/6453/statm: 3818 3196 134 292 0 3523 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15272 [startup+0.702772 s] /proc/loadavg: 0.99 0.97 0.97 3/64 6453 /proc/meminfo: memFree=1803688/2055920 swapFree=4191900/4192956 [pid=6453] ppid=6451 vsize=22732 CPUtime=0.69 /proc/6453/stat : 6453 (wbo) R 6451 6453 4801 0 -1 4194304 6233 0 0 0 67 2 0 0 22 0 1 0 187621825 23277568 5183 1992294400 134512640 135709839 4294956240 18446744073709551615 135166305 0 0 4096 3 0 0 0 17 1 0 0 /proc/6453/statm: 5683 5183 134 292 0 5388 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 22732 [startup+1.50186 s] /proc/loadavg: 0.99 0.97 0.97 2/65 6454 /proc/meminfo: memFree=1778464/2055920 swapFree=4191900/4192956 [pid=6453] ppid=6451 vsize=36144 CPUtime=1.49 /proc/6453/stat : 6453 (wbo) R 6451 6453 4801 0 -1 4194304 9548 0 0 0 146 3 0 0 25 0 1 0 187621825 37011456 8498 1992294400 134512640 135709839 4294956240 18446744073709551615 134518505 0 0 4096 3 0 0 0 17 1 0 0 /proc/6453/statm: 9036 8498 134 292 0 8741 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 36144 [startup+3.10104 s] /proc/loadavg: 0.99 0.97 0.97 2/65 6454 /proc/meminfo: memFree=1759904/2055920 swapFree=4191900/4192956 [pid=6453] ppid=6451 vsize=63712 CPUtime=3.09 /proc/6453/stat : 6453 (wbo) R 6451 6453 4801 0 -1 4194304 16394 0 0 0 303 6 0 0 25 0 1 0 187621825 65241088 15344 1992294400 134512640 135709839 4294956240 18446744073709551615 135166063 0 0 4096 3 0 0 0 17 1 0 0 /proc/6453/statm: 15928 15344 134 292 0 15633 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 63712 [startup+6.30139 s] /proc/loadavg: 0.99 0.97 0.97 2/65 6454 /proc/meminfo: memFree=1704424/2055920 swapFree=4191900/4192956 [pid=6453] ppid=6451 vsize=116140 CPUtime=6.29 /proc/6453/stat : 6453 (wbo) R 6451 6453 4801 0 -1 4194304 29524 0 0 0 618 11 0 0 25 0 1 0 187621825 118927360 28474 1992294400 134512640 135709839 4294956240 18446744073709551615 134605451 0 0 4096 3 0 0 0 17 1 0 0 /proc/6453/statm: 29035 28474 134 292 0 28740 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 116140 [startup+12.7011 s] /proc/loadavg: 0.99 0.97 0.97 2/65 6454 /proc/meminfo: memFree=1597104/2055920 swapFree=4191900/4192956 [pid=6453] ppid=6451 vsize=219564 CPUtime=12.68 /proc/6453/stat : 6453 (wbo) R 6451 6453 4801 0 -1 4194304 55440 0 0 0 1246 22 0 0 25 0 1 0 187621825 224833536 54390 1992294400 134512640 135709839 4294956240 18446744073709551615 134574698 0 0 4096 3 0 0 0 17 1 0 0 /proc/6453/statm: 54891 54390 134 292 0 54596 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 219564 [startup+25.5015 s] /proc/loadavg: 0.99 0.97 0.97 2/65 6454 /proc/meminfo: memFree=1390256/2055920 swapFree=4191900/4192956 [pid=6453] ppid=6451 vsize=419676 CPUtime=25.49 /proc/6453/stat : 6453 (wbo) R 6451 6453 4801 0 -1 4194304 105438 0 0 0 2504 45 0 0 25 0 1 0 187621825 429748224 104389 1992294400 134512640 135709839 4294956240 18446744073709551615 134570352 0 0 4096 3 0 0 0 17 1 0 0 /proc/6453/statm: 104919 104390 136 292 0 104624 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 419676 [startup+51.1014 s] /proc/loadavg: 0.99 0.97 0.97 2/65 6454 /proc/meminfo: memFree=1324528/2055920 swapFree=4191900/4192956 [pid=6453] ppid=6451 vsize=480260 CPUtime=51.07 /proc/6453/stat : 6453 (wbo) R 6451 6453 4801 0 -1 4194304 124443 0 0 0 5029 78 0 0 25 0 1 0 187621825 491786240 119571 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6453/statm: 120065 119571 136 292 0 119770 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 480260 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.97 2/65 6454 /proc/meminfo: memFree=1290352/2055920 swapFree=4191900/4192956 [pid=6453] ppid=6451 vsize=514616 CPUtime=102.26 /proc/6453/stat : 6453 (wbo) R 6451 6453 4801 0 -1 4194304 133040 0 0 0 10126 100 0 0 25 0 1 0 187621825 526966784 128168 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6453/statm: 128654 128168 136 292 0 128359 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 514616 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 6454 /proc/meminfo: memFree=1237488/2055920 swapFree=4191900/4192956 [pid=6453] ppid=6451 vsize=567904 CPUtime=162.25 /proc/6453/stat : 6453 (wbo) R 6451 6453 4801 0 -1 4194304 146313 0 0 0 16101 124 0 0 25 0 1 0 187621825 581533696 141441 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6453/statm: 141976 141441 136 292 0 141681 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 567904 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 6454 /proc/meminfo: memFree=1208880/2055920 swapFree=4191900/4192956 [pid=6453] ppid=6451 vsize=596076 CPUtime=222.23 /proc/6453/stat : 6453 (wbo) R 6451 6453 4801 0 -1 4194304 153346 0 0 0 22087 136 0 0 25 0 1 0 187621825 610381824 148474 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 1 0 0 /proc/6453/statm: 149019 148474 136 292 0 148724 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 596076 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 6459 /proc/meminfo: memFree=1169264/2055920 swapFree=4191900/4192956 [pid=6453] ppid=6451 vsize=636052 CPUtime=282.2 /proc/6453/stat : 6453 (wbo) R 6451 6453 4801 0 -1 4194304 163357 0 0 0 28069 151 0 0 25 0 1 0 187621825 651317248 158485 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6453/statm: 159013 158485 136 292 0 158718 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 636052 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 6459 /proc/meminfo: memFree=1134640/2055920 swapFree=4191900/4192956 [pid=6453] ppid=6451 vsize=670192 CPUtime=342.19 /proc/6453/stat : 6453 (wbo) R 6451 6453 4801 0 -1 4194304 171874 0 0 0 34053 166 0 0 25 0 1 0 187621825 686276608 167002 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 1 0 0 /proc/6453/statm: 167548 167002 136 292 0 167253 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 670192 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 6459 /proc/meminfo: memFree=1102512/2055920 swapFree=4191900/4192956 [pid=6453] ppid=6451 vsize=702528 CPUtime=402.17 /proc/6453/stat : 6453 (wbo) R 6451 6453 4801 0 -1 4194304 179931 0 0 0 40039 178 0 0 25 0 1 0 187621825 719388672 175059 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/6453/statm: 175632 175059 136 292 0 175337 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 702528 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 6459 /proc/meminfo: memFree=1080048/2055920 swapFree=4191900/4192956 [pid=6453] ppid=6451 vsize=724760 CPUtime=462.15 /proc/6453/stat : 6453 (wbo) R 6451 6453 4801 0 -1 4194304 185492 0 0 0 46029 186 0 0 25 0 1 0 187621825 742154240 180620 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/6453/statm: 181190 180620 136 292 0 180895 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 724760 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 6459 /proc/meminfo: memFree=1031984/2055920 swapFree=4191900/4192956 [pid=6453] ppid=6451 vsize=773120 CPUtime=522.14 /proc/6453/stat : 6453 (wbo) R 6451 6453 4801 0 -1 4194304 197567 0 0 0 52012 202 0 0 25 0 1 0 187621825 791674880 192695 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6453/statm: 193280 192695 136 292 0 192985 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 773120 [startup+582.303 s] /proc/loadavg: 0.99 0.97 0.97 2/65 6459 /proc/meminfo: memFree=984240/2055920 swapFree=4191900/4192956 [pid=6453] ppid=6451 vsize=820708 CPUtime=582.12 /proc/6453/stat : 6453 (wbo) R 6451 6453 4801 0 -1 4194304 209466 0 0 0 57995 217 0 0 25 0 1 0 187621825 840404992 204594 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6453/statm: 205177 204594 136 292 0 204882 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 820708 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 6459 /proc/meminfo: memFree=954096/2055920 swapFree=4191900/4192956 [pid=6453] ppid=6451 vsize=850456 CPUtime=642.11 /proc/6453/stat : 6453 (wbo) R 6451 6453 4801 0 -1 4194304 216881 0 0 0 63985 226 0 0 25 0 1 0 187621825 870866944 212009 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6453/statm: 212614 212009 136 292 0 212319 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 850456 [startup+702.303 s] ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 6459 /proc/meminfo: memFree=782384/2055920 swapFree=4191900/4192956 [pid=6453] ppid=6451 vsize=1022464 CPUtime=942.03 /proc/6453/stat : 6453 (wbo) R 6451 6453 4801 0 -1 4194304 259794 0 0 0 93917 286 0 0 25 0 1 0 187621825 1047003136 254922 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6453/statm: 255616 254922 136 292 0 255321 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 1022464 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 6459 /proc/meminfo: memFree=743664/2055920 swapFree=4191900/4192956 [pid=6453] ppid=6451 vsize=1061156 CPUtime=1002.01 /proc/6453/stat : 6453 (wbo) R 6451 6453 4801 0 -1 4194304 269487 0 0 0 99900 301 0 0 25 0 1 0 187621825 1086623744 264615 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/6453/statm: 265289 264615 136 292 0 264994 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 1061156 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 6459 /proc/meminfo: memFree=698864/2055920 swapFree=4191900/4192956 [pid=6453] ppid=6451 vsize=1106080 CPUtime=1062 /proc/6453/stat : 6453 (wbo) R 6451 6453 4801 0 -1 4194304 280712 0 0 0 105880 320 0 0 25 0 1 0 187621825 1132625920 275840 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/6453/statm: 276520 275840 136 292 0 276225 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 1106080 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 6459 /proc/meminfo: memFree=659248/2055920 swapFree=4191900/4192956 [pid=6453] ppid=6451 vsize=1145116 CPUtime=1121.98 /proc/6453/stat : 6453 (wbo) R 6451 6453 4801 0 -1 4194304 290480 0 0 0 111864 334 0 0 25 0 1 0 187621825 1172598784 285608 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6453/statm: 286279 285608 136 292 0 285984 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 1145116 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 6459 /proc/meminfo: memFree=632304/2055920 swapFree=4191900/4192956 [pid=6453] ppid=6451 vsize=1172108 CPUtime=1181.96 /proc/6453/stat : 6453 (wbo) R 6451 6453 4801 0 -1 4194304 297227 0 0 0 117852 344 0 0 25 0 1 0 187621825 1200238592 292355 1992294400 134512640 135709839 4294956240 18446744073709551615 134574138 0 0 4096 3 0 0 0 17 1 0 0 /proc/6453/statm: 293027 292355 136 292 0 292732 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 1172108 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 6459 /proc/meminfo: memFree=580528/2055920 swapFree=4191900/4192956 [pid=6453] ppid=6451 vsize=1223992 CPUtime=1241.95 /proc/6453/stat : 6453 (wbo) R 6451 6453 4801 0 -1 4194304 310164 0 0 0 123834 361 0 0 25 0 1 0 187621825 1253367808 305292 1992294400 134512640 135709839 4294956240 18446744073709551615 134574300 0 0 4096 3 0 0 0 17 1 0 0 /proc/6453/statm: 305998 305292 136 292 0 305703 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 1223992 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 6459 /proc/meminfo: memFree=528752/2055920 swapFree=4191900/4192956 [pid=6453] ppid=6451 vsize=1275260 CPUtime=1301.94 /proc/6453/stat : 6453 (wbo) R 6451 6453 4801 0 -1 4194304 322976 0 0 0 129819 375 0 0 25 0 1 0 187621825 1305866240 318104 1992294400 134512640 135709839 4294956240 18446744073709551615 134573950 0 0 4096 3 0 0 0 17 1 0 0 /proc/6453/statm: 318815 318104 136 292 0 318520 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 1275260 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 6459 /proc/meminfo: memFree=476272/2055920 swapFree=4191900/4192956 [pid=6453] ppid=6451 vsize=1327856 CPUtime=1361.92 /proc/6453/stat : 6453 (wbo) R 6451 6453 4801 0 -1 4194304 336146 0 0 0 135802 390 0 0 25 0 1 0 187621825 1359724544 331274 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6453/statm: 331964 331274 136 292 0 331669 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1327856 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.97 2/65 6459 /proc/meminfo: memFree=433328/2055920 swapFree=4191900/4192956 [pid=6453] ppid=6451 vsize=1370516 CPUtime=1421.91 /proc/6453/stat : 6453 (wbo) R 6451 6453 4801 0 -1 4194304 346786 0 0 0 141789 402 0 0 25 0 1 0 187621825 1403408384 341914 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/6453/statm: 342629 341914 136 292 0 342334 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1370516 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 6459 /proc/meminfo: memFree=396912/2055920 swapFree=4191900/4192956 [pid=6453] ppid=6451 vsize=1407260 CPUtime=1481.89 /proc/6453/stat : 6453 (wbo) R 6451 6453 4801 0 -1 4194304 355942 0 0 0 147778 411 0 0 25 0 1 0 187621825 1441034240 351070 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6453/statm: 351815 351070 136 292 0 351520 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 1407260 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 6459 /proc/meminfo: memFree=314352/2055920 swapFree=4191900/4192956 [pid=6453] ppid=6451 vsize=1489524 CPUtime=1541.87 /proc/6453/stat : 6453 (wbo) R 6451 6453 4801 0 -1 4194304 376491 0 0 0 153756 431 0 0 25 0 1 0 187621825 1525272576 371619 1992294400 134512640 135709839 4294956240 18446744073709551615 134573910 0 0 4096 3 0 0 0 17 1 0 0 /proc/6453/statm: 372381 371619 136 292 0 372086 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1489524 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 6459 /proc/meminfo: memFree=260016/2055920 swapFree=4191900/4192956 [pid=6453] ppid=6451 vsize=1544336 CPUtime=1601.86 /proc/6453/stat : 6453 (wbo) R 6451 6453 4801 0 -1 4194304 390200 0 0 0 159739 447 0 0 25 0 1 0 187621825 1581400064 385328 1992294400 134512640 135709839 4294956240 18446744073709551615 134573910 0 0 4096 3 0 0 0 17 1 0 0 /proc/6453/statm: 386084 385328 136 292 0 385789 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1544336 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 6459 /proc/meminfo: memFree=223792/2055920 swapFree=4191900/4192956 [pid=6453] ppid=6451 vsize=1579840 CPUtime=1661.84 /proc/6453/stat : 6453 (wbo) R 6451 6453 4801 0 -1 4194304 399083 0 0 0 165729 455 0 0 25 0 1 0 187621825 1617756160 394211 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/6453/statm: 394960 394211 136 292 0 394665 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1579840 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 6459 /proc/meminfo: memFree=188016/2055920 swapFree=4191900/4192956 [pid=6453] ppid=6451 vsize=1615948 CPUtime=1721.83 /proc/6453/stat : 6453 (wbo) R 6451 6453 4801 0 -1 4194304 408086 0 0 0 171717 466 0 0 25 0 1 0 187621825 1654730752 403214 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/6453/statm: 403987 403214 136 292 0 403692 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1615948 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 6459 /proc/meminfo: memFree=155696/2055920 swapFree=4191900/4192956 [pid=6453] ppid=6451 vsize=1647776 CPUtime=1781.8 /proc/6453/stat : 6453 (wbo) R 6451 6453 4801 0 -1 4194304 416063 0 0 0 177705 475 0 0 25 0 1 0 187621825 1687322624 411191 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6453/statm: 411944 411191 136 292 0 411649 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 1647776 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.97 2/65 6459 /proc/meminfo: memFree=147184/2055920 swapFree=4191900/4192956 [pid=6453] ppid=6451 vsize=1656184 CPUtime=1800.01 /proc/6453/stat : 6453 (wbo) R 6451 6453 4801 0 -1 4194304 418141 0 0 0 179523 478 0 0 25 0 1 0 187621825 1695932416 413269 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0 /proc/6453/statm: 414046 413269 136 292 0 413751 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1656184 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 0.99 0.97 0.97 2/66 6460 /proc/meminfo: memFree=778216/2055920 swapFree=4191900/4192956 [pid=6453] ppid=6451 vsize=0 CPUtime=1800.11 /proc/6453/stat : 6453 (wbo) R 6451 6453 4801 0 -1 4195332 418141 0 0 0 179523 488 0 0 25 0 1 0 187621825 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/6453/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 0 [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.97 2/66 6460 /proc/meminfo: memFree=778216/2055920 swapFree=4191900/4192956 [pid=6453] ppid=6451 vsize=0 CPUtime=1800.21 /proc/6453/stat : 6453 (wbo) R 6451 6453 4801 0 -1 4195332 418141 0 0 0 179523 498 0 0 25 0 1 0 187621825 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/6453/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.76 CPU time (s): 1800.27 CPU user time (s): 1795.24 CPU system time (s): 5.03523 CPU usage (%): 99.9729 Max. virtual memory (cumulated for all children) (KiB): 1656184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.24 system time used= 5.03523 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 418141 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= 7 involuntary context switches= 2709 runsolver used 1.57776 second user time and 3.50647 second system time The end
Begin job on node9 at 2009-06-17 02:56:50 IDJOB=1875344 IDBENCH=48184 IDSOLVER=698 FILE ID=node9/1875344-1245200210 PBS_JOBID= 9368303 Free space on /tmp= 66160 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_60_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-1875344-1245200210/watcher-1875344-1245200210 -o /tmp/evaluation-result-1875344-1245200210/solver-1875344-1245200210 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875344-1245200210.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2917e00f55986a046b103b08aa2aecc1 RANDOM SEED=1441852320 node9.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.231 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.231 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: 1805320 kB Buffers: 54668 kB Cached: 128536 kB SwapCached: 260 kB Active: 74340 kB Inactive: 121664 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1805320 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 2836 kB Writeback: 0 kB Mapped: 22000 kB Slab: 40588 kB Committed_AS: 185628 kB PageTables: 1400 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-1875344-1245200210.opb Free space on /tmp at the end= 66156 MiB End job on node9 at 2009-06-17 03:26:54