| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.0 | ? (MO) | 1748.35 | 1748.89 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_25_2.opb |
| MD5SUM | e40e55fe30ea19a1cae02f7f820bc9fe |
| 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 | -61 |
| Best CPU time to get the best result obtained on this benchmark | 1800.7 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -78 |
| 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 | 45 |
| 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) | 15670 |
| Sum of products size (including duplicates) | 31340 |
| Number of different products | 7835 |
| Sum of products size | 15670 |
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-1875379-1245204398.opb. 0.00/0.00 c Instance file HOME/instance-1875379-1245204398.opb 0.00/0.00 c File size is 663269 bytes. 0.09/0.10 c Highest Coefficient sum: 45 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: 8335 | 0.09/0.10 c | Number Clauses: 8335 | 0.09/0.10 c | Number Cardinality: 1000 | 0.09/0.10 c | Number PB Constraints: 7835 | 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.100984 s Remaining CPU time: 1799.9 s 0.09/0.12 c core #2 0.09/0.12 c Core size: 4 Core Weight: 1 Total Weight: -498 0.09/0.12 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.148977 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.173973 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.200969 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.228965 s Remaining CPU time: 1799.77 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.25696 s Remaining CPU time: 1799.74 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.285956 s Remaining CPU time: 1799.71 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.313952 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.344947 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.375942 s Remaining CPU time: 1799.62 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.406938 s Remaining CPU time: 1799.59 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.436933 s Remaining CPU time: 1799.56 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.467928 s Remaining CPU time: 1799.53 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.497924 s Remaining CPU time: 1799.5 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.526919 s Remaining CPU time: 1799.47 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.556915 s Remaining CPU time: 1799.44 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.58591 s Remaining CPU time: 1799.41 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.615906 s Remaining CPU time: 1799.38 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.643902 s Remaining CPU time: 1799.36 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.672897 s Remaining CPU time: 1799.33 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.700893 s Remaining CPU time: 1799.3 s 0.69/0.74 c core #23 0.69/0.74 c Core size: 4 Core Weight: 1 Total Weight: -477 0.69/0.74 c Elapsed CPU time: 0.729889 s Remaining CPU time: 1799.27 s 0.69/0.77 c core #24 0.69/0.77 c Core size: 4 Core Weight: 1 Total Weight: -476 0.69/0.77 c Elapsed CPU time: 0.758884 s Remaining CPU time: 1799.24 s 0.79/0.80 c core #25 0.79/0.80 c Core size: 4 Core Weight: 1 Total Weight: -475 0.79/0.80 c Elapsed CPU time: 0.78788 s Remaining CPU time: 1799.21 s 0.79/0.83 c core #26 0.79/0.83 c Core size: 4 Core Weight: 1 Total Weight: -474 0.79/0.83 c Elapsed CPU time: 0.818875 s Remaining CPU time: 1799.18 s 0.79/0.86 c core #27 0.79/0.86 c Core size: 4 Core Weight: 1 Total Weight: -473 0.79/0.86 c Elapsed CPU time: 0.847871 s Remaining CPU time: 1799.15 s 0.79/0.89 c core #28 0.79/0.89 c Core size: 4 Core Weight: 1 Total Weight: -472 0.79/0.89 c Elapsed CPU time: 0.876866 s Remaining CPU time: 1799.12 s 0.89/0.92 c core #29 0.89/0.92 c Core size: 4 Core Weight: 1 Total Weight: -471 0.89/0.92 c Elapsed CPU time: 0.905862 s Remaining CPU time: 1799.09 s 0.89/0.95 c core #30 0.89/0.95 c Core size: 4 Core Weight: 1 Total Weight: -470 0.89/0.95 c Elapsed CPU time: 0.936857 s Remaining CPU time: 1799.06 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.968852 s Remaining CPU time: 1799.03 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.999848 s Remaining CPU time: 1799 s 1.00/1.05 c core #33 1.00/1.05 c Core size: 4 Core Weight: 1 Total Weight: -467 1.00/1.05 c Elapsed CPU time: 1.02884 s Remaining CPU time: 1798.97 s 1.00/1.08 c core #34 1.00/1.08 c Core size: 4 Core Weight: 1 Total Weight: -466 1.00/1.08 c Elapsed CPU time: 1.05784 s Remaining CPU time: 1798.94 s 1.10/1.11 c core #35 1.10/1.11 c Core size: 4 Core Weight: 1 Total Weight: -465 1.10/1.11 c Elapsed CPU time: 1.08783 s Remaining CPU time: 1798.91 s 1.10/1.14 c core #36 1.10/1.14 c Core size: 4 Core Weight: 1 Total Weight: -464 1.10/1.14 c Elapsed CPU time: 1.11783 s Remaining CPU time: 1798.88 s 1.10/1.17 c core #37 1.10/1.17 c Core size: 4 Core Weight: 1 Total Weight: -463 1.10/1.17 c Elapsed CPU time: 1.14783 s Remaining CPU time: 1798.85 s 1.19/1.20 c core #38 1.19/1.20 c Core size: 4 Core Weight: 1 Total Weight: -462 1.19/1.20 c Elapsed CPU time: 1.17782 s Remaining CPU time: 1798.82 s 1.19/1.23 c core #39 1.19/1.23 c Core size: 4 Core Weight: 1 Total Weight: -461 1.19/1.23 c Elapsed CPU time: 1.20882 s Remaining CPU time: 1798.79 s 1.19/1.26 c core #40 1.19/1.26 c Core size: 4 Core Weight: 1 Total Weight: -460 1.19/1.26 c Elapsed CPU time: 1.23981 s Remaining CPU time: 1798.76 s 1.19/1.29 c core #41 1.19/1.29 c Core size: 4 Core Weight: 1 Total Weight: -459 1.19/1.29 c Elapsed CPU time: 1.26981 s Remaining CPU time: 1798.73 s 1.29/1.32 c core #42 1.29/1.32 c Core size: 4 Core Weight: 1 Total Weight: -458 1.29/1.32 c Elapsed CPU time: 1.3018 s Remaining CPU time: 1798.7 s 1.29/1.35 c core #43 1.29/1.35 c Core size: 4 Core Weight: 1 Total Weight: -457 1.29/1.35 c Elapsed CPU time: 1.3328 s Remaining CPU time: 1798.67 s 1.29/1.39 c core #44 1.29/1.39 c Core size: 4 Core Weight: 1 Total Weight: -456 1.29/1.39 c Elapsed CPU time: 1.36379 s Remaining CPU time: 1798.64 s 1.39/1.42 c core #45 1.39/1.42 c Core size: 4 Core Weight: 1 Total Weight: -455 1.39/1.42 c Elapsed CPU time: 1.39379 s Remaining CPU time: 1798.61 s 1.39/1.45 c core #46 1.39/1.45 c Core size: 4 Core Weight: 1 Total Weight: -454 1.39/1.45 c Elapsed CPU time: 1.42378 s Remaining CPU time: 1798.58 s 1.39/1.48 c core #47 1.39/1.48 c Core size: 4 Core Weight: 1 Total Weight: -453 1.39/1.48 c Elapsed CPU time: 1.45378 s Remaining CPU time: 1798.55 s 1.49/1.51 c core #48 1.49/1.51 c Core size: 4 Core Weight: 1 Total Weight: -452 1.49/1.51 c Elapsed CPU time: 1.48477 s Remaining CPU time: 1798.52 s 1.49/1.54 c core #49 1.49/1.54 c Core size: 4 Core Weight: 1 Total Weight: -451 1.49/1.54 c Elapsed CPU time: 1.51477 s Remaining CPU time: 1798.49 s 1.49/1.57 c core #50 1.49/1.57 c Core size: 4 Core Weight: 1 Total Weight: -450 1.49/1.57 c Elapsed CPU time: 1.54476 s Remaining CPU time: 1798.46 s 1.59/1.60 c core #51 1.59/1.60 c Core size: 4 Core Weight: 1 Total Weight: -449 1.59/1.60 c Elapsed CPU time: 1.57376 s Remaining CPU time: 1798.43 s 1.59/1.63 c core #52 1.59/1.63 c Core size: 4 Core Weight: 1 Total Weight: -448 1.59/1.63 c Elapsed CPU time: 1.60376 s Remaining CPU time: 1798.4 s 1.59/1.66 c core #53 1.59/1.66 c Core size: 4 Core Weight: 1 Total Weight: -447 1.59/1.66 c Elapsed CPU time: 1.63375 s Remaining CPU time: 1798.37 s 1.59/1.69 c core #54 1.59/1.69 c Core size: 4 Core Weight: 1 Total Weight: -446 1.59/1.69 c Elapsed CPU time: 1.66375 s Remaining CPU time: 1798.34 s 1.69/1.72 c core #55 1.69/1.72 c Core size: 4 Core Weight: 1 Total Weight: -445 1.69/1.72 c Elapsed CPU time: 1.69474 s Remaining CPU time: 1798.31 s 1.69/1.75 c core #56 1.69/1.75 c Core size: 4 Core Weight: 1 Total Weight: -444 1.69/1.75 c Elapsed CPU time: 1.72574 s Remaining CPU time: 1798.27 s 1.69/1.79 c core #57 1.69/1.79 c Core size: 4 Core Weight: 1 Total Weight: -443 1.69/1.79 c Elapsed CPU time: 1.75673 s Remaining CPU time: 1798.24 s 1.79/1.82 c core #58 1.79/1.82 c Core size: 4 Core Weight: 1 Total Weight: -442 1.79/1.82 c Elapsed CPU time: 1.78673 s Remaining CPU time: 1798.21 s 1.79/1.85 c core #59 1.79/1.85 c Core size: 4 Core Weight: 1 Total Weight: -441 1.79/1.85 c Elapsed CPU time: 1.81672 s Remaining CPU time: 1798.18 s 1.79/1.88 c core #60 1.79/1.88 c Core size: 4 Core Weight: 1 Total Weight: -440 1.79/1.88 c Elapsed CPU time: 1.84672 s Remaining CPU time: 1798.15 s 1.89/1.91 c core #61 1.89/1.91 c Core size: 4 Core Weight: 1 Total Weight: -439 1.89/1.91 c Elapsed CPU time: 1.87771 s Remaining CPU time: 1798.12 s 1.89/1.94 c core #62 1.89/1.94 c Core size: 4 Core Weight: 1 Total Weight: -438 1.89/1.94 c Elapsed CPU time: 1.90671 s Remaining CPU time: 1798.09 s 1.89/1.97 c core #63 1.89/1.97 c Core size: 4 Core Weight: 1 Total Weight: -437 1.89/1.97 c Elapsed CPU time: 1.9367 s Remaining CPU time: 1798.06 s 1.99/2.00 c core #64 1.99/2.00 c Core size: 4 Core Weight: 1 Total Weight: -436 1.99/2.00 c Elapsed CPU time: 1.9677 s Remaining CPU time: 1798.03 s 1.99/2.03 c core #65 1.99/2.03 c Core size: 4 Core Weight: 1 Total Weight: -435 1.99/2.03 c Elapsed CPU time: 1.9987 s Remaining CPU time: 1798 s 1.99/2.06 c core #66 1.99/2.06 c Core size: 4 Core Weight: 1 Total Weight: -434 1.99/2.06 c Elapsed CPU time: 2.02869 s Remaining CPU time: 1797.97 s 1.99/2.10 c core #67 1.99/2.10 c Core size: 4 Core Weight: 1 Total Weight: -433 1.99/2.10 c Elapsed CPU time: 2.06069 s Remaining CPU time: 1797.94 s 2.09/2.13 c core #68 2.09/2.13 c Core size: 4 Core Weight: 1 Total Weight: -432 2.09/2.13 c Elapsed CPU time: 2.08968 s Remaining CPU time: 1797.91 s 2.09/2.16 c core #69 2.09/2.16 c Core size: 4 Core Weight: 1 Total Weight: -431 2.09/2.16 c Elapsed CPU time: 2.12068 s Remaining CPU time: 1797.88 s 2.09/2.19 c core #70 2.09/2.19 c Core size: 4 Core Weight: 1 Total Weight: -430 2.09/2.19 c Elapsed CPU time: 2.15167 s Remaining CPU time: 1797.85 s 2.20/2.22 c core #71 2.20/2.22 c Core size: 4 Core Weight: 1 Total Weight: -429 2.20/2.22 c Elapsed CPU time: 2.18367 s Remaining CPU time: 1797.82 s 2.20/2.25 c core #72 2.20/2.25 c Core size: 4 Core Weight: 1 Total Weight: -428 2.20/2.25 c Elapsed CPU time: 2.21466 s Remaining CPU time: 1797.79 s 2.20/2.28 c core #73 2.20/2.28 c Core size: 4 Core Weight: 1 Total Weight: -427 2.20/2.28 c Elapsed CPU time: 2.24566 s Remaining CPU time: 1797.75 s 2.29/2.32 c core #74 2.29/2.32 c Core size: 4 Core Weight: 1 Total Weight: -426 2.29/2.32 c Elapsed CPU time: 2.27665 s Remaining CPU time: 1797.72 s 2.29/2.35 c core #75 2.29/2.35 c Core size: 4 Core Weight: 1 Total Weight: -425 2.29/2.35 c Elapsed CPU time: 2.30665 s Remaining CPU time: 1797.69 s 2.29/2.38 c core #76 2.29/2.38 c Core size: 4 Core Weight: 1 Total Weight: -424 2.29/2.38 c Elapsed CPU time: 2.33764 s Remaining CPU time: 1797.66 s 2.39/2.41 c core #77 2.39/2.41 c Core size: 4 Core Weight: 1 Total Weight: -423 2.39/2.41 c Elapsed CPU time: 2.36664 s Remaining CPU time: 1797.63 s 2.39/2.44 c core #78 2.39/2.44 c Core size: 4 Core Weight: 1 Total Weight: -422 2.39/2.44 c Elapsed CPU time: 2.39563 s Remaining CPU time: 1797.6 s 2.39/2.47 c core #79 2.39/2.47 c Core size: 4 Core Weight: 1 Total Weight: -421 2.39/2.47 c Elapsed CPU time: 2.42763 s Remaining CPU time: 1797.57 s 2.49/2.50 c core #80 2.49/2.50 c Core size: 4 Core Weight: 1 Total Weight: -420 2.49/2.50 c Elapsed CPU time: 2.45963 s Remaining CPU time: 1797.54 s 2.49/2.54 c core #81 2.49/2.54 c Core size: 4 Core Weight: 1 Total Weight: -419 2.49/2.54 c Elapsed CPU time: 2.49062 s Remaining CPU time: 1797.51 s 2.49/2.57 c core #82 2.49/2.57 c Core size: 4 Core Weight: 1 Total Weight: -418 2.49/2.57 c Elapsed CPU time: 2.52062 s Remaining CPU time: 1797.48 s 2.59/2.60 c core #83 2.59/2.60 c Core size: 4 Core Weight: 1 Total Weight: -417 2.59/2.60 c Elapsed CPU time: 2.55261 s Remaining CPU time: 1797.45 s 2.59/2.63 c core #84 2.59/2.63 c Core size: 4 Core Weight: 1 Total Weight: -416 2.59/2.63 c Elapsed CPU time: 2.58361 s Remaining CPU time: 1797.42 s 2.59/2.66 c core #85 2.59/2.66 c Core size: 4 Core Weight: 1 Total Weight: -415 2.59/2.66 c Elapsed CPU time: 2.6166 s Remaining CPU time: 1797.38 s 2.59/2.69 c core #86 2.59/2.69 c Core size: 4 Core Weight: 1 Total Weight: -414 2.59/2.69 c Elapsed CPU time: 2.6456 s Remaining CPU time: 1797.35 s 2.69/2.72 c core #87 2.69/2.72 c Core size: 4 Core Weight: 1 Total Weight: -413 2.69/2.72 c Elapsed CPU time: 2.67459 s Remaining CPU time: 1797.33 s 2.69/2.75 c core #88 2.69/2.75 c Core size: 4 Core Weight: 1 Total Weight: -412 2.69/2.75 c Elapsed CPU time: 2.70259 s Remaining CPU time: 1797.3 s 2.69/2.78 c core #89 2.69/2.78 c Core size: 4 Core Weight: 1 Total Weight: -411 2.69/2.78 c Elapsed CPU time: 2.73258 s Remaining CPU time: 1797.27 s 2.79/2.81 c core #90 2.79/2.81 c Core size: 4 Core Weight: 1 Total Weight: -410 2.79/2.81 c Elapsed CPU time: 2.76358 s Remaining CPU time: 1797.24 s 2.79/2.84 c core #91 2.79/2.84 c Core size: 4 Core Weight: 1 Total Weight: -409 2.79/2.84 c Elapsed CPU time: 2.79358 s Remaining CPU time: 1797.21 s 2.79/2.88 c core #92 2.79/2.88 c Core size: 4 Core Weight: 1 Total Weight: -408 2.79/2.88 c Elapsed CPU time: 2.82557 s Remaining CPU time: 1797.17 s 2.89/2.91 c core #93 2.89/2.91 c Core size: 4 Core Weight: 1 Total Weight: -407 2.89/2.91 c Elapsed CPU time: 2.85656 s Remaining CPU time: 1797.14 s 2.89/2.94 c core #94 2.89/2.94 c Core size: 4 Core Weight: 1 Total Weight: -406 2.89/2.94 c Elapsed CPU time: 2.88856 s Remaining CPU time: 1797.11 s 2.89/2.97 c core #95 2.89/2.97 c Core size: 4 Core Weight: 1 Total Weight: -405 2.89/2.97 c Elapsed CPU time: 2.92056 s Remaining CPU time: 1797.08 s 2.99/3.00 c core #96 2.99/3.00 c Core size: 4 Core Weight: 1 Total Weight: -404 2.99/3.00 c Elapsed CPU time: 2.95255 s Remaining CPU time: 1797.05 s 2.99/3.03 c core #97 2.99/3.03 c Core size: 4 Core Weight: 1 Total Weight: -403 2.99/3.03 c Elapsed CPU time: 2.98255 s Remaining CPU time: 1797.02 s 2.99/3.07 c core #98 2.99/3.07 c Core size: 4 Core Weight: 1 Total Weight: -402 2.99/3.07 c Elapsed CPU time: 3.01354 s Remaining CPU time: 1796.99 s 2.99/3.10 c core #99 2.99/3.10 c Core size: 4 Core Weight: 1 Total Weight: -401 2.99/3.10 c Elapsed CPU time: 3.04454 s Remaining CPU time: 1796.96 s 3.09/3.13 c core #100 3.09/3.13 c Core size: 4 Core Weight: 1 Total Weight: -400 3.09/3.13 c Elapsed CPU time: 3.07353 s Remaining CPU time: 1796.93 s 3.09/3.16 c core #101 3.09/3.16 c Core size: 4 Core Weight: 1 Total Weight: -399 3.09/3.16 c Elapsed CPU time: 3.10553 s Remaining CPU time: 1796.89 s 3.09/3.19 c core #102 3.09/3.19 c Core size: 4 Core Weight: 1 Total Weight: -398 3.09/3.19 c Elapsed CPU time: 3.13652 s Remaining CPU time: 1796.86 s 3.19/3.22 c core #103 3.19/3.22 c Core size: 4 Core Weight: 1 Total Weight: -397 3.19/3.22 c Elapsed CPU time: 3.16652 s Remaining CPU time: 1796.83 s 3.19/3.25 c core #104 3.19/3.25 c Core size: 4 Core Weight: 1 Total Weight: -396 3.19/3.25 c Elapsed CPU time: 3.19751 s Remaining CPU time: 1796.8 s 3.19/3.29 c core #105 3.19/3.29 c Core size: 4 Core Weight: 1 Total Weight: -395 3.19/3.29 c Elapsed CPU time: 3.23051 s Remaining CPU time: 1796.77 s 3.29/3.32 c core #106 3.29/3.32 c Core size: 4 Core Weight: 1 Total Weight: -394 3.29/3.32 c Elapsed CPU time: 3.2615 s Remaining CPU time: 1796.74 s 3.29/3.35 c core #107 3.29/3.35 c Core size: 4 Core Weight: 1 Total Weight: -393 3.29/3.35 c Elapsed CPU time: 3.2925 s Remaining CPU time: 1796.71 s 3.29/3.38 c core #108 3.29/3.38 c Core size: 4 Core Weight: 1 Total Weight: -392 3.29/3.38 c Elapsed CPU time: 3.32449 s Remaining CPU time: 1796.68 s 3.38/3.41 c core #109 3.38/3.41 c Core size: 4 Core Weight: 1 Total Weight: -391 3.38/3.41 c Elapsed CPU time: 3.35649 s Remaining CPU time: 1796.64 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.38748 s Remaining CPU time: 1796.61 s 3.38/3.48 c core #111 3.38/3.48 c Core size: 4 Core Weight: 1 Total Weight: -389 3.38/3.48 c Elapsed CPU time: 3.41648 s Remaining CPU time: 1796.58 s 3.49/3.51 c core #112 3.49/3.51 c Core size: 4 Core Weight: 1 Total Weight: -388 3.49/3.51 c Elapsed CPU time: 3.44747 s Remaining CPU time: 1796.55 s 3.49/3.54 c core #113 3.49/3.54 c Core size: 4 Core Weight: 1 Total Weight: -387 3.49/3.54 c Elapsed CPU time: 3.47947 s Remaining CPU time: 1796.52 s 3.49/3.57 c core #114 3.49/3.57 c Core size: 4 Core Weight: 1 Total Weight: -386 3.49/3.57 c Elapsed CPU time: 3.51147 s Remaining CPU time: 1796.49 s 3.59/3.61 c core #115 3.59/3.61 c Core size: 4 Core Weight: 1 Total Weight: -385 3.59/3.61 c Elapsed CPU time: 3.54446 s Remaining CPU time: 1796.46 s 3.59/3.64 c core #116 3.59/3.64 c Core size: 4 Core Weight: 1 Total Weight: -384 3.59/3.64 c Elapsed CPU time: 3.57446 s Remaining CPU time: 1796.43 s 3.59/3.67 c core #117 3.59/3.67 c Core size: 4 Core Weight: 1 Total Weight: -383 3.59/3.67 c Elapsed CPU time: 3.60645 s Remaining CPU time: 1796.39 s 3.69/3.70 c core #118 3.69/3.70 c Core size: 4 Core Weight: 1 Total Weight: -382 3.69/3.70 c Elapsed CPU time: 3.63845 s Remaining CPU time: 1796.36 s 3.69/3.74 c core #119 3.69/3.74 c Core size: 4 Core Weight: 1 Total Weight: -381 3.69/3.74 c Elapsed CPU time: 3.67044 s Remaining CPU time: 1796.33 s 3.69/3.77 c core #120 3.69/3.77 c Core size: 4 Core Weight: 1 Total Weight: -380 3.69/3.77 c Elapsed CPU time: 3.70244 s Remaining CPU time: 1796.3 s 3.79/3.80 c core #121 3.79/3.80 c Core size: 4 Core Weight: 1 Total Weight: -379 3.79/3.80 c Elapsed CPU time: 3.73343 s Remaining CPU time: 1796.27 s 3.79/3.83 c core #122 3.79/3.83 c Core size: 4 Core Weight: 1 Total Weight: -378 3.79/3.83 c Elapsed CPU time: 3.76443 s Remaining CPU time: 1796.24 s 3.79/3.86 c core #123 3.79/3.86 c Core size: 4 Core Weight: 1 Total Weight: -377 3.79/3.86 c Elapsed CPU time: 3.79442 s Remaining CPU time: 1796.21 s 3.79/3.90 c core #124 3.79/3.90 c Core size: 4 Core Weight: 1 Total Weight: -376 3.79/3.90 c Elapsed CPU time: 3.82642 s Remaining CPU time: 1796.17 s 3.89/3.93 c core #125 3.89/3.93 c Core size: 4 Core Weight: 1 Total Weight: -375 3.89/3.93 c Elapsed CPU time: 3.85841 s Remaining CPU time: 1796.14 s 3.89/3.96 c core #126 3.89/3.96 c Core size: 4 Core Weight: 1 Total Weight: -374 3.89/3.96 c Elapsed CPU time: 3.88941 s Remaining CPU time: 1796.11 s 3.89/3.99 c core #127 3.89/3.99 c Core size: 4 Core Weight: 1 Total Weight: -373 3.89/3.99 c Elapsed CPU time: 3.9224 s Remaining CPU time: 1796.08 s 3.99/4.03 c core #128 3.99/4.03 c Core size: 4 Core Weight: 1 Total Weight: -372 3.99/4.03 c Elapsed CPU time: 3.9534 s Remaining CPU time: 1796.05 s 3.99/4.06 c core #129 3.99/4.06 c Core size: 4 Core Weight: 1 Total Weight: -371 3.99/4.06 c Elapsed CPU time: 3.98439 s Remaining CPU time: 1796.02 s 3.99/4.09 c core #130 3.99/4.09 c Core size: 4 Core Weight: 1 Total Weight: -370 3.99/4.09 c Elapsed CPU time: 4.01439 s Remaining CPU time: 1795.99 s 4.09/4.12 c core #131 4.09/4.12 c Core size: 4 Core Weight: 1 Total Weight: -369 4.09/4.12 c Elapsed CPU time: 4.04538 s Remaining CPU time: 1795.95 s 4.09/4.15 c core #132 4.09/4.15 c Core size: 4 Core Weight: 1 Total Weight: -368 4.09/4.15 c Elapsed CPU time: 4.07738 s Remaining CPU time: 1795.92 s 4.09/4.18 c core #133 4.09/4.18 c Core size: 4 Core Weight: 1 Total Weight: -367 4.09/4.18 c Elapsed CPU time: 4.10938 s Remaining CPU time: 1795.89 s 4.19/4.21 c core #134 4.19/4.21 c Core size: 4 Core Weight: 1 Total Weight: -366 4.19/4.21 c Elapsed CPU time: 4.14037 s Remaining CPU time: 1795.86 s 4.19/4.25 c core #135 4.19/4.25 c Core size: 4 Core Weight: 1 Total Weight: -365 4.19/4.25 c Elapsed CPU time: 4.17136 s Remaining CPU time: 1795.83 s 4.19/4.28 c core #136 4.19/4.28 c Core size: 4 Core Weight: 1 Total Weight: -364 4.19/4.28 c Elapsed CPU time: 4.20336 s Remaining CPU time: 1795.8 s 4.29/4.31 c core #137 4.29/4.31 c Core size: 4 Core Weight: 1 Total Weight: -363 4.29/4.31 c Elapsed CPU time: 4.23635 s Remaining CPU time: 1795.76 s 4.29/4.34 c core #138 4.29/4.34 c Core size: 4 Core Weight: 1 Total Weight: -362 4.29/4.34 c Elapsed CPU time: 4.26935 s Remaining CPU time: 1795.73 s 4.29/4.38 c core #139 4.29/4.38 c Core size: 4 Core Weight: 1 Total Weight: -361 4.29/4.38 c Elapsed CPU time: 4.29935 s Remaining CPU time: 1795.7 s 4.39/4.41 c core #140 4.39/4.41 c Core size: 4 Core Weight: 1 Total Weight: -360 4.39/4.41 c Elapsed CPU time: 4.33234 s Remaining CPU time: 1795.67 s 4.39/4.44 c core #141 4.39/4.44 c Core size: 4 Core Weight: 1 Total Weight: -359 4.39/4.44 c Elapsed CPU time: 4.36434 s Remaining CPU time: 1795.64 s 4.39/4.47 c core #142 4.39/4.47 c Core size: 4 Core Weight: 1 Total Weight: -358 4.39/4.47 c Elapsed CPU time: 4.39633 s Remaining CPU time: 1795.6 s 4.48/4.51 c core #143 4.48/4.51 c Core size: 4 Core Weight: 1 Total Weight: -357 4.48/4.51 c Elapsed CPU time: 4.42933 s Remaining CPU time: 1795.57 s 4.48/4.54 c core #144 4.48/4.54 c Core size: 4 Core Weight: 1 Total Weight: -356 4.48/4.54 c Elapsed CPU time: 4.46032 s Remaining CPU time: 1795.54 s 4.48/4.57 c core #145 4.48/4.57 c Core size: 4 Core Weight: 1 Total Weight: -355 4.48/4.57 c Elapsed CPU time: 4.49132 s Remaining CPU time: 1795.51 s 4.59/4.60 c core #146 4.59/4.60 c Core size: 4 Core Weight: 1 Total Weight: -354 4.59/4.60 c Elapsed CPU time: 4.52031 s Remaining CPU time: 1795.48 s 4.59/4.63 c core #147 4.59/4.63 c Core size: 4 Core Weight: 1 Total Weight: -353 4.59/4.63 c Elapsed CPU time: 4.55131 s Remaining CPU time: 1795.45 s 4.59/4.67 c core #148 4.59/4.67 c Core size: 4 Core Weight: 1 Total Weight: -352 4.59/4.67 c Elapsed CPU time: 4.5833 s Remaining CPU time: 1795.42 s 4.69/4.70 c core #149 4.69/4.70 c Core size: 4 Core Weight: 1 Total Weight: -351 4.69/4.70 c Elapsed CPU time: 4.6153 s Remaining CPU time: 1795.38 s 4.69/4.73 c core #150 4.69/4.73 c Core size: 4 Core Weight: 1 Total Weight: -350 4.69/4.73 c Elapsed CPU time: 4.64629 s Remaining CPU time: 1795.35 s 4.69/4.76 c core #151 4.69/4.76 c Core size: 4 Core Weight: 1 Total Weight: -349 4.69/4.76 c Elapsed CPU time: 4.67929 s Remaining CPU time: 1795.32 s 4.69/4.79 c core #152 4.69/4.79 c Core size: 4 Core Weight: 1 Total Weight: -348 4.69/4.79 c Elapsed CPU time: 4.70928 s Remaining CPU time: 1795.29 s 4.79/4.83 c core #153 4.79/4.83 c Core size: 4 Core Weight: 1 Total Weight: -347 4.79/4.83 c Elapsed CPU time: 4.74128 s Remaining CPU time: 1795.26 s 4.79/4.86 c core #154 4.79/4.86 c Core size: 4 Core Weight: 1 Total Weight: -346 4.79/4.86 c Elapsed CPU time: 4.77327 s Remaining CPU time: 1795.23 s 4.79/4.89 c core #155 4.79/4.89 c Core size: 4 Core Weight: 1 Total Weight: -345 4.79/4.89 c Elapsed CPU time: 4.80627 s Remaining CPU time: 1795.19 s 4.89/4.92 c core #156 4.89/4.92 c Core size: 4 Core Weight: 1 Total Weight: -344 4.89/4.92 c Elapsed CPU time: 4.83926 s Remaining CPU time: 1795.16 s 4.89/4.96 c core #157 4.89/4.96 c Core size: 4 Core Weight: 1 Total Weight: -343 4.89/4.96 c Elapsed CPU time: 4.87226 s Remaining CPU time: 1795.13 s 4.89/4.99 c core #158 4.89/4.99 c Core size: 4 Core Weight: 1 Total Weight: -342 4.89/4.99 c Elapsed CPU time: 4.90425 s Remaining CPU time: 1795.1 s 4.99/5.02 c core #159 4.99/5.02 c Core size: 4 Core Weight: 1 Total Weight: -341 4.99/5.02 c Elapsed CPU time: 4.93625 s Remaining CPU time: 1795.06 s 4.99/5.05 c core #160 4.99/5.05 c Core size: 4 Core Weight: 1 Total Weight: -340 4.99/5.05 c Elapsed CPU time: 4.96824 s Remaining CPU time: 1795.03 s 4.99/5.09 c core #161 4.99/5.09 c Core size: 4 Core Weight: 1 Total Weight: -339 4.99/5.09 c Elapsed CPU time: 5.00124 s Remaining CPU time: 1795 s 5.08/5.12 c core #162 5.08/5.12 c Core size: 4 Core Weight: 1 Total Weight: -338 5.08/5.12 c Elapsed CPU time: 5.03223 s Remaining CPU time: 1794.97 s 5.08/5.15 c core #163 5.08/5.15 c Core size: 4 Core Weight: 1 Total Weight: -337 5.08/5.15 c Elapsed CPU time: 5.06423 s Remaining CPU time: 1794.94 s 5.08/5.18 c core #164 5.08/5.18 c Core size: 4 Core Weight: 1 Total Weight: -336 5.08/5.18 c Elapsed CPU time: 5.09623 s Remaining CPU time: 1794.9 s 5.19/5.22 c core #165 5.19/5.22 c Core size: 4 Core Weight: 1 Total Weight: -335 5.19/5.22 c Elapsed CPU time: 5.12622 s Remaining CPU time: 1794.87 s 5.19/5.25 c core #166 5.19/5.25 c Core size: 4 Core Weight: 1 Total Weight: -334 5.19/5.25 c Elapsed CPU time: 5.15921 s Remaining CPU time: 1794.84 s 5.19/5.28 c core #167 5.19/5.28 c Core size: 4 Core Weight: 1 Total Weight: -333 5.19/5.28 c Elapsed CPU time: 5.19121 s Remaining CPU time: 1794.81 s 5.29/5.31 c core #168 5.29/5.31 c Core size: 4 Core Weight: 1 Total Weight: -332 5.29/5.31 c Elapsed CPU time: 5.2242 s Remaining CPU time: 1794.78 s 5.29/5.35 c core #169 5.29/5.35 c Core size: 4 Core Weight: 1 Total Weight: -331 5.29/5.35 c Elapsed CPU time: 5.2552 s Remaining CPU time: 1794.74 s 5.29/5.38 c core #170 5.29/5.38 c Core size: 4 Core Weight: 1 Total Weight: -330 5.29/5.38 c Elapsed CPU time: 5.2882 s Remaining CPU time: 1794.71 s 5.39/5.41 c core #171 5.39/5.41 c Core size: 4 Core Weight: 1 Total Weight: -329 5.39/5.41 c Elapsed CPU time: 5.32019 s Remaining CPU time: 1794.68 s 5.39/5.45 c core #172 5.39/5.45 c Core size: 4 Core Weight: 1 Total Weight: -328 5.39/5.45 c Elapsed CPU time: 5.35219 s Remaining CPU time: 1794.65 s 5.39/5.48 c core #173 5.39/5.48 c Core size: 4 Core Weight: 1 Total Weight: -327 5.39/5.48 c Elapsed CPU time: 5.38518 s Remaining CPU time: 1794.61 s 5.49/5.51 c core #174 5.49/5.51 c Core size: 4 Core Weight: 1 Total Weight: -326 5.49/5.51 c Elapsed CPU time: 5.41818 s Remaining CPU time: 1794.58 s 5.49/5.54 c core #175 5.49/5.54 c Core size: 4 Core Weight: 1 Total Weight: -325 5.49/5.54 c Elapsed CPU time: 5.44917 s Remaining CPU time: 1794.55 s 5.49/5.58 c core #176 5.49/5.58 c Core size: 4 Core Weight: 1 Total Weight: -324 5.49/5.58 c Elapsed CPU time: 5.48217 s Remaining CPU time: 1794.52 s 5.59/5.61 c core #177 5.59/5.61 c Core size: 4 Core Weight: 1 Total Weight: -323 5.59/5.61 c Elapsed CPU time: 5.51616 s Remaining CPU time: 1794.48 s 5.59/5.64 c core #178 5.59/5.64 c Core size: 4 Core Weight: 1 Total Weight: -322 5.59/5.64 c Elapsed CPU time: 5.54816 s Remaining CPU time: 1794.45 s 5.59/5.68 c core #179 5.59/5.68 c Core size: 4 Core Weight: 1 Total Weight: -321 5.59/5.68 c Elapsed CPU time: 5.58015 s Remaining CPU time: 1794.42 s 5.69/5.71 c core #180 5.69/5.71 c Core size: 4 Core Weight: 1 Total Weight: -320 5.69/5.71 c Elapsed CPU time: 5.61415 s Remaining CPU time: 1794.39 s 5.69/5.74 c core #181 5.69/5.74 c Core size: 4 Core Weight: 1 Total Weight: -319 5.69/5.74 c Elapsed CPU time: 5.64614 s Remaining CPU time: 1794.35 s 5.69/5.77 c core #182 5.69/5.77 c Core size: 4 Core Weight: 1 Total Weight: -318 5.69/5.77 c Elapsed CPU time: 5.67814 s Remaining CPU time: 1794.32 s 5.78/5.81 c core #183 5.78/5.81 c Core size: 4 Core Weight: 1 Total Weight: -317 5.78/5.81 c Elapsed CPU time: 5.70913 s Remaining CPU time: 1794.29 s 5.78/5.84 c core #184 5.78/5.84 c Core size: 4 Core Weight: 1 Total Weight: -316 5.78/5.84 c Elapsed CPU time: 5.74113 s Remaining CPU time: 1794.26 s 5.78/5.87 c core #185 5.78/5.87 c Core size: 4 Core Weight: 1 Total Weight: -315 5.78/5.87 c Elapsed CPU time: 5.77312 s Remaining CPU time: 1794.23 s 5.89/5.91 c core #186 5.89/5.91 c Core size: 4 Core Weight: 1 Total Weight: -314 5.89/5.91 c Elapsed CPU time: 5.80612 s Remaining CPU time: 1794.19 s 5.89/5.94 c core #187 5.89/5.94 c Core size: 4 Core Weight: 1 Total Weight: -313 5.89/5.94 c Elapsed CPU time: 5.83811 s Remaining CPU time: 1794.16 s 5.89/5.97 c core #188 5.89/5.97 c Core size: 4 Core Weight: 1 Total Weight: -312 5.89/5.97 c Elapsed CPU time: 5.87111 s Remaining CPU time: 1794.13 s 5.99/6.01 c core #189 5.99/6.01 c Core size: 4 Core Weight: 1 Total Weight: -311 5.99/6.01 c Elapsed CPU time: 5.9031 s Remaining CPU time: 1794.1 s 5.99/6.04 c core #190 5.99/6.04 c Core size: 4 Core Weight: 1 Total Weight: -310 5.99/6.04 c Elapsed CPU time: 5.9361 s Remaining CPU time: 1794.06 s 5.99/6.07 c core #191 5.99/6.07 c Core size: 4 Core Weight: 1 Total Weight: -309 5.99/6.07 c Elapsed CPU time: 5.96909 s Remaining CPU time: 1794.03 s 6.09/6.11 c core #192 6.09/6.11 c Core size: 4 Core Weight: 1 Total Weight: -308 6.09/6.11 c Elapsed CPU time: 6.00209 s Remaining CPU time: 1794 s 6.09/6.14 c core #193 6.09/6.14 c Core size: 4 Core Weight: 1 Total Weight: -307 6.09/6.14 c Elapsed CPU time: 6.03508 s Remaining CPU time: 1793.96 s 6.09/6.17 c core #194 6.09/6.17 c Core size: 4 Core Weight: 1 Total Weight: -306 6.09/6.17 c Elapsed CPU time: 6.06908 s Remaining CPU time: 1793.93 s 6.19/6.21 c core #195 6.19/6.21 c Core size: 4 Core Weight: 1 Total Weight: -305 6.19/6.21 c Elapsed CPU time: 6.10207 s Remaining CPU time: 1793.9 s 6.19/6.24 c core #196 6.19/6.24 c Core size: 4 Core Weight: 1 Total Weight: -304 6.19/6.24 c Elapsed CPU time: 6.13407 s Remaining CPU time: 1793.87 s 6.19/6.27 c core #197 6.19/6.27 c Core size: 4 Core Weight: 1 Total Weight: -303 6.19/6.27 c Elapsed CPU time: 6.16906 s Remaining CPU time: 1793.83 s 6.29/6.31 c core #198 6.29/6.31 c Core size: 4 Core Weight: 1 Total Weight: -302 6.29/6.31 c Elapsed CPU time: 6.20206 s Remaining CPU time: 1793.8 s 6.29/6.34 c core #199 6.29/6.34 c Core size: 4 Core Weight: 1 Total Weight: -301 6.29/6.34 c Elapsed CPU time: 6.23305 s Remaining CPU time: 1793.77 s 6.29/6.37 c core #200 6.29/6.37 c Core size: 4 Core Weight: 1 Total Weight: -300 6.29/6.37 c Elapsed CPU time: 6.26605 s Remaining CPU time: 1793.73 s 6.39/6.41 c core #201 6.39/6.41 c Core size: 4 Core Weight: 1 Total Weight: -299 6.39/6.41 c Elapsed CPU time: 6.30004 s Remaining CPU time: 1793.7 s 6.39/6.44 c core #202 6.39/6.44 c Core size: 4 Core Weight: 1 Total Weight: -298 6.39/6.44 c Elapsed CPU time: 6.33404 s Remaining CPU time: 1793.67 s 6.39/6.47 c core #203 6.39/6.47 c Core size: 4 Core Weight: 1 Total Weight: -297 6.39/6.47 c Elapsed CPU time: 6.36603 s Remaining CPU time: 1793.63 s 6.49/6.51 c core #204 6.49/6.51 c Core size: 4 Core Weight: 1 Total Weight: -296 6.49/6.51 c Elapsed CPU time: 6.40003 s Remaining CPU time: 1793.6 s 6.49/6.54 c core #205 6.49/6.54 c Core size: 4 Core Weight: 1 Total Weight: -295 6.49/6.54 c Elapsed CPU time: 6.43202 s Remaining CPU time: 1793.57 s 6.49/6.57 c core #206 6.49/6.57 c Core size: 4 Core Weight: 1 Total Weight: -294 6.49/6.57 c Elapsed CPU time: 6.46402 s Remaining CPU time: 1793.54 s 6.60/6.61 c core #207 6.60/6.61 c Core size: 4 Core Weight: 1 Total Weight: -293 6.60/6.61 c Elapsed CPU time: 6.49701 s Remaining CPU time: 1793.5 s 6.60/6.64 c core #208 6.60/6.64 c Core size: 4 Core Weight: 1 Total Weight: -292 6.60/6.64 c Elapsed CPU time: 6.53001 s Remaining CPU time: 1793.47 s 6.60/6.67 c core #209 6.60/6.67 c Core size: 4 Core Weight: 1 Total Weight: -291 6.60/6.67 c Elapsed CPU time: 6.561 s Remaining CPU time: 1793.44 s 6.69/6.71 c core #210 6.69/6.71 c Core size: 4 Core Weight: 1 Total Weight: -290 6.69/6.71 c Elapsed CPU time: 6.594 s Remaining CPU time: 1793.41 s 6.69/6.74 c core #211 6.69/6.74 c Core size: 4 Core Weight: 1 Total Weight: -289 6.69/6.74 c Elapsed CPU time: 6.62699 s Remaining CPU time: 1793.37 s 6.69/6.77 c core #212 6.69/6.77 c Core size: 4 Core Weight: 1 Total Weight: -288 6.69/6.77 c Elapsed CPU time: 6.66199 s Remaining CPU time: 1793.34 s 6.79/6.81 c core #213 6.79/6.81 c Core size: 4 Core Weight: 1 Total Weight: -287 6.79/6.81 c Elapsed CPU time: 6.69398 s Remaining CPU time: 1793.31 s 6.79/6.84 c core #214 6.79/6.84 c Core size: 4 Core Weight: 1 Total Weight: -286 6.79/6.84 c Elapsed CPU time: 6.72698 s Remaining CPU time: 1793.27 s 6.79/6.87 c core #215 6.79/6.87 c Core size: 4 Core Weight: 1 Total Weight: -285 6.79/6.87 c Elapsed CPU time: 6.75997 s Remaining CPU time: 1793.24 s 6.89/6.91 c core #216 6.89/6.91 c Core size: 4 Core Weight: 1 Total Weight: -284 6.89/6.91 c Elapsed CPU time: 6.79297 s Remaining CPU time: 1793.21 s 6.89/6.94 c core #217 6.89/6.94 c Core size: 4 Core Weight: 1 Total Weight: -283 6.89/6.94 c Elapsed CPU time: 6.82596 s Remaining CPU time: 1793.17 s 6.89/6.97 c core #218 6.89/6.97 c Core size: 4 Core Weight: 1 Total Weight: -282 6.89/6.97 c Elapsed CPU time: 6.85896 s Remaining CPU time: 1793.14 s 6.99/7.01 c core #219 6.99/7.01 c Core size: 4 Core Weight: 1 Total Weight: -281 6.99/7.01 c Elapsed CPU time: 6.89295 s Remaining CPU time: 1793.11 s 6.99/7.04 c core #220 6.99/7.04 c Core size: 4 Core Weight: 1 Total Weight: -280 6.99/7.04 c Elapsed CPU time: 6.92595 s Remaining CPU time: 1793.07 s 6.99/7.08 c core #221 6.99/7.08 c Core size: 4 Core Weight: 1 Total Weight: -279 6.99/7.08 c Elapsed CPU time: 6.95894 s Remaining CPU time: 1793.04 s 7.08/7.11 c core #222 7.08/7.11 c Core size: 4 Core Weight: 1 Total Weight: -278 7.08/7.11 c Elapsed CPU time: 6.99094 s Remaining CPU time: 1793.01 s 7.08/7.14 c core #223 7.08/7.14 c Core size: 4 Core Weight: 1 Total Weight: -277 7.08/7.14 c Elapsed CPU time: 7.02393 s Remaining CPU time: 1792.98 s 7.08/7.17 c core #224 7.08/7.17 c Core size: 4 Core Weight: 1 Total Weight: -276 7.08/7.17 c Elapsed CPU time: 7.05693 s Remaining CPU time: 1792.94 s 7.18/7.21 c core #225 7.18/7.21 c Core size: 4 Core Weight: 1 Total Weight: -275 7.18/7.21 c Elapsed CPU time: 7.09092 s Remaining CPU time: 1792.91 s 7.18/7.24 c core #226 7.18/7.24 c Core size: 4 Core Weight: 1 Total Weight: -274 7.18/7.24 c Elapsed CPU time: 7.12392 s Remaining CPU time: 1792.88 s 7.18/7.28 c core #227 7.18/7.28 c Core size: 4 Core Weight: 1 Total Weight: -273 7.18/7.28 c Elapsed CPU time: 7.15791 s Remaining CPU time: 1792.84 s 7.28/7.31 c core #228 7.28/7.31 c Core size: 4 Core Weight: 1 Total Weight: -272 7.28/7.31 c Elapsed CPU time: 7.19091 s Remaining CPU time: 1792.81 s 7.28/7.34 c core #229 7.28/7.34 c Core size: 4 Core Weight: 1 Total Weight: -271 7.28/7.34 c Elapsed CPU time: 7.2239 s Remaining CPU time: 1792.78 s 7.28/7.38 c core #230 7.28/7.38 c Core size: 4 Core Weight: 1 Total Weight: -270 7.28/7.38 c Elapsed CPU time: 7.2589 s Remaining CPU time: 1792.74 s 7.39/7.41 c core #231 7.39/7.41 c Core size: 4 Core Weight: 1 Total Weight: -269 7.39/7.41 c Elapsed CPU time: 7.29089 s Remaining CPU time: 1792.71 s 7.39/7.45 c core #232 7.39/7.45 c Core size: 4 Core Weight: 1 Total Weight: -268 7.39/7.45 c Elapsed CPU time: 7.32489 s Remaining CPU time: 1792.68 s 7.39/7.48 c core #233 7.39/7.48 c Core size: 4 Core Weight: 1 Total Weight: -267 7.39/7.48 c Elapsed CPU time: 7.35688 s Remaining CPU time: 1792.64 s 7.49/7.51 c core #234 7.49/7.51 c Core size: 4 Core Weight: 1 Total Weight: -266 7.49/7.51 c Elapsed CPU time: 7.38988 s Remaining CPU time: 1792.61 s 7.49/7.55 c core #235 7.49/7.55 c Core size: 4 Core Weight: 1 Total Weight: -265 7.49/7.55 c Elapsed CPU time: 7.42287 s Remaining CPU time: 1792.58 s 7.49/7.58 c core #236 7.49/7.58 c Core size: 4 Core Weight: 1 Total Weight: -264 7.49/7.58 c Elapsed CPU time: 7.45787 s Remaining CPU time: 1792.54 s 7.59/7.61 c core #237 7.59/7.61 c Core size: 4 Core Weight: 1 Total Weight: -263 7.59/7.61 c Elapsed CPU time: 7.49186 s Remaining CPU time: 1792.51 s 7.59/7.65 c core #238 7.59/7.65 c Core size: 4 Core Weight: 1 Total Weight: -262 7.59/7.65 c Elapsed CPU time: 7.52386 s Remaining CPU time: 1792.48 s 7.59/7.68 c core #239 7.59/7.68 c Core size: 4 Core Weight: 1 Total Weight: -261 7.59/7.68 c Elapsed CPU time: 7.55785 s Remaining CPU time: 1792.44 s 7.69/7.71 c core #240 7.69/7.71 c Core size: 4 Core Weight: 1 Total Weight: -260 7.69/7.71 c Elapsed CPU time: 7.59085 s Remaining CPU time: 1792.41 s 7.69/7.75 c core #241 7.69/7.75 c Core size: 4 Core Weight: 1 Total Weight: -259 7.69/7.75 c Elapsed CPU time: 7.62484 s Remaining CPU time: 1792.38 s 7.69/7.78 c core #242 7.69/7.78 c Core size: 9 Core Weight: 1 Total Weight: -258 7.69/7.78 c Elapsed CPU time: 7.65784 s Remaining CPU time: 1792.34 s 7.78/7.82 c core #243 7.78/7.82 c Core size: 9 Core Weight: 1 Total Weight: -257 7.78/7.82 c Elapsed CPU time: 7.69083 s Remaining CPU time: 1792.31 s 7.78/7.85 c core #244 7.78/7.85 c Core size: 14 Core Weight: 1 Total Weight: -256 7.78/7.85 c Elapsed CPU time: 7.72483 s Remaining CPU time: 1792.28 s 7.78/7.88 c core #245 7.78/7.88 c Core size: 14 Core Weight: 1 Total Weight: -255 7.78/7.88 c Elapsed CPU time: 7.75682 s Remaining CPU time: 1792.24 s 7.88/7.92 c core #246 7.88/7.92 c Core size: 19 Core Weight: 1 Total Weight: -254 7.88/7.92 c Elapsed CPU time: 7.79082 s Remaining CPU time: 1792.21 s 7.88/7.95 c core #247 7.88/7.95 c Core size: 9 Core Weight: 1 Total Weight: -253 7.88/7.95 c Elapsed CPU time: 7.82481 s Remaining CPU time: 1792.18 s 7.88/7.99 c core #248 7.88/7.99 c Core size: 8 Core Weight: 1 Total Weight: -252 7.88/7.99 c Elapsed CPU time: 7.85881 s Remaining CPU time: 1792.14 s 7.98/8.02 c core #249 7.98/8.02 c Core size: 13 Core Weight: 1 Total Weight: -251 7.98/8.02 c Elapsed CPU time: 7.8928 s Remaining CPU time: 1792.11 s 7.98/8.05 c core #250 7.98/8.05 c Core size: 19 Core Weight: 1 Total Weight: -250 7.98/8.05 c Elapsed CPU time: 7.92479 s Remaining CPU time: 1792.08 s 7.98/8.09 c core #251 7.98/8.09 c Core size: 43 Core Weight: 1 Total Weight: -249 7.98/8.09 c Elapsed CPU time: 7.95879 s Remaining CPU time: 1792.04 s 8.09/8.12 c core #252 8.09/8.12 c Core size: 22 Core Weight: 1 Total Weight: -248 8.09/8.12 c Elapsed CPU time: 7.99179 s Remaining CPU time: 1792.01 s 8.09/8.15 c ============================[ Search Statistics ]============================== 8.09/8.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.09/8.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.09/8.15 c =============================================================================== 8.09/8.15 c | 0 | 1056 17422 40034 | 5807 0 nan | 0.000 % | 8.09/8.16 c =============================================================================== 8.09/8.16 c core #253 8.09/8.16 c Core size: 24 Core Weight: 1 Total Weight: -247 8.09/8.16 c Elapsed CPU time: 8.02578 s Remaining CPU time: 1791.97 s 8.09/8.19 c ============================[ Search Statistics ]============================== 8.09/8.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.09/8.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.09/8.19 c =============================================================================== 8.09/8.19 c | 0 | 1065 17423 40052 | 5807 0 nan | 0.000 % | 8.09/8.19 c =============================================================================== 8.09/8.19 c core #254 8.09/8.19 c Core size: 62 Core Weight: 1 Total Weight: -246 8.09/8.19 c Elapsed CPU time: 8.06077 s Remaining CPU time: 1791.94 s 8.19/8.22 c ============================[ Search Statistics ]============================== 8.19/8.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.19/8.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.19/8.22 c =============================================================================== 8.19/8.22 c | 0 | 1088 17424 40098 | 5808 0 nan | 0.000 % | 8.19/8.22 c =============================================================================== 8.19/8.22 c core #255 8.19/8.22 c Core size: 15 Core Weight: 1 Total Weight: -245 8.19/8.22 c Elapsed CPU time: 8.09377 s Remaining CPU time: 1791.91 s 8.19/8.26 c ============================[ Search Statistics ]============================== 8.19/8.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.19/8.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.19/8.26 c =============================================================================== 8.19/8.26 c | 0 | 1094 17425 40110 | 5808 0 nan | 0.000 % | 8.19/8.26 c =============================================================================== 8.19/8.26 c core #256 8.19/8.26 c Core size: 20 Core Weight: 1 Total Weight: -244 8.19/8.26 c Elapsed CPU time: 8.12876 s Remaining CPU time: 1791.87 s 8.19/8.29 c ============================[ Search Statistics ]============================== 8.19/8.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.19/8.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.19/8.29 c =============================================================================== 8.19/8.29 c | 0 | 1102 17426 40126 | 5808 0 nan | 0.000 % | 8.19/8.29 c =============================================================================== 8.19/8.29 c core #257 8.19/8.29 c Core size: 21 Core Weight: 1 Total Weight: -243 8.19/8.29 c Elapsed CPU time: 8.16076 s Remaining CPU time: 1791.84 s 8.29/8.32 c ============================[ Search Statistics ]============================== 8.29/8.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.29/8.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.29/8.32 c =============================================================================== 8.29/8.32 c | 0 | 1110 17427 40142 | 5809 0 nan | 0.000 % | 8.29/8.33 c =============================================================================== 8.29/8.33 c core #258 8.29/8.33 c Core size: 21 Core Weight: 1 Total Weight: -242 8.29/8.33 c Elapsed CPU time: 8.19275 s Remaining CPU time: 1791.81 s 8.29/8.36 c ============================[ Search Statistics ]============================== 8.29/8.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.29/8.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.29/8.36 c =============================================================================== 8.29/8.36 c | 0 | 1118 17428 40158 | 5809 0 nan | 0.000 % | 8.29/8.36 c =============================================================================== 8.29/8.36 c core #259 8.29/8.36 c Core size: 22 Core Weight: 1 Total Weight: -241 8.29/8.36 c Elapsed CPU time: 8.22475 s Remaining CPU time: 1791.78 s 8.29/8.39 c ============================[ Search Statistics ]============================== 8.29/8.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.29/8.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.29/8.39 c =============================================================================== 8.29/8.39 c | 0 | 1126 17429 40174 | 5809 0 nan | 0.000 % | 8.29/8.40 c =============================================================================== 8.29/8.40 c core #260 8.29/8.40 c Core size: 15 Core Weight: 1 Total Weight: -240 8.29/8.40 c Elapsed CPU time: 8.25874 s Remaining CPU time: 1791.74 s 8.38/8.43 c ============================[ Search Statistics ]============================== 8.38/8.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.38/8.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.38/8.43 c =============================================================================== 8.38/8.43 c | 0 | 1132 17430 40186 | 5810 0 nan | 0.000 % | 8.38/8.43 c =============================================================================== 8.38/8.43 c core #261 8.38/8.43 c Core size: 15 Core Weight: 1 Total Weight: -239 8.38/8.43 c Elapsed CPU time: 8.29274 s Remaining CPU time: 1791.71 s 8.38/8.46 c ============================[ Search Statistics ]============================== 8.38/8.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.38/8.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.38/8.46 c =============================================================================== 8.38/8.46 c | 0 | 1138 17431 40198 | 5810 0 nan | 0.000 % | 8.38/8.46 c =============================================================================== 8.38/8.46 c core #262 8.38/8.46 c Core size: 26 Core Weight: 1 Total Weight: -238 8.38/8.46 c Elapsed CPU time: 8.32573 s Remaining CPU time: 1791.67 s 8.38/8.49 c ============================[ Search Statistics ]============================== 8.38/8.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.38/8.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.38/8.49 c =============================================================================== 8.38/8.49 c | 0 | 1148 17432 40218 | 5810 0 nan | 0.000 % | 8.38/8.50 c =============================================================================== 8.38/8.50 c core #263 8.38/8.50 c Core size: 21 Core Weight: 1 Total Weight: -237 8.38/8.50 c Elapsed CPU time: 8.35773 s Remaining CPU time: 1791.64 s 8.48/8.53 c ============================[ Search Statistics ]============================== 8.48/8.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.48/8.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.48/8.53 c =============================================================================== 8.48/8.53 c | 0 | 1156 17433 40234 | 5811 0 nan | 0.000 % | 8.48/8.53 c =============================================================================== 8.48/8.53 c core #264 8.48/8.53 c Core size: 22 Core Weight: 1 Total Weight: -236 8.48/8.53 c Elapsed CPU time: 8.39272 s Remaining CPU time: 1791.61 s 8.48/8.56 c ============================[ Search Statistics ]============================== 8.48/8.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.48/8.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.48/8.56 c =============================================================================== 8.48/8.56 c | 0 | 1164 17434 40250 | 5811 0 nan | 0.000 % | 8.48/8.57 c =============================================================================== 8.48/8.57 c core #265 8.48/8.57 c Core size: 47 Core Weight: 1 Total Weight: -235 8.48/8.57 c Elapsed CPU time: 8.42572 s Remaining CPU time: 1791.57 s 8.48/8.60 c ============================[ Search Statistics ]============================== 8.48/8.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.48/8.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.48/8.60 c =============================================================================== 8.48/8.60 c | 0 | 1182 17435 40286 | 5811 0 nan | 0.000 % | 8.59/8.60 c =============================================================================== 8.59/8.60 c core #266 8.59/8.60 c Core size: 27 Core Weight: 1 Total Weight: -234 8.59/8.60 c Elapsed CPU time: 8.45871 s Remaining CPU time: 1791.54 s 8.59/8.63 c ============================[ Search Statistics ]============================== 8.59/8.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.59/8.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.59/8.63 c =============================================================================== 8.59/8.63 c | 0 | 1192 17436 40306 | 5812 0 nan | 0.000 % | 8.59/8.63 c =============================================================================== 8.59/8.63 c core #267 8.59/8.63 c Core size: 27 Core Weight: 1 Total Weight: -233 8.59/8.63 c Elapsed CPU time: 8.49271 s Remaining CPU time: 1791.51 s 8.59/8.67 c ============================[ Search Statistics ]============================== 8.59/8.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.59/8.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.59/8.67 c =============================================================================== 8.59/8.67 c | 0 | 1202 17437 40326 | 5812 0 nan | 0.000 % | 8.59/8.67 c =============================================================================== 8.59/8.67 c core #268 8.59/8.67 c Core size: 21 Core Weight: 1 Total Weight: -232 8.59/8.67 c Elapsed CPU time: 8.5257 s Remaining CPU time: 1791.47 s 8.59/8.70 c ============================[ Search Statistics ]============================== 8.59/8.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.59/8.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.59/8.70 c =============================================================================== 8.59/8.70 c | 0 | 1210 17438 40342 | 5812 0 nan | 0.000 % | 8.69/8.70 c =============================================================================== 8.69/8.70 c core #269 8.69/8.70 c Core size: 21 Core Weight: 1 Total Weight: -231 8.69/8.70 c Elapsed CPU time: 8.5607 s Remaining CPU time: 1791.44 s 8.69/8.73 c ============================[ Search Statistics ]============================== 8.69/8.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.69/8.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.69/8.73 c =============================================================================== 8.69/8.73 c | 0 | 1218 17439 40358 | 5813 0 nan | 0.000 % | 8.69/8.74 c =============================================================================== 8.69/8.74 c core #270 8.69/8.74 c Core size: 26 Core Weight: 1 Total Weight: -230 8.69/8.74 c Elapsed CPU time: 8.59269 s Remaining CPU time: 1791.41 s 8.69/8.77 c ============================[ Search Statistics ]============================== 8.69/8.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.69/8.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.69/8.77 c =============================================================================== 8.69/8.77 c | 0 | 1228 17440 40378 | 5813 0 nan | 0.000 % | 8.69/8.77 c =============================================================================== 8.69/8.77 c core #271 8.69/8.77 c Core size: 20 Core Weight: 1 Total Weight: -229 8.69/8.77 c Elapsed CPU time: 8.62569 s Remaining CPU time: 1791.37 s 8.79/8.80 c ============================[ Search Statistics ]============================== 8.79/8.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.79/8.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.79/8.80 c =============================================================================== 8.79/8.80 c | 0 | 1236 17441 40394 | 5813 0 nan | 0.000 % | 8.79/8.81 c =============================================================================== 8.79/8.81 c core #272 8.79/8.81 c Core size: 21 Core Weight: 1 Total Weight: -228 8.79/8.81 c Elapsed CPU time: 8.66068 s Remaining CPU time: 1791.34 s 8.79/8.84 c ============================[ Search Statistics ]============================== 8.79/8.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.79/8.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.79/8.84 c =============================================================================== 8.79/8.84 c | 0 | 1244 17442 40410 | 5814 0 nan | 0.000 % | 8.79/8.84 c =============================================================================== 8.79/8.84 c core #273 8.79/8.84 c Core size: 21 Core Weight: 1 Total Weight: -227 8.79/8.84 c Elapsed CPU time: 8.69368 s Remaining CPU time: 1791.31 s 8.79/8.87 c ============================[ Search Statistics ]============================== 8.79/8.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.79/8.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.79/8.87 c =============================================================================== 8.79/8.87 c | 0 | 1252 17443 40426 | 5814 0 nan | 0.000 % | 8.79/8.88 c =============================================================================== 8.79/8.88 c core #274 8.79/8.88 c Core size: 20 Core Weight: 1 Total Weight: -226 8.79/8.88 c Elapsed CPU time: 8.72967 s Remaining CPU time: 1791.27 s 8.88/8.91 c ============================[ Search Statistics ]============================== 8.88/8.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.88/8.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.88/8.91 c =============================================================================== 8.88/8.91 c | 0 | 1260 17444 40442 | 5814 0 nan | 0.000 % | 8.88/8.91 c =============================================================================== 8.88/8.91 c core #275 8.88/8.91 c Core size: 25 Core Weight: 1 Total Weight: -225 8.88/8.91 c Elapsed CPU time: 8.76467 s Remaining CPU time: 1791.24 s 8.88/8.94 c ============================[ Search Statistics ]============================== 8.88/8.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.88/8.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.88/8.94 c =============================================================================== 8.88/8.94 c | 0 | 1269 17445 40460 | 5815 0 nan | 0.000 % | 8.88/8.95 c =============================================================================== 8.88/8.95 c core #276 8.88/8.95 c Core size: 26 Core Weight: 1 Total Weight: -224 8.88/8.95 c Elapsed CPU time: 8.79766 s Remaining CPU time: 1791.2 s 8.88/8.98 c ============================[ Search Statistics ]============================== 8.88/8.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.88/8.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.88/8.98 c =============================================================================== 8.88/8.98 c | 0 | 1279 17446 40480 | 5815 0 nan | 0.000 % | 8.88/8.98 c =============================================================================== 8.88/8.98 c core #277 8.88/8.98 c Core size: 21 Core Weight: 1 Total Weight: -223 8.88/8.98 c Elapsed CPU time: 8.83266 s Remaining CPU time: 1791.17 s 8.98/9.01 c ============================[ Search Statistics ]============================== 8.98/9.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.98/9.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.98/9.01 c =============================================================================== 8.98/9.01 c | 0 | 1287 17447 40496 | 5815 0 nan | 0.000 % | 8.98/9.02 c =============================================================================== 8.98/9.02 c core #278 8.98/9.02 c Core size: 27 Core Weight: 1 Total Weight: -222 8.98/9.02 c Elapsed CPU time: 8.86665 s Remaining CPU time: 1791.13 s 8.98/9.05 c ============================[ Search Statistics ]============================== 8.98/9.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.98/9.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.98/9.05 c =============================================================================== 8.98/9.05 c | 0 | 1297 17448 40516 | 5816 0 nan | 0.000 % | 8.98/9.05 c =============================================================================== 8.98/9.05 c core #279 8.98/9.05 c Core size: 26 Core Weight: 1 Total Weight: -221 8.98/9.05 c Elapsed CPU time: 8.90065 s Remaining CPU time: 1791.1 s 8.98/9.08 c ============================[ Search Statistics ]============================== 8.98/9.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.98/9.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.98/9.08 c =============================================================================== 8.98/9.08 c | 0 | 1307 17449 40536 | 5816 0 nan | 0.000 % | 8.98/9.09 c =============================================================================== 8.98/9.09 c core #280 8.98/9.09 c Core size: 22 Core Weight: 1 Total Weight: -220 8.98/9.09 c Elapsed CPU time: 8.93264 s Remaining CPU time: 1791.07 s 9.09/9.12 c ============================[ Search Statistics ]============================== 9.09/9.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.09/9.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.09/9.12 c =============================================================================== 9.09/9.12 c | 0 | 1315 17450 40552 | 5816 0 nan | 0.000 % | 9.09/9.12 c =============================================================================== 9.09/9.12 c core #281 9.09/9.12 c Core size: 27 Core Weight: 1 Total Weight: -219 9.09/9.12 c Elapsed CPU time: 8.96664 s Remaining CPU time: 1791.03 s 9.09/9.15 c ============================[ Search Statistics ]============================== 9.09/9.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.09/9.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.09/9.15 c =============================================================================== 9.09/9.15 c | 0 | 1325 17451 40572 | 5817 0 nan | 0.000 % | 9.09/9.16 c =============================================================================== 9.09/9.16 c core #282 9.09/9.16 c Core size: 30 Core Weight: 1 Total Weight: -218 9.09/9.16 c Elapsed CPU time: 9.00063 s Remaining CPU time: 1791 s 9.09/9.19 c ============================[ Search Statistics ]============================== 9.09/9.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.09/9.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.09/9.19 c =============================================================================== 9.09/9.19 c | 0 | 1336 17452 40594 | 5817 0 nan | 0.000 % | 9.09/9.19 c =============================================================================== 9.09/9.19 c core #283 9.09/9.19 c Core size: 32 Core Weight: 1 Total Weight: -217 9.09/9.19 c Elapsed CPU time: 9.03463 s Remaining CPU time: 1790.97 s 9.18/9.22 c ============================[ Search Statistics ]============================== 9.18/9.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.18/9.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.18/9.22 c =============================================================================== 9.18/9.22 c | 0 | 1348 17453 40618 | 5817 0 nan | 0.000 % | 9.18/9.23 c =============================================================================== 9.18/9.23 c core #284 9.18/9.23 c Core size: 20 Core Weight: 1 Total Weight: -216 9.18/9.23 c Elapsed CPU time: 9.06762 s Remaining CPU time: 1790.93 s 9.18/9.26 c ============================[ Search Statistics ]============================== 9.18/9.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.18/9.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.18/9.26 c =============================================================================== 9.18/9.26 c | 0 | 1356 17454 40634 | 5818 0 nan | 0.000 % | 9.18/9.26 c =============================================================================== 9.18/9.26 c core #285 9.18/9.26 c Core size: 21 Core Weight: 1 Total Weight: -215 9.18/9.26 c Elapsed CPU time: 9.10262 s Remaining CPU time: 1790.9 s 9.18/9.30 c ============================[ Search Statistics ]============================== 9.18/9.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.18/9.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.18/9.30 c =============================================================================== 9.18/9.30 c | 0 | 1364 17455 40650 | 5818 0 nan | 0.000 % | 9.28/9.30 c =============================================================================== 9.28/9.30 c core #286 9.28/9.30 c Core size: 27 Core Weight: 1 Total Weight: -214 9.28/9.30 c Elapsed CPU time: 9.13761 s Remaining CPU time: 1790.86 s 9.28/9.33 c ============================[ Search Statistics ]============================== 9.28/9.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.28/9.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.28/9.33 c =============================================================================== 9.28/9.33 c | 0 | 1374 17456 40670 | 5818 0 nan | 0.000 % | 9.28/9.33 c =============================================================================== 9.28/9.33 c core #287 9.28/9.33 c Core size: 27 Core Weight: 1 Total Weight: -213 9.28/9.33 c Elapsed CPU time: 9.1716 s Remaining CPU time: 1790.83 s 9.28/9.37 c ============================[ Search Statistics ]============================== 9.28/9.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.28/9.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.28/9.37 c =============================================================================== 9.28/9.37 c | 0 | 1384 17457 40690 | 5819 0 nan | 0.000 % | 9.28/9.37 c =============================================================================== 9.28/9.37 c core #288 9.28/9.37 c Core size: 21 Core Weight: 1 Total Weight: -212 9.28/9.37 c Elapsed CPU time: 9.2076 s Remaining CPU time: 1790.79 s 9.38/9.40 c ============================[ Search Statistics ]============================== 9.38/9.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.38/9.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.38/9.40 c =============================================================================== 9.38/9.40 c | 0 | 1392 17458 40706 | 5819 0 nan | 0.000 % | 9.38/9.40 c =============================================================================== 9.38/9.40 c core #289 9.38/9.40 c Core size: 25 Core Weight: 1 Total Weight: -211 9.38/9.40 c Elapsed CPU time: 9.2406 s Remaining CPU time: 1790.76 s 9.38/9.44 c ============================[ Search Statistics ]============================== 9.38/9.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.38/9.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.38/9.44 c =============================================================================== 9.38/9.44 c | 0 | 1402 17459 40726 | 5819 0 nan | 0.000 % | 9.38/9.44 c =============================================================================== 9.38/9.44 c core #290 9.38/9.44 c Core size: 24 Core Weight: 1 Total Weight: -210 9.38/9.44 c Elapsed CPU time: 9.27459 s Remaining CPU time: 1790.73 s 9.38/9.47 c ============================[ Search Statistics ]============================== 9.38/9.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.38/9.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.38/9.47 c =============================================================================== 9.38/9.47 c | 0 | 1410 17460 40742 | 5820 0 nan | 0.000 % | 9.38/9.48 c =============================================================================== 9.38/9.48 c core #291 9.38/9.48 c Core size: 27 Core Weight: 1 Total Weight: -209 9.38/9.48 c Elapsed CPU time: 9.30858 s Remaining CPU time: 1790.69 s 9.48/9.51 c ============================[ Search Statistics ]============================== 9.48/9.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.48/9.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.48/9.51 c =============================================================================== 9.48/9.51 c | 0 | 1420 17461 40762 | 5820 0 nan | 0.000 % | 9.48/9.51 c =============================================================================== 9.48/9.51 c core #292 9.48/9.51 c Core size: 35 Core Weight: 1 Total Weight: -208 9.48/9.51 c Elapsed CPU time: 9.34258 s Remaining CPU time: 1790.66 s 9.48/9.54 c ============================[ Search Statistics ]============================== 9.48/9.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.48/9.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.48/9.54 c =============================================================================== 9.48/9.54 c | 0 | 1434 17462 40790 | 5820 0 nan | 0.000 % | 9.48/9.55 c =============================================================================== 9.48/9.55 c core #293 9.48/9.55 c Core size: 43 Core Weight: 1 Total Weight: -207 9.48/9.55 c Elapsed CPU time: 9.37757 s Remaining CPU time: 1790.62 s 9.48/9.58 c ============================[ Search Statistics ]============================== 9.48/9.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.48/9.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.48/9.58 c =============================================================================== 9.48/9.58 c | 0 | 1449 17463 40820 | 5821 0 nan | 0.000 % | 9.48/9.58 c =============================================================================== 9.48/9.58 c core #294 9.48/9.58 c Core size: 31 Core Weight: 1 Total Weight: -206 9.48/9.58 c Elapsed CPU time: 9.41157 s Remaining CPU time: 1790.59 s 9.58/9.61 c ============================[ Search Statistics ]============================== 9.58/9.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.58/9.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.58/9.61 c =============================================================================== 9.58/9.61 c | 0 | 1461 17464 40844 | 5821 0 nan | 0.000 % | 9.58/9.62 c =============================================================================== 9.58/9.62 c core #295 9.58/9.62 c Core size: 48 Core Weight: 1 Total Weight: -205 9.58/9.62 c Elapsed CPU time: 9.44656 s Remaining CPU time: 1790.55 s 9.58/9.65 c ============================[ Search Statistics ]============================== 9.58/9.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.58/9.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.58/9.65 c =============================================================================== 9.58/9.65 c | 0 | 1478 17465 40878 | 5821 0 nan | 0.000 % | 9.58/9.65 c =============================================================================== 9.58/9.65 c core #296 9.58/9.65 c Core size: 89 Core Weight: 1 Total Weight: -204 9.58/9.65 c Elapsed CPU time: 9.48356 s Remaining CPU time: 1790.52 s 9.58/9.69 c ============================[ Search Statistics ]============================== 9.58/9.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.58/9.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.58/9.69 c =============================================================================== 9.58/9.69 c | 0 | 1510 17466 40942 | 5822 0 nan | 0.000 % | 9.58/9.69 c =============================================================================== 9.58/9.69 c core #297 9.58/9.69 c Core size: 168 Core Weight: 1 Total Weight: -203 9.58/9.69 c Elapsed CPU time: 9.52155 s Remaining CPU time: 1790.48 s 9.68/9.73 c ============================[ Search Statistics ]============================== 9.68/9.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.68/9.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.68/9.73 c =============================================================================== 9.68/9.73 c | 0 | 1563 17467 41048 | 5822 0 nan | 0.000 % | 9.68/9.73 c | 100 | 1563 17467 41048 | 6404 100 25 | 83.369 % | 9.68/9.74 c =============================================================================== 9.68/9.74 c core #298 9.68/9.74 c Core size: 227 Core Weight: 1 Total Weight: -202 9.68/9.74 c Elapsed CPU time: 9.56754 s Remaining CPU time: 1790.43 s 9.68/9.77 c ============================[ Search Statistics ]============================== 9.68/9.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.68/9.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.68/9.77 c =============================================================================== 9.68/9.77 c | 0 | 1633 17468 41188 | 5822 0 nan | 0.000 % | 9.68/9.78 c | 105 | 1633 17468 41188 | 6404 105 50 | 82.752 % | 9.68/9.80 c | 255 | 1633 17468 41188 | 7045 255 54 | 82.752 % | 9.78/9.82 c | 480 | 1633 17468 41188 | 7749 480 60 | 82.752 % | 9.78/9.85 c | 822 | 1633 17468 41188 | 8524 822 57 | 82.752 % | 9.88/9.91 c | 1329 | 1633 17468 41188 | 9377 1329 68 | 82.752 % | 9.88/9.97 c =============================================================================== 9.88/9.99 c core #299 9.88/9.99 c Core size: 581 Core Weight: 1 Total Weight: -201 9.88/9.99 c Elapsed CPU time: 9.81251 s Remaining CPU time: 1790.19 s 9.98/10.02 c ============================[ Search Statistics ]============================== 9.98/10.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.98/10.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.98/10.02 c =============================================================================== 9.98/10.02 c | 0 | 1768 17469 41458 | 5823 0 nan | 0.000 % | 9.98/10.03 c | 101 | 1768 17469 41458 | 6405 101 44 | 81.589 % | 9.98/10.04 c | 252 | 1768 17469 41458 | 7045 252 39 | 81.589 % | 9.98/10.06 c | 478 | 1768 17469 41458 | 7750 478 38 | 81.589 % | 9.98/10.09 c | 815 | 1768 17469 41458 | 8525 815 40 | 81.589 % | 10.07/10.16 c | 1329 | 1768 17469 41458 | 9377 1329 56 | 81.589 % | 10.17/10.29 c | 2088 | 1768 17469 41458 | 10315 2088 70 | 81.589 % | 10.48/10.52 c | 3227 | 1768 17469 41458 | 11347 3227 93 | 81.589 % | 10.68/10.80 c =============================================================================== 10.78/10.85 c core #300 10.78/10.85 c Core size: 1021 Core Weight: 1 Total Weight: -200 10.78/10.85 c Elapsed CPU time: 10.6614 s Remaining CPU time: 1789.34 s 10.78/10.88 c ============================[ Search Statistics ]============================== 10.78/10.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.78/10.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.78/10.88 c =============================================================================== 10.78/10.88 c | 0 | 1966 17470 41854 | 5823 0 nan | 0.000 % | 10.78/10.90 c | 101 | 1966 17470 41854 | 6405 101 42 | 79.941 % | 10.88/10.91 c | 251 | 1966 17470 41854 | 7046 251 49 | 79.941 % | 10.88/10.93 c | 476 | 1966 17470 41854 | 7750 476 51 | 79.941 % | 10.88/10.96 c | 813 | 1966 17470 41854 | 8525 813 49 | 79.941 % | 10.98/11.02 c | 1319 | 1966 17470 41854 | 9378 1319 60 | 79.941 % | 11.08/11.12 c | 2080 | 1966 17470 41854 | 10316 2080 65 | 79.941 % | 11.18/11.25 c =============================================================================== 11.18/11.28 c core #301 11.18/11.28 c Core size: 741 Core Weight: 1 Total Weight: -199 11.18/11.28 c Elapsed CPU time: 11.0823 s Remaining CPU time: 1788.92 s 11.28/11.31 c ============================[ Search Statistics ]============================== 11.28/11.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.28/11.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.28/11.31 c =============================================================================== 11.28/11.31 c | 0 | 2113 17471 42148 | 5823 0 nan | 0.000 % | 11.28/11.32 c | 103 | 2113 17471 42148 | 6406 103 41 | 78.760 % | 11.28/11.34 c | 254 | 2113 17471 42148 | 7046 254 40 | 78.760 % | 11.28/11.35 c | 479 | 2113 17471 42148 | 7751 479 46 | 78.760 % | 11.28/11.38 c | 817 | 2113 17471 42148 | 8526 817 43 | 78.760 % | 11.38/11.43 c | 1323 | 2113 17471 42148 | 9379 1323 50 | 78.760 % | 11.48/11.53 c | 2084 | 2113 17471 42148 | 10316 2084 68 | 78.760 % | 11.57/11.60 c =============================================================================== 11.57/11.62 c core #302 11.57/11.62 c Core size: 713 Core Weight: 1 Total Weight: -198 11.57/11.62 c Elapsed CPU time: 11.4183 s Remaining CPU time: 1788.58 s 11.57/11.65 c ============================[ Search Statistics ]============================== 11.57/11.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.57/11.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.57/11.65 c =============================================================================== 11.57/11.65 c | 0 | 2241 17472 42404 | 5824 0 nan | 0.000 % | 11.57/11.66 c | 101 | 2241 17472 42404 | 6406 101 25 | 77.759 % | 11.57/11.68 c | 252 | 2241 17472 42404 | 7047 252 28 | 77.759 % | 11.57/11.69 c | 478 | 2241 17472 42404 | 7751 478 42 | 77.759 % | 11.67/11.73 c | 817 | 2241 17472 42404 | 8526 817 51 | 77.759 % | 11.67/11.78 c | 1323 | 2241 17472 42404 | 9379 1323 51 | 77.759 % | 11.78/11.87 c | 2083 | 2241 17472 42404 | 10317 2083 57 | 77.759 % | 11.98/12.08 c | 3224 | 2241 17472 42404 | 11349 3224 72 | 77.759 % | 12.28/12.39 c | 4934 | 2204 17472 42404 | 12484 2013 41 | 78.126 % | 12.37/12.43 c =============================================================================== 12.37/12.48 c core #303 12.37/12.48 c Core size: 585 Core Weight: 1 Total Weight: -197 12.37/12.48 c Elapsed CPU time: 12.2701 s Remaining CPU time: 1787.73 s 12.47/12.52 c ============================[ Search Statistics ]============================== 12.47/12.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.47/12.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.47/12.52 c =============================================================================== 12.47/12.52 c | 0 | 2352 17473 42626 | 5824 0 nan | 0.000 % | 12.47/12.53 c | 101 | 2352 17473 42626 | 6406 101 26 | 76.912 % | 12.47/12.54 c | 252 | 2352 17473 42626 | 7047 252 29 | 76.912 % | 12.47/12.56 c | 477 | 2352 17473 42626 | 7752 477 34 | 76.912 % | 12.47/12.59 c | 817 | 2352 17473 42626 | 8527 817 38 | 76.912 % | 12.57/12.64 c | 1323 | 2352 17473 42626 | 9380 1323 46 | 76.912 % | 12.67/12.71 c | 2084 | 2352 17473 42626 | 10318 2084 45 | 76.912 % | 12.78/12.83 c | 3223 | 2352 17473 42626 | 11349 3223 49 | 76.912 % | 12.97/13.10 c | 4933 | 2352 17473 42626 | 12484 4933 67 | 76.912 % | 13.77/13.84 c | 7495 | 2352 17473 42626 | 13733 7495 115 | 76.912 % | 14.77/14.84 c | 11340 | 2352 17473 42626 | 15106 11340 112 | 76.912 % | 17.97/18.07 c | 17107 | 2352 17473 42626 | 16617 17107 144 | 76.912 % | 24.37/24.49 c | 25760 | 2322 17473 42626 | 18279 12778 115 | 77.206 % | 25.07/25.17 c =============================================================================== 25.57/25.62 c core #304 25.57/25.62 c Core size: 859 Core Weight: 1 Total Weight: -196 25.57/25.62 c Elapsed CPU time: 25.3062 s Remaining CPU time: 1774.69 s 25.57/25.68 c ============================[ Search Statistics ]============================== 25.57/25.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.57/25.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.57/25.68 c =============================================================================== 25.57/25.68 c | 0 | 2499 17474 42920 | 5824 0 nan | 0.000 % | 25.67/25.70 c | 100 | 2499 17474 42920 | 6407 100 105 | 75.818 % | 25.67/25.71 c | 250 | 2499 17474 42920 | 7047 250 60 | 75.818 % | 25.67/25.73 c | 475 | 2499 17474 42920 | 7752 475 51 | 75.818 % | 25.67/25.76 c | 812 | 2499 17474 42920 | 8527 812 43 | 75.818 % | 25.77/25.81 c | 1318 | 2499 17474 42920 | 9380 1318 51 | 75.818 % | 25.77/25.87 c | 2077 | 2499 17474 42920 | 10318 2077 50 | 75.818 % | 25.87/25.99 c | 3216 | 2499 17474 42920 | 11350 3216 55 | 75.818 % | 26.17/26.23 c | 4928 | 2499 17474 42920 | 12485 4928 60 | 75.818 % | 26.66/26.78 c | 7490 | 2499 17474 42920 | 13734 7490 67 | 75.818 % | 28.26/28.36 c | 11334 | 2499 17474 42920 | 15107 11334 93 | 75.818 % | 31.37/31.47 c | 17101 | 2499 17474 42920 | 16618 17101 111 | 75.818 % | 39.36/39.40 c | 25752 | 2499 17474 42920 | 18280 13494 165 | 75.818 % | 50.55/50.62 c | 38726 | 2499 17474 42920 | 20108 13262 154 | 75.818 % | 59.76/59.81 c | 58189 | 2499 17474 42920 | 22119 18473 86 | 75.818 % | 82.55/82.67 c | 87381 | 2499 17474 42920 | 24331 16193 156 | 75.818 % | 99.15/99.28 c =============================================================================== 100.94/101.08 c core #305 100.94/101.08 c Core size: 912 Core Weight: 1 Total Weight: -195 100.94/101.08 c Elapsed CPU time: 100.363 s Remaining CPU time: 1699.64 s 101.15/101.23 c ============================[ Search Statistics ]============================== 101.15/101.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 101.15/101.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 101.15/101.23 c =============================================================================== 101.15/101.23 c | 0 | 2639 17475 43200 | 5825 0 nan | 0.000 % | 101.15/101.26 c | 101 | 2639 17475 43200 | 6407 101 59 | 74.804 % | 101.15/101.27 c | 251 | 2639 17475 43200 | 7048 251 54 | 74.804 % | 101.15/101.29 c | 479 | 2639 17475 43200 | 7753 479 59 | 74.804 % | 101.24/101.33 c | 817 | 2639 17475 43200 | 8528 817 75 | 74.804 % | 101.34/101.40 c | 1326 | 2639 17475 43200 | 9381 1326 90 | 74.804 % | 101.44/101.52 c | 2087 | 2639 17475 43200 | 10319 2087 94 | 74.804 % | 101.64/101.74 c | 3230 | 2639 17475 43200 | 11351 3230 104 | 74.804 % | 102.15/102.27 c | 4939 | 2639 17475 43200 | 12486 4939 126 | 74.804 % | 103.14/103.27 c | 7502 | 2639 17475 43200 | 13735 7502 135 | 74.804 % | 105.74/105.89 c | 11347 | 2639 17475 43200 | 15108 11347 157 | 74.804 % | 110.54/110.64 c | 17116 | 2639 17475 43200 | 16619 17116 177 | 74.804 % | 124.15/124.25 c | 25767 | 2639 17475 43200 | 18281 13497 222 | 74.804 % | 141.24/141.39 c | 38741 | 2639 17475 43200 | 20109 13398 230 | 74.804 % | 154.52/154.67 c | 58202 | 2639 17475 43200 | 22120 17061 155 | 74.804 % | 178.52/178.60 c | 87396 | 2639 17475 43200 | 24332 29302 167 | 74.804 % | 213.71/213.85 c | 131187 | 2639 17475 43200 | 26765 19372 132 | 74.804 % | 266.90/267.01 c | 196874 | 2639 17475 43200 | 29442 25103 114 | 74.804 % | 300.99/301.11 c =============================================================================== 305.50/305.66 c core #306 305.50/305.66 c Core size: 1336 Core Weight: 1 Total Weight: -194 305.50/305.66 c Elapsed CPU time: 303.905 s Remaining CPU time: 1496.1 s 305.79/305.95 c ============================[ Search Statistics ]============================== 305.79/305.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 305.79/305.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 305.79/305.95 c =============================================================================== 305.79/305.95 c | 0 | 2813 17476 43548 | 5825 0 nan | 0.000 % | 305.89/306.01 c | 100 | 2813 17476 43548 | 6407 100 87 | 73.582 % | 305.89/306.02 c | 250 | 2813 17476 43548 | 7048 250 52 | 73.582 % | 305.89/306.04 c | 478 | 2813 17476 43548 | 7753 478 51 | 73.582 % | 305.89/306.08 c | 815 | 2813 17476 43548 | 8528 815 56 | 73.582 % | 305.99/306.13 c | 1324 | 2813 17476 43548 | 9381 1324 58 | 73.582 % | 306.09/306.23 c | 2084 | 2813 17476 43548 | 10319 2084 67 | 73.582 % | 306.19/306.39 c | 3225 | 2813 17476 43548 | 11351 3225 79 | 73.582 % | 306.59/306.75 c | 4933 | 2813 17476 43548 | 12487 4933 91 | 73.582 % | 307.39/307.51 c | 7495 | 2813 17476 43548 | 13735 7495 129 | 73.582 % | 309.49/309.64 c | 11342 | 2813 17476 43548 | 15109 11342 179 | 73.582 % | 314.79/314.96 c | 17109 | 2813 17476 43548 | 16620 17109 220 | 73.582 % | 323.88/324.07 c | 25758 | 2813 17476 43548 | 18282 13420 248 | 73.582 % | 335.08/335.21 c | 38738 | 2813 17476 43548 | 20110 26400 243 | 73.582 % | 352.88/353.01 c | 58203 | 2813 17476 43548 | 22121 13973 204 | 73.582 % | 390.97/391.16 c | 87395 | 2813 17476 43548 | 24333 25999 213 | 73.582 % | 456.35/456.55 c | 131184 | 2813 17476 43548 | 26767 13969 175 | 73.582 % | 554.53/554.76 c | 196873 | 2813 17476 43548 | 29443 16390 375 | 73.582 % | 719.19/719.45 c | 295401 | 2813 17476 43548 | 32388 20239 207 | 73.582 % | 913.54/913.88 c | 443194 | 2813 17476 43548 | 35627 40100 241 | 73.582 % | 1217.16/1217.51 c | 664888 | 2813 17476 43548 | 39189 32592 231 | 73.582 % | 1673.44/1673.96 c | 997415 | 2813 17476 43548 | 43108 43291 341 | 73.582 % |
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-1875379-1245204398/watcher-1875379-1245204398 -o /tmp/evaluation-result-1875379-1245204398/solver-1875379-1245204398 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875379-1245204398.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.95 1.04 1.01 3/64 5858 /proc/meminfo: memFree=1779368/2055920 swapFree=4181368/4192956 [pid=5858] ppid=5856 vsize=3452 CPUtime=0 /proc/5858/stat : 5858 (wbo) R 5856 5858 5279 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 188037172 3534848 242 1992294400 134512640 135709839 4294956240 18446744073709551615 134564859 0 0 4096 3 0 0 0 17 1 0 0 /proc/5858/statm: 863 242 125 292 0 406 0 [startup+0.0717119 s] /proc/loadavg: 0.95 1.04 1.01 3/64 5858 /proc/meminfo: memFree=1779368/2055920 swapFree=4181368/4192956 [pid=5858] ppid=5856 vsize=5536 CPUtime=0.06 /proc/5858/stat : 5858 (wbo) R 5856 5858 5279 0 -1 4194304 864 0 0 0 6 0 0 0 18 0 1 0 188037172 5668864 848 1992294400 134512640 135709839 4294956240 18446744073709551615 134547984 0 0 4096 3 0 0 0 17 1 0 0 /proc/5858/statm: 1384 848 230 292 0 927 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 5536 [startup+0.102714 s] /proc/loadavg: 0.95 1.04 1.01 3/64 5858 /proc/meminfo: memFree=1779368/2055920 swapFree=4181368/4192956 [pid=5858] ppid=5856 vsize=5932 CPUtime=0.09 /proc/5858/stat : 5858 (wbo) R 5856 5858 5279 0 -1 4194304 1016 0 0 0 9 0 0 0 18 0 1 0 188037172 6074368 1000 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/5858/statm: 1483 1001 284 292 0 1026 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5932 [startup+0.302732 s] /proc/loadavg: 0.95 1.04 1.01 3/64 5858 /proc/meminfo: memFree=1779368/2055920 swapFree=4181368/4192956 [pid=5858] ppid=5856 vsize=11608 CPUtime=0.29 /proc/5858/stat : 5858 (wbo) R 5856 5858 5279 0 -1 4194304 2797 0 0 0 29 0 0 0 19 0 1 0 188037172 11886592 2423 1992294400 134512640 135709839 4294956240 18446744073709551615 134565110 0 0 4096 3 0 0 0 17 1 0 0 /proc/5858/statm: 2902 2423 134 292 0 2607 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11608 [startup+0.701773 s] /proc/loadavg: 0.95 1.04 1.01 3/64 5858 /proc/meminfo: memFree=1779368/2055920 swapFree=4181368/4192956 [pid=5858] ppid=5856 vsize=18220 CPUtime=0.69 /proc/5858/stat : 5858 (wbo) R 5856 5858 5279 0 -1 4194304 4454 0 0 0 68 1 0 0 22 0 1 0 188037172 18657280 4080 1992294400 134512640 135709839 4294956240 18446744073709551615 135166693 0 0 4096 3 0 0 0 17 1 0 0 /proc/5858/statm: 4555 4080 134 292 0 4260 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18220 [startup+1.50185 s] /proc/loadavg: 0.95 1.04 1.01 2/65 5859 /proc/meminfo: memFree=1758240/2055920 swapFree=4181368/4192956 [pid=5858] ppid=5856 vsize=31876 CPUtime=1.49 /proc/5858/stat : 5858 (wbo) R 5856 5858 5279 0 -1 4194304 7877 0 0 0 147 2 0 0 25 0 1 0 188037172 32641024 7503 1992294400 134512640 135709839 4294956240 18446744073709551615 134605368 0 0 4096 3 0 0 0 17 1 0 0 /proc/5858/statm: 7969 7503 134 292 0 7674 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 31876 [startup+3.10201 s] /proc/loadavg: 0.95 1.04 1.01 2/65 5859 /proc/meminfo: memFree=1739360/2055920 swapFree=4181368/4192956 [pid=5858] ppid=5856 vsize=58960 CPUtime=3.09 /proc/5858/stat : 5858 (wbo) R 5856 5858 5279 0 -1 4194304 14651 0 0 0 304 5 0 0 25 0 1 0 188037172 60375040 14277 1992294400 134512640 135709839 4294956240 18446744073709551615 135166260 0 0 4096 3 0 0 0 17 1 0 0 /proc/5858/statm: 14740 14277 134 292 0 14445 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 58960 [startup+6.30133 s] /proc/loadavg: 1.03 1.06 1.02 2/65 5859 /proc/meminfo: memFree=1684640/2055920 swapFree=4181368/4192956 [pid=5858] ppid=5856 vsize=110768 CPUtime=6.29 /proc/5858/stat : 5858 (wbo) R 5856 5858 5279 0 -1 4194304 27620 0 0 0 619 10 0 0 25 0 1 0 188037172 113426432 27246 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/5858/statm: 27692 27246 134 292 0 27397 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 110768 [startup+12.702 s] /proc/loadavg: 1.03 1.06 1.02 2/65 5859 /proc/meminfo: memFree=1610400/2055920 swapFree=4181368/4192956 [pid=5858] ppid=5856 vsize=173560 CPUtime=12.67 /proc/5858/stat : 5858 (wbo) R 5856 5858 5279 0 -1 4194304 43340 0 0 0 1248 19 0 0 25 0 1 0 188037172 177725440 42858 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5858/statm: 43390 42858 136 292 0 43095 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 173560 [startup+25.5012 s] /proc/loadavg: 1.02 1.05 1.01 2/65 5859 /proc/meminfo: memFree=1585376/2055920 swapFree=4181368/4192956 [pid=5858] ppid=5856 vsize=196360 CPUtime=25.47 /proc/5858/stat : 5858 (wbo) R 5856 5858 5279 0 -1 4194304 49063 0 0 0 2518 29 0 0 25 0 1 0 188037172 201072640 48581 1992294400 134512640 135709839 4294956240 18446744073709551615 134674407 0 0 4096 3 0 0 0 17 1 0 0 /proc/5858/statm: 49090 48581 136 292 0 48795 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 196360 [startup+51.1018 s] /proc/loadavg: 1.01 1.05 1.01 2/65 5859 /proc/meminfo: memFree=1565728/2055920 swapFree=4181368/4192956 [pid=5858] ppid=5856 vsize=216120 CPUtime=51.06 /proc/5858/stat : 5858 (wbo) R 5856 5858 5279 0 -1 4194304 54024 0 0 0 5063 43 0 0 25 0 1 0 188037172 221306880 53542 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5858/statm: 54030 53542 136 292 0 53735 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 216120 [startup+102.306 s] /proc/loadavg: 1.00 1.04 1.01 2/65 5859 /proc/meminfo: memFree=1502560/2055920 swapFree=4181368/4192956 [pid=5858] ppid=5856 vsize=278656 CPUtime=102.24 /proc/5858/stat : 5858 (wbo) R 5856 5858 5279 0 -1 4194304 69593 0 0 0 10155 69 0 0 25 0 1 0 188037172 285343744 69111 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5858/statm: 69664 69111 136 292 0 69369 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 278656 [startup+162.302 s] /proc/loadavg: 1.00 1.03 1.00 2/65 5859 /proc/meminfo: memFree=1468832/2055920 swapFree=4181368/4192956 [pid=5858] ppid=5856 vsize=312788 CPUtime=162.23 /proc/5858/stat : 5858 (wbo) R 5856 5858 5279 0 -1 4194304 78164 0 0 0 16130 93 0 0 25 0 1 0 188037172 320294912 77682 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5858/statm: 78197 77682 136 292 0 77902 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 312788 [startup+222.302 s] /proc/loadavg: 1.00 1.02 1.00 2/65 5859 /proc/meminfo: memFree=1396832/2055920 swapFree=4181368/4192956 [pid=5858] ppid=5856 vsize=384244 CPUtime=222.22 /proc/5858/stat : 5858 (wbo) R 5856 5858 5279 0 -1 4194304 96009 0 0 0 22095 127 0 0 25 0 1 0 188037172 393465856 95527 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5858/statm: 96061 95527 136 292 0 95766 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 384244 [startup+282.303 s] /proc/loadavg: 1.00 1.02 1.00 2/65 5859 /proc/meminfo: memFree=1339488/2055920 swapFree=4181368/4192956 [pid=5858] ppid=5856 vsize=442744 CPUtime=282.2 /proc/5858/stat : 5858 (wbo) R 5856 5858 5279 0 -1 4194304 110627 0 0 0 28065 155 0 0 25 0 1 0 188037172 453369856 110145 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5858/statm: 110686 110145 136 292 0 110391 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 442744 [startup+342.303 s] /proc/loadavg: 1.00 1.01 1.00 2/65 5859 /proc/meminfo: memFree=1299232/2055920 swapFree=4181368/4192956 [pid=5858] ppid=5856 vsize=481688 CPUtime=342.18 /proc/5858/stat : 5858 (wbo) R 5856 5858 5279 0 -1 4194304 120399 0 0 0 34038 180 0 0 25 0 1 0 188037172 493248512 119917 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5858/statm: 120422 119917 136 292 0 120127 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 481688 [startup+402.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5859 /proc/meminfo: memFree=1262432/2055920 swapFree=4181368/4192956 [pid=5858] ppid=5856 vsize=518356 CPUtime=402.17 /proc/5858/stat : 5858 (wbo) R 5856 5858 5279 0 -1 4194304 129567 0 0 0 40018 199 0 0 25 0 1 0 188037172 530796544 129085 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5858/statm: 129589 129085 136 292 0 129294 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 518356 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5859 /proc/meminfo: memFree=1215200/2055920 swapFree=4181368/4192956 [pid=5858] ppid=5856 vsize=565712 CPUtime=462.15 /proc/5858/stat : 5858 (wbo) R 5856 5858 5279 0 -1 4194304 141367 0 0 0 45994 221 0 0 25 0 1 0 188037172 579289088 140885 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/5858/statm: 141428 140885 136 292 0 141133 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 565712 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5859 /proc/meminfo: memFree=1161824/2055920 swapFree=4181368/4192956 [pid=5858] ppid=5856 vsize=619796 CPUtime=522.14 /proc/5858/stat : 5858 (wbo) R 5856 5858 5279 0 -1 4194304 154871 0 0 0 51968 246 0 0 25 0 1 0 188037172 634671104 154389 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 1 0 0 /proc/5858/statm: 154949 154389 136 292 0 154654 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 619796 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5859 /proc/meminfo: memFree=1103840/2055920 swapFree=4181368/4192956 [pid=5858] ppid=5856 vsize=676940 CPUtime=582.12 /proc/5858/stat : 5858 (wbo) R 5856 5858 5279 0 -1 4194304 169149 0 0 0 57948 264 0 0 25 0 1 0 188037172 693186560 168667 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5858/statm: 169235 168667 136 292 0 168940 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 676940 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5859 /proc/meminfo: memFree=1057888/2055920 swapFree=4181368/4192956 [pid=5858] ppid=5856 vsize=722304 CPUtime=642.1 /proc/5858/stat : 5858 (wbo) R 5856 5858 5279 0 -1 4194304 180499 0 0 0 63929 281 0 0 25 0 1 0 188037172 739639296 180017 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/5858/statm: 180576 180017 136 292 0 180281 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 722304 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5859 /proc/meminfo: memFree=891424/2055920 swapFree=4181368/4192956 [pid=5858] ppid=5856 vsize=889072 CPUtime=822.06 /proc/5858/stat : 5858 (wbo) R 5856 5858 5279 0 -1 4194304 222131 0 0 0 81855 351 0 0 25 0 1 0 188037172 910409728 221649 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 1 0 0 /proc/5858/statm: 222268 221649 136 292 0 221973 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 889072 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5859 /proc/meminfo: memFree=847392/2055920 swapFree=4181368/4192956 [pid=5858] ppid=5856 vsize=932832 CPUtime=882.04 /proc/5858/stat : 5858 (wbo) R 5856 5858 5279 0 -1 4194304 233073 0 0 0 87831 373 0 0 25 0 1 0 188037172 955219968 232591 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 1 0 0 /proc/5858/statm: 233208 232591 136 292 0 232913 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 932832 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5859 /proc/meminfo: memFree=793888/2055920 swapFree=4181368/4192956 [pid=5858] ppid=5856 vsize=986792 CPUtime=942.03 /proc/5858/stat : 5858 (wbo) R 5856 5858 5279 0 -1 4194304 246537 0 0 0 93809 394 0 0 25 0 1 0 188037172 1010475008 246055 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5858/statm: 246698 246055 136 292 0 246403 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 986792 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5859 /proc/meminfo: memFree=739232/2055920 swapFree=4181368/4192956 [pid=5858] ppid=5856 vsize=1040872 CPUtime=1002.01 /proc/5858/stat : 5858 (wbo) R 5856 5858 5279 0 -1 4194304 260048 0 0 0 99782 419 0 0 25 0 1 0 188037172 1065852928 259566 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5858/statm: 260218 259566 136 292 0 259923 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 1040872 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5859 /proc/meminfo: memFree=673248/2055920 swapFree=4181368/4192956 [pid=5858] ppid=5856 vsize=1106860 CPUtime=1062 /proc/5858/stat : 5858 (wbo) R 5856 5858 5279 0 -1 4194304 276547 0 0 0 105755 445 0 0 25 0 1 0 188037172 1133424640 276065 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5858/statm: 276715 276065 136 292 0 276420 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 1106860 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5859 /proc/meminfo: memFree=623584/2055920 swapFree=4181368/4192956 [pid=5858] ppid=5856 vsize=1156576 CPUtime=1121.98 /proc/5858/stat : 5858 (wbo) R 5856 5858 5279 0 -1 4194304 288958 0 0 0 111731 467 0 0 25 0 1 0 188037172 1184333824 288476 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0 /proc/5858/statm: 289144 288476 136 292 0 288849 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 1156576 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5859 /proc/meminfo: memFree=566816/2055920 swapFree=4181368/4192956 [pid=5858] ppid=5856 vsize=1213548 CPUtime=1181.97 /proc/5858/stat : 5858 (wbo) R 5856 5858 5279 0 -1 4194304 303198 0 0 0 117707 490 0 0 25 0 1 0 188037172 1242673152 302716 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/5858/statm: 303387 302716 136 292 0 303092 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 1213548 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5859 /proc/meminfo: memFree=509344/2055920 swapFree=4181368/4192956 [pid=5858] ppid=5856 vsize=1270648 CPUtime=1241.96 /proc/5858/stat : 5858 (wbo) R 5856 5858 5279 0 -1 4194304 317437 0 0 0 123682 514 0 0 25 0 1 0 188037172 1301143552 316955 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0 /proc/5858/statm: 317662 316955 136 292 0 317367 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 1270648 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5859 /proc/meminfo: memFree=447392/2055920 swapFree=4181368/4192956 [pid=5858] ppid=5856 vsize=1331972 CPUtime=1301.94 /proc/5858/stat : 5858 (wbo) R 5856 5858 5279 0 -1 4194304 332777 0 0 0 129663 531 0 0 25 0 1 0 188037172 1363939328 332295 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/5858/statm: 332993 332295 136 292 0 332698 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 1331972 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5859 /proc/meminfo: memFree=378976/2055920 swapFree=4181368/4192956 [pid=5858] ppid=5856 vsize=1400560 CPUtime=1361.92 /proc/5858/stat : 5858 (wbo) R 5856 5858 5279 0 -1 4194304 349903 0 0 0 135640 552 0 0 25 0 1 0 188037172 1434173440 349421 1992294400 134512640 135709839 4294956240 18446744073709551615 134573910 0 0 4096 3 0 0 0 17 1 0 0 /proc/5858/statm: 350140 349421 136 292 0 349845 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1400560 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5859 /proc/meminfo: memFree=318624/2055920 swapFree=4181368/4192956 [pid=5858] ppid=5856 vsize=1460724 CPUtime=1421.91 /proc/5858/stat : 5858 (wbo) R 5856 5858 5279 0 -1 4194304 364924 0 0 0 141614 577 0 0 25 0 1 0 188037172 1495781376 364442 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5858/statm: 365181 364442 136 292 0 364886 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1460724 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5859 /proc/meminfo: memFree=261728/2055920 swapFree=4181368/4192956 [pid=5858] ppid=5856 vsize=1518100 CPUtime=1481.89 /proc/5858/stat : 5858 (wbo) R 5856 5858 5279 0 -1 4194304 379259 0 0 0 147586 603 0 0 25 0 1 0 188037172 1554534400 378777 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/5858/statm: 379525 378777 136 292 0 379230 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 1518100 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5859 /proc/meminfo: memFree=173408/2055920 swapFree=4181368/4192956 [pid=5858] ppid=5856 vsize=1605764 CPUtime=1541.88 /proc/5858/stat : 5858 (wbo) R 5856 5858 5279 0 -1 4194304 401193 0 0 0 153556 632 0 0 25 0 1 0 188037172 1644302336 400711 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/5858/statm: 401441 400711 136 292 0 401146 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1605764 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5859 /proc/meminfo: memFree=95648/2055920 swapFree=4181368/4192956 [pid=5858] ppid=5856 vsize=1684232 CPUtime=1601.87 /proc/5858/stat : 5858 (wbo) R 5856 5858 5279 0 -1 4194304 420798 0 0 0 159524 663 0 0 25 0 1 0 188037172 1724653568 420316 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 1 0 0 /proc/5858/statm: 421058 420316 136 292 0 420763 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1684232 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5859 /proc/meminfo: memFree=29280/2055920 swapFree=4181368/4192956 [pid=5858] ppid=5856 vsize=1749784 CPUtime=1661.85 /proc/5858/stat : 5858 (wbo) R 5856 5858 5279 0 -1 4194304 437174 0 0 0 165494 691 0 0 25 0 1 0 188037172 1791778816 436692 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/5858/statm: 437446 436692 136 292 0 437151 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1749784 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5859 /proc/meminfo: memFree=15712/2055920 swapFree=4181368/4192956 [pid=5858] ppid=5856 vsize=1819720 CPUtime=1721.76 /proc/5858/stat : 5858 (wbo) R 5856 5858 5279 0 -1 4194304 454642 0 0 0 171459 717 0 0 25 0 1 0 188037172 1863393280 454160 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0 /proc/5858/statm: 454930 454160 136 292 0 454635 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 1819720 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1748.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5859 /proc/meminfo: memFree=15968/2055920 swapFree=4181368/4192956 [pid=5858] ppid=5856 vsize=1843252 CPUtime=1748.07 /proc/5858/stat : 5858 (wbo) R 5856 5858 5279 0 -1 4194304 460527 0 0 0 174081 726 0 0 25 0 1 0 188037172 1887490048 460045 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/5858/statm: 460813 460045 136 292 0 460518 0 Current children cumulated CPU time (s) 1748.07 Current children cumulated vsize (KiB) 1843252 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1748.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5859 /proc/meminfo: memFree=15968/2055920 swapFree=4181368/4192956 [pid=5858] ppid=5856 vsize=0 CPUtime=1748.26 /proc/5858/stat : 5858 (wbo) R 5856 5858 5279 0 -1 4195332 460527 0 0 0 174081 745 0 0 25 0 1 0 188037172 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/5858/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1748.26 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1748.89 CPU time (s): 1748.35 CPU user time (s): 1740.81 CPU system time (s): 7.54085 CPU usage (%): 99.9695 Max. virtual memory (cumulated for all children) (KiB): 1843252 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1740.81 system time used= 7.54085 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460527 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= 4019 runsolver used 1.2788 second user time and 3.70444 second system time The end
Begin job on node36 at 2009-06-17 04:06:38 IDJOB=1875379 IDBENCH=48219 IDSOLVER=698 FILE ID=node36/1875379-1245204398 PBS_JOBID= 9368354 Free space on /tmp= 66200 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_2.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875379-1245204398/watcher-1875379-1245204398 -o /tmp/evaluation-result-1875379-1245204398/solver-1875379-1245204398 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875379-1245204398.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e40e55fe30ea19a1cae02f7f820bc9fe RANDOM SEED=1048629415 node36.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.230 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.230 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: 1780296 kB Buffers: 56596 kB Cached: 148088 kB SwapCached: 6592 kB Active: 93012 kB Inactive: 120748 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1780296 kB SwapTotal: 4192956 kB SwapFree: 4181368 kB Dirty: 2580 kB Writeback: 0 kB Mapped: 13476 kB Slab: 47940 kB Committed_AS: 197196 kB PageTables: 1360 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875379-1245204398.opb Free space on /tmp at the end= 66196 MiB End job on node36 at 2009-06-17 04:35:49