Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.3 | 1801.16 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_60_4.opb |
MD5SUM | 468c9636f2c99e512d4c3bca04b78033 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -35 |
Best CPU time to get the best result obtained on this benchmark | 1798.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -42 |
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 | 106 |
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) | 37458 |
Sum of products size (including duplicates) | 74916 |
Number of different products | 18729 |
Sum of products size | 37458 |
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-1875362-1245202292.opb. 0.00/0.00 c Instance file HOME/instance-1875362-1245202292.opb 0.00/0.00 c File size is 1614932 bytes. 0.19/0.23 c Highest Coefficient sum: 106 0.19/0.23 c ============================[ Problem Statistics ]============================= 0.19/0.23 c | | 0.19/0.23 c | Parsing time: 0.22 s | 0.19/0.23 c | Number Variables: 19229 | 0.19/0.23 c | Number Clauses: 19229 | 0.19/0.23 c | Number Cardinality: 1000 | 0.19/0.23 c | Number PB Constraints: 18729 | 0.19/0.23 c core #1 0.19/0.23 c Core size: 4 Core Weight: 1 Total Weight: -499 0.19/0.23 c Elapsed CPU time: 0.223965 s Remaining CPU time: 1799.78 s 0.19/0.28 c core #2 0.19/0.28 c Core size: 4 Core Weight: 1 Total Weight: -498 0.19/0.28 c Elapsed CPU time: 0.271958 s Remaining CPU time: 1799.73 s 0.29/0.34 c core #3 0.29/0.34 c Core size: 4 Core Weight: 1 Total Weight: -497 0.29/0.34 c Elapsed CPU time: 0.32595 s Remaining CPU time: 1799.67 s 0.40/0.40 c core #4 0.40/0.40 c Core size: 4 Core Weight: 1 Total Weight: -496 0.40/0.40 c Elapsed CPU time: 0.381941 s Remaining CPU time: 1799.62 s 0.40/0.46 c core #5 0.40/0.46 c Core size: 4 Core Weight: 1 Total Weight: -495 0.40/0.46 c Elapsed CPU time: 0.439933 s Remaining CPU time: 1799.56 s 0.49/0.52 c core #6 0.49/0.52 c Core size: 4 Core Weight: 1 Total Weight: -494 0.49/0.52 c Elapsed CPU time: 0.502923 s Remaining CPU time: 1799.5 s 0.49/0.59 c core #7 0.49/0.59 c Core size: 4 Core Weight: 1 Total Weight: -493 0.49/0.59 c Elapsed CPU time: 0.564914 s Remaining CPU time: 1799.44 s 0.59/0.65 c core #8 0.59/0.65 c Core size: 4 Core Weight: 1 Total Weight: -492 0.59/0.65 c Elapsed CPU time: 0.631903 s Remaining CPU time: 1799.37 s 0.69/0.72 c core #9 0.69/0.72 c Core size: 4 Core Weight: 1 Total Weight: -491 0.69/0.72 c Elapsed CPU time: 0.698893 s Remaining CPU time: 1799.3 s 0.69/0.79 c core #10 0.69/0.79 c Core size: 4 Core Weight: 1 Total Weight: -490 0.69/0.79 c Elapsed CPU time: 0.767883 s Remaining CPU time: 1799.23 s 0.79/0.86 c core #11 0.79/0.86 c Core size: 4 Core Weight: 1 Total Weight: -489 0.79/0.86 c Elapsed CPU time: 0.833873 s Remaining CPU time: 1799.17 s 0.89/0.93 c core #12 0.89/0.93 c Core size: 4 Core Weight: 1 Total Weight: -488 0.89/0.93 c Elapsed CPU time: 0.901862 s Remaining CPU time: 1799.1 s 1.00/1.00 c core #13 1.00/1.00 c Core size: 4 Core Weight: 1 Total Weight: -487 1.00/1.00 c Elapsed CPU time: 0.968852 s Remaining CPU time: 1799.03 s 1.00/1.07 c core #14 1.00/1.07 c Core size: 4 Core Weight: 1 Total Weight: -486 1.00/1.07 c Elapsed CPU time: 1.03884 s Remaining CPU time: 1798.96 s 1.10/1.14 c core #15 1.10/1.14 c Core size: 4 Core Weight: 1 Total Weight: -485 1.10/1.14 c Elapsed CPU time: 1.10883 s Remaining CPU time: 1798.89 s 1.19/1.21 c core #16 1.19/1.21 c Core size: 4 Core Weight: 1 Total Weight: -484 1.19/1.21 c Elapsed CPU time: 1.17382 s Remaining CPU time: 1798.83 s 1.19/1.27 c core #17 1.19/1.27 c Core size: 4 Core Weight: 1 Total Weight: -483 1.19/1.27 c Elapsed CPU time: 1.23881 s Remaining CPU time: 1798.76 s 1.29/1.34 c core #18 1.29/1.34 c Core size: 4 Core Weight: 1 Total Weight: -482 1.29/1.34 c Elapsed CPU time: 1.3058 s Remaining CPU time: 1798.69 s 1.39/1.41 c core #19 1.39/1.41 c Core size: 4 Core Weight: 1 Total Weight: -481 1.39/1.41 c Elapsed CPU time: 1.37479 s Remaining CPU time: 1798.63 s 1.39/1.48 c core #20 1.39/1.48 c Core size: 4 Core Weight: 1 Total Weight: -480 1.39/1.48 c Elapsed CPU time: 1.44278 s Remaining CPU time: 1798.56 s 1.50/1.55 c core #21 1.50/1.55 c Core size: 4 Core Weight: 1 Total Weight: -479 1.50/1.55 c Elapsed CPU time: 1.51077 s Remaining CPU time: 1798.49 s 1.59/1.62 c core #22 1.59/1.62 c Core size: 4 Core Weight: 1 Total Weight: -478 1.59/1.62 c Elapsed CPU time: 1.57876 s Remaining CPU time: 1798.42 s 1.59/1.69 c core #23 1.59/1.69 c Core size: 4 Core Weight: 1 Total Weight: -477 1.59/1.69 c Elapsed CPU time: 1.64875 s Remaining CPU time: 1798.35 s 1.69/1.76 c core #24 1.69/1.76 c Core size: 4 Core Weight: 1 Total Weight: -476 1.69/1.76 c Elapsed CPU time: 1.71874 s Remaining CPU time: 1798.28 s 1.79/1.83 c core #25 1.79/1.83 c Core size: 4 Core Weight: 1 Total Weight: -475 1.79/1.83 c Elapsed CPU time: 1.78673 s Remaining CPU time: 1798.21 s 1.89/1.90 c core #26 1.89/1.90 c Core size: 4 Core Weight: 1 Total Weight: -474 1.89/1.90 c Elapsed CPU time: 1.85772 s Remaining CPU time: 1798.14 s 1.89/1.97 c core #27 1.89/1.97 c Core size: 4 Core Weight: 1 Total Weight: -473 1.89/1.97 c Elapsed CPU time: 1.92371 s Remaining CPU time: 1798.08 s 1.99/2.04 c core #28 1.99/2.04 c Core size: 4 Core Weight: 1 Total Weight: -472 1.99/2.04 c Elapsed CPU time: 1.9927 s Remaining CPU time: 1798.01 s 2.09/2.11 c core #29 2.09/2.11 c Core size: 4 Core Weight: 1 Total Weight: -471 2.09/2.11 c Elapsed CPU time: 2.06169 s Remaining CPU time: 1797.94 s 2.09/2.18 c core #30 2.09/2.18 c Core size: 4 Core Weight: 1 Total Weight: -470 2.09/2.18 c Elapsed CPU time: 2.13167 s Remaining CPU time: 1797.87 s 2.19/2.25 c core #31 2.19/2.25 c Core size: 4 Core Weight: 1 Total Weight: -469 2.19/2.25 c Elapsed CPU time: 2.19966 s Remaining CPU time: 1797.8 s 2.29/2.32 c core #32 2.29/2.32 c Core size: 4 Core Weight: 1 Total Weight: -468 2.29/2.32 c Elapsed CPU time: 2.27165 s Remaining CPU time: 1797.73 s 2.29/2.39 c core #33 2.29/2.39 c Core size: 4 Core Weight: 1 Total Weight: -467 2.29/2.39 c Elapsed CPU time: 2.34164 s Remaining CPU time: 1797.66 s 2.39/2.46 c core #34 2.39/2.46 c Core size: 4 Core Weight: 1 Total Weight: -466 2.39/2.46 c Elapsed CPU time: 2.41063 s Remaining CPU time: 1797.59 s 2.49/2.53 c core #35 2.49/2.53 c Core size: 4 Core Weight: 1 Total Weight: -465 2.49/2.53 c Elapsed CPU time: 2.48262 s Remaining CPU time: 1797.52 s 2.59/2.60 c core #36 2.59/2.60 c Core size: 4 Core Weight: 1 Total Weight: -464 2.59/2.60 c Elapsed CPU time: 2.55061 s Remaining CPU time: 1797.45 s 2.59/2.68 c core #37 2.59/2.68 c Core size: 4 Core Weight: 1 Total Weight: -463 2.59/2.68 c Elapsed CPU time: 2.6226 s Remaining CPU time: 1797.38 s 2.69/2.75 c core #38 2.69/2.75 c Core size: 4 Core Weight: 1 Total Weight: -462 2.69/2.75 c Elapsed CPU time: 2.69059 s Remaining CPU time: 1797.31 s 2.78/2.82 c core #39 2.78/2.82 c Core size: 4 Core Weight: 1 Total Weight: -461 2.78/2.82 c Elapsed CPU time: 2.76058 s Remaining CPU time: 1797.24 s 2.78/2.89 c core #40 2.78/2.89 c Core size: 4 Core Weight: 1 Total Weight: -460 2.78/2.89 c Elapsed CPU time: 2.82757 s Remaining CPU time: 1797.17 s 2.89/2.96 c core #41 2.89/2.96 c Core size: 4 Core Weight: 1 Total Weight: -459 2.89/2.96 c Elapsed CPU time: 2.89456 s Remaining CPU time: 1797.11 s 2.99/3.03 c core #42 2.99/3.03 c Core size: 4 Core Weight: 1 Total Weight: -458 2.99/3.03 c Elapsed CPU time: 2.96555 s Remaining CPU time: 1797.03 s 3.09/3.10 c core #43 3.09/3.10 c Core size: 4 Core Weight: 1 Total Weight: -457 3.09/3.10 c Elapsed CPU time: 3.03354 s Remaining CPU time: 1796.97 s 3.09/3.17 c core #44 3.09/3.17 c Core size: 4 Core Weight: 1 Total Weight: -456 3.09/3.17 c Elapsed CPU time: 3.10453 s Remaining CPU time: 1796.9 s 3.19/3.24 c core #45 3.19/3.24 c Core size: 4 Core Weight: 1 Total Weight: -455 3.19/3.24 c Elapsed CPU time: 3.17652 s Remaining CPU time: 1796.82 s 3.29/3.31 c core #46 3.29/3.31 c Core size: 4 Core Weight: 1 Total Weight: -454 3.29/3.31 c Elapsed CPU time: 3.24251 s Remaining CPU time: 1796.76 s 3.29/3.38 c core #47 3.29/3.38 c Core size: 4 Core Weight: 1 Total Weight: -453 3.29/3.38 c Elapsed CPU time: 3.3135 s Remaining CPU time: 1796.69 s 3.39/3.45 c core #48 3.39/3.45 c Core size: 4 Core Weight: 1 Total Weight: -452 3.39/3.45 c Elapsed CPU time: 3.38449 s Remaining CPU time: 1796.62 s 3.49/3.52 c core #49 3.49/3.52 c Core size: 4 Core Weight: 1 Total Weight: -451 3.49/3.52 c Elapsed CPU time: 3.45447 s Remaining CPU time: 1796.55 s 3.49/3.59 c core #50 3.49/3.59 c Core size: 4 Core Weight: 1 Total Weight: -450 3.49/3.59 c Elapsed CPU time: 3.52346 s Remaining CPU time: 1796.48 s 3.58/3.66 c core #51 3.58/3.66 c Core size: 4 Core Weight: 1 Total Weight: -449 3.58/3.66 c Elapsed CPU time: 3.59145 s Remaining CPU time: 1796.41 s 3.69/3.73 c core #52 3.69/3.73 c Core size: 4 Core Weight: 1 Total Weight: -448 3.69/3.73 c Elapsed CPU time: 3.65844 s Remaining CPU time: 1796.34 s 3.79/3.80 c core #53 3.79/3.80 c Core size: 4 Core Weight: 1 Total Weight: -447 3.79/3.80 c Elapsed CPU time: 3.72843 s Remaining CPU time: 1796.27 s 3.79/3.87 c core #54 3.79/3.87 c Core size: 4 Core Weight: 1 Total Weight: -446 3.79/3.87 c Elapsed CPU time: 3.79842 s Remaining CPU time: 1796.2 s 3.89/3.94 c core #55 3.89/3.94 c Core size: 4 Core Weight: 1 Total Weight: -445 3.89/3.94 c Elapsed CPU time: 3.86541 s Remaining CPU time: 1796.13 s 3.99/4.01 c core #56 3.99/4.01 c Core size: 4 Core Weight: 1 Total Weight: -444 3.99/4.01 c Elapsed CPU time: 3.9344 s Remaining CPU time: 1796.07 s 3.99/4.08 c core #57 3.99/4.08 c Core size: 4 Core Weight: 1 Total Weight: -443 3.99/4.08 c Elapsed CPU time: 4.00339 s Remaining CPU time: 1796 s 4.08/4.15 c core #58 4.08/4.15 c Core size: 4 Core Weight: 1 Total Weight: -442 4.08/4.15 c Elapsed CPU time: 4.07038 s Remaining CPU time: 1795.93 s 4.18/4.22 c core #59 4.18/4.22 c Core size: 4 Core Weight: 1 Total Weight: -441 4.18/4.22 c Elapsed CPU time: 4.13937 s Remaining CPU time: 1795.86 s 4.18/4.29 c core #60 4.18/4.29 c Core size: 4 Core Weight: 1 Total Weight: -440 4.18/4.29 c Elapsed CPU time: 4.20736 s Remaining CPU time: 1795.79 s 4.30/4.36 c core #61 4.30/4.36 c Core size: 4 Core Weight: 1 Total Weight: -439 4.30/4.36 c Elapsed CPU time: 4.27535 s Remaining CPU time: 1795.72 s 4.39/4.43 c core #62 4.39/4.43 c Core size: 4 Core Weight: 1 Total Weight: -438 4.39/4.43 c Elapsed CPU time: 4.34334 s Remaining CPU time: 1795.66 s 4.49/4.50 c core #63 4.49/4.50 c Core size: 4 Core Weight: 1 Total Weight: -437 4.49/4.50 c Elapsed CPU time: 4.41433 s Remaining CPU time: 1795.59 s 4.49/4.57 c core #64 4.49/4.57 c Core size: 4 Core Weight: 1 Total Weight: -436 4.49/4.57 c Elapsed CPU time: 4.48232 s Remaining CPU time: 1795.52 s 4.58/4.64 c core #65 4.58/4.64 c Core size: 4 Core Weight: 1 Total Weight: -435 4.58/4.64 c Elapsed CPU time: 4.55331 s Remaining CPU time: 1795.45 s 4.68/4.71 c core #66 4.68/4.71 c Core size: 4 Core Weight: 1 Total Weight: -434 4.68/4.71 c Elapsed CPU time: 4.6213 s Remaining CPU time: 1795.38 s 4.68/4.78 c core #67 4.68/4.78 c Core size: 4 Core Weight: 1 Total Weight: -433 4.68/4.78 c Elapsed CPU time: 4.69229 s Remaining CPU time: 1795.31 s 4.79/4.86 c core #68 4.79/4.86 c Core size: 4 Core Weight: 1 Total Weight: -432 4.79/4.86 c Elapsed CPU time: 4.76328 s Remaining CPU time: 1795.24 s 4.89/4.93 c core #69 4.89/4.93 c Core size: 4 Core Weight: 1 Total Weight: -431 4.89/4.93 c Elapsed CPU time: 4.83326 s Remaining CPU time: 1795.17 s 4.99/5.00 c core #70 4.99/5.00 c Core size: 4 Core Weight: 1 Total Weight: -430 4.99/5.00 c Elapsed CPU time: 4.90225 s Remaining CPU time: 1795.1 s 4.99/5.07 c core #71 4.99/5.07 c Core size: 4 Core Weight: 1 Total Weight: -429 4.99/5.07 c Elapsed CPU time: 4.97224 s Remaining CPU time: 1795.03 s 5.09/5.14 c core #72 5.09/5.14 c Core size: 4 Core Weight: 1 Total Weight: -428 5.09/5.14 c Elapsed CPU time: 5.04323 s Remaining CPU time: 1794.96 s 5.18/5.21 c core #73 5.18/5.21 c Core size: 4 Core Weight: 1 Total Weight: -427 5.18/5.21 c Elapsed CPU time: 5.11522 s Remaining CPU time: 1794.88 s 5.18/5.28 c core #74 5.18/5.28 c Core size: 4 Core Weight: 1 Total Weight: -426 5.18/5.28 c Elapsed CPU time: 5.18521 s Remaining CPU time: 1794.81 s 5.28/5.36 c core #75 5.28/5.36 c Core size: 4 Core Weight: 1 Total Weight: -425 5.28/5.36 c Elapsed CPU time: 5.2562 s Remaining CPU time: 1794.74 s 5.40/5.43 c core #76 5.40/5.43 c Core size: 4 Core Weight: 1 Total Weight: -424 5.40/5.43 c Elapsed CPU time: 5.32619 s Remaining CPU time: 1794.67 s 5.40/5.50 c core #77 5.40/5.50 c Core size: 4 Core Weight: 1 Total Weight: -423 5.40/5.50 c Elapsed CPU time: 5.39418 s Remaining CPU time: 1794.61 s 5.49/5.57 c core #78 5.49/5.57 c Core size: 4 Core Weight: 1 Total Weight: -422 5.49/5.57 c Elapsed CPU time: 5.46617 s Remaining CPU time: 1794.53 s 5.59/5.64 c core #79 5.59/5.64 c Core size: 4 Core Weight: 1 Total Weight: -421 5.59/5.64 c Elapsed CPU time: 5.53316 s Remaining CPU time: 1794.47 s 5.68/5.71 c core #80 5.68/5.71 c Core size: 4 Core Weight: 1 Total Weight: -420 5.68/5.71 c Elapsed CPU time: 5.60415 s Remaining CPU time: 1794.4 s 5.68/5.78 c core #81 5.68/5.78 c Core size: 4 Core Weight: 1 Total Weight: -419 5.68/5.78 c Elapsed CPU time: 5.67414 s Remaining CPU time: 1794.33 s 5.78/5.86 c core #82 5.78/5.86 c Core size: 4 Core Weight: 1 Total Weight: -418 5.78/5.86 c Elapsed CPU time: 5.74913 s Remaining CPU time: 1794.25 s 5.89/5.93 c core #83 5.89/5.93 c Core size: 4 Core Weight: 1 Total Weight: -417 5.89/5.93 c Elapsed CPU time: 5.81811 s Remaining CPU time: 1794.18 s 5.99/6.00 c core #84 5.99/6.00 c Core size: 4 Core Weight: 1 Total Weight: -416 5.99/6.00 c Elapsed CPU time: 5.8891 s Remaining CPU time: 1794.11 s 5.99/6.07 c core #85 5.99/6.07 c Core size: 4 Core Weight: 1 Total Weight: -415 5.99/6.07 c Elapsed CPU time: 5.96009 s Remaining CPU time: 1794.04 s 6.09/6.15 c core #86 6.09/6.15 c Core size: 4 Core Weight: 1 Total Weight: -414 6.09/6.15 c Elapsed CPU time: 6.03508 s Remaining CPU time: 1793.96 s 6.19/6.22 c core #87 6.19/6.22 c Core size: 4 Core Weight: 1 Total Weight: -413 6.19/6.22 c Elapsed CPU time: 6.10607 s Remaining CPU time: 1793.89 s 6.19/6.30 c core #88 6.19/6.30 c Core size: 4 Core Weight: 1 Total Weight: -412 6.19/6.30 c Elapsed CPU time: 6.17806 s Remaining CPU time: 1793.82 s 6.29/6.37 c core #89 6.29/6.37 c Core size: 4 Core Weight: 1 Total Weight: -411 6.29/6.37 c Elapsed CPU time: 6.25105 s Remaining CPU time: 1793.75 s 6.39/6.44 c core #90 6.39/6.44 c Core size: 4 Core Weight: 1 Total Weight: -410 6.39/6.44 c Elapsed CPU time: 6.32304 s Remaining CPU time: 1793.68 s 6.50/6.51 c core #91 6.50/6.51 c Core size: 4 Core Weight: 1 Total Weight: -409 6.50/6.51 c Elapsed CPU time: 6.39203 s Remaining CPU time: 1793.61 s 6.50/6.59 c core #92 6.50/6.59 c Core size: 4 Core Weight: 1 Total Weight: -408 6.50/6.59 c Elapsed CPU time: 6.46202 s Remaining CPU time: 1793.54 s 6.59/6.66 c core #93 6.59/6.66 c Core size: 4 Core Weight: 1 Total Weight: -407 6.59/6.66 c Elapsed CPU time: 6.53301 s Remaining CPU time: 1793.47 s 6.68/6.73 c core #94 6.68/6.73 c Core size: 4 Core Weight: 1 Total Weight: -406 6.68/6.73 c Elapsed CPU time: 6.604 s Remaining CPU time: 1793.4 s 6.79/6.80 c core #95 6.79/6.80 c Core size: 4 Core Weight: 1 Total Weight: -405 6.79/6.80 c Elapsed CPU time: 6.67199 s Remaining CPU time: 1793.33 s 6.79/6.87 c core #96 6.79/6.87 c Core size: 4 Core Weight: 1 Total Weight: -404 6.79/6.87 c Elapsed CPU time: 6.74097 s Remaining CPU time: 1793.26 s 6.89/6.94 c core #97 6.89/6.94 c Core size: 4 Core Weight: 1 Total Weight: -403 6.89/6.94 c Elapsed CPU time: 6.80696 s Remaining CPU time: 1793.19 s 6.99/7.01 c core #98 6.99/7.01 c Core size: 4 Core Weight: 1 Total Weight: -402 6.99/7.01 c Elapsed CPU time: 6.87795 s Remaining CPU time: 1793.12 s 6.99/7.08 c core #99 6.99/7.08 c Core size: 4 Core Weight: 1 Total Weight: -401 6.99/7.08 c Elapsed CPU time: 6.94594 s Remaining CPU time: 1793.05 s 7.08/7.16 c core #100 7.08/7.16 c Core size: 4 Core Weight: 1 Total Weight: -400 7.08/7.16 c Elapsed CPU time: 7.01993 s Remaining CPU time: 1792.98 s 7.18/7.23 c core #101 7.18/7.23 c Core size: 4 Core Weight: 1 Total Weight: -399 7.18/7.23 c Elapsed CPU time: 7.08992 s Remaining CPU time: 1792.91 s 7.29/7.30 c core #102 7.29/7.30 c Core size: 4 Core Weight: 1 Total Weight: -398 7.29/7.30 c Elapsed CPU time: 7.15991 s Remaining CPU time: 1792.84 s 7.29/7.37 c core #103 7.29/7.37 c Core size: 4 Core Weight: 1 Total Weight: -397 7.29/7.37 c Elapsed CPU time: 7.2299 s Remaining CPU time: 1792.77 s 7.39/7.45 c core #104 7.39/7.45 c Core size: 4 Core Weight: 1 Total Weight: -396 7.39/7.45 c Elapsed CPU time: 7.30089 s Remaining CPU time: 1792.7 s 7.48/7.52 c core #105 7.48/7.52 c Core size: 4 Core Weight: 1 Total Weight: -395 7.48/7.52 c Elapsed CPU time: 7.37088 s Remaining CPU time: 1792.63 s 7.48/7.60 c core #106 7.48/7.60 c Core size: 4 Core Weight: 1 Total Weight: -394 7.48/7.60 c Elapsed CPU time: 7.44587 s Remaining CPU time: 1792.55 s 7.60/7.67 c core #107 7.60/7.67 c Core size: 4 Core Weight: 1 Total Weight: -393 7.60/7.67 c Elapsed CPU time: 7.52086 s Remaining CPU time: 1792.48 s 7.70/7.75 c core #108 7.70/7.75 c Core size: 4 Core Weight: 1 Total Weight: -392 7.70/7.75 c Elapsed CPU time: 7.59384 s Remaining CPU time: 1792.41 s 7.79/7.82 c core #109 7.79/7.82 c Core size: 4 Core Weight: 1 Total Weight: -391 7.79/7.82 c Elapsed CPU time: 7.66583 s Remaining CPU time: 1792.33 s 7.79/7.89 c core #110 7.79/7.89 c Core size: 4 Core Weight: 1 Total Weight: -390 7.79/7.89 c Elapsed CPU time: 7.73882 s Remaining CPU time: 1792.26 s 7.89/7.97 c core #111 7.89/7.97 c Core size: 4 Core Weight: 1 Total Weight: -389 7.89/7.97 c Elapsed CPU time: 7.80981 s Remaining CPU time: 1792.19 s 7.98/8.04 c core #112 7.98/8.04 c Core size: 4 Core Weight: 1 Total Weight: -388 7.98/8.04 c Elapsed CPU time: 7.8818 s Remaining CPU time: 1792.12 s 8.09/8.11 c core #113 8.09/8.11 c Core size: 4 Core Weight: 1 Total Weight: -387 8.09/8.11 c Elapsed CPU time: 7.95279 s Remaining CPU time: 1792.05 s 8.09/8.19 c core #114 8.09/8.19 c Core size: 4 Core Weight: 1 Total Weight: -386 8.09/8.19 c Elapsed CPU time: 8.02578 s Remaining CPU time: 1791.97 s 8.19/8.26 c core #115 8.19/8.26 c Core size: 4 Core Weight: 1 Total Weight: -385 8.19/8.26 c Elapsed CPU time: 8.10077 s Remaining CPU time: 1791.9 s 8.29/8.33 c core #116 8.29/8.33 c Core size: 4 Core Weight: 1 Total Weight: -384 8.29/8.33 c Elapsed CPU time: 8.17076 s Remaining CPU time: 1791.83 s 8.39/8.40 c core #117 8.39/8.40 c Core size: 4 Core Weight: 1 Total Weight: -383 8.39/8.40 c Elapsed CPU time: 8.24175 s Remaining CPU time: 1791.76 s 8.39/8.48 c core #118 8.39/8.48 c Core size: 4 Core Weight: 1 Total Weight: -382 8.39/8.48 c Elapsed CPU time: 8.31174 s Remaining CPU time: 1791.69 s 8.49/8.55 c core #119 8.49/8.55 c Core size: 4 Core Weight: 1 Total Weight: -381 8.49/8.55 c Elapsed CPU time: 8.38472 s Remaining CPU time: 1791.62 s 8.59/8.62 c core #120 8.59/8.62 c Core size: 4 Core Weight: 1 Total Weight: -380 8.59/8.62 c Elapsed CPU time: 8.45671 s Remaining CPU time: 1791.54 s 8.59/8.69 c core #121 8.59/8.69 c Core size: 4 Core Weight: 1 Total Weight: -379 8.59/8.69 c Elapsed CPU time: 8.5287 s Remaining CPU time: 1791.47 s 8.69/8.77 c core #122 8.69/8.77 c Core size: 4 Core Weight: 1 Total Weight: -378 8.69/8.77 c Elapsed CPU time: 8.60069 s Remaining CPU time: 1791.4 s 8.79/8.84 c core #123 8.79/8.84 c Core size: 4 Core Weight: 1 Total Weight: -377 8.79/8.84 c Elapsed CPU time: 8.67368 s Remaining CPU time: 1791.33 s 8.88/8.91 c core #124 8.88/8.91 c Core size: 4 Core Weight: 1 Total Weight: -376 8.88/8.91 c Elapsed CPU time: 8.74667 s Remaining CPU time: 1791.25 s 8.88/8.99 c core #125 8.88/8.99 c Core size: 4 Core Weight: 1 Total Weight: -375 8.88/8.99 c Elapsed CPU time: 8.81766 s Remaining CPU time: 1791.18 s 8.98/9.06 c core #126 8.98/9.06 c Core size: 4 Core Weight: 1 Total Weight: -374 8.98/9.06 c Elapsed CPU time: 8.89065 s Remaining CPU time: 1791.11 s 9.08/9.13 c core #127 9.08/9.13 c Core size: 4 Core Weight: 1 Total Weight: -373 9.08/9.13 c Elapsed CPU time: 8.96364 s Remaining CPU time: 1791.04 s 9.18/9.21 c core #128 9.18/9.21 c Core size: 4 Core Weight: 1 Total Weight: -372 9.18/9.21 c Elapsed CPU time: 9.03763 s Remaining CPU time: 1790.96 s 9.18/9.28 c core #129 9.18/9.28 c Core size: 4 Core Weight: 1 Total Weight: -371 9.18/9.28 c Elapsed CPU time: 9.10961 s Remaining CPU time: 1790.89 s 9.29/9.35 c core #130 9.29/9.35 c Core size: 4 Core Weight: 1 Total Weight: -370 9.29/9.35 c Elapsed CPU time: 9.1816 s Remaining CPU time: 1790.82 s 9.39/9.43 c core #131 9.39/9.43 c Core size: 4 Core Weight: 1 Total Weight: -369 9.39/9.43 c Elapsed CPU time: 9.25359 s Remaining CPU time: 1790.75 s 9.49/9.50 c core #132 9.49/9.50 c Core size: 4 Core Weight: 1 Total Weight: -368 9.49/9.50 c Elapsed CPU time: 9.32458 s Remaining CPU time: 1790.68 s 9.49/9.58 c core #133 9.49/9.58 c Core size: 4 Core Weight: 1 Total Weight: -367 9.49/9.58 c Elapsed CPU time: 9.40057 s Remaining CPU time: 1790.6 s 9.58/9.65 c core #134 9.58/9.65 c Core size: 4 Core Weight: 1 Total Weight: -366 9.58/9.65 c Elapsed CPU time: 9.47356 s Remaining CPU time: 1790.53 s 9.69/9.73 c core #135 9.69/9.73 c Core size: 4 Core Weight: 1 Total Weight: -365 9.69/9.73 c Elapsed CPU time: 9.54855 s Remaining CPU time: 1790.45 s 9.79/9.81 c core #136 9.79/9.81 c Core size: 4 Core Weight: 1 Total Weight: -364 9.79/9.81 c Elapsed CPU time: 9.62554 s Remaining CPU time: 1790.37 s 9.79/9.88 c core #137 9.79/9.88 c Core size: 4 Core Weight: 1 Total Weight: -363 9.79/9.88 c Elapsed CPU time: 9.70252 s Remaining CPU time: 1790.3 s 9.89/9.96 c core #138 9.89/9.96 c Core size: 4 Core Weight: 1 Total Weight: -362 9.89/9.96 c Elapsed CPU time: 9.77951 s Remaining CPU time: 1790.22 s 9.99/10.04 c core #139 9.99/10.04 c Core size: 4 Core Weight: 1 Total Weight: -361 9.99/10.04 c Elapsed CPU time: 9.8525 s Remaining CPU time: 1790.15 s 10.09/10.11 c core #140 10.09/10.11 c Core size: 4 Core Weight: 1 Total Weight: -360 10.09/10.11 c Elapsed CPU time: 9.92849 s Remaining CPU time: 1790.07 s 10.09/10.18 c core #141 10.09/10.18 c Core size: 4 Core Weight: 1 Total Weight: -359 10.09/10.18 c Elapsed CPU time: 10.0005 s Remaining CPU time: 1790 s 10.19/10.26 c core #142 10.19/10.26 c Core size: 4 Core Weight: 1 Total Weight: -358 10.19/10.26 c Elapsed CPU time: 10.0745 s Remaining CPU time: 1789.93 s 10.29/10.33 c core #143 10.29/10.33 c Core size: 4 Core Weight: 1 Total Weight: -357 10.29/10.33 c Elapsed CPU time: 10.1465 s Remaining CPU time: 1789.85 s 10.39/10.40 c core #144 10.39/10.40 c Core size: 4 Core Weight: 1 Total Weight: -356 10.39/10.40 c Elapsed CPU time: 10.2174 s Remaining CPU time: 1789.78 s 10.39/10.47 c core #145 10.39/10.47 c Core size: 4 Core Weight: 1 Total Weight: -355 10.39/10.47 c Elapsed CPU time: 10.2884 s Remaining CPU time: 1789.71 s 10.49/10.55 c core #146 10.49/10.55 c Core size: 4 Core Weight: 1 Total Weight: -354 10.49/10.55 c Elapsed CPU time: 10.3614 s Remaining CPU time: 1789.64 s 10.59/10.62 c core #147 10.59/10.62 c Core size: 4 Core Weight: 1 Total Weight: -353 10.59/10.62 c Elapsed CPU time: 10.4344 s Remaining CPU time: 1789.57 s 10.59/10.70 c core #148 10.59/10.70 c Core size: 4 Core Weight: 1 Total Weight: -352 10.59/10.70 c Elapsed CPU time: 10.5084 s Remaining CPU time: 1789.49 s 10.69/10.77 c core #149 10.69/10.77 c Core size: 4 Core Weight: 1 Total Weight: -351 10.69/10.77 c Elapsed CPU time: 10.5784 s Remaining CPU time: 1789.42 s 10.78/10.84 c core #150 10.78/10.84 c Core size: 4 Core Weight: 1 Total Weight: -350 10.78/10.84 c Elapsed CPU time: 10.6504 s Remaining CPU time: 1789.35 s 10.89/10.91 c core #151 10.89/10.91 c Core size: 4 Core Weight: 1 Total Weight: -349 10.89/10.91 c Elapsed CPU time: 10.7224 s Remaining CPU time: 1789.28 s 10.89/10.99 c core #152 10.89/10.99 c Core size: 4 Core Weight: 1 Total Weight: -348 10.89/10.99 c Elapsed CPU time: 10.7944 s Remaining CPU time: 1789.21 s 10.99/11.06 c core #153 10.99/11.06 c Core size: 4 Core Weight: 1 Total Weight: -347 10.99/11.06 c Elapsed CPU time: 10.8653 s Remaining CPU time: 1789.13 s 11.09/11.13 c core #154 11.09/11.13 c Core size: 4 Core Weight: 1 Total Weight: -346 11.09/11.13 c Elapsed CPU time: 10.9363 s Remaining CPU time: 1789.06 s 11.19/11.20 c core #155 11.19/11.20 c Core size: 4 Core Weight: 1 Total Weight: -345 11.19/11.20 c Elapsed CPU time: 11.0073 s Remaining CPU time: 1788.99 s 11.19/11.28 c core #156 11.19/11.28 c Core size: 4 Core Weight: 1 Total Weight: -344 11.19/11.28 c Elapsed CPU time: 11.0803 s Remaining CPU time: 1788.92 s 11.28/11.35 c core #157 11.28/11.35 c Core size: 4 Core Weight: 1 Total Weight: -343 11.28/11.35 c Elapsed CPU time: 11.1523 s Remaining CPU time: 1788.85 s 11.39/11.42 c core #158 11.39/11.42 c Core size: 4 Core Weight: 1 Total Weight: -342 11.39/11.42 c Elapsed CPU time: 11.2223 s Remaining CPU time: 1788.78 s 11.49/11.50 c core #159 11.49/11.50 c Core size: 4 Core Weight: 1 Total Weight: -341 11.49/11.50 c Elapsed CPU time: 11.2963 s Remaining CPU time: 1788.7 s 11.49/11.57 c core #160 11.49/11.57 c Core size: 4 Core Weight: 1 Total Weight: -340 11.49/11.57 c Elapsed CPU time: 11.3703 s Remaining CPU time: 1788.63 s 11.59/11.65 c core #161 11.59/11.65 c Core size: 4 Core Weight: 1 Total Weight: -339 11.59/11.65 c Elapsed CPU time: 11.4423 s Remaining CPU time: 1788.56 s 11.69/11.72 c core #162 11.69/11.72 c Core size: 4 Core Weight: 1 Total Weight: -338 11.69/11.72 c Elapsed CPU time: 11.5172 s Remaining CPU time: 1788.48 s 11.69/11.79 c core #163 11.69/11.79 c Core size: 4 Core Weight: 1 Total Weight: -337 11.69/11.79 c Elapsed CPU time: 11.5902 s Remaining CPU time: 1788.41 s 11.79/11.87 c core #164 11.79/11.87 c Core size: 4 Core Weight: 1 Total Weight: -336 11.79/11.87 c Elapsed CPU time: 11.6662 s Remaining CPU time: 1788.33 s 11.89/11.94 c core #165 11.89/11.94 c Core size: 4 Core Weight: 1 Total Weight: -335 11.89/11.94 c Elapsed CPU time: 11.7382 s Remaining CPU time: 1788.26 s 11.99/12.02 c core #166 11.99/12.02 c Core size: 4 Core Weight: 1 Total Weight: -334 11.99/12.02 c Elapsed CPU time: 11.8142 s Remaining CPU time: 1788.19 s 11.99/12.09 c core #167 11.99/12.09 c Core size: 4 Core Weight: 1 Total Weight: -333 11.99/12.09 c Elapsed CPU time: 11.8872 s Remaining CPU time: 1788.11 s 12.09/12.17 c core #168 12.09/12.17 c Core size: 4 Core Weight: 1 Total Weight: -332 12.09/12.17 c Elapsed CPU time: 11.9622 s Remaining CPU time: 1788.04 s 12.18/12.24 c core #169 12.18/12.24 c Core size: 4 Core Weight: 1 Total Weight: -331 12.18/12.24 c Elapsed CPU time: 12.0342 s Remaining CPU time: 1787.97 s 12.28/12.32 c core #170 12.28/12.32 c Core size: 4 Core Weight: 1 Total Weight: -330 12.28/12.32 c Elapsed CPU time: 12.1072 s Remaining CPU time: 1787.89 s 12.28/12.39 c core #171 12.28/12.39 c Core size: 4 Core Weight: 1 Total Weight: -329 12.28/12.39 c Elapsed CPU time: 12.1791 s Remaining CPU time: 1787.82 s 12.39/12.47 c core #172 12.39/12.47 c Core size: 4 Core Weight: 1 Total Weight: -328 12.39/12.47 c Elapsed CPU time: 12.2541 s Remaining CPU time: 1787.75 s 12.49/12.54 c core #173 12.49/12.54 c Core size: 4 Core Weight: 1 Total Weight: -327 12.49/12.54 c Elapsed CPU time: 12.3261 s Remaining CPU time: 1787.67 s 12.59/12.61 c core #174 12.59/12.61 c Core size: 4 Core Weight: 1 Total Weight: -326 12.59/12.61 c Elapsed CPU time: 12.3991 s Remaining CPU time: 1787.6 s 12.59/12.69 c core #175 12.59/12.69 c Core size: 4 Core Weight: 1 Total Weight: -325 12.59/12.69 c Elapsed CPU time: 12.4701 s Remaining CPU time: 1787.53 s 12.68/12.77 c core #176 12.68/12.77 c Core size: 4 Core Weight: 1 Total Weight: -324 12.68/12.77 c Elapsed CPU time: 12.5441 s Remaining CPU time: 1787.46 s 12.79/12.84 c core #177 12.79/12.84 c Core size: 4 Core Weight: 1 Total Weight: -323 12.79/12.84 c Elapsed CPU time: 12.6181 s Remaining CPU time: 1787.38 s 12.89/12.91 c core #178 12.89/12.91 c Core size: 4 Core Weight: 1 Total Weight: -322 12.89/12.91 c Elapsed CPU time: 12.6921 s Remaining CPU time: 1787.31 s 12.89/12.99 c core #179 12.89/12.99 c Core size: 4 Core Weight: 1 Total Weight: -321 12.89/12.99 c Elapsed CPU time: 12.7641 s Remaining CPU time: 1787.24 s 12.99/13.06 c core #180 12.99/13.06 c Core size: 4 Core Weight: 1 Total Weight: -320 12.99/13.06 c Elapsed CPU time: 12.837 s Remaining CPU time: 1787.16 s 13.09/13.14 c core #181 13.09/13.14 c Core size: 4 Core Weight: 1 Total Weight: -319 13.09/13.14 c Elapsed CPU time: 12.911 s Remaining CPU time: 1787.09 s 13.19/13.21 c core #182 13.19/13.21 c Core size: 4 Core Weight: 1 Total Weight: -318 13.19/13.21 c Elapsed CPU time: 12.982 s Remaining CPU time: 1787.02 s 13.19/13.29 c core #183 13.19/13.29 c Core size: 4 Core Weight: 1 Total Weight: -317 13.19/13.29 c Elapsed CPU time: 13.055 s Remaining CPU time: 1786.94 s 13.28/13.36 c core #184 13.28/13.36 c Core size: 4 Core Weight: 1 Total Weight: -316 13.28/13.36 c Elapsed CPU time: 13.125 s Remaining CPU time: 1786.87 s 13.39/13.43 c core #185 13.39/13.43 c Core size: 4 Core Weight: 1 Total Weight: -315 13.39/13.43 c Elapsed CPU time: 13.199 s Remaining CPU time: 1786.8 s 13.48/13.51 c core #186 13.48/13.51 c Core size: 4 Core Weight: 1 Total Weight: -314 13.48/13.51 c Elapsed CPU time: 13.272 s Remaining CPU time: 1786.73 s 13.48/13.58 c core #187 13.48/13.58 c Core size: 4 Core Weight: 1 Total Weight: -313 13.48/13.58 c Elapsed CPU time: 13.342 s Remaining CPU time: 1786.66 s 13.58/13.66 c core #188 13.58/13.66 c Core size: 4 Core Weight: 1 Total Weight: -312 13.58/13.66 c Elapsed CPU time: 13.413 s Remaining CPU time: 1786.59 s 13.69/13.73 c core #189 13.69/13.73 c Core size: 4 Core Weight: 1 Total Weight: -311 13.69/13.73 c Elapsed CPU time: 13.4879 s Remaining CPU time: 1786.51 s 13.79/13.81 c core #190 13.79/13.81 c Core size: 4 Core Weight: 1 Total Weight: -310 13.79/13.81 c Elapsed CPU time: 13.5629 s Remaining CPU time: 1786.44 s 13.79/13.88 c core #191 13.79/13.88 c Core size: 4 Core Weight: 1 Total Weight: -309 13.79/13.88 c Elapsed CPU time: 13.6359 s Remaining CPU time: 1786.36 s 13.89/13.96 c core #192 13.89/13.96 c Core size: 4 Core Weight: 1 Total Weight: -308 13.89/13.96 c Elapsed CPU time: 13.7079 s Remaining CPU time: 1786.29 s 13.98/14.03 c core #193 13.98/14.03 c Core size: 4 Core Weight: 1 Total Weight: -307 13.98/14.03 c Elapsed CPU time: 13.7829 s Remaining CPU time: 1786.22 s 14.08/14.11 c core #194 14.08/14.11 c Core size: 4 Core Weight: 1 Total Weight: -306 14.08/14.11 c Elapsed CPU time: 13.8569 s Remaining CPU time: 1786.14 s 14.08/14.18 c core #195 14.08/14.18 c Core size: 4 Core Weight: 1 Total Weight: -305 14.08/14.18 c Elapsed CPU time: 13.9299 s Remaining CPU time: 1786.07 s 14.19/14.26 c core #196 14.19/14.26 c Core size: 4 Core Weight: 1 Total Weight: -304 14.19/14.26 c Elapsed CPU time: 14.0049 s Remaining CPU time: 1786 s 14.29/14.34 c core #197 14.29/14.34 c Core size: 4 Core Weight: 1 Total Weight: -303 14.29/14.34 c Elapsed CPU time: 14.0809 s Remaining CPU time: 1785.92 s 14.38/14.41 c core #198 14.38/14.41 c Core size: 4 Core Weight: 1 Total Weight: -302 14.38/14.41 c Elapsed CPU time: 14.1538 s Remaining CPU time: 1785.85 s 14.38/14.49 c core #199 14.38/14.49 c Core size: 4 Core Weight: 1 Total Weight: -301 14.38/14.49 c Elapsed CPU time: 14.2268 s Remaining CPU time: 1785.77 s 14.48/14.56 c core #200 14.48/14.56 c Core size: 4 Core Weight: 1 Total Weight: -300 14.48/14.56 c Elapsed CPU time: 14.3018 s Remaining CPU time: 1785.7 s 14.58/14.64 c core #201 14.58/14.64 c Core size: 4 Core Weight: 1 Total Weight: -299 14.58/14.64 c Elapsed CPU time: 14.3768 s Remaining CPU time: 1785.62 s 14.68/14.71 c core #202 14.68/14.71 c Core size: 4 Core Weight: 1 Total Weight: -298 14.68/14.71 c Elapsed CPU time: 14.4508 s Remaining CPU time: 1785.55 s 14.68/14.79 c core #203 14.68/14.79 c Core size: 4 Core Weight: 1 Total Weight: -297 14.68/14.79 c Elapsed CPU time: 14.5268 s Remaining CPU time: 1785.47 s 14.78/14.86 c core #204 14.78/14.86 c Core size: 4 Core Weight: 1 Total Weight: -296 14.78/14.86 c Elapsed CPU time: 14.6028 s Remaining CPU time: 1785.4 s 14.88/14.94 c core #205 14.88/14.94 c Core size: 4 Core Weight: 1 Total Weight: -295 14.88/14.94 c Elapsed CPU time: 14.6778 s Remaining CPU time: 1785.32 s 14.98/15.02 c core #206 14.98/15.02 c Core size: 4 Core Weight: 1 Total Weight: -294 14.98/15.02 c Elapsed CPU time: 14.7508 s Remaining CPU time: 1785.25 s 14.98/15.09 c core #207 14.98/15.09 c Core size: 4 Core Weight: 1 Total Weight: -293 14.98/15.09 c Elapsed CPU time: 14.8257 s Remaining CPU time: 1785.17 s 15.09/15.17 c core #208 15.09/15.17 c Core size: 4 Core Weight: 1 Total Weight: -292 15.09/15.17 c Elapsed CPU time: 14.8997 s Remaining CPU time: 1785.1 s 15.18/15.24 c core #209 15.18/15.24 c Core size: 4 Core Weight: 1 Total Weight: -291 15.18/15.24 c Elapsed CPU time: 14.9727 s Remaining CPU time: 1785.03 s 15.28/15.32 c core #210 15.28/15.32 c Core size: 4 Core Weight: 1 Total Weight: -290 15.28/15.32 c Elapsed CPU time: 15.0447 s Remaining CPU time: 1784.96 s 15.28/15.39 c core #211 15.28/15.39 c Core size: 4 Core Weight: 1 Total Weight: -289 15.28/15.39 c Elapsed CPU time: 15.1187 s Remaining CPU time: 1784.88 s 15.39/15.47 c core #212 15.39/15.47 c Core size: 4 Core Weight: 1 Total Weight: -288 15.39/15.47 c Elapsed CPU time: 15.1937 s Remaining CPU time: 1784.81 s 15.49/15.55 c core #213 15.49/15.55 c Core size: 4 Core Weight: 1 Total Weight: -287 15.49/15.55 c Elapsed CPU time: 15.2667 s Remaining CPU time: 1784.73 s 15.58/15.62 c core #214 15.58/15.62 c Core size: 4 Core Weight: 1 Total Weight: -286 15.58/15.62 c Elapsed CPU time: 15.3427 s Remaining CPU time: 1784.66 s 15.68/15.70 c core #215 15.68/15.70 c Core size: 4 Core Weight: 1 Total Weight: -285 15.68/15.70 c Elapsed CPU time: 15.4187 s Remaining CPU time: 1784.58 s 15.68/15.77 c core #216 15.68/15.77 c Core size: 4 Core Weight: 1 Total Weight: -284 15.68/15.77 c Elapsed CPU time: 15.4946 s Remaining CPU time: 1784.51 s 15.78/15.85 c core #217 15.78/15.85 c Core size: 4 Core Weight: 1 Total Weight: -283 15.78/15.85 c Elapsed CPU time: 15.5706 s Remaining CPU time: 1784.43 s 15.88/15.93 c core #218 15.88/15.93 c Core size: 4 Core Weight: 1 Total Weight: -282 15.88/15.93 c Elapsed CPU time: 15.6446 s Remaining CPU time: 1784.36 s 15.99/16.00 c core #219 15.99/16.00 c Core size: 4 Core Weight: 1 Total Weight: -281 15.99/16.00 c Elapsed CPU time: 15.7176 s Remaining CPU time: 1784.28 s 15.99/16.08 c core #220 15.99/16.08 c Core size: 4 Core Weight: 1 Total Weight: -280 15.99/16.08 c Elapsed CPU time: 15.7936 s Remaining CPU time: 1784.21 s 16.08/16.16 c core #221 16.08/16.16 c Core size: 4 Core Weight: 1 Total Weight: -279 16.08/16.16 c Elapsed CPU time: 15.8686 s Remaining CPU time: 1784.13 s 16.18/16.24 c core #222 16.18/16.24 c Core size: 4 Core Weight: 1 Total Weight: -278 16.18/16.24 c Elapsed CPU time: 15.9436 s Remaining CPU time: 1784.06 s 16.29/16.31 c core #223 16.29/16.31 c Core size: 4 Core Weight: 1 Total Weight: -277 16.29/16.31 c Elapsed CPU time: 16.0186 s Remaining CPU time: 1783.98 s 16.29/16.39 c core #224 16.29/16.39 c Core size: 4 Core Weight: 1 Total Weight: -276 16.29/16.39 c Elapsed CPU time: 16.0946 s Remaining CPU time: 1783.91 s 16.39/16.47 c core #225 16.39/16.47 c Core size: 4 Core Weight: 1 Total Weight: -275 16.39/16.47 c Elapsed CPU time: 16.1725 s Remaining CPU time: 1783.83 s 16.49/16.55 c core #226 16.49/16.55 c Core size: 4 Core Weight: 1 Total Weight: -274 16.49/16.55 c Elapsed CPU time: 16.2465 s Remaining CPU time: 1783.75 s 16.58/16.62 c core #227 16.58/16.62 c Core size: 4 Core Weight: 1 Total Weight: -273 16.58/16.62 c Elapsed CPU time: 16.3205 s Remaining CPU time: 1783.68 s 16.68/16.70 c core #228 16.68/16.70 c Core size: 4 Core Weight: 1 Total Weight: -272 16.68/16.70 c Elapsed CPU time: 16.3975 s Remaining CPU time: 1783.6 s 16.68/16.78 c core #229 16.68/16.78 c Core size: 4 Core Weight: 1 Total Weight: -271 16.68/16.78 c Elapsed CPU time: 16.4755 s Remaining CPU time: 1783.52 s 16.78/16.86 c core #230 16.78/16.86 c Core size: 4 Core Weight: 1 Total Weight: -270 16.78/16.86 c Elapsed CPU time: 16.5545 s Remaining CPU time: 1783.45 s 16.88/16.93 c core #231 16.88/16.93 c Core size: 4 Core Weight: 1 Total Weight: -269 16.88/16.93 c Elapsed CPU time: 16.6285 s Remaining CPU time: 1783.37 s 16.99/17.01 c core #232 16.99/17.01 c Core size: 4 Core Weight: 1 Total Weight: -268 16.99/17.01 c Elapsed CPU time: 16.7045 s Remaining CPU time: 1783.3 s 16.99/17.09 c core #233 16.99/17.09 c Core size: 4 Core Weight: 1 Total Weight: -267 16.99/17.09 c Elapsed CPU time: 16.7774 s Remaining CPU time: 1783.22 s 17.08/17.16 c core #234 17.08/17.16 c Core size: 4 Core Weight: 1 Total Weight: -266 17.08/17.16 c Elapsed CPU time: 16.8514 s Remaining CPU time: 1783.15 s 17.18/17.24 c core #235 17.18/17.24 c Core size: 4 Core Weight: 1 Total Weight: -265 17.18/17.24 c Elapsed CPU time: 16.9254 s Remaining CPU time: 1783.07 s 17.29/17.32 c core #236 17.29/17.32 c Core size: 4 Core Weight: 1 Total Weight: -264 17.29/17.32 c Elapsed CPU time: 17.0014 s Remaining CPU time: 1783 s 17.29/17.39 c core #237 17.29/17.39 c Core size: 4 Core Weight: 1 Total Weight: -263 17.29/17.39 c Elapsed CPU time: 17.0764 s Remaining CPU time: 1782.92 s 17.39/17.47 c core #238 17.39/17.47 c Core size: 4 Core Weight: 1 Total Weight: -262 17.39/17.47 c Elapsed CPU time: 17.1514 s Remaining CPU time: 1782.85 s 17.49/17.55 c core #239 17.49/17.55 c Core size: 4 Core Weight: 1 Total Weight: -261 17.49/17.55 c Elapsed CPU time: 17.2284 s Remaining CPU time: 1782.77 s 17.58/17.63 c core #240 17.58/17.63 c Core size: 4 Core Weight: 1 Total Weight: -260 17.58/17.63 c Elapsed CPU time: 17.3024 s Remaining CPU time: 1782.7 s 17.68/17.71 c core #241 17.68/17.71 c Core size: 4 Core Weight: 1 Total Weight: -259 17.68/17.71 c Elapsed CPU time: 17.3764 s Remaining CPU time: 1782.62 s 17.68/17.79 c core #242 17.68/17.79 c Core size: 4 Core Weight: 1 Total Weight: -258 17.68/17.79 c Elapsed CPU time: 17.4543 s Remaining CPU time: 1782.55 s 17.78/17.86 c core #243 17.78/17.86 c Core size: 4 Core Weight: 1 Total Weight: -257 17.78/17.86 c Elapsed CPU time: 17.5313 s Remaining CPU time: 1782.47 s 17.88/17.94 c core #244 17.88/17.94 c Core size: 4 Core Weight: 1 Total Weight: -256 17.88/17.94 c Elapsed CPU time: 17.6083 s Remaining CPU time: 1782.39 s 17.98/18.02 c core #245 17.98/18.02 c Core size: 4 Core Weight: 1 Total Weight: -255 17.98/18.02 c Elapsed CPU time: 17.6853 s Remaining CPU time: 1782.31 s 17.98/18.10 c core #246 17.98/18.10 c Core size: 9 Core Weight: 1 Total Weight: -254 17.98/18.10 c Elapsed CPU time: 17.7613 s Remaining CPU time: 1782.24 s 18.08/18.17 c core #247 18.08/18.17 c Core size: 9 Core Weight: 1 Total Weight: -253 18.08/18.17 c Elapsed CPU time: 17.8373 s Remaining CPU time: 1782.16 s 18.19/18.25 c core #248 18.19/18.25 c Core size: 9 Core Weight: 1 Total Weight: -252 18.19/18.25 c Elapsed CPU time: 17.9143 s Remaining CPU time: 1782.09 s 18.28/18.33 c core #249 18.28/18.33 c Core size: 14 Core Weight: 1 Total Weight: -251 18.28/18.33 c Elapsed CPU time: 17.9893 s Remaining CPU time: 1782.01 s 18.38/18.40 c core #250 18.38/18.40 c Core size: 8 Core Weight: 1 Total Weight: -250 18.38/18.40 c Elapsed CPU time: 18.0643 s Remaining CPU time: 1781.94 s 18.38/18.48 c core #251 18.38/18.48 c Core size: 22 Core Weight: 1 Total Weight: -249 18.38/18.48 c Elapsed CPU time: 18.1412 s Remaining CPU time: 1781.86 s 18.48/18.56 c ============================[ Search Statistics ]============================== 18.48/18.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.48/18.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.48/18.56 c =============================================================================== 18.48/18.56 c | 0 | 1020 39209 94465 | 13069 0 nan | 0.000 % | 18.48/18.56 c =============================================================================== 18.48/18.56 c core #252 18.48/18.56 c Core size: 16 Core Weight: 1 Total Weight: -248 18.48/18.56 c Elapsed CPU time: 18.2182 s Remaining CPU time: 1781.78 s 18.58/18.64 c ============================[ Search Statistics ]============================== 18.58/18.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.58/18.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.58/18.64 c =============================================================================== 18.58/18.64 c | 0 | 1026 39210 94477 | 13070 0 nan | 0.000 % | 18.58/18.64 c =============================================================================== 18.58/18.65 c core #253 18.58/18.65 c Core size: 17 Core Weight: 1 Total Weight: -247 18.58/18.65 c Elapsed CPU time: 18.2962 s Remaining CPU time: 1781.7 s 18.68/18.72 c ============================[ Search Statistics ]============================== 18.68/18.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.68/18.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.68/18.72 c =============================================================================== 18.68/18.72 c | 0 | 1032 39211 94489 | 13070 0 nan | 0.000 % | 18.68/18.73 c =============================================================================== 18.68/18.73 c core #254 18.68/18.73 c Core size: 16 Core Weight: 1 Total Weight: -246 18.68/18.73 c Elapsed CPU time: 18.3782 s Remaining CPU time: 1781.62 s 18.77/18.80 c ============================[ Search Statistics ]============================== 18.77/18.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.77/18.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.77/18.80 c =============================================================================== 18.77/18.80 c | 0 | 1038 39212 94501 | 13070 0 nan | 0.000 % | 18.77/18.81 c =============================================================================== 18.77/18.81 c core #255 18.77/18.81 c Core size: 16 Core Weight: 1 Total Weight: -245 18.77/18.81 c Elapsed CPU time: 18.4552 s Remaining CPU time: 1781.54 s 18.77/18.88 c ============================[ Search Statistics ]============================== 18.77/18.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.77/18.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.77/18.88 c =============================================================================== 18.77/18.88 c | 0 | 1044 39213 94513 | 13071 0 nan | 0.000 % | 18.77/18.88 c =============================================================================== 18.77/18.89 c core #256 18.77/18.89 c Core size: 17 Core Weight: 1 Total Weight: -244 18.77/18.89 c Elapsed CPU time: 18.5322 s Remaining CPU time: 1781.47 s 18.88/18.96 c ============================[ Search Statistics ]============================== 18.88/18.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.88/18.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.88/18.96 c =============================================================================== 18.88/18.96 c | 0 | 1050 39214 94525 | 13071 0 nan | 0.000 % | 18.88/18.96 c =============================================================================== 18.88/18.96 c core #257 18.88/18.96 c Core size: 15 Core Weight: 1 Total Weight: -243 18.88/18.96 c Elapsed CPU time: 18.6082 s Remaining CPU time: 1781.39 s 18.98/19.03 c ============================[ Search Statistics ]============================== 18.98/19.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.98/19.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.98/19.03 c =============================================================================== 18.98/19.03 c | 0 | 1056 39215 94537 | 13071 0 nan | 0.000 % | 18.98/19.04 c =============================================================================== 18.98/19.04 c core #258 18.98/19.04 c Core size: 15 Core Weight: 1 Total Weight: -242 18.98/19.04 c Elapsed CPU time: 18.6852 s Remaining CPU time: 1781.31 s 19.08/19.11 c ============================[ Search Statistics ]============================== 19.08/19.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.08/19.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.08/19.11 c =============================================================================== 19.08/19.11 c | 0 | 1062 39216 94549 | 13072 0 nan | 0.000 % | 19.08/19.12 c =============================================================================== 19.08/19.12 c core #259 19.08/19.12 c Core size: 15 Core Weight: 1 Total Weight: -241 19.08/19.12 c Elapsed CPU time: 18.7601 s Remaining CPU time: 1781.24 s 19.08/19.19 c ============================[ Search Statistics ]============================== 19.08/19.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.08/19.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.08/19.19 c =============================================================================== 19.08/19.19 c | 0 | 1068 39217 94561 | 13072 0 nan | 0.000 % | 19.08/19.20 c =============================================================================== 19.17/19.20 c core #260 19.17/19.20 c Core size: 17 Core Weight: 1 Total Weight: -240 19.17/19.20 c Elapsed CPU time: 18.8381 s Remaining CPU time: 1781.16 s 19.17/19.27 c ============================[ Search Statistics ]============================== 19.17/19.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.17/19.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.17/19.27 c =============================================================================== 19.17/19.27 c | 0 | 1074 39218 94573 | 13072 0 nan | 0.000 % | 19.17/19.27 c =============================================================================== 19.17/19.28 c core #261 19.17/19.28 c Core size: 16 Core Weight: 1 Total Weight: -239 19.17/19.28 c Elapsed CPU time: 18.9151 s Remaining CPU time: 1781.08 s 19.27/19.35 c ============================[ Search Statistics ]============================== 19.27/19.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.27/19.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.27/19.35 c =============================================================================== 19.27/19.35 c | 0 | 1080 39219 94585 | 13073 0 nan | 0.000 % | 19.27/19.35 c =============================================================================== 19.27/19.35 c core #262 19.27/19.35 c Core size: 15 Core Weight: 1 Total Weight: -238 19.27/19.35 c Elapsed CPU time: 18.9911 s Remaining CPU time: 1781.01 s 19.37/19.43 c ============================[ Search Statistics ]============================== 19.37/19.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.37/19.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.37/19.43 c =============================================================================== 19.37/19.43 c | 0 | 1086 39220 94597 | 13073 0 nan | 0.000 % | 19.37/19.43 c =============================================================================== 19.37/19.43 c core #263 19.37/19.43 c Core size: 16 Core Weight: 1 Total Weight: -237 19.37/19.43 c Elapsed CPU time: 19.0701 s Remaining CPU time: 1780.93 s 19.47/19.51 c ============================[ Search Statistics ]============================== 19.47/19.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.47/19.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.47/19.51 c =============================================================================== 19.47/19.51 c | 0 | 1092 39221 94609 | 13073 0 nan | 0.000 % | 19.47/19.52 c =============================================================================== 19.47/19.52 c core #264 19.47/19.52 c Core size: 17 Core Weight: 1 Total Weight: -236 19.47/19.52 c Elapsed CPU time: 19.1521 s Remaining CPU time: 1780.85 s 19.47/19.59 c ============================[ Search Statistics ]============================== 19.47/19.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.47/19.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.47/19.59 c =============================================================================== 19.47/19.59 c | 0 | 1098 39222 94621 | 13074 0 nan | 0.000 % | 19.47/19.59 c =============================================================================== 19.47/19.60 c core #265 19.47/19.60 c Core size: 17 Core Weight: 1 Total Weight: -235 19.47/19.60 c Elapsed CPU time: 19.2281 s Remaining CPU time: 1780.77 s 19.58/19.67 c ============================[ Search Statistics ]============================== 19.58/19.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.58/19.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.58/19.67 c =============================================================================== 19.58/19.67 c | 0 | 1104 39223 94633 | 13074 0 nan | 0.000 % | 19.58/19.68 c =============================================================================== 19.58/19.68 c core #266 19.58/19.68 c Core size: 15 Core Weight: 1 Total Weight: -234 19.58/19.68 c Elapsed CPU time: 19.3071 s Remaining CPU time: 1780.69 s 19.67/19.75 c ============================[ Search Statistics ]============================== 19.67/19.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.67/19.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.67/19.75 c =============================================================================== 19.67/19.75 c | 0 | 1110 39224 94645 | 13074 0 nan | 0.000 % | 19.67/19.76 c =============================================================================== 19.67/19.76 c core #267 19.67/19.76 c Core size: 16 Core Weight: 1 Total Weight: -233 19.67/19.76 c Elapsed CPU time: 19.3841 s Remaining CPU time: 1780.62 s 19.77/19.83 c ============================[ Search Statistics ]============================== 19.77/19.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.77/19.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.77/19.83 c =============================================================================== 19.77/19.83 c | 0 | 1116 39225 94657 | 13075 0 nan | 0.000 % | 19.77/19.84 c =============================================================================== 19.77/19.84 c core #268 19.77/19.84 c Core size: 15 Core Weight: 1 Total Weight: -232 19.77/19.84 c Elapsed CPU time: 19.459 s Remaining CPU time: 1780.54 s 19.86/19.91 c ============================[ Search Statistics ]============================== 19.86/19.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.86/19.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.86/19.91 c =============================================================================== 19.86/19.91 c | 0 | 1122 39226 94669 | 13075 0 nan | 0.000 % | 19.86/19.91 c =============================================================================== 19.86/19.91 c core #269 19.86/19.91 c Core size: 15 Core Weight: 1 Total Weight: -231 19.86/19.91 c Elapsed CPU time: 19.536 s Remaining CPU time: 1780.46 s 19.86/19.99 c ============================[ Search Statistics ]============================== 19.86/19.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.86/19.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.86/19.99 c =============================================================================== 19.86/19.99 c | 0 | 1128 39227 94681 | 13075 0 nan | 0.000 % | 19.86/19.99 c =============================================================================== 19.86/19.99 c core #270 19.86/19.99 c Core size: 16 Core Weight: 1 Total Weight: -230 19.86/19.99 c Elapsed CPU time: 19.611 s Remaining CPU time: 1780.39 s 19.96/20.07 c ============================[ Search Statistics ]============================== 19.96/20.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.96/20.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.96/20.07 c =============================================================================== 19.96/20.07 c | 0 | 1134 39228 94693 | 13076 0 nan | 0.000 % | 19.96/20.07 c =============================================================================== 19.96/20.07 c core #271 19.96/20.07 c Core size: 15 Core Weight: 1 Total Weight: -229 19.96/20.07 c Elapsed CPU time: 19.689 s Remaining CPU time: 1780.31 s 20.07/20.15 c ============================[ Search Statistics ]============================== 20.07/20.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.07/20.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.07/20.15 c =============================================================================== 20.07/20.15 c | 0 | 1140 39229 94705 | 13076 0 nan | 0.000 % | 20.07/20.15 c =============================================================================== 20.07/20.15 c core #272 20.07/20.15 c Core size: 15 Core Weight: 1 Total Weight: -228 20.07/20.15 c Elapsed CPU time: 19.768 s Remaining CPU time: 1780.23 s 20.17/20.23 c ============================[ Search Statistics ]============================== 20.17/20.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.17/20.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.17/20.23 c =============================================================================== 20.17/20.23 c | 0 | 1146 39230 94717 | 13076 0 nan | 0.000 % | 20.17/20.23 c =============================================================================== 20.17/20.23 c core #273 20.17/20.23 c Core size: 17 Core Weight: 1 Total Weight: -227 20.17/20.23 c Elapsed CPU time: 19.85 s Remaining CPU time: 1780.15 s 20.27/20.31 c ============================[ Search Statistics ]============================== 20.27/20.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.27/20.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.27/20.31 c =============================================================================== 20.27/20.31 c | 0 | 1152 39231 94729 | 13077 0 nan | 0.000 % | 20.27/20.31 c =============================================================================== 20.27/20.31 c core #274 20.27/20.31 c Core size: 16 Core Weight: 1 Total Weight: -226 20.27/20.31 c Elapsed CPU time: 19.928 s Remaining CPU time: 1780.07 s 20.27/20.38 c ============================[ Search Statistics ]============================== 20.27/20.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.27/20.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.27/20.38 c =============================================================================== 20.27/20.38 c | 0 | 1158 39232 94741 | 13077 0 nan | 0.000 % | 20.27/20.39 c =============================================================================== 20.27/20.39 c core #275 20.27/20.39 c Core size: 15 Core Weight: 1 Total Weight: -225 20.27/20.39 c Elapsed CPU time: 20.002 s Remaining CPU time: 1780 s 20.36/20.46 c ============================[ Search Statistics ]============================== 20.36/20.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.36/20.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.36/20.46 c =============================================================================== 20.36/20.46 c | 0 | 1164 39233 94753 | 13077 0 nan | 0.000 % | 20.36/20.47 c =============================================================================== 20.36/20.47 c core #276 20.36/20.47 c Core size: 16 Core Weight: 1 Total Weight: -224 20.36/20.47 c Elapsed CPU time: 20.0779 s Remaining CPU time: 1779.92 s 20.46/20.54 c ============================[ Search Statistics ]============================== 20.46/20.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.46/20.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.46/20.54 c =============================================================================== 20.46/20.54 c | 0 | 1170 39234 94765 | 13078 0 nan | 0.000 % | 20.46/20.55 c =============================================================================== 20.46/20.55 c core #277 20.46/20.55 c Core size: 15 Core Weight: 1 Total Weight: -223 20.46/20.55 c Elapsed CPU time: 20.1539 s Remaining CPU time: 1779.85 s 20.56/20.62 c ============================[ Search Statistics ]============================== 20.56/20.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.56/20.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.56/20.62 c =============================================================================== 20.56/20.62 c | 0 | 1176 39235 94777 | 13078 0 nan | 0.000 % | 20.56/20.62 c =============================================================================== 20.56/20.62 c core #278 20.56/20.62 c Core size: 22 Core Weight: 1 Total Weight: -222 20.56/20.62 c Elapsed CPU time: 20.2289 s Remaining CPU time: 1779.77 s 20.65/20.70 c ============================[ Search Statistics ]============================== 20.65/20.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.65/20.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.65/20.70 c =============================================================================== 20.65/20.70 c | 0 | 1184 39236 94793 | 13078 0 nan | 0.000 % | 20.65/20.70 c =============================================================================== 20.65/20.70 c core #279 20.65/20.70 c Core size: 15 Core Weight: 1 Total Weight: -221 20.65/20.70 c Elapsed CPU time: 20.3059 s Remaining CPU time: 1779.69 s 20.65/20.77 c ============================[ Search Statistics ]============================== 20.65/20.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.65/20.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.65/20.77 c =============================================================================== 20.65/20.77 c | 0 | 1190 39237 94805 | 13079 0 nan | 0.000 % | 20.65/20.78 c =============================================================================== 20.65/20.78 c core #280 20.65/20.78 c Core size: 17 Core Weight: 1 Total Weight: -220 20.65/20.78 c Elapsed CPU time: 20.3819 s Remaining CPU time: 1779.62 s 20.76/20.86 c ============================[ Search Statistics ]============================== 20.76/20.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.76/20.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.76/20.86 c =============================================================================== 20.76/20.86 c | 0 | 1196 39238 94817 | 13079 0 nan | 0.000 % | 20.76/20.86 c =============================================================================== 20.76/20.86 c core #281 20.76/20.86 c Core size: 22 Core Weight: 1 Total Weight: -219 20.76/20.86 c Elapsed CPU time: 20.4579 s Remaining CPU time: 1779.54 s 20.86/20.93 c ============================[ Search Statistics ]============================== 20.86/20.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.86/20.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.86/20.93 c =============================================================================== 20.86/20.93 c | 0 | 1204 39239 94833 | 13079 0 nan | 0.000 % | 20.86/20.94 c =============================================================================== 20.86/20.94 c core #282 20.86/20.94 c Core size: 17 Core Weight: 1 Total Weight: -218 20.86/20.94 c Elapsed CPU time: 20.5359 s Remaining CPU time: 1779.46 s 20.95/21.01 c ============================[ Search Statistics ]============================== 20.95/21.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.95/21.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.95/21.01 c =============================================================================== 20.95/21.01 c | 0 | 1210 39240 94845 | 13080 0 nan | 0.000 % | 20.95/21.02 c =============================================================================== 20.95/21.02 c core #283 20.95/21.02 c Core size: 15 Core Weight: 1 Total Weight: -217 20.95/21.02 c Elapsed CPU time: 20.6109 s Remaining CPU time: 1779.39 s 20.95/21.09 c ============================[ Search Statistics ]============================== 20.95/21.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.95/21.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.95/21.09 c =============================================================================== 20.95/21.09 c | 0 | 1216 39241 94857 | 13080 0 nan | 0.000 % | 21.05/21.10 c =============================================================================== 21.05/21.10 c core #284 21.05/21.10 c Core size: 17 Core Weight: 1 Total Weight: -216 21.05/21.10 c Elapsed CPU time: 20.6899 s Remaining CPU time: 1779.31 s 21.05/21.17 c ============================[ Search Statistics ]============================== 21.05/21.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.05/21.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.05/21.17 c =============================================================================== 21.05/21.17 c | 0 | 1222 39242 94869 | 13080 0 nan | 0.000 % | 21.05/21.17 c =============================================================================== 21.05/21.18 c core #285 21.05/21.18 c Core size: 16 Core Weight: 1 Total Weight: -215 21.05/21.18 c Elapsed CPU time: 20.7668 s Remaining CPU time: 1779.23 s 21.15/21.25 c ============================[ Search Statistics ]============================== 21.15/21.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.15/21.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.15/21.25 c =============================================================================== 21.15/21.25 c | 0 | 1228 39243 94881 | 13081 0 nan | 0.000 % | 21.15/21.25 c =============================================================================== 21.15/21.25 c core #286 21.15/21.25 c Core size: 17 Core Weight: 1 Total Weight: -214 21.15/21.25 c Elapsed CPU time: 20.8418 s Remaining CPU time: 1779.16 s 21.25/21.32 c ============================[ Search Statistics ]============================== 21.25/21.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.25/21.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.25/21.32 c =============================================================================== 21.25/21.32 c | 0 | 1234 39244 94893 | 13081 0 nan | 0.000 % | 21.25/21.33 c =============================================================================== 21.25/21.33 c core #287 21.25/21.33 c Core size: 16 Core Weight: 1 Total Weight: -213 21.25/21.33 c Elapsed CPU time: 20.9168 s Remaining CPU time: 1779.08 s 21.35/21.40 c ============================[ Search Statistics ]============================== 21.35/21.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.35/21.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.35/21.40 c =============================================================================== 21.35/21.40 c | 0 | 1240 39245 94905 | 13081 0 nan | 0.000 % | 21.35/21.41 c =============================================================================== 21.35/21.41 c core #288 21.35/21.41 c Core size: 22 Core Weight: 1 Total Weight: -212 21.35/21.41 c Elapsed CPU time: 20.9948 s Remaining CPU time: 1779.01 s 21.35/21.48 c ============================[ Search Statistics ]============================== 21.35/21.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.35/21.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.35/21.48 c =============================================================================== 21.35/21.48 c | 0 | 1248 39246 94921 | 13082 0 nan | 0.000 % | 21.35/21.49 c =============================================================================== 21.35/21.49 c core #289 21.35/21.49 c Core size: 17 Core Weight: 1 Total Weight: -211 21.35/21.49 c Elapsed CPU time: 21.0708 s Remaining CPU time: 1778.93 s 21.46/21.56 c ============================[ Search Statistics ]============================== 21.46/21.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.46/21.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.46/21.56 c =============================================================================== 21.46/21.56 c | 0 | 1254 39247 94933 | 13082 0 nan | 0.000 % | 21.46/21.56 c =============================================================================== 21.46/21.56 c core #290 21.46/21.56 c Core size: 16 Core Weight: 1 Total Weight: -210 21.46/21.56 c Elapsed CPU time: 21.1478 s Remaining CPU time: 1778.85 s 21.55/21.64 c ============================[ Search Statistics ]============================== 21.55/21.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.55/21.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.55/21.64 c =============================================================================== 21.55/21.64 c | 0 | 1260 39248 94945 | 13082 0 nan | 0.000 % | 21.55/21.64 c =============================================================================== 21.55/21.64 c core #291 21.55/21.64 c Core size: 16 Core Weight: 1 Total Weight: -209 21.55/21.64 c Elapsed CPU time: 21.2228 s Remaining CPU time: 1778.78 s 21.65/21.72 c ============================[ Search Statistics ]============================== 21.65/21.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.65/21.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.65/21.72 c =============================================================================== 21.65/21.72 c | 0 | 1266 39249 94957 | 13083 0 nan | 0.000 % | 21.65/21.72 c =============================================================================== 21.65/21.72 c core #292 21.65/21.72 c Core size: 22 Core Weight: 1 Total Weight: -208 21.65/21.72 c Elapsed CPU time: 21.3008 s Remaining CPU time: 1778.7 s 21.75/21.80 c ============================[ Search Statistics ]============================== 21.75/21.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.75/21.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.75/21.80 c =============================================================================== 21.75/21.80 c | 0 | 1274 39250 94973 | 13083 0 nan | 0.000 % | 21.75/21.80 c =============================================================================== 21.75/21.80 c core #293 21.75/21.80 c Core size: 15 Core Weight: 1 Total Weight: -207 21.75/21.80 c Elapsed CPU time: 21.3787 s Remaining CPU time: 1778.62 s 21.75/21.88 c ============================[ Search Statistics ]============================== 21.75/21.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.75/21.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.75/21.88 c =============================================================================== 21.75/21.88 c | 0 | 1280 39251 94985 | 13083 0 nan | 0.000 % | 21.75/21.88 c =============================================================================== 21.75/21.88 c core #294 21.75/21.88 c Core size: 17 Core Weight: 1 Total Weight: -206 21.75/21.88 c Elapsed CPU time: 21.4547 s Remaining CPU time: 1778.55 s 21.84/21.96 c ============================[ Search Statistics ]============================== 21.84/21.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.84/21.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.84/21.96 c =============================================================================== 21.84/21.96 c | 0 | 1286 39252 94997 | 13084 0 nan | 0.000 % | 21.84/21.96 c =============================================================================== 21.84/21.96 c core #295 21.84/21.96 c Core size: 15 Core Weight: 1 Total Weight: -205 21.84/21.96 c Elapsed CPU time: 21.5317 s Remaining CPU time: 1778.47 s 21.94/22.04 c ============================[ Search Statistics ]============================== 21.94/22.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.94/22.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.94/22.04 c =============================================================================== 21.94/22.04 c | 0 | 1292 39253 95009 | 13084 0 nan | 0.000 % | 21.94/22.04 c =============================================================================== 21.94/22.04 c core #296 21.94/22.04 c Core size: 22 Core Weight: 1 Total Weight: -204 21.94/22.04 c Elapsed CPU time: 21.6067 s Remaining CPU time: 1778.39 s 22.04/22.11 c ============================[ Search Statistics ]============================== 22.04/22.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.04/22.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.04/22.11 c =============================================================================== 22.04/22.11 c | 0 | 1300 39254 95025 | 13084 0 nan | 0.000 % | 22.04/22.12 c =============================================================================== 22.04/22.12 c core #297 22.04/22.12 c Core size: 22 Core Weight: 1 Total Weight: -203 22.04/22.12 c Elapsed CPU time: 21.6847 s Remaining CPU time: 1778.32 s 22.04/22.19 c ============================[ Search Statistics ]============================== 22.04/22.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.04/22.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.04/22.19 c =============================================================================== 22.04/22.19 c | 0 | 1308 39255 95041 | 13085 0 nan | 0.000 % | 22.15/22.20 c =============================================================================== 22.15/22.20 c core #298 22.15/22.20 c Core size: 21 Core Weight: 1 Total Weight: -202 22.15/22.20 c Elapsed CPU time: 21.7647 s Remaining CPU time: 1778.24 s 22.15/22.27 c ============================[ Search Statistics ]============================== 22.15/22.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.15/22.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.15/22.27 c =============================================================================== 22.15/22.27 c | 0 | 1316 39256 95057 | 13085 0 nan | 0.000 % | 22.15/22.28 c =============================================================================== 22.15/22.28 c core #299 22.15/22.28 c Core size: 15 Core Weight: 1 Total Weight: -201 22.15/22.28 c Elapsed CPU time: 21.8397 s Remaining CPU time: 1778.16 s 22.24/22.35 c ============================[ Search Statistics ]============================== 22.24/22.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.24/22.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.24/22.35 c =============================================================================== 22.24/22.35 c | 0 | 1322 39257 95069 | 13085 0 nan | 0.000 % | 22.24/22.36 c =============================================================================== 22.24/22.36 c core #300 22.24/22.36 c Core size: 21 Core Weight: 1 Total Weight: -200 22.24/22.36 c Elapsed CPU time: 21.9157 s Remaining CPU time: 1778.08 s 22.34/22.43 c ============================[ Search Statistics ]============================== 22.34/22.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.34/22.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.34/22.43 c =============================================================================== 22.34/22.43 c | 0 | 1330 39258 95085 | 13086 0 nan | 0.000 % | 22.34/22.44 c =============================================================================== 22.34/22.44 c core #301 22.34/22.44 c Core size: 22 Core Weight: 1 Total Weight: -199 22.34/22.44 c Elapsed CPU time: 21.9927 s Remaining CPU time: 1778.01 s 22.44/22.51 c ============================[ Search Statistics ]============================== 22.44/22.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.44/22.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.44/22.51 c =============================================================================== 22.44/22.51 c | 0 | 1338 39259 95101 | 13086 0 nan | 0.000 % | 22.44/22.51 c =============================================================================== 22.44/22.51 c core #302 22.44/22.51 c Core size: 17 Core Weight: 1 Total Weight: -198 22.44/22.51 c Elapsed CPU time: 22.0706 s Remaining CPU time: 1777.93 s 22.44/22.59 c ============================[ Search Statistics ]============================== 22.44/22.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.44/22.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.44/22.59 c =============================================================================== 22.44/22.59 c | 0 | 1344 39260 95113 | 13086 0 nan | 0.000 % | 22.44/22.59 c =============================================================================== 22.44/22.59 c core #303 22.44/22.59 c Core size: 22 Core Weight: 1 Total Weight: -197 22.44/22.59 c Elapsed CPU time: 22.1466 s Remaining CPU time: 1777.85 s 22.54/22.67 c ============================[ Search Statistics ]============================== 22.54/22.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.54/22.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.54/22.67 c =============================================================================== 22.54/22.67 c | 0 | 1352 39261 95129 | 13087 0 nan | 0.000 % | 22.54/22.67 c =============================================================================== 22.54/22.67 c core #304 22.54/22.67 c Core size: 37 Core Weight: 1 Total Weight: -196 22.54/22.67 c Elapsed CPU time: 22.2246 s Remaining CPU time: 1777.78 s 22.64/22.75 c ============================[ Search Statistics ]============================== 22.64/22.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.64/22.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.64/22.75 c =============================================================================== 22.64/22.75 c | 0 | 1366 39262 95157 | 13087 0 nan | 0.000 % | 22.64/22.75 c =============================================================================== 22.64/22.75 c core #305 22.64/22.75 c Core size: 27 Core Weight: 1 Total Weight: -195 22.64/22.75 c Elapsed CPU time: 22.3016 s Remaining CPU time: 1777.7 s 22.74/22.82 c ============================[ Search Statistics ]============================== 22.74/22.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.74/22.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.74/22.82 c =============================================================================== 22.74/22.82 c | 0 | 1376 39263 95177 | 13087 0 nan | 0.000 % | 22.74/22.83 c =============================================================================== 22.74/22.83 c core #306 22.74/22.83 c Core size: 27 Core Weight: 1 Total Weight: -194 22.74/22.83 c Elapsed CPU time: 22.3806 s Remaining CPU time: 1777.62 s 22.84/22.90 c ============================[ Search Statistics ]============================== 22.84/22.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.84/22.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.84/22.90 c =============================================================================== 22.84/22.90 c | 0 | 1386 39264 95197 | 13088 0 nan | 0.000 % | 22.84/22.91 c =============================================================================== 22.84/22.91 c core #307 22.84/22.91 c Core size: 26 Core Weight: 1 Total Weight: -193 22.84/22.91 c Elapsed CPU time: 22.4576 s Remaining CPU time: 1777.54 s 22.84/22.98 c ============================[ Search Statistics ]============================== 22.84/22.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.84/22.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.84/22.98 c =============================================================================== 22.84/22.98 c | 0 | 1396 39265 95217 | 13088 0 nan | 0.000 % | 22.84/22.99 c =============================================================================== 22.84/22.99 c core #308 22.84/22.99 c Core size: 43 Core Weight: 1 Total Weight: -192 22.84/22.99 c Elapsed CPU time: 22.5326 s Remaining CPU time: 1777.47 s 22.94/23.06 c ============================[ Search Statistics ]============================== 22.94/23.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.94/23.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.94/23.06 c =============================================================================== 22.94/23.06 c | 0 | 1412 39266 95249 | 13088 0 nan | 0.000 % | 22.94/23.07 c =============================================================================== 22.94/23.07 c core #309 22.94/23.07 c Core size: 46 Core Weight: 1 Total Weight: -191 22.94/23.07 c Elapsed CPU time: 22.6126 s Remaining CPU time: 1777.39 s 23.04/23.14 c ============================[ Search Statistics ]============================== 23.04/23.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.04/23.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.04/23.14 c =============================================================================== 23.04/23.14 c | 0 | 1428 39267 95281 | 13089 0 nan | 0.000 % | 23.04/23.15 c =============================================================================== 23.04/23.15 c core #310 23.04/23.15 c Core size: 21 Core Weight: 1 Total Weight: -190 23.04/23.15 c Elapsed CPU time: 22.6885 s Remaining CPU time: 1777.31 s 23.13/23.22 c ============================[ Search Statistics ]============================== 23.13/23.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.13/23.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.13/23.22 c =============================================================================== 23.13/23.22 c | 0 | 1436 39268 95297 | 13089 0 nan | 0.000 % | 23.13/23.23 c =============================================================================== 23.13/23.23 c core #311 23.13/23.23 c Core size: 16 Core Weight: 1 Total Weight: -189 23.13/23.23 c Elapsed CPU time: 22.7645 s Remaining CPU time: 1777.24 s 23.13/23.30 c ============================[ Search Statistics ]============================== 23.13/23.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.13/23.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.13/23.30 c =============================================================================== 23.13/23.30 c | 0 | 1442 39269 95309 | 13089 0 nan | 0.000 % | 23.23/23.30 c =============================================================================== 23.23/23.30 c core #312 23.23/23.30 c Core size: 21 Core Weight: 1 Total Weight: -188 23.23/23.30 c Elapsed CPU time: 22.8415 s Remaining CPU time: 1777.16 s 23.23/23.38 c ============================[ Search Statistics ]============================== 23.23/23.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.23/23.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.23/23.38 c =============================================================================== 23.23/23.38 c | 0 | 1450 39270 95325 | 13090 0 nan | 0.000 % | 23.23/23.38 c =============================================================================== 23.23/23.38 c core #313 23.23/23.38 c Core size: 27 Core Weight: 1 Total Weight: -187 23.23/23.38 c Elapsed CPU time: 22.9205 s Remaining CPU time: 1777.08 s 23.33/23.45 c ============================[ Search Statistics ]============================== 23.33/23.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.33/23.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.33/23.45 c =============================================================================== 23.33/23.45 c | 0 | 1460 39271 95345 | 13090 0 nan | 0.000 % | 23.33/23.46 c =============================================================================== 23.33/23.46 c core #314 23.33/23.46 c Core size: 31 Core Weight: 1 Total Weight: -186 23.33/23.46 c Elapsed CPU time: 22.9975 s Remaining CPU time: 1777 s 23.44/23.53 c ============================[ Search Statistics ]============================== 23.44/23.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.44/23.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.44/23.53 c =============================================================================== 23.44/23.53 c | 0 | 1472 39272 95369 | 13090 0 nan | 0.000 % | 23.44/23.54 c =============================================================================== 23.44/23.54 c core #315 23.44/23.54 c Core size: 32 Core Weight: 1 Total Weight: -185 23.44/23.54 c Elapsed CPU time: 23.0735 s Remaining CPU time: 1776.93 s 23.54/23.61 c ============================[ Search Statistics ]============================== 23.54/23.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.54/23.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.54/23.61 c =============================================================================== 23.54/23.61 c | 0 | 1484 39273 95393 | 13091 0 nan | 0.000 % | 23.54/23.62 c =============================================================================== 23.54/23.62 c core #316 23.54/23.62 c Core size: 26 Core Weight: 1 Total Weight: -184 23.54/23.62 c Elapsed CPU time: 23.1515 s Remaining CPU time: 1776.85 s 23.54/23.69 c ============================[ Search Statistics ]============================== 23.54/23.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.54/23.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.54/23.69 c =============================================================================== 23.54/23.69 c | 0 | 1494 39274 95413 | 13091 0 nan | 0.000 % | 23.54/23.69 c =============================================================================== 23.54/23.69 c core #317 23.54/23.69 c Core size: 99 Core Weight: 1 Total Weight: -183 23.54/23.69 c Elapsed CPU time: 23.2285 s Remaining CPU time: 1776.77 s 23.64/23.77 c ============================[ Search Statistics ]============================== 23.64/23.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.64/23.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.64/23.77 c =============================================================================== 23.64/23.77 c | 0 | 1524 39275 95473 | 13091 0 nan | 0.000 % | 23.64/23.78 c =============================================================================== 23.64/23.78 c core #318 23.64/23.78 c Core size: 178 Core Weight: 1 Total Weight: -182 23.64/23.78 c Elapsed CPU time: 23.3125 s Remaining CPU time: 1776.69 s 23.73/23.86 c ============================[ Search Statistics ]============================== 23.73/23.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.73/23.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.73/23.86 c =============================================================================== 23.73/23.86 c | 0 | 1574 39276 95573 | 13092 0 nan | 0.000 % | 23.73/23.87 c | 100 | 1574 39276 95573 | 14401 100 21 | 92.247 % | 23.73/23.87 c =============================================================================== 23.73/23.87 c core #319 23.73/23.87 c Core size: 146 Core Weight: 1 Total Weight: -181 23.73/23.87 c Elapsed CPU time: 23.3994 s Remaining CPU time: 1776.6 s 23.83/23.95 c ============================[ Search Statistics ]============================== 23.83/23.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.83/23.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.83/23.95 c =============================================================================== 23.83/23.95 c | 0 | 1611 39277 95647 | 13092 0 nan | 0.000 % | 23.83/23.96 c | 101 | 1611 39277 95647 | 14401 101 22 | 92.080 % | 23.83/23.97 c | 253 | 1610 39277 95647 | 15841 253 40 | 92.085 % | 23.83/23.99 c | 482 | 1610 39277 95647 | 17425 482 53 | 92.085 % | 23.94/24.01 c =============================================================================== 23.94/24.01 c core #320 23.94/24.01 c Core size: 378 Core Weight: 1 Total Weight: -180 23.94/24.01 c Elapsed CPU time: 23.5374 s Remaining CPU time: 1776.46 s 23.94/24.09 c ============================[ Search Statistics ]============================== 23.94/24.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.94/24.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.94/24.09 c =============================================================================== 23.94/24.09 c | 0 | 1685 39278 95795 | 13092 0 nan | 0.000 % | 24.04/24.10 c | 100 | 1684 39278 95795 | 14401 100 17 | 91.751 % | 24.04/24.10 c =============================================================================== 24.04/24.11 c core #321 24.04/24.11 c Core size: 187 Core Weight: 1 Total Weight: -179 24.04/24.11 c Elapsed CPU time: 23.6324 s Remaining CPU time: 1776.37 s 24.04/24.18 c ============================[ Search Statistics ]============================== 24.04/24.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.04/24.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.04/24.18 c =============================================================================== 24.04/24.18 c | 0 | 1733 39279 95891 | 13093 0 nan | 0.000 % | 24.04/24.19 c | 102 | 1733 39279 95891 | 14402 102 70 | 91.531 % | 24.14/24.20 c | 252 | 1733 39279 95891 | 15842 252 47 | 91.531 % | 24.14/24.20 c =============================================================================== 24.14/24.20 c core #322 24.14/24.20 c Core size: 183 Core Weight: 1 Total Weight: -178 24.14/24.20 c Elapsed CPU time: 23.7284 s Remaining CPU time: 1776.27 s 24.14/24.28 c ============================[ Search Statistics ]============================== 24.14/24.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.14/24.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.14/24.28 c =============================================================================== 24.14/24.28 c | 0 | 1783 39280 95991 | 13093 0 nan | 0.000 % | 24.14/24.29 c | 101 | 1783 39280 95991 | 14402 101 42 | 91.308 % | 24.23/24.30 c | 252 | 1783 39280 95991 | 15842 252 32 | 91.308 % | 24.23/24.31 c | 478 | 1783 39280 95991 | 17427 478 28 | 91.308 % | 24.23/24.31 c =============================================================================== 24.23/24.31 c core #323 24.23/24.31 c Core size: 106 Core Weight: 1 Total Weight: -177 24.23/24.31 c Elapsed CPU time: 23.8364 s Remaining CPU time: 1776.16 s 24.23/24.39 c ============================[ Search Statistics ]============================== 24.23/24.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.23/24.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.23/24.39 c =============================================================================== 24.23/24.39 c | 0 | 1811 39281 96047 | 13093 0 nan | 0.000 % | 24.33/24.40 c | 101 | 1811 39281 96047 | 14403 101 63 | 91.183 % | 24.33/24.41 c =============================================================================== 24.33/24.41 c core #324 24.33/24.41 c Core size: 113 Core Weight: 1 Total Weight: -176 24.33/24.41 c Elapsed CPU time: 23.9304 s Remaining CPU time: 1776.07 s 24.33/24.48 c ============================[ Search Statistics ]============================== 24.33/24.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.33/24.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.33/24.48 c =============================================================================== 24.33/24.48 c | 0 | 1841 39282 96107 | 13094 0 nan | 0.000 % | 24.33/24.50 c | 101 | 1841 39282 96107 | 14403 101 39 | 91.050 % | 24.43/24.50 c | 252 | 1841 39282 96107 | 15843 252 32 | 91.050 % | 24.43/24.52 c | 477 | 1841 39282 96107 | 17428 477 30 | 91.050 % | 24.43/24.53 c =============================================================================== 24.43/24.53 c core #325 24.43/24.53 c Core size: 117 Core Weight: 1 Total Weight: -175 24.43/24.53 c Elapsed CPU time: 24.0453 s Remaining CPU time: 1775.95 s 24.53/24.60 c ============================[ Search Statistics ]============================== 24.53/24.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.53/24.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.53/24.60 c =============================================================================== 24.53/24.60 c | 0 | 1875 39283 96175 | 13094 0 nan | 0.000 % | 24.53/24.62 c | 103 | 1874 39283 96175 | 14403 103 18 | 90.905 % | 24.53/24.62 c =============================================================================== 24.53/24.62 c core #326 24.53/24.62 c Core size: 144 Core Weight: 1 Total Weight: -174 24.53/24.62 c Elapsed CPU time: 24.1313 s Remaining CPU time: 1775.87 s 24.53/24.69 c ============================[ Search Statistics ]============================== 24.53/24.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.53/24.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.53/24.69 c =============================================================================== 24.53/24.69 c | 0 | 1909 39284 96243 | 13094 0 nan | 0.000 % | 24.63/24.70 c | 100 | 1909 39284 96243 | 14404 100 21 | 90.750 % | 24.63/24.71 c | 250 | 1909 39284 96243 | 15844 250 24 | 90.750 % | 24.63/24.72 c =============================================================================== 24.63/24.72 c core #327 24.63/24.72 c Core size: 161 Core Weight: 1 Total Weight: -173 24.63/24.72 c Elapsed CPU time: 24.2363 s Remaining CPU time: 1775.76 s 24.74/24.80 c ============================[ Search Statistics ]============================== 24.74/24.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.74/24.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.74/24.80 c =============================================================================== 24.74/24.80 c | 0 | 1949 39285 96323 | 13095 0 nan | 0.000 % | 24.74/24.81 c | 100 | 1949 39285 96323 | 14404 100 21 | 90.575 % | 24.74/24.82 c =============================================================================== 24.74/24.82 c core #328 24.74/24.82 c Core size: 62 Core Weight: 1 Total Weight: -172 24.74/24.82 c Elapsed CPU time: 24.3223 s Remaining CPU time: 1775.68 s 24.74/24.89 c ============================[ Search Statistics ]============================== 24.74/24.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.74/24.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.74/24.89 c =============================================================================== 24.74/24.89 c | 0 | 1969 39286 96363 | 13095 0 nan | 0.000 % | 24.84/24.90 c | 102 | 1969 39286 96363 | 14404 102 43 | 90.487 % | 24.84/24.91 c | 255 | 1969 39286 96363 | 15845 255 38 | 90.487 % | 24.84/24.93 c | 481 | 1968 39286 96363 | 17429 481 39 | 90.492 % | 24.84/24.93 c =============================================================================== 24.84/24.93 c core #329 24.84/24.93 c Core size: 203 Core Weight: 1 Total Weight: -171 24.84/24.93 c Elapsed CPU time: 24.4363 s Remaining CPU time: 1775.56 s 24.93/25.01 c ============================[ Search Statistics ]============================== 24.93/25.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.93/25.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.93/25.01 c =============================================================================== 24.93/25.01 c | 0 | 2011 39287 96447 | 13095 0 nan | 0.000 % | 24.93/25.02 c | 100 | 2011 39287 96447 | 14405 100 30 | 90.304 % | 24.93/25.03 c | 253 | 2010 39287 96447 | 15845 253 26 | 90.309 % | 24.93/25.04 c | 481 | 2009 39287 96447 | 17430 481 39 | 90.313 % | 24.93/25.08 c | 818 | 2009 39287 96447 | 19173 818 66 | 90.313 % | 25.03/25.14 c | 1325 | 2008 39287 96447 | 21090 1321 94 | 90.318 % | 25.14/25.26 c | 2085 | 2008 39287 96447 | 23199 2081 105 | 90.318 % | 25.34/25.48 c | 3226 | 2004 39287 96447 | 25519 3197 126 | 90.338 % | 25.44/25.59 c =============================================================================== 25.53/25.62 c core #330 25.53/25.62 c Core size: 513 Core Weight: 1 Total Weight: -170 25.53/25.62 c Elapsed CPU time: 25.1122 s Remaining CPU time: 1774.89 s 25.64/25.70 c ============================[ Search Statistics ]============================== 25.64/25.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.64/25.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.64/25.70 c =============================================================================== 25.64/25.70 c | 0 | 2095 39288 96615 | 13096 0 nan | 0.000 % | 25.64/25.72 c | 101 | 2095 39288 96615 | 14405 101 27 | 89.939 % | 25.64/25.72 c | 253 | 2095 39288 96615 | 15846 253 26 | 89.939 % | 25.64/25.74 c | 478 | 2094 39288 96615 | 17430 478 27 | 89.944 % | 25.64/25.76 c | 817 | 2092 39288 96615 | 19173 817 30 | 89.954 % | 25.64/25.78 c =============================================================================== 25.64/25.78 c core #331 25.64/25.78 c Core size: 324 Core Weight: 1 Total Weight: -169 25.64/25.78 c Elapsed CPU time: 25.2662 s Remaining CPU time: 1774.73 s 25.73/25.86 c ============================[ Search Statistics ]============================== 25.73/25.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.73/25.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.73/25.86 c =============================================================================== 25.73/25.86 c | 0 | 2156 39289 96737 | 13096 0 nan | 0.000 % | 25.73/25.87 c | 100 | 2156 39289 96737 | 14405 100 12 | 89.677 % | 25.73/25.88 c | 251 | 2146 39289 96737 | 15846 251 23 | 90.041 % | 25.73/25.88 c =============================================================================== 25.73/25.89 c core #332 25.73/25.89 c Core size: 172 Core Weight: 1 Total Weight: -168 25.73/25.89 c Elapsed CPU time: 25.3671 s Remaining CPU time: 1774.63 s 25.83/25.96 c ============================[ Search Statistics ]============================== 25.83/25.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.83/25.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.83/25.96 c =============================================================================== 25.83/25.96 c | 0 | 2198 39290 96821 | 13096 0 nan | 0.000 % | 25.83/25.97 c | 101 | 2198 39290 96821 | 14406 101 32 | 89.497 % | 25.83/25.98 c | 251 | 2198 39290 96821 | 15846 251 31 | 89.497 % | 25.93/26.00 c | 476 | 2198 39290 96821 | 17431 476 39 | 89.497 % | 25.93/26.00 c =============================================================================== 25.93/26.01 c core #333 25.93/26.01 c Core size: 208 Core Weight: 1 Total Weight: -167 25.93/26.01 c Elapsed CPU time: 25.4881 s Remaining CPU time: 1774.51 s 25.93/26.08 c ============================[ Search Statistics ]============================== 25.93/26.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.93/26.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.93/26.08 c =============================================================================== 25.93/26.08 c | 0 | 2236 39291 96897 | 13097 0 nan | 0.000 % | 25.93/26.09 c | 100 | 2236 39291 96897 | 14406 100 34 | 89.335 % | 26.03/26.10 c | 250 | 2236 39291 96897 | 15847 250 28 | 89.335 % | 26.03/26.11 c | 477 | 2236 39291 96897 | 17432 477 22 | 89.335 % | 26.03/26.13 c | 814 | 2236 39291 96897 | 19175 814 30 | 89.335 % | 26.03/26.17 c | 1321 | 2236 39291 96897 | 21092 1321 35 | 89.335 % | 26.14/26.28 c | 2082 | 2236 39291 96897 | 23202 2082 60 | 89.335 % | 26.44/26.53 c | 3223 | 2236 39291 96897 | 25522 3223 104 | 89.335 % | 26.53/26.61 c =============================================================================== 26.53/26.64 c core #334 26.53/26.64 c Core size: 620 Core Weight: 1 Total Weight: -166 26.53/26.64 c Elapsed CPU time: 26.109 s Remaining CPU time: 1773.89 s 26.64/26.72 c ============================[ Search Statistics ]============================== 26.64/26.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.64/26.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.64/26.72 c =============================================================================== 26.64/26.72 c | 0 | 2325 39292 97075 | 13097 0 nan | 0.000 % | 26.64/26.73 c | 100 | 2325 39292 97075 | 14407 100 18 | 88.957 % | 26.64/26.73 c | 250 | 2325 39292 97075 | 15847 250 15 | 88.957 % | 26.64/26.74 c | 475 | 2325 39292 97075 | 17432 475 15 | 88.957 % | 26.64/26.76 c | 813 | 2325 39292 97075 | 19175 813 16 | 88.957 % | 26.64/26.80 c | 1320 | 2325 39292 97075 | 21093 1320 22 | 88.957 % | 26.74/26.81 c =============================================================================== 26.74/26.82 c core #335 26.74/26.82 c Core size: 498 Core Weight: 1 Total Weight: -165 26.74/26.82 c Elapsed CPU time: 26.282 s Remaining CPU time: 1773.72 s 26.83/26.90 c ============================[ Search Statistics ]============================== 26.83/26.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.83/26.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.83/26.90 c =============================================================================== 26.83/26.90 c | 0 | 2395 39293 97215 | 13097 0 nan | 0.000 % | 26.83/26.91 c | 101 | 2395 39293 97215 | 14407 101 13 | 88.662 % | 26.83/26.92 c | 252 | 2395 39293 97215 | 15848 252 20 | 88.662 % | 26.83/26.93 c | 477 | 2395 39293 97215 | 17432 477 20 | 88.662 % | 26.83/26.95 c | 814 | 2395 39293 97215 | 19176 814 30 | 88.662 % | 26.83/26.98 c | 1320 | 2395 39293 97215 | 21093 1320 29 | 88.662 % | 26.93/27.05 c | 2081 | 2395 39293 97215 | 23203 2081 34 | 88.662 % | 27.03/27.17 c =============================================================================== 27.03/27.19 c core #336 27.03/27.19 c Core size: 829 Core Weight: 1 Total Weight: -164 27.03/27.19 c Elapsed CPU time: 26.638 s Remaining CPU time: 1773.36 s 27.13/27.27 c ============================[ Search Statistics ]============================== 27.13/27.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.13/27.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.13/27.27 c =============================================================================== 27.13/27.27 c | 0 | 2483 39294 97391 | 13098 0 nan | 0.000 % | 27.13/27.28 c | 100 | 2483 39294 97391 | 14407 100 30 | 88.294 % | 27.13/27.29 c | 251 | 2483 39294 97391 | 15848 251 23 | 88.294 % | 27.24/27.30 c | 477 | 2483 39294 97391 | 17433 477 21 | 88.294 % | 27.24/27.32 c | 814 | 2483 39294 97391 | 19176 814 28 | 88.294 % | 27.24/27.36 c | 1320 | 2483 39294 97391 | 21094 1320 36 | 88.294 % | 27.34/27.44 c | 2080 | 2483 39294 97391 | 23203 2080 61 | 88.294 % | 27.43/27.60 c | 3219 | 2483 39294 97391 | 25524 3219 68 | 88.294 % | 27.64/27.75 c =============================================================================== 27.64/27.79 c core #337 27.64/27.79 c Core size: 789 Core Weight: 1 Total Weight: -163 27.64/27.79 c Elapsed CPU time: 27.2209 s Remaining CPU time: 1772.78 s 27.74/27.87 c ============================[ Search Statistics ]============================== 27.74/27.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.74/27.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.74/27.87 c =============================================================================== 27.74/27.87 c | 0 | 2575 39295 97575 | 13098 0 nan | 0.000 % | 27.74/27.88 c | 102 | 2575 39295 97575 | 14408 102 51 | 87.913 % | 27.74/27.89 c | 252 | 2575 39295 97575 | 15848 252 32 | 87.913 % | 27.83/27.90 c | 477 | 2575 39295 97575 | 17433 477 26 | 87.913 % | 27.83/27.92 c | 818 | 2575 39295 97575 | 19177 818 27 | 87.913 % | 27.83/27.97 c | 1328 | 2575 39295 97575 | 21094 1328 46 | 87.913 % | 27.93/28.04 c | 2087 | 2575 39295 97575 | 23204 2087 47 | 87.913 % | 28.03/28.16 c | 3227 | 2575 39295 97575 | 25524 3227 54 | 87.913 % | 28.34/28.50 c | 4936 | 2575 39295 97575 | 28077 4936 81 | 87.913 % | 29.23/29.30 c | 7498 | 2575 39295 97575 | 30885 7498 106 | 87.913 % | 30.53/30.65 c | 11344 | 2575 39295 97575 | 33973 11344 118 | 87.913 % | 33.82/33.97 c =============================================================================== 34.03/34.18 c core #338 34.03/34.18 c Core size: 731 Core Weight: 1 Total Weight: -162 34.03/34.18 c Elapsed CPU time: 33.5529 s Remaining CPU time: 1766.45 s 34.12/34.28 c ============================[ Search Statistics ]============================== 34.12/34.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.12/34.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.12/34.28 c =============================================================================== 34.12/34.28 c | 0 | 2655 39296 97735 | 13098 0 nan | 0.000 % | 34.23/34.30 c | 100 | 2655 39296 97735 | 14408 100 34 | 87.584 % | 34.23/34.30 c | 250 | 2655 39296 97735 | 15849 250 25 | 87.584 % | 34.23/34.32 c | 475 | 2655 39296 97735 | 17434 475 22 | 87.584 % | 34.23/34.33 c | 817 | 2655 39296 97735 | 19177 817 26 | 87.584 % | 34.23/34.37 c | 1323 | 2655 39296 97735 | 21095 1323 36 | 87.584 % | 34.32/34.46 c | 2087 | 2655 39296 97735 | 23205 2087 57 | 87.584 % | 34.43/34.56 c | 3230 | 2655 39296 97735 | 25525 3230 61 | 87.584 % | 34.73/34.88 c | 4938 | 2655 39296 97735 | 28078 4938 98 | 87.584 % | 35.33/35.46 c | 7500 | 2655 39296 97735 | 30885 7500 111 | 87.584 % | 35.72/35.83 c =============================================================================== 35.82/35.92 c core #339 35.82/35.92 c Core size: 779 Core Weight: 1 Total Weight: -161 35.82/35.92 c Elapsed CPU time: 35.2656 s Remaining CPU time: 1764.73 s 35.92/36.01 c ============================[ Search Statistics ]============================== 35.92/36.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.92/36.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.92/36.01 c =============================================================================== 35.92/36.01 c | 0 | 2739 39297 97903 | 13099 0 nan | 0.000 % | 35.92/36.03 c | 100 | 2739 39297 97903 | 14408 100 35 | 87.241 % | 35.92/36.03 c | 251 | 2739 39297 97903 | 15849 251 25 | 87.241 % | 35.92/36.05 c | 479 | 2739 39297 97903 | 17434 479 25 | 87.241 % | 35.92/36.06 c | 819 | 2739 39297 97903 | 19178 819 32 | 87.241 % | 35.92/36.10 c | 1325 | 2739 39297 97903 | 21096 1325 31 | 87.241 % | 36.02/36.17 c | 2086 | 2739 39297 97903 | 23205 2086 50 | 87.241 % | 36.22/36.34 c | 3225 | 2739 39297 97903 | 25526 3225 76 | 87.241 % | 36.52/36.69 c | 4933 | 2739 39297 97903 | 28078 4933 104 | 87.241 % | 36.92/37.03 c | 7495 | 2739 39297 97903 | 30886 7495 88 | 87.241 % | 37.72/37.84 c | 11341 | 2739 39297 97903 | 33975 11341 78 | 87.241 % | 39.92/40.07 c | 17107 | 2739 39297 97903 | 37372 17107 88 | 87.241 % | 43.92/44.02 c | 25759 | 2739 39297 97903 | 41110 25759 90 | 87.241 % | 45.72/45.80 c =============================================================================== 45.82/45.98 c core #340 45.82/45.98 c Core size: 981 Core Weight: 1 Total Weight: -160 45.82/45.98 c Elapsed CPU time: 45.2181 s Remaining CPU time: 1754.78 s 45.91/46.10 c ============================[ Search Statistics ]============================== 45.91/46.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 45.91/46.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 45.91/46.10 c =============================================================================== 45.91/46.10 c | 0 | 2846 39298 98117 | 13099 0 nan | 0.000 % | 46.02/46.12 c | 100 | 2846 39298 98117 | 14409 100 51 | 86.809 % | 46.02/46.12 c | 250 | 2846 39298 98117 | 15850 250 33 | 86.809 % | 46.02/46.14 c | 476 | 2846 39298 98117 | 17435 476 29 | 86.809 % | 46.02/46.15 c | 816 | 2846 39298 98117 | 19178 816 25 | 86.809 % | 46.02/46.18 c | 1324 | 2846 39298 98117 | 21096 1324 28 | 86.809 % | 46.13/46.23 c | 2087 | 2846 39298 98117 | 23206 2087 32 | 86.809 % | 46.22/46.35 c | 3226 | 2846 39298 98117 | 25526 3226 41 | 86.809 % | 46.42/46.59 c | 4935 | 2846 39298 98117 | 28079 4935 54 | 86.809 % | 46.91/47.02 c | 7497 | 2846 39298 98117 | 30887 7497 66 | 86.809 % | 48.32/48.43 c | 11342 | 2846 39298 98117 | 33976 11342 104 | 86.809 % | 51.22/51.37 c | 17108 | 2846 39298 98117 | 37373 17108 126 | 86.809 % | 59.21/59.33 c | 25757 | 2846 39298 98117 | 41111 25757 215 | 86.809 % | 79.80/79.92 c | 38731 | 2846 39298 98117 | 45222 38731 271 | 86.809 % | 131.38/131.56 c | 58193 | 2846 39298 98117 | 49744 58193 317 | 86.809 % | 168.16/168.31 c =============================================================================== 169.55/169.78 c core #341 169.55/169.78 c Core size: 1119 Core Weight: 1 Total Weight: -159 169.55/169.78 c Elapsed CPU time: 168.557 s Remaining CPU time: 1631.44 s 169.75/169.93 c ============================[ Search Statistics ]============================== 169.75/169.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 169.75/169.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 169.75/169.93 c =============================================================================== 169.75/169.93 c | 0 | 2948 39299 98321 | 13099 0 nan | 0.000 % | 169.75/169.96 c | 100 | 2948 39299 98321 | 14409 100 44 | 86.400 % | 169.75/169.97 c | 250 | 2948 39299 98321 | 15850 250 34 | 86.400 % | 169.75/169.98 c | 475 | 2948 39299 98321 | 17435 475 29 | 86.400 % | 169.85/170.00 c | 814 | 2948 39299 98321 | 19179 814 30 | 86.400 % | 169.85/170.05 c | 1320 | 2948 39299 98321 | 21097 1320 33 | 86.400 % | 169.95/170.12 c | 2079 | 2948 39299 98321 | 23206 2079 44 | 86.400 % | 170.05/170.25 c | 3221 | 2948 39299 98321 | 25527 3221 59 | 86.400 % | 170.35/170.59 c | 4929 | 2948 39299 98321 | 28080 4929 98 | 86.400 % | 171.05/171.20 c | 7491 | 2948 39299 98321 | 30888 7491 112 | 86.400 % | 173.35/173.52 c | 11337 | 2948 39299 98321 | 33977 11337 209 | 86.400 % | 179.14/179.35 c | 17107 | 2948 39299 98321 | 37374 17107 258 | 86.400 % | 190.44/190.66 c | 25756 | 2948 39299 98321 | 41112 25756 288 | 86.400 % | 210.73/210.99 c | 38731 | 2948 39299 98321 | 45223 38731 279 | 86.400 % | 262.80/263.08 c | 58192 | 2948 39299 98321 | 49745 58192 344 | 86.400 % | 311.29/311.50 c | 87387 | 2948 39299 98321 | 54720 32626 274 | 86.400 % | 368.66/368.91 c | 131177 | 2948 39299 98321 | 60192 17376 150 | 86.400 % | 463.31/463.62 c | 196861 | 2948 39299 98321 | 66211 20395 281 | 86.400 % | 615.84/616.27 c | 295390 | 2948 39299 98321 | 72833 50085 175 | 86.400 % | 878.74/879.25 c | 443181 | 2948 39299 98321 | 80116 48693 209 | 86.400 % | 1401.09/1401.90 c | 664864 | 2948 39299 98321 | 88128 27074 419 | 86.400 % |
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-1875362-1245202292/watcher-1875362-1245202292 -o /tmp/evaluation-result-1875362-1245202292/solver-1875362-1245202292 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875362-1245202292.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/65 12800 /proc/meminfo: memFree=1803952/2055920 swapFree=4180892/4192956 [pid=12800] ppid=12798 vsize=4384 CPUtime=0 /proc/12800/stat : 12800 (wbo) R 12798 12800 11274 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 187827251 4489216 267 1992294400 134512640 135709839 4294956240 18446744073709551615 134570447 0 0 4096 3 0 0 0 17 0 0 0 /proc/12800/statm: 1096 267 126 292 0 406 0 [startup+0.031739 s] /proc/loadavg: 1.00 1.00 1.00 3/65 12800 /proc/meminfo: memFree=1803952/2055920 swapFree=4180892/4192956 [pid=12800] ppid=12798 vsize=6792 CPUtime=0.02 /proc/12800/stat : 12800 (wbo) R 12798 12800 11274 0 -1 4194304 862 0 0 0 2 0 0 0 18 0 1 0 187827251 6955008 846 1992294400 134512640 135709839 4294956240 18446744073709551615 134542992 0 0 4096 3 0 0 0 17 0 0 0 /proc/12800/statm: 1698 846 157 292 0 1008 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 6792 [startup+0.101746 s] /proc/loadavg: 1.00 1.00 1.00 3/65 12800 /proc/meminfo: memFree=1803952/2055920 swapFree=4180892/4192956 [pid=12800] ppid=12798 vsize=8816 CPUtime=0.09 /proc/12800/stat : 12800 (wbo) R 12798 12800 11274 0 -1 4194304 1447 0 0 0 9 0 0 0 18 0 1 0 187827251 9027584 1431 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 0 0 0 /proc/12800/statm: 2204 1431 268 292 0 1514 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8816 [startup+0.301769 s] /proc/loadavg: 1.00 1.00 1.00 3/65 12800 /proc/meminfo: memFree=1803952/2055920 swapFree=4180892/4192956 [pid=12800] ppid=12798 vsize=15752 CPUtime=0.29 /proc/12800/stat : 12800 (wbo) R 12798 12800 11274 0 -1 4194304 4112 0 0 0 28 1 0 0 19 0 1 0 187827251 16130048 3366 1992294400 134512640 135709839 4294956240 18446744073709551615 134972065 0 0 4096 3 0 0 0 17 0 0 0 /proc/12800/statm: 3938 3366 134 292 0 3643 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15752 [startup+0.701812 s] /proc/loadavg: 1.00 1.00 1.00 3/65 12800 /proc/meminfo: memFree=1803952/2055920 swapFree=4180892/4192956 [pid=12800] ppid=12798 vsize=23452 CPUtime=0.69 /proc/12800/stat : 12800 (wbo) R 12798 12800 11274 0 -1 4194304 6403 0 0 0 67 2 0 0 23 0 1 0 187827251 24014848 5354 1992294400 134512640 135709839 4294956240 18446744073709551615 134518513 0 0 4096 3 0 0 0 17 0 0 0 /proc/12800/statm: 5863 5354 134 292 0 5568 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 23452 [startup+1.5019 s] /proc/loadavg: 1.00 1.00 1.00 2/66 12801 /proc/meminfo: memFree=1777384/2055920 swapFree=4180892/4192956 [pid=12800] ppid=12798 vsize=38164 CPUtime=1.5 /proc/12800/stat : 12800 (wbo) R 12798 12800 11274 0 -1 4194304 10089 0 0 0 146 4 0 0 25 0 1 0 187827251 39079936 9040 1992294400 134512640 135709839 4294956240 18446744073709551615 134606857 0 0 4096 3 0 0 0 17 0 0 0 /proc/12800/statm: 9541 9040 134 292 0 9246 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 38164 [startup+3.10108 s] /proc/loadavg: 1.00 1.00 1.00 2/66 12801 /proc/meminfo: memFree=1757096/2055920 swapFree=4180892/4192956 [pid=12800] ppid=12798 vsize=66672 CPUtime=3.09 /proc/12800/stat : 12800 (wbo) R 12798 12800 11274 0 -1 4194304 17213 0 0 0 303 6 0 0 20 0 1 0 187827251 68272128 16164 1992294400 134512640 135709839 4294956240 18446744073709551615 135166305 0 0 4096 3 0 0 0 17 0 0 0 /proc/12800/statm: 16668 16164 134 292 0 16373 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 66672 [startup+6.30243 s] /proc/loadavg: 1.00 1.00 1.00 2/66 12801 /proc/meminfo: memFree=1698600/2055920 swapFree=4180892/4192956 [pid=12800] ppid=12798 vsize=123064 CPUtime=6.29 /proc/12800/stat : 12800 (wbo) R 12798 12800 11274 0 -1 4194304 31322 0 0 0 618 11 0 0 25 0 1 0 187827251 126017536 30273 1992294400 134512640 135709839 4294956240 18446744073709551615 135166305 0 0 4096 3 0 0 0 17 0 0 0 /proc/12800/statm: 30766 30273 134 292 0 30471 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 123064 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/66 12801 /proc/meminfo: memFree=1585704/2055920 swapFree=4180892/4192956 [pid=12800] ppid=12798 vsize=232460 CPUtime=12.68 /proc/12800/stat : 12800 (wbo) R 12798 12800 11274 0 -1 4194304 58650 0 0 0 1247 21 0 0 25 0 1 0 187827251 238039040 57601 1992294400 134512640 135709839 4294956240 18446744073709551615 134570447 0 0 4096 3 0 0 0 17 0 0 0 /proc/12800/statm: 58115 57601 134 292 0 57820 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 232460 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/66 12801 /proc/meminfo: memFree=1376808/2055920 swapFree=4180892/4192956 [pid=12800] ppid=12798 vsize=428644 CPUtime=25.44 /proc/12800/stat : 12800 (wbo) R 12798 12800 11274 0 -1 4194304 108899 0 0 0 2499 45 0 0 25 0 1 0 187827251 438931456 106585 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0 /proc/12800/statm: 107161 106585 136 292 0 106866 0 Current children cumulated CPU time (s) 25.44 Current children cumulated vsize (KiB) 428644 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 1.00 2/66 12801 /proc/meminfo: memFree=1338280/2055920 swapFree=4180892/4192956 [pid=12800] ppid=12798 vsize=467108 CPUtime=51.01 /proc/12800/stat : 12800 (wbo) R 12798 12800 11274 0 -1 4194304 121197 0 0 0 5027 74 0 0 25 0 1 0 187827251 478318592 116227 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/12800/statm: 116777 116227 136 292 0 116482 0 Current children cumulated CPU time (s) 51.01 Current children cumulated vsize (KiB) 467108 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/66 12801 /proc/meminfo: memFree=1293160/2055920 swapFree=4180892/4192956 [pid=12800] ppid=12798 vsize=512232 CPUtime=102.2 /proc/12800/stat : 12800 (wbo) R 12798 12800 11274 0 -1 4194304 132481 0 0 0 10127 93 0 0 25 0 1 0 187827251 524525568 127511 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0 /proc/12800/statm: 128058 127511 136 292 0 127763 0 Current children cumulated CPU time (s) 102.2 Current children cumulated vsize (KiB) 512232 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 12801 /proc/meminfo: memFree=1256616/2055920 swapFree=4180892/4192956 [pid=12800] ppid=12798 vsize=549304 CPUtime=162.16 /proc/12800/stat : 12800 (wbo) R 12798 12800 11274 0 -1 4194304 141679 0 0 0 16109 107 0 0 25 0 1 0 187827251 562487296 136709 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/12800/statm: 137326 136709 136 292 0 137031 0 Current children cumulated CPU time (s) 162.16 Current children cumulated vsize (KiB) 549304 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 12801 /proc/meminfo: memFree=1223400/2055920 swapFree=4180892/4192956 [pid=12800] ppid=12798 vsize=582140 CPUtime=222.13 /proc/12800/stat : 12800 (wbo) R 12798 12800 11274 0 -1 4194304 150057 0 0 0 22089 124 0 0 25 0 1 0 187827251 596111360 144960 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/12800/statm: 145535 144960 136 292 0 145240 0 Current children cumulated CPU time (s) 222.13 Current children cumulated vsize (KiB) 582140 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 12801 /proc/meminfo: memFree=1183528/2055920 swapFree=4180892/4192956 [pid=12800] ppid=12798 vsize=622032 CPUtime=282.1 /proc/12800/stat : 12800 (wbo) R 12798 12800 11274 0 -1 4194304 160002 0 0 0 28072 138 0 0 25 0 1 0 187827251 636960768 154905 1992294400 134512640 135709839 4294956240 18446744073709551615 134574272 0 0 4096 3 0 0 0 17 0 0 0 /proc/12800/statm: 155508 154905 136 292 0 155213 0 Current children cumulated CPU time (s) 282.1 Current children cumulated vsize (KiB) 622032 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 12801 /proc/meminfo: memFree=1123496/2055920 swapFree=4180892/4192956 [pid=12800] ppid=12798 vsize=681960 CPUtime=342.07 /proc/12800/stat : 12800 (wbo) R 12798 12800 11274 0 -1 4194304 174969 0 0 0 34046 161 0 0 25 0 1 0 187827251 698327040 169872 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0 /proc/12800/statm: 170490 169872 136 292 0 170195 0 Current children cumulated CPU time (s) 342.07 Current children cumulated vsize (KiB) 681960 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 12801 /proc/meminfo: memFree=1060136/2055920 swapFree=4180892/4192956 [pid=12800] ppid=12798 vsize=745396 CPUtime=402.04 /proc/12800/stat : 12800 (wbo) R 12798 12800 11274 0 -1 4194304 190823 0 0 0 40018 186 0 0 25 0 1 0 187827251 763285504 185726 1992294400 134512640 135709839 4294956240 18446744073709551615 134574184 0 0 4096 3 0 0 0 17 0 0 0 /proc/12800/statm: 186349 185726 136 292 0 186054 0 Current children cumulated CPU time (s) 402.04 Current children cumulated vsize (KiB) 745396 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 12801 /proc/meminfo: memFree=1013096/2055920 swapFree=4180892/4192956 [pid=12800] ppid=12798 vsize=793224 CPUtime=462.02 /proc/12800/stat : 12800 (wbo) R 12798 12800 11274 0 -1 4194304 202784 0 0 0 45998 204 0 0 25 0 1 0 187827251 812261376 197687 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 0 0 0 /proc/12800/statm: 198306 197687 136 292 0 198011 0 Current children cumulated CPU time (s) 462.02 Current children cumulated vsize (KiB) 793224 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 12801 /proc/meminfo: memFree=967848/2055920 swapFree=4180892/4192956 [pid=12800] ppid=12798 vsize=837676 CPUtime=521.99 /proc/12800/stat : 12800 (wbo) R 12798 12800 11274 0 -1 4194304 213867 0 0 0 51971 228 0 0 25 0 1 0 187827251 857780224 208770 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/12800/statm: 209419 208770 136 292 0 209124 0 Current children cumulated CPU time (s) 521.99 Current children cumulated vsize (KiB) 837676 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 12801 /proc/meminfo: memFree=933224/2055920 swapFree=4180892/4192956 [pid=12800] ppid=12798 vsize=872056 CPUtime=581.96 /proc/12800/stat : 12800 (wbo) R 12798 12800 11274 0 -1 4194304 222421 0 0 0 57950 246 0 0 25 0 1 0 187827251 892985344 217324 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/12800/statm: 218014 217324 136 292 0 217719 0 Current children cumulated CPU time (s) 581.96 Current children cumulated vsize (KiB) 872056 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 12801 /proc/meminfo: memFree=898984/2055920 swapFree=4180892/4192956 [pid=12800] ppid=12798 vsize=906008 CPUtime=641.94 /proc/12800/stat : 12800 (wbo) R 12798 12800 11274 0 -1 4194304 230905 0 0 0 63930 264 0 0 25 0 1 0 187827251 927752192 225808 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/12800/statm: 226502 225808 136 292 0 226207 0 Current children cumulated CPU time (s) 641.94 Current children cumulated vsize (KiB) 906008 [startup+702.302 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.09 1.05 1.00 2/66 12801 /proc/meminfo: memFree=736424/2055920 swapFree=4180892/4192956 [pid=12800] ppid=12798 vsize=1068956 CPUtime=941.82 /proc/12800/stat : 12800 (wbo) R 12798 12800 11274 0 -1 4194304 271541 0 0 0 93836 346 0 0 25 0 1 0 187827251 1094610944 266444 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 0 0 0 /proc/12800/statm: 267239 266444 136 292 0 266944 0 Current children cumulated CPU time (s) 941.82 Current children cumulated vsize (KiB) 1068956 [startup+1002.3 s] /proc/loadavg: 1.08 1.05 1.00 2/66 12801 /proc/meminfo: memFree=702312/2055920 swapFree=4180892/4192956 [pid=12800] ppid=12798 vsize=1102844 CPUtime=1001.79 /proc/12800/stat : 12800 (wbo) R 12798 12800 11274 0 -1 4194304 279997 0 0 0 99822 357 0 0 25 0 1 0 187827251 1129312256 274900 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/12800/statm: 275711 274900 136 292 0 275416 0 Current children cumulated CPU time (s) 1001.79 Current children cumulated vsize (KiB) 1102844 [startup+1062.3 s] /proc/loadavg: 1.08 1.06 1.00 2/66 12801 /proc/meminfo: memFree=625704/2055920 swapFree=4180892/4192956 [pid=12800] ppid=12798 vsize=1179904 CPUtime=1061.76 /proc/12800/stat : 12800 (wbo) R 12798 12800 11274 0 -1 4194304 299229 0 0 0 105796 380 0 0 25 0 1 0 187827251 1208221696 294132 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/12800/statm: 294976 294132 136 292 0 294681 0 Current children cumulated CPU time (s) 1061.76 Current children cumulated vsize (KiB) 1179904 [startup+1122.3 s] /proc/loadavg: 1.07 1.06 1.00 2/66 12801 /proc/meminfo: memFree=566568/2055920 swapFree=4180892/4192956 [pid=12800] ppid=12798 vsize=1238792 CPUtime=1121.74 /proc/12800/stat : 12800 (wbo) R 12798 12800 11274 0 -1 4194304 313909 0 0 0 111775 399 0 0 25 0 1 0 187827251 1268523008 308812 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 0 0 0 /proc/12800/statm: 309698 308812 136 292 0 309403 0 Current children cumulated CPU time (s) 1121.74 Current children cumulated vsize (KiB) 1238792 [startup+1182.3 s] /proc/loadavg: 1.10 1.07 1.01 2/66 12801 /proc/meminfo: memFree=508904/2055920 swapFree=4180892/4192956 [pid=12800] ppid=12798 vsize=1296572 CPUtime=1181.7 /proc/12800/stat : 12800 (wbo) R 12798 12800 11274 0 -1 4194304 328354 0 0 0 117757 413 0 0 25 0 1 0 187827251 1327689728 323257 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 0 0 0 /proc/12800/statm: 324143 323257 136 292 0 323848 0 Current children cumulated CPU time (s) 1181.7 Current children cumulated vsize (KiB) 1296572 [startup+1242.3 s] /proc/loadavg: 1.07 1.07 1.01 2/66 12801 /proc/meminfo: memFree=440360/2055920 swapFree=4180892/4192956 [pid=12800] ppid=12798 vsize=1364688 CPUtime=1241.66 /proc/12800/stat : 12800 (wbo) R 12798 12800 11274 0 -1 4194304 345399 0 0 0 123736 430 0 0 25 0 1 0 187827251 1397440512 340302 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/12800/statm: 341172 340302 136 292 0 340877 0 Current children cumulated CPU time (s) 1241.66 Current children cumulated vsize (KiB) 1364688 [startup+1302.3 s] /proc/loadavg: 1.10 1.09 1.01 2/66 12803 /proc/meminfo: memFree=369384/2055920 swapFree=4180892/4192956 [pid=12800] ppid=12798 vsize=1434928 CPUtime=1301.65 /proc/12800/stat : 12800 (wbo) R 12798 12800 11274 0 -1 4194304 362949 0 0 0 129714 451 0 0 25 0 1 0 187827251 1469366272 357852 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/12800/statm: 358732 357852 136 292 0 358437 0 Current children cumulated CPU time (s) 1301.65 Current children cumulated vsize (KiB) 1434928 [startup+1362.3 s] /proc/loadavg: 1.07 1.08 1.01 2/66 12803 /proc/meminfo: memFree=312168/2055920 swapFree=4180892/4192956 [pid=12800] ppid=12798 vsize=1492892 CPUtime=1361.61 /proc/12800/stat : 12800 (wbo) R 12798 12800 11274 0 -1 4194304 377438 0 0 0 135694 467 0 0 25 0 1 0 187827251 1528721408 372341 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/12800/statm: 373223 372341 136 292 0 372928 0 Current children cumulated CPU time (s) 1361.61 Current children cumulated vsize (KiB) 1492892 [startup+1422.31 s] /proc/loadavg: 1.10 1.08 1.01 2/66 12803 /proc/meminfo: memFree=249128/2055920 swapFree=4180892/4192956 [pid=12800] ppid=12798 vsize=1555356 CPUtime=1421.59 /proc/12800/stat : 12800 (wbo) R 12798 12800 11274 0 -1 4194304 393021 0 0 0 141672 487 0 0 25 0 1 0 187827251 1592684544 387924 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/12800/statm: 388839 387924 136 292 0 388544 0 Current children cumulated CPU time (s) 1421.59 Current children cumulated vsize (KiB) 1555356 [startup+1482.3 s] /proc/loadavg: 1.03 1.06 1.00 2/66 12803 /proc/meminfo: memFree=216936/2055920 swapFree=4180892/4192956 [pid=12800] ppid=12798 vsize=1587800 CPUtime=1481.57 /proc/12800/stat : 12800 (wbo) R 12798 12800 11274 0 -1 4194304 401143 0 0 0 147656 501 0 0 25 0 1 0 187827251 1625907200 396046 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/12800/statm: 396950 396046 136 292 0 396655 0 Current children cumulated CPU time (s) 1481.57 Current children cumulated vsize (KiB) 1587800 [startup+1542.3 s] /proc/loadavg: 1.01 1.05 1.00 2/66 12803 /proc/meminfo: memFree=187816/2055920 swapFree=4180892/4192956 [pid=12800] ppid=12798 vsize=1616636 CPUtime=1541.54 /proc/12800/stat : 12800 (wbo) R 12798 12800 11274 0 -1 4194304 408348 0 0 0 153643 511 0 0 25 0 1 0 187827251 1655435264 403251 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0 /proc/12800/statm: 404159 403251 136 292 0 403864 0 Current children cumulated CPU time (s) 1541.54 Current children cumulated vsize (KiB) 1616636 [startup+1602.3 s] /proc/loadavg: 1.00 1.04 1.00 2/66 12803 /proc/meminfo: memFree=159400/2055920 swapFree=4180892/4192956 [pid=12800] ppid=12798 vsize=1645400 CPUtime=1601.52 /proc/12800/stat : 12800 (wbo) R 12798 12800 11274 0 -1 4194304 415539 0 0 0 159630 522 0 0 25 0 1 0 187827251 1684889600 410442 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/12800/statm: 411350 410442 136 292 0 411055 0 Current children cumulated CPU time (s) 1601.52 Current children cumulated vsize (KiB) 1645400 [startup+1662.3 s] /proc/loadavg: 1.00 1.03 1.00 2/66 12803 /proc/meminfo: memFree=133352/2055920 swapFree=4180892/4192956 [pid=12800] ppid=12798 vsize=1671076 CPUtime=1661.49 /proc/12800/stat : 12800 (wbo) R 12798 12800 11274 0 -1 4194304 421907 0 0 0 165617 532 0 0 25 0 1 0 187827251 1711181824 416810 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0 /proc/12800/statm: 417769 416810 136 292 0 417474 0 Current children cumulated CPU time (s) 1661.49 Current children cumulated vsize (KiB) 1671076 [startup+1722.3 s] /proc/loadavg: 1.00 1.02 1.00 2/66 12803 /proc/meminfo: memFree=61864/2055920 swapFree=4180892/4192956 [pid=12800] ppid=12798 vsize=1742948 CPUtime=1721.47 /proc/12800/stat : 12800 (wbo) R 12798 12800 11274 0 -1 4194304 439880 0 0 0 171596 551 0 0 25 0 1 0 187827251 1784778752 434783 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 0 0 0 /proc/12800/statm: 435737 434783 136 292 0 435442 0 Current children cumulated CPU time (s) 1721.47 Current children cumulated vsize (KiB) 1742948 [startup+1782.3 s] /proc/loadavg: 1.00 1.02 1.00 2/66 12809 /proc/meminfo: memFree=16104/2055920 swapFree=4180892/4192956 [pid=12800] ppid=12798 vsize=1799484 CPUtime=1781.44 /proc/12800/stat : 12800 (wbo) R 12798 12800 11274 0 -1 4194304 454003 0 0 0 177576 568 0 0 25 0 1 0 187827251 1842671616 448906 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/12800/statm: 449871 448906 136 292 0 449576 0 Current children cumulated CPU time (s) 1781.44 Current children cumulated vsize (KiB) 1799484 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.9 s] /proc/loadavg: 1.00 1.01 1.00 2/66 12809 /proc/meminfo: memFree=15336/2055920 swapFree=4180892/4192956 [pid=12800] ppid=12798 vsize=1813160 CPUtime=1800.03 /proc/12800/stat : 12800 (wbo) R 12798 12800 11274 0 -1 4194304 457419 0 0 0 179431 572 0 0 25 0 1 0 187827251 1856675840 452322 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/12800/statm: 453290 452322 136 292 0 452995 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1813160 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.01 s] /proc/loadavg: 1.00 1.01 1.00 2/66 12809 /proc/meminfo: memFree=15336/2055920 swapFree=4180892/4192956 [pid=12800] ppid=12798 vsize=0 CPUtime=1800.13 /proc/12800/stat : 12800 (wbo) R 12798 12800 11274 0 -1 4195332 457419 0 0 0 179431 582 0 0 25 0 1 0 187827251 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/12800/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 0 [startup+1801.1 s] /proc/loadavg: 1.00 1.01 1.00 2/66 12809 /proc/meminfo: memFree=15336/2055920 swapFree=4180892/4192956 [pid=12800] ppid=12798 vsize=0 CPUtime=1800.22 /proc/12800/stat : 12800 (wbo) R 12798 12800 11274 0 -1 4195332 457419 0 0 0 179431 591 0 0 25 0 1 0 187827251 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/12800/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.22 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.16 CPU time (s): 1800.3 CPU user time (s): 1794.32 CPU system time (s): 5.97909 CPU usage (%): 99.9519 Max. virtual memory (cumulated for all children) (KiB): 1813160 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.32 system time used= 5.97909 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 457419 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= 3 involuntary context switches= 7816 runsolver used 2.07468 second user time and 3.82942 second system time The end
Begin job on node87 at 2009-06-17 03:31:32 IDJOB=1875362 IDBENCH=48202 IDSOLVER=698 FILE ID=node87/1875362-1245202292 PBS_JOBID= 9368302 Free space on /tmp= 66540 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_60_4.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875362-1245202292/watcher-1875362-1245202292 -o /tmp/evaluation-result-1875362-1245202292/solver-1875362-1245202292 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875362-1245202292.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 468c9636f2c99e512d4c3bca04b78033 RANDOM SEED=658418458 node87.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.235 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.235 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1805648 kB Buffers: 56068 kB Cached: 127952 kB SwapCached: 6176 kB Active: 77272 kB Inactive: 115508 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1805648 kB SwapTotal: 4192956 kB SwapFree: 4180892 kB Dirty: 2840 kB Writeback: 0 kB Mapped: 14440 kB Slab: 43352 kB Committed_AS: 99108 kB PageTables: 1468 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-1875362-1245202292.opb Free space on /tmp at the end= 66536 MiB End job on node87 at 2009-06-17 04:01:36