| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.0 | ? (TO) | 1800.31 | 1801.14 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_60_5.opb |
| MD5SUM | 5ebd53ca3e688df11993cbeac431dac6 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -35 |
| Best CPU time to get the best result obtained on this benchmark | 1798.06 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -42 |
| Optimality of the best value was proved | NO |
| Number of variables | 500 |
| Total number of constraints | 500 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 500 |
| Minimum length of a constraint | 60 |
| Maximum length of a constraint | 111 |
| 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) | 37500 |
| Sum of products size (including duplicates) | 75000 |
| Number of different products | 18750 |
| Sum of products size | 37500 |
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-1875381-1245204589.opb. 0.00/0.00 c Instance file HOME/instance-1875381-1245204589.opb 0.00/0.00 c File size is 1616803 bytes. 0.20/0.23 c Highest Coefficient sum: 111 0.20/0.23 c ============================[ Problem Statistics ]============================= 0.20/0.23 c | | 0.20/0.23 c | Parsing time: 0.22 s | 0.20/0.23 c | Number Variables: 19250 | 0.20/0.23 c | Number Clauses: 19250 | 0.20/0.23 c | Number Cardinality: 1000 | 0.20/0.23 c | Number PB Constraints: 18750 | 0.20/0.23 c core #1 0.20/0.23 c Core size: 4 Core Weight: 1 Total Weight: -499 0.20/0.23 c Elapsed CPU time: 0.220966 s Remaining CPU time: 1799.78 s 0.20/0.28 c core #2 0.20/0.28 c Core size: 4 Core Weight: 1 Total Weight: -498 0.20/0.28 c Elapsed CPU time: 0.272958 s Remaining CPU time: 1799.73 s 0.29/0.34 c core #3 0.29/0.34 c Core size: 4 Core Weight: 1 Total Weight: -497 0.29/0.34 c Elapsed CPU time: 0.328949 s Remaining CPU time: 1799.67 s 0.40/0.40 c core #4 0.40/0.40 c Core size: 4 Core Weight: 1 Total Weight: -496 0.40/0.40 c Elapsed CPU time: 0.383941 s Remaining CPU time: 1799.62 s 0.40/0.46 c core #5 0.40/0.46 c Core size: 4 Core Weight: 1 Total Weight: -495 0.40/0.46 c Elapsed CPU time: 0.442932 s Remaining CPU time: 1799.56 s 0.49/0.52 c core #6 0.49/0.52 c Core size: 4 Core Weight: 1 Total Weight: -494 0.49/0.52 c Elapsed CPU time: 0.503923 s Remaining CPU time: 1799.5 s 0.49/0.59 c core #7 0.49/0.59 c Core size: 4 Core Weight: 1 Total Weight: -493 0.49/0.59 c Elapsed CPU time: 0.569913 s Remaining CPU time: 1799.43 s 0.59/0.66 c core #8 0.59/0.66 c Core size: 4 Core Weight: 1 Total Weight: -492 0.59/0.66 c Elapsed CPU time: 0.635903 s Remaining CPU time: 1799.36 s 0.69/0.73 c core #9 0.69/0.73 c Core size: 4 Core Weight: 1 Total Weight: -491 0.69/0.73 c Elapsed CPU time: 0.703892 s Remaining CPU time: 1799.3 s 0.79/0.80 c core #10 0.79/0.80 c Core size: 4 Core Weight: 1 Total Weight: -490 0.79/0.80 c Elapsed CPU time: 0.771882 s Remaining CPU time: 1799.23 s 0.79/0.87 c core #11 0.79/0.87 c Core size: 4 Core Weight: 1 Total Weight: -489 0.79/0.87 c Elapsed CPU time: 0.841872 s Remaining CPU time: 1799.16 s 0.89/0.94 c core #12 0.89/0.94 c Core size: 4 Core Weight: 1 Total Weight: -488 0.89/0.94 c Elapsed CPU time: 0.913861 s Remaining CPU time: 1799.09 s 1.00/1.01 c core #13 1.00/1.01 c Core size: 4 Core Weight: 1 Total Weight: -487 1.00/1.01 c Elapsed CPU time: 0.98285 s Remaining CPU time: 1799.02 s 1.00/1.08 c core #14 1.00/1.08 c Core size: 4 Core Weight: 1 Total Weight: -486 1.00/1.08 c Elapsed CPU time: 1.05184 s Remaining CPU time: 1798.95 s 1.10/1.15 c core #15 1.10/1.15 c Core size: 4 Core Weight: 1 Total Weight: -485 1.10/1.15 c Elapsed CPU time: 1.12083 s Remaining CPU time: 1798.88 s 1.19/1.22 c core #16 1.19/1.22 c Core size: 4 Core Weight: 1 Total Weight: -484 1.19/1.22 c Elapsed CPU time: 1.19082 s Remaining CPU time: 1798.81 s 1.19/1.30 c core #17 1.19/1.30 c Core size: 4 Core Weight: 1 Total Weight: -483 1.19/1.30 c Elapsed CPU time: 1.26181 s Remaining CPU time: 1798.74 s 1.29/1.37 c core #18 1.29/1.37 c Core size: 4 Core Weight: 1 Total Weight: -482 1.29/1.37 c Elapsed CPU time: 1.3318 s Remaining CPU time: 1798.67 s 1.39/1.44 c core #19 1.39/1.44 c Core size: 4 Core Weight: 1 Total Weight: -481 1.39/1.44 c Elapsed CPU time: 1.39679 s Remaining CPU time: 1798.6 s 1.49/1.51 c core #20 1.49/1.51 c Core size: 4 Core Weight: 1 Total Weight: -480 1.49/1.51 c Elapsed CPU time: 1.46678 s Remaining CPU time: 1798.53 s 1.49/1.58 c core #21 1.49/1.58 c Core size: 4 Core Weight: 1 Total Weight: -479 1.49/1.58 c Elapsed CPU time: 1.53777 s Remaining CPU time: 1798.46 s 1.59/1.65 c core #22 1.59/1.65 c Core size: 4 Core Weight: 1 Total Weight: -478 1.59/1.65 c Elapsed CPU time: 1.60676 s Remaining CPU time: 1798.39 s 1.69/1.72 c core #23 1.69/1.72 c Core size: 4 Core Weight: 1 Total Weight: -477 1.69/1.72 c Elapsed CPU time: 1.67974 s Remaining CPU time: 1798.32 s 1.69/1.79 c core #24 1.69/1.79 c Core size: 4 Core Weight: 1 Total Weight: -476 1.69/1.79 c Elapsed CPU time: 1.75073 s Remaining CPU time: 1798.25 s 1.79/1.87 c core #25 1.79/1.87 c Core size: 4 Core Weight: 1 Total Weight: -475 1.79/1.87 c Elapsed CPU time: 1.82172 s Remaining CPU time: 1798.18 s 1.89/1.94 c core #26 1.89/1.94 c Core size: 4 Core Weight: 1 Total Weight: -474 1.89/1.94 c Elapsed CPU time: 1.89271 s Remaining CPU time: 1798.11 s 1.99/2.01 c core #27 1.99/2.01 c Core size: 4 Core Weight: 1 Total Weight: -473 1.99/2.01 c Elapsed CPU time: 1.9647 s Remaining CPU time: 1798.04 s 1.99/2.08 c core #28 1.99/2.08 c Core size: 4 Core Weight: 1 Total Weight: -472 1.99/2.08 c Elapsed CPU time: 2.03069 s Remaining CPU time: 1797.97 s 2.10/2.15 c core #29 2.10/2.15 c Core size: 4 Core Weight: 1 Total Weight: -471 2.10/2.15 c Elapsed CPU time: 2.09968 s Remaining CPU time: 1797.9 s 2.20/2.22 c core #30 2.20/2.22 c Core size: 4 Core Weight: 1 Total Weight: -470 2.20/2.22 c Elapsed CPU time: 2.16867 s Remaining CPU time: 1797.83 s 2.20/2.29 c core #31 2.20/2.29 c Core size: 4 Core Weight: 1 Total Weight: -469 2.20/2.29 c Elapsed CPU time: 2.24066 s Remaining CPU time: 1797.76 s 2.29/2.36 c core #32 2.29/2.36 c Core size: 4 Core Weight: 1 Total Weight: -468 2.29/2.36 c Elapsed CPU time: 2.30965 s Remaining CPU time: 1797.69 s 2.39/2.43 c core #33 2.39/2.43 c Core size: 4 Core Weight: 1 Total Weight: -467 2.39/2.43 c Elapsed CPU time: 2.37764 s Remaining CPU time: 1797.62 s 2.49/2.50 c core #34 2.49/2.50 c Core size: 4 Core Weight: 1 Total Weight: -466 2.49/2.50 c Elapsed CPU time: 2.44263 s Remaining CPU time: 1797.56 s 2.49/2.57 c core #35 2.49/2.57 c Core size: 4 Core Weight: 1 Total Weight: -465 2.49/2.57 c Elapsed CPU time: 2.51162 s Remaining CPU time: 1797.49 s 2.60/2.63 c core #36 2.60/2.63 c Core size: 4 Core Weight: 1 Total Weight: -464 2.60/2.63 c Elapsed CPU time: 2.57761 s Remaining CPU time: 1797.42 s 2.69/2.71 c core #37 2.69/2.71 c Core size: 4 Core Weight: 1 Total Weight: -463 2.69/2.71 c Elapsed CPU time: 2.6456 s Remaining CPU time: 1797.35 s 2.69/2.78 c core #38 2.69/2.78 c Core size: 4 Core Weight: 1 Total Weight: -462 2.69/2.78 c Elapsed CPU time: 2.71559 s Remaining CPU time: 1797.28 s 2.79/2.85 c core #39 2.79/2.85 c Core size: 4 Core Weight: 1 Total Weight: -461 2.79/2.85 c Elapsed CPU time: 2.78758 s Remaining CPU time: 1797.21 s 2.89/2.92 c core #40 2.89/2.92 c Core size: 4 Core Weight: 1 Total Weight: -460 2.89/2.92 c Elapsed CPU time: 2.85556 s Remaining CPU time: 1797.14 s 2.89/2.99 c core #41 2.89/2.99 c Core size: 4 Core Weight: 1 Total Weight: -459 2.89/2.99 c Elapsed CPU time: 2.92855 s Remaining CPU time: 1797.07 s 2.99/3.06 c core #42 2.99/3.06 c Core size: 4 Core Weight: 1 Total Weight: -458 2.99/3.06 c Elapsed CPU time: 2.99554 s Remaining CPU time: 1797 s 3.09/3.13 c core #43 3.09/3.13 c Core size: 4 Core Weight: 1 Total Weight: -457 3.09/3.13 c Elapsed CPU time: 3.06653 s Remaining CPU time: 1796.93 s 3.20/3.20 c core #44 3.20/3.20 c Core size: 4 Core Weight: 1 Total Weight: -456 3.20/3.20 c Elapsed CPU time: 3.13552 s Remaining CPU time: 1796.86 s 3.20/3.27 c core #45 3.20/3.27 c Core size: 4 Core Weight: 1 Total Weight: -455 3.20/3.27 c Elapsed CPU time: 3.20451 s Remaining CPU time: 1796.8 s 3.30/3.34 c core #46 3.30/3.34 c Core size: 4 Core Weight: 1 Total Weight: -454 3.30/3.34 c Elapsed CPU time: 3.2745 s Remaining CPU time: 1796.73 s 3.39/3.41 c core #47 3.39/3.41 c Core size: 4 Core Weight: 1 Total Weight: -453 3.39/3.41 c Elapsed CPU time: 3.34249 s Remaining CPU time: 1796.66 s 3.39/3.48 c core #48 3.39/3.48 c Core size: 4 Core Weight: 1 Total Weight: -452 3.39/3.48 c Elapsed CPU time: 3.40948 s Remaining CPU time: 1796.59 s 3.49/3.55 c core #49 3.49/3.55 c Core size: 4 Core Weight: 1 Total Weight: -451 3.49/3.55 c Elapsed CPU time: 3.48147 s Remaining CPU time: 1796.52 s 3.59/3.62 c core #50 3.59/3.62 c Core size: 4 Core Weight: 1 Total Weight: -450 3.59/3.62 c Elapsed CPU time: 3.54846 s Remaining CPU time: 1796.45 s 3.59/3.70 c core #51 3.59/3.70 c Core size: 4 Core Weight: 1 Total Weight: -449 3.59/3.70 c Elapsed CPU time: 3.62045 s Remaining CPU time: 1796.38 s 3.69/3.77 c core #52 3.69/3.77 c Core size: 4 Core Weight: 1 Total Weight: -448 3.69/3.77 c Elapsed CPU time: 3.68844 s Remaining CPU time: 1796.31 s 3.79/3.84 c core #53 3.79/3.84 c Core size: 4 Core Weight: 1 Total Weight: -447 3.79/3.84 c Elapsed CPU time: 3.76143 s Remaining CPU time: 1796.24 s 3.89/3.91 c core #54 3.89/3.91 c Core size: 4 Core Weight: 1 Total Weight: -446 3.89/3.91 c Elapsed CPU time: 3.83342 s Remaining CPU time: 1796.17 s 3.89/3.98 c core #55 3.89/3.98 c Core size: 4 Core Weight: 1 Total Weight: -445 3.89/3.98 c Elapsed CPU time: 3.90241 s Remaining CPU time: 1796.1 s 3.99/4.06 c core #56 3.99/4.06 c Core size: 4 Core Weight: 1 Total Weight: -444 3.99/4.06 c Elapsed CPU time: 3.9724 s Remaining CPU time: 1796.03 s 4.09/4.13 c core #57 4.09/4.13 c Core size: 4 Core Weight: 1 Total Weight: -443 4.09/4.13 c Elapsed CPU time: 4.04538 s Remaining CPU time: 1795.95 s 4.19/4.20 c core #58 4.19/4.20 c Core size: 4 Core Weight: 1 Total Weight: -442 4.19/4.20 c Elapsed CPU time: 4.11437 s Remaining CPU time: 1795.89 s 4.19/4.27 c core #59 4.19/4.27 c Core size: 4 Core Weight: 1 Total Weight: -441 4.19/4.27 c Elapsed CPU time: 4.18436 s Remaining CPU time: 1795.82 s 4.30/4.34 c core #60 4.30/4.34 c Core size: 4 Core Weight: 1 Total Weight: -440 4.30/4.34 c Elapsed CPU time: 4.25535 s Remaining CPU time: 1795.74 s 4.40/4.41 c core #61 4.40/4.41 c Core size: 4 Core Weight: 1 Total Weight: -439 4.40/4.41 c Elapsed CPU time: 4.32334 s Remaining CPU time: 1795.68 s 4.40/4.48 c core #62 4.40/4.48 c Core size: 4 Core Weight: 1 Total Weight: -438 4.40/4.48 c Elapsed CPU time: 4.39233 s Remaining CPU time: 1795.61 s 4.49/4.55 c core #63 4.49/4.55 c Core size: 4 Core Weight: 1 Total Weight: -437 4.49/4.55 c Elapsed CPU time: 4.46132 s Remaining CPU time: 1795.54 s 4.59/4.62 c core #64 4.59/4.62 c Core size: 4 Core Weight: 1 Total Weight: -436 4.59/4.62 c Elapsed CPU time: 4.53131 s Remaining CPU time: 1795.47 s 4.59/4.69 c core #65 4.59/4.69 c Core size: 4 Core Weight: 1 Total Weight: -435 4.59/4.69 c Elapsed CPU time: 4.5983 s Remaining CPU time: 1795.4 s 4.69/4.76 c core #66 4.69/4.76 c Core size: 4 Core Weight: 1 Total Weight: -434 4.69/4.76 c Elapsed CPU time: 4.66929 s Remaining CPU time: 1795.33 s 4.79/4.83 c core #67 4.79/4.83 c Core size: 4 Core Weight: 1 Total Weight: -433 4.79/4.83 c Elapsed CPU time: 4.73528 s Remaining CPU time: 1795.26 s 4.89/4.90 c core #68 4.89/4.90 c Core size: 4 Core Weight: 1 Total Weight: -432 4.89/4.90 c Elapsed CPU time: 4.80227 s Remaining CPU time: 1795.2 s 4.89/4.97 c core #69 4.89/4.97 c Core size: 4 Core Weight: 1 Total Weight: -431 4.89/4.97 c Elapsed CPU time: 4.86826 s Remaining CPU time: 1795.13 s 4.99/5.04 c core #70 4.99/5.04 c Core size: 4 Core Weight: 1 Total Weight: -430 4.99/5.04 c Elapsed CPU time: 4.93525 s Remaining CPU time: 1795.06 s 5.09/5.11 c core #71 5.09/5.11 c Core size: 4 Core Weight: 1 Total Weight: -429 5.09/5.11 c Elapsed CPU time: 5.00424 s Remaining CPU time: 1795 s 5.09/5.18 c core #72 5.09/5.18 c Core size: 4 Core Weight: 1 Total Weight: -428 5.09/5.18 c Elapsed CPU time: 5.06923 s Remaining CPU time: 1794.93 s 5.19/5.25 c core #73 5.19/5.25 c Core size: 4 Core Weight: 1 Total Weight: -427 5.19/5.25 c Elapsed CPU time: 5.13822 s Remaining CPU time: 1794.86 s 5.29/5.32 c core #74 5.29/5.32 c Core size: 4 Core Weight: 1 Total Weight: -426 5.29/5.32 c Elapsed CPU time: 5.20521 s Remaining CPU time: 1794.79 s 5.29/5.39 c core #75 5.29/5.39 c Core size: 4 Core Weight: 1 Total Weight: -425 5.29/5.39 c Elapsed CPU time: 5.2762 s Remaining CPU time: 1794.72 s 5.39/5.46 c core #76 5.39/5.46 c Core size: 4 Core Weight: 1 Total Weight: -424 5.39/5.46 c Elapsed CPU time: 5.34919 s Remaining CPU time: 1794.65 s 5.49/5.53 c core #77 5.49/5.53 c Core size: 4 Core Weight: 1 Total Weight: -423 5.49/5.53 c Elapsed CPU time: 5.42117 s Remaining CPU time: 1794.58 s 5.59/5.60 c core #78 5.59/5.60 c Core size: 4 Core Weight: 1 Total Weight: -422 5.59/5.60 c Elapsed CPU time: 5.48916 s Remaining CPU time: 1794.51 s 5.59/5.68 c core #79 5.59/5.68 c Core size: 4 Core Weight: 1 Total Weight: -421 5.59/5.68 c Elapsed CPU time: 5.56115 s Remaining CPU time: 1794.44 s 5.69/5.75 c core #80 5.69/5.75 c Core size: 4 Core Weight: 1 Total Weight: -420 5.69/5.75 c Elapsed CPU time: 5.63014 s Remaining CPU time: 1794.37 s 5.79/5.82 c core #81 5.79/5.82 c Core size: 4 Core Weight: 1 Total Weight: -419 5.79/5.82 c Elapsed CPU time: 5.70313 s Remaining CPU time: 1794.3 s 5.79/5.89 c core #82 5.79/5.89 c Core size: 4 Core Weight: 1 Total Weight: -418 5.79/5.89 c Elapsed CPU time: 5.77312 s Remaining CPU time: 1794.23 s 5.89/5.96 c core #83 5.89/5.96 c Core size: 4 Core Weight: 1 Total Weight: -417 5.89/5.96 c Elapsed CPU time: 5.84411 s Remaining CPU time: 1794.16 s 5.99/6.03 c core #84 5.99/6.03 c Core size: 4 Core Weight: 1 Total Weight: -416 5.99/6.03 c Elapsed CPU time: 5.9131 s Remaining CPU time: 1794.09 s 6.09/6.11 c core #85 6.09/6.11 c Core size: 4 Core Weight: 1 Total Weight: -415 6.09/6.11 c Elapsed CPU time: 5.98509 s Remaining CPU time: 1794.01 s 6.09/6.18 c core #86 6.09/6.18 c Core size: 4 Core Weight: 1 Total Weight: -414 6.09/6.18 c Elapsed CPU time: 6.05608 s Remaining CPU time: 1793.94 s 6.19/6.25 c core #87 6.19/6.25 c Core size: 4 Core Weight: 1 Total Weight: -413 6.19/6.25 c Elapsed CPU time: 6.13007 s Remaining CPU time: 1793.87 s 6.29/6.33 c core #88 6.29/6.33 c Core size: 4 Core Weight: 1 Total Weight: -412 6.29/6.33 c Elapsed CPU time: 6.20206 s Remaining CPU time: 1793.8 s 6.39/6.40 c core #89 6.39/6.40 c Core size: 4 Core Weight: 1 Total Weight: -411 6.39/6.40 c Elapsed CPU time: 6.27604 s Remaining CPU time: 1793.72 s 6.39/6.48 c core #90 6.39/6.48 c Core size: 4 Core Weight: 1 Total Weight: -410 6.39/6.48 c Elapsed CPU time: 6.35003 s Remaining CPU time: 1793.65 s 6.50/6.55 c core #91 6.50/6.55 c Core size: 4 Core Weight: 1 Total Weight: -409 6.50/6.55 c Elapsed CPU time: 6.42102 s Remaining CPU time: 1793.58 s 6.60/6.62 c core #92 6.60/6.62 c Core size: 4 Core Weight: 1 Total Weight: -408 6.60/6.62 c Elapsed CPU time: 6.49401 s Remaining CPU time: 1793.51 s 6.60/6.69 c core #93 6.60/6.69 c Core size: 4 Core Weight: 1 Total Weight: -407 6.60/6.69 c Elapsed CPU time: 6.563 s Remaining CPU time: 1793.44 s 6.69/6.77 c core #94 6.69/6.77 c Core size: 4 Core Weight: 1 Total Weight: -406 6.69/6.77 c Elapsed CPU time: 6.63399 s Remaining CPU time: 1793.37 s 6.79/6.84 c core #95 6.79/6.84 c Core size: 4 Core Weight: 1 Total Weight: -405 6.79/6.84 c Elapsed CPU time: 6.70298 s Remaining CPU time: 1793.3 s 6.88/6.91 c core #96 6.88/6.91 c Core size: 4 Core Weight: 1 Total Weight: -404 6.88/6.91 c Elapsed CPU time: 6.77197 s Remaining CPU time: 1793.23 s 6.88/6.98 c core #97 6.88/6.98 c Core size: 4 Core Weight: 1 Total Weight: -403 6.88/6.98 c Elapsed CPU time: 6.84296 s Remaining CPU time: 1793.16 s 6.99/7.05 c core #98 6.99/7.05 c Core size: 4 Core Weight: 1 Total Weight: -402 6.99/7.05 c Elapsed CPU time: 6.91195 s Remaining CPU time: 1793.09 s 7.09/7.12 c core #99 7.09/7.12 c Core size: 4 Core Weight: 1 Total Weight: -401 7.09/7.12 c Elapsed CPU time: 6.98194 s Remaining CPU time: 1793.02 s 7.09/7.20 c core #100 7.09/7.20 c Core size: 4 Core Weight: 1 Total Weight: -400 7.09/7.20 c Elapsed CPU time: 7.05393 s Remaining CPU time: 1792.95 s 7.19/7.27 c core #101 7.19/7.27 c Core size: 4 Core Weight: 1 Total Weight: -399 7.19/7.27 c Elapsed CPU time: 7.12592 s Remaining CPU time: 1792.87 s 7.29/7.34 c core #102 7.29/7.34 c Core size: 4 Core Weight: 1 Total Weight: -398 7.29/7.34 c Elapsed CPU time: 7.19491 s Remaining CPU time: 1792.81 s 7.39/7.41 c core #103 7.39/7.41 c Core size: 4 Core Weight: 1 Total Weight: -397 7.39/7.41 c Elapsed CPU time: 7.26689 s Remaining CPU time: 1792.73 s 7.39/7.48 c core #104 7.39/7.48 c Core size: 4 Core Weight: 1 Total Weight: -396 7.39/7.48 c Elapsed CPU time: 7.33588 s Remaining CPU time: 1792.66 s 7.48/7.55 c core #105 7.48/7.55 c Core size: 4 Core Weight: 1 Total Weight: -395 7.48/7.55 c Elapsed CPU time: 7.40387 s Remaining CPU time: 1792.6 s 7.60/7.62 c core #106 7.60/7.62 c Core size: 4 Core Weight: 1 Total Weight: -394 7.60/7.62 c Elapsed CPU time: 7.47386 s Remaining CPU time: 1792.53 s 7.60/7.69 c core #107 7.60/7.69 c Core size: 4 Core Weight: 1 Total Weight: -393 7.60/7.69 c Elapsed CPU time: 7.54485 s Remaining CPU time: 1792.46 s 7.70/7.76 c core #108 7.70/7.76 c Core size: 4 Core Weight: 1 Total Weight: -392 7.70/7.76 c Elapsed CPU time: 7.61484 s Remaining CPU time: 1792.39 s 7.79/7.84 c core #109 7.79/7.84 c Core size: 4 Core Weight: 1 Total Weight: -391 7.79/7.84 c Elapsed CPU time: 7.68583 s Remaining CPU time: 1792.31 s 7.89/7.91 c core #110 7.89/7.91 c Core size: 4 Core Weight: 1 Total Weight: -390 7.89/7.91 c Elapsed CPU time: 7.75682 s Remaining CPU time: 1792.24 s 7.89/7.98 c core #111 7.89/7.98 c Core size: 4 Core Weight: 1 Total Weight: -389 7.89/7.98 c Elapsed CPU time: 7.83081 s Remaining CPU time: 1792.17 s 7.99/8.06 c core #112 7.99/8.06 c Core size: 4 Core Weight: 1 Total Weight: -388 7.99/8.06 c Elapsed CPU time: 7.8998 s Remaining CPU time: 1792.1 s 8.09/8.13 c core #113 8.09/8.13 c Core size: 4 Core Weight: 1 Total Weight: -387 8.09/8.13 c Elapsed CPU time: 7.96979 s Remaining CPU time: 1792.03 s 8.19/8.20 c core #114 8.19/8.20 c Core size: 4 Core Weight: 1 Total Weight: -386 8.19/8.20 c Elapsed CPU time: 8.04378 s Remaining CPU time: 1791.96 s 8.19/8.28 c core #115 8.19/8.28 c Core size: 4 Core Weight: 1 Total Weight: -385 8.19/8.28 c Elapsed CPU time: 8.11777 s Remaining CPU time: 1791.88 s 8.29/8.35 c core #116 8.29/8.35 c Core size: 4 Core Weight: 1 Total Weight: -384 8.29/8.35 c Elapsed CPU time: 8.18975 s Remaining CPU time: 1791.81 s 8.39/8.42 c core #117 8.39/8.42 c Core size: 4 Core Weight: 1 Total Weight: -383 8.39/8.42 c Elapsed CPU time: 8.26274 s Remaining CPU time: 1791.74 s 8.39/8.50 c core #118 8.39/8.50 c Core size: 4 Core Weight: 1 Total Weight: -382 8.39/8.50 c Elapsed CPU time: 8.33373 s Remaining CPU time: 1791.67 s 8.49/8.57 c core #119 8.49/8.57 c Core size: 4 Core Weight: 1 Total Weight: -381 8.49/8.57 c Elapsed CPU time: 8.40672 s Remaining CPU time: 1791.59 s 8.59/8.64 c core #120 8.59/8.64 c Core size: 4 Core Weight: 1 Total Weight: -380 8.59/8.64 c Elapsed CPU time: 8.47871 s Remaining CPU time: 1791.52 s 8.69/8.72 c core #121 8.69/8.72 c Core size: 4 Core Weight: 1 Total Weight: -379 8.69/8.72 c Elapsed CPU time: 8.5497 s Remaining CPU time: 1791.45 s 8.69/8.79 c core #122 8.69/8.79 c Core size: 4 Core Weight: 1 Total Weight: -378 8.69/8.79 c Elapsed CPU time: 8.62269 s Remaining CPU time: 1791.38 s 8.80/8.86 c core #123 8.80/8.86 c Core size: 4 Core Weight: 1 Total Weight: -377 8.80/8.86 c Elapsed CPU time: 8.69468 s Remaining CPU time: 1791.31 s 8.89/8.94 c core #124 8.89/8.94 c Core size: 4 Core Weight: 1 Total Weight: -376 8.89/8.94 c Elapsed CPU time: 8.76867 s Remaining CPU time: 1791.23 s 8.99/9.01 c core #125 8.99/9.01 c Core size: 4 Core Weight: 1 Total Weight: -375 8.99/9.01 c Elapsed CPU time: 8.84266 s Remaining CPU time: 1791.16 s 8.99/9.09 c core #126 8.99/9.09 c Core size: 4 Core Weight: 1 Total Weight: -374 8.99/9.09 c Elapsed CPU time: 8.91464 s Remaining CPU time: 1791.09 s 9.09/9.16 c core #127 9.09/9.16 c Core size: 4 Core Weight: 1 Total Weight: -373 9.09/9.16 c Elapsed CPU time: 8.98763 s Remaining CPU time: 1791.01 s 9.19/9.24 c core #128 9.19/9.24 c Core size: 4 Core Weight: 1 Total Weight: -372 9.19/9.24 c Elapsed CPU time: 9.06062 s Remaining CPU time: 1790.94 s 9.28/9.31 c core #129 9.28/9.31 c Core size: 4 Core Weight: 1 Total Weight: -371 9.28/9.31 c Elapsed CPU time: 9.13361 s Remaining CPU time: 1790.87 s 9.28/9.39 c core #130 9.28/9.39 c Core size: 4 Core Weight: 1 Total Weight: -370 9.28/9.39 c Elapsed CPU time: 9.2076 s Remaining CPU time: 1790.79 s 9.39/9.46 c core #131 9.39/9.46 c Core size: 4 Core Weight: 1 Total Weight: -369 9.39/9.46 c Elapsed CPU time: 9.28159 s Remaining CPU time: 1790.72 s 9.49/9.53 c core #132 9.49/9.53 c Core size: 4 Core Weight: 1 Total Weight: -368 9.49/9.53 c Elapsed CPU time: 9.35558 s Remaining CPU time: 1790.64 s 9.59/9.61 c core #133 9.59/9.61 c Core size: 4 Core Weight: 1 Total Weight: -367 9.59/9.61 c Elapsed CPU time: 9.42457 s Remaining CPU time: 1790.58 s 9.59/9.68 c core #134 9.59/9.68 c Core size: 4 Core Weight: 1 Total Weight: -366 9.59/9.68 c Elapsed CPU time: 9.49756 s Remaining CPU time: 1790.5 s 9.69/9.76 c core #135 9.69/9.76 c Core size: 4 Core Weight: 1 Total Weight: -365 9.69/9.76 c Elapsed CPU time: 9.57154 s Remaining CPU time: 1790.43 s 9.79/9.83 c core #136 9.79/9.83 c Core size: 4 Core Weight: 1 Total Weight: -364 9.79/9.83 c Elapsed CPU time: 9.64553 s Remaining CPU time: 1790.35 s 9.90/9.91 c core #137 9.90/9.91 c Core size: 4 Core Weight: 1 Total Weight: -363 9.90/9.91 c Elapsed CPU time: 9.71952 s Remaining CPU time: 1790.28 s 9.90/9.98 c core #138 9.90/9.98 c Core size: 4 Core Weight: 1 Total Weight: -362 9.90/9.98 c Elapsed CPU time: 9.79451 s Remaining CPU time: 1790.21 s 9.99/10.06 c core #139 9.99/10.06 c Core size: 4 Core Weight: 1 Total Weight: -361 9.99/10.06 c Elapsed CPU time: 9.8655 s Remaining CPU time: 1790.13 s 10.09/10.13 c core #140 10.09/10.13 c Core size: 4 Core Weight: 1 Total Weight: -360 10.09/10.13 c Elapsed CPU time: 9.93749 s Remaining CPU time: 1790.06 s 10.19/10.21 c core #141 10.19/10.21 c Core size: 4 Core Weight: 1 Total Weight: -359 10.19/10.21 c Elapsed CPU time: 10.0115 s Remaining CPU time: 1789.99 s 10.19/10.28 c core #142 10.19/10.28 c Core size: 4 Core Weight: 1 Total Weight: -358 10.19/10.28 c Elapsed CPU time: 10.0825 s Remaining CPU time: 1789.92 s 10.29/10.36 c core #143 10.29/10.36 c Core size: 4 Core Weight: 1 Total Weight: -357 10.29/10.36 c Elapsed CPU time: 10.1545 s Remaining CPU time: 1789.85 s 10.39/10.43 c core #144 10.39/10.43 c Core size: 4 Core Weight: 1 Total Weight: -356 10.39/10.43 c Elapsed CPU time: 10.2274 s Remaining CPU time: 1789.77 s 10.49/10.50 c core #145 10.49/10.50 c Core size: 4 Core Weight: 1 Total Weight: -355 10.49/10.50 c Elapsed CPU time: 10.2984 s Remaining CPU time: 1789.7 s 10.49/10.58 c core #146 10.49/10.58 c Core size: 4 Core Weight: 1 Total Weight: -354 10.49/10.58 c Elapsed CPU time: 10.3704 s Remaining CPU time: 1789.63 s 10.59/10.65 c core #147 10.59/10.65 c Core size: 4 Core Weight: 1 Total Weight: -353 10.59/10.65 c Elapsed CPU time: 10.4434 s Remaining CPU time: 1789.56 s 10.69/10.72 c core #148 10.69/10.72 c Core size: 4 Core Weight: 1 Total Weight: -352 10.69/10.72 c Elapsed CPU time: 10.5154 s Remaining CPU time: 1789.48 s 10.69/10.80 c core #149 10.69/10.80 c Core size: 4 Core Weight: 1 Total Weight: -351 10.69/10.80 c Elapsed CPU time: 10.5884 s Remaining CPU time: 1789.41 s 10.78/10.87 c core #150 10.78/10.87 c Core size: 4 Core Weight: 1 Total Weight: -350 10.78/10.87 c Elapsed CPU time: 10.6614 s Remaining CPU time: 1789.34 s 10.90/10.94 c core #151 10.90/10.94 c Core size: 4 Core Weight: 1 Total Weight: -349 10.90/10.94 c Elapsed CPU time: 10.7334 s Remaining CPU time: 1789.27 s 11.00/11.02 c core #152 11.00/11.02 c Core size: 4 Core Weight: 1 Total Weight: -348 11.00/11.02 c Elapsed CPU time: 10.8054 s Remaining CPU time: 1789.19 s 11.00/11.09 c core #153 11.00/11.09 c Core size: 4 Core Weight: 1 Total Weight: -347 11.00/11.09 c Elapsed CPU time: 10.8743 s Remaining CPU time: 1789.13 s 11.09/11.16 c core #154 11.09/11.16 c Core size: 4 Core Weight: 1 Total Weight: -346 11.09/11.16 c Elapsed CPU time: 10.9473 s Remaining CPU time: 1789.05 s 11.19/11.23 c core #155 11.19/11.23 c Core size: 4 Core Weight: 1 Total Weight: -345 11.19/11.23 c Elapsed CPU time: 11.0183 s Remaining CPU time: 1788.98 s 11.29/11.31 c core #156 11.29/11.31 c Core size: 4 Core Weight: 1 Total Weight: -344 11.29/11.31 c Elapsed CPU time: 11.0923 s Remaining CPU time: 1788.91 s 11.29/11.38 c core #157 11.29/11.38 c Core size: 4 Core Weight: 1 Total Weight: -343 11.29/11.38 c Elapsed CPU time: 11.1653 s Remaining CPU time: 1788.83 s 11.39/11.46 c core #158 11.39/11.46 c Core size: 4 Core Weight: 1 Total Weight: -342 11.39/11.46 c Elapsed CPU time: 11.2403 s Remaining CPU time: 1788.76 s 11.49/11.54 c core #159 11.49/11.54 c Core size: 4 Core Weight: 1 Total Weight: -341 11.49/11.54 c Elapsed CPU time: 11.3153 s Remaining CPU time: 1788.68 s 11.59/11.61 c core #160 11.59/11.61 c Core size: 4 Core Weight: 1 Total Weight: -340 11.59/11.61 c Elapsed CPU time: 11.3913 s Remaining CPU time: 1788.61 s 11.59/11.69 c core #161 11.59/11.69 c Core size: 4 Core Weight: 1 Total Weight: -339 11.59/11.69 c Elapsed CPU time: 11.4713 s Remaining CPU time: 1788.53 s 11.69/11.77 c core #162 11.69/11.77 c Core size: 4 Core Weight: 1 Total Weight: -338 11.69/11.77 c Elapsed CPU time: 11.5492 s Remaining CPU time: 1788.45 s 11.79/11.85 c core #163 11.79/11.85 c Core size: 4 Core Weight: 1 Total Weight: -337 11.79/11.85 c Elapsed CPU time: 11.6292 s Remaining CPU time: 1788.37 s 11.89/11.94 c core #164 11.89/11.94 c Core size: 4 Core Weight: 1 Total Weight: -336 11.89/11.94 c Elapsed CPU time: 11.7082 s Remaining CPU time: 1788.29 s 11.99/12.02 c core #165 11.99/12.02 c Core size: 4 Core Weight: 1 Total Weight: -335 11.99/12.02 c Elapsed CPU time: 11.7862 s Remaining CPU time: 1788.21 s 11.99/12.09 c core #166 11.99/12.09 c Core size: 4 Core Weight: 1 Total Weight: -334 11.99/12.09 c Elapsed CPU time: 11.8632 s Remaining CPU time: 1788.14 s 12.09/12.17 c core #167 12.09/12.17 c Core size: 4 Core Weight: 1 Total Weight: -333 12.09/12.17 c Elapsed CPU time: 11.9342 s Remaining CPU time: 1788.07 s 12.19/12.24 c core #168 12.19/12.24 c Core size: 4 Core Weight: 1 Total Weight: -332 12.19/12.24 c Elapsed CPU time: 12.0062 s Remaining CPU time: 1787.99 s 12.29/12.32 c core #169 12.29/12.32 c Core size: 4 Core Weight: 1 Total Weight: -331 12.29/12.32 c Elapsed CPU time: 12.0792 s Remaining CPU time: 1787.92 s 12.29/12.39 c core #170 12.29/12.39 c Core size: 4 Core Weight: 1 Total Weight: -330 12.29/12.39 c Elapsed CPU time: 12.1522 s Remaining CPU time: 1787.85 s 12.38/12.46 c core #171 12.38/12.46 c Core size: 4 Core Weight: 1 Total Weight: -329 12.38/12.46 c Elapsed CPU time: 12.2251 s Remaining CPU time: 1787.77 s 12.48/12.54 c core #172 12.48/12.54 c Core size: 4 Core Weight: 1 Total Weight: -328 12.48/12.54 c Elapsed CPU time: 12.2961 s Remaining CPU time: 1787.7 s 12.58/12.61 c core #173 12.58/12.61 c Core size: 4 Core Weight: 1 Total Weight: -327 12.58/12.61 c Elapsed CPU time: 12.3691 s Remaining CPU time: 1787.63 s 12.58/12.69 c core #174 12.58/12.69 c Core size: 4 Core Weight: 1 Total Weight: -326 12.58/12.69 c Elapsed CPU time: 12.4431 s Remaining CPU time: 1787.56 s 12.69/12.76 c core #175 12.69/12.76 c Core size: 4 Core Weight: 1 Total Weight: -325 12.69/12.76 c Elapsed CPU time: 12.5191 s Remaining CPU time: 1787.48 s 12.79/12.84 c core #176 12.79/12.84 c Core size: 4 Core Weight: 1 Total Weight: -324 12.79/12.84 c Elapsed CPU time: 12.5931 s Remaining CPU time: 1787.41 s 12.89/12.91 c core #177 12.89/12.91 c Core size: 4 Core Weight: 1 Total Weight: -323 12.89/12.91 c Elapsed CPU time: 12.6681 s Remaining CPU time: 1787.33 s 12.89/12.99 c core #178 12.89/12.99 c Core size: 4 Core Weight: 1 Total Weight: -322 12.89/12.99 c Elapsed CPU time: 12.7401 s Remaining CPU time: 1787.26 s 12.99/13.06 c core #179 12.99/13.06 c Core size: 4 Core Weight: 1 Total Weight: -321 12.99/13.06 c Elapsed CPU time: 12.8151 s Remaining CPU time: 1787.18 s 13.09/13.14 c core #180 13.09/13.14 c Core size: 4 Core Weight: 1 Total Weight: -320 13.09/13.14 c Elapsed CPU time: 12.887 s Remaining CPU time: 1787.11 s 13.19/13.21 c core #181 13.19/13.21 c Core size: 4 Core Weight: 1 Total Weight: -319 13.19/13.21 c Elapsed CPU time: 12.962 s Remaining CPU time: 1787.04 s 13.19/13.28 c core #182 13.19/13.28 c Core size: 4 Core Weight: 1 Total Weight: -318 13.19/13.28 c Elapsed CPU time: 13.036 s Remaining CPU time: 1786.96 s 13.28/13.36 c core #183 13.28/13.36 c Core size: 4 Core Weight: 1 Total Weight: -317 13.28/13.36 c Elapsed CPU time: 13.11 s Remaining CPU time: 1786.89 s 13.38/13.43 c core #184 13.38/13.43 c Core size: 4 Core Weight: 1 Total Weight: -316 13.38/13.43 c Elapsed CPU time: 13.185 s Remaining CPU time: 1786.82 s 13.48/13.51 c core #185 13.48/13.51 c Core size: 4 Core Weight: 1 Total Weight: -315 13.48/13.51 c Elapsed CPU time: 13.26 s Remaining CPU time: 1786.74 s 13.48/13.58 c core #186 13.48/13.58 c Core size: 4 Core Weight: 1 Total Weight: -314 13.48/13.58 c Elapsed CPU time: 13.332 s Remaining CPU time: 1786.67 s 13.58/13.66 c core #187 13.58/13.66 c Core size: 4 Core Weight: 1 Total Weight: -313 13.58/13.66 c Elapsed CPU time: 13.407 s Remaining CPU time: 1786.59 s 13.68/13.73 c core #188 13.68/13.73 c Core size: 4 Core Weight: 1 Total Weight: -312 13.68/13.73 c Elapsed CPU time: 13.48 s Remaining CPU time: 1786.52 s 13.79/13.81 c core #189 13.79/13.81 c Core size: 4 Core Weight: 1 Total Weight: -311 13.79/13.81 c Elapsed CPU time: 13.5559 s Remaining CPU time: 1786.44 s 13.79/13.89 c core #190 13.79/13.89 c Core size: 4 Core Weight: 1 Total Weight: -310 13.79/13.89 c Elapsed CPU time: 13.6289 s Remaining CPU time: 1786.37 s 13.88/13.96 c core #191 13.88/13.96 c Core size: 4 Core Weight: 1 Total Weight: -309 13.88/13.96 c Elapsed CPU time: 13.7029 s Remaining CPU time: 1786.3 s 13.98/14.04 c core #192 13.98/14.04 c Core size: 4 Core Weight: 1 Total Weight: -308 13.98/14.04 c Elapsed CPU time: 13.7749 s Remaining CPU time: 1786.23 s 14.08/14.11 c core #193 14.08/14.11 c Core size: 4 Core Weight: 1 Total Weight: -307 14.08/14.11 c Elapsed CPU time: 13.8529 s Remaining CPU time: 1786.15 s 14.08/14.19 c core #194 14.08/14.19 c Core size: 4 Core Weight: 1 Total Weight: -306 14.08/14.19 c Elapsed CPU time: 13.9269 s Remaining CPU time: 1786.07 s 14.18/14.27 c core #195 14.18/14.27 c Core size: 4 Core Weight: 1 Total Weight: -305 14.18/14.27 c Elapsed CPU time: 14.0039 s Remaining CPU time: 1786 s 14.29/14.34 c core #196 14.29/14.34 c Core size: 4 Core Weight: 1 Total Weight: -304 14.29/14.34 c Elapsed CPU time: 14.0779 s Remaining CPU time: 1785.92 s 14.39/14.42 c core #197 14.39/14.42 c Core size: 4 Core Weight: 1 Total Weight: -303 14.39/14.42 c Elapsed CPU time: 14.1538 s Remaining CPU time: 1785.85 s 14.39/14.49 c core #198 14.39/14.49 c Core size: 4 Core Weight: 1 Total Weight: -302 14.39/14.49 c Elapsed CPU time: 14.2288 s Remaining CPU time: 1785.77 s 14.49/14.57 c core #199 14.49/14.57 c Core size: 4 Core Weight: 1 Total Weight: -301 14.49/14.57 c Elapsed CPU time: 14.3048 s Remaining CPU time: 1785.7 s 14.59/14.65 c core #200 14.59/14.65 c Core size: 4 Core Weight: 1 Total Weight: -300 14.59/14.65 c Elapsed CPU time: 14.3758 s Remaining CPU time: 1785.62 s 14.68/14.72 c core #201 14.68/14.72 c Core size: 4 Core Weight: 1 Total Weight: -299 14.68/14.72 c Elapsed CPU time: 14.4498 s Remaining CPU time: 1785.55 s 14.68/14.79 c core #202 14.68/14.79 c Core size: 4 Core Weight: 1 Total Weight: -298 14.68/14.79 c Elapsed CPU time: 14.5248 s Remaining CPU time: 1785.48 s 14.78/14.87 c core #203 14.78/14.87 c Core size: 4 Core Weight: 1 Total Weight: -297 14.78/14.87 c Elapsed CPU time: 14.5978 s Remaining CPU time: 1785.4 s 14.89/14.95 c core #204 14.89/14.95 c Core size: 4 Core Weight: 1 Total Weight: -296 14.89/14.95 c Elapsed CPU time: 14.6738 s Remaining CPU time: 1785.33 s 14.99/15.02 c core #205 14.99/15.02 c Core size: 4 Core Weight: 1 Total Weight: -295 14.99/15.02 c Elapsed CPU time: 14.7498 s Remaining CPU time: 1785.25 s 15.08/15.10 c core #206 15.08/15.10 c Core size: 4 Core Weight: 1 Total Weight: -294 15.08/15.10 c Elapsed CPU time: 14.8247 s Remaining CPU time: 1785.18 s 15.08/15.18 c core #207 15.08/15.18 c Core size: 4 Core Weight: 1 Total Weight: -293 15.08/15.18 c Elapsed CPU time: 14.9017 s Remaining CPU time: 1785.1 s 15.18/15.26 c core #208 15.18/15.26 c Core size: 4 Core Weight: 1 Total Weight: -292 15.18/15.26 c Elapsed CPU time: 14.9787 s Remaining CPU time: 1785.02 s 15.29/15.33 c core #209 15.29/15.33 c Core size: 4 Core Weight: 1 Total Weight: -291 15.29/15.33 c Elapsed CPU time: 15.0537 s Remaining CPU time: 1784.95 s 15.38/15.41 c core #210 15.38/15.41 c Core size: 4 Core Weight: 1 Total Weight: -290 15.38/15.41 c Elapsed CPU time: 15.1307 s Remaining CPU time: 1784.87 s 15.38/15.49 c core #211 15.38/15.49 c Core size: 4 Core Weight: 1 Total Weight: -289 15.38/15.49 c Elapsed CPU time: 15.2047 s Remaining CPU time: 1784.8 s 15.49/15.57 c core #212 15.49/15.57 c Core size: 4 Core Weight: 1 Total Weight: -288 15.49/15.57 c Elapsed CPU time: 15.2787 s Remaining CPU time: 1784.72 s 15.58/15.64 c core #213 15.58/15.64 c Core size: 4 Core Weight: 1 Total Weight: -287 15.58/15.64 c Elapsed CPU time: 15.3567 s Remaining CPU time: 1784.64 s 15.68/15.72 c core #214 15.68/15.72 c Core size: 4 Core Weight: 1 Total Weight: -286 15.68/15.72 c Elapsed CPU time: 15.4317 s Remaining CPU time: 1784.57 s 15.78/15.80 c core #215 15.78/15.80 c Core size: 4 Core Weight: 1 Total Weight: -285 15.78/15.80 c Elapsed CPU time: 15.5086 s Remaining CPU time: 1784.49 s 15.78/15.88 c core #216 15.78/15.88 c Core size: 4 Core Weight: 1 Total Weight: -284 15.78/15.88 c Elapsed CPU time: 15.5846 s Remaining CPU time: 1784.42 s 15.88/15.95 c core #217 15.88/15.95 c Core size: 4 Core Weight: 1 Total Weight: -283 15.88/15.95 c Elapsed CPU time: 15.6616 s Remaining CPU time: 1784.34 s 15.98/16.03 c core #218 15.98/16.03 c Core size: 4 Core Weight: 1 Total Weight: -282 15.98/16.03 c Elapsed CPU time: 15.7366 s Remaining CPU time: 1784.26 s 16.08/16.11 c core #219 16.08/16.11 c Core size: 4 Core Weight: 1 Total Weight: -281 16.08/16.11 c Elapsed CPU time: 15.8126 s Remaining CPU time: 1784.19 s 16.08/16.18 c core #220 16.08/16.18 c Core size: 4 Core Weight: 1 Total Weight: -280 16.08/16.18 c Elapsed CPU time: 15.8876 s Remaining CPU time: 1784.11 s 16.18/16.26 c core #221 16.18/16.26 c Core size: 4 Core Weight: 1 Total Weight: -279 16.18/16.26 c Elapsed CPU time: 15.9616 s Remaining CPU time: 1784.04 s 16.28/16.34 c core #222 16.28/16.34 c Core size: 4 Core Weight: 1 Total Weight: -278 16.28/16.34 c Elapsed CPU time: 16.0386 s Remaining CPU time: 1783.96 s 16.39/16.42 c core #223 16.39/16.42 c Core size: 4 Core Weight: 1 Total Weight: -277 16.39/16.42 c Elapsed CPU time: 16.1155 s Remaining CPU time: 1783.88 s 16.39/16.49 c core #224 16.39/16.49 c Core size: 4 Core Weight: 1 Total Weight: -276 16.39/16.49 c Elapsed CPU time: 16.1895 s Remaining CPU time: 1783.81 s 16.48/16.57 c core #225 16.48/16.57 c Core size: 4 Core Weight: 1 Total Weight: -275 16.48/16.57 c Elapsed CPU time: 16.2645 s Remaining CPU time: 1783.74 s 16.58/16.64 c core #226 16.58/16.64 c Core size: 4 Core Weight: 1 Total Weight: -274 16.58/16.64 c Elapsed CPU time: 16.3395 s Remaining CPU time: 1783.66 s 16.68/16.72 c core #227 16.68/16.72 c Core size: 4 Core Weight: 1 Total Weight: -273 16.68/16.72 c Elapsed CPU time: 16.4155 s Remaining CPU time: 1783.58 s 16.68/16.79 c core #228 16.68/16.79 c Core size: 4 Core Weight: 1 Total Weight: -272 16.68/16.79 c Elapsed CPU time: 16.4905 s Remaining CPU time: 1783.51 s 16.78/16.87 c core #229 16.78/16.87 c Core size: 4 Core Weight: 1 Total Weight: -271 16.78/16.87 c Elapsed CPU time: 16.5655 s Remaining CPU time: 1783.43 s 16.88/16.95 c core #230 16.88/16.95 c Core size: 4 Core Weight: 1 Total Weight: -270 16.88/16.95 c Elapsed CPU time: 16.6415 s Remaining CPU time: 1783.36 s 16.99/17.02 c core #231 16.99/17.02 c Core size: 4 Core Weight: 1 Total Weight: -269 16.99/17.02 c Elapsed CPU time: 16.7165 s Remaining CPU time: 1783.28 s 17.08/17.10 c core #232 17.08/17.10 c Core size: 4 Core Weight: 1 Total Weight: -268 17.08/17.10 c Elapsed CPU time: 16.7914 s Remaining CPU time: 1783.21 s 17.08/17.18 c core #233 17.08/17.18 c Core size: 4 Core Weight: 1 Total Weight: -267 17.08/17.18 c Elapsed CPU time: 16.8674 s Remaining CPU time: 1783.13 s 17.18/17.25 c core #234 17.18/17.25 c Core size: 4 Core Weight: 1 Total Weight: -266 17.18/17.25 c Elapsed CPU time: 16.9414 s Remaining CPU time: 1783.06 s 17.28/17.33 c core #235 17.28/17.33 c Core size: 4 Core Weight: 1 Total Weight: -265 17.28/17.33 c Elapsed CPU time: 17.0174 s Remaining CPU time: 1782.98 s 17.38/17.41 c core #236 17.38/17.41 c Core size: 4 Core Weight: 1 Total Weight: -264 17.38/17.41 c Elapsed CPU time: 17.0944 s Remaining CPU time: 1782.91 s 17.38/17.49 c core #237 17.38/17.49 c Core size: 4 Core Weight: 1 Total Weight: -263 17.38/17.49 c Elapsed CPU time: 17.1714 s Remaining CPU time: 1782.83 s 17.48/17.56 c core #238 17.48/17.56 c Core size: 4 Core Weight: 1 Total Weight: -262 17.48/17.56 c Elapsed CPU time: 17.2494 s Remaining CPU time: 1782.75 s 17.58/17.64 c core #239 17.58/17.64 c Core size: 4 Core Weight: 1 Total Weight: -261 17.58/17.64 c Elapsed CPU time: 17.3264 s Remaining CPU time: 1782.67 s 17.69/17.72 c core #240 17.69/17.72 c Core size: 4 Core Weight: 1 Total Weight: -260 17.69/17.72 c Elapsed CPU time: 17.4014 s Remaining CPU time: 1782.6 s 17.69/17.79 c core #241 17.69/17.79 c Core size: 4 Core Weight: 1 Total Weight: -259 17.69/17.79 c Elapsed CPU time: 17.4763 s Remaining CPU time: 1782.52 s 17.78/17.87 c core #242 17.78/17.87 c Core size: 4 Core Weight: 1 Total Weight: -258 17.78/17.87 c Elapsed CPU time: 17.5513 s Remaining CPU time: 1782.45 s 17.88/17.95 c core #243 17.88/17.95 c Core size: 4 Core Weight: 1 Total Weight: -257 17.88/17.95 c Elapsed CPU time: 17.6273 s Remaining CPU time: 1782.37 s 17.98/18.03 c core #244 17.98/18.03 c Core size: 4 Core Weight: 1 Total Weight: -256 17.98/18.03 c Elapsed CPU time: 17.7033 s Remaining CPU time: 1782.3 s 18.08/18.10 c core #245 18.08/18.10 c Core size: 4 Core Weight: 1 Total Weight: -255 18.08/18.10 c Elapsed CPU time: 17.7783 s Remaining CPU time: 1782.22 s 18.08/18.18 c core #246 18.08/18.18 c Core size: 4 Core Weight: 1 Total Weight: -254 18.08/18.18 c Elapsed CPU time: 17.8543 s Remaining CPU time: 1782.15 s 18.18/18.26 c core #247 18.18/18.26 c Core size: 9 Core Weight: 1 Total Weight: -253 18.18/18.26 c Elapsed CPU time: 17.9313 s Remaining CPU time: 1782.07 s 18.28/18.33 c core #248 18.28/18.33 c Core size: 9 Core Weight: 1 Total Weight: -252 18.28/18.33 c Elapsed CPU time: 18.0073 s Remaining CPU time: 1781.99 s 18.39/18.41 c core #249 18.39/18.41 c Core size: 14 Core Weight: 1 Total Weight: -251 18.39/18.41 c Elapsed CPU time: 18.0832 s Remaining CPU time: 1781.92 s 18.39/18.49 c core #250 18.39/18.49 c Core size: 8 Core Weight: 1 Total Weight: -250 18.39/18.49 c Elapsed CPU time: 18.1592 s Remaining CPU time: 1781.84 s 18.48/18.56 c core #251 18.48/18.56 c Core size: 18 Core Weight: 1 Total Weight: -249 18.48/18.56 c Elapsed CPU time: 18.2342 s Remaining CPU time: 1781.77 s 18.59/18.64 c ============================[ Search Statistics ]============================== 18.59/18.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.59/18.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.59/18.64 c =============================================================================== 18.59/18.64 c | 0 | 1016 39251 94622 | 13083 0 nan | 0.000 % | 18.59/18.64 c =============================================================================== 18.59/18.64 c core #252 18.59/18.64 c Core size: 17 Core Weight: 1 Total Weight: -248 18.59/18.64 c Elapsed CPU time: 18.3122 s Remaining CPU time: 1781.69 s 18.69/18.71 c ============================[ Search Statistics ]============================== 18.69/18.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.69/18.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.69/18.71 c =============================================================================== 18.69/18.71 c | 0 | 1022 39252 94634 | 13084 0 nan | 0.000 % | 18.69/18.72 c =============================================================================== 18.69/18.72 c core #253 18.69/18.72 c Core size: 15 Core Weight: 1 Total Weight: -247 18.69/18.72 c Elapsed CPU time: 18.3862 s Remaining CPU time: 1781.61 s 18.69/18.79 c ============================[ Search Statistics ]============================== 18.69/18.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.69/18.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.69/18.79 c =============================================================================== 18.69/18.79 c | 0 | 1028 39253 94646 | 13084 0 nan | 0.000 % | 18.69/18.79 c =============================================================================== 18.69/18.80 c core #254 18.69/18.80 c Core size: 17 Core Weight: 1 Total Weight: -246 18.69/18.80 c Elapsed CPU time: 18.4612 s Remaining CPU time: 1781.54 s 18.78/18.87 c ============================[ Search Statistics ]============================== 18.78/18.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.78/18.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.78/18.87 c =============================================================================== 18.78/18.87 c | 0 | 1034 39254 94658 | 13084 0 nan | 0.000 % | 18.78/18.87 c =============================================================================== 18.78/18.87 c core #255 18.78/18.87 c Core size: 16 Core Weight: 1 Total Weight: -245 18.78/18.87 c Elapsed CPU time: 18.5342 s Remaining CPU time: 1781.47 s 18.89/18.95 c ============================[ Search Statistics ]============================== 18.89/18.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.89/18.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.89/18.95 c =============================================================================== 18.89/18.95 c | 0 | 1040 39255 94670 | 13085 0 nan | 0.000 % | 18.89/18.95 c =============================================================================== 18.89/18.95 c core #256 18.89/18.95 c Core size: 17 Core Weight: 1 Total Weight: -244 18.89/18.95 c Elapsed CPU time: 18.6142 s Remaining CPU time: 1781.39 s 18.99/19.02 c ============================[ Search Statistics ]============================== 18.99/19.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.99/19.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.99/19.02 c =============================================================================== 18.99/19.02 c | 0 | 1046 39256 94682 | 13085 0 nan | 0.000 % | 18.99/19.03 c =============================================================================== 18.99/19.03 c core #257 18.99/19.03 c Core size: 15 Core Weight: 1 Total Weight: -243 18.99/19.03 c Elapsed CPU time: 18.6902 s Remaining CPU time: 1781.31 s 19.08/19.10 c ============================[ Search Statistics ]============================== 19.08/19.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.08/19.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.08/19.10 c =============================================================================== 19.08/19.10 c | 0 | 1052 39257 94694 | 13085 0 nan | 0.000 % | 19.08/19.10 c =============================================================================== 19.08/19.11 c core #258 19.08/19.11 c Core size: 17 Core Weight: 1 Total Weight: -242 19.08/19.11 c Elapsed CPU time: 18.7671 s Remaining CPU time: 1781.23 s 19.08/19.18 c ============================[ Search Statistics ]============================== 19.08/19.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.08/19.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.08/19.18 c =============================================================================== 19.08/19.18 c | 0 | 1058 39258 94706 | 13086 0 nan | 0.000 % | 19.08/19.18 c =============================================================================== 19.08/19.18 c core #259 19.08/19.18 c Core size: 17 Core Weight: 1 Total Weight: -241 19.08/19.18 c Elapsed CPU time: 18.8441 s Remaining CPU time: 1781.16 s 19.18/19.26 c ============================[ Search Statistics ]============================== 19.18/19.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.18/19.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.18/19.26 c =============================================================================== 19.18/19.26 c | 0 | 1064 39259 94718 | 13086 0 nan | 0.000 % | 19.18/19.26 c =============================================================================== 19.18/19.26 c core #260 19.18/19.26 c Core size: 15 Core Weight: 1 Total Weight: -240 19.18/19.26 c Elapsed CPU time: 18.9221 s Remaining CPU time: 1781.08 s 19.28/19.33 c ============================[ Search Statistics ]============================== 19.28/19.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.28/19.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.28/19.33 c =============================================================================== 19.28/19.33 c | 0 | 1070 39260 94730 | 13086 0 nan | 0.000 % | 19.28/19.34 c =============================================================================== 19.28/19.34 c core #261 19.28/19.34 c Core size: 17 Core Weight: 1 Total Weight: -239 19.28/19.34 c Elapsed CPU time: 18.9991 s Remaining CPU time: 1781 s 19.38/19.41 c ============================[ Search Statistics ]============================== 19.38/19.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.38/19.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.38/19.41 c =============================================================================== 19.38/19.41 c | 0 | 1076 39261 94742 | 13087 0 nan | 0.000 % | 19.38/19.42 c =============================================================================== 19.38/19.42 c core #262 19.38/19.42 c Core size: 15 Core Weight: 1 Total Weight: -238 19.38/19.42 c Elapsed CPU time: 19.0761 s Remaining CPU time: 1780.92 s 19.38/19.49 c ============================[ Search Statistics ]============================== 19.38/19.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.38/19.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.38/19.49 c =============================================================================== 19.38/19.49 c | 0 | 1082 39262 94754 | 13087 0 nan | 0.000 % | 19.38/19.50 c =============================================================================== 19.38/19.50 c core #263 19.38/19.50 c Core size: 15 Core Weight: 1 Total Weight: -237 19.38/19.50 c Elapsed CPU time: 19.1521 s Remaining CPU time: 1780.85 s 19.48/19.57 c ============================[ Search Statistics ]============================== 19.48/19.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.48/19.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.48/19.57 c =============================================================================== 19.48/19.57 c | 0 | 1088 39263 94766 | 13087 0 nan | 0.000 % | 19.48/19.57 c =============================================================================== 19.48/19.57 c core #264 19.48/19.57 c Core size: 15 Core Weight: 1 Total Weight: -236 19.48/19.57 c Elapsed CPU time: 19.2271 s Remaining CPU time: 1780.77 s 19.59/19.64 c ============================[ Search Statistics ]============================== 19.59/19.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.59/19.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.59/19.64 c =============================================================================== 19.59/19.64 c | 0 | 1094 39264 94778 | 13088 0 nan | 0.000 % | 19.59/19.65 c =============================================================================== 19.59/19.65 c core #265 19.59/19.65 c Core size: 17 Core Weight: 1 Total Weight: -235 19.59/19.65 c Elapsed CPU time: 19.3031 s Remaining CPU time: 1780.7 s 19.69/19.72 c ============================[ Search Statistics ]============================== 19.69/19.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.69/19.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.69/19.72 c =============================================================================== 19.69/19.72 c | 0 | 1100 39265 94790 | 13088 0 nan | 0.000 % | 19.69/19.73 c =============================================================================== 19.69/19.73 c core #266 19.69/19.73 c Core size: 16 Core Weight: 1 Total Weight: -234 19.69/19.73 c Elapsed CPU time: 19.3761 s Remaining CPU time: 1780.62 s 19.69/19.80 c ============================[ Search Statistics ]============================== 19.69/19.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.69/19.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.69/19.80 c =============================================================================== 19.69/19.80 c | 0 | 1106 39266 94802 | 13088 0 nan | 0.000 % | 19.78/19.80 c =============================================================================== 19.78/19.80 c core #267 19.78/19.80 c Core size: 15 Core Weight: 1 Total Weight: -233 19.78/19.80 c Elapsed CPU time: 19.451 s Remaining CPU time: 1780.55 s 19.78/19.88 c ============================[ Search Statistics ]============================== 19.78/19.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.78/19.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.78/19.88 c =============================================================================== 19.78/19.88 c | 0 | 1112 39267 94814 | 13089 0 nan | 0.000 % | 19.78/19.88 c =============================================================================== 19.78/19.88 c core #268 19.78/19.88 c Core size: 15 Core Weight: 1 Total Weight: -232 19.78/19.88 c Elapsed CPU time: 19.526 s Remaining CPU time: 1780.47 s 19.89/19.95 c ============================[ Search Statistics ]============================== 19.89/19.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.89/19.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.89/19.95 c =============================================================================== 19.89/19.95 c | 0 | 1118 39268 94826 | 13089 0 nan | 0.000 % | 19.89/19.96 c =============================================================================== 19.89/19.96 c core #269 19.89/19.96 c Core size: 17 Core Weight: 1 Total Weight: -231 19.89/19.96 c Elapsed CPU time: 19.602 s Remaining CPU time: 1780.4 s 19.99/20.03 c ============================[ Search Statistics ]============================== 19.99/20.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.99/20.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.99/20.03 c =============================================================================== 19.99/20.03 c | 0 | 1124 39269 94838 | 13089 0 nan | 0.000 % | 19.99/20.04 c =============================================================================== 19.99/20.04 c core #270 19.99/20.04 c Core size: 16 Core Weight: 1 Total Weight: -230 19.99/20.04 c Elapsed CPU time: 19.681 s Remaining CPU time: 1780.32 s 20.08/20.11 c ============================[ Search Statistics ]============================== 20.08/20.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.08/20.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.08/20.11 c =============================================================================== 20.08/20.11 c | 0 | 1130 39270 94850 | 13090 0 nan | 0.000 % | 20.08/20.12 c =============================================================================== 20.08/20.12 c core #271 20.08/20.12 c Core size: 16 Core Weight: 1 Total Weight: -229 20.08/20.12 c Elapsed CPU time: 19.757 s Remaining CPU time: 1780.24 s 20.08/20.19 c ============================[ Search Statistics ]============================== 20.08/20.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.08/20.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.08/20.19 c =============================================================================== 20.08/20.19 c | 0 | 1136 39271 94862 | 13090 0 nan | 0.000 % | 20.08/20.19 c =============================================================================== 20.08/20.19 c core #272 20.08/20.19 c Core size: 17 Core Weight: 1 Total Weight: -228 20.08/20.19 c Elapsed CPU time: 19.834 s Remaining CPU time: 1780.17 s 20.18/20.27 c ============================[ Search Statistics ]============================== 20.18/20.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.18/20.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.18/20.27 c =============================================================================== 20.18/20.27 c | 0 | 1142 39272 94874 | 13090 0 nan | 0.000 % | 20.18/20.27 c =============================================================================== 20.18/20.27 c core #273 20.18/20.27 c Core size: 16 Core Weight: 1 Total Weight: -227 20.18/20.27 c Elapsed CPU time: 19.913 s Remaining CPU time: 1780.09 s 20.28/20.34 c ============================[ Search Statistics ]============================== 20.28/20.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.28/20.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.28/20.34 c =============================================================================== 20.28/20.34 c | 0 | 1148 39273 94886 | 13091 0 nan | 0.000 % | 20.28/20.35 c =============================================================================== 20.28/20.35 c core #274 20.28/20.35 c Core size: 16 Core Weight: 1 Total Weight: -226 20.28/20.35 c Elapsed CPU time: 19.988 s Remaining CPU time: 1780.01 s 20.38/20.42 c ============================[ Search Statistics ]============================== 20.38/20.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.38/20.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.38/20.42 c =============================================================================== 20.38/20.42 c | 0 | 1154 39274 94898 | 13091 0 nan | 0.000 % | 20.38/20.43 c =============================================================================== 20.38/20.43 c core #275 20.38/20.43 c Core size: 17 Core Weight: 1 Total Weight: -225 20.38/20.43 c Elapsed CPU time: 20.0649 s Remaining CPU time: 1779.94 s 20.48/20.50 c ============================[ Search Statistics ]============================== 20.48/20.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.48/20.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.48/20.50 c =============================================================================== 20.48/20.50 c | 0 | 1160 39275 94910 | 13091 0 nan | 0.000 % | 20.48/20.50 c =============================================================================== 20.48/20.50 c core #276 20.48/20.50 c Core size: 15 Core Weight: 1 Total Weight: -224 20.48/20.50 c Elapsed CPU time: 20.1409 s Remaining CPU time: 1779.86 s 20.48/20.58 c ============================[ Search Statistics ]============================== 20.48/20.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.48/20.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.48/20.58 c =============================================================================== 20.48/20.58 c | 0 | 1166 39276 94922 | 13092 0 nan | 0.000 % | 20.48/20.58 c =============================================================================== 20.48/20.58 c core #277 20.48/20.58 c Core size: 15 Core Weight: 1 Total Weight: -223 20.48/20.58 c Elapsed CPU time: 20.2169 s Remaining CPU time: 1779.78 s 20.58/20.65 c ============================[ Search Statistics ]============================== 20.58/20.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.58/20.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.58/20.65 c =============================================================================== 20.58/20.65 c | 0 | 1172 39277 94934 | 13092 0 nan | 0.000 % | 20.58/20.66 c =============================================================================== 20.58/20.66 c core #278 20.58/20.66 c Core size: 17 Core Weight: 1 Total Weight: -222 20.58/20.66 c Elapsed CPU time: 20.2919 s Remaining CPU time: 1779.71 s 20.68/20.73 c ============================[ Search Statistics ]============================== 20.68/20.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.68/20.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.68/20.73 c =============================================================================== 20.68/20.73 c | 0 | 1178 39278 94946 | 13092 0 nan | 0.000 % | 20.68/20.74 c =============================================================================== 20.68/20.74 c core #279 20.68/20.74 c Core size: 15 Core Weight: 1 Total Weight: -221 20.68/20.74 c Elapsed CPU time: 20.3679 s Remaining CPU time: 1779.63 s 20.79/20.81 c ============================[ Search Statistics ]============================== 20.79/20.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.79/20.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.79/20.81 c =============================================================================== 20.79/20.81 c | 0 | 1184 39279 94958 | 13093 0 nan | 0.000 % | 20.79/20.81 c =============================================================================== 20.79/20.81 c core #280 20.79/20.81 c Core size: 16 Core Weight: 1 Total Weight: -220 20.79/20.81 c Elapsed CPU time: 20.4439 s Remaining CPU time: 1779.56 s 20.79/20.88 c ============================[ Search Statistics ]============================== 20.79/20.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.79/20.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.79/20.88 c =============================================================================== 20.79/20.88 c | 0 | 1190 39280 94970 | 13093 0 nan | 0.000 % | 20.79/20.89 c =============================================================================== 20.79/20.89 c core #281 20.79/20.89 c Core size: 15 Core Weight: 1 Total Weight: -219 20.79/20.89 c Elapsed CPU time: 20.5189 s Remaining CPU time: 1779.48 s 20.88/20.96 c ============================[ Search Statistics ]============================== 20.88/20.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.88/20.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.88/20.96 c =============================================================================== 20.88/20.96 c | 0 | 1196 39281 94982 | 13093 0 nan | 0.000 % | 20.88/20.97 c =============================================================================== 20.88/20.97 c core #282 20.88/20.97 c Core size: 17 Core Weight: 1 Total Weight: -218 20.88/20.97 c Elapsed CPU time: 20.5949 s Remaining CPU time: 1779.41 s 20.98/21.04 c ============================[ Search Statistics ]============================== 20.98/21.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.98/21.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.98/21.04 c =============================================================================== 20.98/21.04 c | 0 | 1202 39282 94994 | 13094 0 nan | 0.000 % | 20.98/21.04 c =============================================================================== 20.98/21.04 c core #283 20.98/21.04 c Core size: 16 Core Weight: 1 Total Weight: -217 20.98/21.04 c Elapsed CPU time: 20.6699 s Remaining CPU time: 1779.33 s 21.08/21.11 c ============================[ Search Statistics ]============================== 21.08/21.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.08/21.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.08/21.11 c =============================================================================== 21.08/21.11 c | 0 | 1208 39283 95006 | 13094 0 nan | 0.000 % | 21.08/21.12 c =============================================================================== 21.08/21.12 c core #284 21.08/21.12 c Core size: 15 Core Weight: 1 Total Weight: -216 21.08/21.12 c Elapsed CPU time: 20.7428 s Remaining CPU time: 1779.26 s 21.08/21.19 c ============================[ Search Statistics ]============================== 21.08/21.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.08/21.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.08/21.19 c =============================================================================== 21.08/21.19 c | 0 | 1214 39284 95018 | 13094 0 nan | 0.000 % | 21.18/21.20 c =============================================================================== 21.18/21.20 c core #285 21.18/21.20 c Core size: 21 Core Weight: 1 Total Weight: -215 21.18/21.20 c Elapsed CPU time: 20.8178 s Remaining CPU time: 1779.18 s 21.18/21.27 c ============================[ Search Statistics ]============================== 21.18/21.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.18/21.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.18/21.27 c =============================================================================== 21.18/21.27 c | 0 | 1222 39285 95034 | 13095 0 nan | 0.000 % | 21.18/21.27 c =============================================================================== 21.18/21.27 c core #286 21.18/21.27 c Core size: 16 Core Weight: 1 Total Weight: -214 21.18/21.27 c Elapsed CPU time: 20.8918 s Remaining CPU time: 1779.11 s 21.28/21.34 c ============================[ Search Statistics ]============================== 21.28/21.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.28/21.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.28/21.35 c =============================================================================== 21.28/21.35 c | 0 | 1228 39286 95046 | 13095 0 nan | 0.000 % | 21.28/21.35 c =============================================================================== 21.28/21.35 c core #287 21.28/21.35 c Core size: 17 Core Weight: 1 Total Weight: -213 21.28/21.35 c Elapsed CPU time: 20.9678 s Remaining CPU time: 1779.03 s 21.38/21.42 c ============================[ Search Statistics ]============================== 21.38/21.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.38/21.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.38/21.42 c =============================================================================== 21.38/21.42 c | 0 | 1234 39287 95058 | 13095 0 nan | 0.000 % | 21.38/21.43 c =============================================================================== 21.38/21.43 c core #288 21.38/21.43 c Core size: 15 Core Weight: 1 Total Weight: -212 21.38/21.43 c Elapsed CPU time: 21.0438 s Remaining CPU time: 1778.96 s 21.48/21.50 c ============================[ Search Statistics ]============================== 21.48/21.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.48/21.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.48/21.50 c =============================================================================== 21.48/21.50 c | 0 | 1240 39288 95070 | 13096 0 nan | 0.000 % | 21.48/21.51 c =============================================================================== 21.48/21.51 c core #289 21.48/21.51 c Core size: 15 Core Weight: 1 Total Weight: -211 21.48/21.51 c Elapsed CPU time: 21.1168 s Remaining CPU time: 1778.88 s 21.48/21.58 c ============================[ Search Statistics ]============================== 21.48/21.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.48/21.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.48/21.58 c =============================================================================== 21.48/21.58 c | 0 | 1246 39289 95082 | 13096 0 nan | 0.000 % | 21.48/21.58 c =============================================================================== 21.48/21.58 c core #290 21.48/21.58 c Core size: 16 Core Weight: 1 Total Weight: -210 21.48/21.58 c Elapsed CPU time: 21.1948 s Remaining CPU time: 1778.81 s 21.58/21.66 c ============================[ Search Statistics ]============================== 21.58/21.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.58/21.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.58/21.66 c =============================================================================== 21.58/21.66 c | 0 | 1252 39290 95094 | 13096 0 nan | 0.000 % | 21.58/21.66 c =============================================================================== 21.58/21.66 c core #291 21.58/21.66 c Core size: 15 Core Weight: 1 Total Weight: -209 21.58/21.66 c Elapsed CPU time: 21.2708 s Remaining CPU time: 1778.73 s 21.68/21.73 c ============================[ Search Statistics ]============================== 21.68/21.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.68/21.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.68/21.74 c =============================================================================== 21.68/21.74 c | 0 | 1258 39291 95106 | 13097 0 nan | 0.000 % | 21.68/21.74 c =============================================================================== 21.68/21.74 c core #292 21.68/21.74 c Core size: 15 Core Weight: 1 Total Weight: -208 21.68/21.74 c Elapsed CPU time: 21.3498 s Remaining CPU time: 1778.65 s 21.78/21.81 c ============================[ Search Statistics ]============================== 21.78/21.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.78/21.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.78/21.81 c =============================================================================== 21.78/21.81 c | 0 | 1264 39292 95118 | 13097 0 nan | 0.000 % | 21.78/21.82 c =============================================================================== 21.78/21.82 c core #293 21.78/21.82 c Core size: 16 Core Weight: 1 Total Weight: -207 21.78/21.82 c Elapsed CPU time: 21.4277 s Remaining CPU time: 1778.57 s 21.78/21.89 c ============================[ Search Statistics ]============================== 21.78/21.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.78/21.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.78/21.89 c =============================================================================== 21.78/21.89 c | 0 | 1270 39293 95130 | 13097 0 nan | 0.000 % | 21.88/21.90 c =============================================================================== 21.88/21.90 c core #294 21.88/21.90 c Core size: 22 Core Weight: 1 Total Weight: -206 21.88/21.90 c Elapsed CPU time: 21.5057 s Remaining CPU time: 1778.49 s 21.88/21.97 c ============================[ Search Statistics ]============================== 21.88/21.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.88/21.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.88/21.97 c =============================================================================== 21.88/21.97 c | 0 | 1278 39294 95146 | 13098 0 nan | 0.000 % | 21.88/21.98 c =============================================================================== 21.88/21.98 c core #295 21.88/21.98 c Core size: 17 Core Weight: 1 Total Weight: -205 21.88/21.98 c Elapsed CPU time: 21.5817 s Remaining CPU time: 1778.42 s 21.98/22.05 c ============================[ Search Statistics ]============================== 21.98/22.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.98/22.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.98/22.05 c =============================================================================== 21.98/22.05 c | 0 | 1284 39295 95158 | 13098 0 nan | 0.000 % | 21.98/22.05 c =============================================================================== 21.98/22.05 c core #296 21.98/22.05 c Core size: 15 Core Weight: 1 Total Weight: -204 21.98/22.05 c Elapsed CPU time: 21.6577 s Remaining CPU time: 1778.34 s 22.08/22.13 c ============================[ Search Statistics ]============================== 22.08/22.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.08/22.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.08/22.13 c =============================================================================== 22.08/22.13 c | 0 | 1290 39296 95170 | 13098 0 nan | 0.000 % | 22.08/22.13 c =============================================================================== 22.08/22.13 c core #297 22.08/22.13 c Core size: 20 Core Weight: 1 Total Weight: -203 22.08/22.13 c Elapsed CPU time: 21.7357 s Remaining CPU time: 1778.26 s 22.18/22.20 c ============================[ Search Statistics ]============================== 22.18/22.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.18/22.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.18/22.20 c =============================================================================== 22.18/22.20 c | 0 | 1298 39297 95186 | 13099 0 nan | 0.000 % | 22.18/22.21 c =============================================================================== 22.18/22.21 c core #298 22.18/22.21 c Core size: 15 Core Weight: 1 Total Weight: -202 22.18/22.21 c Elapsed CPU time: 21.8117 s Remaining CPU time: 1778.19 s 22.18/22.28 c ============================[ Search Statistics ]============================== 22.18/22.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.18/22.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.18/22.28 c =============================================================================== 22.18/22.28 c | 0 | 1304 39298 95198 | 13099 0 nan | 0.000 % | 22.18/22.28 c =============================================================================== 22.18/22.28 c core #299 22.18/22.28 c Core size: 15 Core Weight: 1 Total Weight: -201 22.18/22.28 c Elapsed CPU time: 21.8877 s Remaining CPU time: 1778.11 s 22.28/22.36 c ============================[ Search Statistics ]============================== 22.28/22.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.28/22.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.28/22.36 c =============================================================================== 22.28/22.36 c | 0 | 1310 39299 95210 | 13099 0 nan | 0.000 % | 22.28/22.36 c =============================================================================== 22.28/22.36 c core #300 22.28/22.36 c Core size: 21 Core Weight: 1 Total Weight: -200 22.28/22.36 c Elapsed CPU time: 21.9627 s Remaining CPU time: 1778.04 s 22.38/22.43 c ============================[ Search Statistics ]============================== 22.38/22.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.38/22.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.38/22.43 c =============================================================================== 22.38/22.43 c | 0 | 1318 39300 95226 | 13100 0 nan | 0.000 % | 22.38/22.44 c =============================================================================== 22.38/22.44 c core #301 22.38/22.44 c Core size: 16 Core Weight: 1 Total Weight: -199 22.38/22.44 c Elapsed CPU time: 22.0396 s Remaining CPU time: 1777.96 s 22.48/22.51 c ============================[ Search Statistics ]============================== 22.48/22.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.48/22.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.48/22.51 c =============================================================================== 22.48/22.51 c | 0 | 1324 39301 95238 | 13100 0 nan | 0.000 % | 22.48/22.52 c =============================================================================== 22.48/22.52 c core #302 22.48/22.52 c Core size: 15 Core Weight: 1 Total Weight: -198 22.48/22.52 c Elapsed CPU time: 22.1156 s Remaining CPU time: 1777.88 s 22.48/22.59 c ============================[ Search Statistics ]============================== 22.48/22.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.48/22.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.48/22.59 c =============================================================================== 22.48/22.59 c | 0 | 1330 39302 95250 | 13100 0 nan | 0.000 % | 22.48/22.60 c =============================================================================== 22.48/22.60 c core #303 22.48/22.60 c Core size: 16 Core Weight: 1 Total Weight: -197 22.48/22.60 c Elapsed CPU time: 22.1916 s Remaining CPU time: 1777.81 s 22.58/22.67 c ============================[ Search Statistics ]============================== 22.58/22.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.58/22.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.58/22.67 c =============================================================================== 22.58/22.67 c | 0 | 1336 39303 95262 | 13101 0 nan | 0.000 % | 22.58/22.67 c =============================================================================== 22.58/22.67 c core #304 22.58/22.67 c Core size: 16 Core Weight: 1 Total Weight: -196 22.58/22.67 c Elapsed CPU time: 22.2696 s Remaining CPU time: 1777.73 s 22.68/22.75 c ============================[ Search Statistics ]============================== 22.68/22.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.68/22.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.68/22.75 c =============================================================================== 22.68/22.75 c | 0 | 1342 39304 95274 | 13101 0 nan | 0.000 % | 22.68/22.75 c =============================================================================== 22.68/22.75 c core #305 22.68/22.75 c Core size: 21 Core Weight: 1 Total Weight: -195 22.68/22.75 c Elapsed CPU time: 22.3476 s Remaining CPU time: 1777.65 s 22.78/22.82 c ============================[ Search Statistics ]============================== 22.78/22.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.78/22.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.78/22.82 c =============================================================================== 22.78/22.82 c | 0 | 1350 39305 95290 | 13101 0 nan | 0.000 % | 22.78/22.83 c =============================================================================== 22.78/22.83 c core #306 22.78/22.83 c Core size: 17 Core Weight: 1 Total Weight: -194 22.78/22.83 c Elapsed CPU time: 22.4236 s Remaining CPU time: 1777.58 s 22.88/22.90 c ============================[ Search Statistics ]============================== 22.88/22.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.88/22.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.88/22.90 c =============================================================================== 22.88/22.90 c | 0 | 1356 39306 95302 | 13102 0 nan | 0.000 % | 22.88/22.91 c =============================================================================== 22.88/22.91 c core #307 22.88/22.91 c Core size: 15 Core Weight: 1 Total Weight: -193 22.88/22.91 c Elapsed CPU time: 22.5006 s Remaining CPU time: 1777.5 s 22.88/22.98 c ============================[ Search Statistics ]============================== 22.88/22.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.88/22.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.88/22.98 c =============================================================================== 22.88/22.98 c | 0 | 1362 39307 95314 | 13102 0 nan | 0.000 % | 22.88/22.99 c =============================================================================== 22.88/22.99 c core #308 22.88/22.99 c Core size: 17 Core Weight: 1 Total Weight: -192 22.88/22.99 c Elapsed CPU time: 22.5766 s Remaining CPU time: 1777.42 s 22.99/23.06 c ============================[ Search Statistics ]============================== 22.99/23.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.99/23.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.99/23.06 c =============================================================================== 22.99/23.06 c | 0 | 1368 39308 95326 | 13102 0 nan | 0.000 % | 22.99/23.06 c =============================================================================== 22.99/23.06 c core #309 22.99/23.06 c Core size: 22 Core Weight: 1 Total Weight: -191 22.99/23.06 c Elapsed CPU time: 22.6546 s Remaining CPU time: 1777.35 s 23.09/23.13 c ============================[ Search Statistics ]============================== 23.09/23.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.09/23.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.09/23.13 c =============================================================================== 23.09/23.13 c | 0 | 1376 39309 95342 | 13103 0 nan | 0.000 % | 23.09/23.14 c =============================================================================== 23.09/23.14 c core #310 23.09/23.14 c Core size: 21 Core Weight: 1 Total Weight: -190 23.09/23.14 c Elapsed CPU time: 22.7305 s Remaining CPU time: 1777.27 s 23.18/23.21 c ============================[ Search Statistics ]============================== 23.18/23.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.18/23.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.18/23.21 c =============================================================================== 23.18/23.21 c | 0 | 1384 39310 95358 | 13103 0 nan | 0.000 % | 23.18/23.22 c =============================================================================== 23.18/23.22 c core #311 23.18/23.22 c Core size: 21 Core Weight: 1 Total Weight: -189 23.18/23.22 c Elapsed CPU time: 22.8065 s Remaining CPU time: 1777.19 s 23.18/23.29 c ============================[ Search Statistics ]============================== 23.18/23.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.18/23.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.18/23.29 c =============================================================================== 23.18/23.29 c | 0 | 1392 39311 95374 | 13103 0 nan | 0.000 % | 23.18/23.30 c =============================================================================== 23.18/23.30 c core #312 23.18/23.30 c Core size: 27 Core Weight: 1 Total Weight: -188 23.18/23.30 c Elapsed CPU time: 22.8845 s Remaining CPU time: 1777.12 s 23.28/23.37 c ============================[ Search Statistics ]============================== 23.28/23.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.28/23.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.28/23.37 c =============================================================================== 23.28/23.37 c | 0 | 1402 39312 95394 | 13104 0 nan | 0.000 % | 23.28/23.38 c =============================================================================== 23.28/23.38 c core #313 23.28/23.38 c Core size: 27 Core Weight: 1 Total Weight: -187 23.28/23.38 c Elapsed CPU time: 22.9615 s Remaining CPU time: 1777.04 s 23.38/23.45 c ============================[ Search Statistics ]============================== 23.38/23.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.38/23.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.38/23.45 c =============================================================================== 23.38/23.45 c | 0 | 1412 39313 95414 | 13104 0 nan | 0.000 % | 23.38/23.45 c =============================================================================== 23.38/23.45 c core #314 23.38/23.45 c Core size: 22 Core Weight: 1 Total Weight: -186 23.38/23.45 c Elapsed CPU time: 23.0355 s Remaining CPU time: 1776.96 s 23.48/23.52 c ============================[ Search Statistics ]============================== 23.48/23.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.48/23.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.48/23.52 c =============================================================================== 23.48/23.52 c | 0 | 1420 39314 95430 | 13104 0 nan | 0.000 % | 23.48/23.53 c =============================================================================== 23.48/23.53 c core #315 23.48/23.53 c Core size: 27 Core Weight: 1 Total Weight: -185 23.48/23.53 c Elapsed CPU time: 23.1105 s Remaining CPU time: 1776.89 s 23.58/23.60 c ============================[ Search Statistics ]============================== 23.58/23.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.58/23.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.58/23.60 c =============================================================================== 23.58/23.60 c | 0 | 1430 39315 95450 | 13105 0 nan | 0.000 % | 23.58/23.61 c =============================================================================== 23.58/23.61 c core #316 23.58/23.61 c Core size: 22 Core Weight: 1 Total Weight: -184 23.58/23.61 c Elapsed CPU time: 23.1865 s Remaining CPU time: 1776.81 s 23.58/23.68 c ============================[ Search Statistics ]============================== 23.58/23.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.58/23.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.58/23.68 c =============================================================================== 23.58/23.68 c | 0 | 1438 39316 95466 | 13105 0 nan | 0.000 % | 23.58/23.68 c =============================================================================== 23.58/23.68 c core #317 23.58/23.68 c Core size: 26 Core Weight: 1 Total Weight: -183 23.58/23.68 c Elapsed CPU time: 23.2605 s Remaining CPU time: 1776.74 s 23.68/23.75 c ============================[ Search Statistics ]============================== 23.68/23.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.68/23.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.68/23.75 c =============================================================================== 23.68/23.75 c | 0 | 1448 39317 95486 | 13105 0 nan | 0.000 % | 23.68/23.76 c =============================================================================== 23.68/23.76 c core #318 23.68/23.76 c Core size: 25 Core Weight: 1 Total Weight: -182 23.68/23.76 c Elapsed CPU time: 23.3365 s Remaining CPU time: 1776.66 s 23.78/23.83 c ============================[ Search Statistics ]============================== 23.78/23.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.78/23.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.78/23.83 c =============================================================================== 23.78/23.83 c | 0 | 1458 39318 95506 | 13106 0 nan | 0.000 % | 23.78/23.84 c =============================================================================== 23.78/23.84 c core #319 23.78/23.84 c Core size: 25 Core Weight: 1 Total Weight: -181 23.78/23.84 c Elapsed CPU time: 23.4124 s Remaining CPU time: 1776.59 s 23.88/23.91 c ============================[ Search Statistics ]============================== 23.88/23.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.88/23.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.88/23.91 c =============================================================================== 23.88/23.91 c | 0 | 1468 39319 95526 | 13106 0 nan | 0.000 % | 23.88/23.91 c =============================================================================== 23.88/23.91 c core #320 23.88/23.91 c Core size: 35 Core Weight: 1 Total Weight: -180 23.88/23.91 c Elapsed CPU time: 23.4884 s Remaining CPU time: 1776.51 s 23.88/23.99 c ============================[ Search Statistics ]============================== 23.88/23.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.88/23.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.88/23.99 c =============================================================================== 23.88/23.99 c | 0 | 1481 39320 95552 | 13106 0 nan | 0.000 % | 23.88/23.99 c =============================================================================== 23.88/23.99 c core #321 23.88/23.99 c Core size: 38 Core Weight: 1 Total Weight: -179 23.88/23.99 c Elapsed CPU time: 23.5664 s Remaining CPU time: 1776.43 s 23.97/24.07 c ============================[ Search Statistics ]============================== 23.97/24.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.97/24.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.97/24.07 c =============================================================================== 23.97/24.07 c | 0 | 1494 39321 95578 | 13107 0 nan | 0.000 % | 23.97/24.07 c =============================================================================== 23.97/24.07 c core #322 23.97/24.07 c Core size: 44 Core Weight: 1 Total Weight: -178 23.97/24.07 c Elapsed CPU time: 23.6444 s Remaining CPU time: 1776.36 s 24.09/24.15 c ============================[ Search Statistics ]============================== 24.09/24.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.09/24.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.09/24.15 c =============================================================================== 24.09/24.15 c | 0 | 1508 39322 95606 | 13107 0 nan | 0.000 % | 24.09/24.15 c =============================================================================== 24.09/24.15 c core #323 24.09/24.15 c Core size: 66 Core Weight: 1 Total Weight: -177 24.09/24.15 c Elapsed CPU time: 23.7224 s Remaining CPU time: 1776.28 s 24.18/24.23 c ============================[ Search Statistics ]============================== 24.18/24.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.18/24.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.18/24.23 c =============================================================================== 24.18/24.23 c | 0 | 1529 39323 95648 | 13107 0 nan | 0.000 % | 24.18/24.24 c | 105 | 1528 39323 95648 | 14418 105 26 | 92.465 % | 24.18/24.24 c =============================================================================== 24.18/24.24 c core #324 24.18/24.24 c Core size: 141 Core Weight: 1 Total Weight: -176 24.18/24.24 c Elapsed CPU time: 23.8064 s Remaining CPU time: 1776.19 s 24.27/24.32 c ============================[ Search Statistics ]============================== 24.27/24.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.27/24.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.27/24.32 c =============================================================================== 24.27/24.32 c | 0 | 1563 39324 95716 | 13108 0 nan | 0.000 % | 24.27/24.33 c =============================================================================== 24.27/24.33 c core #325 24.27/24.33 c Core size: 76 Core Weight: 1 Total Weight: -175 24.27/24.33 c Elapsed CPU time: 23.8874 s Remaining CPU time: 1776.11 s 24.38/24.40 c ============================[ Search Statistics ]============================== 24.38/24.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.38/24.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.38/24.40 c =============================================================================== 24.38/24.40 c | 0 | 1585 39325 95760 | 13108 0 nan | 0.000 % | 24.38/24.41 c | 101 | 1585 39325 95760 | 14419 101 18 | 92.206 % | 24.38/24.42 c =============================================================================== 24.38/24.42 c core #326 24.38/24.42 c Core size: 184 Core Weight: 1 Total Weight: -174 24.38/24.42 c Elapsed CPU time: 23.9804 s Remaining CPU time: 1776.02 s 24.38/24.49 c ============================[ Search Statistics ]============================== 24.38/24.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.38/24.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.38/24.49 c =============================================================================== 24.38/24.49 c | 0 | 1627 39326 95844 | 13108 0 nan | 0.000 % | 24.48/24.50 c | 102 | 1627 39326 95844 | 14419 102 16 | 92.016 % | 24.48/24.51 c =============================================================================== 24.48/24.51 c core #327 24.48/24.51 c Core size: 211 Core Weight: 1 Total Weight: -173 24.48/24.51 c Elapsed CPU time: 24.0713 s Remaining CPU time: 1775.93 s 24.48/24.59 c ============================[ Search Statistics ]============================== 24.48/24.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.48/24.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.48/24.59 c =============================================================================== 24.48/24.59 c | 0 | 1671 39327 95932 | 13109 0 nan | 0.000 % | 24.58/24.60 c | 100 | 1671 39327 95932 | 14419 100 21 | 91.817 % | 24.58/24.60 c | 251 | 1671 39327 95932 | 15861 251 21 | 91.817 % | 24.58/24.62 c | 482 | 1669 39327 95932 | 17448 482 29 | 91.827 % | 24.58/24.62 c =============================================================================== 24.58/24.63 c core #328 24.58/24.63 c Core size: 197 Core Weight: 1 Total Weight: -172 24.58/24.63 c Elapsed CPU time: 24.1803 s Remaining CPU time: 1775.82 s 24.68/24.70 c ============================[ Search Statistics ]============================== 24.68/24.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.68/24.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.68/24.70 c =============================================================================== 24.68/24.70 c | 0 | 1716 39328 96022 | 13109 0 nan | 0.000 % | 24.68/24.71 c | 100 | 1715 39328 96022 | 14420 100 18 | 91.620 % | 24.68/24.71 c =============================================================================== 24.68/24.71 c core #329 24.68/24.71 c Core size: 129 Core Weight: 1 Total Weight: -171 24.68/24.71 c Elapsed CPU time: 24.2653 s Remaining CPU time: 1775.73 s 24.68/24.79 c ============================[ Search Statistics ]============================== 24.68/24.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.68/24.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.68/24.79 c =============================================================================== 24.68/24.79 c | 0 | 1750 39329 96090 | 13109 0 nan | 0.000 % | 24.78/24.80 c | 100 | 1750 39329 96090 | 14420 100 58 | 91.463 % | 24.78/24.81 c | 250 | 1750 39329 96090 | 15862 250 45 | 91.463 % | 24.78/24.82 c | 475 | 1749 39329 96090 | 17448 475 41 | 91.468 % | 24.78/24.85 c | 815 | 1732 39329 96090 | 19193 815 52 | 91.551 % | 24.78/24.88 c =============================================================================== 24.78/24.88 c core #330 24.78/24.88 c Core size: 376 Core Weight: 1 Total Weight: -170 24.78/24.88 c Elapsed CPU time: 24.4283 s Remaining CPU time: 1775.57 s 24.88/24.96 c ============================[ Search Statistics ]============================== 24.88/24.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.88/24.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.88/24.96 c =============================================================================== 24.88/24.96 c | 0 | 1827 39330 96244 | 13110 0 nan | 0.000 % | 24.88/24.97 c | 100 | 1827 39330 96244 | 14421 100 59 | 91.121 % | 24.88/24.98 c =============================================================================== 24.88/24.98 c core #331 24.88/24.98 c Core size: 123 Core Weight: 1 Total Weight: -169 24.88/24.98 c Elapsed CPU time: 24.5223 s Remaining CPU time: 1775.48 s 24.98/25.06 c ============================[ Search Statistics ]============================== 24.98/25.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.98/25.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.98/25.06 c =============================================================================== 24.98/25.06 c | 0 | 1860 39331 96310 | 13110 0 nan | 0.000 % | 24.98/25.07 c | 100 | 1860 39331 96310 | 14421 100 16 | 90.975 % | 24.98/25.07 c | 252 | 1791 39331 96310 | 15863 252 20 | 93.086 % | 24.98/25.08 c =============================================================================== 24.98/25.08 c core #332 24.98/25.08 c Core size: 208 Core Weight: 1 Total Weight: -168 24.98/25.08 c Elapsed CPU time: 24.6213 s Remaining CPU time: 1775.38 s 25.08/25.16 c ============================[ Search Statistics ]============================== 25.08/25.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.08/25.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.08/25.16 c =============================================================================== 25.08/25.16 c | 0 | 1908 39332 96406 | 13110 0 nan | 0.000 % | 25.08/25.17 c | 101 | 1907 39332 96406 | 14421 101 15 | 90.769 % | 25.08/25.18 c | 252 | 1907 39332 96406 | 15863 252 17 | 90.769 % | 25.08/25.19 c | 480 | 1905 39332 96406 | 17450 480 24 | 90.778 % | 25.08/25.20 c =============================================================================== 25.08/25.20 c core #333 25.08/25.20 c Core size: 205 Core Weight: 1 Total Weight: -167 25.08/25.20 c Elapsed CPU time: 24.7352 s Remaining CPU time: 1775.26 s 25.18/25.28 c ============================[ Search Statistics ]============================== 25.18/25.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.18/25.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.18/25.28 c =============================================================================== 25.18/25.28 c | 0 | 1950 39333 96490 | 13111 0 nan | 0.000 % | 25.18/25.29 c | 100 | 1950 39333 96490 | 14422 100 24 | 90.580 % | 25.18/25.30 c | 252 | 1950 39333 96490 | 15864 252 37 | 90.580 % | 25.28/25.31 c =============================================================================== 25.28/25.31 c core #334 25.28/25.31 c Core size: 278 Core Weight: 1 Total Weight: -166 25.28/25.31 c Elapsed CPU time: 24.8442 s Remaining CPU time: 1775.16 s 25.28/25.39 c ============================[ Search Statistics ]============================== 25.28/25.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.28/25.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.28/25.39 c =============================================================================== 25.28/25.39 c | 0 | 1996 39334 96582 | 13111 0 nan | 0.000 % | 25.38/25.40 c | 100 | 1996 39334 96582 | 14422 100 16 | 90.379 % | 25.38/25.41 c | 250 | 1996 39334 96582 | 15864 250 16 | 90.379 % | 25.38/25.42 c | 475 | 1995 39334 96582 | 17451 475 17 | 90.398 % | 25.38/25.42 c =============================================================================== 25.38/25.42 c core #335 25.38/25.42 c Core size: 221 Core Weight: 1 Total Weight: -165 25.38/25.42 c Elapsed CPU time: 24.9472 s Remaining CPU time: 1775.05 s 25.47/25.50 c ============================[ Search Statistics ]============================== 25.47/25.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.47/25.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.47/25.50 c =============================================================================== 25.47/25.50 c | 0 | 2060 39335 96710 | 13111 0 nan | 0.000 % | 25.47/25.51 c | 100 | 2060 39335 96710 | 14422 100 17 | 90.101 % | 25.47/25.52 c =============================================================================== 25.47/25.52 c core #336 25.47/25.52 c Core size: 169 Core Weight: 1 Total Weight: -164 25.47/25.52 c Elapsed CPU time: 25.0342 s Remaining CPU time: 1774.97 s 25.47/25.59 c ============================[ Search Statistics ]============================== 25.47/25.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.47/25.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.47/25.59 c =============================================================================== 25.47/25.59 c | 0 | 2098 39336 96786 | 13112 0 nan | 0.000 % | 25.58/25.61 c | 102 | 2098 39336 96786 | 14423 102 33 | 89.937 % | 25.58/25.61 c | 256 | 2098 39336 96786 | 15865 256 28 | 89.937 % | 25.58/25.63 c | 481 | 2098 39336 96786 | 17452 481 27 | 89.937 % | 25.58/25.65 c | 819 | 2098 39336 96786 | 19197 819 43 | 89.937 % | 25.67/25.71 c | 1325 | 2098 39336 96786 | 21117 1325 74 | 89.937 % | 25.67/25.79 c =============================================================================== 25.77/25.80 c core #337 25.77/25.80 c Core size: 496 Core Weight: 1 Total Weight: -163 25.77/25.80 c Elapsed CPU time: 25.3102 s Remaining CPU time: 1774.69 s 25.77/25.88 c ============================[ Search Statistics ]============================== 25.77/25.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.77/25.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.77/25.88 c =============================================================================== 25.77/25.88 c | 0 | 2168 39337 96926 | 13112 0 nan | 0.000 % | 25.77/25.89 c | 100 | 2168 39337 96926 | 14423 100 15 | 89.636 % | 25.88/25.90 c | 250 | 2168 39337 96926 | 15865 250 21 | 89.636 % | 25.88/25.91 c | 476 | 2168 39337 96926 | 17452 476 28 | 89.636 % | 25.88/25.94 c | 813 | 2168 39337 96926 | 19197 813 41 | 89.636 % | 25.88/25.99 c | 1319 | 2168 39337 96926 | 21117 1319 63 | 89.636 % | 25.98/26.01 c =============================================================================== 25.98/26.02 c core #338 25.98/26.02 c Core size: 575 Core Weight: 1 Total Weight: -162 25.98/26.02 c Elapsed CPU time: 25.5201 s Remaining CPU time: 1774.48 s 25.98/26.10 c ============================[ Search Statistics ]============================== 25.98/26.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.98/26.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.98/26.10 c =============================================================================== 25.98/26.10 c | 0 | 2242 39338 97074 | 13112 0 nan | 0.000 % | 26.07/26.11 c | 100 | 2242 39338 97074 | 14423 100 32 | 89.320 % | 26.07/26.12 c | 251 | 2242 39338 97074 | 15866 251 27 | 89.320 % | 26.07/26.13 c | 477 | 2237 39338 97074 | 17452 477 29 | 89.344 % | 26.07/26.16 c | 814 | 2235 39338 97074 | 19198 793 44 | 89.353 % | 26.07/26.19 c =============================================================================== 26.07/26.19 c core #339 26.07/26.19 c Core size: 130 Core Weight: 1 Total Weight: -161 26.07/26.19 c Elapsed CPU time: 25.6881 s Remaining CPU time: 1774.31 s 26.18/26.27 c ============================[ Search Statistics ]============================== 26.18/26.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.18/26.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.18/26.27 c =============================================================================== 26.18/26.27 c | 0 | 2274 39339 97138 | 13113 0 nan | 0.000 % | 26.18/26.28 c | 102 | 2274 39339 97138 | 14424 102 11 | 89.184 % | 26.18/26.28 c | 254 | 2274 39339 97138 | 15866 254 12 | 89.184 % | 26.18/26.30 c | 480 | 2274 39339 97138 | 17453 480 17 | 89.184 % | 26.28/26.32 c | 820 | 2274 39339 97138 | 19198 820 27 | 89.184 % | 26.28/26.37 c | 1327 | 2274 39339 97138 | 21118 1327 50 | 89.184 % | 26.38/26.46 c | 2087 | 2273 39339 97138 | 23230 2070 70 | 89.189 % | 26.47/26.51 c =============================================================================== 26.47/26.53 c core #340 26.47/26.53 c Core size: 465 Core Weight: 1 Total Weight: -160 26.47/26.53 c Elapsed CPU time: 26.012 s Remaining CPU time: 1773.99 s 26.58/26.60 c ============================[ Search Statistics ]============================== 26.58/26.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.58/26.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.58/26.61 c =============================================================================== 26.58/26.61 c | 0 | 2342 39340 97274 | 13113 0 nan | 0.000 % | 26.58/26.62 c | 101 | 2342 39340 97274 | 14424 101 18 | 88.896 % | 26.58/26.63 c | 251 | 2341 39340 97274 | 15867 251 25 | 88.901 % | 26.58/26.64 c | 477 | 2341 39340 97274 | 17453 477 23 | 88.901 % | 26.58/26.67 c | 816 | 2341 39340 97274 | 19199 816 41 | 88.901 % | 26.58/26.70 c =============================================================================== 26.67/26.70 c core #341 26.67/26.70 c Core size: 425 Core Weight: 1 Total Weight: -159 26.67/26.70 c Elapsed CPU time: 26.182 s Remaining CPU time: 1773.82 s 26.67/26.78 c ============================[ Search Statistics ]============================== 26.67/26.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.67/26.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.67/26.78 c =============================================================================== 26.67/26.78 c | 0 | 2408 39341 97406 | 13113 0 nan | 0.000 % | 26.67/26.79 c | 100 | 2408 39341 97406 | 14425 100 16 | 88.619 % | 26.77/26.80 c | 251 | 2408 39341 97406 | 15867 251 14 | 88.619 % | 26.77/26.81 c | 479 | 2408 39341 97406 | 17454 479 19 | 88.619 % | 26.77/26.83 c | 819 | 2408 39341 97406 | 19199 819 22 | 88.619 % | 26.77/26.88 c | 1329 | 2408 39341 97406 | 21119 1329 43 | 88.619 % | 26.87/26.97 c | 2088 | 2408 39341 97406 | 23231 2088 61 | 88.619 % | 27.08/27.14 c | 3232 | 2408 39341 97406 | 25554 3232 76 | 88.619 % | 27.38/27.44 c | 4942 | 2408 39341 97406 | 28110 4942 95 | 88.619 % | 27.97/28.05 c | 7504 | 2408 39341 97406 | 30921 7504 113 | 88.619 % | 28.27/28.32 c =============================================================================== 28.37/28.40 c core #342 28.37/28.40 c Core size: 815 Core Weight: 1 Total Weight: -158 28.37/28.40 c Elapsed CPU time: 27.8508 s Remaining CPU time: 1772.15 s 28.37/28.49 c ============================[ Search Statistics ]============================== 28.37/28.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.37/28.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.37/28.49 c =============================================================================== 28.37/28.49 c | 0 | 2496 39342 97582 | 13114 0 nan | 0.000 % | 28.47/28.51 c | 100 | 2496 39342 97582 | 14425 100 23 | 88.252 % | 28.47/28.51 c | 253 | 2496 39342 97582 | 15867 253 25 | 88.252 % | 28.47/28.53 c | 478 | 2495 39342 97582 | 17454 478 28 | 88.257 % | 28.47/28.55 c | 816 | 2495 39342 97582 | 19200 816 35 | 88.257 % | 28.47/28.59 c | 1322 | 2494 39342 97582 | 21120 1318 40 | 88.261 % | 28.58/28.68 c =============================================================================== 28.58/28.69 c core #343 28.58/28.69 c Core size: 644 Core Weight: 1 Total Weight: -157 28.58/28.69 c Elapsed CPU time: 28.1277 s Remaining CPU time: 1771.87 s 28.67/28.77 c ============================[ Search Statistics ]============================== 28.67/28.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.67/28.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.67/28.77 c =============================================================================== 28.67/28.77 c | 0 | 2578 39343 97746 | 13114 0 nan | 0.000 % | 28.67/28.78 c | 100 | 2578 39343 97746 | 14425 100 37 | 87.913 % | 28.67/28.79 c | 250 | 2578 39343 97746 | 15868 250 26 | 87.913 % | 28.77/28.80 c | 477 | 2578 39343 97746 | 17455 477 24 | 87.913 % | 28.77/28.82 c | 815 | 2578 39343 97746 | 19200 815 25 | 87.913 % | 28.77/28.86 c | 1323 | 2578 39343 97746 | 21120 1323 34 | 87.913 % | 28.87/28.93 c | 2083 | 2578 39343 97746 | 23232 2083 39 | 87.913 % | 28.97/29.03 c =============================================================================== 28.97/29.05 c core #344 28.97/29.05 c Core size: 658 Core Weight: 1 Total Weight: -156 28.97/29.05 c Elapsed CPU time: 28.4657 s Remaining CPU time: 1771.53 s 29.07/29.13 c ============================[ Search Statistics ]============================== 29.07/29.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 29.07/29.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 29.07/29.13 c =============================================================================== 29.07/29.13 c | 0 | 2666 39344 97922 | 13114 0 nan | 0.000 % | 29.07/29.15 c | 100 | 2666 39344 97922 | 14426 100 57 | 87.551 % | 29.07/29.15 c | 252 | 2666 39344 97922 | 15868 252 46 | 87.551 % | 29.07/29.17 c | 479 | 2666 39344 97922 | 17455 479 37 | 87.551 % | 29.07/29.19 c | 816 | 2666 39344 97922 | 19201 816 47 | 87.551 % | 29.17/29.22 c | 1324 | 2666 39344 97922 | 21121 1324 41 | 87.551 % | 29.27/29.30 c | 2086 | 2666 39344 97922 | 23233 2086 59 | 87.551 % | 29.37/29.45 c | 3225 | 2666 39344 97922 | 25556 3225 81 | 87.551 % | 29.67/29.74 c | 4934 | 2665 39344 97922 | 28112 4930 80 | 87.556 % | 30.27/30.37 c | 7497 | 2665 39344 97922 | 30923 7493 106 | 87.556 % | 31.57/31.68 c | 11341 | 2665 39344 97922 | 34016 11337 133 | 87.556 % | 34.57/34.66 c =============================================================================== 34.77/34.89 c core #345 34.77/34.89 c Core size: 1086 Core Weight: 1 Total Weight: -155 34.77/34.89 c Elapsed CPU time: 34.2598 s Remaining CPU time: 1765.74 s 34.87/34.99 c ============================[ Search Statistics ]============================== 34.87/34.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.87/34.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.87/34.99 c =============================================================================== 34.87/34.99 c | 0 | 2778 39345 98146 | 13115 0 nan | 0.000 % | 34.96/35.01 c | 104 | 2778 39345 98146 | 14426 104 29 | 87.096 % | 34.96/35.02 c | 254 | 2778 39345 98146 | 15869 254 27 | 87.096 % | 34.96/35.03 c | 479 | 2778 39345 98146 | 17456 479 28 | 87.096 % | 34.96/35.06 c | 819 | 2778 39345 98146 | 19201 819 38 | 87.096 % | 35.07/35.11 c | 1325 | 2778 39345 98146 | 21121 1325 51 | 87.096 % | 35.07/35.19 c | 2085 | 2778 39345 98146 | 23234 2085 67 | 87.096 % | 35.26/35.38 c | 3225 | 2778 39345 98146 | 25557 3225 99 | 87.096 % | 35.57/35.67 c | 4934 | 2778 39345 98146 | 28113 4934 100 | 87.096 % | 36.17/36.22 c | 7496 | 2778 39345 98146 | 30924 7496 116 | 87.096 % | 37.57/37.61 c | 11340 | 2778 39345 98146 | 34016 11340 133 | 87.096 % | 40.37/40.47 c | 17106 | 2778 39345 98146 | 37418 17106 165 | 87.096 % | 50.87/50.98 c | 25756 | 2778 39345 98146 | 41160 25756 207 | 87.096 % | 66.95/67.01 c | 38730 | 2778 39345 98146 | 45276 38730 218 | 87.096 % | 101.34/101.44 c | 58195 | 2778 39345 98146 | 49804 58195 241 | 87.096 % | 152.11/152.27 c | 87387 | 2778 39345 98146 | 54784 36489 285 | 87.096 % | 218.67/218.84 c | 131180 | 2777 39345 98146 | 60263 21962 215 | 87.101 % | 331.22/331.46 c | 196864 | 2777 39345 98146 | 66289 26129 392 | 87.101 % | 351.12/351.33 c =============================================================================== 357.02/357.29 c core #346 357.02/357.29 c Core size: 1304 Core Weight: 1 Total Weight: -154 357.02/357.29 c Elapsed CPU time: 355.399 s Remaining CPU time: 1444.6 s 357.41/357.60 c ============================[ Search Statistics ]============================== 357.41/357.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 357.41/357.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 357.41/357.60 c =============================================================================== 357.41/357.60 c | 0 | 2888 39346 98366 | 13115 0 nan | 0.000 % | 357.41/357.65 c | 100 | 2888 39346 98366 | 14426 100 31 | 86.653 % | 357.41/357.66 c | 251 | 2888 39346 98366 | 15869 251 23 | 86.653 % | 357.41/357.67 c | 476 | 2888 39346 98366 | 17456 476 24 | 86.653 % | 357.41/357.69 c | 813 | 2888 39346 98366 | 19202 813 24 | 86.653 % | 357.52/357.72 c | 1321 | 2888 39346 98366 | 21122 1321 26 | 86.653 % | 357.52/357.76 c | 2080 | 2888 39346 98366 | 23234 2080 28 | 86.653 % | 357.61/357.88 c | 3220 | 2888 39346 98366 | 25558 3220 36 | 86.653 % | 357.92/358.11 c | 4928 | 2888 39346 98366 | 28113 4928 47 | 86.653 % | 358.61/358.83 c | 7493 | 2888 39346 98366 | 30925 7493 89 | 86.653 % | 359.62/359.89 c | 11337 | 2888 39346 98366 | 34017 11337 99 | 86.653 % | 364.72/364.90 c | 17103 | 2888 39346 98366 | 37419 17103 213 | 86.653 % | 374.21/374.48 c | 25752 | 2888 39346 98366 | 41161 25752 220 | 86.653 % | 390.59/390.87 c =============================================================================== 391.49/391.71 c core #347 391.49/391.71 c Core size: 1340 Core Weight: 1 Total Weight: -153 391.49/391.71 c Elapsed CPU time: 389.698 s Remaining CPU time: 1410.3 s 391.59/391.85 c ============================[ Search Statistics ]============================== 391.59/391.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 391.59/391.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 391.59/391.85 c =============================================================================== 391.59/391.85 c | 0 | 3005 39347 98600 | 13115 0 nan | 0.000 % | 391.59/391.88 c | 100 | 3005 39347 98600 | 14427 100 29 | 86.187 % | 391.59/391.89 c | 250 | 3005 39347 98600 | 15869 250 24 | 86.187 % | 391.68/391.90 c | 478 | 3005 39347 98600 | 17456 478 26 | 86.187 % | 391.68/391.92 c | 815 | 3005 39347 98600 | 19202 815 27 | 86.187 % | 391.68/391.95 c | 1322 | 3005 39347 98600 | 21122 1322 30 | 86.187 % | 391.79/392.02 c | 2081 | 3005 39347 98600 | 23235 2081 39 | 86.187 % | 391.89/392.13 c | 3220 | 3005 39347 98600 | 25558 3220 42 | 86.187 % | 392.18/392.40 c | 4930 | 3005 39347 98600 | 28114 4930 60 | 86.187 % | 392.69/392.94 c | 7494 | 3005 39347 98600 | 30926 7494 79 | 86.187 % | 393.79/394.03 c | 11338 | 3005 39347 98600 | 34018 11338 92 | 86.187 % | 397.39/397.66 c | 17105 | 3005 39347 98600 | 37420 17105 145 | 86.187 % | 403.39/403.70 c | 25757 | 3005 39347 98600 | 41162 25757 191 | 86.187 % | 416.38/416.61 c | 38733 | 3005 39347 98600 | 45278 38733 197 | 86.187 % | 449.17/449.48 c | 58194 | 3005 39347 98600 | 49806 58194 214 | 86.187 % | 493.25/493.57 c | 87387 | 3005 39347 98600 | 54787 35027 207 | 86.187 % | 583.60/583.98 c | 131178 | 3005 39347 98600 | 60266 22804 141 | 86.187 % | 738.62/739.02 c | 196865 | 3000 39347 98600 | 66292 29094 456 | 86.210 % | 741.82/742.24 c =============================================================================== 748.72/749.10 c core #348 748.72/749.10 c Core size: 1544 Core Weight: 1 Total Weight: -152 748.72/749.10 c Elapsed CPU time: 745.969 s Remaining CPU time: 1054.03 s 749.01/749.43 c ============================[ Search Statistics ]============================== 749.01/749.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 749.01/749.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 749.01/749.43 c =============================================================================== 749.01/749.43 c | 0 | 3139 39348 98868 | 13116 0 nan | 0.000 % | 749.01/749.49 c | 100 | 3139 39348 98868 | 14427 100 46 | 85.659 % | 749.11/749.50 c | 251 | 3139 39348 98868 | 15870 251 37 | 85.659 % | 749.11/749.52 c | 481 | 3139 39348 98868 | 17457 481 34 | 85.659 % | 749.11/749.54 c | 822 | 3139 39348 98868 | 19203 822 34 | 85.659 % | 749.11/749.58 c | 1329 | 3139 39348 98868 | 21123 1329 40 | 85.659 % | 749.22/749.66 c | 2088 | 3139 39348 98868 | 23235 2088 56 | 85.659 % | 749.41/749.80 c | 3227 | 3139 39348 98868 | 25559 3227 64 | 85.659 % | 749.61/750.08 c | 4935 | 3139 39348 98868 | 28115 4935 72 | 85.659 % | 750.32/750.78 c | 7497 | 3139 39348 98868 | 30926 7497 102 | 85.659 % | 751.92/752.35 c | 11342 | 3139 39348 98868 | 34019 11342 125 | 85.659 % | 755.51/755.95 c | 17111 | 3139 39348 98868 | 37421 17111 145 | 85.659 % | 766.81/767.26 c | 25760 | 3139 39348 98868 | 41163 25760 211 | 85.659 % | 787.90/788.34 c | 38734 | 3139 39348 98868 | 45279 38734 227 | 85.659 % | 832.77/833.27 c | 58196 | 3139 39348 98868 | 49807 58196 250 | 85.659 % | 888.85/889.32 c | 87389 | 3139 39348 98868 | 54788 34008 234 | 85.659 % | 969.52/970.02 c | 131178 | 3139 39348 98868 | 60267 21909 182 | 85.659 % | 1113.86/1114.46 c | 196863 | 3139 39348 98868 | 66294 26102 179 | 85.659 % | 1307.77/1308.49 c | 295390 | 3139 39348 98868 | 72923 55861 415 | 85.659 % | 1587.35/1588.15 c | 443183 | 3139 39348 98868 | 80216 50629 257 | 85.659 % |
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-1875381-1245204589/watcher-1875381-1245204589 -o /tmp/evaluation-result-1875381-1245204589/solver-1875381-1245204589 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875381-1245204589.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.85 0.97 0.98 3/64 6376 /proc/meminfo: memFree=1830384/2055920 swapFree=4192812/4192956 [pid=6376] ppid=6374 vsize=4384 CPUtime=0 /proc/6376/stat : 6376 (wbo) R 6374 6376 6331 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 188059598 4489216 269 1992294400 134512640 135709839 4294956240 18446744073709551615 134570505 0 0 4096 3 0 0 0 17 0 0 0 /proc/6376/statm: 1096 269 126 292 0 406 0 [startup+0.0433099 s] /proc/loadavg: 0.85 0.97 0.98 3/64 6376 /proc/meminfo: memFree=1830384/2055920 swapFree=4192812/4192956 [pid=6376] ppid=6374 vsize=7372 CPUtime=0.03 /proc/6376/stat : 6376 (wbo) R 6374 6376 6331 0 -1 4194304 990 0 0 0 3 0 0 0 18 0 1 0 188059598 7548928 974 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/6376/statm: 1843 975 172 292 0 1153 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 7372 [startup+0.101317 s] /proc/loadavg: 0.85 0.97 0.98 3/64 6376 /proc/meminfo: memFree=1830384/2055920 swapFree=4192812/4192956 [pid=6376] ppid=6374 vsize=8812 CPUtime=0.09 /proc/6376/stat : 6376 (wbo) R 6374 6376 6331 0 -1 4194304 1446 0 0 0 9 0 0 0 18 0 1 0 188059598 9023488 1430 1992294400 134512640 135709839 4294956240 18446744073709551615 135058014 0 0 4096 3 0 0 0 17 0 0 0 /proc/6376/statm: 2203 1430 266 292 0 1513 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8812 [startup+0.30134 s] /proc/loadavg: 0.85 0.97 0.98 3/64 6376 /proc/meminfo: memFree=1830384/2055920 swapFree=4192812/4192956 [pid=6376] ppid=6374 vsize=15692 CPUtime=0.29 /proc/6376/stat : 6376 (wbo) R 6374 6376 6331 0 -1 4194304 4098 0 0 0 28 1 0 0 19 0 1 0 188059598 16068608 3352 1992294400 134512640 135709839 4294956240 18446744073709551615 134518518 0 0 4096 3 0 0 0 17 0 0 0 /proc/6376/statm: 3923 3352 134 292 0 3628 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15692 [startup+0.701386 s] /proc/loadavg: 0.85 0.97 0.98 3/64 6376 /proc/meminfo: memFree=1830384/2055920 swapFree=4192812/4192956 [pid=6376] ppid=6374 vsize=23792 CPUtime=0.69 /proc/6376/stat : 6376 (wbo) R 6374 6376 6331 0 -1 4194304 6486 0 0 0 67 2 0 0 23 0 1 0 188059598 24363008 5437 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 0 0 0 /proc/6376/statm: 5948 5437 134 292 0 5653 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 23792 [startup+1.50148 s] /proc/loadavg: 0.85 0.97 0.98 2/65 6377 /proc/meminfo: memFree=1803944/2055920 swapFree=4192812/4192956 [pid=6376] ppid=6374 vsize=37796 CPUtime=1.49 /proc/6376/stat : 6376 (wbo) R 6374 6376 6331 0 -1 4194304 10005 0 0 0 145 4 0 0 25 0 1 0 188059598 38703104 8956 1992294400 134512640 135709839 4294956240 18446744073709551615 135182831 0 0 4096 3 0 0 0 17 0 0 0 /proc/6376/statm: 9449 8956 134 292 0 9154 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 37796 [startup+3.10167 s] /proc/loadavg: 0.85 0.97 0.98 2/65 6377 /proc/meminfo: memFree=1784296/2055920 swapFree=4192812/4192956 [pid=6376] ppid=6374 vsize=65812 CPUtime=3.09 /proc/6376/stat : 6376 (wbo) R 6374 6376 6331 0 -1 4194304 17017 0 0 0 303 6 0 0 25 0 1 0 188059598 67391488 15968 1992294400 134512640 135709839 4294956240 18446744073709551615 134518513 0 0 4096 3 0 0 0 17 0 0 0 /proc/6376/statm: 16453 15968 134 292 0 16158 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 65812 [startup+6.30104 s] /proc/loadavg: 0.86 0.97 0.98 2/65 6377 /proc/meminfo: memFree=1725040/2055920 swapFree=4192812/4192956 [pid=6376] ppid=6374 vsize=122852 CPUtime=6.29 /proc/6376/stat : 6376 (wbo) R 6374 6376 6331 0 -1 4194304 31207 0 0 0 617 12 0 0 25 0 1 0 188059598 125800448 30158 1992294400 134512640 135709839 4294956240 18446744073709551615 135173039 0 0 4096 3 0 0 0 17 0 0 0 /proc/6376/statm: 30713 30158 134 292 0 30418 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 122852 [startup+12.7018 s] /proc/loadavg: 0.87 0.97 0.98 2/65 6377 /proc/meminfo: memFree=1612528/2055920 swapFree=4192812/4192956 [pid=6376] ppid=6374 vsize=231856 CPUtime=12.69 /proc/6376/stat : 6376 (wbo) R 6374 6376 6331 0 -1 4194304 58503 0 0 0 1245 24 0 0 25 0 1 0 188059598 237420544 57454 1992294400 134512640 135709839 4294956240 18446744073709551615 135166081 0 0 4096 3 0 0 0 17 0 0 0 /proc/6376/statm: 57964 57454 134 292 0 57669 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 231856 [startup+25.5013 s] /proc/loadavg: 0.90 0.97 0.98 2/65 6377 /proc/meminfo: memFree=1399792/2055920 swapFree=4192812/4192956 [pid=6376] ppid=6374 vsize=436068 CPUtime=25.47 /proc/6376/stat : 6376 (wbo) R 6374 6376 6331 0 -1 4194304 111967 0 0 0 2501 46 0 0 25 0 1 0 188059598 446533632 108433 1992294400 134512640 135709839 4294956240 18446744073709551615 135236193 0 0 4096 3 0 0 0 17 0 0 0 /proc/6376/statm: 109017 108433 136 292 0 108722 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 436068 [startup+51.1013 s] /proc/loadavg: 1.01 0.99 0.98 2/65 6377 /proc/meminfo: memFree=1347568/2055920 swapFree=4192812/4192956 [pid=6376] ppid=6374 vsize=484724 CPUtime=51.06 /proc/6376/stat : 6376 (wbo) R 6374 6376 6331 0 -1 4194304 126859 0 0 0 5034 72 0 0 25 0 1 0 188059598 496357376 120665 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 0 0 0 /proc/6376/statm: 121181 120665 136 292 0 120886 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 484724 [startup+102.305 s] /proc/loadavg: 1.00 0.99 0.98 2/65 6377 /proc/meminfo: memFree=1306416/2055920 swapFree=4192812/4192956 [pid=6376] ppid=6374 vsize=525520 CPUtime=102.24 /proc/6376/stat : 6376 (wbo) R 6374 6376 6331 0 -1 4194304 137013 0 0 0 10136 88 0 0 25 0 1 0 188059598 538132480 130819 1992294400 134512640 135709839 4294956240 18446744073709551615 134517181 0 0 4096 3 0 0 0 17 0 0 0 /proc/6376/statm: 131380 130819 136 292 0 131085 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 525520 [startup+162.301 s] /proc/loadavg: 1.11 1.02 0.99 2/65 6377 /proc/meminfo: memFree=1252528/2055920 swapFree=4192812/4192956 [pid=6376] ppid=6374 vsize=579920 CPUtime=162.21 /proc/6376/stat : 6376 (wbo) R 6374 6376 6331 0 -1 4194304 150543 0 0 0 16114 107 0 0 25 0 1 0 188059598 593838080 144349 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/6376/statm: 144980 144349 136 292 0 144685 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 579920 [startup+222.301 s] /proc/loadavg: 1.11 1.03 1.00 2/65 6377 /proc/meminfo: memFree=1205808/2055920 swapFree=4192812/4192956 [pid=6376] ppid=6374 vsize=626420 CPUtime=222.17 /proc/6376/stat : 6376 (wbo) R 6374 6376 6331 0 -1 4194304 162147 0 0 0 22090 127 0 0 25 0 1 0 188059598 641454080 155953 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/6376/statm: 156605 155953 136 292 0 156310 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 626420 [startup+282.301 s] /proc/loadavg: 1.11 1.04 1.00 2/65 6377 /proc/meminfo: memFree=1144688/2055920 swapFree=4192812/4192956 [pid=6376] ppid=6374 vsize=687968 CPUtime=282.15 /proc/6376/stat : 6376 (wbo) R 6374 6376 6331 0 -1 4194304 177522 0 0 0 28064 151 0 0 25 0 1 0 188059598 704479232 171328 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/6376/statm: 171992 171328 136 292 0 171697 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 687968 [startup+342.301 s] /proc/loadavg: 1.10 1.04 1.00 2/65 6377 /proc/meminfo: memFree=1080240/2055920 swapFree=4192812/4192956 [pid=6376] ppid=6374 vsize=752192 CPUtime=342.12 /proc/6376/stat : 6376 (wbo) R 6374 6376 6331 0 -1 4194304 193564 0 0 0 34044 168 0 0 25 0 1 0 188059598 770244608 187370 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 0 0 0 /proc/6376/statm: 188048 187370 136 292 0 187753 0 Current children cumulated CPU time (s) 342.12 Current children cumulated vsize (KiB) 752192 [startup+402.301 s] /proc/loadavg: 1.09 1.05 1.00 2/65 6377 /proc/meminfo: memFree=1053040/2055920 swapFree=4192812/4192956 [pid=6376] ppid=6374 vsize=777812 CPUtime=402.08 /proc/6376/stat : 6376 (wbo) R 6374 6376 6331 0 -1 4194304 200417 0 0 0 40021 187 0 0 25 0 1 0 188059598 796479488 193969 1992294400 134512640 135709839 4294956240 18446744073709551615 134573829 0 0 4096 3 0 0 0 17 0 0 0 /proc/6376/statm: 194453 193969 136 292 0 194158 0 Current children cumulated CPU time (s) 402.08 Current children cumulated vsize (KiB) 777812 [startup+462.301 s] /proc/loadavg: 1.08 1.05 1.00 2/65 6377 /proc/meminfo: memFree=1052976/2055920 swapFree=4192812/4192956 [pid=6376] ppid=6374 vsize=777812 CPUtime=462.06 /proc/6376/stat : 6376 (wbo) R 6374 6376 6331 0 -1 4194304 200424 0 0 0 46007 199 0 0 25 0 1 0 188059598 796479488 193976 1992294400 134512640 135709839 4294956240 18446744073709551615 134573799 0 0 4096 3 0 0 0 17 0 0 0 /proc/6376/statm: 194453 193976 136 292 0 194158 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 777812 [startup+522.301 s] /proc/loadavg: 1.08 1.06 1.00 2/65 6377 /proc/meminfo: memFree=1021552/2055920 swapFree=4192812/4192956 [pid=6376] ppid=6374 vsize=809984 CPUtime=522.03 /proc/6376/stat : 6376 (wbo) R 6374 6376 6331 0 -1 4194304 208444 0 0 0 51987 216 0 0 25 0 1 0 188059598 829423616 201996 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 0 0 0 /proc/6376/statm: 202496 201996 136 292 0 202201 0 Current children cumulated CPU time (s) 522.03 Current children cumulated vsize (KiB) 809984 [startup+582.301 s] /proc/loadavg: 1.07 1.06 1.00 2/65 6377 /proc/meminfo: memFree=997808/2055920 swapFree=4192812/4192956 [pid=6376] ppid=6374 vsize=833892 CPUtime=581.99 /proc/6376/stat : 6376 (wbo) R 6374 6376 6331 0 -1 4194304 214412 0 0 0 57972 227 0 0 25 0 1 0 188059598 853905408 207964 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/6376/statm: 208473 207964 136 292 0 208178 0 Current children cumulated CPU time (s) 581.99 Current children cumulated vsize (KiB) 833892 [startup+642.301 s] /proc/loadavg: 1.06 1.06 1.00 2/65 6377 /proc/meminfo: memFree=924336/2055920 swapFree=4192812/4192956 [pid=6376] ppid=6374 vsize=906576 CPUtime=641.97 /proc/6376/stat : 6376 (wbo) R 6374 6376 6331 0 -1 4194304 232561 0 0 0 63950 247 0 0 25 0 1 0 188059598 928333824 226113 1992294400 134512640 135709839 4294956240 18446744073709551615 134517181 0 0 4096 3 0 0 0 17 0 0 0 /proc/6376/statm: 226644 226113 136 292 0 226349 0 Current children cumulated CPU time (s) 641.97 Current children cumulated vsize (KiB) 906576 [startup+702.301 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.11 1.07 1.00 2/65 6377 /proc/meminfo: memFree=791472/2055920 swapFree=4192812/4192956 [pid=6376] ppid=6374 vsize=1039372 CPUtime=941.83 /proc/6376/stat : 6376 (wbo) R 6374 6376 6331 0 -1 4194304 265747 0 0 0 93870 313 0 0 25 0 1 0 188059598 1064316928 259299 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/6376/statm: 259843 259299 136 292 0 259548 0 Current children cumulated CPU time (s) 941.83 Current children cumulated vsize (KiB) 1039372 [startup+1002.3 s] /proc/loadavg: 1.10 1.07 1.00 2/65 6377 /proc/meminfo: memFree=757104/2055920 swapFree=4192812/4192956 [pid=6376] ppid=6374 vsize=1073664 CPUtime=1001.81 /proc/6376/stat : 6376 (wbo) R 6374 6376 6331 0 -1 4194304 274302 0 0 0 99850 331 0 0 25 0 1 0 188059598 1099431936 267854 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/6376/statm: 268416 267854 136 292 0 268121 0 Current children cumulated CPU time (s) 1001.81 Current children cumulated vsize (KiB) 1073664 [startup+1062.3 s] /proc/loadavg: 1.09 1.07 1.00 2/65 6377 /proc/meminfo: memFree=732912/2055920 swapFree=4192812/4192956 [pid=6376] ppid=6374 vsize=1098012 CPUtime=1061.78 /proc/6376/stat : 6376 (wbo) R 6374 6376 6331 0 -1 4194304 280365 0 0 0 105833 345 0 0 25 0 1 0 188059598 1124364288 273917 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/6376/statm: 274503 273917 136 292 0 274208 0 Current children cumulated CPU time (s) 1061.78 Current children cumulated vsize (KiB) 1098012 [startup+1122.3 s] /proc/loadavg: 1.08 1.07 1.00 2/65 6377 /proc/meminfo: memFree=703280/2055920 swapFree=4192812/4192956 [pid=6376] ppid=6374 vsize=1127692 CPUtime=1121.76 /proc/6376/stat : 6376 (wbo) R 6374 6376 6331 0 -1 4194304 287786 0 0 0 111818 358 0 0 25 0 1 0 188059598 1154756608 281338 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 0 0 0 /proc/6376/statm: 281923 281338 136 292 0 281628 0 Current children cumulated CPU time (s) 1121.76 Current children cumulated vsize (KiB) 1127692 [startup+1182.3 s] /proc/loadavg: 1.08 1.07 1.00 2/65 6377 /proc/meminfo: memFree=668080/2055920 swapFree=4192812/4192956 [pid=6376] ppid=6374 vsize=1163060 CPUtime=1181.74 /proc/6376/stat : 6376 (wbo) R 6374 6376 6331 0 -1 4194304 296587 0 0 0 117798 376 0 0 25 0 1 0 188059598 1190973440 290139 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0 /proc/6376/statm: 290765 290139 136 292 0 290470 0 Current children cumulated CPU time (s) 1181.74 Current children cumulated vsize (KiB) 1163060 [startup+1242.3 s] /proc/loadavg: 1.07 1.07 1.00 2/65 6377 /proc/meminfo: memFree=629040/2055920 swapFree=4192812/4192956 [pid=6376] ppid=6374 vsize=1202140 CPUtime=1241.71 /proc/6376/stat : 6376 (wbo) R 6374 6376 6331 0 -1 4194304 306336 0 0 0 123783 388 0 0 25 0 1 0 188059598 1230991360 299888 1992294400 134512640 135709839 4294956240 18446744073709551615 134517174 0 0 4096 3 0 0 0 17 0 0 0 /proc/6376/statm: 300535 299888 136 292 0 300240 0 Current children cumulated CPU time (s) 1241.71 Current children cumulated vsize (KiB) 1202140 [startup+1302.3 s] /proc/loadavg: 1.06 1.07 1.00 2/65 6377 /proc/meminfo: memFree=562672/2055920 swapFree=4192812/4192956 [pid=6376] ppid=6374 vsize=1267848 CPUtime=1301.68 /proc/6376/stat : 6376 (wbo) R 6374 6376 6331 0 -1 4194304 322760 0 0 0 129758 410 0 0 25 0 1 0 188059598 1298276352 316312 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/6376/statm: 316962 316312 136 292 0 316667 0 Current children cumulated CPU time (s) 1301.68 Current children cumulated vsize (KiB) 1267848 [startup+1362.3 s] /proc/loadavg: 1.06 1.07 1.00 2/65 6377 /proc/meminfo: memFree=525296/2055920 swapFree=4192812/4192956 [pid=6376] ppid=6374 vsize=1305284 CPUtime=1361.65 /proc/6376/stat : 6376 (wbo) R 6374 6376 6331 0 -1 4194304 332097 0 0 0 135742 423 0 0 25 0 1 0 188059598 1336610816 325649 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/6376/statm: 326321 325649 136 292 0 326026 0 Current children cumulated CPU time (s) 1361.65 Current children cumulated vsize (KiB) 1305284 [startup+1422.31 s] /proc/loadavg: 1.06 1.06 1.00 2/65 6377 /proc/meminfo: memFree=488688/2055920 swapFree=4192812/4192956 [pid=6376] ppid=6374 vsize=1341900 CPUtime=1421.63 /proc/6376/stat : 6376 (wbo) R 6374 6376 6331 0 -1 4194304 341239 0 0 0 141725 438 0 0 25 0 1 0 188059598 1374105600 334791 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/6376/statm: 335475 334791 136 292 0 335180 0 Current children cumulated CPU time (s) 1421.63 Current children cumulated vsize (KiB) 1341900 [startup+1482.3 s] /proc/loadavg: 1.13 1.08 1.01 2/65 6377 /proc/meminfo: memFree=436784/2055920 swapFree=4192812/4192956 [pid=6376] ppid=6374 vsize=1393760 CPUtime=1481.59 /proc/6376/stat : 6376 (wbo) R 6374 6376 6331 0 -1 4194304 354225 0 0 0 147700 459 0 0 25 0 1 0 188059598 1427210240 347777 1992294400 134512640 135709839 4294956240 18446744073709551615 134573823 0 0 4096 3 0 0 0 17 0 0 0 /proc/6376/statm: 348440 347777 136 292 0 348145 0 Current children cumulated CPU time (s) 1481.59 Current children cumulated vsize (KiB) 1393760 [startup+1542.3 s] /proc/loadavg: 1.12 1.08 1.00 2/65 6377 /proc/meminfo: memFree=404400/2055920 swapFree=4192812/4192956 [pid=6376] ppid=6374 vsize=1425980 CPUtime=1541.57 /proc/6376/stat : 6376 (wbo) R 6374 6376 6331 0 -1 4194304 362276 0 0 0 153682 475 0 0 25 0 1 0 188059598 1460203520 355828 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/6376/statm: 356495 355828 136 292 0 356200 0 Current children cumulated CPU time (s) 1541.57 Current children cumulated vsize (KiB) 1425980 [startup+1602.3 s] /proc/loadavg: 1.11 1.08 1.00 2/65 6377 /proc/meminfo: memFree=344880/2055920 swapFree=4192812/4192956 [pid=6376] ppid=6374 vsize=1486348 CPUtime=1601.54 /proc/6376/stat : 6376 (wbo) R 6374 6376 6331 0 -1 4194304 377338 0 0 0 159658 496 0 0 25 0 1 0 188059598 1522020352 370890 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 0 0 0 /proc/6376/statm: 371587 370890 136 292 0 371292 0 Current children cumulated CPU time (s) 1601.54 Current children cumulated vsize (KiB) 1486348 [startup+1662.3 s] /proc/loadavg: 1.10 1.08 1.00 2/65 6377 /proc/meminfo: memFree=280944/2055920 swapFree=4192812/4192956 [pid=6376] ppid=6374 vsize=1549684 CPUtime=1661.52 /proc/6376/stat : 6376 (wbo) R 6374 6376 6331 0 -1 4194304 393151 0 0 0 165640 512 0 0 25 0 1 0 188059598 1586876416 386703 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/6376/statm: 387421 386703 136 292 0 387126 0 Current children cumulated CPU time (s) 1661.52 Current children cumulated vsize (KiB) 1549684 [startup+1722.3 s] /proc/loadavg: 1.09 1.08 1.00 2/65 6377 /proc/meminfo: memFree=237104/2055920 swapFree=4192812/4192956 [pid=6376] ppid=6374 vsize=1593632 CPUtime=1721.5 /proc/6376/stat : 6376 (wbo) R 6374 6376 6331 0 -1 4194304 404096 0 0 0 171623 527 0 0 25 0 1 0 188059598 1631879168 397648 1992294400 134512640 135709839 4294956240 18446744073709551615 134574202 0 0 4096 3 0 0 0 17 0 0 0 /proc/6376/statm: 398408 397648 136 292 0 398113 0 Current children cumulated CPU time (s) 1721.5 Current children cumulated vsize (KiB) 1593632 [startup+1782.3 s] /proc/loadavg: 1.08 1.08 1.00 2/65 6377 /proc/meminfo: memFree=180720/2055920 swapFree=4192812/4192956 [pid=6376] ppid=6374 vsize=1649540 CPUtime=1781.46 /proc/6376/stat : 6376 (wbo) R 6374 6376 6331 0 -1 4194304 418056 0 0 0 177601 545 0 0 25 0 1 0 188059598 1689128960 411608 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/6376/statm: 412385 411608 136 292 0 412090 0 Current children cumulated CPU time (s) 1781.46 Current children cumulated vsize (KiB) 1649540 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.9 s] /proc/loadavg: 1.06 1.07 1.00 2/65 6377 /proc/meminfo: memFree=170288/2055920 swapFree=4192812/4192956 [pid=6376] ppid=6374 vsize=1659780 CPUtime=1800.06 /proc/6376/stat : 6376 (wbo) R 6374 6376 6331 0 -1 4194304 420624 0 0 0 179457 549 0 0 25 0 1 0 188059598 1699614720 414176 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0 /proc/6376/statm: 414945 414176 136 292 0 414650 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1659780 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.01 s] /proc/loadavg: 1.06 1.07 1.00 2/65 6377 /proc/meminfo: memFree=170288/2055920 swapFree=4192812/4192956 [pid=6376] ppid=6374 vsize=0 CPUtime=1800.16 /proc/6376/stat : 6376 (wbo) R 6374 6376 6331 0 -1 4195332 420624 0 0 0 179457 559 0 0 25 0 1 0 188059598 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/6376/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 [startup+1801.1 s] /proc/loadavg: 1.06 1.07 1.00 2/65 6377 /proc/meminfo: memFree=170288/2055920 swapFree=4192812/4192956 [pid=6376] ppid=6374 vsize=0 CPUtime=1800.26 /proc/6376/stat : 6376 (wbo) R 6374 6376 6331 0 -1 4195332 420624 0 0 0 179457 569 0 0 25 0 1 0 188059598 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/6376/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.14 CPU time (s): 1800.31 CPU user time (s): 1794.57 CPU system time (s): 5.73813 CPU usage (%): 99.9536 Max. virtual memory (cumulated for all children) (KiB): 1659780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.57 system time used= 5.73813 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 420624 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= 5 involuntary context switches= 6656 runsolver used 1.92471 second user time and 4.68229 second system time The end
Begin job on node11 at 2009-06-17 04:09:49 IDJOB=1875381 IDBENCH=48221 IDSOLVER=698 FILE ID=node11/1875381-1245204589 PBS_JOBID= 9368368 Free space on /tmp= 66196 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_60_5.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-1875381-1245204589/watcher-1875381-1245204589 -o /tmp/evaluation-result-1875381-1245204589/solver-1875381-1245204589 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875381-1245204589.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5ebd53ca3e688df11993cbeac431dac6 RANDOM SEED=137194761 node11.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.234 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.234 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: 1832016 kB Buffers: 50168 kB Cached: 102832 kB SwapCached: 0 kB Active: 57412 kB Inactive: 108956 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1832016 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 3052 kB Writeback: 0 kB Mapped: 23100 kB Slab: 43496 kB Committed_AS: 196308 kB PageTables: 1452 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-1875381-1245204589.opb Free space on /tmp at the end= 66192 MiB End job on node11 at 2009-06-17 04:39:53