| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.0 | ? (MO) | 1660.19 | 1660.97 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_25_5.opb |
| MD5SUM | 40141f2f083fa5e1f8a41aa043de0b1b |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -63 |
| Best CPU time to get the best result obtained on this benchmark | 1798.03 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -69 |
| Optimality of the best value was proved | NO |
| Number of variables | 500 |
| Total number of constraints | 500 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 500 |
| Minimum length of a constraint | 25 |
| Maximum length of a constraint | 47 |
| 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) | 15706 |
| Sum of products size (including duplicates) | 31412 |
| Number of different products | 7853 |
| Sum of products size | 15706 |
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-1875342-1245199943.opb. 0.00/0.00 c Instance file HOME/instance-1875342-1245199943.opb 0.00/0.00 c File size is 664781 bytes. 0.09/0.10 c Highest Coefficient sum: 47 0.09/0.10 c ============================[ Problem Statistics ]============================= 0.09/0.10 c | | 0.09/0.10 c | Parsing time: 0.10 s | 0.09/0.10 c | Number Variables: 8353 | 0.09/0.10 c | Number Clauses: 8353 | 0.09/0.10 c | Number Cardinality: 1000 | 0.09/0.10 c | Number PB Constraints: 7853 | 0.09/0.10 c core #1 0.09/0.10 c Core size: 4 Core Weight: 1 Total Weight: -499 0.09/0.10 c Elapsed CPU time: 0.099984 s Remaining CPU time: 1799.9 s 0.09/0.13 c core #2 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: -498 0.09/0.13 c Elapsed CPU time: 0.123981 s Remaining CPU time: 1799.88 s 0.09/0.15 c core #3 0.09/0.15 c Core size: 4 Core Weight: 1 Total Weight: -497 0.09/0.15 c Elapsed CPU time: 0.146977 s Remaining CPU time: 1799.85 s 0.09/0.18 c core #4 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: -496 0.09/0.18 c Elapsed CPU time: 0.172973 s Remaining CPU time: 1799.83 s 0.19/0.20 c core #5 0.19/0.20 c Core size: 4 Core Weight: 1 Total Weight: -495 0.19/0.20 c Elapsed CPU time: 0.197969 s Remaining CPU time: 1799.8 s 0.19/0.23 c core #6 0.19/0.23 c Core size: 4 Core Weight: 1 Total Weight: -494 0.19/0.23 c Elapsed CPU time: 0.223965 s Remaining CPU time: 1799.78 s 0.19/0.26 c core #7 0.19/0.26 c Core size: 4 Core Weight: 1 Total Weight: -493 0.19/0.26 c Elapsed CPU time: 0.253961 s Remaining CPU time: 1799.75 s 0.19/0.29 c core #8 0.19/0.29 c Core size: 4 Core Weight: 1 Total Weight: -492 0.19/0.29 c Elapsed CPU time: 0.281957 s Remaining CPU time: 1799.72 s 0.29/0.32 c core #9 0.29/0.32 c Core size: 4 Core Weight: 1 Total Weight: -491 0.29/0.32 c Elapsed CPU time: 0.310952 s Remaining CPU time: 1799.69 s 0.29/0.35 c core #10 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: -490 0.29/0.35 c Elapsed CPU time: 0.339948 s Remaining CPU time: 1799.66 s 0.29/0.38 c core #11 0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: -489 0.29/0.38 c Elapsed CPU time: 0.368943 s Remaining CPU time: 1799.63 s 0.39/0.41 c core #12 0.39/0.41 c Core size: 4 Core Weight: 1 Total Weight: -488 0.39/0.41 c Elapsed CPU time: 0.396939 s Remaining CPU time: 1799.6 s 0.39/0.44 c core #13 0.39/0.44 c Core size: 4 Core Weight: 1 Total Weight: -487 0.39/0.44 c Elapsed CPU time: 0.425935 s Remaining CPU time: 1799.57 s 0.39/0.47 c core #14 0.39/0.47 c Core size: 4 Core Weight: 1 Total Weight: -486 0.39/0.47 c Elapsed CPU time: 0.45393 s Remaining CPU time: 1799.55 s 0.49/0.50 c core #15 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: -485 0.49/0.50 c Elapsed CPU time: 0.482926 s Remaining CPU time: 1799.52 s 0.49/0.53 c core #16 0.49/0.53 c Core size: 4 Core Weight: 1 Total Weight: -484 0.49/0.53 c Elapsed CPU time: 0.513921 s Remaining CPU time: 1799.49 s 0.49/0.56 c core #17 0.49/0.56 c Core size: 4 Core Weight: 1 Total Weight: -483 0.49/0.56 c Elapsed CPU time: 0.541917 s Remaining CPU time: 1799.46 s 0.49/0.59 c core #18 0.49/0.59 c Core size: 4 Core Weight: 1 Total Weight: -482 0.49/0.59 c Elapsed CPU time: 0.571913 s Remaining CPU time: 1799.43 s 0.59/0.62 c core #19 0.59/0.62 c Core size: 4 Core Weight: 1 Total Weight: -481 0.59/0.62 c Elapsed CPU time: 0.601908 s Remaining CPU time: 1799.4 s 0.59/0.65 c core #20 0.59/0.65 c Core size: 4 Core Weight: 1 Total Weight: -480 0.59/0.65 c Elapsed CPU time: 0.633903 s Remaining CPU time: 1799.37 s 0.59/0.68 c core #21 0.59/0.68 c Core size: 4 Core Weight: 1 Total Weight: -479 0.59/0.68 c Elapsed CPU time: 0.664898 s Remaining CPU time: 1799.34 s 0.69/0.71 c core #22 0.69/0.71 c Core size: 4 Core Weight: 1 Total Weight: -478 0.69/0.71 c Elapsed CPU time: 0.694894 s Remaining CPU time: 1799.31 s 0.69/0.75 c core #23 0.69/0.75 c Core size: 4 Core Weight: 1 Total Weight: -477 0.69/0.75 c Elapsed CPU time: 0.725889 s Remaining CPU time: 1799.27 s 0.69/0.78 c core #24 0.69/0.78 c Core size: 4 Core Weight: 1 Total Weight: -476 0.69/0.78 c Elapsed CPU time: 0.756884 s Remaining CPU time: 1799.24 s 0.79/0.81 c core #25 0.79/0.81 c Core size: 4 Core Weight: 1 Total Weight: -475 0.79/0.81 c Elapsed CPU time: 0.78588 s Remaining CPU time: 1799.21 s 0.79/0.84 c core #26 0.79/0.84 c Core size: 4 Core Weight: 1 Total Weight: -474 0.79/0.84 c Elapsed CPU time: 0.813876 s Remaining CPU time: 1799.19 s 0.79/0.87 c core #27 0.79/0.87 c Core size: 4 Core Weight: 1 Total Weight: -473 0.79/0.87 c Elapsed CPU time: 0.841872 s Remaining CPU time: 1799.16 s 0.79/0.90 c core #28 0.79/0.90 c Core size: 4 Core Weight: 1 Total Weight: -472 0.79/0.90 c Elapsed CPU time: 0.870867 s Remaining CPU time: 1799.13 s 0.89/0.93 c core #29 0.89/0.93 c Core size: 4 Core Weight: 1 Total Weight: -471 0.89/0.93 c Elapsed CPU time: 0.900863 s Remaining CPU time: 1799.1 s 0.89/0.96 c core #30 0.89/0.96 c Core size: 4 Core Weight: 1 Total Weight: -470 0.89/0.96 c Elapsed CPU time: 0.928858 s Remaining CPU time: 1799.07 s 0.89/0.99 c core #31 0.89/0.99 c Core size: 4 Core Weight: 1 Total Weight: -469 0.89/0.99 c Elapsed CPU time: 0.959854 s Remaining CPU time: 1799.04 s 1.00/1.02 c core #32 1.00/1.02 c Core size: 4 Core Weight: 1 Total Weight: -468 1.00/1.02 c Elapsed CPU time: 0.988849 s Remaining CPU time: 1799.01 s 1.00/1.05 c core #33 1.00/1.05 c Core size: 4 Core Weight: 1 Total Weight: -467 1.49/2.01 c Elapsed CPU time: 1.02084 s Remaining CPU time: 1798.98 s 1.49/2.01 c core #34 1.49/2.01 c Core size: 4 Core Weight: 1 Total Weight: -466 1.49/2.01 c Elapsed CPU time: 1.05084 s Remaining CPU time: 1798.95 s 1.49/2.01 c core #35 1.49/2.01 c Core size: 4 Core Weight: 1 Total Weight: -465 1.49/2.01 c Elapsed CPU time: 1.08184 s Remaining CPU time: 1798.92 s 1.49/2.01 c core #36 1.49/2.01 c Core size: 4 Core Weight: 1 Total Weight: -464 1.49/2.01 c Elapsed CPU time: 1.11283 s Remaining CPU time: 1798.89 s 1.49/2.01 c core #37 1.49/2.01 c Core size: 4 Core Weight: 1 Total Weight: -463 1.49/2.01 c Elapsed CPU time: 1.14283 s Remaining CPU time: 1798.86 s 1.49/2.01 c core #38 1.49/2.01 c Core size: 4 Core Weight: 1 Total Weight: -462 1.49/2.01 c Elapsed CPU time: 1.17482 s Remaining CPU time: 1798.83 s 1.49/2.01 c core #39 1.49/2.01 c Core size: 4 Core Weight: 1 Total Weight: -461 1.49/2.01 c Elapsed CPU time: 1.20682 s Remaining CPU time: 1798.79 s 1.49/2.01 c core #40 1.49/2.01 c Core size: 4 Core Weight: 1 Total Weight: -460 1.49/2.01 c Elapsed CPU time: 1.23581 s Remaining CPU time: 1798.76 s 1.49/2.01 c core #41 1.49/2.01 c Core size: 4 Core Weight: 1 Total Weight: -459 1.49/2.01 c Elapsed CPU time: 1.26781 s Remaining CPU time: 1798.73 s 1.49/2.01 c core #42 2.01/2.04 c Core size: 4 Core Weight: 1 Total Weight: -458 2.01/2.04 c Elapsed CPU time: 1.2988 s Remaining CPU time: 1798.7 s 2.01/2.04 c core #43 2.01/2.04 c Core size: 4 Core Weight: 1 Total Weight: -457 2.01/2.04 c Elapsed CPU time: 1.3288 s Remaining CPU time: 1798.67 s 2.01/2.04 c core #44 2.01/2.04 c Core size: 4 Core Weight: 1 Total Weight: -456 2.01/2.04 c Elapsed CPU time: 1.36079 s Remaining CPU time: 1798.64 s 2.01/2.04 c core #45 2.01/2.04 c Core size: 4 Core Weight: 1 Total Weight: -455 2.01/2.04 c Elapsed CPU time: 1.39179 s Remaining CPU time: 1798.61 s 2.01/2.04 c core #46 2.01/2.04 c Core size: 4 Core Weight: 1 Total Weight: -454 2.01/2.04 c Elapsed CPU time: 1.42178 s Remaining CPU time: 1798.58 s 2.01/2.04 c core #47 2.01/2.04 c Core size: 4 Core Weight: 1 Total Weight: -453 2.01/2.04 c Elapsed CPU time: 1.45278 s Remaining CPU time: 1798.55 s 2.01/2.04 c core #48 2.01/2.04 c Core size: 4 Core Weight: 1 Total Weight: -452 2.01/2.04 c Elapsed CPU time: 1.48477 s Remaining CPU time: 1798.52 s 2.01/2.04 c core #49 2.01/2.04 c Core size: 4 Core Weight: 1 Total Weight: -451 2.01/2.04 c Elapsed CPU time: 1.51277 s Remaining CPU time: 1798.49 s 2.01/2.04 c core #50 2.01/2.04 c Core size: 4 Core Weight: 1 Total Weight: -450 2.01/2.04 c Elapsed CPU time: 1.54177 s Remaining CPU time: 1798.46 s 2.01/2.04 c core #51 2.01/2.04 c Core size: 4 Core Weight: 1 Total Weight: -449 2.01/2.04 c Elapsed CPU time: 1.57376 s Remaining CPU time: 1798.43 s 2.01/2.04 c core #52 2.01/2.04 c Core size: 4 Core Weight: 1 Total Weight: -448 2.01/2.04 c Elapsed CPU time: 1.60476 s Remaining CPU time: 1798.4 s 2.01/2.04 c core #53 2.01/2.04 c Core size: 4 Core Weight: 1 Total Weight: -447 2.01/2.04 c Elapsed CPU time: 1.63675 s Remaining CPU time: 1798.36 s 2.01/2.04 c core #54 2.01/2.04 c Core size: 4 Core Weight: 1 Total Weight: -446 2.01/2.04 c Elapsed CPU time: 1.66975 s Remaining CPU time: 1798.33 s 2.01/2.04 c core #55 2.01/2.04 c Core size: 4 Core Weight: 1 Total Weight: -445 2.01/2.04 c Elapsed CPU time: 1.69974 s Remaining CPU time: 1798.3 s 2.01/2.04 c core #56 2.01/2.04 c Core size: 4 Core Weight: 1 Total Weight: -444 2.01/2.04 c Elapsed CPU time: 1.73174 s Remaining CPU time: 1798.27 s 2.01/2.04 c core #57 2.01/2.04 c Core size: 4 Core Weight: 1 Total Weight: -443 2.01/2.04 c Elapsed CPU time: 1.76373 s Remaining CPU time: 1798.24 s 2.01/2.04 c core #58 2.01/2.04 c Core size: 4 Core Weight: 1 Total Weight: -442 2.01/2.04 c Elapsed CPU time: 1.79573 s Remaining CPU time: 1798.2 s 2.01/2.04 c core #59 2.01/2.04 c Core size: 4 Core Weight: 1 Total Weight: -441 2.01/2.04 c Elapsed CPU time: 1.82772 s Remaining CPU time: 1798.17 s 2.01/2.04 c core #60 2.01/2.04 c Core size: 4 Core Weight: 1 Total Weight: -440 2.01/2.04 c Elapsed CPU time: 1.85972 s Remaining CPU time: 1798.14 s 2.01/2.04 c core #61 2.01/2.04 c Core size: 4 Core Weight: 1 Total Weight: -439 2.01/2.04 c Elapsed CPU time: 1.89071 s Remaining CPU time: 1798.11 s 2.01/2.04 c core #62 2.01/2.04 c Core size: 4 Core Weight: 1 Total Weight: -438 2.01/2.04 c Elapsed CPU time: 1.92171 s Remaining CPU time: 1798.08 s 2.01/2.04 c core #63 2.01/2.04 c Core size: 4 Core Weight: 1 Total Weight: -437 2.01/2.04 c Elapsed CPU time: 1.9537 s Remaining CPU time: 1798.05 s 2.01/2.05 c core #64 2.01/2.05 c Core size: 4 Core Weight: 1 Total Weight: -436 2.01/2.05 c Elapsed CPU time: 1.9847 s Remaining CPU time: 1798.02 s 2.01/2.08 c core #65 2.01/2.08 c Core size: 4 Core Weight: 1 Total Weight: -435 2.01/2.08 c Elapsed CPU time: 2.01369 s Remaining CPU time: 1797.99 s 2.08/2.11 c core #66 2.08/2.11 c Core size: 4 Core Weight: 1 Total Weight: -434 2.08/2.11 c Elapsed CPU time: 2.04469 s Remaining CPU time: 1797.96 s 2.08/2.14 c core #67 2.08/2.14 c Core size: 4 Core Weight: 1 Total Weight: -433 2.08/2.14 c Elapsed CPU time: 2.07668 s Remaining CPU time: 1797.92 s 2.08/2.17 c core #68 2.08/2.17 c Core size: 4 Core Weight: 1 Total Weight: -432 2.08/2.17 c Elapsed CPU time: 2.10868 s Remaining CPU time: 1797.89 s 2.18/2.20 c core #69 2.18/2.20 c Core size: 4 Core Weight: 1 Total Weight: -431 2.18/2.20 c Elapsed CPU time: 2.13967 s Remaining CPU time: 1797.86 s 2.18/2.23 c core #70 2.18/2.23 c Core size: 4 Core Weight: 1 Total Weight: -430 2.18/2.23 c Elapsed CPU time: 2.17067 s Remaining CPU time: 1797.83 s 2.18/2.27 c core #71 2.18/2.27 c Core size: 4 Core Weight: 1 Total Weight: -429 2.18/2.27 c Elapsed CPU time: 2.20066 s Remaining CPU time: 1797.8 s 2.28/2.30 c core #72 2.28/2.30 c Core size: 4 Core Weight: 1 Total Weight: -428 2.28/2.30 c Elapsed CPU time: 2.23366 s Remaining CPU time: 1797.77 s 2.28/2.33 c core #73 2.28/2.33 c Core size: 4 Core Weight: 1 Total Weight: -427 2.28/2.33 c Elapsed CPU time: 2.26465 s Remaining CPU time: 1797.74 s 2.28/2.36 c core #74 2.28/2.36 c Core size: 4 Core Weight: 1 Total Weight: -426 2.28/2.36 c Elapsed CPU time: 2.29465 s Remaining CPU time: 1797.71 s 2.28/2.39 c core #75 2.28/2.39 c Core size: 4 Core Weight: 1 Total Weight: -425 2.28/2.39 c Elapsed CPU time: 2.32565 s Remaining CPU time: 1797.67 s 2.38/2.42 c core #76 2.38/2.42 c Core size: 4 Core Weight: 1 Total Weight: -424 2.38/2.42 c Elapsed CPU time: 2.35464 s Remaining CPU time: 1797.65 s 2.38/2.45 c core #77 2.38/2.45 c Core size: 4 Core Weight: 1 Total Weight: -423 2.38/2.45 c Elapsed CPU time: 2.38464 s Remaining CPU time: 1797.62 s 2.38/2.48 c core #78 2.38/2.48 c Core size: 4 Core Weight: 1 Total Weight: -422 2.38/2.48 c Elapsed CPU time: 2.41563 s Remaining CPU time: 1797.58 s 2.48/2.52 c core #79 2.48/2.52 c Core size: 4 Core Weight: 1 Total Weight: -421 2.48/2.52 c Elapsed CPU time: 2.44763 s Remaining CPU time: 1797.55 s 2.48/2.55 c core #80 2.48/2.55 c Core size: 4 Core Weight: 1 Total Weight: -420 2.48/2.55 c Elapsed CPU time: 2.47762 s Remaining CPU time: 1797.52 s 2.48/2.58 c core #81 2.48/2.58 c Core size: 4 Core Weight: 1 Total Weight: -419 2.48/2.58 c Elapsed CPU time: 2.50862 s Remaining CPU time: 1797.49 s 2.58/2.61 c core #82 2.58/2.61 c Core size: 4 Core Weight: 1 Total Weight: -418 2.58/2.61 c Elapsed CPU time: 2.53861 s Remaining CPU time: 1797.46 s 2.58/2.64 c core #83 2.58/2.64 c Core size: 4 Core Weight: 1 Total Weight: -417 2.58/2.64 c Elapsed CPU time: 2.56861 s Remaining CPU time: 1797.43 s 2.58/2.67 c core #84 2.58/2.67 c Core size: 4 Core Weight: 1 Total Weight: -416 2.58/2.67 c Elapsed CPU time: 2.5996 s Remaining CPU time: 1797.4 s 2.68/2.70 c core #85 2.68/2.70 c Core size: 4 Core Weight: 1 Total Weight: -415 2.68/2.70 c Elapsed CPU time: 2.6306 s Remaining CPU time: 1797.37 s 2.68/2.74 c core #86 2.68/2.74 c Core size: 4 Core Weight: 1 Total Weight: -414 2.68/2.74 c Elapsed CPU time: 2.6616 s Remaining CPU time: 1797.34 s 2.68/2.77 c core #87 2.68/2.77 c Core size: 4 Core Weight: 1 Total Weight: -413 2.68/2.77 c Elapsed CPU time: 2.69359 s Remaining CPU time: 1797.31 s 2.78/2.80 c core #88 2.78/2.80 c Core size: 4 Core Weight: 1 Total Weight: -412 2.78/2.80 c Elapsed CPU time: 2.72459 s Remaining CPU time: 1797.28 s 2.78/2.83 c core #89 2.78/2.83 c Core size: 4 Core Weight: 1 Total Weight: -411 2.78/2.83 c Elapsed CPU time: 2.75158 s Remaining CPU time: 1797.25 s 2.78/2.86 c core #90 2.78/2.86 c Core size: 4 Core Weight: 1 Total Weight: -410 2.78/2.86 c Elapsed CPU time: 2.78058 s Remaining CPU time: 1797.22 s 2.78/2.89 c core #91 2.78/2.89 c Core size: 4 Core Weight: 1 Total Weight: -409 2.78/2.89 c Elapsed CPU time: 2.80957 s Remaining CPU time: 1797.19 s 2.88/2.92 c core #92 2.88/2.92 c Core size: 4 Core Weight: 1 Total Weight: -408 2.88/2.92 c Elapsed CPU time: 2.83757 s Remaining CPU time: 1797.16 s 2.88/2.95 c core #93 2.88/2.95 c Core size: 4 Core Weight: 1 Total Weight: -407 2.88/2.95 c Elapsed CPU time: 2.86756 s Remaining CPU time: 1797.13 s 2.88/2.98 c core #94 2.88/2.98 c Core size: 4 Core Weight: 1 Total Weight: -406 2.88/2.98 c Elapsed CPU time: 2.89656 s Remaining CPU time: 1797.1 s 2.98/3.01 c core #95 2.98/3.01 c Core size: 4 Core Weight: 1 Total Weight: -405 2.98/3.01 c Elapsed CPU time: 2.92556 s Remaining CPU time: 1797.07 s 2.98/3.04 c core #96 2.98/3.04 c Core size: 4 Core Weight: 1 Total Weight: -404 2.98/3.04 c Elapsed CPU time: 2.95355 s Remaining CPU time: 1797.05 s 2.98/3.07 c core #97 2.98/3.07 c Core size: 4 Core Weight: 1 Total Weight: -403 2.98/3.07 c Elapsed CPU time: 2.98255 s Remaining CPU time: 1797.02 s 2.98/3.09 c core #98 2.98/3.09 c Core size: 4 Core Weight: 1 Total Weight: -402 2.98/3.09 c Elapsed CPU time: 3.01154 s Remaining CPU time: 1796.99 s 3.08/3.13 c core #99 3.08/3.13 c Core size: 4 Core Weight: 1 Total Weight: -401 3.08/3.13 c Elapsed CPU time: 3.03954 s Remaining CPU time: 1796.96 s 3.08/3.16 c core #100 3.08/3.16 c Core size: 4 Core Weight: 1 Total Weight: -400 3.08/3.16 c Elapsed CPU time: 3.06853 s Remaining CPU time: 1796.93 s 3.08/3.18 c core #101 3.08/3.18 c Core size: 4 Core Weight: 1 Total Weight: -399 3.08/3.18 c Elapsed CPU time: 3.09753 s Remaining CPU time: 1796.9 s 3.17/3.21 c core #102 3.17/3.21 c Core size: 4 Core Weight: 1 Total Weight: -398 3.17/3.21 c Elapsed CPU time: 3.12752 s Remaining CPU time: 1796.87 s 3.17/3.25 c core #103 3.17/3.25 c Core size: 4 Core Weight: 1 Total Weight: -397 3.17/3.25 c Elapsed CPU time: 3.15652 s Remaining CPU time: 1796.84 s 3.17/3.28 c core #104 3.17/3.28 c Core size: 4 Core Weight: 1 Total Weight: -396 3.17/3.28 c Elapsed CPU time: 3.18651 s Remaining CPU time: 1796.81 s 3.27/3.31 c core #105 3.27/3.31 c Core size: 4 Core Weight: 1 Total Weight: -395 3.27/3.31 c Elapsed CPU time: 3.21651 s Remaining CPU time: 1796.78 s 3.27/3.33 c core #106 3.27/3.33 c Core size: 4 Core Weight: 1 Total Weight: -394 3.27/3.33 c Elapsed CPU time: 3.24351 s Remaining CPU time: 1796.76 s 3.27/3.36 c core #107 3.27/3.36 c Core size: 4 Core Weight: 1 Total Weight: -393 3.27/3.36 c Elapsed CPU time: 3.2725 s Remaining CPU time: 1796.73 s 3.27/3.39 c core #108 3.27/3.39 c Core size: 4 Core Weight: 1 Total Weight: -392 3.27/3.39 c Elapsed CPU time: 3.3015 s Remaining CPU time: 1796.7 s 3.38/3.42 c core #109 3.38/3.42 c Core size: 4 Core Weight: 1 Total Weight: -391 3.38/3.42 c Elapsed CPU time: 3.33049 s Remaining CPU time: 1796.67 s 3.38/3.45 c core #110 3.38/3.45 c Core size: 4 Core Weight: 1 Total Weight: -390 3.38/3.45 c Elapsed CPU time: 3.36049 s Remaining CPU time: 1796.64 s 3.38/3.49 c core #111 3.38/3.49 c Core size: 4 Core Weight: 1 Total Weight: -389 3.38/3.49 c Elapsed CPU time: 3.39048 s Remaining CPU time: 1796.61 s 3.48/3.52 c core #112 3.48/3.52 c Core size: 4 Core Weight: 1 Total Weight: -388 3.48/3.52 c Elapsed CPU time: 3.41948 s Remaining CPU time: 1796.58 s 3.48/3.55 c core #113 3.48/3.55 c Core size: 4 Core Weight: 1 Total Weight: -387 3.48/3.55 c Elapsed CPU time: 3.44948 s Remaining CPU time: 1796.55 s 3.48/3.58 c core #114 3.48/3.58 c Core size: 4 Core Weight: 1 Total Weight: -386 3.48/3.58 c Elapsed CPU time: 3.47747 s Remaining CPU time: 1796.52 s 3.57/3.61 c core #115 3.57/3.61 c Core size: 4 Core Weight: 1 Total Weight: -385 3.57/3.61 c Elapsed CPU time: 3.50647 s Remaining CPU time: 1796.49 s 3.57/3.63 c core #116 3.57/3.63 c Core size: 4 Core Weight: 1 Total Weight: -384 3.57/3.63 c Elapsed CPU time: 3.53346 s Remaining CPU time: 1796.47 s 3.57/3.67 c core #117 3.57/3.67 c Core size: 4 Core Weight: 1 Total Weight: -383 3.57/3.67 c Elapsed CPU time: 3.56446 s Remaining CPU time: 1796.44 s 3.57/3.70 c core #118 3.57/3.70 c Core size: 4 Core Weight: 1 Total Weight: -382 3.57/3.70 c Elapsed CPU time: 3.59445 s Remaining CPU time: 1796.41 s 3.68/3.73 c core #119 3.68/3.73 c Core size: 4 Core Weight: 1 Total Weight: -381 3.68/3.73 c Elapsed CPU time: 3.62445 s Remaining CPU time: 1796.38 s 3.68/3.76 c core #120 3.68/3.76 c Core size: 4 Core Weight: 1 Total Weight: -380 3.68/3.76 c Elapsed CPU time: 3.65444 s Remaining CPU time: 1796.35 s 3.68/3.79 c core #121 3.68/3.79 c Core size: 4 Core Weight: 1 Total Weight: -379 3.68/3.79 c Elapsed CPU time: 3.68544 s Remaining CPU time: 1796.31 s 3.78/3.82 c core #122 3.78/3.82 c Core size: 4 Core Weight: 1 Total Weight: -378 3.78/3.82 c Elapsed CPU time: 3.71544 s Remaining CPU time: 1796.28 s 3.78/3.85 c core #123 3.78/3.85 c Core size: 4 Core Weight: 1 Total Weight: -377 3.78/3.85 c Elapsed CPU time: 3.74543 s Remaining CPU time: 1796.25 s 3.78/3.88 c core #124 3.78/3.88 c Core size: 4 Core Weight: 1 Total Weight: -376 3.78/3.88 c Elapsed CPU time: 3.77543 s Remaining CPU time: 1796.22 s 3.88/3.91 c core #125 3.88/3.91 c Core size: 4 Core Weight: 1 Total Weight: -375 3.88/3.91 c Elapsed CPU time: 3.80542 s Remaining CPU time: 1796.19 s 3.88/3.94 c core #126 3.88/3.94 c Core size: 4 Core Weight: 1 Total Weight: -374 3.88/3.94 c Elapsed CPU time: 3.83442 s Remaining CPU time: 1796.17 s 3.88/3.97 c core #127 3.88/3.97 c Core size: 4 Core Weight: 1 Total Weight: -373 3.88/3.97 c Elapsed CPU time: 3.86541 s Remaining CPU time: 1796.13 s 3.98/4.00 c core #128 3.98/4.00 c Core size: 4 Core Weight: 1 Total Weight: -372 3.98/4.00 c Elapsed CPU time: 3.89641 s Remaining CPU time: 1796.1 s 3.98/4.03 c core #129 3.98/4.03 c Core size: 4 Core Weight: 1 Total Weight: -371 3.98/4.03 c Elapsed CPU time: 3.9244 s Remaining CPU time: 1796.08 s 3.98/4.06 c core #130 3.98/4.06 c Core size: 4 Core Weight: 1 Total Weight: -370 3.98/4.06 c Elapsed CPU time: 3.9544 s Remaining CPU time: 1796.05 s 3.98/4.09 c core #131 3.98/4.09 c Core size: 4 Core Weight: 1 Total Weight: -369 3.98/4.09 c Elapsed CPU time: 3.98539 s Remaining CPU time: 1796.01 s 4.07/4.12 c core #132 4.07/4.12 c Core size: 4 Core Weight: 1 Total Weight: -368 4.07/4.12 c Elapsed CPU time: 4.01439 s Remaining CPU time: 1795.99 s 4.07/4.15 c core #133 4.07/4.15 c Core size: 4 Core Weight: 1 Total Weight: -367 4.07/4.15 c Elapsed CPU time: 4.04439 s Remaining CPU time: 1795.96 s 4.07/4.18 c core #134 4.07/4.18 c Core size: 4 Core Weight: 1 Total Weight: -366 4.07/4.18 c Elapsed CPU time: 4.07538 s Remaining CPU time: 1795.92 s 4.17/4.22 c core #135 4.17/4.22 c Core size: 4 Core Weight: 1 Total Weight: -365 4.17/4.22 c Elapsed CPU time: 4.10637 s Remaining CPU time: 1795.89 s 4.17/4.25 c core #136 4.17/4.25 c Core size: 4 Core Weight: 1 Total Weight: -364 4.17/4.25 c Elapsed CPU time: 4.13637 s Remaining CPU time: 1795.86 s 4.17/4.28 c core #137 4.17/4.28 c Core size: 4 Core Weight: 1 Total Weight: -363 4.17/4.28 c Elapsed CPU time: 4.16537 s Remaining CPU time: 1795.83 s 4.27/4.31 c core #138 4.27/4.31 c Core size: 4 Core Weight: 1 Total Weight: -362 4.27/4.31 c Elapsed CPU time: 4.19536 s Remaining CPU time: 1795.8 s 4.27/4.34 c core #139 4.27/4.34 c Core size: 4 Core Weight: 1 Total Weight: -361 4.27/4.34 c Elapsed CPU time: 4.22636 s Remaining CPU time: 1795.77 s 4.27/4.37 c core #140 4.27/4.37 c Core size: 4 Core Weight: 1 Total Weight: -360 4.27/4.37 c Elapsed CPU time: 4.25635 s Remaining CPU time: 1795.74 s 4.27/4.40 c core #141 4.27/4.40 c Core size: 4 Core Weight: 1 Total Weight: -359 4.27/4.40 c Elapsed CPU time: 4.28735 s Remaining CPU time: 1795.71 s 4.41/4.43 c core #142 4.41/4.43 c Core size: 4 Core Weight: 1 Total Weight: -358 4.41/4.43 c Elapsed CPU time: 4.31634 s Remaining CPU time: 1795.68 s 4.41/4.46 c core #143 4.41/4.46 c Core size: 4 Core Weight: 1 Total Weight: -357 4.41/4.46 c Elapsed CPU time: 4.34734 s Remaining CPU time: 1795.65 s 4.41/4.49 c core #144 4.41/4.49 c Core size: 4 Core Weight: 1 Total Weight: -356 4.41/4.49 c Elapsed CPU time: 4.37733 s Remaining CPU time: 1795.62 s 4.50/4.52 c core #145 4.50/4.52 c Core size: 4 Core Weight: 1 Total Weight: -355 4.50/4.52 c Elapsed CPU time: 4.40833 s Remaining CPU time: 1795.59 s 4.50/4.56 c core #146 4.50/4.56 c Core size: 4 Core Weight: 1 Total Weight: -354 4.50/4.56 c Elapsed CPU time: 4.43832 s Remaining CPU time: 1795.56 s 4.50/4.59 c core #147 4.50/4.59 c Core size: 4 Core Weight: 1 Total Weight: -353 4.50/4.59 c Elapsed CPU time: 4.46832 s Remaining CPU time: 1795.53 s 4.57/4.62 c core #148 4.57/4.62 c Core size: 4 Core Weight: 1 Total Weight: -352 4.57/4.62 c Elapsed CPU time: 4.49932 s Remaining CPU time: 1795.5 s 4.57/4.65 c core #149 4.57/4.65 c Core size: 4 Core Weight: 1 Total Weight: -351 4.57/4.65 c Elapsed CPU time: 4.52931 s Remaining CPU time: 1795.47 s 4.57/4.68 c core #150 4.57/4.68 c Core size: 4 Core Weight: 1 Total Weight: -350 4.57/4.68 c Elapsed CPU time: 4.55931 s Remaining CPU time: 1795.44 s 4.67/4.71 c core #151 4.67/4.71 c Core size: 4 Core Weight: 1 Total Weight: -349 4.67/4.71 c Elapsed CPU time: 4.5903 s Remaining CPU time: 1795.41 s 4.67/4.74 c core #152 4.67/4.74 c Core size: 4 Core Weight: 1 Total Weight: -348 4.67/4.74 c Elapsed CPU time: 4.6203 s Remaining CPU time: 1795.38 s 4.67/4.77 c core #153 4.67/4.77 c Core size: 4 Core Weight: 1 Total Weight: -347 4.67/4.77 c Elapsed CPU time: 4.65129 s Remaining CPU time: 1795.35 s 4.77/4.81 c core #154 4.77/4.81 c Core size: 4 Core Weight: 1 Total Weight: -346 4.77/4.81 c Elapsed CPU time: 4.68229 s Remaining CPU time: 1795.32 s 4.77/4.84 c core #155 4.77/4.84 c Core size: 4 Core Weight: 1 Total Weight: -345 4.77/4.84 c Elapsed CPU time: 4.71328 s Remaining CPU time: 1795.29 s 4.77/4.87 c core #156 4.77/4.87 c Core size: 4 Core Weight: 1 Total Weight: -344 4.77/4.87 c Elapsed CPU time: 4.74328 s Remaining CPU time: 1795.26 s 4.87/4.90 c core #157 4.87/4.90 c Core size: 4 Core Weight: 1 Total Weight: -343 4.87/4.90 c Elapsed CPU time: 4.77427 s Remaining CPU time: 1795.23 s 4.87/4.93 c core #158 4.87/4.93 c Core size: 4 Core Weight: 1 Total Weight: -342 4.87/4.93 c Elapsed CPU time: 4.80527 s Remaining CPU time: 1795.19 s 4.87/4.96 c core #159 4.87/4.96 c Core size: 4 Core Weight: 1 Total Weight: -341 4.87/4.96 c Elapsed CPU time: 4.83726 s Remaining CPU time: 1795.16 s 4.87/4.99 c core #160 4.87/4.99 c Core size: 4 Core Weight: 1 Total Weight: -340 4.87/4.99 c Elapsed CPU time: 4.86726 s Remaining CPU time: 1795.13 s 4.98/5.03 c core #161 4.98/5.03 c Core size: 4 Core Weight: 1 Total Weight: -339 4.98/5.03 c Elapsed CPU time: 4.89825 s Remaining CPU time: 1795.1 s 4.98/5.06 c core #162 4.98/5.06 c Core size: 4 Core Weight: 1 Total Weight: -338 4.98/5.06 c Elapsed CPU time: 4.92925 s Remaining CPU time: 1795.07 s 4.98/5.09 c core #163 4.98/5.09 c Core size: 4 Core Weight: 1 Total Weight: -337 4.98/5.09 c Elapsed CPU time: 4.95925 s Remaining CPU time: 1795.04 s 5.08/5.12 c core #164 5.08/5.12 c Core size: 4 Core Weight: 1 Total Weight: -336 5.08/5.12 c Elapsed CPU time: 4.99024 s Remaining CPU time: 1795.01 s 5.08/5.15 c core #165 5.08/5.15 c Core size: 4 Core Weight: 1 Total Weight: -335 5.08/5.15 c Elapsed CPU time: 5.02124 s Remaining CPU time: 1794.98 s 5.08/5.18 c core #166 5.08/5.18 c Core size: 4 Core Weight: 1 Total Weight: -334 5.08/5.18 c Elapsed CPU time: 5.05123 s Remaining CPU time: 1794.95 s 5.17/5.21 c core #167 5.17/5.21 c Core size: 4 Core Weight: 1 Total Weight: -333 5.17/5.21 c Elapsed CPU time: 5.08223 s Remaining CPU time: 1794.92 s 5.17/5.24 c core #168 5.17/5.24 c Core size: 4 Core Weight: 1 Total Weight: -332 5.17/5.24 c Elapsed CPU time: 5.11322 s Remaining CPU time: 1794.89 s 5.17/5.28 c core #169 5.17/5.28 c Core size: 4 Core Weight: 1 Total Weight: -331 5.17/5.28 c Elapsed CPU time: 5.14422 s Remaining CPU time: 1794.86 s 5.27/5.31 c core #170 5.27/5.31 c Core size: 4 Core Weight: 1 Total Weight: -330 5.27/5.31 c Elapsed CPU time: 5.17221 s Remaining CPU time: 1794.83 s 5.27/5.34 c core #171 5.27/5.34 c Core size: 4 Core Weight: 1 Total Weight: -329 5.27/5.34 c Elapsed CPU time: 5.20321 s Remaining CPU time: 1794.8 s 5.27/5.37 c core #172 5.27/5.37 c Core size: 4 Core Weight: 1 Total Weight: -328 5.27/5.37 c Elapsed CPU time: 5.2342 s Remaining CPU time: 1794.77 s 5.37/5.40 c core #173 5.37/5.40 c Core size: 4 Core Weight: 1 Total Weight: -327 5.37/5.40 c Elapsed CPU time: 5.2642 s Remaining CPU time: 1794.74 s 5.37/5.43 c core #174 5.37/5.43 c Core size: 4 Core Weight: 1 Total Weight: -326 5.37/5.43 c Elapsed CPU time: 5.29519 s Remaining CPU time: 1794.7 s 5.37/5.47 c core #175 5.37/5.47 c Core size: 4 Core Weight: 1 Total Weight: -325 5.37/5.47 c Elapsed CPU time: 5.32719 s Remaining CPU time: 1794.67 s 5.37/5.50 c core #176 5.37/5.50 c Core size: 4 Core Weight: 1 Total Weight: -324 5.37/5.50 c Elapsed CPU time: 5.35618 s Remaining CPU time: 1794.64 s 5.47/5.53 c core #177 5.47/5.53 c Core size: 4 Core Weight: 1 Total Weight: -323 5.47/5.53 c Elapsed CPU time: 5.38718 s Remaining CPU time: 1794.61 s 5.47/5.56 c core #178 5.47/5.56 c Core size: 4 Core Weight: 1 Total Weight: -322 5.47/5.56 c Elapsed CPU time: 5.41818 s Remaining CPU time: 1794.58 s 5.47/5.59 c core #179 5.47/5.59 c Core size: 4 Core Weight: 1 Total Weight: -321 5.47/5.59 c Elapsed CPU time: 5.44817 s Remaining CPU time: 1794.55 s 5.57/5.62 c core #180 5.57/5.62 c Core size: 4 Core Weight: 1 Total Weight: -320 5.57/5.62 c Elapsed CPU time: 5.47717 s Remaining CPU time: 1794.52 s 5.57/5.65 c core #181 5.57/5.65 c Core size: 4 Core Weight: 1 Total Weight: -319 5.57/5.65 c Elapsed CPU time: 5.50816 s Remaining CPU time: 1794.49 s 5.57/5.68 c core #182 5.57/5.68 c Core size: 4 Core Weight: 1 Total Weight: -318 5.57/5.68 c Elapsed CPU time: 5.54016 s Remaining CPU time: 1794.46 s 5.67/5.72 c core #183 5.67/5.72 c Core size: 4 Core Weight: 1 Total Weight: -317 5.67/5.72 c Elapsed CPU time: 5.57015 s Remaining CPU time: 1794.43 s 5.67/5.75 c core #184 5.67/5.75 c Core size: 4 Core Weight: 1 Total Weight: -316 5.67/5.75 c Elapsed CPU time: 5.60015 s Remaining CPU time: 1794.4 s 5.67/5.78 c core #185 5.67/5.78 c Core size: 4 Core Weight: 1 Total Weight: -315 5.67/5.78 c Elapsed CPU time: 5.63114 s Remaining CPU time: 1794.37 s 5.77/5.81 c core #186 5.77/5.81 c Core size: 4 Core Weight: 1 Total Weight: -314 5.77/5.81 c Elapsed CPU time: 5.66114 s Remaining CPU time: 1794.34 s 5.77/5.84 c core #187 5.77/5.84 c Core size: 4 Core Weight: 1 Total Weight: -313 5.77/5.84 c Elapsed CPU time: 5.69213 s Remaining CPU time: 1794.31 s 5.77/5.87 c core #188 5.77/5.87 c Core size: 4 Core Weight: 1 Total Weight: -312 5.77/5.87 c Elapsed CPU time: 5.72413 s Remaining CPU time: 1794.28 s 5.87/5.90 c core #189 5.87/5.90 c Core size: 4 Core Weight: 1 Total Weight: -311 5.87/5.90 c Elapsed CPU time: 5.75413 s Remaining CPU time: 1794.25 s 5.87/5.94 c core #190 5.87/5.94 c Core size: 4 Core Weight: 1 Total Weight: -310 5.87/5.94 c Elapsed CPU time: 5.78512 s Remaining CPU time: 1794.21 s 5.87/5.97 c core #191 5.87/5.97 c Core size: 4 Core Weight: 1 Total Weight: -309 5.87/5.97 c Elapsed CPU time: 5.81712 s Remaining CPU time: 1794.18 s 5.97/6.00 c core #192 5.97/6.00 c Core size: 4 Core Weight: 1 Total Weight: -308 5.97/6.00 c Elapsed CPU time: 5.84811 s Remaining CPU time: 1794.15 s 5.97/6.03 c core #193 5.97/6.03 c Core size: 4 Core Weight: 1 Total Weight: -307 5.97/6.03 c Elapsed CPU time: 5.87811 s Remaining CPU time: 1794.12 s 5.97/6.06 c core #194 5.97/6.06 c Core size: 4 Core Weight: 1 Total Weight: -306 5.97/6.07 c Elapsed CPU time: 5.9091 s Remaining CPU time: 1794.09 s 5.97/6.09 c core #195 5.97/6.09 c Core size: 4 Core Weight: 1 Total Weight: -305 5.97/6.09 c Elapsed CPU time: 5.9391 s Remaining CPU time: 1794.06 s 6.07/6.13 c core #196 6.07/6.13 c Core size: 4 Core Weight: 1 Total Weight: -304 6.07/6.13 c Elapsed CPU time: 5.97009 s Remaining CPU time: 1794.03 s 6.07/6.16 c core #197 6.07/6.16 c Core size: 4 Core Weight: 1 Total Weight: -303 6.07/6.16 c Elapsed CPU time: 6.00009 s Remaining CPU time: 1794 s 6.07/6.19 c core #198 6.07/6.19 c Core size: 4 Core Weight: 1 Total Weight: -302 6.07/6.19 c Elapsed CPU time: 6.03108 s Remaining CPU time: 1793.97 s 6.17/6.22 c core #199 6.17/6.22 c Core size: 4 Core Weight: 1 Total Weight: -301 6.17/6.22 c Elapsed CPU time: 6.06208 s Remaining CPU time: 1793.94 s 6.17/6.25 c core #200 6.17/6.25 c Core size: 4 Core Weight: 1 Total Weight: -300 6.17/6.25 c Elapsed CPU time: 6.09307 s Remaining CPU time: 1793.91 s 6.17/6.28 c core #201 6.17/6.28 c Core size: 4 Core Weight: 1 Total Weight: -299 6.17/6.28 c Elapsed CPU time: 6.12407 s Remaining CPU time: 1793.88 s 6.26/6.31 c core #202 6.26/6.31 c Core size: 4 Core Weight: 1 Total Weight: -298 6.26/6.31 c Elapsed CPU time: 6.15506 s Remaining CPU time: 1793.84 s 6.26/6.35 c core #203 6.26/6.35 c Core size: 4 Core Weight: 1 Total Weight: -297 6.26/6.35 c Elapsed CPU time: 6.18806 s Remaining CPU time: 1793.81 s 6.26/6.38 c core #204 6.26/6.38 c Core size: 4 Core Weight: 1 Total Weight: -296 6.26/6.38 c Elapsed CPU time: 6.21805 s Remaining CPU time: 1793.78 s 6.36/6.41 c core #205 6.36/6.41 c Core size: 4 Core Weight: 1 Total Weight: -295 6.36/6.41 c Elapsed CPU time: 6.24905 s Remaining CPU time: 1793.75 s 6.36/6.44 c core #206 6.36/6.44 c Core size: 4 Core Weight: 1 Total Weight: -294 6.36/6.44 c Elapsed CPU time: 6.28005 s Remaining CPU time: 1793.72 s 6.36/6.47 c core #207 6.36/6.47 c Core size: 4 Core Weight: 1 Total Weight: -293 6.36/6.47 c Elapsed CPU time: 6.31204 s Remaining CPU time: 1793.69 s 6.47/6.50 c core #208 6.47/6.50 c Core size: 4 Core Weight: 1 Total Weight: -292 6.47/6.50 c Elapsed CPU time: 6.34304 s Remaining CPU time: 1793.66 s 6.47/6.53 c core #209 6.47/6.53 c Core size: 4 Core Weight: 1 Total Weight: -291 6.47/6.53 c Elapsed CPU time: 6.37603 s Remaining CPU time: 1793.62 s 6.47/6.57 c core #210 6.47/6.57 c Core size: 4 Core Weight: 1 Total Weight: -290 6.47/6.57 c Elapsed CPU time: 6.40803 s Remaining CPU time: 1793.59 s 6.57/6.60 c core #211 6.57/6.60 c Core size: 4 Core Weight: 1 Total Weight: -289 6.57/6.60 c Elapsed CPU time: 6.44102 s Remaining CPU time: 1793.56 s 6.57/6.63 c core #212 6.57/6.63 c Core size: 4 Core Weight: 1 Total Weight: -288 6.57/6.63 c Elapsed CPU time: 6.47202 s Remaining CPU time: 1793.53 s 6.57/6.66 c core #213 6.57/6.66 c Core size: 4 Core Weight: 1 Total Weight: -287 6.57/6.66 c Elapsed CPU time: 6.50301 s Remaining CPU time: 1793.5 s 6.57/6.70 c core #214 6.57/6.70 c Core size: 4 Core Weight: 1 Total Weight: -286 6.57/6.70 c Elapsed CPU time: 6.53501 s Remaining CPU time: 1793.46 s 6.67/6.73 c core #215 6.67/6.73 c Core size: 4 Core Weight: 1 Total Weight: -285 6.67/6.73 c Elapsed CPU time: 6.566 s Remaining CPU time: 1793.43 s 6.67/6.76 c core #216 6.67/6.76 c Core size: 4 Core Weight: 1 Total Weight: -284 6.67/6.76 c Elapsed CPU time: 6.597 s Remaining CPU time: 1793.4 s 6.67/6.79 c core #217 6.67/6.79 c Core size: 4 Core Weight: 1 Total Weight: -283 6.67/6.79 c Elapsed CPU time: 6.62799 s Remaining CPU time: 1793.37 s 6.77/6.82 c core #218 6.77/6.82 c Core size: 4 Core Weight: 1 Total Weight: -282 6.77/6.82 c Elapsed CPU time: 6.65799 s Remaining CPU time: 1793.34 s 6.77/6.85 c core #219 6.77/6.85 c Core size: 4 Core Weight: 1 Total Weight: -281 6.77/6.85 c Elapsed CPU time: 6.68798 s Remaining CPU time: 1793.31 s 6.77/6.88 c core #220 6.77/6.88 c Core size: 4 Core Weight: 1 Total Weight: -280 6.77/6.88 c Elapsed CPU time: 6.71898 s Remaining CPU time: 1793.28 s 6.87/6.92 c core #221 6.87/6.92 c Core size: 4 Core Weight: 1 Total Weight: -279 6.87/6.92 c Elapsed CPU time: 6.74997 s Remaining CPU time: 1793.25 s 6.87/6.95 c core #222 6.87/6.95 c Core size: 4 Core Weight: 1 Total Weight: -278 6.87/6.95 c Elapsed CPU time: 6.78097 s Remaining CPU time: 1793.22 s 6.87/6.98 c core #223 6.87/6.98 c Core size: 4 Core Weight: 1 Total Weight: -277 6.87/6.98 c Elapsed CPU time: 6.81196 s Remaining CPU time: 1793.19 s 6.96/7.01 c core #224 6.96/7.01 c Core size: 4 Core Weight: 1 Total Weight: -276 6.96/7.01 c Elapsed CPU time: 6.84396 s Remaining CPU time: 1793.16 s 6.96/7.04 c core #225 6.96/7.04 c Core size: 4 Core Weight: 1 Total Weight: -275 6.96/7.04 c Elapsed CPU time: 6.87495 s Remaining CPU time: 1793.13 s 6.96/7.08 c core #226 6.96/7.08 c Core size: 4 Core Weight: 1 Total Weight: -274 6.96/7.08 c Elapsed CPU time: 6.90595 s Remaining CPU time: 1793.09 s 7.07/7.11 c core #227 7.07/7.11 c Core size: 4 Core Weight: 1 Total Weight: -273 7.07/7.11 c Elapsed CPU time: 6.93795 s Remaining CPU time: 1793.06 s 7.07/7.14 c core #228 7.07/7.14 c Core size: 4 Core Weight: 1 Total Weight: -272 7.07/7.14 c Elapsed CPU time: 6.96894 s Remaining CPU time: 1793.03 s 7.07/7.17 c core #229 7.07/7.17 c Core size: 4 Core Weight: 1 Total Weight: -271 7.07/7.17 c Elapsed CPU time: 7.00094 s Remaining CPU time: 1793 s 7.17/7.20 c core #230 7.17/7.20 c Core size: 4 Core Weight: 1 Total Weight: -270 7.17/7.20 c Elapsed CPU time: 7.03093 s Remaining CPU time: 1792.97 s 7.17/7.23 c core #231 7.17/7.23 c Core size: 4 Core Weight: 1 Total Weight: -269 7.17/7.23 c Elapsed CPU time: 7.05993 s Remaining CPU time: 1792.94 s 7.17/7.27 c core #232 7.17/7.27 c Core size: 4 Core Weight: 1 Total Weight: -268 7.17/7.27 c Elapsed CPU time: 7.09192 s Remaining CPU time: 1792.91 s 7.17/7.30 c core #233 7.17/7.30 c Core size: 4 Core Weight: 1 Total Weight: -267 7.17/7.30 c Elapsed CPU time: 7.12292 s Remaining CPU time: 1792.88 s 7.27/7.33 c core #234 7.27/7.33 c Core size: 4 Core Weight: 1 Total Weight: -266 7.27/7.33 c Elapsed CPU time: 7.15291 s Remaining CPU time: 1792.85 s 7.27/7.36 c core #235 7.27/7.36 c Core size: 4 Core Weight: 1 Total Weight: -265 7.27/7.36 c Elapsed CPU time: 7.18491 s Remaining CPU time: 1792.82 s 7.27/7.39 c core #236 7.27/7.39 c Core size: 4 Core Weight: 1 Total Weight: -264 7.27/7.39 c Elapsed CPU time: 7.2159 s Remaining CPU time: 1792.78 s 7.36/7.43 c core #237 7.36/7.43 c Core size: 4 Core Weight: 1 Total Weight: -263 7.36/7.43 c Elapsed CPU time: 7.2479 s Remaining CPU time: 1792.75 s 7.36/7.46 c core #238 7.36/7.46 c Core size: 4 Core Weight: 1 Total Weight: -262 7.36/7.46 c Elapsed CPU time: 7.27889 s Remaining CPU time: 1792.72 s 7.36/7.49 c core #239 7.36/7.49 c Core size: 4 Core Weight: 1 Total Weight: -261 7.36/7.49 c Elapsed CPU time: 7.31089 s Remaining CPU time: 1792.69 s 7.46/7.52 c core #240 7.46/7.52 c Core size: 4 Core Weight: 1 Total Weight: -260 7.46/7.52 c Elapsed CPU time: 7.34288 s Remaining CPU time: 1792.66 s 7.46/7.55 c core #241 7.46/7.55 c Core size: 4 Core Weight: 1 Total Weight: -259 7.46/7.55 c Elapsed CPU time: 7.37488 s Remaining CPU time: 1792.63 s 7.46/7.59 c core #242 7.46/7.59 c Core size: 4 Core Weight: 1 Total Weight: -258 7.46/7.59 c Elapsed CPU time: 7.40687 s Remaining CPU time: 1792.59 s 7.57/7.62 c core #243 7.57/7.62 c Core size: 4 Core Weight: 1 Total Weight: -257 7.57/7.62 c Elapsed CPU time: 7.43787 s Remaining CPU time: 1792.56 s 7.57/7.65 c core #244 7.57/7.65 c Core size: 8 Core Weight: 1 Total Weight: -256 7.57/7.65 c Elapsed CPU time: 7.46886 s Remaining CPU time: 1792.53 s 7.57/7.68 c core #245 7.57/7.68 c Core size: 9 Core Weight: 1 Total Weight: -255 7.57/7.68 c Elapsed CPU time: 7.50086 s Remaining CPU time: 1792.5 s 7.67/7.71 c core #246 7.67/7.71 c Core size: 9 Core Weight: 1 Total Weight: -254 7.67/7.71 c Elapsed CPU time: 7.53085 s Remaining CPU time: 1792.47 s 7.67/7.75 c core #247 7.67/7.75 c Core size: 9 Core Weight: 1 Total Weight: -253 7.67/7.75 c Elapsed CPU time: 7.56285 s Remaining CPU time: 1792.44 s 7.67/7.78 c core #248 7.67/7.78 c Core size: 14 Core Weight: 1 Total Weight: -252 7.67/7.78 c Elapsed CPU time: 7.59584 s Remaining CPU time: 1792.4 s 7.77/7.81 c core #249 7.77/7.81 c Core size: 9 Core Weight: 1 Total Weight: -251 7.77/7.81 c Elapsed CPU time: 7.62684 s Remaining CPU time: 1792.37 s 7.77/7.84 c core #250 7.77/7.84 c Core size: 28 Core Weight: 1 Total Weight: -250 7.77/7.84 c Elapsed CPU time: 7.65984 s Remaining CPU time: 1792.34 s 7.77/7.88 c core #251 7.77/7.88 c Core size: 23 Core Weight: 1 Total Weight: -249 7.77/7.88 c Elapsed CPU time: 7.69183 s Remaining CPU time: 1792.31 s 7.87/7.91 c core #252 7.87/7.91 c Core size: 18 Core Weight: 1 Total Weight: -248 7.87/7.91 c Elapsed CPU time: 7.72382 s Remaining CPU time: 1792.28 s 7.87/7.94 c ============================[ Search Statistics ]============================== 7.87/7.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.87/7.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.87/7.94 c =============================================================================== 7.87/7.94 c | 0 | 1038 17458 40115 | 5819 0 nan | 0.000 % | 7.87/7.94 c =============================================================================== 7.87/7.94 c core #253 7.87/7.94 c Core size: 16 Core Weight: 1 Total Weight: -247 7.87/7.94 c Elapsed CPU time: 7.75582 s Remaining CPU time: 1792.24 s 7.87/7.97 c ============================[ Search Statistics ]============================== 7.87/7.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.87/7.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.87/7.97 c =============================================================================== 7.87/7.97 c | 0 | 1044 17459 40127 | 5819 0 nan | 0.000 % | 7.87/7.97 c =============================================================================== 7.87/7.97 c core #254 7.87/7.97 c Core size: 15 Core Weight: 1 Total Weight: -246 7.87/7.97 c Elapsed CPU time: 7.78782 s Remaining CPU time: 1792.21 s 7.97/8.00 c ============================[ Search Statistics ]============================== 7.97/8.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.97/8.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.97/8.00 c =============================================================================== 7.97/8.00 c | 0 | 1050 17460 40139 | 5820 0 nan | 0.000 % | 7.97/8.01 c =============================================================================== 7.97/8.01 c core #255 7.97/8.01 c Core size: 22 Core Weight: 1 Total Weight: -245 7.97/8.01 c Elapsed CPU time: 7.82181 s Remaining CPU time: 1792.18 s 7.97/8.04 c ============================[ Search Statistics ]============================== 7.97/8.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.97/8.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.97/8.04 c =============================================================================== 7.97/8.04 c | 0 | 1058 17461 40155 | 5820 0 nan | 0.000 % | 7.97/8.04 c =============================================================================== 7.97/8.04 c core #256 7.97/8.04 c Core size: 35 Core Weight: 1 Total Weight: -244 7.97/8.04 c Elapsed CPU time: 7.8548 s Remaining CPU time: 1792.15 s 7.97/8.07 c ============================[ Search Statistics ]============================== 7.97/8.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.97/8.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.97/8.07 c =============================================================================== 7.97/8.07 c | 0 | 1070 17462 40179 | 5820 0 nan | 0.000 % | 7.97/8.07 c =============================================================================== 7.97/8.07 c core #257 7.97/8.07 c Core size: 16 Core Weight: 1 Total Weight: -243 7.97/8.07 c Elapsed CPU time: 7.8878 s Remaining CPU time: 1792.11 s 8.07/8.10 c ============================[ Search Statistics ]============================== 8.07/8.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.07/8.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.07/8.10 c =============================================================================== 8.07/8.10 c | 0 | 1076 17463 40191 | 5821 0 nan | 0.000 % | 8.07/8.10 c =============================================================================== 8.07/8.10 c core #258 8.07/8.10 c Core size: 20 Core Weight: 1 Total Weight: -242 8.07/8.10 c Elapsed CPU time: 7.9198 s Remaining CPU time: 1792.08 s 8.07/8.13 c ============================[ Search Statistics ]============================== 8.07/8.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.07/8.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.07/8.13 c =============================================================================== 8.07/8.13 c | 0 | 1084 17464 40207 | 5821 0 nan | 0.000 % | 8.07/8.14 c =============================================================================== 8.07/8.14 c core #259 8.07/8.14 c Core size: 21 Core Weight: 1 Total Weight: -241 8.07/8.14 c Elapsed CPU time: 7.95179 s Remaining CPU time: 1792.05 s 8.07/8.17 c ============================[ Search Statistics ]============================== 8.07/8.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.07/8.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.07/8.17 c =============================================================================== 8.07/8.17 c | 0 | 1092 17465 40223 | 5821 0 nan | 0.000 % | 8.07/8.17 c =============================================================================== 8.07/8.17 c core #260 8.07/8.17 c Core size: 27 Core Weight: 1 Total Weight: -240 8.07/8.17 c Elapsed CPU time: 7.98179 s Remaining CPU time: 1792.02 s 8.16/8.20 c ============================[ Search Statistics ]============================== 8.16/8.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.16/8.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.16/8.20 c =============================================================================== 8.16/8.20 c | 0 | 1102 17466 40243 | 5822 0 nan | 0.000 % | 8.16/8.20 c =============================================================================== 8.16/8.20 c core #261 8.16/8.20 c Core size: 15 Core Weight: 1 Total Weight: -239 8.16/8.20 c Elapsed CPU time: 8.01378 s Remaining CPU time: 1791.99 s 8.16/8.23 c ============================[ Search Statistics ]============================== 8.16/8.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.16/8.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.16/8.23 c =============================================================================== 8.16/8.23 c | 0 | 1108 17467 40255 | 5822 0 nan | 0.000 % | 8.16/8.23 c =============================================================================== 8.16/8.23 c core #262 8.16/8.23 c Core size: 17 Core Weight: 1 Total Weight: -238 8.16/8.23 c Elapsed CPU time: 8.04578 s Remaining CPU time: 1791.95 s 8.16/8.26 c ============================[ Search Statistics ]============================== 8.16/8.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.16/8.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.16/8.26 c =============================================================================== 8.16/8.26 c | 0 | 1114 17468 40267 | 5822 0 nan | 0.000 % | 8.16/8.27 c =============================================================================== 8.16/8.27 c core #263 8.16/8.27 c Core size: 15 Core Weight: 1 Total Weight: -237 8.16/8.27 c Elapsed CPU time: 8.07777 s Remaining CPU time: 1791.92 s 8.16/8.30 c ============================[ Search Statistics ]============================== 8.16/8.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.16/8.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.16/8.30 c =============================================================================== 8.16/8.30 c | 0 | 1120 17469 40279 | 5823 0 nan | 0.000 % | 8.28/8.30 c =============================================================================== 8.28/8.30 c core #264 8.28/8.30 c Core size: 20 Core Weight: 1 Total Weight: -236 8.28/8.30 c Elapsed CPU time: 8.11177 s Remaining CPU time: 1791.89 s 8.28/8.33 c ============================[ Search Statistics ]============================== 8.28/8.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.28/8.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.28/8.33 c =============================================================================== 8.28/8.33 c | 0 | 1128 17470 40295 | 5823 0 nan | 0.000 % | 8.28/8.34 c =============================================================================== 8.28/8.34 c core #265 8.28/8.34 c Core size: 26 Core Weight: 1 Total Weight: -235 8.28/8.34 c Elapsed CPU time: 8.14276 s Remaining CPU time: 1791.86 s 8.28/8.37 c ============================[ Search Statistics ]============================== 8.28/8.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.28/8.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.28/8.37 c =============================================================================== 8.28/8.37 c | 0 | 1138 17471 40315 | 5823 0 nan | 0.000 % | 8.28/8.37 c =============================================================================== 8.28/8.37 c core #266 8.28/8.37 c Core size: 15 Core Weight: 1 Total Weight: -234 8.28/8.37 c Elapsed CPU time: 8.17476 s Remaining CPU time: 1791.83 s 8.28/8.40 c ============================[ Search Statistics ]============================== 8.28/8.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.28/8.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.28/8.40 c =============================================================================== 8.28/8.40 c | 0 | 1144 17472 40327 | 5824 0 nan | 0.000 % | 8.28/8.40 c =============================================================================== 8.28/8.40 c core #267 8.28/8.40 c Core size: 22 Core Weight: 1 Total Weight: -233 8.28/8.40 c Elapsed CPU time: 8.20575 s Remaining CPU time: 1791.79 s 8.37/8.43 c ============================[ Search Statistics ]============================== 8.37/8.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.37/8.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.37/8.43 c =============================================================================== 8.37/8.43 c | 0 | 1152 17473 40343 | 5824 0 nan | 0.000 % | 8.37/8.43 c =============================================================================== 8.37/8.43 c core #268 8.37/8.43 c Core size: 27 Core Weight: 1 Total Weight: -232 8.37/8.43 c Elapsed CPU time: 8.23775 s Remaining CPU time: 1791.76 s 8.37/8.46 c ============================[ Search Statistics ]============================== 8.37/8.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.37/8.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.37/8.46 c =============================================================================== 8.37/8.46 c | 0 | 1162 17474 40363 | 5824 0 nan | 0.000 % | 8.37/8.47 c =============================================================================== 8.37/8.47 c core #269 8.37/8.47 c Core size: 15 Core Weight: 1 Total Weight: -231 8.37/8.47 c Elapsed CPU time: 8.26974 s Remaining CPU time: 1791.73 s 8.37/8.50 c ============================[ Search Statistics ]============================== 8.37/8.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.37/8.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.37/8.50 c =============================================================================== 8.37/8.50 c | 0 | 1168 17475 40375 | 5825 0 nan | 0.000 % | 8.46/8.50 c =============================================================================== 8.46/8.50 c core #270 8.46/8.50 c Core size: 26 Core Weight: 1 Total Weight: -230 8.46/8.50 c Elapsed CPU time: 8.30074 s Remaining CPU time: 1791.7 s 8.46/8.53 c ============================[ Search Statistics ]============================== 8.46/8.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.46/8.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.46/8.53 c =============================================================================== 8.46/8.53 c | 0 | 1178 17476 40395 | 5825 0 nan | 0.000 % | 8.46/8.53 c =============================================================================== 8.46/8.53 c core #271 8.46/8.53 c Core size: 20 Core Weight: 1 Total Weight: -229 8.46/8.53 c Elapsed CPU time: 8.33273 s Remaining CPU time: 1791.67 s 8.46/8.57 c ============================[ Search Statistics ]============================== 8.46/8.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.46/8.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.46/8.57 c =============================================================================== 8.46/8.57 c | 0 | 1186 17477 40411 | 5825 0 nan | 0.000 % | 8.46/8.57 c =============================================================================== 8.46/8.57 c core #272 8.46/8.57 c Core size: 21 Core Weight: 1 Total Weight: -228 8.46/8.57 c Elapsed CPU time: 8.36573 s Remaining CPU time: 1791.63 s 8.57/8.60 c ============================[ Search Statistics ]============================== 8.57/8.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.57/8.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.57/8.60 c =============================================================================== 8.57/8.60 c | 0 | 1194 17478 40427 | 5826 0 nan | 0.000 % | 8.57/8.60 c =============================================================================== 8.57/8.60 c core #273 8.57/8.60 c Core size: 22 Core Weight: 1 Total Weight: -227 8.57/8.60 c Elapsed CPU time: 8.39772 s Remaining CPU time: 1791.6 s 8.57/8.63 c ============================[ Search Statistics ]============================== 8.57/8.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.57/8.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.57/8.63 c =============================================================================== 8.57/8.63 c | 0 | 1202 17479 40443 | 5826 0 nan | 0.000 % | 8.57/8.63 c =============================================================================== 8.57/8.63 c core #274 8.57/8.63 c Core size: 27 Core Weight: 1 Total Weight: -226 8.57/8.63 c Elapsed CPU time: 8.42872 s Remaining CPU time: 1791.57 s 8.57/8.66 c ============================[ Search Statistics ]============================== 8.57/8.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.57/8.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.57/8.66 c =============================================================================== 8.57/8.66 c | 0 | 1212 17480 40463 | 5826 0 nan | 0.000 % | 8.57/8.67 c =============================================================================== 8.57/8.67 c core #275 8.57/8.67 c Core size: 25 Core Weight: 1 Total Weight: -225 8.57/8.67 c Elapsed CPU time: 8.46171 s Remaining CPU time: 1791.54 s 8.57/8.70 c ============================[ Search Statistics ]============================== 8.57/8.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.57/8.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.67/8.70 c =============================================================================== 8.67/8.70 c | 0 | 1222 17481 40483 | 5827 0 nan | 0.000 % | 8.67/8.70 c =============================================================================== 8.67/8.70 c core #276 8.67/8.70 c Core size: 27 Core Weight: 1 Total Weight: -224 8.67/8.70 c Elapsed CPU time: 8.49471 s Remaining CPU time: 1791.51 s 8.67/8.73 c ============================[ Search Statistics ]============================== 8.67/8.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.67/8.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.67/8.73 c =============================================================================== 8.67/8.73 c | 0 | 1232 17482 40503 | 5827 0 nan | 0.000 % | 8.67/8.73 c =============================================================================== 8.67/8.73 c core #277 8.67/8.73 c Core size: 21 Core Weight: 1 Total Weight: -223 8.67/8.73 c Elapsed CPU time: 8.5277 s Remaining CPU time: 1791.47 s 8.67/8.76 c ============================[ Search Statistics ]============================== 8.67/8.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.67/8.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.67/8.76 c =============================================================================== 8.67/8.76 c | 0 | 1240 17483 40519 | 5827 0 nan | 0.000 % | 8.67/8.77 c =============================================================================== 8.67/8.77 c core #278 8.67/8.77 c Core size: 22 Core Weight: 1 Total Weight: -222 8.67/8.77 c Elapsed CPU time: 8.5587 s Remaining CPU time: 1791.44 s 8.67/8.80 c ============================[ Search Statistics ]============================== 8.67/8.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.67/8.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.67/8.80 c =============================================================================== 8.67/8.80 c | 0 | 1248 17484 40535 | 5828 0 nan | 0.000 % | 8.76/8.80 c =============================================================================== 8.76/8.80 c core #279 8.76/8.80 c Core size: 27 Core Weight: 1 Total Weight: -221 8.76/8.80 c Elapsed CPU time: 8.58969 s Remaining CPU time: 1791.41 s 8.76/8.83 c ============================[ Search Statistics ]============================== 8.76/8.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.76/8.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.76/8.83 c =============================================================================== 8.76/8.83 c | 0 | 1258 17485 40555 | 5828 0 nan | 0.000 % | 8.76/8.83 c =============================================================================== 8.76/8.83 c core #280 8.76/8.83 c Core size: 27 Core Weight: 1 Total Weight: -220 8.76/8.83 c Elapsed CPU time: 8.61969 s Remaining CPU time: 1791.38 s 8.76/8.86 c ============================[ Search Statistics ]============================== 8.76/8.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.76/8.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.76/8.86 c =============================================================================== 8.76/8.86 c | 0 | 1268 17486 40575 | 5828 0 nan | 0.000 % | 8.76/8.87 c =============================================================================== 8.76/8.87 c core #281 8.76/8.87 c Core size: 27 Core Weight: 1 Total Weight: -219 8.76/8.87 c Elapsed CPU time: 8.65368 s Remaining CPU time: 1791.35 s 8.86/8.90 c ============================[ Search Statistics ]============================== 8.86/8.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.86/8.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.86/8.90 c =============================================================================== 8.86/8.90 c | 0 | 1278 17487 40595 | 5829 0 nan | 0.000 % | 8.86/8.90 c =============================================================================== 8.86/8.90 c core #282 8.86/8.90 c Core size: 20 Core Weight: 1 Total Weight: -218 8.86/8.90 c Elapsed CPU time: 8.68568 s Remaining CPU time: 1791.31 s 8.86/8.93 c ============================[ Search Statistics ]============================== 8.86/8.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.86/8.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.86/8.93 c =============================================================================== 8.86/8.93 c | 0 | 1286 17488 40611 | 5829 0 nan | 0.000 % | 8.86/8.93 c =============================================================================== 8.86/8.93 c core #283 8.86/8.93 c Core size: 22 Core Weight: 1 Total Weight: -217 8.86/8.93 c Elapsed CPU time: 8.71767 s Remaining CPU time: 1791.28 s 8.86/8.97 c ============================[ Search Statistics ]============================== 8.86/8.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.86/8.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.86/8.97 c =============================================================================== 8.86/8.97 c | 0 | 1294 17489 40627 | 5829 0 nan | 0.000 % | 8.86/8.97 c =============================================================================== 8.86/8.97 c core #284 8.86/8.97 c Core size: 22 Core Weight: 1 Total Weight: -216 8.86/8.97 c Elapsed CPU time: 8.75167 s Remaining CPU time: 1791.25 s 8.95/9.00 c ============================[ Search Statistics ]============================== 8.95/9.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.95/9.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.95/9.00 c =============================================================================== 8.95/9.00 c | 0 | 1302 17490 40643 | 5830 0 nan | 0.000 % | 8.95/9.00 c =============================================================================== 8.95/9.00 c core #285 8.95/9.00 c Core size: 21 Core Weight: 1 Total Weight: -215 8.95/9.00 c Elapsed CPU time: 8.78266 s Remaining CPU time: 1791.22 s 8.95/9.03 c ============================[ Search Statistics ]============================== 8.95/9.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.95/9.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.95/9.03 c =============================================================================== 8.95/9.03 c | 0 | 1310 17491 40659 | 5830 0 nan | 0.000 % | 8.95/9.04 c =============================================================================== 8.95/9.04 c core #286 8.95/9.04 c Core size: 25 Core Weight: 1 Total Weight: -214 8.95/9.04 c Elapsed CPU time: 8.81566 s Remaining CPU time: 1791.18 s 8.95/9.07 c ============================[ Search Statistics ]============================== 8.95/9.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.95/9.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.95/9.07 c =============================================================================== 8.95/9.07 c | 0 | 1320 17492 40679 | 5830 0 nan | 0.000 % | 8.95/9.07 c =============================================================================== 8.95/9.07 c core #287 8.95/9.07 c Core size: 21 Core Weight: 1 Total Weight: -213 8.95/9.07 c Elapsed CPU time: 8.84865 s Remaining CPU time: 1791.15 s 9.05/9.10 c ============================[ Search Statistics ]============================== 9.05/9.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.05/9.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.05/9.10 c =============================================================================== 9.05/9.10 c | 0 | 1328 17493 40695 | 5831 0 nan | 0.000 % | 9.05/9.10 c =============================================================================== 9.05/9.10 c core #288 9.05/9.10 c Core size: 27 Core Weight: 1 Total Weight: -212 9.05/9.10 c Elapsed CPU time: 8.88165 s Remaining CPU time: 1791.12 s 9.05/9.13 c ============================[ Search Statistics ]============================== 9.05/9.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.05/9.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.05/9.13 c =============================================================================== 9.05/9.13 c | 0 | 1338 17494 40715 | 5831 0 nan | 0.000 % | 9.05/9.13 c =============================================================================== 9.05/9.13 c core #289 9.05/9.13 c Core size: 26 Core Weight: 1 Total Weight: -211 9.05/9.13 c Elapsed CPU time: 8.91264 s Remaining CPU time: 1791.09 s 9.05/9.17 c ============================[ Search Statistics ]============================== 9.05/9.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.05/9.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.05/9.17 c =============================================================================== 9.05/9.17 c | 0 | 1348 17495 40735 | 5831 0 nan | 0.000 % | 9.05/9.17 c =============================================================================== 9.05/9.17 c core #290 9.05/9.17 c Core size: 32 Core Weight: 1 Total Weight: -210 9.05/9.17 c Elapsed CPU time: 8.94564 s Remaining CPU time: 1791.05 s 9.16/9.20 c ============================[ Search Statistics ]============================== 9.16/9.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.16/9.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.16/9.20 c =============================================================================== 9.16/9.20 c | 0 | 1360 17496 40759 | 5832 0 nan | 0.000 % | 9.16/9.20 c =============================================================================== 9.16/9.20 c core #291 9.16/9.20 c Core size: 25 Core Weight: 1 Total Weight: -209 9.16/9.20 c Elapsed CPU time: 8.97663 s Remaining CPU time: 1791.02 s 9.16/9.23 c ============================[ Search Statistics ]============================== 9.16/9.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.16/9.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.16/9.23 c =============================================================================== 9.16/9.23 c | 0 | 1370 17497 40779 | 5832 0 nan | 0.000 % | 9.16/9.23 c =============================================================================== 9.16/9.23 c core #292 9.16/9.23 c Core size: 27 Core Weight: 1 Total Weight: -208 9.16/9.23 c Elapsed CPU time: 9.00963 s Remaining CPU time: 1790.99 s 9.16/9.27 c ============================[ Search Statistics ]============================== 9.16/9.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.16/9.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.16/9.27 c =============================================================================== 9.16/9.27 c | 0 | 1380 17498 40799 | 5832 0 nan | 0.000 % | 9.16/9.27 c =============================================================================== 9.16/9.27 c core #293 9.16/9.27 c Core size: 35 Core Weight: 1 Total Weight: -207 9.16/9.27 c Elapsed CPU time: 9.04363 s Remaining CPU time: 1790.96 s 9.25/9.30 c ============================[ Search Statistics ]============================== 9.25/9.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.25/9.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.25/9.30 c =============================================================================== 9.25/9.30 c | 0 | 1394 17499 40827 | 5833 0 nan | 0.000 % | 9.25/9.30 c =============================================================================== 9.25/9.30 c core #294 9.25/9.30 c Core size: 27 Core Weight: 1 Total Weight: -206 9.25/9.30 c Elapsed CPU time: 9.07562 s Remaining CPU time: 1790.92 s 9.25/9.33 c ============================[ Search Statistics ]============================== 9.25/9.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.25/9.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.25/9.33 c =============================================================================== 9.25/9.33 c | 0 | 1404 17500 40847 | 5833 0 nan | 0.000 % | 9.25/9.34 c =============================================================================== 9.25/9.34 c core #295 9.25/9.34 c Core size: 27 Core Weight: 1 Total Weight: -205 9.25/9.34 c Elapsed CPU time: 9.10862 s Remaining CPU time: 1790.89 s 9.25/9.37 c ============================[ Search Statistics ]============================== 9.25/9.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.25/9.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.25/9.37 c =============================================================================== 9.25/9.37 c | 0 | 1414 17501 40867 | 5833 0 nan | 0.000 % | 9.25/9.37 c =============================================================================== 9.25/9.37 c core #296 9.25/9.37 c Core size: 31 Core Weight: 1 Total Weight: -204 9.25/9.37 c Elapsed CPU time: 9.14161 s Remaining CPU time: 1790.86 s 9.36/9.40 c ============================[ Search Statistics ]============================== 9.36/9.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.36/9.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.36/9.40 c =============================================================================== 9.36/9.40 c | 0 | 1426 17502 40891 | 5834 0 nan | 0.000 % | 9.36/9.40 c =============================================================================== 9.36/9.40 c core #297 9.36/9.40 c Core size: 37 Core Weight: 1 Total Weight: -203 9.36/9.40 c Elapsed CPU time: 9.17361 s Remaining CPU time: 1790.83 s 9.36/9.43 c ============================[ Search Statistics ]============================== 9.36/9.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.36/9.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.36/9.43 c =============================================================================== 9.36/9.43 c | 0 | 1440 17503 40919 | 5834 0 nan | 0.000 % | 9.36/9.44 c =============================================================================== 9.36/9.44 c core #298 9.36/9.44 c Core size: 40 Core Weight: 1 Total Weight: -202 9.36/9.44 c Elapsed CPU time: 9.2056 s Remaining CPU time: 1790.79 s 9.36/9.47 c ============================[ Search Statistics ]============================== 9.36/9.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.36/9.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.36/9.47 c =============================================================================== 9.36/9.47 c | 0 | 1455 17504 40949 | 5834 0 nan | 0.000 % | 9.36/9.47 c =============================================================================== 9.36/9.47 c core #299 9.36/9.47 c Core size: 57 Core Weight: 1 Total Weight: -201 9.36/9.47 c Elapsed CPU time: 9.23959 s Remaining CPU time: 1790.76 s 9.45/9.50 c ============================[ Search Statistics ]============================== 9.45/9.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.45/9.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.45/9.50 c =============================================================================== 9.45/9.50 c | 0 | 1477 17505 40993 | 5835 0 nan | 0.000 % | 9.45/9.51 c =============================================================================== 9.45/9.51 c core #300 9.45/9.51 c Core size: 99 Core Weight: 1 Total Weight: -200 9.45/9.51 c Elapsed CPU time: 9.27459 s Remaining CPU time: 1790.73 s 9.45/9.54 c ============================[ Search Statistics ]============================== 9.45/9.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.45/9.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.45/9.54 c =============================================================================== 9.45/9.54 c | 0 | 1512 17506 41063 | 5835 0 nan | 0.000 % | 9.45/9.54 c =============================================================================== 9.45/9.54 c core #301 9.45/9.54 c Core size: 142 Core Weight: 1 Total Weight: -199 9.45/9.54 c Elapsed CPU time: 9.31158 s Remaining CPU time: 1790.69 s 9.45/9.57 c ============================[ Search Statistics ]============================== 9.45/9.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.45/9.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.45/9.57 c =============================================================================== 9.45/9.57 c | 0 | 1560 17507 41159 | 5835 0 nan | 0.000 % | 9.45/9.58 c | 100 | 1560 17507 41159 | 6419 100 23 | 83.427 % | 9.45/9.59 c | 252 | 1560 17507 41159 | 7061 252 42 | 83.427 % | 9.55/9.61 c | 477 | 1560 17507 41159 | 7767 477 57 | 83.427 % | 9.55/9.62 c =============================================================================== 9.55/9.62 c core #302 9.55/9.62 c Core size: 462 Core Weight: 1 Total Weight: -198 9.55/9.62 c Elapsed CPU time: 9.38557 s Remaining CPU time: 1790.61 s 9.55/9.66 c ============================[ Search Statistics ]============================== 9.55/9.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.55/9.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.55/9.66 c =============================================================================== 9.55/9.66 c | 0 | 1669 17508 41377 | 5836 0 nan | 0.000 % | 9.55/9.67 c | 101 | 1669 17508 41377 | 6419 101 54 | 82.472 % | 9.55/9.68 c | 252 | 1669 17508 41377 | 7061 252 55 | 82.472 % | 9.65/9.70 c | 477 | 1669 17508 41377 | 7767 477 66 | 82.472 % | 9.65/9.71 c =============================================================================== 9.65/9.71 c core #303 9.65/9.71 c Core size: 377 Core Weight: 1 Total Weight: -197 9.65/9.71 c Elapsed CPU time: 9.47156 s Remaining CPU time: 1790.53 s 9.65/9.74 c ============================[ Search Statistics ]============================== 9.65/9.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.65/9.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.65/9.74 c =============================================================================== 9.65/9.74 c | 0 | 1765 17509 41569 | 5836 0 nan | 0.000 % | 9.65/9.75 c | 101 | 1765 17509 41569 | 6419 101 24 | 81.649 % | 9.65/9.76 c | 252 | 1764 17509 41569 | 7061 252 22 | 81.659 % | 9.65/9.77 c | 480 | 1625 17509 41569 | 7768 334 24 | 83.105 % | 9.65/9.78 c =============================================================================== 9.65/9.78 c core #304 9.65/9.78 c Core size: 276 Core Weight: 1 Total Weight: -196 9.65/9.78 c Elapsed CPU time: 9.54255 s Remaining CPU time: 1790.46 s 9.75/9.82 c ============================[ Search Statistics ]============================== 9.75/9.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.75/9.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.75/9.82 c =============================================================================== 9.75/9.82 c | 0 | 1845 17510 41729 | 5836 0 nan | 0.000 % | 9.75/9.83 c | 102 | 1845 17510 41729 | 6420 102 27 | 80.975 % | 9.75/9.83 c | 252 | 1845 17510 41729 | 7062 252 23 | 80.975 % | 9.75/9.85 c | 478 | 1845 17510 41729 | 7768 478 25 | 80.975 % | 9.75/9.87 c | 815 | 1845 17510 41729 | 8545 815 30 | 80.975 % | 9.85/9.91 c | 1321 | 1808 17510 41729 | 9400 751 24 | 81.357 % | 9.85/9.93 c =============================================================================== 9.85/9.94 c core #305 9.85/9.94 c Core size: 494 Core Weight: 1 Total Weight: -195 9.85/9.94 c Elapsed CPU time: 9.69753 s Remaining CPU time: 1790.3 s 9.85/9.98 c ============================[ Search Statistics ]============================== 9.85/9.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.85/9.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.85/9.98 c =============================================================================== 9.85/9.98 c | 0 | 1942 17511 41923 | 5837 0 nan | 0.000 % | 9.85/9.99 c | 100 | 1942 17511 41923 | 6420 100 145 | 80.174 % | 9.94/10.00 c | 251 | 1942 17511 41923 | 7062 251 77 | 80.174 % | 9.94/10.01 c | 477 | 1942 17511 41923 | 7769 477 53 | 80.174 % | 9.94/10.03 c | 814 | 1942 17511 41923 | 8545 814 41 | 80.174 % | 9.94/10.08 c | 1321 | 1942 17511 41923 | 9400 1321 51 | 80.174 % | 10.05/10.16 c | 2080 | 1941 17511 41923 | 10340 2076 64 | 80.184 % | 10.25/10.39 c | 3221 | 1941 17511 41923 | 11374 3217 104 | 80.184 % | 10.75/10.89 c =============================================================================== 10.85/10.93 c core #306 10.85/10.93 c Core size: 697 Core Weight: 1 Total Weight: -194 10.85/10.93 c Elapsed CPU time: 10.6664 s Remaining CPU time: 1789.33 s 10.85/10.97 c ============================[ Search Statistics ]============================== 10.85/10.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.85/10.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.85/10.97 c =============================================================================== 10.85/10.97 c | 0 | 2069 17512 42177 | 5837 0 nan | 0.000 % | 10.85/10.98 c | 100 | 2069 17512 42177 | 6421 100 39 | 79.147 % | 10.85/10.99 c | 252 | 2069 17512 42177 | 7063 252 37 | 79.147 % | 10.95/11.00 c | 477 | 2069 17512 42177 | 7769 477 37 | 79.147 % | 10.95/11.03 c | 815 | 2069 17512 42177 | 8546 815 35 | 79.147 % | 10.95/11.05 c =============================================================================== 10.95/11.05 c core #307 10.95/11.05 c Core size: 394 Core Weight: 1 Total Weight: -193 10.95/11.05 c Elapsed CPU time: 10.7784 s Remaining CPU time: 1789.22 s 10.95/11.09 c ============================[ Search Statistics ]============================== 10.95/11.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.95/11.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.95/11.09 c =============================================================================== 10.95/11.09 c | 0 | 2152 17513 42343 | 5837 0 nan | 0.000 % | 11.04/11.10 c | 101 | 2152 17513 42343 | 6421 101 90 | 78.491 % | 11.04/11.11 c | 251 | 2152 17513 42343 | 7063 251 55 | 78.491 % | 11.04/11.12 c | 476 | 2152 17513 42343 | 7769 476 52 | 78.491 % | 11.04/11.15 c | 815 | 2152 17513 42343 | 8546 815 49 | 78.491 % | 11.15/11.20 c | 1321 | 2152 17513 42343 | 9401 1321 58 | 78.491 % | 11.25/11.31 c | 2080 | 2152 17513 42343 | 10341 2080 83 | 78.491 % | 11.45/11.50 c | 3221 | 2152 17513 42343 | 11375 3221 84 | 78.491 % | 11.84/11.97 c | 4930 | 2152 17513 42343 | 12513 4930 121 | 78.491 % | 12.44/12.58 c | 7496 | 2152 17513 42343 | 13764 7496 122 | 78.491 % | 13.95/14.06 c | 11342 | 2150 17513 42343 | 15141 11175 144 | 78.511 % | 15.95/16.07 c =============================================================================== 16.15/16.22 c core #308 16.15/16.22 c Core size: 808 Core Weight: 1 Total Weight: -192 16.15/16.22 c Elapsed CPU time: 15.8976 s Remaining CPU time: 1784.1 s 16.15/16.27 c ============================[ Search Statistics ]============================== 16.15/16.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.15/16.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.15/16.28 c =============================================================================== 16.15/16.28 c | 0 | 2299 17514 42637 | 5838 0 nan | 0.000 % | 16.15/16.29 c | 101 | 2299 17514 42637 | 6421 101 43 | 77.354 % | 16.15/16.30 c | 251 | 2299 17514 42637 | 7063 251 28 | 77.354 % | 16.24/16.31 c | 476 | 2299 17514 42637 | 7770 476 29 | 77.354 % | 16.24/16.33 c | 813 | 2299 17514 42637 | 8547 813 33 | 77.354 % | 16.24/16.37 c | 1322 | 2298 17514 42637 | 9402 1319 34 | 77.364 % | 16.35/16.45 c | 2082 | 2298 17514 42637 | 10342 2079 54 | 77.364 % | 16.55/16.64 c | 3222 | 2298 17514 42637 | 11376 3219 87 | 77.364 % | 16.85/16.98 c | 4930 | 2298 17514 42637 | 12514 4927 114 | 77.364 % | 17.05/17.16 c =============================================================================== 17.15/17.21 c core #309 17.15/17.21 c Core size: 731 Core Weight: 1 Total Weight: -191 17.15/17.21 c Elapsed CPU time: 16.8714 s Remaining CPU time: 1783.13 s 17.15/17.25 c ============================[ Search Statistics ]============================== 17.15/17.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.15/17.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.15/17.25 c =============================================================================== 17.15/17.25 c | 0 | 2425 17515 42889 | 5838 0 nan | 0.000 % | 17.15/17.26 c | 101 | 2425 17515 42889 | 6422 101 148 | 76.406 % | 17.15/17.28 c | 253 | 2425 17515 42889 | 7064 253 71 | 76.406 % | 17.15/17.29 c | 480 | 2425 17515 42889 | 7770 480 56 | 76.406 % | 17.24/17.32 c | 819 | 2425 17515 42889 | 8547 819 54 | 76.406 % | 17.24/17.37 c | 1326 | 2425 17515 42889 | 9402 1326 71 | 76.406 % | 17.35/17.46 c | 2087 | 2425 17515 42889 | 10342 2087 76 | 76.406 % | 17.54/17.65 c | 3230 | 2425 17515 42889 | 11377 3230 96 | 76.406 % | 17.84/17.95 c | 4941 | 2425 17515 42889 | 12514 4941 92 | 76.406 % | 18.44/18.50 c | 7504 | 2425 17515 42889 | 13766 7504 97 | 76.406 % | 19.84/19.95 c | 11350 | 2425 17515 42889 | 15143 11350 116 | 76.406 % | 22.64/22.77 c | 17117 | 2425 17515 42889 | 16657 17117 143 | 76.406 % | 28.13/28.26 c =============================================================================== 28.43/28.59 c core #310 28.43/28.59 c Core size: 718 Core Weight: 1 Total Weight: -190 28.43/28.59 c Elapsed CPU time: 28.1907 s Remaining CPU time: 1771.81 s 28.53/28.66 c ============================[ Search Statistics ]============================== 28.53/28.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.53/28.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.53/28.66 c =============================================================================== 28.53/28.66 c | 0 | 2533 17516 43105 | 5838 0 nan | 0.000 % | 28.53/28.67 c | 102 | 2533 17516 43105 | 6422 102 28 | 75.611 % | 28.53/28.68 c | 252 | 2533 17516 43105 | 7064 252 19 | 75.611 % | 28.53/28.69 c | 478 | 2533 17516 43105 | 7771 478 18 | 75.611 % | 28.63/28.71 c | 815 | 2533 17516 43105 | 8548 815 20 | 75.611 % | 28.63/28.74 c | 1321 | 2533 17516 43105 | 9403 1321 25 | 75.611 % | 28.73/28.81 c | 2081 | 2533 17516 43105 | 10343 2081 36 | 75.611 % | 28.83/28.91 c | 3221 | 2533 17516 43105 | 11377 3221 37 | 75.611 % | 29.03/29.11 c | 4929 | 2533 17516 43105 | 12515 4929 47 | 75.611 % | 29.23/29.34 c =============================================================================== 29.23/29.39 c core #311 29.23/29.39 c Core size: 497 Core Weight: 1 Total Weight: -189 29.23/29.39 c Elapsed CPU time: 28.9716 s Remaining CPU time: 1771.03 s 29.33/29.43 c ============================[ Search Statistics ]============================== 29.33/29.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 29.33/29.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 29.33/29.43 c =============================================================================== 29.33/29.43 c | 0 | 2625 17517 43289 | 5839 0 nan | 0.000 % | 29.33/29.45 c | 102 | 2625 17517 43289 | 6422 102 90 | 74.948 % | 29.33/29.46 c | 256 | 2625 17517 43289 | 7065 256 53 | 74.948 % | 29.33/29.48 c | 481 | 2625 17517 43289 | 7771 481 43 | 74.948 % | 29.42/29.50 c | 818 | 2625 17517 43289 | 8548 818 44 | 74.948 % | 29.42/29.54 c | 1324 | 2625 17517 43289 | 9403 1324 50 | 74.948 % | 29.53/29.62 c | 2083 | 2625 17517 43289 | 10344 2083 58 | 74.948 % | 29.72/29.82 c | 3227 | 2625 17517 43289 | 11378 3227 81 | 74.948 % | 30.12/30.28 c | 4935 | 2625 17517 43289 | 12516 4935 110 | 74.948 % | 31.33/31.42 c | 7497 | 2625 17517 43289 | 13768 7497 147 | 74.948 % | 32.72/32.88 c | 11341 | 2625 17517 43289 | 15144 11341 147 | 74.948 % | 35.93/36.06 c | 17107 | 2625 17517 43289 | 16659 17107 141 | 74.948 % | 44.22/44.31 c | 25758 | 2625 17517 43289 | 18325 13437 166 | 74.948 % | 51.92/52.03 c | 38736 | 2625 17517 43289 | 20157 13236 111 | 74.948 % | 64.81/65.00 c | 58197 | 2625 17517 43289 | 22173 18665 192 | 74.948 % | 87.60/87.76 c | 87389 | 2625 17517 43289 | 24390 15713 128 | 74.948 % | 125.98/126.13 c | 131179 | 2625 17517 43289 | 26830 23045 332 | 74.948 % | 144.97/145.10 c =============================================================================== 147.57/147.74 c core #312 147.57/147.74 c Core size: 1066 Core Weight: 1 Total Weight: -188 147.57/147.74 c Elapsed CPU time: 146.643 s Remaining CPU time: 1653.36 s 147.77/147.94 c ============================[ Search Statistics ]============================== 147.77/147.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 147.77/147.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 147.77/147.94 c =============================================================================== 147.77/147.94 c | 0 | 2770 17518 43579 | 5839 0 nan | 0.000 % | 147.77/147.98 c | 100 | 2770 17518 43579 | 6423 100 94 | 73.925 % | 147.77/147.99 c | 251 | 2770 17518 43579 | 7065 251 63 | 73.925 % | 147.87/148.01 c | 476 | 2770 17518 43579 | 7772 476 60 | 73.925 % | 147.87/148.04 c | 814 | 2770 17518 43579 | 8549 814 61 | 73.925 % | 147.87/148.08 c | 1321 | 2770 17518 43579 | 9404 1321 63 | 73.925 % | 147.98/148.18 c | 2081 | 2770 17518 43579 | 10344 2081 79 | 73.925 % | 148.17/148.35 c | 3221 | 2770 17518 43579 | 11379 3221 85 | 73.925 % | 148.57/148.78 c | 4930 | 2770 17518 43579 | 12517 4930 109 | 73.925 % | 149.27/149.43 c | 7492 | 2770 17518 43579 | 13768 7492 114 | 73.925 % | 150.97/151.16 c | 11338 | 2770 17518 43579 | 15145 11338 139 | 73.925 % | 156.96/157.18 c | 17111 | 2770 17518 43579 | 16660 17111 171 | 73.925 % | 161.96/162.10 c | 25760 | 2770 17518 43579 | 18326 13351 154 | 73.925 % | 169.66/169.88 c | 38734 | 2770 17518 43579 | 20158 26325 146 | 73.925 % | 182.55/182.75 c | 58201 | 2770 17518 43579 | 22174 15949 139 | 73.925 % | 204.73/204.93 c | 87393 | 2770 17518 43579 | 24392 27583 213 | 73.925 % | 257.20/257.42 c | 131188 | 2770 17518 43579 | 26831 14638 204 | 73.925 % | 301.38/301.62 c =============================================================================== 304.28/304.51 c core #313 304.28/304.51 c Core size: 820 Core Weight: 1 Total Weight: -187 304.28/304.51 c Elapsed CPU time: 302.699 s Remaining CPU time: 1497.3 s 304.48/304.75 c ============================[ Search Statistics ]============================== 304.48/304.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 304.48/304.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 304.48/304.75 c =============================================================================== 304.48/304.75 c | 0 | 2893 17519 43825 | 5839 0 nan | 0.000 % | 304.59/304.80 c | 101 | 2893 17519 43825 | 6423 101 38 | 73.078 % | 304.59/304.81 c | 251 | 2893 17519 43825 | 7065 251 50 | 73.078 % | 304.59/304.83 c | 476 | 2893 17519 43825 | 7772 476 74 | 73.078 % | 304.59/304.85 c | 813 | 2893 17519 43825 | 8549 813 60 | 73.078 % | 304.59/304.89 c | 1319 | 2893 17519 43825 | 9404 1319 52 | 73.078 % | 304.69/304.95 c | 2079 | 2893 17519 43825 | 10345 2079 49 | 73.078 % | 304.88/305.13 c | 3220 | 2893 17519 43825 | 11379 3220 75 | 73.078 % | 305.18/305.44 c | 4930 | 2893 17519 43825 | 12517 4930 88 | 73.078 % | 305.88/306.13 c | 7492 | 2893 17519 43825 | 13769 7492 118 | 73.078 % | 307.29/307.52 c | 11337 | 2893 17519 43825 | 15146 11337 130 | 73.078 % | 310.69/310.96 c | 17104 | 2893 17519 43825 | 16661 17104 165 | 73.078 % | 318.48/318.78 c | 25754 | 2893 17519 43825 | 18327 13338 219 | 73.078 % | 329.68/329.91 c | 38729 | 2893 17519 43825 | 20160 26313 196 | 73.078 % | 349.07/349.40 c | 58190 | 2893 17519 43825 | 22176 16913 193 | 73.078 % | 380.86/381.12 c | 87384 | 2893 17519 43825 | 24393 28821 231 | 73.078 % | 443.23/443.50 c | 131174 | 2893 17519 43825 | 26833 18415 405 | 73.078 % | 521.68/522.03 c | 196868 | 2893 17519 43825 | 29516 21901 381 | 73.078 % | 636.74/637.11 c | 295394 | 2893 17519 43825 | 32468 28016 192 | 73.078 % | 733.11/733.51 c =============================================================================== 737.42/737.88 c core #314 737.42/737.88 c Core size: 947 Core Weight: 1 Total Weight: -186 737.42/737.88 c Elapsed CPU time: 734.177 s Remaining CPU time: 1065.82 s 737.91/738.32 c ============================[ Search Statistics ]============================== 737.91/738.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 737.91/738.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 737.91/738.32 c =============================================================================== 737.91/738.32 c | 0 | 3023 17520 44085 | 5840 0 nan | 0.000 % | 738.01/738.41 c | 102 | 3023 17520 44085 | 6424 102 44 | 72.205 % | 738.01/738.42 c | 252 | 3023 17520 44085 | 7066 252 36 | 72.205 % | 738.01/738.43 c | 478 | 3023 17520 44085 | 7773 478 38 | 72.205 % | 738.01/738.46 c | 815 | 3023 17520 44085 | 8550 815 49 | 72.205 % | 738.11/738.50 c | 1321 | 3023 17520 44085 | 9405 1321 60 | 72.205 % | 738.11/738.58 c | 2082 | 3023 17520 44085 | 10345 2082 61 | 72.205 % | 738.31/738.71 c | 3221 | 3023 17520 44085 | 11380 3221 70 | 72.205 % | 738.51/738.96 c | 4929 | 3023 17520 44085 | 12518 4929 82 | 72.205 % | 739.11/739.50 c | 7492 | 3023 17520 44085 | 13770 7492 89 | 72.205 % | 740.21/740.66 c | 11338 | 3023 17520 44085 | 15147 11338 101 | 72.205 % | 743.01/743.43 c | 17105 | 3023 17520 44085 | 16662 17105 116 | 72.205 % | 751.10/751.57 c | 25760 | 3023 17520 44085 | 18328 13366 177 | 72.205 % | 764.30/764.80 c | 38734 | 3023 17520 44085 | 20161 26340 238 | 72.205 % | 778.49/778.93 c | 58199 | 3023 17520 44085 | 22177 16051 267 | 72.205 % | 807.60/808.09 c | 87392 | 3023 17520 44085 | 24395 28801 204 | 72.205 % | 846.38/846.86 c | 131181 | 3023 17520 44085 | 26834 17319 163 | 72.205 % | 901.76/902.22 c | 196865 | 3023 17520 44085 | 29518 21195 177 | 72.205 % | 1023.63/1024.17 c | 295392 | 3023 17520 44085 | 32469 27425 330 | 72.205 % | 1258.47/1259.08 c =============================================================================== 1269.67/1270.23 c core #315 1269.67/1270.23 c Core size: 925 Core Weight: 1 Total Weight: -185 1269.67/1270.23 c Elapsed CPU time: 1264.28 s Remaining CPU time: 535.723 s 1270.16/1270.79 c ============================[ Search Statistics ]============================== 1270.16/1270.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 1270.16/1270.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1270.16/1270.79 c =============================================================================== 1270.16/1270.79 c | 0 | 3170 17521 44379 | 5840 0 nan | 0.000 % | 1270.26/1270.88 c | 101 | 3170 17521 44379 | 6424 101 46 | 71.242 % | 1270.26/1270.89 c | 251 | 3170 17521 44379 | 7066 251 36 | 71.242 % | 1270.36/1270.94 c | 477 | 3170 17521 44379 | 7773 477 38 | 71.242 % | 1270.36/1270.97 c | 815 | 3170 17521 44379 | 8550 815 40 | 71.242 % | 1270.47/1271.01 c | 1321 | 3170 17521 44379 | 9405 1321 42 | 71.242 % | 1270.47/1271.09 c | 2081 | 3170 17521 44379 | 10346 2081 47 | 71.242 % | 1270.67/1271.24 c | 3220 | 3170 17521 44379 | 11381 3220 67 | 71.242 % | 1270.97/1271.59 c | 4928 | 3170 17521 44379 | 12519 4928 85 | 71.242 % | 1271.66/1272.30 c | 7491 | 3170 17521 44379 | 13771 7491 111 | 71.242 % | 1273.47/1274.03 c | 11335 | 3170 17521 44379 | 15148 11335 143 | 71.242 % | 1276.86/1277.48 c | 17103 | 3170 17521 44379 | 16663 17103 155 | 71.242 % | 1288.26/1288.85 c | 25753 | 3170 17521 44379 | 18329 13386 243 | 71.242 % | 1302.65/1303.22 c | 38730 | 3170 17521 44379 | 20162 26363 244 | 71.242 % | 1325.05/1325.67 c | 58194 | 3170 17521 44379 | 22178 16496 250 | 71.242 % | 1359.65/1360.22 c | 87387 | 3170 17521 44379 | 24396 28612 279 | 71.242 % | 1407.23/1407.84 c | 131176 | 3170 17521 44379 | 26836 18848 208 | 71.242 % | 1496.20/1496.89 c | 196861 | 3170 17521 44379 | 29519 22478 403 | 71.242 % | 1606.57/1607.20 c | 295387 | 3170 17521 44379 | 32471 25430 299 | 71.242 % |
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-1875342-1245199943/watcher-1875342-1245199943 -o /tmp/evaluation-result-1875342-1245199943/solver-1875342-1245199943 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875342-1245199943.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7903 /proc/meminfo: memFree=1826888/2055920 swapFree=4191900/4192956 [pid=7903] ppid=7901 vsize=3456 CPUtime=0 /proc/7903/stat : 7903 (wbo) R 7901 7903 6874 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 187594375 3538944 242 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0 /proc/7903/statm: 864 242 125 292 0 406 0 [startup+0.042828 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7903 /proc/meminfo: memFree=1826888/2055920 swapFree=4191900/4192956 [pid=7903] ppid=7901 vsize=5144 CPUtime=0.03 /proc/7903/stat : 7903 (wbo) R 7901 7903 6874 0 -1 4194304 714 0 0 0 3 0 0 0 18 0 1 0 187594375 5267456 698 1992294400 134512640 135709839 4294956240 18446744073709551615 134544743 0 0 4096 3 0 0 0 17 1 0 0 /proc/7903/statm: 1286 698 178 292 0 828 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5144 [startup+0.101834 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7903 /proc/meminfo: memFree=1826888/2055920 swapFree=4191900/4192956 [pid=7903] ppid=7901 vsize=5936 CPUtime=0.09 /proc/7903/stat : 7903 (wbo) R 7901 7903 6874 0 -1 4194304 1002 0 0 0 9 0 0 0 18 0 1 0 187594375 6078464 986 1992294400 134512640 135709839 4294956240 18446744073709551615 134544743 0 0 4096 3 0 0 0 17 1 0 0 /proc/7903/statm: 1484 987 281 292 0 1026 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5936 [startup+0.301856 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7903 /proc/meminfo: memFree=1826888/2055920 swapFree=4191900/4192956 [pid=7903] ppid=7901 vsize=11332 CPUtime=0.29 /proc/7903/stat : 7903 (wbo) R 7901 7903 6874 0 -1 4194304 2743 0 0 0 28 1 0 0 19 0 1 0 187594375 11603968 2368 1992294400 134512640 135709839 4294956240 18446744073709551615 134572396 0 0 4096 3 0 0 0 17 1 0 0 /proc/7903/statm: 2833 2368 134 292 0 2538 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11332 [startup+0.701902 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7903 /proc/meminfo: memFree=1826888/2055920 swapFree=4191900/4192956 [pid=7903] ppid=7901 vsize=18248 CPUtime=0.69 /proc/7903/stat : 7903 (wbo) R 7901 7903 6874 0 -1 4194304 4451 0 0 0 67 2 0 0 22 0 1 0 187594375 18685952 4076 1992294400 134512640 135709839 4294956240 18446744073709551615 135168133 0 0 4096 3 0 0 0 17 1 0 0 /proc/7903/statm: 4562 4076 134 292 0 4267 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18248 [startup+1.50919 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7904 /proc/meminfo: memFree=1805760/2055920 swapFree=4191900/4192956 [pid=7903] ppid=7901 vsize=31940 CPUtime=1.49 /proc/7903/stat : 7903 (wbo) R 7901 7903 6874 0 -1 4194304 7879 0 0 0 145 4 0 0 25 0 1 0 187594375 32706560 7504 1992294400 134512640 135709839 4294956240 18446744073709551615 135166979 0 0 4096 3 0 0 0 17 1 0 0 /proc/7903/statm: 7985 7504 134 292 0 7690 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 31940 [startup+3.10137 s] /proc/loadavg: 1.00 1.00 1.00 3/65 7904 /proc/meminfo: memFree=1775680/2055920 swapFree=4191900/4192956 [pid=7903] ppid=7901 vsize=58560 CPUtime=3.08 /proc/7903/stat : 7903 (wbo) R 7901 7903 6874 0 -1 4194304 14548 0 0 0 301 7 0 0 25 0 1 0 187594375 59965440 14173 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 0 0 0 /proc/7903/statm: 14640 14173 134 292 0 14345 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 58560 [startup+6.30174 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7904 /proc/meminfo: memFree=1718784/2055920 swapFree=4191900/4192956 [pid=7903] ppid=7901 vsize=113164 CPUtime=6.26 /proc/7903/stat : 7903 (wbo) R 7901 7903 6874 0 -1 4194304 28191 0 0 0 613 13 0 0 25 0 1 0 187594375 115879936 27816 1992294400 134512640 135709839 4294956240 18446744073709551615 134532037 0 0 4096 3 0 0 0 17 0 0 0 /proc/7903/statm: 28291 27816 134 292 0 27996 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 113164 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7904 /proc/meminfo: memFree=1654224/2055920 swapFree=4191900/4192956 [pid=7903] ppid=7901 vsize=174480 CPUtime=12.65 /proc/7903/stat : 7903 (wbo) R 7901 7903 6874 0 -1 4194304 43617 0 0 0 1240 25 0 0 25 0 1 0 187594375 178667520 43134 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/7903/statm: 43620 43134 136 292 0 43325 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 174480 [startup+25.5029 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7904 /proc/meminfo: memFree=1641616/2055920 swapFree=4191900/4192956 [pid=7903] ppid=7901 vsize=188276 CPUtime=25.43 /proc/7903/stat : 7903 (wbo) R 7901 7903 6874 0 -1 4194304 47084 0 0 0 2510 33 0 0 25 0 1 0 187594375 192794624 46601 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/7903/statm: 47069 46601 136 292 0 46774 0 Current children cumulated CPU time (s) 25.43 Current children cumulated vsize (KiB) 188276 [startup+51.1019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7906 /proc/meminfo: memFree=1615440/2055920 swapFree=4191900/4192956 [pid=7903] ppid=7901 vsize=214640 CPUtime=51.02 /proc/7903/stat : 7903 (wbo) R 7901 7903 6874 0 -1 4194304 53675 0 0 0 5055 47 0 0 25 0 1 0 187594375 219791360 53192 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0 /proc/7903/statm: 53660 53192 136 292 0 53365 0 Current children cumulated CPU time (s) 51.02 Current children cumulated vsize (KiB) 214640 [startup+102.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7906 /proc/meminfo: memFree=1538512/2055920 swapFree=4191900/4192956 [pid=7903] ppid=7901 vsize=290972 CPUtime=102.2 /proc/7903/stat : 7903 (wbo) R 7901 7903 6874 0 -1 4194304 72743 0 0 0 10145 75 0 0 25 0 1 0 187594375 297955328 72260 1992294400 134512640 135709839 4294956240 18446744073709551615 134573862 0 0 4096 3 0 0 0 17 0 0 0 /proc/7903/statm: 72743 72260 136 292 0 72448 0 Current children cumulated CPU time (s) 102.2 Current children cumulated vsize (KiB) 290972 [startup+162.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7906 /proc/meminfo: memFree=1467728/2055920 swapFree=4191900/4192956 [pid=7903] ppid=7901 vsize=360744 CPUtime=162.16 /proc/7903/stat : 7903 (wbo) R 7901 7903 6874 0 -1 4194304 90136 0 0 0 16112 104 0 0 25 0 1 0 187594375 369401856 89653 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/7903/statm: 90186 89653 136 292 0 89891 0 Current children cumulated CPU time (s) 162.16 Current children cumulated vsize (KiB) 360744 [startup+222.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7906 /proc/meminfo: memFree=1429392/2055920 swapFree=4191900/4192956 [pid=7903] ppid=7901 vsize=399620 CPUtime=222.13 /proc/7903/stat : 7903 (wbo) R 7901 7903 6874 0 -1 4194304 99846 0 0 0 22089 124 0 0 25 0 1 0 187594375 409210880 99363 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/7903/statm: 99905 99363 136 292 0 99610 0 Current children cumulated CPU time (s) 222.13 Current children cumulated vsize (KiB) 399620 [startup+282.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7906 /proc/meminfo: memFree=1344336/2055920 swapFree=4191900/4192956 [pid=7903] ppid=7901 vsize=484088 CPUtime=282.09 /proc/7903/stat : 7903 (wbo) R 7901 7903 6874 0 -1 4194304 120945 0 0 0 28058 151 0 0 25 0 1 0 187594375 495706112 120462 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/7903/statm: 121022 120462 136 292 0 120727 0 Current children cumulated CPU time (s) 282.09 Current children cumulated vsize (KiB) 484088 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7906 /proc/meminfo: memFree=1313680/2055920 swapFree=4191900/4192956 [pid=7903] ppid=7901 vsize=514332 CPUtime=342.06 /proc/7903/stat : 7903 (wbo) R 7901 7903 6874 0 -1 4194304 128548 0 0 0 34033 173 0 0 25 0 1 0 187594375 526675968 128065 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 0 0 0 /proc/7903/statm: 128583 128065 136 292 0 128288 0 Current children cumulated CPU time (s) 342.06 Current children cumulated vsize (KiB) 514332 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7906 /proc/meminfo: memFree=1267408/2055920 swapFree=4191900/4192956 [pid=7903] ppid=7901 vsize=560808 CPUtime=402.05 /proc/7903/stat : 7903 (wbo) R 7901 7903 6874 0 -1 4194304 140185 0 0 0 40011 194 0 0 25 0 1 0 187594375 574267392 139702 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/7903/statm: 140202 139702 136 292 0 139907 0 Current children cumulated CPU time (s) 402.05 Current children cumulated vsize (KiB) 560808 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7906 /proc/meminfo: memFree=1182608/2055920 swapFree=4191900/4192956 [pid=7903] ppid=7901 vsize=646120 CPUtime=462.03 /proc/7903/stat : 7903 (wbo) R 7901 7903 6874 0 -1 4194304 161475 0 0 0 45985 218 0 0 25 0 1 0 187594375 661626880 160992 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0 /proc/7903/statm: 161530 160992 136 292 0 161235 0 Current children cumulated CPU time (s) 462.03 Current children cumulated vsize (KiB) 646120 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7912 /proc/meminfo: memFree=1102280/2055920 swapFree=4191900/4192956 [pid=7903] ppid=7901 vsize=725852 CPUtime=521.98 /proc/7903/stat : 7903 (wbo) R 7901 7903 6874 0 -1 4194304 181406 0 0 0 51956 242 0 0 25 0 1 0 187594375 743272448 180923 1992294400 134512640 135709839 4294956240 18446744073709551615 134517521 0 0 4096 3 0 0 0 17 0 0 0 /proc/7903/statm: 181463 180923 136 292 0 181168 0 Current children cumulated CPU time (s) 521.98 Current children cumulated vsize (KiB) 725852 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7912 /proc/meminfo: memFree=1030032/2055920 swapFree=4191900/4192956 [pid=7903] ppid=7901 vsize=798776 CPUtime=581.96 /proc/7903/stat : 7903 (wbo) R 7901 7903 6874 0 -1 4194304 199599 0 0 0 57929 267 0 0 25 0 1 0 187594375 817946624 199116 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/7903/statm: 199694 199116 136 292 0 199399 0 Current children cumulated CPU time (s) 581.96 Current children cumulated vsize (KiB) 798776 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7912 /proc/meminfo: memFree=971152/2055920 swapFree=4191900/4192956 [pid=7903] ppid=7901 vsize=857016 CPUtime=641.94 /proc/7903/stat : 7903 (wbo) R 7901 7903 6874 0 -1 4194304 214132 0 0 0 63901 293 0 0 25 0 1 0 187594375 877584384 213649 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0 /proc/7903/statm: 214254 213649 136 292 0 213959 0 Current children cumulated CPU time (s) 641.94 Current children cumulated vsize (KiB) 857016 [startup+702.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7912 /proc/meminfo: memFree=904016/2055920 swapFree=4191900/4192956 [pid=7903] ppid=7901 vsize=924408 CPUtime=701.93 /proc/7903/stat : 7903 (wbo) R 7901 7903 6874 0 -1 4194304 231001 0 0 0 69872 321 0 0 25 0 1 0 187594375 946593792 230518 1992294400 134512640 135709839 4294956240 18446744073709551615 134573852 0 0 4096 3 0 0 0 17 0 0 0 /proc/7903/statm: 231102 230518 136 292 0 230807 0 Current children cumulated CPU time (s) 701.93 Current children cumulated vsize (KiB) 924408 [startup+762.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7912 /proc/meminfo: memFree=871632/2055920 swapFree=4191900/4192956 [pid=7903] ppid=7901 vsize=955412 CPUtime=761.9 /proc/7903/stat : 7903 (wbo) R 7901 7903 6874 0 -1 4194304 238833 0 0 0 75848 342 0 0 25 0 1 0 187594375 978341888 238350 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/7903/statm: 238853 238350 136 292 0 238558 0 Current children cumulated CPU time (s) 761.9 Current children cumulated vsize (KiB) 955412 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7912 /proc/meminfo: memFree=819664/2055920 swapFree=4191900/4192956 [pid=7903] ppid=7901 vsize=1007280 CPUtime=821.89 /proc/7903/stat : 7903 (wbo) R 7901 7903 6874 0 -1 4194304 251806 0 0 0 81821 368 0 0 25 0 1 0 187594375 1031454720 251323 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 0 0 0 /proc/7903/statm: 251820 251323 136 292 0 251525 0 Current children cumulated CPU time (s) 821.89 Current children cumulated vsize (KiB) 1007280 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7912 /proc/meminfo: memFree=767760/2055920 swapFree=4191900/4192956 [pid=7903] ppid=7901 vsize=1059876 CPUtime=881.87 /proc/7903/stat : 7903 (wbo) R 7901 7903 6874 0 -1 4194304 264939 0 0 0 87788 399 0 0 25 0 1 0 187594375 1085313024 264456 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/7903/statm: 264969 264456 136 292 0 264674 0 Current children cumulated CPU time (s) 881.87 Current children cumulated vsize (KiB) 1059876 [startup+942.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7912 /proc/meminfo: memFree=716240/2055920 swapFree=4191900/4192956 [pid=7903] ppid=7901 vsize=1110764 CPUtime=941.86 /proc/7903/stat : 7903 (wbo) R 7901 7903 6874 0 -1 4194304 277629 0 0 0 93760 426 0 0 25 0 1 0 187594375 1137422336 277146 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/7903/statm: 277691 277146 136 292 0 277396 0 Current children cumulated CPU time (s) 941.86 Current children cumulated vsize (KiB) 1110764 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7912 /proc/meminfo: memFree=656272/2055920 swapFree=4191900/4192956 [pid=7903] ppid=7901 vsize=1171560 CPUtime=1001.84 /proc/7903/stat : 7903 (wbo) R 7901 7903 6874 0 -1 4194304 292802 0 0 0 99733 451 0 0 25 0 1 0 187594375 1199677440 292319 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/7903/statm: 292890 292319 136 292 0 292595 0 Current children cumulated CPU time (s) 1001.84 Current children cumulated vsize (KiB) 1171560 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7912 /proc/meminfo: memFree=581328/2055920 swapFree=4191900/4192956 [pid=7903] ppid=7901 vsize=1245888 CPUtime=1061.82 /proc/7903/stat : 7903 (wbo) R 7901 7903 6874 0 -1 4194304 311355 0 0 0 105708 474 0 0 25 0 1 0 187594375 1275789312 310872 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 0 0 0 /proc/7903/statm: 311472 310872 136 292 0 311177 0 Current children cumulated CPU time (s) 1061.82 Current children cumulated vsize (KiB) 1245888 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7912 /proc/meminfo: memFree=512656/2055920 swapFree=4191900/4192956 [pid=7903] ppid=7901 vsize=1315004 CPUtime=1121.81 /proc/7903/stat : 7903 (wbo) R 7901 7903 6874 0 -1 4194304 328605 0 0 0 111689 492 0 0 25 0 1 0 187594375 1346564096 328122 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 0 0 0 /proc/7903/statm: 328751 328122 136 292 0 328456 0 Current children cumulated CPU time (s) 1121.81 Current children cumulated vsize (KiB) 1315004 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7912 /proc/meminfo: memFree=445968/2055920 swapFree=4191900/4192956 [pid=7903] ppid=7901 vsize=1381492 CPUtime=1181.79 /proc/7903/stat : 7903 (wbo) R 7901 7903 6874 0 -1 4194304 345149 0 0 0 117669 510 0 0 25 0 1 0 187594375 1414647808 344666 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 0 0 0 /proc/7903/statm: 345373 344666 136 292 0 345078 0 Current children cumulated CPU time (s) 1181.79 Current children cumulated vsize (KiB) 1381492 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7912 /proc/meminfo: memFree=380112/2055920 swapFree=4191900/4192956 [pid=7903] ppid=7901 vsize=1447916 CPUtime=1241.77 /proc/7903/stat : 7903 (wbo) R 7901 7903 6874 0 -1 4194304 361730 0 0 0 123642 535 0 0 25 0 1 0 187594375 1482665984 361247 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/7903/statm: 361979 361247 136 292 0 361684 0 Current children cumulated CPU time (s) 1241.77 Current children cumulated vsize (KiB) 1447916 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7912 /proc/meminfo: memFree=351056/2055920 swapFree=4191900/4192956 [pid=7903] ppid=7901 vsize=1474872 CPUtime=1301.76 /proc/7903/stat : 7903 (wbo) R 7901 7903 6874 0 -1 4194304 368679 0 0 0 129622 554 0 0 25 0 1 0 187594375 1510268928 368196 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/7903/statm: 368718 368196 136 292 0 368423 0 Current children cumulated CPU time (s) 1301.76 Current children cumulated vsize (KiB) 1474872 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7912 /proc/meminfo: memFree=322448/2055920 swapFree=4191900/4192956 [pid=7903] ppid=7901 vsize=1503928 CPUtime=1361.74 /proc/7903/stat : 7903 (wbo) R 7901 7903 6874 0 -1 4194304 375977 0 0 0 135603 571 0 0 25 0 1 0 187594375 1540022272 375494 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/7903/statm: 375982 375494 136 292 0 375687 0 Current children cumulated CPU time (s) 1361.74 Current children cumulated vsize (KiB) 1503928 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7912 /proc/meminfo: memFree=262352/2055920 swapFree=4191900/4192956 [pid=7903] ppid=7901 vsize=1563596 CPUtime=1421.73 /proc/7903/stat : 7903 (wbo) R 7901 7903 6874 0 -1 4194304 390871 0 0 0 141576 597 0 0 25 0 1 0 187594375 1601122304 390388 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/7903/statm: 390899 390388 136 292 0 390604 0 Current children cumulated CPU time (s) 1421.73 Current children cumulated vsize (KiB) 1563596 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7912 /proc/meminfo: memFree=199184/2055920 swapFree=4191900/4192956 [pid=7903] ppid=7901 vsize=1626536 CPUtime=1481.72 /proc/7903/stat : 7903 (wbo) R 7901 7903 6874 0 -1 4194304 406571 0 0 0 147553 619 0 0 25 0 1 0 187594375 1665572864 406088 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 0 0 0 /proc/7903/statm: 406634 406088 136 292 0 406339 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 1626536 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7912 /proc/meminfo: memFree=126672/2055920 swapFree=4191900/4192956 [pid=7903] ppid=7901 vsize=1699588 CPUtime=1541.69 /proc/7903/stat : 7903 (wbo) R 7901 7903 6874 0 -1 4194304 424828 0 0 0 153527 642 0 0 25 0 1 0 187594375 1740378112 424345 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/7903/statm: 424897 424345 136 292 0 424602 0 Current children cumulated CPU time (s) 1541.69 Current children cumulated vsize (KiB) 1699588 [startup+1602.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7912 /proc/meminfo: memFree=45776/2055920 swapFree=4191900/4192956 [pid=7903] ppid=7901 vsize=1779948 CPUtime=1601.68 /proc/7903/stat : 7903 (wbo) R 7901 7903 6874 0 -1 4194304 444875 0 0 0 159501 667 0 0 25 0 1 0 187594375 1822666752 444392 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 0 0 0 /proc/7903/statm: 444987 444392 136 292 0 444692 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 1779948 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1660.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7912 /proc/meminfo: memFree=15184/2055920 swapFree=4189872/4192956 [pid=7903] ppid=7901 vsize=1843204 CPUtime=1659.91 /proc/7903/stat : 7903 (wbo) R 7901 7903 6874 0 -1 4194304 460685 0 0 0 165296 695 0 0 25 0 1 0 187594375 1887440896 460202 1992294400 134512640 135709839 4294956240 18446744073709551615 134577720 0 0 4096 3 0 0 0 17 1 0 0 /proc/7903/statm: 460801 460202 136 292 0 460506 0 Current children cumulated CPU time (s) 1659.91 Current children cumulated vsize (KiB) 1843204 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1660.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7912 /proc/meminfo: memFree=15184/2055920 swapFree=4189872/4192956 [pid=7903] ppid=7901 vsize=0 CPUtime=1660.11 /proc/7903/stat : 7903 (wbo) R 7901 7903 6874 0 -1 4195332 460685 0 0 0 165296 715 0 0 25 0 1 0 187594375 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/7903/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1660.11 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1660.97 CPU time (s): 1660.19 CPU user time (s): 1652.97 CPU system time (s): 7.2209 CPU usage (%): 99.9529 Max. virtual memory (cumulated for all children) (KiB): 1843204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1652.97 system time used= 7.2209 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460685 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 5112 runsolver used 1.48077 second user time and 4.71728 second system time The end
Begin job on node28 at 2009-06-17 02:52:23 IDJOB=1875342 IDBENCH=48182 IDSOLVER=698 FILE ID=node28/1875342-1245199943 PBS_JOBID= 9368295 Free space on /tmp= 66176 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_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-1875342-1245199943/watcher-1875342-1245199943 -o /tmp/evaluation-result-1875342-1245199943/solver-1875342-1245199943 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875342-1245199943.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 40141f2f083fa5e1f8a41aa043de0b1b RANDOM SEED=208538970 node28.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1827816 kB Buffers: 50028 kB Cached: 101216 kB SwapCached: 260 kB Active: 65936 kB Inactive: 105852 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1827816 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 2572 kB Writeback: 0 kB Mapped: 22624 kB Slab: 42128 kB Committed_AS: 171096 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875342-1245199943.opb Free space on /tmp at the end= 66176 MiB End job on node28 at 2009-06-17 03:20:06