Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.34 | 1801.06 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_60_2.opb |
MD5SUM | fecc1e3404707b1609ea9647c91fc73f |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -34 |
Best CPU time to get the best result obtained on this benchmark | 1800.45 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -36 |
Optimality of the best value was proved | NO |
Number of variables | 500 |
Total number of constraints | 500 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 500 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 105 |
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) | 37488 |
Sum of products size (including duplicates) | 74976 |
Number of different products | 18744 |
Sum of products size | 37488 |
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-1875339-1245199672.opb. 0.00/0.00 c Instance file HOME/instance-1875339-1245199672.opb 0.00/0.00 c File size is 1616311 bytes. 0.19/0.24 c Highest Coefficient sum: 105 0.19/0.24 c ============================[ Problem Statistics ]============================= 0.19/0.24 c | | 0.19/0.24 c | Parsing time: 0.24 s | 0.19/0.24 c | Number Variables: 19244 | 0.19/0.24 c | Number Clauses: 19244 | 0.19/0.24 c | Number Cardinality: 1000 | 0.19/0.24 c | Number PB Constraints: 18744 | 0.19/0.24 c core #1 0.19/0.24 c Core size: 4 Core Weight: 1 Total Weight: -499 0.19/0.24 c Elapsed CPU time: 0.238963 s Remaining CPU time: 1799.76 s 0.29/0.30 c core #2 0.29/0.30 c Core size: 4 Core Weight: 1 Total Weight: -498 0.29/0.30 c Elapsed CPU time: 0.295955 s Remaining CPU time: 1799.7 s 0.29/0.36 c core #3 0.29/0.36 c Core size: 4 Core Weight: 1 Total Weight: -497 0.29/0.36 c Elapsed CPU time: 0.354946 s Remaining CPU time: 1799.65 s 0.39/0.43 c core #4 0.39/0.43 c Core size: 4 Core Weight: 1 Total Weight: -496 0.39/0.43 c Elapsed CPU time: 0.413937 s Remaining CPU time: 1799.59 s 0.39/0.49 c core #5 0.39/0.49 c Core size: 4 Core Weight: 1 Total Weight: -495 0.39/0.49 c Elapsed CPU time: 0.476927 s Remaining CPU time: 1799.52 s 0.49/0.56 c core #6 0.49/0.56 c Core size: 4 Core Weight: 1 Total Weight: -494 0.49/0.56 c Elapsed CPU time: 0.543917 s Remaining CPU time: 1799.46 s 0.59/0.63 c core #7 0.59/0.63 c Core size: 4 Core Weight: 1 Total Weight: -493 0.59/0.63 c Elapsed CPU time: 0.611906 s Remaining CPU time: 1799.39 s 0.69/0.70 c core #8 0.69/0.70 c Core size: 4 Core Weight: 1 Total Weight: -492 0.69/0.70 c Elapsed CPU time: 0.683896 s Remaining CPU time: 1799.32 s 0.69/0.78 c core #9 0.69/0.78 c Core size: 4 Core Weight: 1 Total Weight: -491 0.69/0.78 c Elapsed CPU time: 0.755885 s Remaining CPU time: 1799.24 s 0.79/0.85 c core #10 0.79/0.85 c Core size: 4 Core Weight: 1 Total Weight: -490 0.79/0.85 c Elapsed CPU time: 0.829873 s Remaining CPU time: 1799.17 s 0.89/0.93 c core #11 0.89/0.93 c Core size: 4 Core Weight: 1 Total Weight: -489 0.89/0.93 c Elapsed CPU time: 0.902862 s Remaining CPU time: 1799.1 s 0.89/1.00 c core #12 0.89/1.00 c Core size: 4 Core Weight: 1 Total Weight: -488 0.89/1.00 c Elapsed CPU time: 0.975851 s Remaining CPU time: 1799.02 s 0.99/1.07 c core #13 0.99/1.07 c Core size: 4 Core Weight: 1 Total Weight: -487 0.99/1.07 c Elapsed CPU time: 1.04584 s Remaining CPU time: 1798.95 s 1.10/1.15 c core #14 1.10/1.15 c Core size: 4 Core Weight: 1 Total Weight: -486 1.10/1.15 c Elapsed CPU time: 1.11883 s Remaining CPU time: 1798.88 s 1.19/1.22 c core #15 1.19/1.22 c Core size: 4 Core Weight: 1 Total Weight: -485 1.19/1.22 c Elapsed CPU time: 1.19282 s Remaining CPU time: 1798.81 s 1.19/1.29 c core #16 1.19/1.29 c Core size: 4 Core Weight: 1 Total Weight: -484 1.19/1.29 c Elapsed CPU time: 1.26581 s Remaining CPU time: 1798.73 s 1.29/1.37 c core #17 1.29/1.37 c Core size: 4 Core Weight: 1 Total Weight: -483 1.29/1.37 c Elapsed CPU time: 1.3398 s Remaining CPU time: 1798.66 s 1.39/1.44 c core #18 1.39/1.44 c Core size: 4 Core Weight: 1 Total Weight: -482 1.39/1.44 c Elapsed CPU time: 1.41278 s Remaining CPU time: 1798.59 s 1.49/1.52 c core #19 1.49/1.52 c Core size: 4 Core Weight: 1 Total Weight: -481 1.49/1.52 c Elapsed CPU time: 1.48677 s Remaining CPU time: 1798.51 s 1.49/1.59 c core #20 1.49/1.59 c Core size: 4 Core Weight: 1 Total Weight: -480 1.49/1.59 c Elapsed CPU time: 1.56176 s Remaining CPU time: 1798.44 s 1.59/1.67 c core #21 1.59/1.67 c Core size: 4 Core Weight: 1 Total Weight: -479 1.59/1.67 c Elapsed CPU time: 1.63475 s Remaining CPU time: 1798.37 s 1.69/1.74 c core #22 1.69/1.74 c Core size: 4 Core Weight: 1 Total Weight: -478 1.69/1.74 c Elapsed CPU time: 1.70874 s Remaining CPU time: 1798.29 s 1.79/1.82 c core #23 1.79/1.82 c Core size: 4 Core Weight: 1 Total Weight: -477 1.79/1.82 c Elapsed CPU time: 1.78273 s Remaining CPU time: 1798.22 s 1.79/1.89 c core #24 1.79/1.89 c Core size: 4 Core Weight: 1 Total Weight: -476 1.79/1.89 c Elapsed CPU time: 1.85572 s Remaining CPU time: 1798.14 s 1.89/1.97 c core #25 1.89/1.97 c Core size: 4 Core Weight: 1 Total Weight: -475 1.89/1.97 c Elapsed CPU time: 1.93071 s Remaining CPU time: 1798.07 s 1.99/2.04 c core #26 1.99/2.04 c Core size: 4 Core Weight: 1 Total Weight: -474 1.99/2.04 c Elapsed CPU time: 2.00169 s Remaining CPU time: 1798 s 2.09/2.12 c core #27 2.09/2.12 c Core size: 4 Core Weight: 1 Total Weight: -473 2.09/2.12 c Elapsed CPU time: 2.07668 s Remaining CPU time: 1797.92 s 2.09/2.19 c core #28 2.09/2.19 c Core size: 4 Core Weight: 1 Total Weight: -472 2.09/2.19 c Elapsed CPU time: 2.14567 s Remaining CPU time: 1797.85 s 2.19/2.26 c core #29 2.19/2.26 c Core size: 4 Core Weight: 1 Total Weight: -471 2.19/2.26 c Elapsed CPU time: 2.21766 s Remaining CPU time: 1797.78 s 2.29/2.34 c core #30 2.29/2.34 c Core size: 4 Core Weight: 1 Total Weight: -470 2.29/2.34 c Elapsed CPU time: 2.29065 s Remaining CPU time: 1797.71 s 2.39/2.41 c core #31 2.39/2.41 c Core size: 4 Core Weight: 1 Total Weight: -469 2.39/2.41 c Elapsed CPU time: 2.36364 s Remaining CPU time: 1797.64 s 2.39/2.48 c core #32 2.39/2.48 c Core size: 4 Core Weight: 1 Total Weight: -468 2.39/2.48 c Elapsed CPU time: 2.43663 s Remaining CPU time: 1797.56 s 2.49/2.56 c core #33 2.49/2.56 c Core size: 4 Core Weight: 1 Total Weight: -467 2.49/2.56 c Elapsed CPU time: 2.51062 s Remaining CPU time: 1797.49 s 2.59/2.63 c core #34 2.59/2.63 c Core size: 4 Core Weight: 1 Total Weight: -466 2.59/2.63 c Elapsed CPU time: 2.58261 s Remaining CPU time: 1797.42 s 2.69/2.70 c core #35 2.69/2.70 c Core size: 4 Core Weight: 1 Total Weight: -465 2.69/2.70 c Elapsed CPU time: 2.6536 s Remaining CPU time: 1797.35 s 2.69/2.78 c core #36 2.69/2.78 c Core size: 4 Core Weight: 1 Total Weight: -464 2.69/2.78 c Elapsed CPU time: 2.72559 s Remaining CPU time: 1797.27 s 2.79/2.85 c core #37 2.79/2.85 c Core size: 4 Core Weight: 1 Total Weight: -463 2.79/2.85 c Elapsed CPU time: 2.79757 s Remaining CPU time: 1797.2 s 2.89/2.93 c core #38 2.89/2.93 c Core size: 4 Core Weight: 1 Total Weight: -462 2.89/2.93 c Elapsed CPU time: 2.87156 s Remaining CPU time: 1797.13 s 2.98/3.00 c core #39 2.98/3.00 c Core size: 4 Core Weight: 1 Total Weight: -461 2.98/3.00 c Elapsed CPU time: 2.94655 s Remaining CPU time: 1797.05 s 2.98/3.08 c core #40 2.98/3.08 c Core size: 4 Core Weight: 1 Total Weight: -460 2.98/3.08 c Elapsed CPU time: 3.02054 s Remaining CPU time: 1796.98 s 3.09/3.16 c core #41 3.09/3.16 c Core size: 4 Core Weight: 1 Total Weight: -459 3.09/3.16 c Elapsed CPU time: 3.09453 s Remaining CPU time: 1796.91 s 3.19/3.23 c core #42 3.19/3.23 c Core size: 4 Core Weight: 1 Total Weight: -458 3.19/3.23 c Elapsed CPU time: 3.16952 s Remaining CPU time: 1796.83 s 3.29/3.30 c core #43 3.29/3.30 c Core size: 4 Core Weight: 1 Total Weight: -457 3.29/3.30 c Elapsed CPU time: 3.24151 s Remaining CPU time: 1796.76 s 3.29/3.38 c core #44 3.29/3.38 c Core size: 4 Core Weight: 1 Total Weight: -456 3.29/3.38 c Elapsed CPU time: 3.3145 s Remaining CPU time: 1796.69 s 3.39/3.45 c core #45 3.39/3.45 c Core size: 4 Core Weight: 1 Total Weight: -455 3.39/3.45 c Elapsed CPU time: 3.38848 s Remaining CPU time: 1796.61 s 3.49/3.52 c core #46 3.49/3.52 c Core size: 4 Core Weight: 1 Total Weight: -454 3.49/3.52 c Elapsed CPU time: 3.46047 s Remaining CPU time: 1796.54 s 3.59/3.60 c core #47 3.59/3.60 c Core size: 4 Core Weight: 1 Total Weight: -453 3.59/3.60 c Elapsed CPU time: 3.53246 s Remaining CPU time: 1796.47 s 3.59/3.67 c core #48 3.59/3.67 c Core size: 4 Core Weight: 1 Total Weight: -452 3.59/3.67 c Elapsed CPU time: 3.60745 s Remaining CPU time: 1796.39 s 3.68/3.75 c core #49 3.68/3.75 c Core size: 4 Core Weight: 1 Total Weight: -451 3.68/3.75 c Elapsed CPU time: 3.68344 s Remaining CPU time: 1796.32 s 3.78/3.83 c core #50 3.78/3.83 c Core size: 4 Core Weight: 1 Total Weight: -450 3.78/3.83 c Elapsed CPU time: 3.75643 s Remaining CPU time: 1796.24 s 3.89/3.90 c core #51 3.89/3.90 c Core size: 4 Core Weight: 1 Total Weight: -449 3.89/3.90 c Elapsed CPU time: 3.83042 s Remaining CPU time: 1796.17 s 3.89/3.98 c core #52 3.89/3.98 c Core size: 4 Core Weight: 1 Total Weight: -448 3.89/3.98 c Elapsed CPU time: 3.90541 s Remaining CPU time: 1796.09 s 3.99/4.05 c core #53 3.99/4.05 c Core size: 4 Core Weight: 1 Total Weight: -447 3.99/4.05 c Elapsed CPU time: 3.9794 s Remaining CPU time: 1796.02 s 4.09/4.13 c core #54 4.09/4.13 c Core size: 4 Core Weight: 1 Total Weight: -446 4.09/4.13 c Elapsed CPU time: 4.05438 s Remaining CPU time: 1795.95 s 4.18/4.21 c core #55 4.18/4.21 c Core size: 4 Core Weight: 1 Total Weight: -445 4.18/4.21 c Elapsed CPU time: 4.13037 s Remaining CPU time: 1795.87 s 4.18/4.28 c core #56 4.18/4.28 c Core size: 4 Core Weight: 1 Total Weight: -444 4.18/4.28 c Elapsed CPU time: 4.20436 s Remaining CPU time: 1795.8 s 4.30/4.36 c core #57 4.30/4.36 c Core size: 4 Core Weight: 1 Total Weight: -443 4.30/4.36 c Elapsed CPU time: 4.28135 s Remaining CPU time: 1795.72 s 4.39/4.44 c core #58 4.39/4.44 c Core size: 4 Core Weight: 1 Total Weight: -442 4.39/4.44 c Elapsed CPU time: 4.35534 s Remaining CPU time: 1795.64 s 4.49/4.51 c core #59 4.49/4.51 c Core size: 4 Core Weight: 1 Total Weight: -441 4.49/4.51 c Elapsed CPU time: 4.43033 s Remaining CPU time: 1795.57 s 4.49/4.59 c core #60 4.49/4.59 c Core size: 4 Core Weight: 1 Total Weight: -440 4.49/4.59 c Elapsed CPU time: 4.50531 s Remaining CPU time: 1795.49 s 4.59/4.66 c core #61 4.59/4.66 c Core size: 4 Core Weight: 1 Total Weight: -439 4.59/4.66 c Elapsed CPU time: 4.5773 s Remaining CPU time: 1795.42 s 4.68/4.74 c core #62 4.68/4.74 c Core size: 4 Core Weight: 1 Total Weight: -438 4.68/4.74 c Elapsed CPU time: 4.65129 s Remaining CPU time: 1795.35 s 4.79/4.81 c core #63 4.79/4.81 c Core size: 4 Core Weight: 1 Total Weight: -437 4.79/4.81 c Elapsed CPU time: 4.72128 s Remaining CPU time: 1795.28 s 4.79/4.89 c core #64 4.79/4.89 c Core size: 4 Core Weight: 1 Total Weight: -436 4.79/4.89 c Elapsed CPU time: 4.79527 s Remaining CPU time: 1795.2 s 4.89/4.96 c core #65 4.89/4.96 c Core size: 4 Core Weight: 1 Total Weight: -435 4.89/4.96 c Elapsed CPU time: 4.86626 s Remaining CPU time: 1795.13 s 4.99/5.04 c core #66 4.99/5.04 c Core size: 4 Core Weight: 1 Total Weight: -434 4.99/5.04 c Elapsed CPU time: 4.94225 s Remaining CPU time: 1795.06 s 5.08/5.11 c core #67 5.08/5.11 c Core size: 4 Core Weight: 1 Total Weight: -433 5.08/5.11 c Elapsed CPU time: 5.01424 s Remaining CPU time: 1794.99 s 5.08/5.19 c core #68 5.08/5.19 c Core size: 4 Core Weight: 1 Total Weight: -432 5.08/5.19 c Elapsed CPU time: 5.09023 s Remaining CPU time: 1794.91 s 5.18/5.26 c core #69 5.18/5.26 c Core size: 4 Core Weight: 1 Total Weight: -431 5.18/5.26 c Elapsed CPU time: 5.16322 s Remaining CPU time: 1794.84 s 5.28/5.34 c core #70 5.28/5.34 c Core size: 4 Core Weight: 1 Total Weight: -430 5.28/5.34 c Elapsed CPU time: 5.2362 s Remaining CPU time: 1794.76 s 5.39/5.42 c core #71 5.39/5.42 c Core size: 4 Core Weight: 1 Total Weight: -429 5.39/5.42 c Elapsed CPU time: 5.31219 s Remaining CPU time: 1794.69 s 5.39/5.49 c core #72 5.39/5.49 c Core size: 4 Core Weight: 1 Total Weight: -428 5.39/5.49 c Elapsed CPU time: 5.38818 s Remaining CPU time: 1794.61 s 5.49/5.57 c core #73 5.49/5.57 c Core size: 4 Core Weight: 1 Total Weight: -427 5.49/5.57 c Elapsed CPU time: 5.46017 s Remaining CPU time: 1794.54 s 5.58/5.64 c core #74 5.58/5.64 c Core size: 4 Core Weight: 1 Total Weight: -426 5.58/5.64 c Elapsed CPU time: 5.53716 s Remaining CPU time: 1794.46 s 5.68/5.72 c core #75 5.68/5.72 c Core size: 4 Core Weight: 1 Total Weight: -425 5.68/5.72 c Elapsed CPU time: 5.61415 s Remaining CPU time: 1794.39 s 5.78/5.80 c core #76 5.78/5.80 c Core size: 4 Core Weight: 1 Total Weight: -424 5.78/5.80 c Elapsed CPU time: 5.69113 s Remaining CPU time: 1794.31 s 5.78/5.88 c core #77 5.78/5.88 c Core size: 4 Core Weight: 1 Total Weight: -423 5.78/5.88 c Elapsed CPU time: 5.76812 s Remaining CPU time: 1794.23 s 5.88/5.95 c core #78 5.88/5.95 c Core size: 4 Core Weight: 1 Total Weight: -422 5.88/5.95 c Elapsed CPU time: 5.84611 s Remaining CPU time: 1794.15 s 5.98/6.03 c core #79 5.98/6.03 c Core size: 4 Core Weight: 1 Total Weight: -421 5.98/6.03 c Elapsed CPU time: 5.9221 s Remaining CPU time: 1794.08 s 6.09/6.11 c core #80 6.09/6.11 c Core size: 4 Core Weight: 1 Total Weight: -420 6.09/6.11 c Elapsed CPU time: 6.00009 s Remaining CPU time: 1794 s 6.09/6.19 c core #81 6.09/6.19 c Core size: 4 Core Weight: 1 Total Weight: -419 6.09/6.19 c Elapsed CPU time: 6.07508 s Remaining CPU time: 1793.92 s 6.19/6.26 c core #82 6.19/6.26 c Core size: 4 Core Weight: 1 Total Weight: -418 6.19/6.26 c Elapsed CPU time: 6.14806 s Remaining CPU time: 1793.85 s 6.29/6.34 c core #83 6.29/6.34 c Core size: 4 Core Weight: 1 Total Weight: -417 6.29/6.34 c Elapsed CPU time: 6.22305 s Remaining CPU time: 1793.78 s 6.39/6.41 c core #84 6.39/6.41 c Core size: 4 Core Weight: 1 Total Weight: -416 6.39/6.41 c Elapsed CPU time: 6.29804 s Remaining CPU time: 1793.7 s 6.39/6.49 c core #85 6.39/6.49 c Core size: 4 Core Weight: 1 Total Weight: -415 6.39/6.49 c Elapsed CPU time: 6.37503 s Remaining CPU time: 1793.62 s 6.49/6.57 c core #86 6.49/6.57 c Core size: 4 Core Weight: 1 Total Weight: -414 6.49/6.57 c Elapsed CPU time: 6.45002 s Remaining CPU time: 1793.55 s 6.58/6.65 c core #87 6.58/6.65 c Core size: 4 Core Weight: 1 Total Weight: -413 6.58/6.65 c Elapsed CPU time: 6.52601 s Remaining CPU time: 1793.47 s 6.69/6.73 c core #88 6.69/6.73 c Core size: 4 Core Weight: 1 Total Weight: -412 6.69/6.73 c Elapsed CPU time: 6.606 s Remaining CPU time: 1793.39 s 6.79/6.81 c core #89 6.79/6.81 c Core size: 4 Core Weight: 1 Total Weight: -411 6.79/6.81 c Elapsed CPU time: 6.68098 s Remaining CPU time: 1793.32 s 6.79/6.88 c core #90 6.79/6.88 c Core size: 4 Core Weight: 1 Total Weight: -410 6.79/6.88 c Elapsed CPU time: 6.75697 s Remaining CPU time: 1793.24 s 6.89/6.96 c core #91 6.89/6.96 c Core size: 4 Core Weight: 1 Total Weight: -409 6.89/6.96 c Elapsed CPU time: 6.83696 s Remaining CPU time: 1793.16 s 6.99/7.04 c core #92 6.99/7.04 c Core size: 4 Core Weight: 1 Total Weight: -408 6.99/7.04 c Elapsed CPU time: 6.91395 s Remaining CPU time: 1793.09 s 7.08/7.12 c core #93 7.08/7.12 c Core size: 4 Core Weight: 1 Total Weight: -407 7.08/7.12 c Elapsed CPU time: 6.99094 s Remaining CPU time: 1793.01 s 7.08/7.19 c core #94 7.08/7.19 c Core size: 4 Core Weight: 1 Total Weight: -406 7.08/7.19 c Elapsed CPU time: 7.06693 s Remaining CPU time: 1792.93 s 7.18/7.27 c core #95 7.18/7.27 c Core size: 4 Core Weight: 1 Total Weight: -405 7.18/7.27 c Elapsed CPU time: 7.14191 s Remaining CPU time: 1792.86 s 7.28/7.35 c core #96 7.28/7.35 c Core size: 4 Core Weight: 1 Total Weight: -404 7.28/7.35 c Elapsed CPU time: 7.2189 s Remaining CPU time: 1792.78 s 7.38/7.43 c core #97 7.38/7.43 c Core size: 4 Core Weight: 1 Total Weight: -403 7.38/7.43 c Elapsed CPU time: 7.29689 s Remaining CPU time: 1792.7 s 7.48/7.51 c core #98 7.48/7.51 c Core size: 4 Core Weight: 1 Total Weight: -402 7.48/7.51 c Elapsed CPU time: 7.37388 s Remaining CPU time: 1792.63 s 7.48/7.58 c core #99 7.48/7.58 c Core size: 4 Core Weight: 1 Total Weight: -401 7.48/7.58 c Elapsed CPU time: 7.44887 s Remaining CPU time: 1792.55 s 7.58/7.66 c core #100 7.58/7.66 c Core size: 4 Core Weight: 1 Total Weight: -400 7.58/7.66 c Elapsed CPU time: 7.52585 s Remaining CPU time: 1792.47 s 7.68/7.73 c core #101 7.68/7.73 c Core size: 4 Core Weight: 1 Total Weight: -399 7.68/7.74 c Elapsed CPU time: 7.60084 s Remaining CPU time: 1792.4 s 7.79/7.81 c core #102 7.79/7.81 c Core size: 4 Core Weight: 1 Total Weight: -398 7.79/7.81 c Elapsed CPU time: 7.67483 s Remaining CPU time: 1792.33 s 7.79/7.89 c core #103 7.79/7.89 c Core size: 4 Core Weight: 1 Total Weight: -397 7.79/7.89 c Elapsed CPU time: 7.74982 s Remaining CPU time: 1792.25 s 7.88/7.96 c core #104 7.88/7.96 c Core size: 4 Core Weight: 1 Total Weight: -396 7.88/7.96 c Elapsed CPU time: 7.82081 s Remaining CPU time: 1792.18 s 7.98/8.04 c core #105 7.98/8.04 c Core size: 4 Core Weight: 1 Total Weight: -395 7.98/8.04 c Elapsed CPU time: 7.8978 s Remaining CPU time: 1792.1 s 8.08/8.12 c core #106 8.08/8.12 c Core size: 4 Core Weight: 1 Total Weight: -394 8.08/8.12 c Elapsed CPU time: 7.97379 s Remaining CPU time: 1792.03 s 8.08/8.20 c core #107 8.08/8.20 c Core size: 4 Core Weight: 1 Total Weight: -393 8.08/8.20 c Elapsed CPU time: 8.04678 s Remaining CPU time: 1791.95 s 8.18/8.27 c core #108 8.18/8.27 c Core size: 4 Core Weight: 1 Total Weight: -392 8.18/8.27 c Elapsed CPU time: 8.12476 s Remaining CPU time: 1791.88 s 8.28/8.35 c core #109 8.28/8.35 c Core size: 4 Core Weight: 1 Total Weight: -391 8.28/8.35 c Elapsed CPU time: 8.20075 s Remaining CPU time: 1791.8 s 8.38/8.43 c core #110 8.38/8.43 c Core size: 4 Core Weight: 1 Total Weight: -390 8.38/8.43 c Elapsed CPU time: 8.27274 s Remaining CPU time: 1791.73 s 8.48/8.50 c core #111 8.48/8.50 c Core size: 4 Core Weight: 1 Total Weight: -389 8.48/8.50 c Elapsed CPU time: 8.34873 s Remaining CPU time: 1791.65 s 8.48/8.58 c core #112 8.48/8.58 c Core size: 4 Core Weight: 1 Total Weight: -388 8.48/8.58 c Elapsed CPU time: 8.42472 s Remaining CPU time: 1791.58 s 8.58/8.66 c core #113 8.58/8.66 c Core size: 4 Core Weight: 1 Total Weight: -387 8.58/8.66 c Elapsed CPU time: 8.50471 s Remaining CPU time: 1791.5 s 8.68/8.74 c core #114 8.68/8.74 c Core size: 4 Core Weight: 1 Total Weight: -386 8.68/8.74 c Elapsed CPU time: 8.5807 s Remaining CPU time: 1791.42 s 8.78/8.82 c core #115 8.78/8.82 c Core size: 4 Core Weight: 1 Total Weight: -385 8.78/8.82 c Elapsed CPU time: 8.65468 s Remaining CPU time: 1791.35 s 8.88/8.90 c core #116 8.88/8.90 c Core size: 4 Core Weight: 1 Total Weight: -384 8.88/8.90 c Elapsed CPU time: 8.73067 s Remaining CPU time: 1791.27 s 8.88/8.98 c core #117 8.88/8.98 c Core size: 4 Core Weight: 1 Total Weight: -383 8.88/8.98 c Elapsed CPU time: 8.80866 s Remaining CPU time: 1791.19 s 8.98/9.06 c core #118 8.98/9.06 c Core size: 4 Core Weight: 1 Total Weight: -382 8.98/9.06 c Elapsed CPU time: 8.88865 s Remaining CPU time: 1791.11 s 9.08/9.14 c core #119 9.08/9.14 c Core size: 4 Core Weight: 1 Total Weight: -381 9.08/9.14 c Elapsed CPU time: 8.96964 s Remaining CPU time: 1791.03 s 9.18/9.22 c core #120 9.18/9.22 c Core size: 4 Core Weight: 1 Total Weight: -380 9.18/9.22 c Elapsed CPU time: 9.04762 s Remaining CPU time: 1790.95 s 9.28/9.30 c core #121 9.28/9.30 c Core size: 4 Core Weight: 1 Total Weight: -379 9.28/9.30 c Elapsed CPU time: 9.12361 s Remaining CPU time: 1790.88 s 9.28/9.38 c core #122 9.28/9.38 c Core size: 4 Core Weight: 1 Total Weight: -378 9.28/9.38 c Elapsed CPU time: 9.2006 s Remaining CPU time: 1790.8 s 9.37/9.46 c core #123 9.37/9.46 c Core size: 4 Core Weight: 1 Total Weight: -377 9.37/9.46 c Elapsed CPU time: 9.27759 s Remaining CPU time: 1790.72 s 9.47/9.53 c core #124 9.47/9.53 c Core size: 4 Core Weight: 1 Total Weight: -376 9.47/9.53 c Elapsed CPU time: 9.35458 s Remaining CPU time: 1790.65 s 9.58/9.61 c core #125 9.58/9.61 c Core size: 4 Core Weight: 1 Total Weight: -375 9.58/9.61 c Elapsed CPU time: 9.43157 s Remaining CPU time: 1790.57 s 9.58/9.69 c core #126 9.58/9.69 c Core size: 4 Core Weight: 1 Total Weight: -374 9.58/9.69 c Elapsed CPU time: 9.50855 s Remaining CPU time: 1790.49 s 9.68/9.77 c core #127 9.68/9.77 c Core size: 4 Core Weight: 1 Total Weight: -373 9.68/9.77 c Elapsed CPU time: 9.58554 s Remaining CPU time: 1790.41 s 9.78/9.85 c core #128 9.78/9.85 c Core size: 4 Core Weight: 1 Total Weight: -372 9.78/9.85 c Elapsed CPU time: 9.66253 s Remaining CPU time: 1790.34 s 9.88/9.93 c core #129 9.88/9.93 c Core size: 4 Core Weight: 1 Total Weight: -371 9.88/9.93 c Elapsed CPU time: 9.74352 s Remaining CPU time: 1790.26 s 9.97/10.01 c core #130 9.97/10.01 c Core size: 4 Core Weight: 1 Total Weight: -370 9.97/10.01 c Elapsed CPU time: 9.82051 s Remaining CPU time: 1790.18 s 9.97/10.09 c core #131 9.97/10.09 c Core size: 4 Core Weight: 1 Total Weight: -369 9.97/10.09 c Elapsed CPU time: 9.89749 s Remaining CPU time: 1790.1 s 10.08/10.17 c core #132 10.08/10.17 c Core size: 4 Core Weight: 1 Total Weight: -368 10.08/10.17 c Elapsed CPU time: 9.97448 s Remaining CPU time: 1790.03 s 10.18/10.25 c core #133 10.18/10.25 c Core size: 4 Core Weight: 1 Total Weight: -367 10.18/10.25 c Elapsed CPU time: 10.0515 s Remaining CPU time: 1789.95 s 10.28/10.32 c core #134 10.28/10.32 c Core size: 4 Core Weight: 1 Total Weight: -366 10.28/10.32 c Elapsed CPU time: 10.1285 s Remaining CPU time: 1789.87 s 10.38/10.40 c core #135 10.38/10.40 c Core size: 4 Core Weight: 1 Total Weight: -365 10.38/10.40 c Elapsed CPU time: 10.2074 s Remaining CPU time: 1789.79 s 10.38/10.48 c core #136 10.38/10.48 c Core size: 4 Core Weight: 1 Total Weight: -364 10.38/10.48 c Elapsed CPU time: 10.2854 s Remaining CPU time: 1789.71 s 10.47/10.56 c core #137 10.47/10.56 c Core size: 4 Core Weight: 1 Total Weight: -363 10.47/10.56 c Elapsed CPU time: 10.3644 s Remaining CPU time: 1789.64 s 10.57/10.64 c core #138 10.57/10.64 c Core size: 4 Core Weight: 1 Total Weight: -362 10.57/10.64 c Elapsed CPU time: 10.4404 s Remaining CPU time: 1789.56 s 10.68/10.72 c core #139 10.68/10.72 c Core size: 4 Core Weight: 1 Total Weight: -361 10.68/10.72 c Elapsed CPU time: 10.5154 s Remaining CPU time: 1789.48 s 10.78/10.80 c core #140 10.78/10.80 c Core size: 4 Core Weight: 1 Total Weight: -360 10.78/10.80 c Elapsed CPU time: 10.5914 s Remaining CPU time: 1789.41 s 10.78/10.87 c core #141 10.78/10.87 c Core size: 4 Core Weight: 1 Total Weight: -359 10.78/10.87 c Elapsed CPU time: 10.6654 s Remaining CPU time: 1789.33 s 10.88/10.95 c core #142 10.88/10.95 c Core size: 4 Core Weight: 1 Total Weight: -358 10.88/10.95 c Elapsed CPU time: 10.7394 s Remaining CPU time: 1789.26 s 10.98/11.03 c core #143 10.98/11.03 c Core size: 4 Core Weight: 1 Total Weight: -357 10.98/11.03 c Elapsed CPU time: 10.8134 s Remaining CPU time: 1789.19 s 11.08/11.10 c core #144 11.08/11.10 c Core size: 4 Core Weight: 1 Total Weight: -356 11.08/11.10 c Elapsed CPU time: 10.8893 s Remaining CPU time: 1789.11 s 11.08/11.18 c core #145 11.08/11.18 c Core size: 4 Core Weight: 1 Total Weight: -355 11.08/11.18 c Elapsed CPU time: 10.9633 s Remaining CPU time: 1789.04 s 11.17/11.26 c core #146 11.17/11.26 c Core size: 4 Core Weight: 1 Total Weight: -354 11.17/11.26 c Elapsed CPU time: 11.0383 s Remaining CPU time: 1788.96 s 11.28/11.34 c core #147 11.28/11.34 c Core size: 4 Core Weight: 1 Total Weight: -353 11.28/11.34 c Elapsed CPU time: 11.1143 s Remaining CPU time: 1788.89 s 11.38/11.42 c core #148 11.38/11.42 c Core size: 4 Core Weight: 1 Total Weight: -352 11.38/11.42 c Elapsed CPU time: 11.1923 s Remaining CPU time: 1788.81 s 11.38/11.49 c core #149 11.38/11.49 c Core size: 4 Core Weight: 1 Total Weight: -351 11.38/11.49 c Elapsed CPU time: 11.2703 s Remaining CPU time: 1788.73 s 11.48/11.57 c core #150 11.48/11.57 c Core size: 4 Core Weight: 1 Total Weight: -350 11.48/11.57 c Elapsed CPU time: 11.3493 s Remaining CPU time: 1788.65 s 11.58/11.65 c core #151 11.58/11.65 c Core size: 4 Core Weight: 1 Total Weight: -349 11.58/11.65 c Elapsed CPU time: 11.4243 s Remaining CPU time: 1788.58 s 11.67/11.73 c core #152 11.67/11.73 c Core size: 4 Core Weight: 1 Total Weight: -348 11.67/11.73 c Elapsed CPU time: 11.5013 s Remaining CPU time: 1788.5 s 11.77/11.81 c core #153 11.77/11.81 c Core size: 4 Core Weight: 1 Total Weight: -347 11.77/11.81 c Elapsed CPU time: 11.5772 s Remaining CPU time: 1788.42 s 11.77/11.89 c core #154 11.77/11.89 c Core size: 4 Core Weight: 1 Total Weight: -346 11.77/11.89 c Elapsed CPU time: 11.6562 s Remaining CPU time: 1788.34 s 11.87/11.96 c core #155 11.87/11.96 c Core size: 4 Core Weight: 1 Total Weight: -345 11.87/11.96 c Elapsed CPU time: 11.7322 s Remaining CPU time: 1788.27 s 11.97/12.04 c core #156 11.97/12.04 c Core size: 4 Core Weight: 1 Total Weight: -344 11.97/12.04 c Elapsed CPU time: 11.8082 s Remaining CPU time: 1788.19 s 12.08/12.12 c core #157 12.08/12.12 c Core size: 4 Core Weight: 1 Total Weight: -343 12.08/12.12 c Elapsed CPU time: 11.8822 s Remaining CPU time: 1788.12 s 12.08/12.19 c core #158 12.08/12.19 c Core size: 4 Core Weight: 1 Total Weight: -342 12.08/12.19 c Elapsed CPU time: 11.9562 s Remaining CPU time: 1788.04 s 12.17/12.27 c core #159 12.17/12.27 c Core size: 4 Core Weight: 1 Total Weight: -341 12.17/12.27 c Elapsed CPU time: 12.0332 s Remaining CPU time: 1787.97 s 12.27/12.35 c core #160 12.27/12.35 c Core size: 4 Core Weight: 1 Total Weight: -340 12.27/12.35 c Elapsed CPU time: 12.1112 s Remaining CPU time: 1787.89 s 12.37/12.43 c core #161 12.37/12.43 c Core size: 4 Core Weight: 1 Total Weight: -339 12.37/12.43 c Elapsed CPU time: 12.1891 s Remaining CPU time: 1787.81 s 12.47/12.51 c core #162 12.47/12.51 c Core size: 4 Core Weight: 1 Total Weight: -338 12.47/12.51 c Elapsed CPU time: 12.2681 s Remaining CPU time: 1787.73 s 12.47/12.59 c core #163 12.47/12.59 c Core size: 4 Core Weight: 1 Total Weight: -337 12.47/12.59 c Elapsed CPU time: 12.3471 s Remaining CPU time: 1787.65 s 12.58/12.67 c core #164 12.58/12.67 c Core size: 4 Core Weight: 1 Total Weight: -336 12.58/12.67 c Elapsed CPU time: 12.4271 s Remaining CPU time: 1787.57 s 12.67/12.75 c core #165 12.67/12.75 c Core size: 4 Core Weight: 1 Total Weight: -335 12.67/12.75 c Elapsed CPU time: 12.5061 s Remaining CPU time: 1787.49 s 12.77/12.83 c core #166 12.77/12.83 c Core size: 4 Core Weight: 1 Total Weight: -334 12.77/12.83 c Elapsed CPU time: 12.5841 s Remaining CPU time: 1787.42 s 12.87/12.91 c core #167 12.87/12.91 c Core size: 4 Core Weight: 1 Total Weight: -333 12.87/12.91 c Elapsed CPU time: 12.6631 s Remaining CPU time: 1787.34 s 12.87/12.99 c core #168 12.87/12.99 c Core size: 4 Core Weight: 1 Total Weight: -332 12.87/12.99 c Elapsed CPU time: 12.7431 s Remaining CPU time: 1787.26 s 12.97/13.07 c core #169 12.97/13.07 c Core size: 4 Core Weight: 1 Total Weight: -331 12.97/13.07 c Elapsed CPU time: 12.8221 s Remaining CPU time: 1787.18 s 13.07/13.15 c core #170 13.07/13.15 c Core size: 4 Core Weight: 1 Total Weight: -330 13.07/13.15 c Elapsed CPU time: 12.901 s Remaining CPU time: 1787.1 s 13.17/13.23 c core #171 13.17/13.23 c Core size: 4 Core Weight: 1 Total Weight: -329 13.17/13.23 c Elapsed CPU time: 12.981 s Remaining CPU time: 1787.02 s 13.28/13.31 c core #172 13.28/13.31 c Core size: 4 Core Weight: 1 Total Weight: -328 13.28/13.31 c Elapsed CPU time: 13.058 s Remaining CPU time: 1786.94 s 13.28/13.39 c core #173 13.28/13.39 c Core size: 4 Core Weight: 1 Total Weight: -327 13.28/13.39 c Elapsed CPU time: 13.135 s Remaining CPU time: 1786.86 s 13.38/13.47 c core #174 13.38/13.47 c Core size: 4 Core Weight: 1 Total Weight: -326 13.38/13.47 c Elapsed CPU time: 13.213 s Remaining CPU time: 1786.79 s 13.47/13.55 c core #175 13.47/13.55 c Core size: 4 Core Weight: 1 Total Weight: -325 13.47/13.55 c Elapsed CPU time: 13.287 s Remaining CPU time: 1786.71 s 13.57/13.62 c core #176 13.57/13.62 c Core size: 4 Core Weight: 1 Total Weight: -324 13.57/13.62 c Elapsed CPU time: 13.364 s Remaining CPU time: 1786.64 s 13.67/13.70 c core #177 13.67/13.70 c Core size: 4 Core Weight: 1 Total Weight: -323 13.67/13.70 c Elapsed CPU time: 13.437 s Remaining CPU time: 1786.56 s 13.67/13.78 c core #178 13.67/13.78 c Core size: 4 Core Weight: 1 Total Weight: -322 13.67/13.78 c Elapsed CPU time: 13.5149 s Remaining CPU time: 1786.49 s 13.77/13.86 c core #179 13.77/13.86 c Core size: 4 Core Weight: 1 Total Weight: -321 13.77/13.86 c Elapsed CPU time: 13.5939 s Remaining CPU time: 1786.41 s 13.87/13.94 c core #180 13.87/13.94 c Core size: 4 Core Weight: 1 Total Weight: -320 13.87/13.94 c Elapsed CPU time: 13.6669 s Remaining CPU time: 1786.33 s 13.97/14.01 c core #181 13.97/14.01 c Core size: 4 Core Weight: 1 Total Weight: -319 13.97/14.01 c Elapsed CPU time: 13.7419 s Remaining CPU time: 1786.26 s 13.97/14.09 c core #182 13.97/14.09 c Core size: 4 Core Weight: 1 Total Weight: -318 13.97/14.09 c Elapsed CPU time: 13.8189 s Remaining CPU time: 1786.18 s 14.07/14.17 c core #183 14.07/14.17 c Core size: 4 Core Weight: 1 Total Weight: -317 14.07/14.17 c Elapsed CPU time: 13.8959 s Remaining CPU time: 1786.1 s 14.17/14.25 c core #184 14.17/14.25 c Core size: 4 Core Weight: 1 Total Weight: -316 14.17/14.25 c Elapsed CPU time: 13.9749 s Remaining CPU time: 1786.03 s 14.27/14.33 c core #185 14.27/14.33 c Core size: 4 Core Weight: 1 Total Weight: -315 14.27/14.33 c Elapsed CPU time: 14.0509 s Remaining CPU time: 1785.95 s 14.37/14.41 c core #186 14.37/14.41 c Core size: 4 Core Weight: 1 Total Weight: -314 14.37/14.41 c Elapsed CPU time: 14.1289 s Remaining CPU time: 1785.87 s 14.37/14.49 c core #187 14.37/14.49 c Core size: 4 Core Weight: 1 Total Weight: -313 14.37/14.49 c Elapsed CPU time: 14.2058 s Remaining CPU time: 1785.79 s 14.47/14.56 c core #188 14.47/14.56 c Core size: 4 Core Weight: 1 Total Weight: -312 14.47/14.56 c Elapsed CPU time: 14.2828 s Remaining CPU time: 1785.72 s 14.57/14.64 c core #189 14.57/14.64 c Core size: 4 Core Weight: 1 Total Weight: -311 14.57/14.64 c Elapsed CPU time: 14.3618 s Remaining CPU time: 1785.64 s 14.67/14.72 c core #190 14.67/14.72 c Core size: 4 Core Weight: 1 Total Weight: -310 14.67/14.72 c Elapsed CPU time: 14.4398 s Remaining CPU time: 1785.56 s 14.77/14.80 c core #191 14.77/14.80 c Core size: 4 Core Weight: 1 Total Weight: -309 14.77/14.80 c Elapsed CPU time: 14.5208 s Remaining CPU time: 1785.48 s 14.77/14.88 c core #192 14.77/14.88 c Core size: 4 Core Weight: 1 Total Weight: -308 14.77/14.88 c Elapsed CPU time: 14.5988 s Remaining CPU time: 1785.4 s 14.87/14.96 c core #193 14.87/14.96 c Core size: 4 Core Weight: 1 Total Weight: -307 14.87/14.96 c Elapsed CPU time: 14.6768 s Remaining CPU time: 1785.32 s 14.96/15.04 c core #194 14.96/15.04 c Core size: 4 Core Weight: 1 Total Weight: -306 14.96/15.04 c Elapsed CPU time: 14.7548 s Remaining CPU time: 1785.25 s 15.07/15.12 c core #195 15.07/15.12 c Core size: 4 Core Weight: 1 Total Weight: -305 15.07/15.12 c Elapsed CPU time: 14.8327 s Remaining CPU time: 1785.17 s 15.17/15.20 c core #196 15.17/15.20 c Core size: 4 Core Weight: 1 Total Weight: -304 15.17/15.20 c Elapsed CPU time: 14.9107 s Remaining CPU time: 1785.09 s 15.17/15.28 c core #197 15.17/15.28 c Core size: 4 Core Weight: 1 Total Weight: -303 15.17/15.28 c Elapsed CPU time: 14.9877 s Remaining CPU time: 1785.01 s 15.27/15.35 c core #198 15.27/15.35 c Core size: 4 Core Weight: 1 Total Weight: -302 15.27/15.35 c Elapsed CPU time: 15.0637 s Remaining CPU time: 1784.94 s 15.37/15.43 c core #199 15.37/15.43 c Core size: 4 Core Weight: 1 Total Weight: -301 15.37/15.43 c Elapsed CPU time: 15.1417 s Remaining CPU time: 1784.86 s 15.47/15.51 c core #200 15.47/15.51 c Core size: 4 Core Weight: 1 Total Weight: -300 15.47/15.51 c Elapsed CPU time: 15.2177 s Remaining CPU time: 1784.78 s 15.47/15.59 c core #201 15.47/15.59 c Core size: 4 Core Weight: 1 Total Weight: -299 15.47/15.59 c Elapsed CPU time: 15.2937 s Remaining CPU time: 1784.71 s 15.57/15.67 c core #202 15.57/15.67 c Core size: 4 Core Weight: 1 Total Weight: -298 15.57/15.67 c Elapsed CPU time: 15.3717 s Remaining CPU time: 1784.63 s 15.67/15.75 c core #203 15.67/15.75 c Core size: 4 Core Weight: 1 Total Weight: -297 15.67/15.75 c Elapsed CPU time: 15.4497 s Remaining CPU time: 1784.55 s 15.76/15.83 c core #204 15.76/15.83 c Core size: 4 Core Weight: 1 Total Weight: -296 15.76/15.83 c Elapsed CPU time: 15.5286 s Remaining CPU time: 1784.47 s 15.87/15.90 c core #205 15.87/15.90 c Core size: 4 Core Weight: 1 Total Weight: -295 15.87/15.90 c Elapsed CPU time: 15.6056 s Remaining CPU time: 1784.39 s 15.87/15.98 c core #206 15.87/15.98 c Core size: 4 Core Weight: 1 Total Weight: -294 15.87/15.98 c Elapsed CPU time: 15.6846 s Remaining CPU time: 1784.32 s 15.97/16.06 c core #207 15.97/16.06 c Core size: 4 Core Weight: 1 Total Weight: -293 15.97/16.06 c Elapsed CPU time: 15.7606 s Remaining CPU time: 1784.24 s 16.07/16.14 c core #208 16.07/16.14 c Core size: 4 Core Weight: 1 Total Weight: -292 16.07/16.14 c Elapsed CPU time: 15.8386 s Remaining CPU time: 1784.16 s 16.16/16.22 c core #209 16.16/16.22 c Core size: 4 Core Weight: 1 Total Weight: -291 16.16/16.22 c Elapsed CPU time: 15.9156 s Remaining CPU time: 1784.08 s 16.27/16.31 c core #210 16.27/16.31 c Core size: 4 Core Weight: 1 Total Weight: -290 16.27/16.31 c Elapsed CPU time: 15.9966 s Remaining CPU time: 1784 s 16.27/16.39 c core #211 16.27/16.39 c Core size: 4 Core Weight: 1 Total Weight: -289 16.27/16.39 c Elapsed CPU time: 16.0776 s Remaining CPU time: 1783.92 s 16.38/16.47 c core #212 16.38/16.47 c Core size: 4 Core Weight: 1 Total Weight: -288 16.38/16.47 c Elapsed CPU time: 16.1545 s Remaining CPU time: 1783.85 s 16.47/16.55 c core #213 16.47/16.55 c Core size: 4 Core Weight: 1 Total Weight: -287 16.47/16.55 c Elapsed CPU time: 16.2365 s Remaining CPU time: 1783.76 s 16.57/16.63 c core #214 16.57/16.63 c Core size: 4 Core Weight: 1 Total Weight: -286 16.57/16.63 c Elapsed CPU time: 16.3165 s Remaining CPU time: 1783.68 s 16.67/16.71 c core #215 16.67/16.71 c Core size: 4 Core Weight: 1 Total Weight: -285 16.67/16.71 c Elapsed CPU time: 16.3965 s Remaining CPU time: 1783.6 s 16.67/16.79 c core #216 16.67/16.79 c Core size: 4 Core Weight: 1 Total Weight: -284 16.67/16.79 c Elapsed CPU time: 16.4755 s Remaining CPU time: 1783.52 s 16.77/16.87 c core #217 16.77/16.87 c Core size: 4 Core Weight: 1 Total Weight: -283 16.77/16.87 c Elapsed CPU time: 16.5505 s Remaining CPU time: 1783.45 s 16.87/16.95 c core #218 16.87/16.95 c Core size: 4 Core Weight: 1 Total Weight: -282 16.87/16.95 c Elapsed CPU time: 16.6295 s Remaining CPU time: 1783.37 s 16.97/17.03 c core #219 16.97/17.03 c Core size: 4 Core Weight: 1 Total Weight: -281 16.97/17.03 c Elapsed CPU time: 16.7075 s Remaining CPU time: 1783.29 s 17.07/17.11 c core #220 17.07/17.11 c Core size: 4 Core Weight: 1 Total Weight: -280 17.07/17.11 c Elapsed CPU time: 16.7864 s Remaining CPU time: 1783.21 s 17.07/17.19 c core #221 17.07/17.19 c Core size: 4 Core Weight: 1 Total Weight: -279 17.07/17.19 c Elapsed CPU time: 16.8654 s Remaining CPU time: 1783.13 s 17.17/17.27 c core #222 17.17/17.27 c Core size: 4 Core Weight: 1 Total Weight: -278 17.17/17.27 c Elapsed CPU time: 16.9444 s Remaining CPU time: 1783.06 s 17.27/17.35 c core #223 17.27/17.35 c Core size: 4 Core Weight: 1 Total Weight: -277 17.27/17.35 c Elapsed CPU time: 17.0244 s Remaining CPU time: 1782.98 s 17.37/17.43 c core #224 17.37/17.43 c Core size: 4 Core Weight: 1 Total Weight: -276 17.37/17.43 c Elapsed CPU time: 17.1044 s Remaining CPU time: 1782.9 s 17.47/17.51 c core #225 17.47/17.51 c Core size: 4 Core Weight: 1 Total Weight: -275 17.47/17.51 c Elapsed CPU time: 17.1814 s Remaining CPU time: 1782.82 s 17.47/17.59 c core #226 17.47/17.59 c Core size: 4 Core Weight: 1 Total Weight: -274 17.47/17.59 c Elapsed CPU time: 17.2604 s Remaining CPU time: 1782.74 s 17.57/17.67 c core #227 17.57/17.67 c Core size: 4 Core Weight: 1 Total Weight: -273 17.57/17.67 c Elapsed CPU time: 17.3384 s Remaining CPU time: 1782.66 s 17.67/17.75 c core #228 17.67/17.75 c Core size: 4 Core Weight: 1 Total Weight: -272 17.67/17.75 c Elapsed CPU time: 17.4164 s Remaining CPU time: 1782.58 s 17.77/17.83 c core #229 17.77/17.83 c Core size: 4 Core Weight: 1 Total Weight: -271 17.77/17.83 c Elapsed CPU time: 17.4963 s Remaining CPU time: 1782.5 s 17.87/17.92 c core #230 17.87/17.92 c Core size: 4 Core Weight: 1 Total Weight: -270 17.87/17.92 c Elapsed CPU time: 17.5813 s Remaining CPU time: 1782.42 s 17.97/18.00 c core #231 17.97/18.00 c Core size: 4 Core Weight: 1 Total Weight: -269 17.97/18.00 c Elapsed CPU time: 17.6633 s Remaining CPU time: 1782.34 s 17.97/18.08 c core #232 17.97/18.08 c Core size: 4 Core Weight: 1 Total Weight: -268 17.97/18.08 c Elapsed CPU time: 17.7433 s Remaining CPU time: 1782.26 s 18.06/18.16 c core #233 18.06/18.16 c Core size: 4 Core Weight: 1 Total Weight: -267 18.06/18.16 c Elapsed CPU time: 17.8233 s Remaining CPU time: 1782.18 s 18.16/18.24 c core #234 18.16/18.24 c Core size: 4 Core Weight: 1 Total Weight: -266 18.16/18.24 c Elapsed CPU time: 17.9003 s Remaining CPU time: 1782.1 s 18.26/18.32 c core #235 18.26/18.32 c Core size: 4 Core Weight: 1 Total Weight: -265 18.26/18.32 c Elapsed CPU time: 17.9813 s Remaining CPU time: 1782.02 s 18.37/18.40 c core #236 18.37/18.40 c Core size: 4 Core Weight: 1 Total Weight: -264 18.37/18.40 c Elapsed CPU time: 18.0603 s Remaining CPU time: 1781.94 s 18.37/18.48 c core #237 18.37/18.48 c Core size: 4 Core Weight: 1 Total Weight: -263 18.37/18.48 c Elapsed CPU time: 18.1382 s Remaining CPU time: 1781.86 s 18.47/18.56 c core #238 18.47/18.56 c Core size: 4 Core Weight: 1 Total Weight: -262 18.47/18.56 c Elapsed CPU time: 18.2172 s Remaining CPU time: 1781.78 s 18.57/18.64 c core #239 18.57/18.64 c Core size: 4 Core Weight: 1 Total Weight: -261 18.57/18.64 c Elapsed CPU time: 18.2982 s Remaining CPU time: 1781.7 s 18.67/18.73 c core #240 18.67/18.73 c Core size: 4 Core Weight: 1 Total Weight: -260 18.67/18.73 c Elapsed CPU time: 18.3782 s Remaining CPU time: 1781.62 s 18.76/18.81 c core #241 18.76/18.81 c Core size: 4 Core Weight: 1 Total Weight: -259 18.76/18.81 c Elapsed CPU time: 18.4612 s Remaining CPU time: 1781.54 s 18.76/18.89 c core #242 18.76/18.89 c Core size: 4 Core Weight: 1 Total Weight: -258 18.76/18.89 c Elapsed CPU time: 18.5392 s Remaining CPU time: 1781.46 s 18.86/18.97 c core #243 18.86/18.97 c Core size: 4 Core Weight: 1 Total Weight: -257 18.86/18.97 c Elapsed CPU time: 18.6192 s Remaining CPU time: 1781.38 s 18.96/19.05 c core #244 18.96/19.05 c Core size: 4 Core Weight: 1 Total Weight: -256 18.96/19.05 c Elapsed CPU time: 18.6962 s Remaining CPU time: 1781.3 s 19.07/19.13 c core #245 19.07/19.13 c Core size: 4 Core Weight: 1 Total Weight: -255 19.07/19.13 c Elapsed CPU time: 18.7721 s Remaining CPU time: 1781.23 s 19.17/19.21 c core #246 19.17/19.21 c Core size: 4 Core Weight: 1 Total Weight: -254 19.17/19.21 c Elapsed CPU time: 18.8521 s Remaining CPU time: 1781.15 s 19.17/19.29 c core #247 19.17/19.29 c Core size: 4 Core Weight: 1 Total Weight: -253 19.17/19.29 c Elapsed CPU time: 18.9301 s Remaining CPU time: 1781.07 s 19.26/19.37 c core #248 19.26/19.37 c Core size: 12 Core Weight: 1 Total Weight: -252 19.26/19.37 c Elapsed CPU time: 19.0101 s Remaining CPU time: 1780.99 s 19.36/19.45 c core #249 19.36/19.45 c Core size: 9 Core Weight: 1 Total Weight: -251 19.36/19.45 c Elapsed CPU time: 19.0901 s Remaining CPU time: 1780.91 s 19.46/19.53 c core #250 19.46/19.53 c Core size: 9 Core Weight: 1 Total Weight: -250 19.46/19.53 c Elapsed CPU time: 19.1691 s Remaining CPU time: 1780.83 s 19.57/19.61 c core #251 19.57/19.61 c Core size: 18 Core Weight: 1 Total Weight: -249 19.57/19.61 c Elapsed CPU time: 19.2481 s Remaining CPU time: 1780.75 s 19.57/19.69 c ============================[ Search Statistics ]============================== 19.57/19.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.57/19.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.57/19.69 c =============================================================================== 19.57/19.69 c | 0 | 1014 39239 94648 | 13079 0 nan | 0.000 % | 19.57/19.70 c =============================================================================== 19.57/19.70 c core #252 19.57/19.70 c Core size: 15 Core Weight: 1 Total Weight: -248 19.57/19.70 c Elapsed CPU time: 19.3291 s Remaining CPU time: 1780.67 s 19.67/19.77 c ============================[ Search Statistics ]============================== 19.67/19.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.67/19.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.67/19.77 c =============================================================================== 19.67/19.77 c | 0 | 1020 39240 94660 | 13080 0 nan | 0.000 % | 19.67/19.78 c =============================================================================== 19.67/19.78 c core #253 19.67/19.78 c Core size: 17 Core Weight: 1 Total Weight: -247 19.67/19.78 c Elapsed CPU time: 19.407 s Remaining CPU time: 1780.59 s 19.76/19.85 c ============================[ Search Statistics ]============================== 19.76/19.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.76/19.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.76/19.85 c =============================================================================== 19.76/19.85 c | 0 | 1026 39241 94672 | 13080 0 nan | 0.000 % | 19.76/19.86 c =============================================================================== 19.76/19.86 c core #254 19.76/19.86 c Core size: 12 Core Weight: 1 Total Weight: -246 19.76/19.86 c Elapsed CPU time: 19.483 s Remaining CPU time: 1780.52 s 19.86/19.93 c ============================[ Search Statistics ]============================== 19.86/19.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.86/19.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.86/19.93 c =============================================================================== 19.86/19.93 c | 0 | 1030 39242 94680 | 13080 0 nan | 0.000 % | 19.86/19.94 c =============================================================================== 19.86/19.94 c core #255 19.86/19.94 c Core size: 15 Core Weight: 1 Total Weight: -245 19.86/19.94 c Elapsed CPU time: 19.564 s Remaining CPU time: 1780.44 s 19.96/20.01 c ============================[ Search Statistics ]============================== 19.96/20.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.96/20.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.96/20.01 c =============================================================================== 19.96/20.01 c | 0 | 1036 39243 94692 | 13081 0 nan | 0.000 % | 19.96/20.02 c =============================================================================== 19.96/20.02 c core #256 19.96/20.02 c Core size: 17 Core Weight: 1 Total Weight: -244 19.96/20.02 c Elapsed CPU time: 19.642 s Remaining CPU time: 1780.36 s 19.96/20.09 c ============================[ Search Statistics ]============================== 19.96/20.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.96/20.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.96/20.09 c =============================================================================== 19.96/20.09 c | 0 | 1042 39244 94704 | 13081 0 nan | 0.000 % | 20.06/20.10 c =============================================================================== 20.06/20.10 c core #257 20.06/20.10 c Core size: 16 Core Weight: 1 Total Weight: -243 20.06/20.10 c Elapsed CPU time: 19.721 s Remaining CPU time: 1780.28 s 20.06/20.17 c ============================[ Search Statistics ]============================== 20.06/20.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.06/20.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.06/20.17 c =============================================================================== 20.06/20.17 c | 0 | 1048 39245 94716 | 13081 0 nan | 0.000 % | 20.06/20.18 c =============================================================================== 20.06/20.18 c core #258 20.06/20.18 c Core size: 16 Core Weight: 1 Total Weight: -242 20.06/20.18 c Elapsed CPU time: 19.801 s Remaining CPU time: 1780.2 s 20.16/20.26 c ============================[ Search Statistics ]============================== 20.16/20.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.16/20.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.16/20.26 c =============================================================================== 20.16/20.26 c | 0 | 1054 39246 94728 | 13082 0 nan | 0.000 % | 20.16/20.26 c =============================================================================== 20.16/20.26 c core #259 20.16/20.26 c Core size: 16 Core Weight: 1 Total Weight: -241 20.16/20.26 c Elapsed CPU time: 19.884 s Remaining CPU time: 1780.12 s 20.26/20.34 c ============================[ Search Statistics ]============================== 20.26/20.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.26/20.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.26/20.34 c =============================================================================== 20.26/20.34 c | 0 | 1060 39247 94740 | 13082 0 nan | 0.000 % | 20.26/20.34 c =============================================================================== 20.26/20.34 c core #260 20.26/20.34 c Core size: 16 Core Weight: 1 Total Weight: -240 20.26/20.34 c Elapsed CPU time: 19.96 s Remaining CPU time: 1780.04 s 20.36/20.42 c ============================[ Search Statistics ]============================== 20.36/20.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.36/20.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.36/20.42 c =============================================================================== 20.36/20.42 c | 0 | 1066 39248 94752 | 13082 0 nan | 0.000 % | 20.36/20.43 c =============================================================================== 20.36/20.43 c core #261 20.36/20.43 c Core size: 16 Core Weight: 1 Total Weight: -239 20.36/20.43 c Elapsed CPU time: 20.042 s Remaining CPU time: 1779.96 s 20.46/20.50 c ============================[ Search Statistics ]============================== 20.46/20.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.46/20.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.46/20.50 c =============================================================================== 20.46/20.50 c | 0 | 1072 39249 94764 | 13083 0 nan | 0.000 % | 20.46/20.51 c =============================================================================== 20.46/20.51 c core #262 20.46/20.51 c Core size: 15 Core Weight: 1 Total Weight: -238 20.46/20.51 c Elapsed CPU time: 20.1229 s Remaining CPU time: 1779.88 s 20.46/20.58 c ============================[ Search Statistics ]============================== 20.46/20.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.46/20.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.46/20.58 c =============================================================================== 20.46/20.58 c | 0 | 1078 39250 94776 | 13083 0 nan | 0.000 % | 20.46/20.59 c =============================================================================== 20.46/20.59 c core #263 20.46/20.59 c Core size: 16 Core Weight: 1 Total Weight: -237 20.46/20.59 c Elapsed CPU time: 20.2029 s Remaining CPU time: 1779.8 s 20.55/20.66 c ============================[ Search Statistics ]============================== 20.55/20.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.55/20.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.55/20.66 c =============================================================================== 20.55/20.66 c | 0 | 1084 39251 94788 | 13083 0 nan | 0.000 % | 20.55/20.67 c =============================================================================== 20.55/20.67 c core #264 20.55/20.67 c Core size: 16 Core Weight: 1 Total Weight: -236 20.55/20.67 c Elapsed CPU time: 20.2819 s Remaining CPU time: 1779.72 s 20.65/20.75 c ============================[ Search Statistics ]============================== 20.65/20.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.65/20.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.65/20.75 c =============================================================================== 20.65/20.75 c | 0 | 1090 39252 94800 | 13084 0 nan | 0.000 % | 20.65/20.75 c =============================================================================== 20.65/20.75 c core #265 20.65/20.75 c Core size: 15 Core Weight: 1 Total Weight: -235 20.65/20.75 c Elapsed CPU time: 20.3609 s Remaining CPU time: 1779.64 s 20.76/20.83 c ============================[ Search Statistics ]============================== 20.76/20.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.76/20.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.76/20.83 c =============================================================================== 20.76/20.83 c | 0 | 1096 39253 94812 | 13084 0 nan | 0.000 % | 20.76/20.84 c =============================================================================== 20.76/20.84 c core #266 20.76/20.84 c Core size: 15 Core Weight: 1 Total Weight: -234 20.76/20.84 c Elapsed CPU time: 20.4419 s Remaining CPU time: 1779.56 s 20.86/20.91 c ============================[ Search Statistics ]============================== 20.86/20.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.86/20.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.86/20.91 c =============================================================================== 20.86/20.91 c | 0 | 1102 39254 94824 | 13084 0 nan | 0.000 % | 20.86/20.92 c =============================================================================== 20.86/20.92 c core #267 20.86/20.92 c Core size: 12 Core Weight: 1 Total Weight: -233 20.86/20.92 c Elapsed CPU time: 20.5229 s Remaining CPU time: 1779.48 s 20.95/21.00 c ============================[ Search Statistics ]============================== 20.95/21.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.95/21.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.95/21.00 c =============================================================================== 20.95/21.00 c | 0 | 1106 39255 94832 | 13085 0 nan | 0.000 % | 20.95/21.01 c =============================================================================== 20.95/21.01 c core #268 20.95/21.01 c Core size: 15 Core Weight: 1 Total Weight: -232 20.95/21.01 c Elapsed CPU time: 20.6079 s Remaining CPU time: 1779.39 s 20.95/21.08 c ============================[ Search Statistics ]============================== 20.95/21.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.95/21.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.95/21.08 c =============================================================================== 20.95/21.08 c | 0 | 1112 39256 94844 | 13085 0 nan | 0.000 % | 20.95/21.09 c =============================================================================== 20.95/21.09 c core #269 20.95/21.09 c Core size: 16 Core Weight: 1 Total Weight: -231 20.95/21.09 c Elapsed CPU time: 20.6909 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 | 1118 39257 94856 | 13085 0 nan | 0.000 % | 21.05/21.17 c =============================================================================== 21.05/21.17 c core #270 21.05/21.17 c Core size: 16 Core Weight: 1 Total Weight: -230 21.05/21.17 c Elapsed CPU time: 20.7728 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 | 1124 39258 94868 | 13086 0 nan | 0.000 % | 21.15/21.26 c =============================================================================== 21.15/21.26 c core #271 21.15/21.26 c Core size: 16 Core Weight: 1 Total Weight: -229 21.15/21.26 c Elapsed CPU time: 20.8538 s Remaining CPU time: 1779.15 s 21.25/21.33 c ============================[ Search Statistics ]============================== 21.25/21.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.25/21.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.25/21.33 c =============================================================================== 21.25/21.33 c | 0 | 1130 39259 94880 | 13086 0 nan | 0.000 % | 21.25/21.34 c =============================================================================== 21.25/21.34 c core #272 21.25/21.34 c Core size: 16 Core Weight: 1 Total Weight: -228 21.25/21.34 c Elapsed CPU time: 20.9358 s Remaining CPU time: 1779.06 s 21.36/21.41 c ============================[ Search Statistics ]============================== 21.36/21.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.36/21.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.36/21.42 c =============================================================================== 21.36/21.42 c | 0 | 1136 39260 94892 | 13086 0 nan | 0.000 % | 21.36/21.42 c =============================================================================== 21.36/21.42 c core #273 21.36/21.42 c Core size: 16 Core Weight: 1 Total Weight: -227 21.36/21.42 c Elapsed CPU time: 21.0158 s Remaining CPU time: 1778.98 s 21.46/21.50 c ============================[ Search Statistics ]============================== 21.46/21.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.46/21.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.46/21.50 c =============================================================================== 21.46/21.50 c | 0 | 1142 39261 94904 | 13087 0 nan | 0.000 % | 21.46/21.50 c =============================================================================== 21.46/21.50 c core #274 21.46/21.50 c Core size: 16 Core Weight: 1 Total Weight: -226 21.46/21.50 c Elapsed CPU time: 21.0968 s Remaining CPU time: 1778.9 s 21.46/21.58 c ============================[ Search Statistics ]============================== 21.46/21.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.46/21.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.46/21.58 c =============================================================================== 21.46/21.58 c | 0 | 1148 39262 94916 | 13087 0 nan | 0.000 % | 21.46/21.59 c =============================================================================== 21.46/21.59 c core #275 21.46/21.59 c Core size: 15 Core Weight: 1 Total Weight: -225 21.46/21.59 c Elapsed CPU time: 21.1788 s Remaining CPU time: 1778.82 s 21.55/21.66 c ============================[ Search Statistics ]============================== 21.55/21.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.55/21.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.55/21.66 c =============================================================================== 21.55/21.66 c | 0 | 1154 39263 94928 | 13087 0 nan | 0.000 % | 21.55/21.67 c =============================================================================== 21.55/21.67 c core #276 21.55/21.67 c Core size: 15 Core Weight: 1 Total Weight: -224 21.55/21.67 c Elapsed CPU time: 21.2598 s Remaining CPU time: 1778.74 s 21.66/21.74 c ============================[ Search Statistics ]============================== 21.66/21.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.66/21.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.66/21.74 c =============================================================================== 21.66/21.74 c | 0 | 1160 39264 94940 | 13088 0 nan | 0.000 % | 21.66/21.75 c =============================================================================== 21.66/21.75 c core #277 21.66/21.75 c Core size: 15 Core Weight: 1 Total Weight: -223 21.66/21.75 c Elapsed CPU time: 21.3398 s Remaining CPU time: 1778.66 s 21.75/21.83 c ============================[ Search Statistics ]============================== 21.75/21.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.75/21.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.75/21.83 c =============================================================================== 21.75/21.83 c | 0 | 1166 39265 94952 | 13088 0 nan | 0.000 % | 21.75/21.83 c =============================================================================== 21.75/21.83 c core #278 21.75/21.83 c Core size: 17 Core Weight: 1 Total Weight: -222 21.75/21.83 c Elapsed CPU time: 21.4217 s Remaining CPU time: 1778.58 s 21.85/21.91 c ============================[ Search Statistics ]============================== 21.85/21.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.85/21.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.85/21.91 c =============================================================================== 21.85/21.91 c | 0 | 1172 39266 94964 | 13088 0 nan | 0.000 % | 21.85/21.91 c =============================================================================== 21.85/21.91 c core #279 21.85/21.91 c Core size: 22 Core Weight: 1 Total Weight: -221 21.85/21.91 c Elapsed CPU time: 21.4987 s Remaining CPU time: 1778.5 s 21.85/21.99 c ============================[ Search Statistics ]============================== 21.85/21.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.85/21.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.85/21.99 c =============================================================================== 21.85/21.99 c | 0 | 1180 39267 94980 | 13089 0 nan | 0.000 % | 21.85/21.99 c =============================================================================== 21.85/21.99 c core #280 21.85/21.99 c Core size: 15 Core Weight: 1 Total Weight: -220 21.85/21.99 c Elapsed CPU time: 21.5757 s Remaining CPU time: 1778.42 s 21.96/22.07 c ============================[ Search Statistics ]============================== 21.96/22.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.96/22.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.96/22.07 c =============================================================================== 21.96/22.07 c | 0 | 1186 39268 94992 | 13089 0 nan | 0.000 % | 21.96/22.07 c =============================================================================== 21.96/22.07 c core #281 21.96/22.07 c Core size: 15 Core Weight: 1 Total Weight: -219 21.96/22.07 c Elapsed CPU time: 21.6557 s Remaining CPU time: 1778.34 s 22.05/22.15 c ============================[ Search Statistics ]============================== 22.05/22.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.05/22.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.05/22.15 c =============================================================================== 22.05/22.15 c | 0 | 1192 39269 95004 | 13089 0 nan | 0.000 % | 22.05/22.16 c =============================================================================== 22.05/22.16 c core #282 22.05/22.16 c Core size: 16 Core Weight: 1 Total Weight: -218 22.05/22.16 c Elapsed CPU time: 21.7367 s Remaining CPU time: 1778.26 s 22.15/22.23 c ============================[ Search Statistics ]============================== 22.15/22.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.15/22.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.15/22.23 c =============================================================================== 22.15/22.23 c | 0 | 1198 39270 95016 | 13090 0 nan | 0.000 % | 22.15/22.24 c =============================================================================== 22.15/22.24 c core #283 22.15/22.24 c Core size: 15 Core Weight: 1 Total Weight: -217 22.15/22.24 c Elapsed CPU time: 21.8187 s Remaining CPU time: 1778.18 s 22.25/22.31 c ============================[ Search Statistics ]============================== 22.25/22.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.25/22.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.25/22.31 c =============================================================================== 22.25/22.32 c | 0 | 1204 39271 95028 | 13090 0 nan | 0.000 % | 22.25/22.32 c =============================================================================== 22.25/22.32 c core #284 22.25/22.32 c Core size: 16 Core Weight: 1 Total Weight: -216 22.25/22.32 c Elapsed CPU time: 21.8967 s Remaining CPU time: 1778.1 s 22.34/22.40 c ============================[ Search Statistics ]============================== 22.34/22.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.34/22.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.34/22.40 c =============================================================================== 22.34/22.40 c | 0 | 1210 39272 95040 | 13090 0 nan | 0.000 % | 22.34/22.40 c =============================================================================== 22.34/22.40 c core #285 22.34/22.40 c Core size: 17 Core Weight: 1 Total Weight: -215 22.34/22.40 c Elapsed CPU time: 21.9767 s Remaining CPU time: 1778.02 s 22.34/22.48 c ============================[ Search Statistics ]============================== 22.34/22.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.34/22.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.34/22.48 c =============================================================================== 22.34/22.48 c | 0 | 1216 39273 95052 | 13091 0 nan | 0.000 % | 22.34/22.49 c =============================================================================== 22.34/22.49 c core #286 22.34/22.49 c Core size: 21 Core Weight: 1 Total Weight: -214 22.34/22.49 c Elapsed CPU time: 22.0556 s Remaining CPU time: 1777.94 s 22.44/22.56 c ============================[ Search Statistics ]============================== 22.44/22.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.44/22.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.44/22.56 c =============================================================================== 22.44/22.56 c | 0 | 1224 39274 95068 | 13091 0 nan | 0.000 % | 22.44/22.57 c =============================================================================== 22.44/22.57 c core #287 22.44/22.57 c Core size: 17 Core Weight: 1 Total Weight: -213 22.44/22.57 c Elapsed CPU time: 22.1346 s Remaining CPU time: 1777.87 s 22.55/22.64 c ============================[ Search Statistics ]============================== 22.55/22.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.55/22.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.55/22.64 c =============================================================================== 22.55/22.64 c | 0 | 1230 39275 95080 | 13091 0 nan | 0.000 % | 22.55/22.65 c =============================================================================== 22.55/22.65 c core #288 22.55/22.65 c Core size: 17 Core Weight: 1 Total Weight: -212 22.55/22.65 c Elapsed CPU time: 22.2136 s Remaining CPU time: 1777.79 s 22.65/22.72 c ============================[ Search Statistics ]============================== 22.65/22.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.65/22.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.65/22.72 c =============================================================================== 22.65/22.72 c | 0 | 1236 39276 95092 | 13092 0 nan | 0.000 % | 22.65/22.73 c =============================================================================== 22.65/22.73 c core #289 22.65/22.73 c Core size: 22 Core Weight: 1 Total Weight: -211 22.65/22.73 c Elapsed CPU time: 22.2946 s Remaining CPU time: 1777.71 s 22.75/22.80 c ============================[ Search Statistics ]============================== 22.75/22.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.75/22.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.75/22.80 c =============================================================================== 22.75/22.80 c | 0 | 1244 39277 95108 | 13092 0 nan | 0.000 % | 22.75/22.81 c =============================================================================== 22.75/22.81 c core #290 22.75/22.81 c Core size: 17 Core Weight: 1 Total Weight: -210 22.75/22.81 c Elapsed CPU time: 22.3726 s Remaining CPU time: 1777.63 s 22.75/22.88 c ============================[ Search Statistics ]============================== 22.75/22.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.75/22.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.75/22.89 c =============================================================================== 22.75/22.89 c | 0 | 1250 39278 95120 | 13092 0 nan | 0.000 % | 22.75/22.89 c =============================================================================== 22.75/22.89 c core #291 22.75/22.89 c Core size: 16 Core Weight: 1 Total Weight: -209 22.75/22.89 c Elapsed CPU time: 22.4536 s Remaining CPU time: 1777.55 s 22.84/22.97 c ============================[ Search Statistics ]============================== 22.84/22.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.84/22.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.84/22.97 c =============================================================================== 22.84/22.97 c | 0 | 1256 39279 95132 | 13093 0 nan | 0.000 % | 22.84/22.97 c =============================================================================== 22.84/22.97 c core #292 22.84/22.97 c Core size: 16 Core Weight: 1 Total Weight: -208 22.84/22.97 c Elapsed CPU time: 22.5336 s Remaining CPU time: 1777.47 s 22.94/23.05 c ============================[ Search Statistics ]============================== 22.94/23.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.94/23.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.94/23.05 c =============================================================================== 22.94/23.05 c | 0 | 1262 39280 95144 | 13093 0 nan | 0.000 % | 22.94/23.05 c =============================================================================== 22.94/23.05 c core #293 22.94/23.05 c Core size: 27 Core Weight: 1 Total Weight: -207 22.94/23.05 c Elapsed CPU time: 22.6136 s Remaining CPU time: 1777.39 s 23.04/23.13 c ============================[ Search Statistics ]============================== 23.04/23.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.04/23.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.04/23.13 c =============================================================================== 23.04/23.13 c | 0 | 1272 39281 95164 | 13093 0 nan | 0.000 % | 23.04/23.13 c =============================================================================== 23.04/23.13 c core #294 23.04/23.13 c Core size: 15 Core Weight: 1 Total Weight: -206 23.04/23.13 c Elapsed CPU time: 22.6915 s Remaining CPU time: 1777.31 s 23.15/23.21 c ============================[ Search Statistics ]============================== 23.15/23.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.15/23.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.15/23.21 c =============================================================================== 23.15/23.21 c | 0 | 1278 39282 95176 | 13094 0 nan | 0.000 % | 23.15/23.22 c =============================================================================== 23.15/23.22 c core #295 23.15/23.22 c Core size: 17 Core Weight: 1 Total Weight: -205 23.15/23.22 c Elapsed CPU time: 22.7705 s Remaining CPU time: 1777.23 s 23.15/23.29 c ============================[ Search Statistics ]============================== 23.15/23.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.15/23.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.15/23.29 c =============================================================================== 23.15/23.29 c | 0 | 1284 39283 95188 | 13094 0 nan | 0.000 % | 23.15/23.30 c =============================================================================== 23.24/23.30 c core #296 23.24/23.30 c Core size: 15 Core Weight: 1 Total Weight: -204 23.24/23.30 c Elapsed CPU time: 22.8495 s Remaining CPU time: 1777.15 s 23.24/23.37 c ============================[ Search Statistics ]============================== 23.24/23.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.24/23.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.24/23.37 c =============================================================================== 23.24/23.37 c | 0 | 1290 39284 95200 | 13094 0 nan | 0.000 % | 23.24/23.38 c =============================================================================== 23.24/23.38 c core #297 23.24/23.38 c Core size: 21 Core Weight: 1 Total Weight: -203 23.24/23.38 c Elapsed CPU time: 22.9275 s Remaining CPU time: 1777.07 s 23.34/23.45 c ============================[ Search Statistics ]============================== 23.34/23.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.34/23.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.34/23.45 c =============================================================================== 23.34/23.45 c | 0 | 1298 39285 95216 | 13095 0 nan | 0.000 % | 23.34/23.46 c =============================================================================== 23.34/23.46 c core #298 23.34/23.46 c Core size: 21 Core Weight: 1 Total Weight: -202 23.34/23.46 c Elapsed CPU time: 23.0085 s Remaining CPU time: 1776.99 s 23.44/23.54 c ============================[ Search Statistics ]============================== 23.44/23.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.44/23.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.44/23.54 c =============================================================================== 23.44/23.54 c | 0 | 1306 39286 95232 | 13095 0 nan | 0.000 % | 23.44/23.54 c =============================================================================== 23.44/23.54 c core #299 23.44/23.54 c Core size: 16 Core Weight: 1 Total Weight: -201 23.44/23.54 c Elapsed CPU time: 23.0875 s Remaining CPU time: 1776.91 s 23.54/23.62 c ============================[ Search Statistics ]============================== 23.54/23.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.54/23.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.54/23.62 c =============================================================================== 23.54/23.62 c | 0 | 1312 39287 95244 | 13095 0 nan | 0.000 % | 23.54/23.63 c =============================================================================== 23.54/23.63 c core #300 23.54/23.63 c Core size: 22 Core Weight: 1 Total Weight: -200 23.54/23.63 c Elapsed CPU time: 23.1655 s Remaining CPU time: 1776.83 s 23.64/23.70 c ============================[ Search Statistics ]============================== 23.64/23.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.64/23.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.64/23.70 c =============================================================================== 23.64/23.70 c | 0 | 1320 39288 95260 | 13096 0 nan | 0.000 % | 23.64/23.71 c =============================================================================== 23.64/23.71 c core #301 23.64/23.71 c Core size: 17 Core Weight: 1 Total Weight: -199 23.64/23.71 c Elapsed CPU time: 23.2455 s Remaining CPU time: 1776.75 s 23.64/23.78 c ============================[ Search Statistics ]============================== 23.64/23.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.64/23.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.64/23.78 c =============================================================================== 23.64/23.78 c | 0 | 1326 39289 95272 | 13096 0 nan | 0.000 % | 23.64/23.79 c =============================================================================== 23.64/23.79 c core #302 23.64/23.79 c Core size: 15 Core Weight: 1 Total Weight: -198 23.64/23.79 c Elapsed CPU time: 23.3255 s Remaining CPU time: 1776.67 s 23.74/23.86 c ============================[ Search Statistics ]============================== 23.74/23.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.74/23.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.74/23.86 c =============================================================================== 23.74/23.86 c | 0 | 1332 39290 95284 | 13096 0 nan | 0.000 % | 23.74/23.87 c =============================================================================== 23.74/23.87 c core #303 23.74/23.87 c Core size: 16 Core Weight: 1 Total Weight: -197 23.74/23.87 c Elapsed CPU time: 23.4064 s Remaining CPU time: 1776.59 s 23.84/23.95 c ============================[ Search Statistics ]============================== 23.84/23.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.84/23.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.84/23.95 c =============================================================================== 23.84/23.95 c | 0 | 1338 39291 95296 | 13097 0 nan | 0.000 % | 23.84/23.95 c =============================================================================== 23.84/23.95 c core #304 23.84/23.95 c Core size: 15 Core Weight: 1 Total Weight: -196 23.84/23.95 c Elapsed CPU time: 23.4874 s Remaining CPU time: 1776.51 s 23.94/24.03 c ============================[ Search Statistics ]============================== 23.94/24.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.94/24.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.94/24.03 c =============================================================================== 23.94/24.03 c | 0 | 1344 39292 95308 | 13097 0 nan | 0.000 % | 23.94/24.03 c =============================================================================== 23.94/24.03 c core #305 23.94/24.03 c Core size: 21 Core Weight: 1 Total Weight: -195 23.94/24.03 c Elapsed CPU time: 23.5654 s Remaining CPU time: 1776.43 s 24.04/24.11 c ============================[ Search Statistics ]============================== 24.04/24.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.04/24.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.04/24.11 c =============================================================================== 24.04/24.11 c | 0 | 1352 39293 95324 | 13097 0 nan | 0.000 % | 24.04/24.12 c =============================================================================== 24.04/24.12 c core #306 24.04/24.12 c Core size: 22 Core Weight: 1 Total Weight: -194 24.04/24.12 c Elapsed CPU time: 23.6464 s Remaining CPU time: 1776.35 s 24.04/24.19 c ============================[ Search Statistics ]============================== 24.04/24.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.04/24.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.04/24.19 c =============================================================================== 24.04/24.19 c | 0 | 1360 39294 95340 | 13098 0 nan | 0.000 % | 24.04/24.20 c =============================================================================== 24.04/24.20 c core #307 24.04/24.20 c Core size: 17 Core Weight: 1 Total Weight: -193 24.04/24.20 c Elapsed CPU time: 23.7254 s Remaining CPU time: 1776.27 s 24.13/24.28 c ============================[ Search Statistics ]============================== 24.13/24.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.13/24.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.13/24.28 c =============================================================================== 24.13/24.28 c | 0 | 1366 39295 95352 | 13098 0 nan | 0.000 % | 24.13/24.28 c =============================================================================== 24.13/24.28 c core #308 24.13/24.28 c Core size: 16 Core Weight: 1 Total Weight: -192 24.13/24.28 c Elapsed CPU time: 23.8094 s Remaining CPU time: 1776.19 s 24.23/24.36 c ============================[ Search Statistics ]============================== 24.23/24.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.23/24.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.23/24.36 c =============================================================================== 24.23/24.36 c | 0 | 1372 39296 95364 | 13098 0 nan | 0.000 % | 24.23/24.37 c =============================================================================== 24.23/24.37 c core #309 24.23/24.37 c Core size: 15 Core Weight: 1 Total Weight: -191 24.23/24.37 c Elapsed CPU time: 23.8934 s Remaining CPU time: 1776.11 s 24.34/24.44 c ============================[ Search Statistics ]============================== 24.34/24.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.34/24.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.34/24.44 c =============================================================================== 24.34/24.44 c | 0 | 1378 39297 95376 | 13099 0 nan | 0.000 % | 24.34/24.45 c =============================================================================== 24.34/24.45 c core #310 24.34/24.45 c Core size: 21 Core Weight: 1 Total Weight: -190 24.34/24.45 c Elapsed CPU time: 23.9724 s Remaining CPU time: 1776.03 s 24.43/24.53 c ============================[ Search Statistics ]============================== 24.43/24.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.43/24.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.43/24.53 c =============================================================================== 24.43/24.53 c | 0 | 1386 39298 95392 | 13099 0 nan | 0.000 % | 24.43/24.53 c =============================================================================== 24.43/24.53 c core #311 24.43/24.53 c Core size: 17 Core Weight: 1 Total Weight: -189 24.43/24.53 c Elapsed CPU time: 24.0503 s Remaining CPU time: 1775.95 s 24.53/24.61 c ============================[ Search Statistics ]============================== 24.53/24.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.53/24.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.53/24.61 c =============================================================================== 24.53/24.61 c | 0 | 1392 39299 95404 | 13099 0 nan | 0.000 % | 24.53/24.62 c =============================================================================== 24.53/24.62 c core #312 24.53/24.62 c Core size: 21 Core Weight: 1 Total Weight: -188 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 | 1400 39300 95420 | 13100 0 nan | 0.000 % | 24.63/24.70 c =============================================================================== 24.63/24.70 c core #313 24.63/24.70 c Core size: 26 Core Weight: 1 Total Weight: -187 24.63/24.70 c Elapsed CPU time: 24.2103 s Remaining CPU time: 1775.79 s 24.63/24.77 c ============================[ Search Statistics ]============================== 24.63/24.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.63/24.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.63/24.77 c =============================================================================== 24.63/24.77 c | 0 | 1410 39301 95440 | 13100 0 nan | 0.000 % | 24.63/24.78 c =============================================================================== 24.63/24.78 c core #314 24.63/24.78 c Core size: 21 Core Weight: 1 Total Weight: -186 24.63/24.78 c Elapsed CPU time: 24.2913 s Remaining CPU time: 1775.71 s 24.73/24.86 c ============================[ Search Statistics ]============================== 24.73/24.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.73/24.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.73/24.86 c =============================================================================== 24.73/24.86 c | 0 | 1418 39302 95456 | 13100 0 nan | 0.000 % | 24.73/24.86 c =============================================================================== 24.73/24.86 c core #315 24.73/24.86 c Core size: 20 Core Weight: 1 Total Weight: -185 24.73/24.86 c Elapsed CPU time: 24.3703 s Remaining CPU time: 1775.63 s 24.83/24.94 c ============================[ Search Statistics ]============================== 24.83/24.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.83/24.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.83/24.94 c =============================================================================== 24.83/24.94 c | 0 | 1426 39303 95472 | 13101 0 nan | 0.000 % | 24.83/24.95 c =============================================================================== 24.83/24.95 c core #316 24.83/24.95 c Core size: 21 Core Weight: 1 Total Weight: -184 24.83/24.95 c Elapsed CPU time: 24.4543 s Remaining CPU time: 1775.55 s 24.93/25.02 c ============================[ Search Statistics ]============================== 24.93/25.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.93/25.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.93/25.02 c =============================================================================== 24.93/25.02 c | 0 | 1434 39304 95488 | 13101 0 nan | 0.000 % | 24.93/25.03 c =============================================================================== 24.93/25.03 c core #317 24.93/25.03 c Core size: 21 Core Weight: 1 Total Weight: -183 24.93/25.03 c Elapsed CPU time: 24.5343 s Remaining CPU time: 1775.47 s 25.03/25.10 c ============================[ Search Statistics ]============================== 25.03/25.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.03/25.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.03/25.10 c =============================================================================== 25.03/25.10 c | 0 | 1442 39305 95504 | 13101 0 nan | 0.000 % | 25.03/25.11 c =============================================================================== 25.03/25.11 c core #318 25.03/25.11 c Core size: 20 Core Weight: 1 Total Weight: -182 25.03/25.11 c Elapsed CPU time: 24.6133 s Remaining CPU time: 1775.39 s 25.03/25.19 c ============================[ Search Statistics ]============================== 25.03/25.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.03/25.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.03/25.19 c =============================================================================== 25.03/25.19 c | 0 | 1450 39306 95520 | 13102 0 nan | 0.000 % | 25.03/25.19 c =============================================================================== 25.03/25.19 c core #319 25.03/25.19 c Core size: 22 Core Weight: 1 Total Weight: -181 25.03/25.19 c Elapsed CPU time: 24.6962 s Remaining CPU time: 1775.3 s 25.14/25.27 c ============================[ Search Statistics ]============================== 25.14/25.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.14/25.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.14/25.27 c =============================================================================== 25.14/25.27 c | 0 | 1458 39307 95536 | 13102 0 nan | 0.000 % | 25.14/25.28 c =============================================================================== 25.14/25.28 c core #320 25.14/25.28 c Core size: 27 Core Weight: 1 Total Weight: -180 25.14/25.28 c Elapsed CPU time: 24.7772 s Remaining CPU time: 1775.22 s 25.23/25.35 c ============================[ Search Statistics ]============================== 25.23/25.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.23/25.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.23/25.35 c =============================================================================== 25.23/25.35 c | 0 | 1468 39308 95556 | 13102 0 nan | 0.000 % | 25.23/25.36 c =============================================================================== 25.23/25.36 c core #321 25.23/25.36 c Core size: 40 Core Weight: 1 Total Weight: -179 25.23/25.36 c Elapsed CPU time: 24.8552 s Remaining CPU time: 1775.14 s 25.32/25.44 c ============================[ Search Statistics ]============================== 25.32/25.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.32/25.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.32/25.44 c =============================================================================== 25.32/25.44 c | 0 | 1483 39309 95586 | 13103 0 nan | 0.000 % | 25.32/25.44 c =============================================================================== 25.32/25.44 c core #322 25.32/25.44 c Core size: 33 Core Weight: 1 Total Weight: -178 25.32/25.44 c Elapsed CPU time: 24.9372 s Remaining CPU time: 1775.06 s 25.42/25.52 c ============================[ Search Statistics ]============================== 25.42/25.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.42/25.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.42/25.52 c =============================================================================== 25.42/25.52 c | 0 | 1494 39310 95608 | 13103 0 nan | 0.000 % | 25.42/25.53 c =============================================================================== 25.42/25.53 c core #323 25.42/25.53 c Core size: 101 Core Weight: 1 Total Weight: -177 25.42/25.53 c Elapsed CPU time: 25.0182 s Remaining CPU time: 1774.98 s 25.53/25.60 c ============================[ Search Statistics ]============================== 25.53/25.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.53/25.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.53/25.60 c =============================================================================== 25.53/25.60 c | 0 | 1526 39311 95672 | 13103 0 nan | 0.000 % | 25.53/25.62 c =============================================================================== 25.53/25.62 c core #324 25.53/25.62 c Core size: 125 Core Weight: 1 Total Weight: -176 25.53/25.62 c Elapsed CPU time: 25.1012 s Remaining CPU time: 1774.9 s 25.62/25.70 c ============================[ Search Statistics ]============================== 25.62/25.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.62/25.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.62/25.70 c =============================================================================== 25.62/25.70 c | 0 | 1561 39312 95742 | 13104 0 nan | 0.000 % | 25.62/25.71 c | 100 | 1561 39312 95742 | 14414 100 20 | 92.312 % | 25.62/25.71 c =============================================================================== 25.62/25.71 c core #325 25.62/25.71 c Core size: 211 Core Weight: 1 Total Weight: -175 25.62/25.71 c Elapsed CPU time: 25.1962 s Remaining CPU time: 1774.8 s 25.62/25.79 c ============================[ Search Statistics ]============================== 25.62/25.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.62/25.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.62/25.79 c =============================================================================== 25.62/25.79 c | 0 | 1612 39313 95844 | 13104 0 nan | 0.000 % | 25.72/25.80 c =============================================================================== 25.72/25.80 c core #326 25.72/25.80 c Core size: 73 Core Weight: 1 Total Weight: -174 25.72/25.80 c Elapsed CPU time: 25.2802 s Remaining CPU time: 1774.72 s 25.72/25.88 c ============================[ Search Statistics ]============================== 25.72/25.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.72/25.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.72/25.88 c =============================================================================== 25.72/25.88 c | 0 | 1634 39314 95888 | 13104 0 nan | 0.000 % | 25.72/25.89 c | 100 | 1634 39314 95888 | 14415 100 25 | 91.982 % | 25.82/25.90 c | 253 | 1634 39314 95888 | 15856 253 34 | 91.982 % | 25.82/25.92 c | 480 | 1634 39314 95888 | 17442 480 39 | 91.982 % | 25.82/25.95 c | 819 | 1634 39314 95888 | 19186 819 45 | 91.982 % | 25.82/25.98 c =============================================================================== 25.82/25.98 c core #327 25.82/25.98 c Core size: 359 Core Weight: 1 Total Weight: -173 25.82/25.98 c Elapsed CPU time: 25.4531 s Remaining CPU time: 1774.55 s 25.93/26.06 c ============================[ Search Statistics ]============================== 25.93/26.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.93/26.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.93/26.06 c =============================================================================== 25.93/26.06 c | 0 | 1705 39315 96030 | 13105 0 nan | 0.000 % | 25.93/26.07 c | 102 | 1705 39315 96030 | 14415 102 27 | 91.662 % | 25.93/26.08 c | 253 | 1705 39315 96030 | 15857 253 32 | 91.662 % | 26.02/26.10 c | 480 | 1705 39315 96030 | 17442 480 27 | 91.662 % | 26.02/26.11 c =============================================================================== 26.02/26.11 c core #328 26.02/26.11 c Core size: 297 Core Weight: 1 Total Weight: -172 26.02/26.11 c Elapsed CPU time: 25.5831 s Remaining CPU time: 1774.42 s 26.02/26.19 c ============================[ Search Statistics ]============================== 26.02/26.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.02/26.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.02/26.19 c =============================================================================== 26.02/26.19 c | 0 | 1768 39316 96156 | 13105 0 nan | 0.000 % | 26.12/26.20 c | 101 | 1768 39316 96156 | 14415 101 21 | 91.381 % | 26.12/26.21 c | 252 | 1768 39316 96156 | 15857 252 19 | 91.381 % | 26.12/26.23 c | 477 | 1767 39316 96156 | 17443 477 18 | 91.390 % | 26.12/26.24 c =============================================================================== 26.12/26.24 c core #329 26.12/26.24 c Core size: 374 Core Weight: 1 Total Weight: -171 26.12/26.24 c Elapsed CPU time: 25.7071 s Remaining CPU time: 1774.29 s 26.23/26.32 c ============================[ Search Statistics ]============================== 26.23/26.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.23/26.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.23/26.32 c =============================================================================== 26.23/26.32 c | 0 | 1837 39317 96294 | 13105 0 nan | 0.000 % | 26.23/26.34 c | 101 | 1837 39317 96294 | 14416 101 40 | 91.074 % | 26.23/26.35 c | 252 | 1837 39317 96294 | 15857 252 40 | 91.074 % | 26.23/26.36 c | 479 | 1837 39317 96294 | 17443 479 33 | 91.074 % | 26.23/26.36 c =============================================================================== 26.23/26.36 c core #330 26.23/26.36 c Core size: 207 Core Weight: 1 Total Weight: -170 26.23/26.36 c Elapsed CPU time: 25.8241 s Remaining CPU time: 1774.18 s 26.32/26.44 c ============================[ Search Statistics ]============================== 26.32/26.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.32/26.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.32/26.44 c =============================================================================== 26.32/26.44 c | 0 | 1881 39318 96382 | 13106 0 nan | 0.000 % | 26.32/26.46 c | 100 | 1881 39318 96382 | 14416 100 51 | 90.880 % | 26.32/26.47 c | 251 | 1881 39318 96382 | 15858 251 36 | 90.880 % | 26.32/26.48 c | 477 | 1881 39318 96382 | 17444 477 37 | 90.880 % | 26.32/26.49 c =============================================================================== 26.32/26.49 c core #331 26.32/26.49 c Core size: 345 Core Weight: 1 Total Weight: -169 26.32/26.49 c Elapsed CPU time: 25.9481 s Remaining CPU time: 1774.05 s 26.42/26.57 c ============================[ Search Statistics ]============================== 26.42/26.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.42/26.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.42/26.57 c =============================================================================== 26.42/26.57 c | 0 | 1950 39319 96520 | 13106 0 nan | 0.000 % | 26.42/26.58 c | 102 | 1949 39319 96520 | 14416 102 11 | 90.582 % | 26.42/26.59 c =============================================================================== 26.42/26.59 c core #332 26.42/26.59 c Core size: 200 Core Weight: 1 Total Weight: -168 26.42/26.59 c Elapsed CPU time: 26.046 s Remaining CPU time: 1773.95 s 26.52/26.67 c ============================[ Search Statistics ]============================== 26.52/26.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.52/26.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.52/26.67 c =============================================================================== 26.52/26.68 c | 0 | 1990 39320 96600 | 13106 0 nan | 0.000 % | 26.52/26.69 c | 101 | 1990 39320 96600 | 14417 101 19 | 90.402 % | 26.52/26.70 c | 252 | 1989 39320 96600 | 15859 252 21 | 90.407 % | 26.62/26.70 c =============================================================================== 26.62/26.70 c core #333 26.62/26.70 c Core size: 228 Core Weight: 1 Total Weight: -167 26.62/26.70 c Elapsed CPU time: 26.151 s Remaining CPU time: 1773.85 s 26.62/26.78 c ============================[ Search Statistics ]============================== 26.62/26.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.62/26.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.62/26.78 c =============================================================================== 26.62/26.78 c | 0 | 2038 39321 96696 | 13107 0 nan | 0.000 % | 26.62/26.79 c | 100 | 2038 39321 96696 | 14417 100 30 | 90.193 % | 26.72/26.80 c =============================================================================== 26.72/26.80 c core #334 26.72/26.80 c Core size: 151 Core Weight: 1 Total Weight: -166 26.72/26.80 c Elapsed CPU time: 26.249 s Remaining CPU time: 1773.75 s 26.72/26.89 c ============================[ Search Statistics ]============================== 26.72/26.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.72/26.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.72/26.89 c =============================================================================== 26.72/26.89 c | 0 | 2074 39322 96768 | 13107 0 nan | 0.000 % | 26.82/26.90 c | 101 | 2074 39322 96768 | 14418 101 30 | 90.037 % | 26.82/26.91 c | 252 | 2074 39322 96768 | 15859 252 24 | 90.037 % | 26.82/26.92 c | 477 | 2071 39322 96768 | 17445 477 33 | 90.052 % | 26.82/26.94 c =============================================================================== 26.82/26.94 c core #335 26.82/26.94 c Core size: 266 Core Weight: 1 Total Weight: -165 26.82/26.94 c Elapsed CPU time: 26.382 s Remaining CPU time: 1773.62 s 26.92/27.02 c ============================[ Search Statistics ]============================== 26.92/27.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.92/27.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.92/27.02 c =============================================================================== 26.92/27.02 c | 0 | 2143 39323 96906 | 13107 0 nan | 0.000 % | 26.92/27.03 c | 100 | 2143 39323 96906 | 14418 100 21 | 89.740 % | 26.92/27.04 c | 250 | 2142 39323 96906 | 15860 250 19 | 89.745 % | 26.92/27.05 c =============================================================================== 26.92/27.05 c core #336 26.92/27.05 c Core size: 353 Core Weight: 1 Total Weight: -164 26.92/27.05 c Elapsed CPU time: 26.491 s Remaining CPU time: 1773.51 s 27.02/27.13 c ============================[ Search Statistics ]============================== 27.02/27.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.02/27.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.02/27.13 c =============================================================================== 27.02/27.13 c | 0 | 2213 39324 97046 | 13108 0 nan | 0.000 % | 27.02/27.15 c | 100 | 2213 39324 97046 | 14418 100 21 | 89.440 % | 27.02/27.16 c | 250 | 2213 39324 97046 | 15860 250 18 | 89.440 % | 27.02/27.17 c | 476 | 2213 39324 97046 | 17446 476 21 | 89.440 % | 27.02/27.19 c | 814 | 2213 39324 97046 | 19191 814 28 | 89.440 % | 27.12/27.21 c =============================================================================== 27.12/27.21 c core #337 27.12/27.21 c Core size: 442 Core Weight: 1 Total Weight: -163 27.12/27.21 c Elapsed CPU time: 26.6419 s Remaining CPU time: 1773.36 s 27.12/27.29 c ============================[ Search Statistics ]============================== 27.12/27.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.12/27.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.12/27.29 c =============================================================================== 27.12/27.29 c | 0 | 2285 39325 97190 | 13108 0 nan | 0.000 % | 27.21/27.31 c | 100 | 2285 39325 97190 | 14419 100 19 | 89.134 % | 27.21/27.31 c | 250 | 2285 39325 97190 | 15861 250 19 | 89.134 % | 27.21/27.33 c | 476 | 2285 39325 97190 | 17447 476 21 | 89.134 % | 27.21/27.36 c | 814 | 2284 39325 97190 | 19191 814 35 | 89.139 % | 27.32/27.41 c | 1320 | 2284 39325 97190 | 21111 1318 53 | 89.139 % | 27.32/27.43 c =============================================================================== 27.32/27.43 c core #338 27.32/27.43 c Core size: 332 Core Weight: 1 Total Weight: -162 27.32/27.43 c Elapsed CPU time: 26.8479 s Remaining CPU time: 1773.15 s 27.42/27.51 c ============================[ Search Statistics ]============================== 27.42/27.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.42/27.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.42/27.51 c =============================================================================== 27.42/27.51 c | 0 | 2354 39326 97328 | 13108 0 nan | 0.000 % | 27.42/27.53 c | 100 | 2354 39326 97328 | 14419 100 26 | 88.843 % | 27.42/27.53 c | 250 | 2354 39326 97328 | 15861 250 19 | 88.843 % | 27.42/27.55 c | 475 | 2354 39326 97328 | 17447 475 25 | 88.843 % | 27.42/27.57 c | 813 | 2354 39326 97328 | 19192 813 34 | 88.843 % | 27.51/27.61 c =============================================================================== 27.51/27.62 c core #339 27.51/27.62 c Core size: 450 Core Weight: 1 Total Weight: -161 27.51/27.62 c Elapsed CPU time: 27.0299 s Remaining CPU time: 1772.97 s 27.62/27.70 c ============================[ Search Statistics ]============================== 27.62/27.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.62/27.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.62/27.70 c =============================================================================== 27.62/27.70 c | 0 | 2416 39327 97452 | 13109 0 nan | 0.000 % | 27.62/27.72 c | 100 | 2416 39327 97452 | 14419 100 48 | 88.582 % | 27.62/27.72 c | 252 | 2416 39327 97452 | 15861 252 32 | 88.582 % | 27.62/27.73 c | 480 | 2416 39327 97452 | 17448 480 27 | 88.582 % | 27.62/27.76 c | 817 | 2416 39327 97452 | 19192 817 27 | 88.582 % | 27.62/27.80 c | 1324 | 2416 39327 97452 | 21112 1324 42 | 88.582 % | 27.72/27.87 c | 2084 | 2416 39327 97452 | 23223 2084 59 | 88.582 % | 27.91/28.04 c | 3223 | 2416 39327 97452 | 25545 3223 77 | 88.582 % | 28.02/28.18 c =============================================================================== 28.12/28.22 c core #340 28.12/28.22 c Core size: 728 Core Weight: 1 Total Weight: -160 28.12/28.22 c Elapsed CPU time: 27.6148 s Remaining CPU time: 1772.39 s 28.21/28.31 c ============================[ Search Statistics ]============================== 28.21/28.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.21/28.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.21/28.31 c =============================================================================== 28.21/28.31 c | 0 | 2504 39328 97628 | 13109 0 nan | 0.000 % | 28.21/28.32 c | 101 | 2504 39328 97628 | 14420 101 26 | 88.215 % | 28.21/28.33 c | 253 | 2504 39328 97628 | 15862 253 26 | 88.215 % | 28.21/28.34 c | 478 | 2504 39328 97628 | 17448 478 23 | 88.215 % | 28.21/28.36 c | 815 | 2504 39328 97628 | 19193 815 24 | 88.215 % | 28.21/28.40 c | 1321 | 2504 39328 97628 | 21112 1321 27 | 88.215 % | 28.31/28.48 c | 2082 | 2504 39328 97628 | 23223 2082 44 | 88.215 % | 28.52/28.67 c | 3221 | 2504 39328 97628 | 25546 3221 73 | 88.215 % | 28.81/28.98 c | 4930 | 2504 39328 97628 | 28101 4930 80 | 88.215 % | 29.12/29.22 c | 7499 | 2504 39328 97628 | 30911 7499 67 | 88.215 % | 29.71/29.88 c | 11344 | 2504 39328 97628 | 34002 11344 66 | 88.215 % | 31.51/31.64 c | 17110 | 2504 39328 97628 | 37402 17110 70 | 88.215 % | 35.41/35.51 c | 25767 | 2504 39328 97628 | 41142 25767 85 | 88.215 % | 44.30/44.46 c =============================================================================== 44.80/44.94 c core #341 44.80/44.94 c Core size: 987 Core Weight: 1 Total Weight: -159 44.80/44.94 c Elapsed CPU time: 44.1703 s Remaining CPU time: 1755.83 s 44.90/45.06 c ============================[ Search Statistics ]============================== 44.90/45.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 44.90/45.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 44.90/45.06 c =============================================================================== 44.90/45.06 c | 0 | 2605 39329 97830 | 13109 0 nan | 0.000 % | 44.90/45.08 c | 101 | 2605 39329 97830 | 14420 101 39 | 87.798 % | 44.90/45.09 c | 251 | 2605 39329 97830 | 15862 251 32 | 87.798 % | 45.01/45.11 c | 479 | 2605 39329 97830 | 17448 479 38 | 87.798 % | 45.01/45.12 c | 817 | 2605 39329 97830 | 19193 817 29 | 87.798 % | 45.01/45.16 c | 1324 | 2605 39329 97830 | 21113 1324 41 | 87.798 % | 45.10/45.23 c | 2086 | 2605 39329 97830 | 23224 2086 49 | 87.798 % | 45.20/45.38 c | 3226 | 2605 39329 97830 | 25547 3226 68 | 87.798 % | 45.60/45.71 c | 4934 | 2605 39329 97830 | 28101 4934 88 | 87.798 % | 46.01/46.17 c | 7497 | 2605 39329 97830 | 30911 7497 87 | 87.798 % | 46.21/46.36 c =============================================================================== 46.21/46.39 c core #342 46.21/46.39 c Core size: 1074 Core Weight: 1 Total Weight: -158 46.21/46.39 c Elapsed CPU time: 45.5971 s Remaining CPU time: 1754.4 s 46.31/46.48 c ============================[ Search Statistics ]============================== 46.31/46.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 46.31/46.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 46.31/46.48 c =============================================================================== 46.31/46.48 c | 0 | 2711 39330 98042 | 13110 0 nan | 0.000 % | 46.41/46.50 c | 100 | 2711 39330 98042 | 14421 100 27 | 87.364 % | 46.41/46.51 c | 250 | 2711 39330 98042 | 15863 250 23 | 87.364 % | 46.41/46.52 c | 475 | 2711 39330 98042 | 17449 475 22 | 87.364 % | 46.41/46.54 c | 813 | 2711 39330 98042 | 19194 813 23 | 87.364 % | 46.41/46.58 c | 1319 | 2711 39330 98042 | 21113 1319 26 | 87.364 % | 46.50/46.68 c | 2078 | 2710 39330 98042 | 23225 2076 51 | 87.369 % | 46.61/46.76 c =============================================================================== 46.61/46.78 c core #343 46.61/46.78 c Core size: 671 Core Weight: 1 Total Weight: -157 46.61/46.78 c Elapsed CPU time: 45.971 s Remaining CPU time: 1754.03 s 46.70/46.87 c ============================[ Search Statistics ]============================== 46.70/46.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 46.70/46.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 46.70/46.87 c =============================================================================== 46.70/46.87 c | 0 | 2791 39331 98202 | 13110 0 nan | 0.000 % | 46.70/46.89 c | 100 | 2791 39331 98202 | 14421 100 35 | 87.040 % | 46.80/46.90 c | 250 | 2791 39331 98202 | 15863 250 32 | 87.040 % | 46.80/46.91 c | 475 | 2791 39331 98202 | 17449 475 33 | 87.040 % | 46.80/46.93 c | 812 | 2791 39331 98202 | 19194 812 34 | 87.040 % | 46.80/46.96 c | 1318 | 2791 39331 98202 | 21114 1318 37 | 87.040 % | 46.90/47.03 c | 2078 | 2791 39331 98202 | 23225 2078 45 | 87.040 % | 47.01/47.14 c | 3219 | 2791 39331 98202 | 25548 3219 50 | 87.040 % | 47.30/47.42 c | 4927 | 2791 39331 98202 | 28103 4927 78 | 87.040 % | 47.90/48.03 c | 7489 | 2791 39331 98202 | 30913 7489 98 | 87.040 % | 49.10/49.22 c | 11333 | 2791 39331 98202 | 34004 11333 119 | 87.040 % | 51.30/51.45 c | 17101 | 2791 39331 98202 | 37405 17101 117 | 87.040 % | 57.01/57.17 c | 25751 | 2791 39331 98202 | 41145 25751 127 | 87.040 % | 68.80/68.91 c | 38726 | 2791 39331 98202 | 45260 38726 137 | 87.040 % | 101.78/101.96 c | 58188 | 2791 39331 98202 | 49786 58188 162 | 87.040 % | 139.97/140.15 c | 87381 | 2791 39331 98202 | 54765 33772 133 | 87.040 % | 215.64/215.82 c | 131171 | 2791 39331 98202 | 60241 20046 123 | 87.040 % | 345.90/346.17 c | 196856 | 2791 39331 98202 | 66265 23907 189 | 87.040 % | 493.74/494.04 c | 295384 | 2791 39331 98202 | 72892 52258 166 | 87.040 % | 1116.02/1116.59 c | 443173 | 2791 39331 98202 | 80181 56148 584 | 87.040 % |
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-1875339-1245199672/watcher-1875339-1245199672 -o /tmp/evaluation-result-1875339-1245199672/solver-1875339-1245199672 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875339-1245199672.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.01 1.00 3/64 6994 /proc/meminfo: memFree=1787896/2055920 swapFree=4182476/4192956 [pid=6994] ppid=6992 vsize=4384 CPUtime=0 /proc/6994/stat : 6994 (wbo) R 6992 6994 6663 0 -1 4194304 269 0 0 0 0 0 0 0 18 0 1 0 187561439 4489216 253 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/6994/statm: 1096 262 125 292 0 406 0 [startup+0.0185541 s] /proc/loadavg: 1.00 1.01 1.00 3/64 6994 /proc/meminfo: memFree=1787896/2055920 swapFree=4182476/4192956 [pid=6994] ppid=6992 vsize=5488 CPUtime=0.01 /proc/6994/stat : 6994 (wbo) R 6992 6994 6663 0 -1 4194304 536 0 0 0 1 0 0 0 18 0 1 0 187561439 5619712 520 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/6994/statm: 1372 521 140 292 0 682 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 5488 [startup+0.101569 s] /proc/loadavg: 1.00 1.01 1.00 3/64 6994 /proc/meminfo: memFree=1787896/2055920 swapFree=4182476/4192956 [pid=6994] ppid=6992 vsize=8680 CPUtime=0.09 /proc/6994/stat : 6994 (wbo) R 6992 6994 6663 0 -1 4194304 1413 0 0 0 9 0 0 0 18 0 1 0 187561439 8888320 1397 1992294400 134512640 135709839 4294956240 18446744073709551615 134544743 0 0 4096 3 0 0 0 17 1 0 0 /proc/6994/statm: 2170 1397 256 292 0 1480 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8680 [startup+0.301605 s] /proc/loadavg: 1.00 1.01 1.00 3/64 6994 /proc/meminfo: memFree=1787896/2055920 swapFree=4182476/4192956 [pid=6994] ppid=6992 vsize=15412 CPUtime=0.29 /proc/6994/stat : 6994 (wbo) R 6992 6994 6663 0 -1 4194304 3674 0 0 0 28 1 0 0 18 0 1 0 187561439 15781888 3231 1992294400 134512640 135709839 4294956240 18446744073709551615 135164441 0 0 4096 3 0 0 0 17 1 0 0 /proc/6994/statm: 3853 3231 134 292 0 3558 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15412 [startup+0.701678 s] /proc/loadavg: 1.00 1.01 1.00 3/64 6994 /proc/meminfo: memFree=1787896/2055920 swapFree=4182476/4192956 [pid=6994] ppid=6992 vsize=22800 CPUtime=0.69 /proc/6994/stat : 6994 (wbo) R 6992 6994 6663 0 -1 4194304 6244 0 0 0 67 2 0 0 21 0 1 0 187561439 23347200 5195 1992294400 134512640 135709839 4294956240 18446744073709551615 135162139 0 0 4096 3 0 0 0 17 1 0 0 /proc/6994/statm: 5700 5195 134 292 0 5405 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 22800 [startup+1.50282 s] /proc/loadavg: 1.00 1.01 1.00 2/65 6995 /proc/meminfo: memFree=1762544/2055920 swapFree=4182476/4192956 [pid=6994] ppid=6992 vsize=36220 CPUtime=1.49 /proc/6994/stat : 6994 (wbo) R 6992 6994 6663 0 -1 4194304 9594 0 0 0 146 3 0 0 25 0 1 0 187561439 37089280 8545 1992294400 134512640 135709839 4294956240 18446744073709551615 134605451 0 0 4096 3 0 0 0 17 1 0 0 /proc/6994/statm: 9055 8546 134 292 0 8760 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 36220 [startup+3.10111 s] /proc/loadavg: 1.00 1.01 1.00 2/65 6995 /proc/meminfo: memFree=1743984/2055920 swapFree=4182476/4192956 [pid=6994] ppid=6992 vsize=63428 CPUtime=3.09 /proc/6994/stat : 6994 (wbo) R 6992 6994 6663 0 -1 4194304 16402 0 0 0 303 6 0 0 25 0 1 0 187561439 64950272 15353 1992294400 134512640 135709839 4294956240 18446744073709551615 135168133 0 0 4096 3 0 0 0 17 1 0 0 /proc/6994/statm: 15857 15353 134 292 0 15562 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 63428 [startup+6.30169 s] /proc/loadavg: 1.00 1.01 1.00 2/65 6995 /proc/meminfo: memFree=1688240/2055920 swapFree=4182476/4192956 [pid=6994] ppid=6992 vsize=116620 CPUtime=6.29 /proc/6994/stat : 6994 (wbo) R 6992 6994 6663 0 -1 4194304 29644 0 0 0 618 11 0 0 25 0 1 0 187561439 119418880 28595 1992294400 134512640 135709839 4294956240 18446744073709551615 134607027 0 0 4096 3 0 0 0 17 1 0 0 /proc/6994/statm: 29155 28595 134 292 0 28860 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 116620 [startup+12.7019 s] /proc/loadavg: 1.00 1.01 1.00 2/65 6995 /proc/meminfo: memFree=1581824/2055920 swapFree=4182476/4192956 [pid=6994] ppid=6992 vsize=219144 CPUtime=12.67 /proc/6994/stat : 6994 (wbo) R 6992 6994 6663 0 -1 4194304 55330 0 0 0 1244 23 0 0 25 0 1 0 187561439 224403456 54281 1992294400 134512640 135709839 4294956240 18446744073709551615 134574738 0 0 4096 3 0 0 0 17 1 0 0 /proc/6994/statm: 54786 54281 134 292 0 54491 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 219144 [startup+25.5012 s] /proc/loadavg: 1.00 1.01 1.00 2/65 6995 /proc/meminfo: memFree=1374400/2055920 swapFree=4182476/4192956 [pid=6994] ppid=6992 vsize=419244 CPUtime=25.42 /proc/6994/stat : 6994 (wbo) R 6992 6994 6663 0 -1 4194304 105355 0 0 0 2498 44 0 0 25 0 1 0 187561439 429305856 104306 1992294400 134512640 135709839 4294956240 18446744073709551615 134605451 0 0 4096 3 0 0 0 17 1 0 0 /proc/6994/statm: 104811 104306 135 292 0 104516 0 Current children cumulated CPU time (s) 25.42 Current children cumulated vsize (KiB) 419244 [startup+51.1018 s] /proc/loadavg: 1.00 1.01 1.00 2/65 6995 /proc/meminfo: memFree=1318656/2055920 swapFree=4182476/4192956 [pid=6994] ppid=6992 vsize=470448 CPUtime=51 /proc/6994/stat : 6994 (wbo) R 6992 6994 6663 0 -1 4194304 122210 0 0 0 5022 78 0 0 25 0 1 0 187561439 481738752 117074 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6994/statm: 117612 117074 136 292 0 117317 0 Current children cumulated CPU time (s) 51 Current children cumulated vsize (KiB) 470448 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6995 /proc/meminfo: memFree=1281856/2055920 swapFree=4182476/4192956 [pid=6994] ppid=6992 vsize=507400 CPUtime=102.18 /proc/6994/stat : 6994 (wbo) R 6992 6994 6663 0 -1 4194304 131448 0 0 0 10119 99 0 0 25 0 1 0 187561439 519577600 126312 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/6994/statm: 126850 126312 136 292 0 126555 0 Current children cumulated CPU time (s) 102.18 Current children cumulated vsize (KiB) 507400 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6995 /proc/meminfo: memFree=1244480/2055920 swapFree=4182476/4192956 [pid=6994] ppid=6992 vsize=545060 CPUtime=162.16 /proc/6994/stat : 6994 (wbo) R 6992 6994 6663 0 -1 4194304 140816 0 0 0 16092 124 0 0 25 0 1 0 187561439 558141440 135680 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6994/statm: 136265 135680 136 292 0 135970 0 Current children cumulated CPU time (s) 162.16 Current children cumulated vsize (KiB) 545060 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6995 /proc/meminfo: memFree=1217664/2055920 swapFree=4182476/4192956 [pid=6994] ppid=6992 vsize=571656 CPUtime=222.14 /proc/6994/stat : 6994 (wbo) R 6992 6994 6663 0 -1 4194304 147463 0 0 0 22075 139 0 0 25 0 1 0 187561439 585375744 142327 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6994/statm: 142914 142327 136 292 0 142619 0 Current children cumulated CPU time (s) 222.14 Current children cumulated vsize (KiB) 571656 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6995 /proc/meminfo: memFree=1180288/2055920 swapFree=4182476/4192956 [pid=6994] ppid=6992 vsize=609172 CPUtime=282.11 /proc/6994/stat : 6994 (wbo) R 6992 6994 6663 0 -1 4194304 156820 0 0 0 28055 156 0 0 25 0 1 0 187561439 623792128 151684 1992294400 134512640 135709839 4294956240 18446744073709551615 134573913 0 0 4096 3 0 0 0 17 1 0 0 /proc/6994/statm: 152293 151684 136 292 0 151998 0 Current children cumulated CPU time (s) 282.11 Current children cumulated vsize (KiB) 609172 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6997 /proc/meminfo: memFree=1155712/2055920 swapFree=4182476/4192956 [pid=6994] ppid=6992 vsize=633736 CPUtime=342.1 /proc/6994/stat : 6994 (wbo) R 6992 6994 6663 0 -1 4194304 162936 0 0 0 34040 170 0 0 25 0 1 0 187561439 648945664 157800 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6994/statm: 158434 157800 136 292 0 158139 0 Current children cumulated CPU time (s) 342.1 Current children cumulated vsize (KiB) 633736 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6997 /proc/meminfo: memFree=1100992/2055920 swapFree=4182476/4192956 [pid=6994] ppid=6992 vsize=688292 CPUtime=402.07 /proc/6994/stat : 6994 (wbo) R 6992 6994 6663 0 -1 4194304 176576 0 0 0 40009 198 0 0 25 0 1 0 187561439 704811008 171440 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6994/statm: 172073 171440 136 292 0 171778 0 Current children cumulated CPU time (s) 402.07 Current children cumulated vsize (KiB) 688292 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6997 /proc/meminfo: memFree=1067008/2055920 swapFree=4182476/4192956 [pid=6994] ppid=6992 vsize=722176 CPUtime=462.05 /proc/6994/stat : 6994 (wbo) R 6992 6994 6663 0 -1 4194304 185046 0 0 0 45988 217 0 0 25 0 1 0 187561439 739508224 179910 1992294400 134512640 135709839 4294956240 18446744073709551615 134573913 0 0 4096 3 0 0 0 17 1 0 0 /proc/6994/statm: 180544 179910 136 292 0 180249 0 Current children cumulated CPU time (s) 462.05 Current children cumulated vsize (KiB) 722176 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6997 /proc/meminfo: memFree=1009280/2055920 swapFree=4182476/4192956 [pid=6994] ppid=6992 vsize=780484 CPUtime=522.03 /proc/6994/stat : 6994 (wbo) R 6992 6994 6663 0 -1 4194304 199588 0 0 0 51963 240 0 0 25 0 1 0 187561439 799215616 194452 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6994/statm: 195121 194452 136 292 0 194826 0 Current children cumulated CPU time (s) 522.03 Current children cumulated vsize (KiB) 780484 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6997 /proc/meminfo: memFree=964352/2055920 swapFree=4182476/4192956 [pid=6994] ppid=6992 vsize=824804 CPUtime=582 /proc/6994/stat : 6994 (wbo) R 6992 6994 6663 0 -1 4194304 210671 0 0 0 57945 255 0 0 25 0 1 0 187561439 844599296 205535 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 1 0 0 /proc/6994/statm: 206201 205535 136 292 0 205906 0 Current children cumulated CPU time (s) 582 Current children cumulated vsize (KiB) 824804 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6997 /proc/meminfo: memFree=931456/2055920 swapFree=4182476/4192956 [pid=6994] ppid=6992 vsize=857236 CPUtime=641.99 /proc/6994/stat : 6994 (wbo) R 6992 6994 6663 0 -1 4194304 218772 0 0 0 63932 267 0 0 25 0 1 0 187561439 877809664 213636 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6994/statm: 214309 213636 136 292 0 214014 0 Current children cumulated CPU time (s) 641.99 Current children cumulated vsize (KiB) 857236 [startup+702.302 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7003 /proc/meminfo: memFree=762296/2055920 swapFree=4182476/4192956 [pid=6994] ppid=6992 vsize=1026440 CPUtime=881.9 /proc/6994/stat : 6994 (wbo) R 6992 6994 6663 0 -1 4194304 261039 0 0 0 87875 315 0 0 25 0 1 0 187561439 1051074560 255903 1992294400 134512640 135709839 4294956240 18446744073709551615 134574172 0 0 4096 3 0 0 0 17 1 0 0 /proc/6994/statm: 256610 255903 136 292 0 256315 0 Current children cumulated CPU time (s) 881.9 Current children cumulated vsize (KiB) 1026440 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7003 /proc/meminfo: memFree=737528/2055920 swapFree=4182476/4192956 [pid=6994] ppid=6992 vsize=1051356 CPUtime=941.88 /proc/6994/stat : 6994 (wbo) R 6992 6994 6663 0 -1 4194304 267247 0 0 0 93865 323 0 0 25 0 1 0 187561439 1076588544 262111 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6994/statm: 262839 262111 136 292 0 262544 0 Current children cumulated CPU time (s) 941.88 Current children cumulated vsize (KiB) 1051356 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7003 /proc/meminfo: memFree=710008/2055920 swapFree=4182476/4192956 [pid=6994] ppid=6992 vsize=1078576 CPUtime=1001.85 /proc/6994/stat : 6994 (wbo) R 6992 6994 6663 0 -1 4194304 274066 0 0 0 99854 331 0 0 25 0 1 0 187561439 1104461824 268930 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 1 0 0 /proc/6994/statm: 269644 268930 136 292 0 269349 0 Current children cumulated CPU time (s) 1001.85 Current children cumulated vsize (KiB) 1078576 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7003 /proc/meminfo: memFree=658872/2055920 swapFree=4182476/4192956 [pid=6994] ppid=6992 vsize=1130232 CPUtime=1061.83 /proc/6994/stat : 6994 (wbo) R 6992 6994 6663 0 -1 4194304 286968 0 0 0 105837 346 0 0 25 0 1 0 187561439 1157357568 281832 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6994/statm: 282558 281832 136 292 0 282263 0 Current children cumulated CPU time (s) 1061.83 Current children cumulated vsize (KiB) 1130232 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7003 /proc/meminfo: memFree=613248/2055920 swapFree=4182476/4192956 [pid=6994] ppid=6992 vsize=1175468 CPUtime=1121.81 /proc/6994/stat : 6994 (wbo) R 6992 6994 6663 0 -1 4194304 298256 0 0 0 111821 360 0 0 25 0 1 0 187561439 1203679232 293120 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6994/statm: 293867 293120 136 292 0 293572 0 Current children cumulated CPU time (s) 1121.81 Current children cumulated vsize (KiB) 1175468 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7003 /proc/meminfo: memFree=566592/2055920 swapFree=4182476/4192956 [pid=6994] ppid=6992 vsize=1222520 CPUtime=1181.78 /proc/6994/stat : 6994 (wbo) R 6992 6994 6663 0 -1 4194304 310003 0 0 0 117804 374 0 0 25 0 1 0 187561439 1251860480 304867 1992294400 134512640 135709839 4294956240 18446744073709551615 134573906 0 0 4096 3 0 0 0 17 1 0 0 /proc/6994/statm: 305630 304867 136 292 0 305335 0 Current children cumulated CPU time (s) 1181.78 Current children cumulated vsize (KiB) 1222520 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7003 /proc/meminfo: memFree=532608/2055920 swapFree=4182476/4192956 [pid=6994] ppid=6992 vsize=1255892 CPUtime=1241.77 /proc/6994/stat : 6994 (wbo) R 6992 6994 6663 0 -1 4194304 318355 0 0 0 123793 384 0 0 25 0 1 0 187561439 1286033408 313219 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 1 0 0 /proc/6994/statm: 313973 313219 136 292 0 313678 0 Current children cumulated CPU time (s) 1241.77 Current children cumulated vsize (KiB) 1255892 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7003 /proc/meminfo: memFree=505216/2055920 swapFree=4182476/4192956 [pid=6994] ppid=6992 vsize=1282848 CPUtime=1301.75 /proc/6994/stat : 6994 (wbo) R 6992 6994 6663 0 -1 4194304 325105 0 0 0 129783 392 0 0 25 0 1 0 187561439 1313636352 319969 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6994/statm: 320712 319969 136 292 0 320417 0 Current children cumulated CPU time (s) 1301.75 Current children cumulated vsize (KiB) 1282848 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7003 /proc/meminfo: memFree=480448/2055920 swapFree=4182476/4192956 [pid=6994] ppid=6992 vsize=1309232 CPUtime=1361.73 /proc/6994/stat : 6994 (wbo) R 6992 6994 6663 0 -1 4194304 331620 0 0 0 135771 402 0 0 25 0 1 0 187561439 1340653568 326484 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6994/statm: 327308 326484 136 292 0 327013 0 Current children cumulated CPU time (s) 1361.73 Current children cumulated vsize (KiB) 1309232 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7003 /proc/meminfo: memFree=416832/2055920 swapFree=4182476/4192956 [pid=6994] ppid=6992 vsize=1371284 CPUtime=1421.7 /proc/6994/stat : 6994 (wbo) R 6992 6994 6663 0 -1 4194304 347160 0 0 0 141753 417 0 0 25 0 1 0 187561439 1404194816 342024 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6994/statm: 342821 342024 136 292 0 342526 0 Current children cumulated CPU time (s) 1421.7 Current children cumulated vsize (KiB) 1371284 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7003 /proc/meminfo: memFree=370496/2055920 swapFree=4182476/4192956 [pid=6994] ppid=6992 vsize=1418356 CPUtime=1481.68 /proc/6994/stat : 6994 (wbo) R 6992 6994 6663 0 -1 4194304 358897 0 0 0 147736 432 0 0 25 0 1 0 187561439 1452396544 353761 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 1 0 0 /proc/6994/statm: 354589 353761 136 292 0 354294 0 Current children cumulated CPU time (s) 1481.68 Current children cumulated vsize (KiB) 1418356 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7003 /proc/meminfo: memFree=322112/2055920 swapFree=4182476/4192956 [pid=6994] ppid=6992 vsize=1465868 CPUtime=1541.66 /proc/6994/stat : 6994 (wbo) R 6992 6994 6663 0 -1 4194304 370798 0 0 0 153719 447 0 0 25 0 1 0 187561439 1501048832 365662 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 1 0 0 /proc/6994/statm: 366467 365662 136 292 0 366172 0 Current children cumulated CPU time (s) 1541.66 Current children cumulated vsize (KiB) 1465868 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7003 /proc/meminfo: memFree=278784/2055920 swapFree=4182476/4192956 [pid=6994] ppid=6992 vsize=1509644 CPUtime=1601.64 /proc/6994/stat : 6994 (wbo) R 6992 6994 6663 0 -1 4194304 381710 0 0 0 159702 462 0 0 25 0 1 0 187561439 1545875456 376574 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0 /proc/6994/statm: 377411 376574 136 292 0 377116 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 1509644 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7003 /proc/meminfo: memFree=210240/2055920 swapFree=4182476/4192956 [pid=6994] ppid=6992 vsize=1577528 CPUtime=1661.62 /proc/6994/stat : 6994 (wbo) R 6992 6994 6663 0 -1 4194304 398688 0 0 0 165682 480 0 0 25 0 1 0 187561439 1615388672 393552 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6994/statm: 394382 393552 136 292 0 394087 0 Current children cumulated CPU time (s) 1661.62 Current children cumulated vsize (KiB) 1577528 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7003 /proc/meminfo: memFree=154304/2055920 swapFree=4182476/4192956 [pid=6994] ppid=6992 vsize=1633984 CPUtime=1721.6 /proc/6994/stat : 6994 (wbo) R 6992 6994 6663 0 -1 4194304 412800 0 0 0 171665 495 0 0 25 0 1 0 187561439 1673199616 407664 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6994/statm: 408496 407664 136 292 0 408201 0 Current children cumulated CPU time (s) 1721.6 Current children cumulated vsize (KiB) 1633984 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7003 /proc/meminfo: memFree=105088/2055920 swapFree=4182476/4192956 [pid=6994] ppid=6992 vsize=1682516 CPUtime=1781.57 /proc/6994/stat : 6994 (wbo) R 6992 6994 6663 0 -1 4194304 424926 0 0 0 177650 507 0 0 25 0 1 0 187561439 1722896384 419790 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/6994/statm: 420629 419790 136 292 0 420334 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (KiB) 1682516 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7003 /proc/meminfo: memFree=95744/2055920 swapFree=4182476/4192956 [pid=6994] ppid=6992 vsize=1691696 CPUtime=1800.07 /proc/6994/stat : 6994 (wbo) R 6992 6994 6663 0 -1 4194304 427224 0 0 0 179497 510 0 0 25 0 1 0 187561439 1732296704 422088 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6994/statm: 422924 422088 136 292 0 422629 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1691696 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7003 /proc/meminfo: memFree=95744/2055920 swapFree=4182476/4192956 [pid=6994] ppid=6992 vsize=0 CPUtime=1800.27 /proc/6994/stat : 6994 (wbo) R 6992 6994 6663 0 -1 4195332 427224 0 0 0 179497 530 0 0 25 0 1 0 187561439 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/6994/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.27 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.06 CPU time (s): 1800.34 CPU user time (s): 1794.98 CPU system time (s): 5.36318 CPU usage (%): 99.9598 Max. virtual memory (cumulated for all children) (KiB): 1691696 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.98 system time used= 5.36318 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 427224 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= 4246 runsolver used 1.17982 second user time and 3.9514 second system time The end
Begin job on node67 at 2009-06-17 02:47:52 IDJOB=1875339 IDBENCH=48179 IDSOLVER=698 FILE ID=node67/1875339-1245199672 PBS_JOBID= 9368330 Free space on /tmp= 66428 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_60_2.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-1875339-1245199672/watcher-1875339-1245199672 -o /tmp/evaluation-result-1875339-1245199672/solver-1875339-1245199672 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875339-1245199672.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fecc1e3404707b1609ea9647c91fc73f RANDOM SEED=1717828437 node67.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.272 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.272 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1789528 kB Buffers: 34280 kB Cached: 169072 kB SwapCached: 4524 kB Active: 67144 kB Inactive: 143820 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1789528 kB SwapTotal: 4192956 kB SwapFree: 4182476 kB Dirty: 2836 kB Writeback: 0 kB Mapped: 13444 kB Slab: 41372 kB Committed_AS: 113492 kB PageTables: 1440 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-1875339-1245199672.opb Free space on /tmp at the end= 66424 MiB End job on node67 at 2009-06-17 03:17:55