| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.6 | ? (TO) | 1800.1 | 1800.14 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb |
| MD5SUM | 3895ca8e12182fcd80d7923f66584703 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -34 |
| Best CPU time to get the best result obtained on this benchmark | 1800.07 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -35 |
| Optimality of the best value was proved | YES |
| Number of variables | 595 |
| Total number of constraints | 27931 |
| Number of constraints which are clauses | 27931 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 595 |
| 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 | 595 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 595 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c wbo 1.6 beta - 20110321 0.00/0.00 c Parsing opb file format. File HOME/instance-3460807-1307098418.opb. 0.00/0.00 c Instance file HOME/instance-3460807-1307098418.opb 0.00/0.00 c File size is 664643 bytes. 0.00/0.04 c Highest Coefficient sum: 3 0.00/0.04 c ============================[ Problem Statistics ]============================= 0.00/0.04 c | | 0.00/0.04 c | Parsing time: 0.04 s | 0.00/0.04 c | Number Variables: 595 | 0.00/0.04 c | Number Clauses: 27931 | 0.00/0.04 c | Number Cardinality: 0 | 0.00/0.04 c | Number PB Constraints: 0 | 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 595 27931 55862 | 9310 0 -nan | 0.000 % | 0.19/0.28 c core #1 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -594 0.19/0.28 c Current CPU time: 0.053991 s 0.19/0.28 c 0.19/0.28 c core #2 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -593 0.19/0.28 c Current CPU time: 0.058991 s 0.19/0.28 c 0.19/0.28 c core #3 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -592 0.19/0.28 c Current CPU time: 0.06499 s 0.19/0.28 c 0.19/0.28 c core #4 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -591 0.19/0.28 c Current CPU time: 0.069989 s 0.19/0.28 c 0.19/0.28 c core #5 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -590 0.19/0.28 c Current CPU time: 0.075988 s 0.19/0.28 c 0.19/0.28 c core #6 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -589 0.19/0.28 c Current CPU time: 0.081987 s 0.19/0.28 c 0.19/0.28 c core #7 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -588 0.19/0.28 c Current CPU time: 0.086986 s 0.19/0.28 c 0.19/0.28 c core #8 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -587 0.19/0.28 c Current CPU time: 0.092985 s 0.19/0.28 c 0.19/0.28 c core #9 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -586 0.19/0.28 c Current CPU time: 0.097985 s 0.19/0.28 c 0.19/0.28 c core #10 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -585 0.19/0.28 c Current CPU time: 0.103984 s 0.19/0.28 c 0.19/0.28 c core #11 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -584 0.19/0.28 c Current CPU time: 0.108983 s 0.19/0.28 c 0.19/0.28 c core #12 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -583 0.19/0.28 c Current CPU time: 0.114982 s 0.19/0.28 c 0.19/0.28 c core #13 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -582 0.19/0.28 c Current CPU time: 0.119981 s 0.19/0.28 c 0.19/0.28 c core #14 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -581 0.19/0.28 c Current CPU time: 0.12598 s 0.19/0.28 c 0.19/0.28 c core #15 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -580 0.19/0.28 c Current CPU time: 0.131979 s 0.19/0.28 c 0.19/0.28 c core #16 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -579 0.19/0.28 c Current CPU time: 0.136979 s 0.19/0.28 c 0.19/0.28 c core #17 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -578 0.19/0.28 c Current CPU time: 0.142978 s 0.19/0.28 c 0.19/0.28 c core #18 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -577 0.19/0.28 c Current CPU time: 0.147977 s 0.19/0.28 c 0.19/0.28 c core #19 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -576 0.19/0.28 c Current CPU time: 0.153976 s 0.19/0.28 c 0.19/0.28 c core #20 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -575 0.19/0.28 c Current CPU time: 0.158975 s 0.19/0.28 c 0.19/0.28 c core #21 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -574 0.19/0.28 c Current CPU time: 0.164974 s 0.19/0.28 c 0.19/0.28 c core #22 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -573 0.19/0.28 c Current CPU time: 0.170974 s 0.19/0.28 c 0.19/0.28 c core #23 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -572 0.19/0.28 c Current CPU time: 0.175973 s 0.19/0.28 c 0.19/0.28 c core #24 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -571 0.19/0.28 c Current CPU time: 0.181972 s 0.19/0.28 c 0.19/0.28 c core #25 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -570 0.19/0.28 c Current CPU time: 0.186971 s 0.19/0.28 c 0.19/0.28 c core #26 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -569 0.19/0.28 c Current CPU time: 0.19297 s 0.19/0.28 c 0.19/0.28 c core #27 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -568 0.19/0.28 c Current CPU time: 0.198969 s 0.19/0.28 c 0.19/0.28 c core #28 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -567 0.19/0.28 c Current CPU time: 0.203968 s 0.19/0.28 c 0.19/0.28 c core #29 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -566 0.19/0.28 c Current CPU time: 0.209968 s 0.19/0.28 c 0.19/0.28 c core #30 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -565 0.19/0.28 c Current CPU time: 0.214967 s 0.19/0.28 c 0.19/0.28 c core #31 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -564 0.19/0.28 c Current CPU time: 0.220966 s 0.19/0.28 c 0.19/0.28 c core #32 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -563 0.19/0.28 c Current CPU time: 0.226965 s 0.19/0.28 c 0.19/0.28 c core #33 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -562 0.19/0.28 c Current CPU time: 0.231964 s 0.19/0.28 c 0.19/0.28 c core #34 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -561 0.19/0.28 c Current CPU time: 0.237963 s 0.19/0.28 c 0.19/0.28 c core #35 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -560 0.19/0.28 c Current CPU time: 0.243962 s 0.19/0.28 c 0.19/0.28 c core #36 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -559 0.19/0.28 c Current CPU time: 0.248962 s 0.19/0.28 c 0.19/0.28 c core #37 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -558 0.19/0.28 c Current CPU time: 0.254961 s 0.19/0.28 c 0.19/0.28 c core #38 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -557 0.19/0.28 c Current CPU time: 0.26096 s 0.19/0.28 c 0.19/0.28 c core #39 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -556 0.19/0.28 c Current CPU time: 0.266959 s 0.19/0.28 c 0.19/0.28 c core #40 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -555 0.19/0.28 c Current CPU time: 0.271958 s 0.19/0.28 c 0.19/0.28 c core #41 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -554 0.19/0.28 c Current CPU time: 0.277957 s 0.19/0.28 c 0.19/0.28 c core #42 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -553 0.49/0.52 c Current CPU time: 0.283956 s 0.49/0.52 c 0.49/0.52 c core #43 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -552 0.49/0.52 c Current CPU time: 0.288956 s 0.49/0.52 c 0.49/0.52 c core #44 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -551 0.49/0.52 c Current CPU time: 0.294955 s 0.49/0.52 c 0.49/0.52 c core #45 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -550 0.49/0.52 c Current CPU time: 0.300954 s 0.49/0.52 c 0.49/0.52 c core #46 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -549 0.49/0.52 c Current CPU time: 0.306953 s 0.49/0.52 c 0.49/0.52 c core #47 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -548 0.49/0.52 c Current CPU time: 0.311952 s 0.49/0.52 c 0.49/0.52 c core #48 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -547 0.49/0.52 c Current CPU time: 0.317951 s 0.49/0.52 c 0.49/0.52 c core #49 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -546 0.49/0.52 c Current CPU time: 0.32395 s 0.49/0.52 c 0.49/0.52 c core #50 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -545 0.49/0.52 c Current CPU time: 0.329949 s 0.49/0.52 c 0.49/0.52 c core #51 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -544 0.49/0.52 c Current CPU time: 0.334949 s 0.49/0.52 c 0.49/0.52 c core #52 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -543 0.49/0.52 c Current CPU time: 0.340948 s 0.49/0.52 c 0.49/0.52 c core #53 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -542 0.49/0.52 c Current CPU time: 0.346947 s 0.49/0.52 c 0.49/0.52 c core #54 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -541 0.49/0.52 c Current CPU time: 0.352946 s 0.49/0.52 c 0.49/0.52 c core #55 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -540 0.49/0.52 c Current CPU time: 0.357945 s 0.49/0.52 c 0.49/0.52 c core #56 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -539 0.49/0.52 c Current CPU time: 0.363944 s 0.49/0.52 c 0.49/0.52 c core #57 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -538 0.49/0.52 c Current CPU time: 0.369943 s 0.49/0.52 c 0.49/0.52 c core #58 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -537 0.49/0.52 c Current CPU time: 0.375942 s 0.49/0.52 c 0.49/0.52 c core #59 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -536 0.49/0.52 c Current CPU time: 0.381941 s 0.49/0.52 c 0.49/0.52 c core #60 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -535 0.49/0.52 c Current CPU time: 0.386941 s 0.49/0.52 c 0.49/0.52 c core #61 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -534 0.49/0.52 c Current CPU time: 0.39294 s 0.49/0.52 c 0.49/0.52 c core #62 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -533 0.49/0.52 c Current CPU time: 0.398939 s 0.49/0.52 c 0.49/0.52 c core #63 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -532 0.49/0.52 c Current CPU time: 0.404938 s 0.49/0.52 c 0.49/0.52 c core #64 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -531 0.49/0.52 c Current CPU time: 0.410937 s 0.49/0.52 c 0.49/0.52 c core #65 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -530 0.49/0.52 c Current CPU time: 0.416936 s 0.49/0.52 c 0.49/0.52 c core #66 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -529 0.49/0.52 c Current CPU time: 0.422935 s 0.49/0.52 c 0.49/0.52 c core #67 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -528 0.49/0.52 c Current CPU time: 0.427934 s 0.49/0.52 c 0.49/0.52 c core #68 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -527 0.49/0.52 c Current CPU time: 0.433934 s 0.49/0.52 c 0.49/0.52 c core #69 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -526 0.49/0.52 c Current CPU time: 0.439933 s 0.49/0.52 c 0.49/0.52 c core #70 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -525 0.49/0.52 c Current CPU time: 0.445932 s 0.49/0.52 c 0.49/0.52 c core #71 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -524 0.49/0.52 c Current CPU time: 0.451931 s 0.49/0.52 c 0.49/0.52 c core #72 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -523 0.49/0.52 c Current CPU time: 0.45793 s 0.49/0.52 c 0.49/0.52 c core #73 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -522 0.49/0.52 c Current CPU time: 0.463929 s 0.49/0.52 c 0.49/0.52 c core #74 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -521 0.49/0.52 c Current CPU time: 0.469928 s 0.49/0.52 c 0.49/0.52 c core #75 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -520 0.49/0.52 c Current CPU time: 0.475927 s 0.49/0.52 c 0.49/0.52 c core #76 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -519 0.49/0.52 c Current CPU time: 0.481926 s 0.49/0.52 c 0.49/0.52 c core #77 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -518 0.49/0.52 c Current CPU time: 0.487925 s 0.49/0.52 c 0.49/0.52 c core #78 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -517 0.49/0.52 c Current CPU time: 0.493924 s 0.49/0.52 c 0.49/0.52 c core #79 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -516 0.49/0.52 c Current CPU time: 0.499924 s 0.49/0.52 c 0.49/0.52 c core #80 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -515 0.49/0.52 c Current CPU time: 0.505923 s 0.49/0.52 c 0.49/0.52 c core #81 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -514 0.49/0.52 c Current CPU time: 0.511922 s 0.49/0.52 c 0.49/0.52 c core #82 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -513 0.49/0.52 c Current CPU time: 0.517921 s 0.49/0.52 c 0.49/0.52 c core #83 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -512 0.49/0.52 c Current CPU time: 0.52392 s 0.69/0.78 c 0.69/0.78 c core #84 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -511 0.69/0.78 c Current CPU time: 0.529919 s 0.69/0.78 c 0.69/0.78 c core #85 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -510 0.69/0.78 c Current CPU time: 0.535918 s 0.69/0.78 c 0.69/0.78 c core #86 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -509 0.69/0.78 c Current CPU time: 0.541917 s 0.69/0.78 c 0.69/0.78 c core #87 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -508 0.69/0.78 c Current CPU time: 0.547916 s 0.69/0.78 c 0.69/0.78 c core #88 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -507 0.69/0.78 c Current CPU time: 0.553915 s 0.69/0.78 c 0.69/0.78 c core #89 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -506 0.69/0.78 c Current CPU time: 0.559914 s 0.69/0.78 c 0.69/0.78 c core #90 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -505 0.69/0.78 c Current CPU time: 0.565913 s 0.69/0.78 c 0.69/0.78 c core #91 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -504 0.69/0.78 c Current CPU time: 0.571913 s 0.69/0.78 c 0.69/0.78 c core #92 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -503 0.69/0.78 c Current CPU time: 0.577912 s 0.69/0.78 c 0.69/0.78 c core #93 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -502 0.69/0.78 c Current CPU time: 0.583911 s 0.69/0.78 c 0.69/0.78 c core #94 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -501 0.69/0.78 c Current CPU time: 0.58991 s 0.69/0.78 c 0.69/0.78 c core #95 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -500 0.69/0.78 c Current CPU time: 0.596909 s 0.69/0.78 c 0.69/0.78 c core #96 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -499 0.69/0.78 c Current CPU time: 0.602908 s 0.69/0.78 c 0.69/0.78 c core #97 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -498 0.69/0.78 c Current CPU time: 0.608907 s 0.69/0.78 c 0.69/0.78 c core #98 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -497 0.69/0.78 c Current CPU time: 0.614906 s 0.69/0.78 c 0.69/0.78 c core #99 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -496 0.69/0.78 c Current CPU time: 0.620905 s 0.69/0.78 c 0.69/0.78 c core #100 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -495 0.69/0.78 c Current CPU time: 0.626904 s 0.69/0.78 c 0.69/0.78 c core #101 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -494 0.69/0.78 c Current CPU time: 0.632903 s 0.69/0.78 c 0.69/0.78 c core #102 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -493 0.69/0.78 c Current CPU time: 0.639902 s 0.69/0.78 c 0.69/0.78 c core #103 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -492 0.69/0.78 c Current CPU time: 0.645901 s 0.69/0.78 c 0.69/0.78 c core #104 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -491 0.69/0.78 c Current CPU time: 0.6519 s 0.69/0.78 c 0.69/0.78 c core #105 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -490 0.69/0.78 c Current CPU time: 0.657899 s 0.69/0.78 c 0.69/0.78 c core #106 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -489 0.69/0.78 c Current CPU time: 0.664898 s 0.69/0.78 c 0.69/0.78 c core #107 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -488 0.69/0.78 c Current CPU time: 0.670898 s 0.69/0.78 c 0.69/0.78 c core #108 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -487 0.69/0.78 c Current CPU time: 0.676897 s 0.69/0.78 c 0.69/0.78 c core #109 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -486 0.69/0.78 c Current CPU time: 0.682896 s 0.69/0.78 c 0.69/0.78 c core #110 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -485 0.69/0.78 c Current CPU time: 0.689895 s 0.69/0.78 c 0.69/0.78 c core #111 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -484 0.69/0.78 c Current CPU time: 0.695894 s 0.69/0.78 c 0.69/0.78 c core #112 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -483 0.69/0.78 c Current CPU time: 0.701893 s 0.69/0.78 c 0.69/0.78 c core #113 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -482 0.69/0.78 c Current CPU time: 0.707892 s 0.69/0.78 c 0.69/0.78 c core #114 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -481 0.69/0.78 c Current CPU time: 0.714891 s 0.69/0.78 c 0.69/0.78 c core #115 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -480 0.69/0.78 c Current CPU time: 0.72089 s 0.69/0.78 c 0.69/0.78 c core #116 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -479 0.69/0.78 c Current CPU time: 0.726889 s 0.69/0.78 c 0.69/0.78 c core #117 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -478 0.69/0.78 c Current CPU time: 0.733888 s 0.69/0.78 c 0.69/0.78 c core #118 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -477 0.69/0.78 c Current CPU time: 0.739887 s 0.69/0.78 c 0.69/0.78 c core #119 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -476 0.69/0.78 c Current CPU time: 0.745886 s 0.69/0.78 c 0.69/0.78 c core #120 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -475 0.69/0.78 c Current CPU time: 0.752885 s 0.69/0.78 c 0.69/0.78 c core #121 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -474 0.69/0.78 c Current CPU time: 0.758884 s 0.69/0.78 c 0.69/0.78 c core #122 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -473 0.69/0.78 c Current CPU time: 0.765883 s 0.69/0.78 c 0.69/0.78 c core #123 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -472 0.69/0.78 c Current CPU time: 0.771882 s 0.69/0.78 c 0.69/0.78 c core #124 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -471 0.69/0.78 c Current CPU time: 0.777881 s 0.69/0.78 c 0.69/0.78 c core #125 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -470 1.00/1.05 c Current CPU time: 0.78488 s 1.00/1.05 c 1.00/1.05 c core #126 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -469 1.00/1.05 c Current CPU time: 0.790879 s 1.00/1.05 c 1.00/1.05 c core #127 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -468 1.00/1.05 c Current CPU time: 0.797878 s 1.00/1.05 c 1.00/1.05 c core #128 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -467 1.00/1.05 c Current CPU time: 0.803877 s 1.00/1.05 c 1.00/1.05 c core #129 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -466 1.00/1.05 c Current CPU time: 0.810876 s 1.00/1.05 c 1.00/1.05 c core #130 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -465 1.00/1.05 c Current CPU time: 0.816875 s 1.00/1.05 c 1.00/1.05 c core #131 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -464 1.00/1.05 c Current CPU time: 0.823874 s 1.00/1.05 c 1.00/1.05 c core #132 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -463 1.00/1.05 c Current CPU time: 0.829873 s 1.00/1.05 c 1.00/1.05 c core #133 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -462 1.00/1.05 c Current CPU time: 0.836872 s 1.00/1.05 c 1.00/1.05 c core #134 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -461 1.00/1.05 c Current CPU time: 0.842871 s 1.00/1.05 c 1.00/1.05 c core #135 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -460 1.00/1.05 c Current CPU time: 0.84987 s 1.00/1.05 c 1.00/1.05 c core #136 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -459 1.00/1.05 c Current CPU time: 0.855869 s 1.00/1.05 c 1.00/1.05 c core #137 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -458 1.00/1.05 c Current CPU time: 0.862868 s 1.00/1.05 c 1.00/1.05 c core #138 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -457 1.00/1.05 c Current CPU time: 0.868867 s 1.00/1.05 c 1.00/1.05 c core #139 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -456 1.00/1.05 c Current CPU time: 0.875866 s 1.00/1.05 c 1.00/1.05 c core #140 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -455 1.00/1.05 c Current CPU time: 0.881865 s 1.00/1.05 c 1.00/1.05 c core #141 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -454 1.00/1.05 c Current CPU time: 0.888864 s 1.00/1.05 c 1.00/1.05 c core #142 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -453 1.00/1.05 c Current CPU time: 0.894863 s 1.00/1.05 c 1.00/1.05 c core #143 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -452 1.00/1.05 c Current CPU time: 0.901862 s 1.00/1.05 c 1.00/1.05 c core #144 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -451 1.00/1.05 c Current CPU time: 0.908861 s 1.00/1.05 c 1.00/1.05 c core #145 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -450 1.00/1.05 c Current CPU time: 0.91486 s 1.00/1.05 c 1.00/1.05 c core #146 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -449 1.00/1.05 c Current CPU time: 0.921859 s 1.00/1.05 c 1.00/1.05 c core #147 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -448 1.00/1.05 c Current CPU time: 0.927858 s 1.00/1.05 c 1.00/1.05 c core #148 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -447 1.00/1.05 c Current CPU time: 0.934857 s 1.00/1.05 c 1.00/1.05 c core #149 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -446 1.00/1.05 c Current CPU time: 0.941856 s 1.00/1.05 c 1.00/1.05 c core #150 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -445 1.00/1.05 c Current CPU time: 0.947855 s 1.00/1.05 c 1.00/1.05 c core #151 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -444 1.00/1.05 c Current CPU time: 0.954854 s 1.00/1.05 c 1.00/1.05 c core #152 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -443 1.00/1.05 c Current CPU time: 0.961853 s 1.00/1.05 c 1.00/1.05 c core #153 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -442 1.00/1.05 c Current CPU time: 0.967852 s 1.00/1.05 c 1.00/1.05 c core #154 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -441 1.00/1.05 c Current CPU time: 0.974851 s 1.00/1.05 c 1.00/1.05 c core #155 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -440 1.00/1.05 c Current CPU time: 0.98185 s 1.00/1.05 c 1.00/1.05 c core #156 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -439 1.00/1.05 c Current CPU time: 0.987849 s 1.00/1.05 c 1.00/1.05 c core #157 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -438 1.00/1.05 c Current CPU time: 0.994848 s 1.00/1.05 c 1.00/1.05 c core #158 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -437 1.00/1.05 c Current CPU time: 1.00185 s 1.00/1.05 c 1.00/1.05 c core #159 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -436 1.00/1.05 c Current CPU time: 1.00885 s 1.00/1.05 c 1.00/1.05 c core #160 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -435 1.00/1.05 c Current CPU time: 1.01585 s 1.00/1.05 c 1.00/1.05 c core #161 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -434 1.00/1.05 c Current CPU time: 1.02284 s 1.00/1.05 c 1.00/1.05 c core #162 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -433 1.00/1.05 c Current CPU time: 1.02884 s 1.00/1.05 c 1.00/1.05 c core #163 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -432 1.00/1.05 c Current CPU time: 1.03584 s 1.00/1.05 c 1.00/1.05 c core #164 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -431 1.00/1.05 c Current CPU time: 1.04284 s 1.00/1.05 c 1.00/1.05 c core #165 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -430 1.00/1.05 c Current CPU time: 1.04984 s 1.00/1.05 c 1.00/1.05 c core #166 1.00/1.05 c 1.00/1.05 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -429 1.29/1.34 c Current CPU time: 1.05684 s 1.29/1.34 c 1.29/1.34 c core #167 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -428 1.29/1.34 c Current CPU time: 1.06384 s 1.29/1.34 c 1.29/1.34 c core #168 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -427 1.29/1.34 c Current CPU time: 1.06984 s 1.29/1.34 c 1.29/1.34 c core #169 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -426 1.29/1.34 c Current CPU time: 1.07684 s 1.29/1.34 c 1.29/1.34 c core #170 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -425 1.29/1.34 c Current CPU time: 1.08384 s 1.29/1.34 c 1.29/1.34 c core #171 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -424 1.29/1.34 c Current CPU time: 1.09083 s 1.29/1.34 c 1.29/1.34 c core #172 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -423 1.29/1.34 c Current CPU time: 1.09783 s 1.29/1.34 c 1.29/1.34 c core #173 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -422 1.29/1.34 c Current CPU time: 1.10483 s 1.29/1.34 c 1.29/1.34 c core #174 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -421 1.29/1.34 c Current CPU time: 1.11183 s 1.29/1.34 c 1.29/1.34 c core #175 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -420 1.29/1.34 c Current CPU time: 1.11883 s 1.29/1.34 c 1.29/1.34 c core #176 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -419 1.29/1.34 c Current CPU time: 1.12583 s 1.29/1.34 c 1.29/1.34 c core #177 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -418 1.29/1.34 c Current CPU time: 1.13283 s 1.29/1.34 c 1.29/1.34 c core #178 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -417 1.29/1.34 c Current CPU time: 1.13883 s 1.29/1.34 c 1.29/1.34 c core #179 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -416 1.29/1.34 c Current CPU time: 1.14583 s 1.29/1.34 c 1.29/1.34 c core #180 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -415 1.29/1.34 c Current CPU time: 1.15282 s 1.29/1.34 c 1.29/1.34 c core #181 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -414 1.29/1.34 c Current CPU time: 1.15982 s 1.29/1.34 c 1.29/1.34 c core #182 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -413 1.29/1.34 c Current CPU time: 1.16682 s 1.29/1.34 c 1.29/1.34 c core #183 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -412 1.29/1.34 c Current CPU time: 1.17382 s 1.29/1.34 c 1.29/1.34 c core #184 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -411 1.29/1.34 c Current CPU time: 1.18082 s 1.29/1.34 c 1.29/1.34 c core #185 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -410 1.29/1.34 c Current CPU time: 1.18782 s 1.29/1.34 c 1.29/1.34 c core #186 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -409 1.29/1.34 c Current CPU time: 1.19482 s 1.29/1.34 c 1.29/1.34 c core #187 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -408 1.29/1.34 c Current CPU time: 1.20282 s 1.29/1.34 c 1.29/1.34 c core #188 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -407 1.29/1.34 c Current CPU time: 1.20982 s 1.29/1.34 c 1.29/1.34 c core #189 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -406 1.29/1.34 c Current CPU time: 1.21681 s 1.29/1.34 c 1.29/1.34 c core #190 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -405 1.29/1.34 c Current CPU time: 1.22381 s 1.29/1.34 c 1.29/1.34 c core #191 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -404 1.29/1.34 c Current CPU time: 1.23081 s 1.29/1.34 c 1.29/1.34 c core #192 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -403 1.29/1.34 c Current CPU time: 1.23781 s 1.29/1.34 c 1.29/1.34 c core #193 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -402 1.29/1.34 c Current CPU time: 1.24481 s 1.29/1.34 c 1.29/1.34 c core #194 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -401 1.29/1.34 c Current CPU time: 1.25181 s 1.29/1.34 c 1.29/1.34 c core #195 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -400 1.29/1.34 c Current CPU time: 1.25881 s 1.29/1.34 c 1.29/1.34 c core #196 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -399 1.29/1.34 c Current CPU time: 1.26681 s 1.29/1.34 c 1.29/1.34 c core #197 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -398 1.29/1.34 c Current CPU time: 1.27381 s 1.29/1.34 c 1.29/1.34 c core #198 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -397 1.29/1.34 c Current CPU time: 1.2808 s 1.29/1.34 c 1.29/1.34 c core #199 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -396 1.29/1.34 c Current CPU time: 1.2878 s 1.29/1.34 c 1.29/1.34 c core #200 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -395 1.29/1.34 c Current CPU time: 1.2948 s 1.29/1.34 c 1.29/1.34 c core #201 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -394 1.29/1.34 c Current CPU time: 1.3028 s 1.29/1.34 c 1.29/1.34 c core #202 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -393 1.29/1.34 c Current CPU time: 1.3098 s 1.29/1.34 c 1.29/1.34 c core #203 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -392 1.29/1.34 c Current CPU time: 1.3168 s 1.29/1.34 c 1.29/1.34 c core #204 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -391 1.29/1.34 c Current CPU time: 1.3238 s 1.29/1.34 c 1.29/1.34 c core #205 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -390 1.29/1.34 c Current CPU time: 1.3318 s 1.29/1.34 c 1.29/1.34 c core #206 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -389 1.29/1.34 c Current CPU time: 1.3388 s 1.29/1.34 c 1.29/1.34 c core #207 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -388 1.59/1.66 c Current CPU time: 1.3458 s 1.59/1.66 c 1.59/1.66 c core #208 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -387 1.59/1.66 c Current CPU time: 1.35279 s 1.59/1.66 c 1.59/1.66 c core #209 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -386 1.59/1.66 c Current CPU time: 1.36079 s 1.59/1.66 c 1.59/1.66 c core #210 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -385 1.59/1.66 c Current CPU time: 1.36779 s 1.59/1.66 c 1.59/1.66 c core #211 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -384 1.59/1.66 c Current CPU time: 1.37479 s 1.59/1.66 c 1.59/1.66 c core #212 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -383 1.59/1.66 c Current CPU time: 1.38279 s 1.59/1.66 c 1.59/1.66 c core #213 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -382 1.59/1.66 c Current CPU time: 1.38979 s 1.59/1.66 c 1.59/1.66 c core #214 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -381 1.59/1.66 c Current CPU time: 1.39679 s 1.59/1.66 c 1.59/1.66 c core #215 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -380 1.59/1.66 c Current CPU time: 1.40479 s 1.59/1.66 c 1.59/1.66 c core #216 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -379 1.59/1.66 c Current CPU time: 1.41179 s 1.59/1.66 c 1.59/1.66 c core #217 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -378 1.59/1.66 c Current CPU time: 1.41878 s 1.59/1.66 c 1.59/1.66 c core #218 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -377 1.59/1.66 c Current CPU time: 1.42678 s 1.59/1.66 c 1.59/1.66 c core #219 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -376 1.59/1.66 c Current CPU time: 1.43378 s 1.59/1.66 c 1.59/1.66 c core #220 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -375 1.59/1.66 c Current CPU time: 1.44178 s 1.59/1.66 c 1.59/1.66 c core #221 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -374 1.59/1.66 c Current CPU time: 1.44878 s 1.59/1.66 c 1.59/1.66 c core #222 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -373 1.59/1.66 c Current CPU time: 1.45578 s 1.59/1.66 c 1.59/1.66 c core #223 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -372 1.59/1.66 c Current CPU time: 1.46378 s 1.59/1.66 c 1.59/1.66 c core #224 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -371 1.59/1.66 c Current CPU time: 1.47078 s 1.59/1.66 c 1.59/1.66 c core #225 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -370 1.59/1.66 c Current CPU time: 1.47877 s 1.59/1.66 c 1.59/1.66 c core #226 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -369 1.59/1.66 c Current CPU time: 1.48577 s 1.59/1.66 c 1.59/1.66 c core #227 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -368 1.59/1.66 c Current CPU time: 1.49377 s 1.59/1.66 c 1.59/1.66 c core #228 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -367 1.59/1.66 c Current CPU time: 1.50077 s 1.59/1.66 c 1.59/1.66 c core #229 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -366 1.59/1.66 c Current CPU time: 1.50877 s 1.59/1.66 c 1.59/1.66 c core #230 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -365 1.59/1.66 c Current CPU time: 1.51577 s 1.59/1.66 c 1.59/1.66 c core #231 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -364 1.59/1.66 c Current CPU time: 1.52377 s 1.59/1.66 c 1.59/1.66 c core #232 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -363 1.59/1.66 c Current CPU time: 1.53077 s 1.59/1.66 c 1.59/1.66 c core #233 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -362 1.59/1.66 c Current CPU time: 1.53877 s 1.59/1.66 c 1.59/1.66 c core #234 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -361 1.59/1.66 c Current CPU time: 1.54576 s 1.59/1.66 c 1.59/1.66 c core #235 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -360 1.59/1.66 c Current CPU time: 1.55376 s 1.59/1.66 c 1.59/1.66 c core #236 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -359 1.59/1.66 c Current CPU time: 1.56176 s 1.59/1.66 c 1.59/1.66 c core #237 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -358 1.59/1.66 c Current CPU time: 1.56876 s 1.59/1.66 c 1.59/1.66 c core #238 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -357 1.59/1.66 c Current CPU time: 1.57676 s 1.59/1.66 c 1.59/1.66 c core #239 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -356 1.59/1.66 c Current CPU time: 1.58476 s 1.59/1.66 c 1.59/1.66 c core #240 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -355 1.59/1.66 c Current CPU time: 1.59176 s 1.59/1.66 c 1.59/1.66 c core #241 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -354 1.59/1.66 c Current CPU time: 1.59976 s 1.59/1.66 c 1.59/1.66 c core #242 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -353 1.59/1.66 c Current CPU time: 1.60776 s 1.59/1.66 c 1.59/1.66 c core #243 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -352 1.59/1.66 c Current CPU time: 1.61475 s 1.59/1.66 c 1.59/1.66 c core #244 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -351 1.59/1.66 c Current CPU time: 1.62175 s 1.59/1.66 c 1.59/1.66 c core #245 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -350 1.59/1.66 c Current CPU time: 1.62975 s 1.59/1.66 c 1.59/1.66 c core #246 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -349 1.59/1.66 c Current CPU time: 1.63775 s 1.59/1.66 c 1.59/1.66 c core #247 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -348 1.59/1.66 c Current CPU time: 1.64575 s 1.59/1.66 c 1.59/1.66 c core #248 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -347 1.59/1.66 c Current CPU time: 1.65275 s 1.59/1.66 c 1.59/1.66 c core #249 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -346 1.89/1.99 c Current CPU time: 1.66075 s 1.89/1.99 c 1.89/1.99 c core #250 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -345 1.89/1.99 c Current CPU time: 1.66875 s 1.89/1.99 c 1.89/1.99 c core #251 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -344 1.89/1.99 c Current CPU time: 1.67674 s 1.89/1.99 c 1.89/1.99 c core #252 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -343 1.89/1.99 c Current CPU time: 1.68474 s 1.89/1.99 c 1.89/1.99 c core #253 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -342 1.89/1.99 c Current CPU time: 1.69274 s 1.89/1.99 c 1.89/1.99 c core #254 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -341 1.89/1.99 c Current CPU time: 1.70074 s 1.89/1.99 c 1.89/1.99 c core #255 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -340 1.89/1.99 c Current CPU time: 1.70874 s 1.89/1.99 c 1.89/1.99 c core #256 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -339 1.89/1.99 c Current CPU time: 1.71574 s 1.89/1.99 c 1.89/1.99 c core #257 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -338 1.89/1.99 c Current CPU time: 1.72374 s 1.89/1.99 c 1.89/1.99 c core #258 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -337 1.89/1.99 c Current CPU time: 1.73174 s 1.89/1.99 c 1.89/1.99 c core #259 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -336 1.89/1.99 c Current CPU time: 1.73974 s 1.89/1.99 c 1.89/1.99 c core #260 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -335 1.89/1.99 c Current CPU time: 1.74773 s 1.89/1.99 c 1.89/1.99 c core #261 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -334 1.89/1.99 c Current CPU time: 1.75573 s 1.89/1.99 c 1.89/1.99 c core #262 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -333 1.89/1.99 c Current CPU time: 1.76373 s 1.89/1.99 c 1.89/1.99 c core #263 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -332 1.89/1.99 c Current CPU time: 1.77173 s 1.89/1.99 c 1.89/1.99 c core #264 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -331 1.89/1.99 c Current CPU time: 1.77973 s 1.89/1.99 c 1.89/1.99 c core #265 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -330 1.89/1.99 c Current CPU time: 1.78773 s 1.89/1.99 c 1.89/1.99 c core #266 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -329 1.89/1.99 c Current CPU time: 1.79573 s 1.89/1.99 c 1.89/1.99 c core #267 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -328 1.89/1.99 c Current CPU time: 1.80373 s 1.89/1.99 c 1.89/1.99 c core #268 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -327 1.89/1.99 c Current CPU time: 1.81172 s 1.89/1.99 c 1.89/1.99 c core #269 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -326 1.89/1.99 c Current CPU time: 1.81972 s 1.89/1.99 c 1.89/1.99 c core #270 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -325 1.89/1.99 c Current CPU time: 1.82872 s 1.89/1.99 c 1.89/1.99 c core #271 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -324 1.89/1.99 c Current CPU time: 1.83672 s 1.89/1.99 c 1.89/1.99 c core #272 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -323 1.89/1.99 c Current CPU time: 1.84472 s 1.89/1.99 c 1.89/1.99 c core #273 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -322 1.89/1.99 c Current CPU time: 1.85272 s 1.89/1.99 c 1.89/1.99 c core #274 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -321 1.89/1.99 c Current CPU time: 1.86072 s 1.89/1.99 c 1.89/1.99 c core #275 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -320 1.89/1.99 c Current CPU time: 1.86871 s 1.89/1.99 c 1.89/1.99 c core #276 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -319 1.89/1.99 c Current CPU time: 1.87771 s 1.89/1.99 c 1.89/1.99 c core #277 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -318 1.89/1.99 c Current CPU time: 1.88571 s 1.89/1.99 c 1.89/1.99 c core #278 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -317 1.89/1.99 c Current CPU time: 1.89371 s 1.89/1.99 c 1.89/1.99 c core #279 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -316 1.89/1.99 c Current CPU time: 1.90171 s 1.89/1.99 c 1.89/1.99 c core #280 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -315 1.89/1.99 c Current CPU time: 1.91071 s 1.89/1.99 c 1.89/1.99 c core #281 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -314 1.89/1.99 c Current CPU time: 1.91871 s 1.89/1.99 c 1.89/1.99 c core #282 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -313 1.89/1.99 c Current CPU time: 1.92671 s 1.89/1.99 c 1.89/1.99 c core #283 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -312 1.89/1.99 c Current CPU time: 1.93471 s 1.89/1.99 c 1.89/1.99 c core #284 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -311 1.89/1.99 c Current CPU time: 1.9437 s 1.89/1.99 c 1.89/1.99 c core #285 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -310 1.89/1.99 c Current CPU time: 1.9517 s 1.89/1.99 c 1.89/1.99 c core #286 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -309 1.89/1.99 c Current CPU time: 1.9597 s 1.89/1.99 c 1.89/1.99 c core #287 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -308 1.89/1.99 c Current CPU time: 1.9687 s 1.89/1.99 c 1.89/1.99 c core #288 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -307 1.89/1.99 c Current CPU time: 1.9767 s 1.89/1.99 c 1.89/1.99 c core #289 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -306 1.89/1.99 c Current CPU time: 1.9847 s 1.89/1.99 c 1.89/1.99 c core #290 1.89/1.99 c 1.89/1.99 c 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -305 1.99/2.07 c Current CPU time: 1.9937 s 1.99/2.07 c 1.99/2.07 c core #291 1.99/2.07 c 1.99/2.07 c 1.99/2.07 c Core size: 3 Core Weight: 1 Total Weight: -304 1.99/2.07 c Current CPU time: 2.00169 s 1.99/2.07 c 1.99/2.07 c core #292 1.99/2.07 c 1.99/2.07 c 1.99/2.07 c Core size: 3 Core Weight: 1 Total Weight: -303 1.99/2.07 c Current CPU time: 2.01069 s 1.99/2.07 c 1.99/2.07 c core #293 1.99/2.07 c 1.99/2.07 c 1.99/2.07 c Core size: 3 Core Weight: 1 Total Weight: -302 1.99/2.07 c Current CPU time: 2.01869 s 1.99/2.07 c 1.99/2.07 c core #294 1.99/2.07 c 1.99/2.07 c 1.99/2.07 c Core size: 3 Core Weight: 1 Total Weight: -301 1.99/2.07 c Current CPU time: 2.02769 s 1.99/2.07 c 1.99/2.07 c core #295 1.99/2.07 c 1.99/2.07 c 1.99/2.07 c Core size: 3 Core Weight: 1 Total Weight: -300 1.99/2.07 c Current CPU time: 2.03569 s 1.99/2.07 c 1.99/2.07 c core #296 1.99/2.07 c 1.99/2.07 c 1.99/2.07 c Core size: 3 Core Weight: 1 Total Weight: -299 1.99/2.07 c Current CPU time: 2.04469 s 1.99/2.07 c 1.99/2.07 c core #297 1.99/2.07 c 1.99/2.07 c 1.99/2.07 c Core size: 7 Core Weight: 1 Total Weight: -298 1.99/2.07 c Current CPU time: 2.05269 s 1.99/2.07 c 1.99/2.07 c core #298 1.99/2.07 c 1.99/2.07 c 1.99/2.07 c Core size: 10 Core Weight: 1 Total Weight: -297 1.99/2.07 c Current CPU time: 2.06169 s 1.99/2.07 c 1.99/2.07 c ============================[ Search Statistics ]============================== 1.99/2.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.07 c =============================================================================== 1.99/2.07 c | 0 | 1196 28824 57659 | 9608 0 -nan | 0.000 % | 1.99/2.07 c =============================================================================== 1.99/2.08 c core #299 1.99/2.08 c 1.99/2.08 c 1.99/2.08 c Core size: 10 Core Weight: 1 Total Weight: -296 1.99/2.08 c Current CPU time: 2.07069 s 1.99/2.08 c 1.99/2.08 c ============================[ Search Statistics ]============================== 1.99/2.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.08 c =============================================================================== 1.99/2.08 c | 0 | 1202 28825 57671 | 9608 0 -nan | 0.000 % | 1.99/2.08 c =============================================================================== 1.99/2.09 c core #300 1.99/2.09 c 1.99/2.09 c 1.99/2.09 c Core size: 8 Core Weight: 1 Total Weight: -295 1.99/2.09 c Current CPU time: 2.07868 s 1.99/2.09 c 1.99/2.09 c ============================[ Search Statistics ]============================== 1.99/2.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.09 c =============================================================================== 1.99/2.09 c | 0 | 1206 28826 57679 | 9608 0 -nan | 0.000 % | 1.99/2.09 c =============================================================================== 1.99/2.09 c core #301 1.99/2.09 c 1.99/2.09 c 1.99/2.09 c Core size: 8 Core Weight: 1 Total Weight: -294 1.99/2.09 c Current CPU time: 2.08768 s 1.99/2.09 c 1.99/2.09 c ============================[ Search Statistics ]============================== 1.99/2.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.09 c =============================================================================== 1.99/2.09 c | 0 | 1210 28827 57687 | 9609 0 -nan | 0.000 % | 1.99/2.10 c =============================================================================== 1.99/2.10 c core #302 1.99/2.10 c 1.99/2.10 c 1.99/2.10 c Core size: 8 Core Weight: 1 Total Weight: -293 1.99/2.10 c Current CPU time: 2.09668 s 1.99/2.10 c 1.99/2.10 c ============================[ Search Statistics ]============================== 1.99/2.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.10 c =============================================================================== 1.99/2.10 c | 0 | 1214 28828 57695 | 9609 0 -nan | 0.000 % | 1.99/2.10 c =============================================================================== 2.10/2.11 c core #303 2.10/2.11 c 2.10/2.11 c 2.10/2.11 c Core size: 10 Core Weight: 1 Total Weight: -292 2.10/2.11 c Current CPU time: 2.10668 s 2.10/2.11 c 2.10/2.11 c ============================[ Search Statistics ]============================== 2.10/2.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.11 c =============================================================================== 2.10/2.11 c | 0 | 1220 28829 57707 | 9609 0 -nan | 0.000 % | 2.10/2.11 c =============================================================================== 2.10/2.12 c core #304 2.10/2.12 c 2.10/2.12 c 2.10/2.12 c Core size: 10 Core Weight: 1 Total Weight: -291 2.10/2.12 c Current CPU time: 2.11568 s 2.10/2.12 c 2.10/2.12 c ============================[ Search Statistics ]============================== 2.10/2.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.12 c =============================================================================== 2.10/2.12 c | 0 | 1226 28830 57719 | 9610 0 -nan | 0.000 % | 2.10/2.12 c =============================================================================== 2.10/2.13 c core #305 2.10/2.13 c 2.10/2.13 c 2.10/2.13 c Core size: 8 Core Weight: 1 Total Weight: -290 2.10/2.13 c Current CPU time: 2.12568 s 2.10/2.13 c 2.10/2.13 c ============================[ Search Statistics ]============================== 2.10/2.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.13 c =============================================================================== 2.10/2.13 c | 0 | 1230 28831 57727 | 9610 0 -nan | 0.000 % | 2.10/2.13 c =============================================================================== 2.10/2.14 c core #306 2.10/2.14 c 2.10/2.14 c 2.10/2.14 c Core size: 8 Core Weight: 1 Total Weight: -289 2.10/2.14 c Current CPU time: 2.13468 s 2.10/2.14 c 2.10/2.14 c ============================[ Search Statistics ]============================== 2.10/2.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.14 c =============================================================================== 2.10/2.14 c | 0 | 1234 28832 57735 | 9610 0 -nan | 0.000 % | 2.10/2.14 c =============================================================================== 2.10/2.15 c core #307 2.10/2.15 c 2.10/2.15 c 2.10/2.15 c Core size: 10 Core Weight: 1 Total Weight: -288 2.10/2.15 c Current CPU time: 2.14367 s 2.10/2.15 c 2.10/2.15 c ============================[ Search Statistics ]============================== 2.10/2.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.15 c =============================================================================== 2.10/2.15 c | 0 | 1240 28833 57747 | 9611 0 -nan | 0.000 % | 2.10/2.15 c =============================================================================== 2.10/2.16 c core #308 2.10/2.16 c 2.10/2.16 c 2.10/2.16 c Core size: 8 Core Weight: 1 Total Weight: -287 2.10/2.16 c Current CPU time: 2.15367 s 2.10/2.16 c 2.10/2.16 c ============================[ Search Statistics ]============================== 2.10/2.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.16 c =============================================================================== 2.10/2.16 c | 0 | 1244 28834 57755 | 9611 0 -nan | 0.000 % | 2.10/2.16 c =============================================================================== 2.10/2.17 c core #309 2.10/2.17 c 2.10/2.17 c 2.10/2.17 c Core size: 8 Core Weight: 1 Total Weight: -286 2.10/2.17 c Current CPU time: 2.16267 s 2.10/2.17 c 2.10/2.17 c ============================[ Search Statistics ]============================== 2.10/2.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.17 c =============================================================================== 2.10/2.17 c | 0 | 1248 28835 57763 | 9611 0 -nan | 0.000 % | 2.10/2.17 c =============================================================================== 2.10/2.18 c core #310 2.10/2.18 c 2.10/2.18 c 2.10/2.18 c Core size: 8 Core Weight: 1 Total Weight: -285 2.10/2.18 c Current CPU time: 2.17167 s 2.10/2.18 c 2.10/2.18 c ============================[ Search Statistics ]============================== 2.10/2.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.18 c =============================================================================== 2.10/2.18 c | 0 | 1252 28836 57771 | 9612 0 -nan | 0.000 % | 2.10/2.18 c =============================================================================== 2.10/2.19 c core #311 2.10/2.19 c 2.10/2.19 c 2.10/2.19 c Core size: 10 Core Weight: 1 Total Weight: -284 2.10/2.19 c Current CPU time: 2.18067 s 2.10/2.19 c 2.10/2.19 c ============================[ Search Statistics ]============================== 2.10/2.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.19 c =============================================================================== 2.10/2.19 c | 0 | 1258 28837 57783 | 9612 0 -nan | 0.000 % | 2.10/2.19 c =============================================================================== 2.10/2.20 c core #312 2.10/2.20 c 2.10/2.20 c 2.10/2.20 c Core size: 10 Core Weight: 1 Total Weight: -283 2.10/2.20 c Current CPU time: 2.19067 s 2.10/2.20 c 2.10/2.20 c ============================[ Search Statistics ]============================== 2.10/2.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.20 c =============================================================================== 2.10/2.20 c | 0 | 1264 28838 57795 | 9612 0 -nan | 0.000 % | 2.10/2.20 c =============================================================================== 2.10/2.21 c core #313 2.10/2.21 c 2.10/2.21 c 2.10/2.21 c Core size: 10 Core Weight: 1 Total Weight: -282 2.10/2.21 c Current CPU time: 2.19966 s 2.10/2.21 c 2.10/2.21 c ============================[ Search Statistics ]============================== 2.10/2.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.21 c =============================================================================== 2.10/2.21 c | 0 | 1270 28839 57807 | 9613 0 -nan | 0.000 % | 2.10/2.21 c =============================================================================== 2.21/2.22 c core #314 2.21/2.22 c 2.21/2.22 c 2.21/2.22 c Core size: 13 Core Weight: 1 Total Weight: -281 2.21/2.22 c Current CPU time: 2.20866 s 2.21/2.22 c 2.21/2.22 c ============================[ Search Statistics ]============================== 2.21/2.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.21/2.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.21/2.22 c =============================================================================== 2.21/2.22 c | 0 | 1280 28840 57827 | 9613 0 -nan | 0.000 % | 2.21/2.22 c =============================================================================== 2.21/2.22 c core #315 2.21/2.22 c 2.21/2.22 c 2.21/2.22 c Core size: 10 Core Weight: 1 Total Weight: -280 2.21/2.22 c Current CPU time: 2.21766 s 2.21/2.22 c 2.21/2.22 c ============================[ Search Statistics ]============================== 2.21/2.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.21/2.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.21/2.22 c =============================================================================== 2.21/2.22 c | 0 | 1286 28841 57839 | 9613 0 -nan | 0.000 % | 2.21/2.23 c =============================================================================== 2.21/2.23 c core #316 2.21/2.23 c 2.21/2.23 c 2.21/2.23 c Core size: 8 Core Weight: 1 Total Weight: -279 2.21/2.23 c Current CPU time: 2.22766 s 2.21/2.23 c 2.21/2.23 c ============================[ Search Statistics ]============================== 2.21/2.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.21/2.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.21/2.23 c =============================================================================== 2.21/2.23 c | 0 | 1290 28842 57847 | 9614 0 -nan | 0.000 % | 2.21/2.23 c =============================================================================== 2.21/2.24 c core #317 2.21/2.24 c 2.21/2.24 c 2.21/2.24 c Core size: 8 Core Weight: 1 Total Weight: -278 2.21/2.24 c Current CPU time: 2.23666 s 2.21/2.24 c 2.21/2.24 c ============================[ Search Statistics ]============================== 2.21/2.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.21/2.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.21/2.24 c =============================================================================== 2.21/2.24 c | 0 | 1294 28843 57855 | 9614 0 -nan | 0.000 % | 2.21/2.24 c =============================================================================== 2.21/2.25 c core #318 2.21/2.25 c 2.21/2.25 c 2.21/2.25 c Core size: 13 Core Weight: 1 Total Weight: -277 2.21/2.25 c Current CPU time: 2.24566 s 2.21/2.25 c 2.21/2.25 c ============================[ Search Statistics ]============================== 2.21/2.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.21/2.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.21/2.25 c =============================================================================== 2.21/2.25 c | 0 | 1304 28844 57875 | 9614 0 -nan | 0.000 % | 2.21/2.25 c =============================================================================== 2.21/2.26 c core #319 2.21/2.26 c 2.21/2.26 c 2.21/2.26 c Core size: 10 Core Weight: 1 Total Weight: -276 2.21/2.26 c Current CPU time: 2.25566 s 2.21/2.26 c 2.21/2.26 c ============================[ Search Statistics ]============================== 2.21/2.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.21/2.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.21/2.26 c =============================================================================== 2.21/2.26 c | 0 | 1310 28845 57887 | 9615 0 -nan | 0.000 % | 2.21/2.26 c =============================================================================== 2.21/2.27 c core #320 2.21/2.27 c 2.21/2.27 c 2.21/2.27 c Core size: 10 Core Weight: 1 Total Weight: -275 2.21/2.27 c Current CPU time: 2.26365 s 2.21/2.27 c 2.21/2.27 c ============================[ Search Statistics ]============================== 2.21/2.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.21/2.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.21/2.27 c =============================================================================== 2.21/2.27 c | 0 | 1316 28846 57899 | 9615 0 -nan | 0.000 % | 2.21/2.27 c =============================================================================== 2.21/2.28 c core #321 2.21/2.28 c 2.21/2.28 c 2.21/2.28 c Core size: 8 Core Weight: 1 Total Weight: -274 2.21/2.28 c Current CPU time: 2.27265 s 2.21/2.28 c 2.21/2.28 c ============================[ Search Statistics ]============================== 2.21/2.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.21/2.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.21/2.28 c =============================================================================== 2.21/2.28 c | 0 | 1320 28847 57907 | 9615 0 -nan | 0.000 % | 2.21/2.28 c =============================================================================== 2.21/2.29 c core #322 2.21/2.29 c 2.21/2.29 c 2.21/2.29 c Core size: 10 Core Weight: 1 Total Weight: -273 2.21/2.29 c Current CPU time: 2.28265 s 2.21/2.29 c 2.21/2.29 c ============================[ Search Statistics ]============================== 2.21/2.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.21/2.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.21/2.29 c =============================================================================== 2.21/2.29 c | 0 | 1326 28848 57919 | 9616 0 -nan | 0.000 % | 2.21/2.29 c =============================================================================== 2.29/2.30 c core #323 2.29/2.30 c 2.29/2.30 c 2.29/2.30 c Core size: 10 Core Weight: 1 Total Weight: -272 2.29/2.30 c Current CPU time: 2.29165 s 2.29/2.30 c 2.29/2.30 c ============================[ Search Statistics ]============================== 2.29/2.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.30 c =============================================================================== 2.29/2.30 c | 0 | 1332 28849 57931 | 9616 0 -nan | 0.000 % | 2.29/2.30 c =============================================================================== 2.29/2.31 c core #324 2.29/2.31 c 2.29/2.31 c 2.29/2.31 c Core size: 8 Core Weight: 1 Total Weight: -271 2.29/2.31 c Current CPU time: 2.30165 s 2.29/2.31 c 2.29/2.31 c ============================[ Search Statistics ]============================== 2.29/2.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.31 c =============================================================================== 2.29/2.31 c | 0 | 1336 28850 57939 | 9616 0 -nan | 0.000 % | 2.29/2.31 c =============================================================================== 2.29/2.32 c core #325 2.29/2.32 c 2.29/2.32 c 2.29/2.32 c Core size: 10 Core Weight: 1 Total Weight: -270 2.29/2.32 c Current CPU time: 2.31065 s 2.29/2.32 c 2.29/2.32 c ============================[ Search Statistics ]============================== 2.29/2.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.32 c =============================================================================== 2.29/2.32 c | 0 | 1342 28851 57951 | 9617 0 -nan | 0.000 % | 2.29/2.32 c =============================================================================== 2.29/2.33 c core #326 2.29/2.33 c 2.29/2.33 c 2.29/2.33 c Core size: 10 Core Weight: 1 Total Weight: -269 2.29/2.33 c Current CPU time: 2.32065 s 2.29/2.33 c 2.29/2.33 c ============================[ Search Statistics ]============================== 2.29/2.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.33 c =============================================================================== 2.29/2.33 c | 0 | 1348 28852 57963 | 9617 0 -nan | 0.000 % | 2.29/2.33 c =============================================================================== 2.29/2.34 c core #327 2.29/2.34 c 2.29/2.34 c 2.29/2.34 c Core size: 8 Core Weight: 1 Total Weight: -268 2.29/2.34 c Current CPU time: 2.32965 s 2.29/2.34 c 2.29/2.34 c ============================[ Search Statistics ]============================== 2.29/2.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.34 c =============================================================================== 2.29/2.34 c | 0 | 1352 28853 57971 | 9617 0 -nan | 0.000 % | 2.29/2.34 c =============================================================================== 2.29/2.35 c core #328 2.29/2.35 c 2.29/2.35 c 2.29/2.35 c Core size: 8 Core Weight: 1 Total Weight: -267 2.29/2.35 c Current CPU time: 2.33864 s 2.29/2.35 c 2.29/2.35 c ============================[ Search Statistics ]============================== 2.29/2.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.35 c =============================================================================== 2.29/2.35 c | 0 | 1356 28854 57979 | 9618 0 -nan | 0.000 % | 2.29/2.35 c =============================================================================== 2.29/2.36 c core #329 2.29/2.36 c 2.29/2.36 c 2.29/2.36 c Core size: 8 Core Weight: 1 Total Weight: -266 2.29/2.36 c Current CPU time: 2.34764 s 2.29/2.36 c 2.29/2.36 c ============================[ Search Statistics ]============================== 2.29/2.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.36 c =============================================================================== 2.29/2.36 c | 0 | 1360 28855 57987 | 9618 0 -nan | 0.000 % | 2.29/2.36 c =============================================================================== 2.29/2.37 c core #330 2.29/2.37 c 2.29/2.37 c 2.29/2.37 c Core size: 10 Core Weight: 1 Total Weight: -265 2.29/2.37 c Current CPU time: 2.35764 s 2.29/2.37 c 2.29/2.37 c ============================[ Search Statistics ]============================== 2.29/2.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.37 c =============================================================================== 2.29/2.37 c | 0 | 1366 28856 57999 | 9618 0 -nan | 0.000 % | 2.29/2.37 c =============================================================================== 2.29/2.37 c core #331 2.29/2.37 c 2.29/2.37 c 2.29/2.37 c Core size: 14 Core Weight: 1 Total Weight: -264 2.29/2.37 c Current CPU time: 2.36664 s 2.29/2.37 c 2.29/2.37 c ============================[ Search Statistics ]============================== 2.29/2.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.37 c =============================================================================== 2.29/2.37 c | 0 | 1378 28857 58023 | 9619 0 -nan | 0.000 % | 2.29/2.38 c =============================================================================== 2.29/2.38 c core #332 2.29/2.38 c 2.29/2.38 c 2.29/2.38 c Core size: 8 Core Weight: 1 Total Weight: -263 2.29/2.38 c Current CPU time: 2.37664 s 2.29/2.38 c 2.29/2.38 c ============================[ Search Statistics ]============================== 2.29/2.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.38 c =============================================================================== 2.29/2.38 c | 0 | 1382 28858 58031 | 9619 0 -nan | 0.000 % | 2.29/2.38 c =============================================================================== 2.29/2.39 c core #333 2.29/2.39 c 2.29/2.39 c 2.29/2.39 c Core size: 8 Core Weight: 1 Total Weight: -262 2.29/2.39 c Current CPU time: 2.38564 s 2.29/2.39 c 2.29/2.39 c ============================[ Search Statistics ]============================== 2.29/2.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.39 c =============================================================================== 2.29/2.39 c | 0 | 1386 28859 58039 | 9619 0 -nan | 0.000 % | 2.29/2.39 c =============================================================================== 2.39/2.40 c core #334 2.39/2.40 c 2.39/2.40 c 2.39/2.40 c Core size: 12 Core Weight: 1 Total Weight: -261 2.39/2.40 c Current CPU time: 2.39464 s 2.39/2.40 c 2.39/2.40 c ============================[ Search Statistics ]============================== 2.39/2.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.40 c =============================================================================== 2.39/2.40 c | 0 | 1396 28860 58059 | 9620 0 -nan | 0.000 % | 2.39/2.40 c =============================================================================== 2.39/2.41 c core #335 2.39/2.41 c 2.39/2.41 c 2.39/2.41 c Core size: 8 Core Weight: 1 Total Weight: -260 2.39/2.41 c Current CPU time: 2.40363 s 2.39/2.41 c 2.39/2.41 c ============================[ Search Statistics ]============================== 2.39/2.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.41 c =============================================================================== 2.39/2.41 c | 0 | 1400 28861 58067 | 9620 0 -nan | 0.000 % | 2.39/2.41 c =============================================================================== 2.39/2.42 c core #336 2.39/2.42 c 2.39/2.42 c 2.39/2.42 c Core size: 10 Core Weight: 1 Total Weight: -259 2.39/2.42 c Current CPU time: 2.41363 s 2.39/2.42 c 2.39/2.42 c ============================[ Search Statistics ]============================== 2.39/2.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.42 c =============================================================================== 2.39/2.42 c | 0 | 1406 28862 58079 | 9620 0 -nan | 0.000 % | 2.39/2.42 c =============================================================================== 2.39/2.43 c core #337 2.39/2.43 c 2.39/2.43 c 2.39/2.43 c Core size: 10 Core Weight: 1 Total Weight: -258 2.39/2.43 c Current CPU time: 2.42363 s 2.39/2.43 c 2.39/2.43 c ============================[ Search Statistics ]============================== 2.39/2.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.43 c =============================================================================== 2.39/2.43 c | 0 | 1412 28863 58091 | 9621 0 -nan | 0.000 % | 2.39/2.43 c =============================================================================== 2.39/2.44 c core #338 2.39/2.44 c 2.39/2.44 c 2.39/2.44 c Core size: 8 Core Weight: 1 Total Weight: -257 2.39/2.44 c Current CPU time: 2.43263 s 2.39/2.44 c 2.39/2.44 c ============================[ Search Statistics ]============================== 2.39/2.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.44 c =============================================================================== 2.39/2.44 c | 0 | 1416 28864 58099 | 9621 0 -nan | 0.000 % | 2.39/2.44 c =============================================================================== 2.39/2.45 c core #339 2.39/2.45 c 2.39/2.45 c 2.39/2.45 c Core size: 8 Core Weight: 1 Total Weight: -256 2.39/2.45 c Current CPU time: 2.44263 s 2.39/2.45 c 2.39/2.45 c ============================[ Search Statistics ]============================== 2.39/2.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.45 c =============================================================================== 2.39/2.45 c | 0 | 1420 28865 58107 | 9621 0 -nan | 0.000 % | 2.39/2.45 c =============================================================================== 2.39/2.46 c core #340 2.39/2.46 c 2.39/2.46 c 2.39/2.46 c Core size: 8 Core Weight: 1 Total Weight: -255 2.39/2.46 c Current CPU time: 2.45163 s 2.39/2.46 c 2.39/2.46 c ============================[ Search Statistics ]============================== 2.39/2.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.46 c =============================================================================== 2.39/2.46 c | 0 | 1424 28866 58115 | 9622 0 -nan | 0.000 % | 2.39/2.46 c =============================================================================== 2.39/2.47 c core #341 2.39/2.47 c 2.39/2.47 c 2.39/2.47 c Core size: 15 Core Weight: 1 Total Weight: -254 2.39/2.47 c Current CPU time: 2.46062 s 2.39/2.47 c 2.39/2.47 c ============================[ Search Statistics ]============================== 2.39/2.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.47 c =============================================================================== 2.39/2.47 c | 0 | 1436 28867 58139 | 9622 0 -nan | 0.000 % | 2.39/2.47 c =============================================================================== 2.39/2.48 c core #342 2.39/2.48 c 2.39/2.48 c 2.39/2.48 c Core size: 15 Core Weight: 1 Total Weight: -253 2.39/2.48 c Current CPU time: 2.47162 s 2.39/2.48 c 2.39/2.48 c ============================[ Search Statistics ]============================== 2.39/2.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.48 c =============================================================================== 2.39/2.48 c | 0 | 1448 28868 58163 | 9622 0 -nan | 0.000 % | 2.39/2.48 c =============================================================================== 2.39/2.49 c core #343 2.39/2.49 c 2.39/2.49 c 2.39/2.49 c Core size: 8 Core Weight: 1 Total Weight: -252 2.39/2.49 c Current CPU time: 2.48062 s 2.39/2.49 c 2.39/2.49 c ============================[ Search Statistics ]============================== 2.39/2.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.49 c =============================================================================== 2.39/2.49 c | 0 | 1452 28869 58171 | 9623 0 -nan | 0.000 % | 2.39/2.49 c =============================================================================== 2.49/2.50 c core #344 2.49/2.50 c 2.49/2.50 c 2.49/2.50 c Core size: 10 Core Weight: 1 Total Weight: -251 2.49/2.50 c Current CPU time: 2.49062 s 2.49/2.50 c 2.49/2.50 c ============================[ Search Statistics ]============================== 2.49/2.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.50 c =============================================================================== 2.49/2.50 c | 0 | 1458 28870 58183 | 9623 0 -nan | 0.000 % | 2.49/2.50 c =============================================================================== 2.49/2.51 c core #345 2.49/2.51 c 2.49/2.51 c 2.49/2.51 c Core size: 8 Core Weight: 1 Total Weight: -250 2.49/2.51 c Current CPU time: 2.50062 s 2.49/2.51 c 2.49/2.51 c ============================[ Search Statistics ]============================== 2.49/2.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.51 c =============================================================================== 2.49/2.51 c | 0 | 1462 28871 58191 | 9623 0 -nan | 0.000 % | 2.49/2.51 c =============================================================================== 2.49/2.52 c core #346 2.49/2.52 c 2.49/2.52 c 2.49/2.52 c Core size: 10 Core Weight: 1 Total Weight: -249 2.49/2.52 c Current CPU time: 2.50862 s 2.49/2.52 c 2.49/2.52 c ============================[ Search Statistics ]============================== 2.49/2.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.52 c =============================================================================== 2.49/2.52 c | 0 | 1468 28872 58203 | 9624 0 -nan | 0.000 % | 2.49/2.52 c =============================================================================== 2.49/2.53 c core #347 2.49/2.53 c 2.49/2.53 c 2.49/2.53 c Core size: 10 Core Weight: 1 Total Weight: -248 2.49/2.53 c Current CPU time: 2.51862 s 2.49/2.53 c 2.49/2.53 c ============================[ Search Statistics ]============================== 2.49/2.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.53 c =============================================================================== 2.49/2.53 c | 0 | 1474 28873 58215 | 9624 0 -nan | 0.000 % | 2.49/2.53 c =============================================================================== 2.49/2.54 c core #348 2.49/2.54 c 2.49/2.54 c 2.49/2.54 c Core size: 8 Core Weight: 1 Total Weight: -247 2.49/2.54 c Current CPU time: 2.52761 s 2.49/2.54 c 2.49/2.54 c ============================[ Search Statistics ]============================== 2.49/2.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.54 c =============================================================================== 2.49/2.54 c | 0 | 1478 28874 58223 | 9624 0 -nan | 0.000 % | 2.49/2.54 c =============================================================================== 2.49/2.55 c core #349 2.49/2.55 c 2.49/2.55 c 2.49/2.55 c Core size: 8 Core Weight: 1 Total Weight: -246 2.49/2.55 c Current CPU time: 2.53761 s 2.49/2.55 c 2.49/2.55 c ============================[ Search Statistics ]============================== 2.49/2.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.55 c =============================================================================== 2.49/2.55 c | 0 | 1482 28875 58231 | 9625 0 -nan | 0.000 % | 2.49/2.55 c =============================================================================== 2.49/2.56 c core #350 2.49/2.56 c 2.49/2.56 c 2.49/2.56 c Core size: 10 Core Weight: 1 Total Weight: -245 2.49/2.56 c Current CPU time: 2.54761 s 2.49/2.56 c 2.49/2.56 c ============================[ Search Statistics ]============================== 2.49/2.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.56 c =============================================================================== 2.49/2.56 c | 0 | 1488 28876 58243 | 9625 0 -nan | 0.000 % | 2.49/2.56 c =============================================================================== 2.49/2.57 c core #351 2.49/2.57 c 2.49/2.57 c 2.49/2.57 c Core size: 10 Core Weight: 1 Total Weight: -244 2.49/2.57 c Current CPU time: 2.55661 s 2.49/2.57 c 2.49/2.57 c ============================[ Search Statistics ]============================== 2.49/2.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.57 c =============================================================================== 2.49/2.57 c | 0 | 1494 28877 58255 | 9625 0 -nan | 0.000 % | 2.49/2.57 c =============================================================================== 2.49/2.58 c core #352 2.49/2.58 c 2.49/2.58 c 2.49/2.58 c Core size: 10 Core Weight: 1 Total Weight: -243 2.49/2.58 c Current CPU time: 2.56661 s 2.49/2.58 c 2.49/2.58 c ============================[ Search Statistics ]============================== 2.49/2.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.58 c =============================================================================== 2.49/2.58 c | 0 | 1500 28878 58267 | 9626 0 -nan | 0.000 % | 2.49/2.58 c =============================================================================== 2.49/2.59 c core #353 2.49/2.59 c 2.49/2.59 c 2.49/2.59 c Core size: 15 Core Weight: 1 Total Weight: -242 2.49/2.59 c Current CPU time: 2.57661 s 2.49/2.59 c 2.49/2.59 c ============================[ Search Statistics ]============================== 2.49/2.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.59 c =============================================================================== 2.49/2.59 c | 0 | 1512 28879 58291 | 9626 0 -nan | 0.000 % | 2.49/2.59 c =============================================================================== 2.49/2.60 c core #354 2.49/2.60 c 2.49/2.60 c 2.49/2.60 c Core size: 10 Core Weight: 1 Total Weight: -241 2.49/2.60 c Current CPU time: 2.58661 s 2.49/2.60 c 2.49/2.60 c ============================[ Search Statistics ]============================== 2.49/2.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.60 c =============================================================================== 2.49/2.60 c | 0 | 1518 28880 58303 | 9626 0 -nan | 0.000 % | 2.49/2.60 c =============================================================================== 2.59/2.61 c core #355 2.59/2.61 c 2.59/2.61 c 2.59/2.61 c Core size: 10 Core Weight: 1 Total Weight: -240 2.59/2.61 c Current CPU time: 2.5956 s 2.59/2.61 c 2.59/2.61 c ============================[ Search Statistics ]============================== 2.59/2.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.61 c =============================================================================== 2.59/2.61 c | 0 | 1524 28881 58315 | 9627 0 -nan | 0.000 % | 2.59/2.61 c =============================================================================== 2.59/2.61 c core #356 2.59/2.61 c 2.59/2.61 c 2.59/2.61 c Core size: 10 Core Weight: 1 Total Weight: -239 2.59/2.61 c Current CPU time: 2.6046 s 2.59/2.61 c 2.59/2.61 c ============================[ Search Statistics ]============================== 2.59/2.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.61 c =============================================================================== 2.59/2.61 c | 0 | 1530 28882 58327 | 9627 0 -nan | 0.000 % | 2.59/2.62 c =============================================================================== 2.59/2.62 c core #357 2.59/2.62 c 2.59/2.62 c 2.59/2.62 c Core size: 8 Core Weight: 1 Total Weight: -238 2.59/2.62 c Current CPU time: 2.6146 s 2.59/2.62 c 2.59/2.62 c ============================[ Search Statistics ]============================== 2.59/2.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.62 c =============================================================================== 2.59/2.62 c | 0 | 1534 28883 58335 | 9627 0 -nan | 0.000 % | 2.59/2.63 c =============================================================================== 2.59/2.63 c core #358 2.59/2.63 c 2.59/2.63 c 2.59/2.63 c Core size: 10 Core Weight: 1 Total Weight: -237 2.59/2.63 c Current CPU time: 2.6236 s 2.59/2.63 c 2.59/2.63 c ============================[ Search Statistics ]============================== 2.59/2.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.63 c =============================================================================== 2.59/2.63 c | 0 | 1540 28884 58347 | 9628 0 -nan | 0.000 % | 2.59/2.63 c =============================================================================== 2.59/2.64 c core #359 2.59/2.64 c 2.59/2.64 c 2.59/2.64 c Core size: 10 Core Weight: 1 Total Weight: -236 2.59/2.64 c Current CPU time: 2.6336 s 2.59/2.64 c 2.59/2.64 c ============================[ Search Statistics ]============================== 2.59/2.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.64 c =============================================================================== 2.59/2.64 c | 0 | 1546 28885 58359 | 9628 0 -nan | 0.000 % | 2.59/2.64 c =============================================================================== 2.59/2.65 c core #360 2.59/2.65 c 2.59/2.65 c 2.59/2.65 c Core size: 15 Core Weight: 1 Total Weight: -235 2.59/2.65 c Current CPU time: 2.6436 s 2.59/2.65 c 2.59/2.65 c ============================[ Search Statistics ]============================== 2.59/2.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.65 c =============================================================================== 2.59/2.65 c | 0 | 1558 28886 58383 | 9628 0 -nan | 0.000 % | 2.59/2.65 c =============================================================================== 2.59/2.66 c core #361 2.59/2.66 c 2.59/2.66 c 2.59/2.66 c Core size: 10 Core Weight: 1 Total Weight: -234 2.59/2.66 c Current CPU time: 2.6536 s 2.59/2.66 c 2.59/2.66 c ============================[ Search Statistics ]============================== 2.59/2.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.66 c =============================================================================== 2.59/2.66 c | 0 | 1564 28887 58395 | 9629 0 -nan | 0.000 % | 2.59/2.66 c =============================================================================== 2.59/2.67 c core #362 2.59/2.67 c 2.59/2.67 c 2.59/2.67 c Core size: 8 Core Weight: 1 Total Weight: -233 2.59/2.67 c Current CPU time: 2.66359 s 2.59/2.67 c 2.59/2.67 c ============================[ Search Statistics ]============================== 2.59/2.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.67 c =============================================================================== 2.59/2.67 c | 0 | 1568 28888 58403 | 9629 0 -nan | 0.000 % | 2.59/2.67 c =============================================================================== 2.59/2.68 c core #363 2.59/2.68 c 2.59/2.68 c 2.59/2.68 c Core size: 10 Core Weight: 1 Total Weight: -232 2.59/2.68 c Current CPU time: 2.67259 s 2.59/2.68 c 2.59/2.68 c ============================[ Search Statistics ]============================== 2.59/2.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.68 c =============================================================================== 2.59/2.68 c | 0 | 1574 28889 58415 | 9629 0 -nan | 0.000 % | 2.59/2.68 c =============================================================================== 2.59/2.69 c core #364 2.59/2.69 c 2.59/2.69 c 2.59/2.69 c Core size: 10 Core Weight: 1 Total Weight: -231 2.59/2.69 c Current CPU time: 2.68259 s 2.59/2.69 c 2.59/2.69 c ============================[ Search Statistics ]============================== 2.59/2.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.69 c =============================================================================== 2.59/2.69 c | 0 | 1580 28890 58427 | 9630 0 -nan | 0.000 % | 2.59/2.69 c =============================================================================== 2.69/2.70 c core #365 2.69/2.70 c 2.69/2.70 c 2.69/2.70 c Core size: 15 Core Weight: 1 Total Weight: -230 2.69/2.70 c Current CPU time: 2.69259 s 2.69/2.70 c 2.69/2.70 c ============================[ Search Statistics ]============================== 2.69/2.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.70 c =============================================================================== 2.69/2.70 c | 0 | 1592 28891 58451 | 9630 0 -nan | 0.000 % | 2.69/2.70 c =============================================================================== 2.69/2.71 c core #366 2.69/2.71 c 2.69/2.71 c 2.69/2.71 c Core size: 15 Core Weight: 1 Total Weight: -229 2.69/2.71 c Current CPU time: 2.70259 s 2.69/2.71 c 2.69/2.71 c ============================[ Search Statistics ]============================== 2.69/2.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.71 c =============================================================================== 2.69/2.71 c | 0 | 1604 28892 58475 | 9630 0 -nan | 0.000 % | 2.69/2.71 c =============================================================================== 2.69/2.72 c core #367 2.69/2.72 c 2.69/2.72 c 2.69/2.72 c Core size: 10 Core Weight: 1 Total Weight: -228 2.69/2.72 c Current CPU time: 2.71259 s 2.69/2.72 c 2.69/2.72 c ============================[ Search Statistics ]============================== 2.69/2.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.72 c =============================================================================== 2.69/2.72 c | 0 | 1610 28893 58487 | 9631 0 -nan | 0.000 % | 2.69/2.72 c =============================================================================== 2.69/2.74 c core #368 2.69/2.74 c 2.69/2.74 c 2.69/2.74 c Core size: 8 Core Weight: 1 Total Weight: -227 2.69/2.74 c Current CPU time: 2.72358 s 2.69/2.74 c 2.69/2.74 c ============================[ Search Statistics ]============================== 2.69/2.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.74 c =============================================================================== 2.69/2.74 c | 0 | 1614 28894 58495 | 9631 0 -nan | 0.000 % | 2.69/2.74 c =============================================================================== 2.69/2.74 c core #369 2.69/2.74 c 2.69/2.74 c 2.69/2.74 c Core size: 10 Core Weight: 1 Total Weight: -226 2.69/2.74 c Current CPU time: 2.73358 s 2.69/2.74 c 2.69/2.74 c ============================[ Search Statistics ]============================== 2.69/2.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.74 c =============================================================================== 2.69/2.74 c | 0 | 1620 28895 58507 | 9631 0 -nan | 0.000 % | 2.69/2.74 c =============================================================================== 2.69/2.75 c core #370 2.69/2.75 c 2.69/2.75 c 2.69/2.75 c Core size: 8 Core Weight: 1 Total Weight: -225 2.69/2.75 c Current CPU time: 2.74358 s 2.69/2.75 c 2.69/2.75 c ============================[ Search Statistics ]============================== 2.69/2.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.75 c =============================================================================== 2.69/2.75 c | 0 | 1624 28896 58515 | 9632 0 -nan | 0.000 % | 2.69/2.75 c =============================================================================== 2.69/2.76 c core #371 2.69/2.76 c 2.69/2.76 c 2.69/2.76 c Core size: 8 Core Weight: 1 Total Weight: -224 2.69/2.76 c Current CPU time: 2.75358 s 2.69/2.76 c 2.69/2.76 c ============================[ Search Statistics ]============================== 2.69/2.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.76 c =============================================================================== 2.69/2.76 c | 0 | 1628 28897 58523 | 9632 0 -nan | 0.000 % | 2.69/2.76 c =============================================================================== 2.69/2.77 c core #372 2.69/2.77 c 2.69/2.77 c 2.69/2.77 c Core size: 8 Core Weight: 1 Total Weight: -223 2.69/2.77 c Current CPU time: 2.76358 s 2.69/2.77 c 2.69/2.77 c ============================[ Search Statistics ]============================== 2.69/2.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.77 c =============================================================================== 2.69/2.77 c | 0 | 1632 28898 58531 | 9632 0 -nan | 0.000 % | 2.69/2.77 c =============================================================================== 2.69/2.78 c core #373 2.69/2.78 c 2.69/2.78 c 2.69/2.78 c Core size: 10 Core Weight: 1 Total Weight: -222 2.69/2.78 c Current CPU time: 2.77358 s 2.69/2.78 c 2.69/2.78 c ============================[ Search Statistics ]============================== 2.69/2.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.78 c =============================================================================== 2.69/2.78 c | 0 | 1638 28899 58543 | 9633 0 -nan | 0.000 % | 2.69/2.78 c =============================================================================== 2.69/2.79 c core #374 2.69/2.79 c 2.69/2.79 c 2.69/2.79 c Core size: 10 Core Weight: 1 Total Weight: -221 2.69/2.79 c Current CPU time: 2.78358 s 2.69/2.79 c 2.69/2.79 c ============================[ Search Statistics ]============================== 2.69/2.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.79 c =============================================================================== 2.69/2.79 c | 0 | 1644 28900 58555 | 9633 0 -nan | 0.000 % | 2.69/2.79 c =============================================================================== 2.79/2.80 c core #375 2.79/2.80 c 2.79/2.80 c 2.79/2.80 c Core size: 15 Core Weight: 1 Total Weight: -220 2.79/2.80 c Current CPU time: 2.79358 s 2.79/2.80 c 2.79/2.80 c ============================[ Search Statistics ]============================== 2.79/2.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.80 c =============================================================================== 2.79/2.80 c | 0 | 1656 28901 58579 | 9633 0 -nan | 0.000 % | 2.79/2.80 c =============================================================================== 2.79/2.81 c core #376 2.79/2.81 c 2.79/2.81 c 2.79/2.81 c Core size: 8 Core Weight: 1 Total Weight: -219 2.79/2.81 c Current CPU time: 2.80257 s 2.79/2.81 c 2.79/2.81 c ============================[ Search Statistics ]============================== 2.79/2.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.81 c =============================================================================== 2.79/2.81 c | 0 | 1660 28902 58587 | 9634 0 -nan | 0.000 % | 2.79/2.81 c =============================================================================== 2.79/2.82 c core #377 2.79/2.82 c 2.79/2.82 c 2.79/2.82 c Core size: 8 Core Weight: 1 Total Weight: -218 2.79/2.82 c Current CPU time: 2.81357 s 2.79/2.82 c 2.79/2.82 c ============================[ Search Statistics ]============================== 2.79/2.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.82 c =============================================================================== 2.79/2.82 c | 0 | 1664 28903 58595 | 9634 0 -nan | 0.000 % | 2.79/2.82 c =============================================================================== 2.79/2.83 c core #378 2.79/2.83 c 2.79/2.83 c 2.79/2.83 c Core size: 10 Core Weight: 1 Total Weight: -217 2.79/2.83 c Current CPU time: 2.82357 s 2.79/2.83 c 2.79/2.83 c ============================[ Search Statistics ]============================== 2.79/2.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.83 c =============================================================================== 2.79/2.83 c | 0 | 1670 28904 58607 | 9634 0 -nan | 0.000 % | 2.79/2.83 c =============================================================================== 2.79/2.84 c core #379 2.79/2.84 c 2.79/2.84 c 2.79/2.84 c Core size: 10 Core Weight: 1 Total Weight: -216 2.79/2.84 c Current CPU time: 2.83357 s 2.79/2.84 c 2.79/2.84 c ============================[ Search Statistics ]============================== 2.79/2.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.84 c =============================================================================== 2.79/2.84 c | 0 | 1676 28905 58619 | 9635 0 -nan | 0.000 % | 2.79/2.84 c =============================================================================== 2.79/2.85 c core #380 2.79/2.85 c 2.79/2.85 c 2.79/2.85 c Core size: 10 Core Weight: 1 Total Weight: -215 2.79/2.85 c Current CPU time: 2.84257 s 2.79/2.85 c 2.79/2.85 c ============================[ Search Statistics ]============================== 2.79/2.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.85 c =============================================================================== 2.79/2.85 c | 0 | 1682 28906 58631 | 9635 0 -nan | 0.000 % | 2.79/2.85 c =============================================================================== 2.79/2.86 c core #381 2.79/2.86 c 2.79/2.86 c 2.79/2.86 c Core size: 10 Core Weight: 1 Total Weight: -214 2.79/2.86 c Current CPU time: 2.85257 s 2.79/2.86 c 2.79/2.86 c ============================[ Search Statistics ]============================== 2.79/2.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.86 c =============================================================================== 2.79/2.86 c | 0 | 1688 28907 58643 | 9635 0 -nan | 0.000 % | 2.79/2.86 c =============================================================================== 2.79/2.87 c core #382 2.79/2.87 c 2.79/2.87 c 2.79/2.87 c Core size: 8 Core Weight: 1 Total Weight: -213 2.79/2.87 c Current CPU time: 2.86256 s 2.79/2.87 c 2.79/2.87 c ============================[ Search Statistics ]============================== 2.79/2.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.87 c =============================================================================== 2.79/2.87 c | 0 | 1692 28908 58651 | 9636 0 -nan | 0.000 % | 2.79/2.87 c =============================================================================== 2.79/2.88 c core #383 2.79/2.88 c 2.79/2.88 c 2.79/2.88 c Core size: 10 Core Weight: 1 Total Weight: -212 2.79/2.88 c Current CPU time: 2.87256 s 2.79/2.88 c 2.79/2.88 c ============================[ Search Statistics ]============================== 2.79/2.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.88 c =============================================================================== 2.79/2.88 c | 0 | 1698 28909 58663 | 9636 0 -nan | 0.000 % | 2.79/2.88 c =============================================================================== 2.79/2.89 c core #384 2.79/2.89 c 2.79/2.89 c 2.79/2.89 c Core size: 8 Core Weight: 1 Total Weight: -211 2.79/2.89 c Current CPU time: 2.88156 s 2.79/2.89 c 2.79/2.89 c ============================[ Search Statistics ]============================== 2.79/2.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.89 c =============================================================================== 2.79/2.89 c | 0 | 1702 28910 58671 | 9636 0 -nan | 0.000 % | 2.79/2.89 c =============================================================================== 2.89/2.90 c core #385 2.89/2.90 c 2.89/2.90 c 2.89/2.90 c Core size: 11 Core Weight: 1 Total Weight: -210 2.89/2.90 c Current CPU time: 2.89156 s 2.89/2.90 c 2.89/2.90 c ============================[ Search Statistics ]============================== 2.89/2.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.90 c =============================================================================== 2.89/2.90 c | 0 | 1708 28911 58683 | 9637 0 -nan | 0.000 % | 2.89/2.90 c =============================================================================== 2.89/2.91 c core #386 2.89/2.91 c 2.89/2.91 c 2.89/2.91 c Core size: 16 Core Weight: 1 Total Weight: -209 2.89/2.91 c Current CPU time: 2.90156 s 2.89/2.91 c 2.89/2.91 c ============================[ Search Statistics ]============================== 2.89/2.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.91 c =============================================================================== 2.89/2.91 c | 0 | 1722 28912 58711 | 9637 0 -nan | 0.000 % | 2.89/2.91 c =============================================================================== 2.89/2.92 c core #387 2.89/2.92 c 2.89/2.92 c 2.89/2.92 c Core size: 10 Core Weight: 1 Total Weight: -208 2.89/2.92 c Current CPU time: 2.91156 s 2.89/2.92 c 2.89/2.92 c ============================[ Search Statistics ]============================== 2.89/2.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.92 c =============================================================================== 2.89/2.92 c | 0 | 1728 28913 58723 | 9637 0 -nan | 0.000 % | 2.89/2.92 c =============================================================================== 2.89/2.93 c core #388 2.89/2.93 c 2.89/2.93 c 2.89/2.93 c Core size: 15 Core Weight: 1 Total Weight: -207 2.89/2.93 c Current CPU time: 2.92156 s 2.89/2.93 c 2.89/2.93 c ============================[ Search Statistics ]============================== 2.89/2.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.93 c =============================================================================== 2.89/2.93 c | 0 | 1740 28914 58747 | 9638 0 -nan | 0.000 % | 2.89/2.94 c =============================================================================== 2.89/2.94 c core #389 2.89/2.94 c 2.89/2.94 c 2.89/2.94 c Core size: 10 Core Weight: 1 Total Weight: -206 2.89/2.94 c Current CPU time: 2.93255 s 2.89/2.94 c 2.89/2.94 c ============================[ Search Statistics ]============================== 2.89/2.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.94 c =============================================================================== 2.89/2.94 c | 0 | 1746 28915 58759 | 9638 0 -nan | 0.000 % | 2.89/2.95 c =============================================================================== 2.89/2.95 c core #390 2.89/2.95 c 2.89/2.95 c 2.89/2.95 c Core size: 10 Core Weight: 1 Total Weight: -205 2.89/2.95 c Current CPU time: 2.94255 s 2.89/2.95 c 2.89/2.95 c ============================[ Search Statistics ]============================== 2.89/2.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.95 c =============================================================================== 2.89/2.95 c | 0 | 1752 28916 58771 | 9638 0 -nan | 0.000 % | 2.89/2.96 c =============================================================================== 2.89/2.96 c core #391 2.89/2.96 c 2.89/2.96 c 2.89/2.96 c Core size: 8 Core Weight: 1 Total Weight: -204 2.89/2.96 c Current CPU time: 2.95255 s 2.89/2.96 c 2.89/2.96 c ============================[ Search Statistics ]============================== 2.89/2.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.96 c =============================================================================== 2.89/2.96 c | 0 | 1756 28917 58779 | 9639 0 -nan | 0.000 % | 2.89/2.97 c =============================================================================== 2.89/2.98 c core #392 2.89/2.98 c 2.89/2.98 c 2.89/2.98 c Core size: 10 Core Weight: 1 Total Weight: -203 2.89/2.98 c Current CPU time: 2.96255 s 2.89/2.98 c 2.89/2.98 c ============================[ Search Statistics ]============================== 2.89/2.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.98 c =============================================================================== 2.89/2.98 c | 0 | 1762 28918 58791 | 9639 0 -nan | 0.000 % | 2.89/2.98 c =============================================================================== 2.89/2.99 c core #393 2.89/2.99 c 2.89/2.99 c 2.89/2.99 c Core size: 10 Core Weight: 1 Total Weight: -202 2.89/2.99 c Current CPU time: 2.97255 s 2.89/2.99 c 2.89/2.99 c ============================[ Search Statistics ]============================== 2.89/2.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.99 c =============================================================================== 2.89/2.99 c | 0 | 1768 28919 58803 | 9639 0 -nan | 0.000 % | 2.89/2.99 c =============================================================================== 2.99/3.00 c core #394 2.99/3.00 c 2.99/3.00 c 2.99/3.00 c Core size: 10 Core Weight: 1 Total Weight: -201 2.99/3.00 c Current CPU time: 2.98355 s 2.99/3.00 c 2.99/3.00 c ============================[ Search Statistics ]============================== 2.99/3.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.00 c =============================================================================== 2.99/3.00 c | 0 | 1774 28920 58815 | 9640 0 -nan | 0.000 % | 2.99/3.00 c =============================================================================== 2.99/3.01 c core #395 2.99/3.01 c 2.99/3.01 c 2.99/3.01 c Core size: 8 Core Weight: 1 Total Weight: -200 2.99/3.01 c Current CPU time: 2.99354 s 2.99/3.01 c 2.99/3.01 c ============================[ Search Statistics ]============================== 2.99/3.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.01 c =============================================================================== 2.99/3.01 c | 0 | 1778 28921 58823 | 9640 0 -nan | 0.000 % | 2.99/3.01 c =============================================================================== 2.99/3.02 c core #396 2.99/3.02 c 2.99/3.02 c 2.99/3.02 c Core size: 8 Core Weight: 1 Total Weight: -199 2.99/3.02 c Current CPU time: 3.00354 s 2.99/3.02 c 2.99/3.02 c ============================[ Search Statistics ]============================== 2.99/3.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.02 c =============================================================================== 2.99/3.02 c | 0 | 1782 28922 58831 | 9640 0 -nan | 0.000 % | 2.99/3.02 c =============================================================================== 2.99/3.03 c core #397 2.99/3.03 c 2.99/3.03 c 2.99/3.03 c Core size: 10 Core Weight: 1 Total Weight: -198 2.99/3.03 c Current CPU time: 3.01454 s 2.99/3.03 c 2.99/3.03 c ============================[ Search Statistics ]============================== 2.99/3.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.03 c =============================================================================== 2.99/3.03 c | 0 | 1788 28923 58843 | 9641 0 -nan | 0.000 % | 2.99/3.03 c =============================================================================== 2.99/3.04 c core #398 2.99/3.04 c 2.99/3.04 c 2.99/3.04 c Core size: 8 Core Weight: 1 Total Weight: -197 2.99/3.04 c Current CPU time: 3.02454 s 2.99/3.04 c 2.99/3.04 c ============================[ Search Statistics ]============================== 2.99/3.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.04 c =============================================================================== 2.99/3.04 c | 0 | 1792 28924 58851 | 9641 0 -nan | 0.000 % | 2.99/3.04 c =============================================================================== 2.99/3.05 c core #399 2.99/3.05 c 2.99/3.05 c 2.99/3.05 c Core size: 8 Core Weight: 1 Total Weight: -196 2.99/3.05 c Current CPU time: 3.03554 s 2.99/3.05 c 2.99/3.05 c ============================[ Search Statistics ]============================== 2.99/3.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.05 c =============================================================================== 2.99/3.05 c | 0 | 1796 28925 58859 | 9641 0 -nan | 0.000 % | 2.99/3.05 c =============================================================================== 2.99/3.06 c core #400 2.99/3.06 c 2.99/3.06 c 2.99/3.06 c Core size: 8 Core Weight: 1 Total Weight: -195 2.99/3.06 c Current CPU time: 3.04554 s 2.99/3.06 c 2.99/3.06 c ============================[ Search Statistics ]============================== 2.99/3.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.06 c =============================================================================== 2.99/3.06 c | 0 | 1800 28926 58867 | 9642 0 -nan | 0.000 % | 2.99/3.06 c =============================================================================== 2.99/3.07 c core #401 2.99/3.07 c 2.99/3.07 c 2.99/3.07 c Core size: 12 Core Weight: 1 Total Weight: -194 2.99/3.07 c Current CPU time: 3.05553 s 2.99/3.07 c 2.99/3.07 c ============================[ Search Statistics ]============================== 2.99/3.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.07 c =============================================================================== 2.99/3.07 c | 0 | 1808 28927 58883 | 9642 0 -nan | 0.000 % | 2.99/3.07 c =============================================================================== 2.99/3.08 c core #402 2.99/3.08 c 2.99/3.08 c 2.99/3.08 c Core size: 8 Core Weight: 1 Total Weight: -193 2.99/3.08 c Current CPU time: 3.06553 s 2.99/3.08 c 2.99/3.08 c ============================[ Search Statistics ]============================== 2.99/3.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.08 c =============================================================================== 2.99/3.08 c | 0 | 1812 28928 58891 | 9642 0 -nan | 0.000 % | 2.99/3.08 c =============================================================================== 2.99/3.09 c core #403 2.99/3.09 c 2.99/3.09 c 2.99/3.09 c Core size: 8 Core Weight: 1 Total Weight: -192 2.99/3.09 c Current CPU time: 3.07653 s 2.99/3.09 c 2.99/3.09 c ============================[ Search Statistics ]============================== 2.99/3.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.09 c =============================================================================== 2.99/3.09 c | 0 | 1816 28929 58899 | 9643 0 -nan | 0.000 % | 2.99/3.09 c =============================================================================== 3.09/3.10 c core #404 3.09/3.10 c 3.09/3.10 c 3.09/3.10 c Core size: 8 Core Weight: 1 Total Weight: -191 3.09/3.10 c Current CPU time: 3.08553 s 3.09/3.10 c 3.09/3.10 c ============================[ Search Statistics ]============================== 3.09/3.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.10 c =============================================================================== 3.09/3.10 c | 0 | 1820 28930 58907 | 9643 0 -nan | 0.000 % | 3.09/3.10 c =============================================================================== 3.09/3.11 c core #405 3.09/3.11 c 3.09/3.11 c 3.09/3.11 c Core size: 10 Core Weight: 1 Total Weight: -190 3.09/3.11 c Current CPU time: 3.09653 s 3.09/3.11 c 3.09/3.11 c ============================[ Search Statistics ]============================== 3.09/3.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.11 c =============================================================================== 3.09/3.11 c | 0 | 1826 28931 58919 | 9643 0 -nan | 0.000 % | 3.09/3.11 c =============================================================================== 3.09/3.12 c core #406 3.09/3.12 c 3.09/3.12 c 3.09/3.12 c Core size: 8 Core Weight: 1 Total Weight: -189 3.09/3.12 c Current CPU time: 3.10753 s 3.09/3.12 c 3.09/3.12 c ============================[ Search Statistics ]============================== 3.09/3.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.12 c =============================================================================== 3.09/3.12 c | 0 | 1830 28932 58927 | 9644 0 -nan | 0.000 % | 3.09/3.12 c =============================================================================== 3.09/3.13 c core #407 3.09/3.13 c 3.09/3.13 c 3.09/3.13 c Core size: 14 Core Weight: 1 Total Weight: -188 3.09/3.13 c Current CPU time: 3.11852 s 3.09/3.13 c 3.09/3.13 c ============================[ Search Statistics ]============================== 3.09/3.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.13 c =============================================================================== 3.09/3.13 c | 0 | 1839 28933 58945 | 9644 0 -nan | 0.000 % | 3.09/3.13 c =============================================================================== 3.09/3.14 c core #408 3.09/3.14 c 3.09/3.14 c 3.09/3.14 c Core size: 15 Core Weight: 1 Total Weight: -187 3.09/3.14 c Current CPU time: 3.12852 s 3.09/3.14 c 3.09/3.14 c ============================[ Search Statistics ]============================== 3.09/3.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.14 c =============================================================================== 3.09/3.14 c | 0 | 1852 28934 58971 | 9644 0 -nan | 0.000 % | 3.09/3.15 c =============================================================================== 3.09/3.16 c core #409 3.09/3.16 c 3.09/3.16 c 3.09/3.16 c Core size: 22 Core Weight: 1 Total Weight: -186 3.09/3.16 c Current CPU time: 3.13952 s 3.09/3.16 c 3.09/3.16 c ============================[ Search Statistics ]============================== 3.09/3.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.16 c =============================================================================== 3.09/3.16 c | 0 | 1873 28935 59013 | 9645 0 -nan | 0.000 % | 3.09/3.16 c =============================================================================== 3.09/3.17 c core #410 3.09/3.17 c 3.09/3.17 c 3.09/3.17 c Core size: 13 Core Weight: 1 Total Weight: -185 3.09/3.17 c Current CPU time: 3.15052 s 3.09/3.17 c 3.09/3.17 c ============================[ Search Statistics ]============================== 3.09/3.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.17 c =============================================================================== 3.09/3.17 c | 0 | 1883 28936 59033 | 9645 0 -nan | 0.000 % | 3.09/3.17 c =============================================================================== 3.09/3.18 c core #411 3.09/3.18 c 3.09/3.18 c 3.09/3.18 c Core size: 10 Core Weight: 1 Total Weight: -184 3.09/3.18 c Current CPU time: 3.16052 s 3.09/3.18 c 3.09/3.18 c ============================[ Search Statistics ]============================== 3.09/3.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.18 c =============================================================================== 3.09/3.18 c | 0 | 1889 28937 59045 | 9645 0 -nan | 0.000 % | 3.09/3.18 c =============================================================================== 3.09/3.19 c core #412 3.09/3.19 c 3.09/3.19 c 3.09/3.19 c Core size: 8 Core Weight: 1 Total Weight: -183 3.09/3.19 c Current CPU time: 3.17052 s 3.09/3.19 c 3.09/3.19 c ============================[ Search Statistics ]============================== 3.09/3.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.19 c =============================================================================== 3.09/3.19 c | 0 | 1893 28938 59053 | 9646 0 -nan | 0.000 % | 3.09/3.19 c =============================================================================== 3.09/3.20 c core #413 3.09/3.20 c 3.09/3.20 c 3.09/3.20 c Core size: 8 Core Weight: 1 Total Weight: -182 3.09/3.20 c Current CPU time: 3.18152 s 3.09/3.20 c 3.09/3.20 c ============================[ Search Statistics ]============================== 3.09/3.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.20 c =============================================================================== 3.09/3.20 c | 0 | 1897 28939 59061 | 9646 0 -nan | 0.000 % | 3.09/3.20 c =============================================================================== 3.09/3.21 c core #414 3.09/3.21 c 3.09/3.21 c 3.09/3.21 c Core size: 8 Core Weight: 1 Total Weight: -181 3.09/3.21 c Current CPU time: 3.19151 s 3.09/3.21 c 3.09/3.21 c ============================[ Search Statistics ]============================== 3.09/3.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.21 c =============================================================================== 3.09/3.21 c | 0 | 1901 28940 59069 | 9646 0 -nan | 0.000 % | 3.09/3.21 c =============================================================================== 3.20/3.22 c core #415 3.20/3.22 c 3.20/3.22 c 3.20/3.22 c Core size: 8 Core Weight: 1 Total Weight: -180 3.20/3.22 c Current CPU time: 3.20351 s 3.20/3.22 c 3.20/3.22 c ============================[ Search Statistics ]============================== 3.20/3.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.20/3.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.20/3.22 c =============================================================================== 3.20/3.22 c | 0 | 1905 28941 59077 | 9647 0 -nan | 0.000 % | 3.20/3.22 c =============================================================================== 3.20/3.23 c core #416 3.20/3.23 c 3.20/3.23 c 3.20/3.23 c Core size: 26 Core Weight: 1 Total Weight: -179 3.20/3.23 c Current CPU time: 3.21551 s 3.20/3.23 c 3.20/3.23 c ============================[ Search Statistics ]============================== 3.20/3.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.20/3.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.20/3.23 c =============================================================================== 3.20/3.23 c | 0 | 1919 28942 59105 | 9647 0 -nan | 0.000 % | 3.20/3.24 c =============================================================================== 3.20/3.25 c core #417 3.20/3.25 c 3.20/3.25 c 3.20/3.25 c Core size: 15 Core Weight: 1 Total Weight: -178 3.20/3.25 c Current CPU time: 3.22651 s 3.20/3.25 c 3.20/3.25 c ============================[ Search Statistics ]============================== 3.20/3.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.20/3.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.20/3.25 c =============================================================================== 3.20/3.25 c | 0 | 1929 28943 59125 | 9647 0 -nan | 0.000 % | 3.20/3.25 c =============================================================================== 3.20/3.26 c core #418 3.20/3.26 c 3.20/3.26 c 3.20/3.26 c Core size: 23 Core Weight: 1 Total Weight: -177 3.20/3.26 c Current CPU time: 3.23851 s 3.20/3.26 c 3.20/3.26 c ============================[ Search Statistics ]============================== 3.20/3.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.20/3.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.20/3.26 c =============================================================================== 3.20/3.26 c | 0 | 1949 28944 59165 | 9648 0 -nan | 0.000 % | 3.20/3.26 c =============================================================================== 3.20/3.27 c core #419 3.20/3.27 c 3.20/3.27 c 3.20/3.27 c Core size: 14 Core Weight: 1 Total Weight: -176 3.20/3.27 c Current CPU time: 3.24951 s 3.20/3.27 c 3.20/3.27 c ============================[ Search Statistics ]============================== 3.20/3.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.20/3.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.20/3.27 c =============================================================================== 3.20/3.27 c | 0 | 1961 28945 59189 | 9648 0 -nan | 0.000 % | 3.20/3.27 c =============================================================================== 3.20/3.28 c core #420 3.20/3.28 c 3.20/3.28 c 3.20/3.28 c Core size: 13 Core Weight: 1 Total Weight: -175 3.20/3.28 c Current CPU time: 3.2595 s 3.20/3.28 c 3.20/3.28 c ============================[ Search Statistics ]============================== 3.20/3.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.20/3.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.20/3.28 c =============================================================================== 3.20/3.28 c | 0 | 1967 28946 59201 | 9648 0 -nan | 0.000 % | 3.20/3.28 c =============================================================================== 3.20/3.29 c core #421 3.20/3.29 c 3.20/3.29 c 3.20/3.29 c Core size: 16 Core Weight: 1 Total Weight: -174 3.20/3.29 c Current CPU time: 3.2705 s 3.20/3.29 c 3.20/3.29 c ============================[ Search Statistics ]============================== 3.20/3.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.20/3.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.20/3.29 c =============================================================================== 3.20/3.29 c | 0 | 1977 28947 59221 | 9649 0 -nan | 0.000 % | 3.20/3.29 c =============================================================================== 3.20/3.30 c core #422 3.20/3.30 c 3.20/3.30 c 3.20/3.30 c Core size: 14 Core Weight: 1 Total Weight: -173 3.20/3.30 c Current CPU time: 3.2815 s 3.20/3.30 c 3.20/3.30 c ============================[ Search Statistics ]============================== 3.20/3.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.20/3.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.20/3.30 c =============================================================================== 3.20/3.30 c | 0 | 1987 28948 59241 | 9649 0 -nan | 0.000 % | 3.20/3.30 c =============================================================================== 3.20/3.31 c core #423 3.20/3.31 c 3.20/3.31 c 3.20/3.31 c Core size: 26 Core Weight: 1 Total Weight: -172 3.20/3.31 c Current CPU time: 3.2925 s 3.20/3.31 c 3.20/3.31 c ============================[ Search Statistics ]============================== 3.20/3.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.20/3.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.20/3.31 c =============================================================================== 3.20/3.31 c | 0 | 2005 28949 59277 | 9649 0 -nan | 0.000 % | 3.31/3.32 c =============================================================================== 3.31/3.33 c core #424 3.31/3.33 c 3.31/3.33 c 3.31/3.33 c Core size: 11 Core Weight: 1 Total Weight: -171 3.31/3.33 c Current CPU time: 3.3045 s 3.31/3.33 c 3.31/3.33 c ============================[ Search Statistics ]============================== 3.31/3.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.31/3.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.31/3.33 c =============================================================================== 3.31/3.33 c | 0 | 2013 28950 59293 | 9650 0 -nan | 0.000 % | 3.31/3.33 c | 100 | 2011 28950 59293 | 10615 100 10 | 0.099 % | 3.31/3.33 c =============================================================================== 3.31/3.34 c core #425 3.31/3.34 c 3.31/3.34 c 3.31/3.34 c Core size: 32 Core Weight: 1 Total Weight: -170 3.31/3.34 c Current CPU time: 3.31949 s 3.31/3.34 c 3.31/3.34 c ============================[ Search Statistics ]============================== 3.31/3.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.31/3.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.31/3.34 c =============================================================================== 3.31/3.34 c | 0 | 2038 28951 59343 | 9650 0 -nan | 0.000 % | 3.31/3.34 c =============================================================================== 3.31/3.35 c core #426 3.31/3.35 c 3.31/3.35 c 3.31/3.35 c Core size: 14 Core Weight: 1 Total Weight: -169 3.31/3.35 c Current CPU time: 3.33149 s 3.31/3.35 c 3.31/3.35 c ============================[ Search Statistics ]============================== 3.31/3.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.31/3.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.31/3.35 c =============================================================================== 3.31/3.35 c | 0 | 2048 28952 59363 | 9650 0 -nan | 0.000 % | 3.31/3.35 c | 100 | 2048 28952 59363 | 10615 100 9 | 0.000 % | 3.31/3.36 c =============================================================================== 3.31/3.37 c core #427 3.31/3.37 c 3.31/3.37 c 3.31/3.37 c Core size: 22 Core Weight: 1 Total Weight: -168 3.31/3.37 c Current CPU time: 3.34349 s 3.31/3.37 c 3.31/3.37 c ============================[ Search Statistics ]============================== 3.31/3.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.31/3.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.31/3.37 c =============================================================================== 3.31/3.37 c | 0 | 2068 28953 59403 | 9651 0 -nan | 0.000 % | 3.31/3.37 c | 102 | 2067 28953 59403 | 10616 102 9 | 0.048 % | 3.31/3.37 c =============================================================================== 3.31/3.38 c core #428 3.31/3.38 c 3.31/3.38 c 3.31/3.38 c Core size: 28 Core Weight: 1 Total Weight: -167 3.31/3.38 c Current CPU time: 3.35549 s 3.31/3.38 c 3.31/3.38 c ============================[ Search Statistics ]============================== 3.31/3.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.31/3.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.31/3.38 c =============================================================================== 3.31/3.38 c | 0 | 2092 28954 59451 | 9651 0 -nan | 0.000 % | 3.31/3.38 c | 101 | 2092 28954 59451 | 10616 101 10 | 0.000 % | 3.31/3.38 c =============================================================================== 3.31/3.39 c core #429 3.31/3.39 c 3.31/3.39 c 3.31/3.39 c Core size: 16 Core Weight: 1 Total Weight: -166 3.31/3.39 c Current CPU time: 3.36849 s 3.31/3.39 c 3.31/3.39 c ============================[ Search Statistics ]============================== 3.31/3.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.31/3.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.31/3.39 c =============================================================================== 3.31/3.39 c | 0 | 2106 28955 59479 | 9651 0 -nan | 0.000 % | 3.31/3.39 c | 103 | 2106 28955 59479 | 10616 103 14 | 0.000 % | 3.31/3.39 c =============================================================================== 3.39/3.41 c core #430 3.39/3.41 c 3.39/3.41 c 3.39/3.41 c Core size: 15 Core Weight: 1 Total Weight: -165 3.39/3.41 c Current CPU time: 3.38149 s 3.39/3.41 c 3.39/3.41 c ============================[ Search Statistics ]============================== 3.39/3.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.41 c =============================================================================== 3.39/3.41 c | 0 | 2116 28956 59499 | 9652 0 -nan | 0.000 % | 3.39/3.41 c =============================================================================== 3.39/3.42 c core #431 3.39/3.42 c 3.39/3.42 c 3.39/3.42 c Core size: 42 Core Weight: 1 Total Weight: -164 3.39/3.42 c Current CPU time: 3.39348 s 3.39/3.42 c 3.39/3.42 c ============================[ Search Statistics ]============================== 3.39/3.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.42 c =============================================================================== 3.39/3.42 c | 0 | 2150 28957 59567 | 9652 0 -nan | 0.000 % | 3.39/3.42 c =============================================================================== 3.39/3.43 c core #432 3.39/3.43 c 3.39/3.43 c 3.39/3.43 c Core size: 29 Core Weight: 1 Total Weight: -163 3.39/3.43 c Current CPU time: 3.40648 s 3.39/3.43 c 3.39/3.43 c ============================[ Search Statistics ]============================== 3.39/3.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.43 c =============================================================================== 3.39/3.43 c | 0 | 2168 28958 59603 | 9652 0 -nan | 0.000 % | 3.39/3.43 c | 100 | 2168 28958 59603 | 10617 100 11 | 0.000 % | 3.39/3.44 c =============================================================================== 3.39/3.45 c core #433 3.39/3.45 c 3.39/3.45 c 3.39/3.45 c Core size: 61 Core Weight: 1 Total Weight: -162 3.39/3.45 c Current CPU time: 3.42148 s 3.39/3.45 c 3.39/3.45 c ============================[ Search Statistics ]============================== 3.39/3.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.45 c =============================================================================== 3.39/3.45 c | 0 | 2214 28959 59695 | 9653 0 -nan | 0.000 % | 3.39/3.45 c | 100 | 2214 28959 59695 | 10618 100 12 | 0.000 % | 3.39/3.45 c | 250 | 2212 28959 59695 | 11680 250 15 | 0.090 % | 3.39/3.46 c | 476 | 2209 28959 59695 | 12848 476 15 | 0.226 % | 3.39/3.46 c =============================================================================== 3.39/3.47 c core #434 3.39/3.47 c 3.39/3.47 c 3.39/3.47 c Core size: 55 Core Weight: 1 Total Weight: -161 3.39/3.47 c Current CPU time: 3.44448 s 3.39/3.47 c 3.39/3.47 c ============================[ Search Statistics ]============================== 3.39/3.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.47 c =============================================================================== 3.39/3.47 c | 0 | 2268 28960 59803 | 9653 0 -nan | 0.000 % | 3.39/3.47 c =============================================================================== 3.39/3.48 c core #435 3.39/3.48 c 3.39/3.48 c 3.39/3.48 c Core size: 14 Core Weight: 1 Total Weight: -160 3.39/3.48 c Current CPU time: 3.45747 s 3.39/3.48 c 3.39/3.48 c ============================[ Search Statistics ]============================== 3.39/3.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.48 c =============================================================================== 3.39/3.48 c | 0 | 2280 28961 59827 | 9653 0 -nan | 0.000 % | 3.39/3.49 c | 102 | 2280 28961 59827 | 10619 102 8 | 0.000 % | 3.39/3.49 c =============================================================================== 3.49/3.50 c core #436 3.49/3.50 c 3.49/3.50 c 3.49/3.50 c Core size: 38 Core Weight: 1 Total Weight: -159 3.49/3.50 c Current CPU time: 3.47047 s 3.49/3.50 c 3.49/3.50 c ============================[ Search Statistics ]============================== 3.49/3.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.50 c =============================================================================== 3.49/3.50 c | 0 | 2306 28962 59879 | 9654 0 -nan | 0.000 % | 3.49/3.50 c =============================================================================== 3.49/3.51 c core #437 3.49/3.51 c 3.49/3.51 c 3.49/3.51 c Core size: 18 Core Weight: 1 Total Weight: -158 3.49/3.51 c Current CPU time: 3.48347 s 3.49/3.51 c 3.49/3.51 c ============================[ Search Statistics ]============================== 3.49/3.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.51 c =============================================================================== 3.49/3.51 c | 0 | 2322 28963 59911 | 9654 0 -nan | 0.000 % | 3.49/3.51 c | 102 | 2322 28963 59911 | 10619 102 11 | 0.000 % | 3.49/3.52 c =============================================================================== 3.49/3.53 c core #438 3.49/3.53 c 3.49/3.53 c 3.49/3.53 c Core size: 39 Core Weight: 1 Total Weight: -157 3.49/3.53 c Current CPU time: 3.49747 s 3.49/3.53 c 3.49/3.53 c ============================[ Search Statistics ]============================== 3.49/3.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.53 c =============================================================================== 3.49/3.53 c | 0 | 2352 28964 59971 | 9654 0 -nan | 0.000 % | 3.49/3.53 c | 100 | 2352 28964 59971 | 10620 100 12 | 0.000 % | 3.49/3.53 c =============================================================================== 3.49/3.54 c core #439 3.49/3.54 c 3.49/3.54 c 3.49/3.54 c Core size: 31 Core Weight: 1 Total Weight: -156 3.49/3.54 c Current CPU time: 3.51147 s 3.49/3.54 c 3.49/3.54 c ============================[ Search Statistics ]============================== 3.49/3.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.54 c =============================================================================== 3.49/3.54 c | 0 | 2370 28965 60007 | 9655 0 -nan | 0.000 % | 3.49/3.54 c | 100 | 2370 28965 60007 | 10620 100 9 | 0.000 % | 3.49/3.54 c =============================================================================== 3.49/3.56 c core #440 3.49/3.56 c 3.49/3.56 c 3.49/3.56 c Core size: 16 Core Weight: 1 Total Weight: -155 3.49/3.56 c Current CPU time: 3.52446 s 3.49/3.56 c 3.49/3.56 c ============================[ Search Statistics ]============================== 3.49/3.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.56 c =============================================================================== 3.49/3.56 c | 0 | 2380 28966 60027 | 9655 0 -nan | 0.000 % | 3.49/3.56 c =============================================================================== 3.49/3.57 c core #441 3.49/3.57 c 3.49/3.57 c 3.49/3.57 c Core size: 11 Core Weight: 1 Total Weight: -154 3.49/3.57 c Current CPU time: 3.53746 s 3.49/3.57 c 3.49/3.57 c ============================[ Search Statistics ]============================== 3.49/3.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.57 c =============================================================================== 3.49/3.57 c | 0 | 2386 28967 60039 | 9655 0 -nan | 0.000 % | 3.49/3.57 c | 101 | 2384 28967 60039 | 10621 101 12 | 0.084 % | 3.49/3.57 c =============================================================================== 3.49/3.58 c core #442 3.49/3.58 c 3.49/3.58 c 3.49/3.58 c Core size: 68 Core Weight: 1 Total Weight: -153 3.49/3.58 c Current CPU time: 3.55146 s 3.49/3.58 c 3.49/3.58 c ============================[ Search Statistics ]============================== 3.49/3.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.58 c =============================================================================== 3.49/3.58 c | 0 | 2438 28968 60143 | 9656 0 -nan | 0.000 % | 3.49/3.59 c | 103 | 2438 28968 60143 | 10621 103 14 | 0.000 % | 3.49/3.59 c | 255 | 2438 28968 60143 | 11683 255 12 | 0.000 % | 3.49/3.59 c | 480 | 2438 28968 60143 | 12852 480 24 | 0.000 % | 3.59/3.60 c | 817 | 2438 28968 60143 | 14137 817 27 | 0.000 % | 3.59/3.61 c =============================================================================== 3.59/3.63 c core #443 3.59/3.63 c 3.59/3.63 c 3.59/3.63 c Core size: 79 Core Weight: 1 Total Weight: -152 3.59/3.63 c Current CPU time: 3.58745 s 3.59/3.63 c 3.59/3.63 c ============================[ Search Statistics ]============================== 3.59/3.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.63 c =============================================================================== 3.59/3.63 c | 0 | 2510 28969 60287 | 9656 0 -nan | 0.000 % | 3.59/3.63 c | 100 | 2509 28969 60287 | 10621 100 11 | 0.040 % | 3.59/3.63 c | 251 | 2507 28969 60287 | 11684 251 16 | 0.120 % | 3.59/3.63 c =============================================================================== 3.59/3.64 c core #444 3.59/3.64 c 3.59/3.64 c 3.59/3.64 c Core size: 32 Core Weight: 1 Total Weight: -151 3.59/3.64 c Current CPU time: 3.60445 s 3.59/3.64 c 3.59/3.64 c ============================[ Search Statistics ]============================== 3.59/3.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.64 c =============================================================================== 3.59/3.64 c | 0 | 2540 28970 60347 | 9656 0 -nan | 0.000 % | 3.59/3.65 c | 100 | 2540 28970 60347 | 10622 100 11 | 0.000 % | 3.59/3.65 c | 251 | 2540 28970 60347 | 11684 251 12 | 0.000 % | 3.59/3.66 c | 476 | 2539 28970 60347 | 12853 476 14 | 0.039 % | 3.59/3.66 c | 814 | 2538 28970 60347 | 14138 814 19 | 0.079 % | 3.59/3.68 c | 1320 | 2537 28970 60347 | 15552 1320 24 | 0.118 % | 3.69/3.71 c | 2081 | 2536 28970 60347 | 17107 2081 27 | 0.157 % | 3.69/3.72 c =============================================================================== 3.69/3.73 c core #445 3.69/3.73 c 3.69/3.73 c 3.69/3.73 c Core size: 23 Core Weight: 1 Total Weight: -150 3.69/3.73 c Current CPU time: 3.67744 s 3.69/3.73 c 3.69/3.73 c ============================[ Search Statistics ]============================== 3.69/3.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.73 c =============================================================================== 3.69/3.73 c | 0 | 2558 28971 60383 | 9657 0 -nan | 0.000 % | 3.69/3.73 c | 100 | 2558 28971 60383 | 10622 100 9 | 0.000 % | 3.69/3.73 c | 250 | 2557 28971 60383 | 11684 250 23 | 0.039 % | 3.69/3.74 c | 475 | 2556 28971 60383 | 12853 475 21 | 0.078 % | 3.69/3.75 c | 816 | 2548 28971 60383 | 14138 816 23 | 0.391 % | 3.69/3.76 c | 1322 | 2544 28971 60383 | 15552 1322 32 | 0.547 % | 3.69/3.76 c =============================================================================== 3.69/3.78 c core #446 3.69/3.78 c 3.69/3.78 c 3.69/3.78 c Core size: 79 Core Weight: 1 Total Weight: -149 3.69/3.78 c Current CPU time: 3.72243 s 3.69/3.78 c 3.69/3.78 c ============================[ Search Statistics ]============================== 3.69/3.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.78 c =============================================================================== 3.69/3.78 c | 0 | 2630 28972 60527 | 9657 0 -nan | 0.000 % | 3.69/3.78 c | 101 | 2629 28972 60527 | 10623 101 12 | 0.038 % | 3.69/3.78 c | 254 | 2629 28972 60527 | 11685 254 11 | 0.038 % | 3.69/3.79 c | 479 | 2618 28972 60527 | 12853 479 14 | 3.498 % | 3.69/3.79 c =============================================================================== 3.79/3.80 c core #447 3.79/3.80 c 3.79/3.80 c 3.79/3.80 c Core size: 68 Core Weight: 1 Total Weight: -148 3.79/3.80 c Current CPU time: 3.74443 s 3.79/3.80 c 3.79/3.80 c ============================[ Search Statistics ]============================== 3.79/3.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.80 c =============================================================================== 3.79/3.80 c | 0 | 2690 28973 60647 | 9657 0 -nan | 0.000 % | 3.79/3.80 c | 101 | 2690 28973 60647 | 10623 101 10 | 0.037 % | 3.79/3.80 c =============================================================================== 3.79/3.82 c core #448 3.79/3.82 c 3.79/3.82 c 3.79/3.82 c Core size: 19 Core Weight: 1 Total Weight: -147 3.79/3.82 c Current CPU time: 3.75743 s 3.79/3.82 c 3.79/3.82 c ============================[ Search Statistics ]============================== 3.79/3.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.82 c =============================================================================== 3.79/3.82 c | 0 | 2706 28974 60679 | 9658 0 -nan | 0.000 % | 3.79/3.82 c | 101 | 2704 28974 60679 | 10623 101 10 | 0.074 % | 3.79/3.82 c =============================================================================== 3.79/3.83 c core #449 3.79/3.83 c 3.79/3.83 c 3.79/3.83 c Core size: 36 Core Weight: 1 Total Weight: -146 3.79/3.83 c Current CPU time: 3.77143 s 3.79/3.83 c 3.79/3.83 c ============================[ Search Statistics ]============================== 3.79/3.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.83 c =============================================================================== 3.79/3.83 c | 0 | 2730 28975 60727 | 9658 0 -nan | 0.000 % | 3.79/3.83 c | 102 | 2729 28975 60727 | 10624 102 9 | 0.037 % | 3.79/3.84 c =============================================================================== 3.79/3.85 c core #450 3.79/3.85 c 3.79/3.85 c 3.79/3.85 c Core size: 19 Core Weight: 1 Total Weight: -145 3.79/3.85 c Current CPU time: 3.78842 s 3.79/3.85 c 3.79/3.85 c ============================[ Search Statistics ]============================== 3.79/3.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.85 c =============================================================================== 3.79/3.85 c | 0 | 2746 28976 60759 | 9658 0 -nan | 0.000 % | 3.79/3.85 c | 101 | 2746 28976 60759 | 10624 101 26 | 0.000 % | 3.79/3.86 c | 252 | 2742 28976 60759 | 11686 252 20 | 0.146 % | 3.79/3.86 c | 479 | 2732 28976 60759 | 12855 479 24 | 0.546 % | 3.79/3.87 c | 819 | 2729 28976 60759 | 14141 819 38 | 0.656 % | 3.79/3.89 c | 1325 | 2729 28976 60759 | 15555 1325 46 | 0.656 % | 3.79/3.89 c =============================================================================== 3.89/3.90 c core #451 3.89/3.90 c 3.89/3.90 c 3.89/3.90 c Core size: 39 Core Weight: 1 Total Weight: -144 3.89/3.90 c Current CPU time: 3.83942 s 3.89/3.90 c 3.89/3.90 c ============================[ Search Statistics ]============================== 3.89/3.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.89/3.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.89/3.90 c =============================================================================== 3.89/3.90 c | 0 | 2778 28977 60823 | 9659 0 -nan | 0.000 % | 3.89/3.91 c | 100 | 2778 28977 60823 | 10624 100 13 | 0.000 % | 3.89/3.91 c | 250 | 2778 28977 60823 | 11687 250 14 | 0.000 % | 3.89/3.91 c | 477 | 2778 28977 60823 | 12856 477 15 | 0.000 % | 3.89/3.92 c | 818 | 2777 28977 60823 | 14141 818 18 | 0.036 % | 3.89/3.93 c | 1326 | 2772 28977 60823 | 15555 1326 21 | 0.216 % | 3.89/3.96 c | 2085 | 2772 28977 60823 | 17111 2085 26 | 0.216 % | 3.99/4.01 c =============================================================================== 3.99/4.03 c core #452 3.99/4.03 c 3.99/4.03 c 3.99/4.03 c Core size: 113 Core Weight: 1 Total Weight: -143 3.99/4.03 c Current CPU time: 3.9584 s 3.99/4.03 c 3.99/4.03 c ============================[ Search Statistics ]============================== 3.99/4.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.03 c =============================================================================== 3.99/4.03 c | 0 | 2882 28978 61031 | 9659 0 -nan | 0.000 % | 3.99/4.03 c | 102 | 2882 28978 61031 | 10625 102 16 | 0.000 % | 3.99/4.03 c | 254 | 2882 28978 61031 | 11687 254 15 | 0.000 % | 3.99/4.04 c | 479 | 2882 28978 61031 | 12856 479 15 | 0.000 % | 3.99/4.04 c | 816 | 2882 28978 61031 | 14142 816 19 | 0.000 % | 3.99/4.05 c | 1322 | 2871 28978 61031 | 15556 1322 22 | 0.382 % | 3.99/4.06 c =============================================================================== 3.99/4.07 c core #453 3.99/4.07 c 3.99/4.07 c 3.99/4.07 c Core size: 106 Core Weight: 1 Total Weight: -142 3.99/4.07 c Current CPU time: 4.00039 s 3.99/4.07 c 3.99/4.07 c ============================[ Search Statistics ]============================== 3.99/4.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.07 c =============================================================================== 3.99/4.07 c | 0 | 2966 28979 61199 | 9659 0 -nan | 0.000 % | 3.99/4.08 c | 102 | 2966 28979 61199 | 10625 102 19 | 0.000 % | 3.99/4.08 c | 253 | 2966 28979 61199 | 11688 253 16 | 0.000 % | 3.99/4.08 c | 478 | 2966 28979 61199 | 12857 478 17 | 0.000 % | 3.99/4.09 c | 816 | 2966 28979 61199 | 14142 816 23 | 0.000 % | 4.09/4.11 c | 1322 | 2966 28979 61199 | 15556 1322 30 | 0.000 % | 4.09/4.14 c | 2082 | 2966 28979 61199 | 17112 2082 37 | 0.000 % | 4.09/4.19 c | 3222 | 2966 28979 61199 | 18823 3222 39 | 0.000 % | 4.19/4.29 c | 4931 | 2966 28979 61199 | 20706 4931 39 | 0.000 % | 4.40/4.42 c =============================================================================== 4.40/4.46 c core #454 4.40/4.46 c 4.40/4.46 c 4.40/4.46 c Core size: 129 Core Weight: 1 Total Weight: -141 4.40/4.46 c Current CPU time: 4.36834 s 4.40/4.46 c 4.40/4.46 c ============================[ Search Statistics ]============================== 4.40/4.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.40/4.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.40/4.46 c =============================================================================== 4.40/4.46 c | 0 | 3062 28980 61391 | 9660 0 -nan | 0.000 % | 4.40/4.46 c | 100 | 3062 28980 61391 | 10626 100 15 | 0.000 % | 4.40/4.47 c | 250 | 3062 28980 61391 | 11688 250 14 | 0.000 % | 4.40/4.47 c | 475 | 3062 28980 61391 | 12857 475 19 | 0.000 % | 4.40/4.48 c | 812 | 3061 28980 61391 | 14143 812 24 | 0.033 % | 4.40/4.49 c | 1318 | 3061 28980 61391 | 15557 1318 29 | 0.033 % | 4.49/4.51 c | 2078 | 3061 28980 61391 | 17113 2078 34 | 0.033 % | 4.49/4.56 c | 3220 | 3056 28980 61391 | 18824 3220 37 | 0.196 % | 4.59/4.64 c | 4928 | 3056 28980 61391 | 20707 4928 38 | 0.196 % | 4.79/4.81 c | 7491 | 3055 28980 61391 | 22777 7491 39 | 0.229 % | 5.08/5.15 c | 11336 | 3054 28980 61391 | 25055 11336 40 | 0.261 % | 5.19/5.22 c =============================================================================== 5.19/5.29 c core #455 5.19/5.29 c 5.19/5.29 c 5.19/5.29 c Core size: 130 Core Weight: 1 Total Weight: -140 5.19/5.29 c Current CPU time: 5.16521 s 5.19/5.29 c 5.19/5.29 c ============================[ Search Statistics ]============================== 5.19/5.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.19/5.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.19/5.29 c =============================================================================== 5.19/5.29 c | 0 | 3152 28981 61571 | 9660 0 -nan | 0.000 % | 5.19/5.29 c | 101 | 3152 28981 61571 | 10626 101 21 | 0.000 % | 5.19/5.29 c | 251 | 3152 28981 61571 | 11689 251 26 | 0.000 % | 5.29/5.30 c | 476 | 3152 28981 61571 | 12857 476 26 | 0.000 % | 5.29/5.30 c | 813 | 3152 28981 61571 | 14143 813 34 | 0.000 % | 5.29/5.32 c | 1319 | 3150 28981 61571 | 15558 1319 39 | 0.063 % | 5.29/5.34 c | 2080 | 3150 28981 61571 | 17113 2080 48 | 0.063 % | 5.29/5.40 c | 3223 | 3147 28981 61571 | 18825 3223 67 | 0.159 % | 5.51/5.52 c | 4932 | 3146 28981 61571 | 20707 4932 79 | 0.190 % | 5.69/5.78 c | 7494 | 3145 28981 61571 | 22778 7494 88 | 0.222 % | 6.09/6.11 c | 11339 | 3145 28981 61571 | 25056 11339 92 | 0.222 % | 6.79/6.86 c | 17105 | 3144 28981 61571 | 27562 17105 100 | 0.254 % | 8.49/8.53 c | 25755 | 3143 28981 61571 | 30318 25755 105 | 0.286 % | 11.08/11.12 c | 38729 | 3143 28981 61571 | 33350 21053 108 | 0.286 % | 14.59/14.66 c | 58191 | 3143 28981 61571 | 36685 19850 92 | 0.286 % | 19.88/19.98 c | 87384 | 3143 28981 61571 | 40353 24722 99 | 0.286 % | 30.99/31.06 c | 131176 | 3141 28981 61571 | 44388 16496 81 | 0.349 % | 46.99/47.06 c | 196860 | 3140 28981 61571 | 48827 23573 99 | 0.381 % | 58.19/58.29 c =============================================================================== 60.69/60.70 c core #456 60.69/60.70 c 60.69/60.70 c 60.69/60.70 c Core size: 173 Core Weight: 1 Total Weight: -139 60.69/60.70 c Current CPU time: 59.9629 s 60.69/60.70 c 60.69/60.70 c ============================[ Search Statistics ]============================== 60.69/60.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 60.69/60.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 60.69/60.70 c =============================================================================== 60.69/60.70 c | 0 | 3290 28982 61847 | 9660 0 -nan | 0.000 % | 60.69/60.71 c | 100 | 3290 28982 61847 | 10626 100 13 | 0.000 % | 60.69/60.71 c | 250 | 3290 28982 61847 | 11689 250 11 | 0.000 % | 60.69/60.72 c | 476 | 3290 28982 61847 | 12858 476 14 | 0.000 % | 60.69/60.73 c | 813 | 3289 28982 61847 | 14144 813 21 | 0.030 % | 60.69/60.74 c | 1320 | 3288 28982 61847 | 15558 1320 26 | 0.061 % | 60.69/60.77 c | 2081 | 3282 28982 61847 | 17114 2081 33 | 0.243 % | 60.69/60.78 c =============================================================================== 60.69/60.79 c core #457 60.69/60.79 c 60.69/60.79 c 60.69/60.79 c Core size: 140 Core Weight: 1 Total Weight: -138 60.69/60.79 c Current CPU time: 60.1699 s 60.69/60.79 c 60.69/60.79 c ============================[ Search Statistics ]============================== 60.69/60.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 60.69/60.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 60.69/60.79 c =============================================================================== 60.69/60.79 c | 0 | 3386 28983 62039 | 9661 0 -nan | 0.000 % | 60.79/60.80 c | 100 | 3386 28983 62039 | 10627 100 23 | 0.000 % | 60.79/60.80 c | 250 | 3386 28983 62039 | 11689 250 30 | 0.000 % | 60.79/60.80 c =============================================================================== 60.79/60.82 c core #458 60.79/60.82 c 60.79/60.82 c 60.79/60.82 c Core size: 16 Core Weight: 1 Total Weight: -137 60.79/60.82 c Current CPU time: 60.1859 s 60.79/60.82 c 60.79/60.82 c ============================[ Search Statistics ]============================== 60.79/60.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 60.79/60.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 60.79/60.82 c =============================================================================== 60.79/60.82 c | 0 | 3396 28984 62059 | 9661 0 -nan | 0.000 % | 60.79/60.82 c | 100 | 3396 28984 62059 | 10627 100 25 | 0.000 % | 60.79/60.82 c | 252 | 3396 28984 62059 | 11690 252 19 | 0.000 % | 60.79/60.83 c | 479 | 3396 28984 62059 | 12859 479 28 | 0.000 % | 60.79/60.83 c | 816 | 3396 28984 62059 | 14145 816 27 | 0.000 % | 60.79/60.85 c | 1323 | 3396 28984 62059 | 15559 1323 34 | 0.000 % | 60.79/60.88 c | 2083 | 3396 28984 62059 | 17115 2083 48 | 0.000 % | 60.89/60.92 c | 3222 | 3395 28984 62059 | 18827 3222 53 | 0.029 % | 60.99/61.02 c | 4931 | 3395 28984 62059 | 20709 4931 65 | 0.029 % | 61.18/61.22 c | 7494 | 3395 28984 62059 | 22780 7494 72 | 0.029 % | 61.39/61.51 c | 11342 | 3395 28984 62059 | 25059 11342 74 | 0.029 % | 62.09/62.19 c | 17108 | 3393 28984 62059 | 27564 17108 82 | 0.088 % | 63.69/63.74 c | 25757 | 3393 28984 62059 | 30321 25757 81 | 0.088 % | 66.00/66.02 c | 38732 | 3393 28984 62059 | 33353 21547 77 | 0.088 % | 70.69/70.78 c | 58195 | 3393 28984 62059 | 36688 22360 66 | 0.088 % | 76.19/76.21 c | 87389 | 3393 28984 62059 | 40357 27415 76 | 0.088 % | 85.48/85.51 c =============================================================================== 86.48/86.55 c core #459 86.48/86.55 c 86.48/86.55 c 86.48/86.55 c Core size: 205 Core Weight: 1 Total Weight: -136 86.48/86.55 c Current CPU time: 85.619 s 86.48/86.55 c 86.48/86.55 c ============================[ Search Statistics ]============================== 86.48/86.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 86.48/86.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 86.48/86.55 c =============================================================================== 86.48/86.55 c | 0 | 3568 28985 62403 | 9661 0 -nan | 0.000 % | 86.48/86.55 c =============================================================================== 86.48/86.57 c core #460 86.48/86.57 c 86.48/86.57 c 86.48/86.57 c Core size: 15 Core Weight: 1 Total Weight: -135 86.48/86.57 c Current CPU time: 85.708 s 86.48/86.57 c 86.48/86.57 c ============================[ Search Statistics ]============================== 86.48/86.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 86.48/86.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 86.48/86.57 c =============================================================================== 86.48/86.57 c | 0 | 3578 28986 62423 | 9662 0 -nan | 0.000 % | 86.48/86.57 c | 103 | 3578 28986 62423 | 10628 103 22 | 0.000 % | 86.48/86.57 c | 253 | 3578 28986 62423 | 11691 253 27 | 0.000 % | 86.48/86.58 c | 478 | 3578 28986 62423 | 12860 478 27 | 0.000 % | 86.48/86.59 c | 815 | 3578 28986 62423 | 14146 815 31 | 0.000 % | 86.58/86.60 c | 1322 | 3578 28986 62423 | 15560 1322 38 | 0.000 % | 86.58/86.64 c | 2082 | 3578 28986 62423 | 17116 2082 59 | 0.000 % | 86.69/86.70 c | 3221 | 3578 28986 62423 | 18828 3221 77 | 0.000 % | 86.79/86.84 c | 4931 | 3576 28986 62423 | 20711 4931 87 | 0.056 % | 86.99/87.03 c | 7493 | 3576 28986 62423 | 22782 7493 84 | 0.056 % | 87.29/87.36 c | 11337 | 3576 28986 62423 | 25060 11337 88 | 0.056 % | 88.08/88.13 c | 17103 | 3575 28986 62423 | 27566 17103 89 | 0.084 % | 89.59/89.66 c | 25753 | 3572 28986 62423 | 30323 25753 92 | 0.168 % | 92.79/92.81 c | 38727 | 3572 28986 62423 | 33355 21402 88 | 0.168 % | 96.59/96.66 c | 58189 | 3572 28986 62423 | 36691 22040 76 | 0.168 % | 101.09/101.12 c =============================================================================== 101.28/101.39 c core #461 101.28/101.39 c 101.28/101.39 c 101.28/101.39 c Core size: 116 Core Weight: 1 Total Weight: -134 101.28/101.39 c Current CPU time: 100.35 s 101.28/101.39 c 101.28/101.39 c ============================[ Search Statistics ]============================== 101.28/101.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 101.28/101.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 101.28/101.39 c =============================================================================== 101.28/101.39 c | 0 | 3676 28987 62619 | 9662 0 -nan | 0.000 % | 101.28/101.39 c | 101 | 3676 28987 62619 | 10628 101 27 | 0.000 % | 101.38/101.40 c | 251 | 3676 28987 62619 | 11691 251 33 | 0.000 % | 101.38/101.40 c | 477 | 3676 28987 62619 | 12860 477 36 | 0.000 % | 101.38/101.41 c | 816 | 3676 28987 62619 | 14146 816 42 | 0.000 % | 101.38/101.43 c | 1323 | 3676 28987 62619 | 15561 1323 49 | 0.000 % | 101.38/101.45 c | 2082 | 3676 28987 62619 | 17117 2082 57 | 0.000 % | 101.49/101.52 c | 3221 | 3676 28987 62619 | 18829 3221 78 | 0.000 % | 101.59/101.67 c | 4929 | 3676 28987 62619 | 20712 4929 108 | 0.000 % | 101.89/101.92 c | 7492 | 3676 28987 62619 | 22783 7492 124 | 0.000 % | 102.39/102.41 c | 11336 | 3676 28987 62619 | 25061 11336 130 | 0.000 % | 103.58/103.60 c | 17102 | 3676 28987 62619 | 27567 17102 142 | 0.000 % | 106.19/106.23 c | 25751 | 3676 28987 62619 | 30324 25751 152 | 0.000 % | 111.99/112.06 c | 38725 | 3676 28987 62619 | 33356 20874 175 | 0.000 % | 119.99/120.03 c | 58187 | 3676 28987 62619 | 36692 20514 179 | 0.000 % | 131.48/131.56 c | 87380 | 3676 28987 62619 | 40361 26867 174 | 0.000 % | 146.19/146.28 c | 131169 | 3676 28987 62619 | 44398 16750 144 | 0.000 % | 167.79/167.85 c | 196855 | 3676 28987 62619 | 48837 23677 132 | 0.000 % | 200.68/200.76 c | 295382 | 3676 28987 62619 | 53721 18108 132 | 0.000 % | 243.38/243.43 c | 443176 | 3676 28987 62619 | 59093 51044 114 | 0.000 % | 311.88/311.97 c | 664862 | 3676 28987 62619 | 65003 51060 112 | 0.000 % | 435.27/435.35 c | 997400 | 3676 28987 62619 | 71503 41897 134 | 0.000 % | 627.98/628.07 c | 1496188 | 3676 28987 62619 | 78654 37489 163 | 0.000 % | 862.39/862.42 c =============================================================================== 886.96/887.07 c core #462 886.96/887.07 c 886.96/887.07 c 886.96/887.07 c Core size: 233 Core Weight: 1 Total Weight: -133 886.96/887.07 c Current CPU time: 881.01 s 886.96/887.07 c 886.96/887.07 c ============================[ Search Statistics ]============================== 886.96/887.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 886.96/887.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 886.96/887.07 c =============================================================================== 886.96/887.07 c | 0 | 3848 28988 62963 | 9662 0 -nan | 0.000 % | 886.96/887.08 c | 102 | 3848 28988 62963 | 10628 102 25 | 0.000 % | 886.96/887.08 c | 254 | 3848 28988 62963 | 11691 254 35 | 0.000 % | 886.96/887.09 c | 479 | 3848 28988 62963 | 12861 479 33 | 0.000 % | 887.07/887.10 c | 817 | 3847 28988 62963 | 14147 817 50 | 0.026 % | 887.07/887.12 c | 1323 | 3847 28988 62963 | 15561 1323 83 | 0.026 % | 887.07/887.17 c | 2082 | 3847 28988 62963 | 17118 2082 109 | 0.026 % | 887.17/887.27 c | 3228 | 3847 28988 62963 | 18829 3228 146 | 0.026 % | 887.47/887.52 c | 4936 | 3847 28988 62963 | 20712 4936 178 | 0.026 % | 887.86/887.98 c | 7498 | 3847 28988 62963 | 22784 7498 193 | 0.026 % | 889.17/889.23 c | 11347 | 3847 28988 62963 | 25062 11347 207 | 0.026 % | 890.77/890.81 c | 17114 | 3847 28988 62963 | 27568 17114 208 | 0.026 % | 894.37/894.46 c | 25763 | 3847 28988 62963 | 30325 25763 217 | 0.026 % | 901.57/901.60 c | 38737 | 3847 28988 62963 | 33358 20982 223 | 0.026 % | 913.47/913.55 c | 58198 | 3847 28988 62963 | 36693 20640 223 | 0.026 % | 930.77/930.83 c | 87392 | 3847 28988 62963 | 40363 25441 241 | 0.026 % | 958.47/958.50 c | 131183 | 3847 28988 62963 | 44399 16386 242 | 0.026 % | 982.77/982.89 c | 196868 | 3844 28988 62963 | 48839 20240 204 | 0.104 % | 1020.17/1020.29 c | 295394 | 3844 28988 62963 | 53723 48941 238 | 0.104 % | 1087.67/1087.74 c | 443187 | 3844 28988 62963 | 59095 39909 204 | 0.104 % | 1219.47/1219.51 c | 664870 | 3844 28988 62963 | 65005 41905 205 | 0.104 % | 1378.46/1378.59 c | 997396 | 3844 28988 62963 | 71506 29359 159 | 0.104 % | 1576.67/1576.77 c | 1496187 | 3844 28988 62963 | 78656 27969 153 | 0.104 % |
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3460807-1307098418/watcher-3460807-1307098418 -o /tmp/evaluation-result-3460807-1307098418/solver-3460807-1307098418 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460807-1307098418.opb running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.04 2.05 2.01 1/486 11144 /proc/meminfo: memFree=21523592/32951124 swapFree=46575304/67111528 [pid=11144] ppid=11142 vsize=3052 CPUtime=0 cores=1,3,5,7 /proc/11144/stat : 11144 (wbo1.6) R 11142 11144 5006 0 -1 4202496 382 0 0 0 0 0 0 0 21 0 1 0 554033085 3125248 335 33554432000 4194304 5714214 140733533985376 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11144/statm: 763 335 183 372 0 225 0 [startup+0.050675 s] /proc/loadavg: 2.04 2.05 2.01 1/486 11144 /proc/meminfo: memFree=21523592/32951124 swapFree=46575304/67111528 [pid=11144] ppid=11142 vsize=8388 CPUtime=0.04 cores=1,3,5,7 /proc/11144/stat : 11144 (wbo1.6) R 11142 11144 5006 0 -1 4202496 2029 0 0 0 4 0 0 0 21 0 1 0 554033085 8589312 1819 33554432000 4194304 5714214 140733533985376 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11144/statm: 2097 1824 173 372 0 1722 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 8388 [startup+0.10067 s] /proc/loadavg: 2.04 2.05 2.01 1/486 11144 /proc/meminfo: memFree=21523592/32951124 swapFree=46575304/67111528 [pid=11144] ppid=11142 vsize=9324 CPUtime=0.09 cores=1,3,5,7 /proc/11144/stat : 11144 (wbo1.6) R 11142 11144 5006 0 -1 4202496 2408 0 0 0 9 0 0 0 21 0 1 0 554033085 9547776 2061 33554432000 4194304 5714214 140733533985376 18446744073709551615 4355751 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11144/statm: 2331 2061 175 372 0 1956 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9324 [startup+0.300639 s] /proc/loadavg: 2.04 2.05 2.01 1/486 11144 /proc/meminfo: memFree=21523592/32951124 swapFree=46575304/67111528 [pid=11144] ppid=11142 vsize=9604 CPUtime=0.29 cores=1,3,5,7 /proc/11144/stat : 11144 (wbo1.6) R 11142 11144 5006 0 -1 4202496 2451 0 0 0 29 0 0 0 22 0 1 0 554033085 9834496 2104 33554432000 4194304 5714214 140733533985376 18446744073709551615 4355979 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11144/statm: 2401 2104 175 372 0 2026 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9604 [startup+0.700559 s] /proc/loadavg: 2.04 2.05 2.01 1/486 11144 /proc/meminfo: memFree=21523592/32951124 swapFree=46575304/67111528 [pid=11144] ppid=11142 vsize=9980 CPUtime=0.69 cores=1,3,5,7 /proc/11144/stat : 11144 (wbo1.6) R 11142 11144 5006 0 -1 4202496 2545 0 0 0 69 0 0 0 24 0 1 0 554033085 10219520 2198 33554432000 4194304 5714214 140733533985376 18446744073709551615 4345924 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11144/statm: 2495 2198 175 372 0 2120 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9980 [startup+1.50041 s] /proc/loadavg: 2.04 2.05 2.01 3/486 11154 /proc/meminfo: memFree=21516764/32951124 swapFree=46575304/67111528 [pid=11144] ppid=11142 vsize=10904 CPUtime=1.49 cores=1,3,5,7 /proc/11144/stat : 11144 (wbo1.6) R 11142 11144 5006 0 -1 4202496 2816 0 0 0 149 0 0 0 25 0 1 0 554033085 11165696 2469 33554432000 4194304 5714214 140733533985376 18446744073709551615 4336875 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11144/statm: 2726 2469 175 372 0 2351 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10904 [startup+3.10115 s] /proc/loadavg: 2.04 2.05 2.01 3/489 11172 /proc/meminfo: memFree=21508108/32951124 swapFree=46575304/67111528 [pid=11144] ppid=11142 vsize=14580 CPUtime=3.09 cores=1,3,5,7 /proc/11144/stat : 11144 (wbo1.6) R 11142 11144 5006 0 -1 4202496 3860 0 0 0 309 0 0 0 18 0 1 0 554033085 14929920 3352 33554432000 4194304 5714214 140733533985376 18446744073709551615 4356100 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11144/statm: 3645 3352 179 372 0 3270 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14580 [startup+6.30057 s] /proc/loadavg: 2.04 2.05 2.01 3/489 11172 /proc/meminfo: memFree=21491880/32951124 swapFree=46575304/67111528 [pid=11144] ppid=11142 vsize=21712 CPUtime=6.29 cores=1,3,5,7 /proc/11144/stat : 11144 (wbo1.6) R 11142 11144 5006 0 -1 4202496 5629 0 0 0 614 15 0 0 24 0 1 0 554033085 22233088 5121 33554432000 4194304 5714214 140733533985376 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11144/statm: 5428 5121 180 372 0 5053 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21712 [startup+12.7004 s] /proc/loadavg: 2.12 2.07 2.02 3/489 11172 /proc/meminfo: memFree=21470136/32951124 swapFree=46575304/67111528 [pid=11144] ppid=11142 vsize=37020 CPUtime=12.69 cores=1,3,5,7 /proc/11144/stat : 11144 (wbo1.6) R 11142 11144 5006 0 -1 4202496 9427 0 0 0 1244 25 0 0 25 0 1 0 554033085 37908480 8919 33554432000 4194304 5714214 140733533985376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11144/statm: 9255 8919 180 372 0 8880 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 37020 [startup+25.5002 s] /proc/loadavg: 2.09 2.06 2.01 3/489 11173 /proc/meminfo: memFree=21439984/32951124 swapFree=46575304/67111528 [pid=11144] ppid=11142 vsize=52708 CPUtime=25.49 cores=1,3,5,7 /proc/11144/stat : 11144 (wbo1.6) R 11142 11144 5006 0 -1 4202496 13281 0 0 0 2513 36 0 0 25 0 1 0 554033085 53972992 12773 33554432000 4194304 5714214 140733533985376 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11144/statm: 13177 12773 180 372 0 12802 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 52708 [startup+51.1007 s] /proc/loadavg: 2.06 2.06 2.01 3/489 11173 /proc/meminfo: memFree=21403432/32951124 swapFree=46575304/67111528 [pid=11144] ppid=11142 vsize=71200 CPUtime=51.08 cores=1,3,5,7 /proc/11144/stat : 11144 (wbo1.6) R 11142 11144 5006 0 -1 4202496 17781 0 0 0 5055 53 0 0 25 0 1 0 554033085 72908800 17273 33554432000 4194304 5714214 140733533985376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11144/statm: 17800 17273 180 372 0 17425 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 71200 [startup+102.319 s] /proc/loadavg: 2.02 2.05 2.01 3/489 11175 /proc/meminfo: memFree=21354056/32951124 swapFree=46575304/67111528 [pid=11144] ppid=11142 vsize=83856 CPUtime=102.31 cores=1,3,5,7 /proc/11144/stat : 11144 (wbo1.6) R 11142 11144 5006 0 -1 4202496 21305 0 0 0 10130 101 0 0 25 0 1 0 554033085 85868544 20536 33554432000 4194304 5714214 140733533985376 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11144/statm: 20964 20536 180 372 0 20589 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 83856 [startup+162.301 s] /proc/loadavg: 2.01 2.03 2.00 3/489 11179 /proc/meminfo: memFree=21350360/32951124 swapFree=46575304/67111528 [pid=11144] ppid=11142 vsize=83856 CPUtime=162.28 cores=1,3,5,7 /proc/11144/stat : 11144 (wbo1.6) R 11142 11144 5006 0 -1 4202496 21473 0 0 0 16098 130 0 0 25 0 1 0 554033085 85868544 20704 33554432000 4194304 5714214 140733533985376 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11144/statm: 20964 20704 180 372 0 20589 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 83856 [startup+222.301 s] /proc/loadavg: 2.00 2.03 2.00 3/489 11181 /proc/meminfo: memFree=21303996/32951124 swapFree=46575304/67111528 [pid=11144] ppid=11142 vsize=116204 CPUtime=222.28 cores=1,3,5,7 /proc/11144/stat : 11144 (wbo1.6) R 11142 11144 5006 0 -1 4202496 29438 0 0 0 22059 169 0 0 25 0 1 0 554033085 118992896 28669 33554432000 4194304 5714214 140733533985376 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11144/statm: 29051 28669 180 372 0 28676 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 116204 [startup+282.301 s] /proc/loadavg: 2.11 2.05 2.01 3/489 11183 /proc/meminfo: memFree=21274168/32951124 swapFree=46575304/67111528 [pid=11144] ppid=11142 vsize=146800 CPUtime=282.28 cores=1,3,5,7 /proc/11144/stat : 11144 (wbo1.6) R 11142 11144 5006 0 -1 4202496 36871 0 0 0 28024 204 0 0 25 0 1 0 554033085 150323200 36102 33554432000 4194304 5714214 140733533985376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11144/statm: 36700 36102 180 372 0 36325 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 146800 [startup+342.3 s] /proc/loadavg: 2.09 2.06 2.01 3/489 11184 /proc/meminfo: memFree=21243604/32951124 swapFree=46575304/67111528 [pid=11144] ppid=11142 vsize=177756 CPUtime=342.28 cores=1,3,5,7 /proc/11144/stat : 11144 (wbo1.6) R 11142 11144 5006 0 -1 4202496 44403 0 0 0 33991 237 0 0 25 0 1 0 554033085 182022144 43634 33554432000 4194304 5714214 140733533985376 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11144/statm: 44439 43634 180 372 0 44064 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 177756 [startup+402.301 s] /proc/loadavg: 2.03 2.04 2.00 3/489 11186 /proc/meminfo: memFree=21197288/32951124 swapFree=46575304/67111528 [pid=11144] ppid=11142 vsize=209908 CPUtime=402.27 cores=1,3,5,7 /proc/11144/stat : 11144 (wbo1.6) R 11142 11144 5006 0 -1 4202496 52364 0 0 0 39960 267 0 0 25 0 1 0 554033085 214945792 51595 33554432000 4194304 5714214 140733533985376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11144/statm: 52477 51595 180 372 0 52102 0 Current children cumulated CPU time (s) 402.27 Current children cumulated vsize (KiB) 209908 [startup+462.3 s] /proc/loadavg: 2.01 2.03 2.00 3/489 11196 /proc/meminfo: memFree=21144468/32951124 swapFree=46575304/67111528 [pid=11144] ppid=11142 vsize=242836 CPUtime=462.27 cores=1,3,5,7 /proc/11144/stat : 11144 (wbo1.6) R 11142 11144 5006 0 -1 4202496 60477 0 0 0 45932 295 0 0 25 0 1 0 554033085 248664064 59708 33554432000 4194304 5714214 140733533985376 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11144/statm: 60709 59708 180 372 0 60334 0 Current children cumulated CPU time (s) 462.27 Current children cumulated vsize (KiB) 242836 [startup+522.301 s] /proc/loadavg: 2.08 2.04 2.00 3/489 11198 /proc/meminfo: memFree=21086100/32951124 swapFree=46575304/67111528 [pid=11144] ppid=11142 vsize=270044 CPUtime=522.27 cores=1,3,5,7 /proc/11144/stat : 11144 (wbo1.6) R 11142 11144 5006 0 -1 4202496 67188 0 0 0 51903 324 0 0 25 0 1 0 554033085 276525056 66419 33554432000 4194304 5714214 140733533985376 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11144/statm: 67511 66419 180 372 0 67136 0 Current children cumulated CPU time (s) 522.27 Current children cumulated vsize (KiB) 270044 [startup+582.301 s] /proc/loadavg: 2.09 2.05 2.00 3/489 11200 /proc/meminfo: memFree=21019352/32951124 swapFree=46575304/67111528 [pid=11144] ppid=11142 vsize=307456 CPUtime=582.27 cores=1,3,5,7 /proc/11144/stat : 11144 (wbo1.6) R 11142 11144 5006 0 -1 4202496 76437 0 0 0 57872 355 0 0 25 0 1 0 554033085 314834944 75668 33554432000 4194304 5714214 140733533985376 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11144/statm: 76864 75668 180 372 0 76489 0 Current children cumulated CPU time (s) 582.27 Current children cumulated vsize (KiB) 307456 [startup+642.3 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.13 2.05 2.01 3/489 11208 /proc/meminfo: memFree=20750532/32951124 swapFree=46575304/67111528 [pid=11144] ppid=11142 vsize=476840 CPUtime=882.27 cores=1,3,5,7 /proc/11144/stat : 11144 (wbo1.6) R 11142 11144 5006 0 -1 4202496 118645 0 0 0 87735 492 0 0 25 0 1 0 554033085 488284160 117876 33554432000 4194304 5714214 140733533985376 18446744073709551615 4324860 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11144/statm: 119210 117876 180 372 0 118835 0 Current children cumulated CPU time (s) 882.27 Current children cumulated vsize (KiB) 476840 [startup+942.301 s] /proc/loadavg: 2.05 2.04 2.00 3/489 11209 /proc/meminfo: memFree=20731132/32951124 swapFree=46575304/67111528 [pid=11144] ppid=11142 vsize=479008 CPUtime=942.27 cores=1,3,5,7 /proc/11144/stat : 11144 (wbo1.6) R 11142 11144 5006 0 -1 4202496 119321 0 0 0 93717 510 0 0 25 0 1 0 554033085 490504192 118397 33554432000 4194304 5714214 140733533985376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11144/statm: 119752 118397 180 372 0 119377 0 Current children cumulated CPU time (s) 942.27 Current children cumulated vsize (KiB) 479008 [startup+1002.3 s] /proc/loadavg: 2.02 2.03 2.00 3/489 11211 /proc/meminfo: memFree=20696724/32951124 swapFree=46575304/67111528 [pid=11144] ppid=11142 vsize=479008 CPUtime=1002.27 cores=1,3,5,7 /proc/11144/stat : 11144 (wbo1.6) R 11142 11144 5006 0 -1 4202496 119326 0 0 0 99687 540 0 0 25 0 1 0 554033085 490504192 118402 33554432000 4194304 5714214 140733533985376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11144/statm: 119752 118402 180 372 0 119377 0 Current children cumulated CPU time (s) 1002.27 Current children cumulated vsize (KiB) 479008 [startup+1062.3 s] /proc/loadavg: 2.00 2.02 2.00 3/489 11212 /proc/meminfo: memFree=20674836/32951124 swapFree=46575304/67111528 [pid=11144] ppid=11142 vsize=479008 CPUtime=1062.26 cores=1,3,5,7 /proc/11144/stat : 11144 (wbo1.6) R 11142 11144 5006 0 -1 4202496 119403 0 0 0 105661 565 0 0 25 0 1 0 554033085 490504192 118479 33554432000 4194304 5714214 140733533985376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11144/statm: 119752 118479 180 372 0 119377 0 Current children cumulated CPU time (s) 1062.26 Current children cumulated vsize (KiB) 479008 [startup+1122.3 s] /proc/loadavg: 2.00 2.02 2.00 3/489 11214 /proc/meminfo: memFree=20628292/32951124 swapFree=46575304/67111528 [pid=11144] ppid=11142 vsize=479008 CPUtime=1122.27 cores=1,3,5,7 /proc/11144/stat : 11144 (wbo1.6) R 11142 11144 5006 0 -1 4202496 119445 0 0 0 111645 582 0 0 25 0 1 0 554033085 490504192 118521 33554432000 4194304 5714214 140733533985376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11144/statm: 119752 118521 180 372 0 119377 0 Current children cumulated CPU time (s) 1122.27 Current children cumulated vsize (KiB) 479008 [startup+1182.3 s] /proc/loadavg: 2.07 2.04 2.01 3/489 11216 /proc/meminfo: memFree=20627888/32951124 swapFree=46575304/67111528 [pid=11144] ppid=11142 vsize=479008 CPUtime=1182.27 cores=1,3,5,7 /proc/11144/stat : 11144 (wbo1.6) R 11142 11144 5006 0 -1 4202496 119499 0 0 0 117629 598 0 0 25 0 1 0 554033085 490504192 118575 33554432000 4194304 5714214 140733533985376 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11144/statm: 119752 118575 180 372 0 119377 0 Current children cumulated CPU time (s) 1182.27 Current children cumulated vsize (KiB) 479008 [startup+1242.3 s] /proc/loadavg: 2.02 2.03 2.00 3/489 11217 /proc/meminfo: memFree=20626352/32951124 swapFree=46575304/67111528 [pid=11144] ppid=11142 vsize=479008 CPUtime=1242.27 cores=1,3,5,7 /proc/11144/stat : 11144 (wbo1.6) R 11142 11144 5006 0 -1 4202496 119623 0 0 0 123608 619 0 0 25 0 1 0 554033085 490504192 118699 33554432000 4194304 5714214 140733533985376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11144/statm: 119752 118699 180 372 0 119377 0 Current children cumulated CPU time (s) 1242.27 Current children cumulated vsize (KiB) 479008 [startup+1302.3 s] /proc/loadavg: 2.01 2.02 2.00 3/489 11219 /proc/meminfo: memFree=20625060/32951124 swapFree=46575304/67111528 [pid=11144] ppid=11142 vsize=479008 CPUtime=1302.27 cores=1,3,5,7 /proc/11144/stat : 11144 (wbo1.6) R 11142 11144 5006 0 -1 4202496 119644 0 0 0 129586 641 0 0 25 0 1 0 554033085 490504192 118720 33554432000 4194304 5714214 140733533985376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11144/statm: 119752 118720 180 372 0 119377 0 Current children cumulated CPU time (s) 1302.27 Current children cumulated vsize (KiB) 479008 [startup+1362.3 s] /proc/loadavg: 2.00 2.02 2.00 3/489 11220 /proc/meminfo: memFree=20624756/32951124 swapFree=46575304/67111528 [pid=11144] ppid=11142 vsize=479008 CPUtime=1362.26 cores=1,3,5,7 /proc/11144/stat : 11144 (wbo1.6) R 11142 11144 5006 0 -1 4202496 119777 0 0 0 135563 663 0 0 25 0 1 0 554033085 490504192 118853 33554432000 4194304 5714214 140733533985376 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11144/statm: 119752 118853 180 372 0 119377 0 Current children cumulated CPU time (s) 1362.26 Current children cumulated vsize (KiB) 479008 [startup+1422.32 s] /proc/loadavg: 2.08 2.04 2.01 3/489 11222 /proc/meminfo: memFree=20624220/32951124 swapFree=46575304/67111528 [pid=11144] ppid=11142 vsize=479008 CPUtime=1422.28 cores=1,3,5,7 /proc/11144/stat : 11144 (wbo1.6) R 11142 11144 5006 0 -1 4202496 119946 0 0 0 141536 692 0 0 25 0 1 0 554033085 490504192 119022 33554432000 4194304 5714214 140733533985376 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11144/statm: 119752 119022 180 372 0 119377 0 Current children cumulated CPU time (s) 1422.28 Current children cumulated vsize (KiB) 479008 [startup+1482.3 s] /proc/loadavg: 2.07 2.04 2.01 3/489 11224 /proc/meminfo: memFree=20623548/32951124 swapFree=46575304/67111528 [pid=11144] ppid=11142 vsize=479008 CPUtime=1482.26 cores=1,3,5,7 /proc/11144/stat : 11144 (wbo1.6) R 11142 11144 5006 0 -1 4202496 120023 0 0 0 147509 717 0 0 25 0 1 0 554033085 490504192 119099 33554432000 4194304 5714214 140733533985376 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11144/statm: 119752 119099 180 372 0 119377 0 Current children cumulated CPU time (s) 1482.26 Current children cumulated vsize (KiB) 479008 [startup+1542.3 s] /proc/loadavg: 2.02 2.03 2.00 3/489 11225 /proc/meminfo: memFree=20622864/32951124 swapFree=46575304/67111528 [pid=11144] ppid=11142 vsize=479008 CPUtime=1542.27 cores=1,3,5,7 /proc/11144/stat : 11144 (wbo1.6) R 11142 11144 5006 0 -1 4202496 120065 0 0 0 153480 747 0 0 25 0 1 0 554033085 490504192 119141 33554432000 4194304 5714214 140733533985376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11144/statm: 119752 119141 180 372 0 119377 0 Current children cumulated CPU time (s) 1542.27 Current children cumulated vsize (KiB) 479008 [startup+1602.3 s] /proc/loadavg: 2.01 2.03 2.00 3/489 11227 /proc/meminfo: memFree=20622068/32951124 swapFree=46575304/67111528 [pid=11144] ppid=11142 vsize=479008 CPUtime=1602.26 cores=1,3,5,7 /proc/11144/stat : 11144 (wbo1.6) R 11142 11144 5006 0 -1 4202496 120131 0 0 0 159448 778 0 0 25 0 1 0 554033085 490504192 119207 33554432000 4194304 5714214 140733533985376 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11144/statm: 119752 119207 180 372 0 119377 0 Current children cumulated CPU time (s) 1602.26 Current children cumulated vsize (KiB) 479008 [startup+1662.3 s] /proc/loadavg: 2.00 2.02 2.00 3/489 11228 /proc/meminfo: memFree=20622156/32951124 swapFree=46575304/67111528 [pid=11144] ppid=11142 vsize=479008 CPUtime=1662.26 cores=1,3,5,7 /proc/11144/stat : 11144 (wbo1.6) R 11142 11144 5006 0 -1 4202496 120191 0 0 0 165423 803 0 0 25 0 1 0 554033085 490504192 119267 33554432000 4194304 5714214 140733533985376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11144/statm: 119752 119267 180 372 0 119377 0 Current children cumulated CPU time (s) 1662.26 Current children cumulated vsize (KiB) 479008 [startup+1722.3 s] /proc/loadavg: 2.05 2.03 2.00 3/489 11230 /proc/meminfo: memFree=20621376/32951124 swapFree=46575304/67111528 [pid=11144] ppid=11142 vsize=479008 CPUtime=1722.26 cores=1,3,5,7 /proc/11144/stat : 11144 (wbo1.6) R 11142 11144 5006 0 -1 4202496 120251 0 0 0 171392 834 0 0 25 0 1 0 554033085 490504192 119327 33554432000 4194304 5714214 140733533985376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11144/statm: 119752 119327 180 372 0 119377 0 Current children cumulated CPU time (s) 1722.26 Current children cumulated vsize (KiB) 479008 [startup+1782.3 s] /proc/loadavg: 2.06 2.04 2.00 3/489 11232 /proc/meminfo: memFree=20618620/32951124 swapFree=46575304/67111528 [pid=11144] ppid=11142 vsize=479008 CPUtime=1782.25 cores=1,3,5,7 /proc/11144/stat : 11144 (wbo1.6) R 11142 11144 5006 0 -1 4202496 120320 0 0 0 177368 857 0 0 25 0 1 0 554033085 490504192 119396 33554432000 4194304 5714214 140733533985376 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11144/statm: 119752 119396 180 372 0 119377 0 Current children cumulated CPU time (s) 1782.25 Current children cumulated vsize (KiB) 479008 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.04 2.03 2.00 3/489 11232 /proc/meminfo: memFree=20618224/32951124 swapFree=46575304/67111528 [pid=11144] ppid=11142 vsize=479008 CPUtime=1800.05 cores=1,3,5,7 /proc/11144/stat : 11144 (wbo1.6) R 11142 11144 5006 0 -1 4202496 120362 0 0 0 179143 862 0 0 25 0 1 0 554033085 490504192 119438 33554432000 4194304 5714214 140733533985376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11144/statm: 119752 119438 180 372 0 119377 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 479008 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.1 s] /proc/loadavg: 2.04 2.03 2.00 3/489 11232 /proc/meminfo: memFree=20618224/32951124 swapFree=46575304/67111528 [pid=11144] ppid=11142 vsize=479008 CPUtime=1800.05 cores=1,3,5,7 /proc/11144/stat : 11144 (wbo1.6) R 11142 11144 5006 0 -1 4202496 120362 0 0 0 179143 862 0 0 25 0 1 0 554033085 490504192 119438 33554432000 4194304 5714214 140733533985376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11144/statm: 119752 119438 180 372 0 119377 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 479008 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.14 CPU time (s): 1800.1 CPU user time (s): 1791.45 CPU system time (s): 8.64968 CPU usage (%): 99.9978 Max. virtual memory (cumulated for all children) (KiB): 479732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.45 system time used= 8.64968 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 120362 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= 27 involuntary context switches= 2488 runsolver used 8.70268 second user time and 19.831 second system time The end
Begin job on node107 at 2011-06-03 12:53:38 IDJOB=3460807 IDBENCH=2272 IDSOLVER=1953 FILE ID=node107/3460807-1307098418 RUNJOBID= node107-1307093011-10828 PBS_JOBID= 13497967 Free space on /tmp= 73856 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460807-1307098418/watcher-3460807-1307098418 -o /tmp/evaluation-result-3460807-1307098418/solver-3460807-1307098418 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460807-1307098418.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3895ca8e12182fcd80d7923f66584703 RANDOM SEED=1986583734 node107.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5359.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 21523872 kB Buffers: 308640 kB Cached: 2062872 kB SwapCached: 22548 kB Active: 9126680 kB Inactive: 1951016 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 21523872 kB SwapTotal: 67111528 kB SwapFree: 46575304 kB Dirty: 5096 kB Writeback: 0 kB AnonPages: 8701064 kB Mapped: 32720 kB Slab: 185668 kB PageTables: 94820 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 145110588 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73852 MiB End job on node107 at 2011-06-03 13:23:40