Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.07 | 1800.04 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb |
MD5SUM | 366c883f3118f840e595e8bbe10351c8 |
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 | 1797.13 |
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 | 27856 |
Number of constraints which are clauses | 27856 |
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-3460952-1307098419.opb. 0.00/0.00 c Instance file HOME/instance-3460952-1307098419.opb 0.00/0.00 c File size is 664636 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: 27856 | 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 27856 55712 | 9285 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.080987 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.091986 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.102984 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.13098 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.141978 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.152976 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.169974 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.180972 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.197969 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.208968 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.225965 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.236963 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.242963 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.253961 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.25996 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.265959 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.270958 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.276957 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.282956 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.287956 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.293955 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.299954 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.304953 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.310952 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.316951 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.32295 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.32795 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.333949 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.339948 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.345947 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.350946 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.356945 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.362944 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.368943 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.373943 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.379942 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.385941 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.39194 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.396939 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.402938 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.408937 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.414936 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.420936 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.426935 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.431934 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.437933 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.443932 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.449931 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.45593 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.461929 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.467928 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.472928 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.478927 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.484926 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.490925 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.496924 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.502923 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.508922 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.514921 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.52092 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.526919 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.532918 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.538918 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.544917 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.550916 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.556915 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.562914 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.568913 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.574912 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.580911 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.58791 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.593909 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.599908 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.605907 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.611906 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.617906 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.623905 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.629904 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.636903 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.642902 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.648901 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.6549 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.660899 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.667898 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.673897 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.679896 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.686895 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.692894 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.698893 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.704892 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.711891 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.71789 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.723889 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.730888 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.736887 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.742887 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.749886 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.755885 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.761884 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.768883 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.774882 s 0.69/0.78 c 0.69/0.78 c core #125 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -470 0.99/1.05 c Current CPU time: 0.781881 s 0.99/1.05 c 0.99/1.05 c core #126 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -469 0.99/1.05 c Current CPU time: 0.78788 s 0.99/1.05 c 0.99/1.05 c core #127 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -468 0.99/1.05 c Current CPU time: 0.793879 s 0.99/1.05 c 0.99/1.05 c core #128 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -467 0.99/1.05 c Current CPU time: 0.800878 s 0.99/1.05 c 0.99/1.05 c core #129 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -466 0.99/1.05 c Current CPU time: 0.806877 s 0.99/1.05 c 0.99/1.05 c core #130 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -465 0.99/1.05 c Current CPU time: 0.813876 s 0.99/1.05 c 0.99/1.05 c core #131 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -464 0.99/1.05 c Current CPU time: 0.819875 s 0.99/1.05 c 0.99/1.05 c core #132 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -463 0.99/1.05 c Current CPU time: 0.825874 s 0.99/1.05 c 0.99/1.05 c core #133 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -462 0.99/1.05 c Current CPU time: 0.832873 s 0.99/1.05 c 0.99/1.05 c core #134 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -461 0.99/1.05 c Current CPU time: 0.838872 s 0.99/1.05 c 0.99/1.05 c core #135 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -460 0.99/1.05 c Current CPU time: 0.845871 s 0.99/1.05 c 0.99/1.05 c core #136 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -459 0.99/1.05 c Current CPU time: 0.85187 s 0.99/1.05 c 0.99/1.05 c core #137 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -458 0.99/1.05 c Current CPU time: 0.858869 s 0.99/1.05 c 0.99/1.05 c core #138 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -457 0.99/1.05 c Current CPU time: 0.864868 s 0.99/1.05 c 0.99/1.05 c core #139 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -456 0.99/1.05 c Current CPU time: 0.871867 s 0.99/1.05 c 0.99/1.05 c core #140 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -455 0.99/1.05 c Current CPU time: 0.877866 s 0.99/1.05 c 0.99/1.05 c core #141 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -454 0.99/1.05 c Current CPU time: 0.884865 s 0.99/1.05 c 0.99/1.05 c core #142 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -453 0.99/1.05 c Current CPU time: 0.891864 s 0.99/1.05 c 0.99/1.05 c core #143 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -452 0.99/1.05 c Current CPU time: 0.897863 s 0.99/1.05 c 0.99/1.05 c core #144 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -451 0.99/1.05 c Current CPU time: 0.904862 s 0.99/1.05 c 0.99/1.05 c core #145 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -450 0.99/1.05 c Current CPU time: 0.910861 s 0.99/1.05 c 0.99/1.05 c core #146 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -449 0.99/1.05 c Current CPU time: 0.91786 s 0.99/1.05 c 0.99/1.05 c core #147 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -448 0.99/1.05 c Current CPU time: 0.924859 s 0.99/1.05 c 0.99/1.05 c core #148 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -447 0.99/1.05 c Current CPU time: 0.930858 s 0.99/1.05 c 0.99/1.05 c core #149 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -446 0.99/1.05 c Current CPU time: 0.937857 s 0.99/1.05 c 0.99/1.05 c core #150 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -445 0.99/1.05 c Current CPU time: 0.943856 s 0.99/1.05 c 0.99/1.05 c core #151 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -444 0.99/1.05 c Current CPU time: 0.950855 s 0.99/1.05 c 0.99/1.05 c core #152 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -443 0.99/1.05 c Current CPU time: 0.957854 s 0.99/1.05 c 0.99/1.05 c core #153 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -442 0.99/1.05 c Current CPU time: 0.963853 s 0.99/1.05 c 0.99/1.05 c core #154 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -441 0.99/1.05 c Current CPU time: 0.970852 s 0.99/1.05 c 0.99/1.05 c core #155 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -440 0.99/1.05 c Current CPU time: 0.977851 s 0.99/1.05 c 0.99/1.05 c core #156 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -439 0.99/1.05 c Current CPU time: 0.98385 s 0.99/1.05 c 0.99/1.05 c core #157 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -438 0.99/1.05 c Current CPU time: 0.990849 s 0.99/1.05 c 0.99/1.05 c core #158 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -437 0.99/1.05 c Current CPU time: 0.997848 s 0.99/1.05 c 0.99/1.05 c core #159 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -436 0.99/1.05 c Current CPU time: 1.00485 s 0.99/1.05 c 0.99/1.05 c core #160 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -435 0.99/1.05 c Current CPU time: 1.01085 s 0.99/1.05 c 0.99/1.05 c core #161 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -434 0.99/1.05 c Current CPU time: 1.01784 s 0.99/1.05 c 0.99/1.05 c core #162 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -433 0.99/1.05 c Current CPU time: 1.02484 s 0.99/1.05 c 0.99/1.05 c core #163 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -432 0.99/1.05 c Current CPU time: 1.03184 s 0.99/1.05 c 0.99/1.05 c core #164 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -431 0.99/1.05 c Current CPU time: 1.03784 s 0.99/1.05 c 0.99/1.05 c core #165 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -430 0.99/1.05 c Current CPU time: 1.04484 s 0.99/1.05 c 0.99/1.05 c core #166 0.99/1.05 c 0.99/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.05184 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.05884 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.06584 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.07284 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.07883 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.08583 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.09283 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.09983 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.10683 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.11383 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.12083 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.12783 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.13483 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.14183 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.14882 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.15582 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.16282 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.16982 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.17682 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.18382 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.19082 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.19782 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.20482 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.21182 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.21881 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.22581 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.23281 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.23981 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.24681 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.25381 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.26081 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.26881 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.27581 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.2828 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.2898 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.2968 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.3038 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.3118 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.3188 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.3258 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.3328 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.3408 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.3478 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.35479 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.36179 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.36979 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.37679 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.38379 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.39179 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.39879 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.40579 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.41379 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.42078 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.42778 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.43578 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.44278 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.45078 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.45778 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.46578 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.47278 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.48077 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.48777 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.49577 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.50377 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.51077 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.51877 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.52577 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.53377 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.54177 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.54876 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.55676 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.56476 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.57176 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.57976 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.58676 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.59476 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.60276 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.60976 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.61775 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.62475 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.63175 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.63975 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.64675 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.65475 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.66275 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.67075 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.67874 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.68674 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.69474 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.70174 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.70974 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.71774 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.72574 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.73374 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.74174 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.74973 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.75773 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.76573 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.77373 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.78173 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.78973 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.79773 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.80573 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.81372 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.82172 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.82972 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.83772 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.84572 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.85372 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.86172 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.86972 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.87871 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.88671 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.89371 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.90171 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.91071 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.91871 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.92671 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.93471 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.9437 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.9517 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.9597 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.9687 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.9767 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.06 c Current CPU time: 1.9847 s 1.99/2.06 c 1.99/2.06 c core #291 1.99/2.06 c 1.99/2.06 c 1.99/2.06 c Core size: 3 Core Weight: 1 Total Weight: -304 1.99/2.06 c Current CPU time: 1.9937 s 1.99/2.06 c 1.99/2.06 c core #292 1.99/2.06 c 1.99/2.06 c 1.99/2.06 c Core size: 3 Core Weight: 1 Total Weight: -303 1.99/2.06 c Current CPU time: 2.00169 s 1.99/2.06 c 1.99/2.06 c core #293 1.99/2.06 c 1.99/2.06 c 1.99/2.06 c Core size: 3 Core Weight: 1 Total Weight: -302 1.99/2.06 c Current CPU time: 2.00969 s 1.99/2.06 c 1.99/2.06 c core #294 1.99/2.06 c 1.99/2.06 c 1.99/2.06 c Core size: 3 Core Weight: 1 Total Weight: -301 1.99/2.06 c Current CPU time: 2.01769 s 1.99/2.06 c 1.99/2.06 c core #295 1.99/2.06 c 1.99/2.06 c 1.99/2.06 c Core size: 3 Core Weight: 1 Total Weight: -300 1.99/2.06 c Current CPU time: 2.02669 s 1.99/2.06 c 1.99/2.06 c core #296 1.99/2.06 c 1.99/2.06 c 1.99/2.06 c Core size: 3 Core Weight: 1 Total Weight: -299 1.99/2.06 c Current CPU time: 2.03469 s 1.99/2.06 c 1.99/2.06 c core #297 1.99/2.06 c 1.99/2.06 c 1.99/2.06 c Core size: 11 Core Weight: 1 Total Weight: -298 1.99/2.06 c Current CPU time: 2.04369 s 1.99/2.06 c 1.99/2.06 c core #298 1.99/2.06 c 1.99/2.06 c 1.99/2.06 c Core size: 10 Core Weight: 1 Total Weight: -297 1.99/2.06 c Current CPU time: 2.05169 s 1.99/2.06 c 1.99/2.06 c ============================[ Search Statistics ]============================== 1.99/2.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.06 c =============================================================================== 1.99/2.06 c | 0 | 1198 28749 57513 | 9583 0 -nan | 0.000 % | 1.99/2.06 c =============================================================================== 1.99/2.07 c core #299 1.99/2.07 c 1.99/2.07 c 1.99/2.07 c Core size: 10 Core Weight: 1 Total Weight: -296 1.99/2.07 c Current CPU time: 2.06069 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 | 1204 28750 57525 | 9583 0 -nan | 0.000 % | 1.99/2.07 c =============================================================================== 1.99/2.08 c core #300 1.99/2.08 c 1.99/2.08 c 1.99/2.08 c Core size: 10 Core Weight: 1 Total Weight: -295 1.99/2.08 c Current CPU time: 2.06968 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 | 1210 28751 57537 | 9583 0 -nan | 0.000 % | 1.99/2.08 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.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 | 1214 28752 57545 | 9584 0 -nan | 0.000 % | 1.99/2.09 c =============================================================================== 2.09/2.10 c core #302 2.09/2.10 c 2.09/2.10 c 2.09/2.10 c Core size: 8 Core Weight: 1 Total Weight: -293 2.09/2.10 c Current CPU time: 2.08768 s 2.09/2.10 c 2.09/2.10 c ============================[ Search Statistics ]============================== 2.09/2.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.09/2.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.09/2.10 c =============================================================================== 2.09/2.10 c | 0 | 1218 28753 57553 | 9584 0 -nan | 0.000 % | 2.09/2.10 c =============================================================================== 2.09/2.11 c core #303 2.09/2.11 c 2.09/2.11 c 2.09/2.11 c Core size: 10 Core Weight: 1 Total Weight: -292 2.09/2.11 c Current CPU time: 2.09568 s 2.09/2.11 c 2.09/2.11 c ============================[ Search Statistics ]============================== 2.09/2.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.09/2.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.09/2.11 c =============================================================================== 2.09/2.11 c | 0 | 1225 28754 57567 | 9584 0 -nan | 0.000 % | 2.09/2.11 c =============================================================================== 2.09/2.11 c core #304 2.09/2.11 c 2.09/2.11 c 2.09/2.11 c Core size: 13 Core Weight: 1 Total Weight: -291 2.09/2.11 c Current CPU time: 2.10468 s 2.09/2.11 c 2.09/2.11 c ============================[ Search Statistics ]============================== 2.09/2.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.09/2.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.09/2.11 c =============================================================================== 2.09/2.11 c | 0 | 1238 28755 57593 | 9585 0 -nan | 0.000 % | 2.09/2.12 c =============================================================================== 2.09/2.12 c core #305 2.09/2.12 c 2.09/2.12 c 2.09/2.12 c Core size: 8 Core Weight: 1 Total Weight: -290 2.09/2.12 c Current CPU time: 2.11468 s 2.09/2.12 c 2.09/2.12 c ============================[ Search Statistics ]============================== 2.09/2.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.09/2.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.09/2.12 c =============================================================================== 2.09/2.12 c | 0 | 1242 28756 57601 | 9585 0 -nan | 0.000 % | 2.09/2.12 c =============================================================================== 2.09/2.13 c core #306 2.09/2.13 c 2.09/2.13 c 2.09/2.13 c Core size: 10 Core Weight: 1 Total Weight: -289 2.09/2.13 c Current CPU time: 2.12268 s 2.09/2.13 c 2.09/2.13 c ============================[ Search Statistics ]============================== 2.09/2.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.09/2.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.09/2.13 c =============================================================================== 2.09/2.13 c | 0 | 1248 28757 57613 | 9585 0 -nan | 0.000 % | 2.09/2.13 c =============================================================================== 2.09/2.14 c core #307 2.09/2.14 c 2.09/2.14 c 2.09/2.14 c Core size: 10 Core Weight: 1 Total Weight: -288 2.09/2.14 c Current CPU time: 2.13267 s 2.09/2.14 c 2.09/2.14 c ============================[ Search Statistics ]============================== 2.09/2.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.09/2.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.09/2.14 c =============================================================================== 2.09/2.14 c | 0 | 1254 28758 57625 | 9586 0 -nan | 0.000 % | 2.09/2.14 c =============================================================================== 2.09/2.15 c core #308 2.09/2.15 c 2.09/2.15 c 2.09/2.15 c Core size: 10 Core Weight: 1 Total Weight: -287 2.09/2.15 c Current CPU time: 2.14167 s 2.09/2.15 c 2.09/2.15 c ============================[ Search Statistics ]============================== 2.09/2.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.09/2.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.09/2.15 c =============================================================================== 2.09/2.15 c | 0 | 1260 28759 57637 | 9586 0 -nan | 0.000 % | 2.09/2.15 c =============================================================================== 2.09/2.16 c core #309 2.09/2.16 c 2.09/2.16 c 2.09/2.16 c Core size: 10 Core Weight: 1 Total Weight: -286 2.09/2.16 c Current CPU time: 2.15067 s 2.09/2.16 c 2.09/2.16 c ============================[ Search Statistics ]============================== 2.09/2.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.09/2.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.09/2.16 c =============================================================================== 2.09/2.16 c | 0 | 1266 28760 57649 | 9586 0 -nan | 0.000 % | 2.09/2.16 c =============================================================================== 2.09/2.17 c core #310 2.09/2.17 c 2.09/2.17 c 2.09/2.17 c Core size: 10 Core Weight: 1 Total Weight: -285 2.09/2.17 c Current CPU time: 2.15967 s 2.09/2.17 c 2.09/2.17 c ============================[ Search Statistics ]============================== 2.09/2.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.09/2.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.09/2.17 c =============================================================================== 2.09/2.17 c | 0 | 1272 28761 57661 | 9587 0 -nan | 0.000 % | 2.09/2.17 c =============================================================================== 2.09/2.18 c core #311 2.09/2.18 c 2.09/2.18 c 2.09/2.18 c Core size: 8 Core Weight: 1 Total Weight: -284 2.09/2.18 c Current CPU time: 2.16867 s 2.09/2.18 c 2.09/2.18 c ============================[ Search Statistics ]============================== 2.09/2.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.09/2.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.09/2.18 c =============================================================================== 2.09/2.18 c | 0 | 1276 28762 57669 | 9587 0 -nan | 0.000 % | 2.09/2.18 c =============================================================================== 2.09/2.19 c core #312 2.09/2.19 c 2.09/2.19 c 2.09/2.19 c Core size: 10 Core Weight: 1 Total Weight: -283 2.09/2.19 c Current CPU time: 2.17667 s 2.09/2.19 c 2.09/2.19 c ============================[ Search Statistics ]============================== 2.09/2.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.09/2.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.09/2.19 c =============================================================================== 2.09/2.19 c | 0 | 1282 28763 57681 | 9587 0 -nan | 0.000 % | 2.09/2.19 c =============================================================================== 2.09/2.20 c core #313 2.09/2.20 c 2.09/2.20 c 2.09/2.20 c Core size: 8 Core Weight: 1 Total Weight: -282 2.09/2.20 c Current CPU time: 2.18567 s 2.09/2.20 c 2.09/2.20 c ============================[ Search Statistics ]============================== 2.09/2.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.09/2.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.09/2.20 c =============================================================================== 2.09/2.20 c | 0 | 1286 28764 57689 | 9588 0 -nan | 0.000 % | 2.09/2.20 c =============================================================================== 2.09/2.21 c core #314 2.09/2.21 c 2.09/2.21 c 2.09/2.21 c Core size: 10 Core Weight: 1 Total Weight: -281 2.09/2.21 c Current CPU time: 2.19567 s 2.09/2.21 c 2.09/2.21 c ============================[ Search Statistics ]============================== 2.09/2.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.09/2.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.09/2.21 c =============================================================================== 2.09/2.21 c | 0 | 1292 28765 57701 | 9588 0 -nan | 0.000 % | 2.09/2.21 c =============================================================================== 2.20/2.22 c core #315 2.20/2.22 c 2.20/2.22 c 2.20/2.22 c Core size: 10 Core Weight: 1 Total Weight: -280 2.20/2.22 c Current CPU time: 2.20366 s 2.20/2.22 c 2.20/2.22 c ============================[ Search Statistics ]============================== 2.20/2.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.20/2.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.20/2.22 c =============================================================================== 2.20/2.22 c | 0 | 1298 28766 57713 | 9588 0 -nan | 0.000 % | 2.20/2.22 c =============================================================================== 2.20/2.23 c core #316 2.20/2.23 c 2.20/2.23 c 2.20/2.23 c Core size: 8 Core Weight: 1 Total Weight: -279 2.20/2.23 c Current CPU time: 2.21366 s 2.20/2.23 c 2.20/2.23 c ============================[ Search Statistics ]============================== 2.20/2.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.20/2.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.20/2.23 c =============================================================================== 2.20/2.23 c | 0 | 1302 28767 57721 | 9589 0 -nan | 0.000 % | 2.20/2.23 c =============================================================================== 2.20/2.23 c core #317 2.20/2.23 c 2.20/2.23 c 2.20/2.23 c Core size: 10 Core Weight: 1 Total Weight: -278 2.20/2.23 c Current CPU time: 2.22266 s 2.20/2.23 c 2.20/2.23 c ============================[ Search Statistics ]============================== 2.20/2.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.20/2.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.20/2.23 c =============================================================================== 2.20/2.23 c | 0 | 1308 28768 57733 | 9589 0 -nan | 0.000 % | 2.20/2.24 c =============================================================================== 2.20/2.24 c core #318 2.20/2.24 c 2.20/2.24 c 2.20/2.24 c Core size: 10 Core Weight: 1 Total Weight: -277 2.20/2.24 c Current CPU time: 2.23266 s 2.20/2.24 c 2.20/2.24 c ============================[ Search Statistics ]============================== 2.20/2.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.20/2.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.20/2.24 c =============================================================================== 2.20/2.24 c | 0 | 1314 28769 57745 | 9589 0 -nan | 0.000 % | 2.20/2.24 c =============================================================================== 2.20/2.25 c core #319 2.20/2.25 c 2.20/2.25 c 2.20/2.25 c Core size: 8 Core Weight: 1 Total Weight: -276 2.20/2.25 c Current CPU time: 2.24166 s 2.20/2.25 c 2.20/2.25 c ============================[ Search Statistics ]============================== 2.20/2.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.20/2.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.20/2.25 c =============================================================================== 2.20/2.25 c | 0 | 1318 28770 57753 | 9590 0 -nan | 0.000 % | 2.20/2.25 c =============================================================================== 2.20/2.26 c core #320 2.20/2.26 c 2.20/2.26 c 2.20/2.26 c Core size: 8 Core Weight: 1 Total Weight: -275 2.20/2.26 c Current CPU time: 2.24966 s 2.20/2.26 c 2.20/2.26 c ============================[ Search Statistics ]============================== 2.20/2.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.20/2.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.20/2.26 c =============================================================================== 2.20/2.26 c | 0 | 1322 28771 57761 | 9590 0 -nan | 0.000 % | 2.20/2.26 c =============================================================================== 2.20/2.27 c core #321 2.20/2.27 c 2.20/2.27 c 2.20/2.27 c Core size: 10 Core Weight: 1 Total Weight: -274 2.20/2.27 c Current CPU time: 2.25866 s 2.20/2.27 c 2.20/2.27 c ============================[ Search Statistics ]============================== 2.20/2.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.20/2.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.20/2.27 c =============================================================================== 2.20/2.27 c | 0 | 1328 28772 57773 | 9590 0 -nan | 0.000 % | 2.20/2.27 c =============================================================================== 2.20/2.28 c core #322 2.20/2.28 c 2.20/2.28 c 2.20/2.28 c Core size: 8 Core Weight: 1 Total Weight: -273 2.20/2.28 c Current CPU time: 2.26666 s 2.20/2.28 c 2.20/2.28 c ============================[ Search Statistics ]============================== 2.20/2.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.20/2.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.20/2.28 c =============================================================================== 2.20/2.28 c | 0 | 1332 28773 57781 | 9591 0 -nan | 0.000 % | 2.20/2.28 c =============================================================================== 2.20/2.29 c core #323 2.20/2.29 c 2.20/2.29 c 2.20/2.29 c Core size: 10 Core Weight: 1 Total Weight: -272 2.20/2.29 c Current CPU time: 2.27565 s 2.20/2.29 c 2.20/2.29 c ============================[ Search Statistics ]============================== 2.20/2.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.20/2.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.20/2.29 c =============================================================================== 2.20/2.29 c | 0 | 1338 28774 57793 | 9591 0 -nan | 0.000 % | 2.20/2.29 c =============================================================================== 2.20/2.30 c core #324 2.20/2.30 c 2.20/2.30 c 2.20/2.30 c Core size: 8 Core Weight: 1 Total Weight: -271 2.20/2.30 c Current CPU time: 2.28465 s 2.20/2.30 c 2.20/2.30 c ============================[ Search Statistics ]============================== 2.20/2.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.20/2.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.20/2.30 c =============================================================================== 2.20/2.30 c | 0 | 1342 28775 57801 | 9591 0 -nan | 0.000 % | 2.20/2.30 c =============================================================================== 2.20/2.31 c core #325 2.20/2.31 c 2.20/2.31 c 2.20/2.31 c Core size: 8 Core Weight: 1 Total Weight: -270 2.20/2.31 c Current CPU time: 2.29465 s 2.20/2.31 c 2.20/2.31 c ============================[ Search Statistics ]============================== 2.20/2.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.20/2.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.20/2.31 c =============================================================================== 2.20/2.31 c | 0 | 1346 28776 57809 | 9592 0 -nan | 0.000 % | 2.20/2.31 c =============================================================================== 2.30/2.32 c core #326 2.30/2.32 c 2.30/2.32 c 2.30/2.32 c Core size: 10 Core Weight: 1 Total Weight: -269 2.30/2.32 c Current CPU time: 2.30365 s 2.30/2.32 c 2.30/2.32 c ============================[ Search Statistics ]============================== 2.30/2.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.30/2.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.30/2.32 c =============================================================================== 2.30/2.32 c | 0 | 1352 28777 57821 | 9592 0 -nan | 0.000 % | 2.30/2.32 c =============================================================================== 2.30/2.33 c core #327 2.30/2.33 c 2.30/2.33 c 2.30/2.33 c Core size: 10 Core Weight: 1 Total Weight: -268 2.30/2.33 c Current CPU time: 2.31265 s 2.30/2.33 c 2.30/2.33 c ============================[ Search Statistics ]============================== 2.30/2.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.30/2.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.30/2.33 c =============================================================================== 2.30/2.33 c | 0 | 1358 28778 57833 | 9592 0 -nan | 0.000 % | 2.30/2.33 c =============================================================================== 2.30/2.34 c core #328 2.30/2.34 c 2.30/2.34 c 2.30/2.34 c Core size: 8 Core Weight: 1 Total Weight: -267 2.30/2.34 c Current CPU time: 2.32165 s 2.30/2.34 c 2.30/2.34 c ============================[ Search Statistics ]============================== 2.30/2.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.30/2.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.30/2.34 c =============================================================================== 2.30/2.34 c | 0 | 1362 28779 57841 | 9593 0 -nan | 0.000 % | 2.30/2.34 c =============================================================================== 2.30/2.34 c core #329 2.30/2.34 c 2.30/2.34 c 2.30/2.34 c Core size: 10 Core Weight: 1 Total Weight: -266 2.30/2.34 c Current CPU time: 2.33065 s 2.30/2.34 c 2.30/2.34 c ============================[ Search Statistics ]============================== 2.30/2.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.30/2.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.30/2.34 c =============================================================================== 2.30/2.34 c | 0 | 1368 28780 57853 | 9593 0 -nan | 0.000 % | 2.30/2.35 c =============================================================================== 2.30/2.35 c core #330 2.30/2.35 c 2.30/2.35 c 2.30/2.35 c Core size: 8 Core Weight: 1 Total Weight: -265 2.30/2.35 c Current CPU time: 2.34064 s 2.30/2.35 c 2.30/2.35 c ============================[ Search Statistics ]============================== 2.30/2.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.30/2.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.30/2.35 c =============================================================================== 2.30/2.35 c | 0 | 1372 28781 57861 | 9593 0 -nan | 0.000 % | 2.30/2.36 c =============================================================================== 2.30/2.36 c core #331 2.30/2.36 c 2.30/2.36 c 2.30/2.36 c Core size: 14 Core Weight: 1 Total Weight: -264 2.30/2.36 c Current CPU time: 2.35064 s 2.30/2.36 c 2.30/2.36 c ============================[ Search Statistics ]============================== 2.30/2.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.30/2.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.30/2.36 c =============================================================================== 2.30/2.36 c | 0 | 1384 28782 57885 | 9594 0 -nan | 0.000 % | 2.30/2.36 c =============================================================================== 2.30/2.37 c core #332 2.30/2.37 c 2.30/2.37 c 2.30/2.37 c Core size: 10 Core Weight: 1 Total Weight: -263 2.30/2.37 c Current CPU time: 2.35964 s 2.30/2.37 c 2.30/2.37 c ============================[ Search Statistics ]============================== 2.30/2.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.30/2.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.30/2.37 c =============================================================================== 2.30/2.37 c | 0 | 1390 28783 57897 | 9594 0 -nan | 0.000 % | 2.30/2.37 c =============================================================================== 2.30/2.38 c core #333 2.30/2.38 c 2.30/2.38 c 2.30/2.38 c Core size: 10 Core Weight: 1 Total Weight: -262 2.30/2.38 c Current CPU time: 2.36964 s 2.30/2.38 c 2.30/2.38 c ============================[ Search Statistics ]============================== 2.30/2.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.30/2.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.30/2.38 c =============================================================================== 2.30/2.38 c | 0 | 1396 28784 57909 | 9594 0 -nan | 0.000 % | 2.30/2.38 c =============================================================================== 2.30/2.39 c core #334 2.30/2.39 c 2.30/2.39 c 2.30/2.39 c Core size: 8 Core Weight: 1 Total Weight: -261 2.30/2.39 c Current CPU time: 2.37864 s 2.30/2.39 c 2.30/2.39 c ============================[ Search Statistics ]============================== 2.30/2.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.30/2.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.30/2.39 c =============================================================================== 2.30/2.39 c | 0 | 1400 28785 57917 | 9595 0 -nan | 0.000 % | 2.30/2.39 c =============================================================================== 2.39/2.40 c core #335 2.39/2.40 c 2.39/2.40 c 2.39/2.40 c Core size: 10 Core Weight: 1 Total Weight: -260 2.39/2.40 c Current CPU time: 2.38864 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 | 1406 28786 57929 | 9595 0 -nan | 0.000 % | 2.39/2.40 c =============================================================================== 2.39/2.41 c core #336 2.39/2.41 c 2.39/2.41 c 2.39/2.41 c Core size: 10 Core Weight: 1 Total Weight: -259 2.39/2.41 c Current CPU time: 2.39764 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 | 1412 28787 57941 | 9595 0 -nan | 0.000 % | 2.39/2.41 c =============================================================================== 2.39/2.42 c core #337 2.39/2.42 c 2.39/2.42 c 2.39/2.42 c Core size: 10 Core Weight: 1 Total Weight: -258 2.39/2.42 c Current CPU time: 2.40763 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 | 1418 28788 57953 | 9596 0 -nan | 0.000 % | 2.39/2.42 c =============================================================================== 2.39/2.43 c core #338 2.39/2.43 c 2.39/2.43 c 2.39/2.43 c Core size: 8 Core Weight: 1 Total Weight: -257 2.39/2.43 c Current CPU time: 2.41763 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 | 1422 28789 57961 | 9596 0 -nan | 0.000 % | 2.39/2.43 c =============================================================================== 2.39/2.44 c core #339 2.39/2.44 c 2.39/2.44 c 2.39/2.44 c Core size: 8 Core Weight: 1 Total Weight: -256 2.39/2.44 c Current CPU time: 2.42663 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 | 1426 28790 57969 | 9596 0 -nan | 0.000 % | 2.39/2.44 c =============================================================================== 2.39/2.45 c core #340 2.39/2.45 c 2.39/2.45 c 2.39/2.45 c Core size: 10 Core Weight: 1 Total Weight: -255 2.39/2.45 c Current CPU time: 2.43663 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 | 1432 28791 57981 | 9597 0 -nan | 0.000 % | 2.39/2.45 c =============================================================================== 2.39/2.46 c core #341 2.39/2.46 c 2.39/2.46 c 2.39/2.46 c Core size: 8 Core Weight: 1 Total Weight: -254 2.39/2.46 c Current CPU time: 2.44663 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 | 1436 28792 57989 | 9597 0 -nan | 0.000 % | 2.39/2.46 c =============================================================================== 2.39/2.47 c core #342 2.39/2.47 c 2.39/2.47 c 2.39/2.47 c Core size: 15 Core Weight: 1 Total Weight: -253 2.39/2.47 c Current CPU time: 2.45563 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 | 1448 28793 58013 | 9597 0 -nan | 0.000 % | 2.39/2.47 c =============================================================================== 2.39/2.48 c core #343 2.39/2.48 c 2.39/2.48 c 2.39/2.48 c Core size: 8 Core Weight: 1 Total Weight: -252 2.39/2.48 c Current CPU time: 2.46563 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 | 1452 28794 58021 | 9598 0 -nan | 0.000 % | 2.39/2.48 c =============================================================================== 2.39/2.49 c core #344 2.39/2.49 c 2.39/2.49 c 2.39/2.49 c Core size: 10 Core Weight: 1 Total Weight: -251 2.39/2.49 c Current CPU time: 2.47562 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 | 1458 28795 58033 | 9598 0 -nan | 0.000 % | 2.39/2.49 c =============================================================================== 2.49/2.50 c core #345 2.49/2.50 c 2.49/2.50 c 2.49/2.50 c Core size: 10 Core Weight: 1 Total Weight: -250 2.49/2.50 c Current CPU time: 2.48562 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 | 1464 28796 58045 | 9598 0 -nan | 0.000 % | 2.49/2.50 c =============================================================================== 2.49/2.51 c core #346 2.49/2.51 c 2.49/2.51 c 2.49/2.51 c Core size: 15 Core Weight: 1 Total Weight: -249 2.49/2.51 c Current CPU time: 2.49462 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 | 1476 28797 58069 | 9599 0 -nan | 0.000 % | 2.49/2.51 c =============================================================================== 2.49/2.52 c core #347 2.49/2.52 c 2.49/2.52 c 2.49/2.52 c Core size: 10 Core Weight: 1 Total Weight: -248 2.49/2.52 c Current CPU time: 2.50462 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 | 1482 28798 58081 | 9599 0 -nan | 0.000 % | 2.49/2.52 c =============================================================================== 2.49/2.53 c core #348 2.49/2.53 c 2.49/2.53 c 2.49/2.53 c Core size: 10 Core Weight: 1 Total Weight: -247 2.49/2.53 c Current CPU time: 2.51462 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 | 1488 28799 58093 | 9599 0 -nan | 0.000 % | 2.49/2.53 c =============================================================================== 2.49/2.54 c core #349 2.49/2.54 c 2.49/2.54 c 2.49/2.54 c Core size: 10 Core Weight: 1 Total Weight: -246 2.49/2.54 c Current CPU time: 2.52462 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 | 1494 28800 58105 | 9600 0 -nan | 0.000 % | 2.49/2.54 c =============================================================================== 2.49/2.55 c core #350 2.49/2.55 c 2.49/2.55 c 2.49/2.55 c Core size: 15 Core Weight: 1 Total Weight: -245 2.49/2.55 c Current CPU time: 2.53361 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 | 1506 28801 58129 | 9600 0 -nan | 0.000 % | 2.49/2.55 c =============================================================================== 2.49/2.56 c core #351 2.49/2.56 c 2.49/2.56 c 2.49/2.56 c Core size: 10 Core Weight: 1 Total Weight: -244 2.49/2.56 c Current CPU time: 2.54361 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 | 1512 28802 58141 | 9600 0 -nan | 0.000 % | 2.49/2.56 c =============================================================================== 2.49/2.57 c core #352 2.49/2.57 c 2.49/2.57 c 2.49/2.57 c Core size: 8 Core Weight: 1 Total Weight: -243 2.49/2.57 c Current CPU time: 2.55361 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 | 1516 28803 58149 | 9601 0 -nan | 0.000 % | 2.49/2.57 c =============================================================================== 2.49/2.58 c core #353 2.49/2.58 c 2.49/2.58 c 2.49/2.58 c Core size: 8 Core Weight: 1 Total Weight: -242 2.49/2.58 c Current CPU time: 2.56361 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 | 1520 28804 58157 | 9601 0 -nan | 0.000 % | 2.49/2.58 c =============================================================================== 2.49/2.59 c core #354 2.49/2.59 c 2.49/2.59 c 2.49/2.59 c Core size: 16 Core Weight: 1 Total Weight: -241 2.49/2.59 c Current CPU time: 2.57361 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 | 1532 28805 58181 | 9601 0 -nan | 0.000 % | 2.49/2.59 c =============================================================================== 2.59/2.60 c core #355 2.59/2.60 c 2.59/2.60 c 2.59/2.60 c Core size: 8 Core Weight: 1 Total Weight: -240 2.59/2.60 c Current CPU time: 2.58261 s 2.59/2.60 c 2.59/2.60 c ============================[ Search Statistics ]============================== 2.59/2.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.60 c =============================================================================== 2.59/2.60 c | 0 | 1536 28806 58189 | 9602 0 -nan | 0.000 % | 2.59/2.60 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.5926 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 | 1542 28807 58201 | 9602 0 -nan | 0.000 % | 2.59/2.61 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: 10 Core Weight: 1 Total Weight: -238 2.59/2.62 c Current CPU time: 2.6026 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 | 1548 28808 58213 | 9602 0 -nan | 0.000 % | 2.59/2.62 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: 8 Core Weight: 1 Total Weight: -237 2.59/2.63 c Current CPU time: 2.6126 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 | 1552 28809 58221 | 9603 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.6226 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 | 1558 28810 58233 | 9603 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: 10 Core Weight: 1 Total Weight: -235 2.59/2.65 c Current CPU time: 2.6316 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 | 1564 28811 58245 | 9603 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.6416 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 | 1570 28812 58257 | 9604 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: 10 Core Weight: 1 Total Weight: -233 2.59/2.67 c Current CPU time: 2.6516 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 | 1576 28813 58269 | 9604 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.6616 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 | 1582 28814 58281 | 9604 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: 8 Core Weight: 1 Total Weight: -231 2.59/2.69 c Current CPU time: 2.67159 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 | 1586 28815 58289 | 9605 0 -nan | 0.000 % | 2.59/2.69 c =============================================================================== 2.59/2.70 c core #365 2.59/2.70 c 2.59/2.70 c 2.59/2.70 c Core size: 14 Core Weight: 1 Total Weight: -230 2.59/2.70 c Current CPU time: 2.68159 s 2.59/2.70 c 2.59/2.70 c ============================[ Search Statistics ]============================== 2.59/2.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.70 c =============================================================================== 2.59/2.70 c | 0 | 1598 28816 58313 | 9605 0 -nan | 0.000 % | 2.59/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: 13 Core Weight: 1 Total Weight: -229 2.69/2.71 c Current CPU time: 2.69159 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 | 1608 28817 58333 | 9605 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.70159 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 | 1614 28818 58345 | 9606 0 -nan | 0.000 % | 2.69/2.72 c =============================================================================== 2.69/2.73 c core #368 2.69/2.73 c 2.69/2.73 c 2.69/2.73 c Core size: 15 Core Weight: 1 Total Weight: -227 2.69/2.73 c Current CPU time: 2.71159 s 2.69/2.73 c 2.69/2.73 c ============================[ Search Statistics ]============================== 2.69/2.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.73 c =============================================================================== 2.69/2.73 c | 0 | 1626 28819 58369 | 9606 0 -nan | 0.000 % | 2.69/2.73 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.72059 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 | 1632 28820 58381 | 9606 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: 10 Core Weight: 1 Total Weight: -225 2.69/2.75 c Current CPU time: 2.73058 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 | 1638 28821 58393 | 9607 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: 10 Core Weight: 1 Total Weight: -224 2.69/2.76 c Current CPU time: 2.74058 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 | 1644 28822 58405 | 9607 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.75058 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 | 1648 28823 58413 | 9607 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.76058 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 | 1654 28824 58425 | 9608 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.77058 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 | 1660 28825 58437 | 9608 0 -nan | 0.000 % | 2.69/2.79 c =============================================================================== 2.80/2.80 c core #375 2.80/2.80 c 2.80/2.80 c 2.80/2.80 c Core size: 10 Core Weight: 1 Total Weight: -220 2.80/2.80 c Current CPU time: 2.78158 s 2.80/2.80 c 2.80/2.80 c ============================[ Search Statistics ]============================== 2.80/2.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.80/2.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.80/2.80 c =============================================================================== 2.80/2.80 c | 0 | 1666 28826 58449 | 9608 0 -nan | 0.000 % | 2.80/2.80 c =============================================================================== 2.80/2.81 c core #376 2.80/2.81 c 2.80/2.81 c 2.80/2.81 c Core size: 10 Core Weight: 1 Total Weight: -219 2.80/2.81 c Current CPU time: 2.79157 s 2.80/2.81 c 2.80/2.81 c ============================[ Search Statistics ]============================== 2.80/2.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.80/2.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.80/2.81 c =============================================================================== 2.80/2.81 c | 0 | 1672 28827 58461 | 9609 0 -nan | 0.000 % | 2.80/2.81 c =============================================================================== 2.80/2.82 c core #377 2.80/2.82 c 2.80/2.82 c 2.80/2.82 c Core size: 10 Core Weight: 1 Total Weight: -218 2.80/2.82 c Current CPU time: 2.80157 s 2.80/2.82 c 2.80/2.82 c ============================[ Search Statistics ]============================== 2.80/2.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.80/2.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.80/2.82 c =============================================================================== 2.80/2.82 c | 0 | 1678 28828 58473 | 9609 0 -nan | 0.000 % | 2.80/2.82 c =============================================================================== 2.80/2.83 c core #378 2.80/2.83 c 2.80/2.83 c 2.80/2.83 c Core size: 8 Core Weight: 1 Total Weight: -217 2.80/2.83 c Current CPU time: 2.81157 s 2.80/2.83 c 2.80/2.83 c ============================[ Search Statistics ]============================== 2.80/2.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.80/2.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.80/2.83 c =============================================================================== 2.80/2.83 c | 0 | 1682 28829 58481 | 9609 0 -nan | 0.000 % | 2.80/2.83 c =============================================================================== 2.80/2.84 c core #379 2.80/2.84 c 2.80/2.84 c 2.80/2.84 c Core size: 10 Core Weight: 1 Total Weight: -216 2.80/2.84 c Current CPU time: 2.82257 s 2.80/2.84 c 2.80/2.84 c ============================[ Search Statistics ]============================== 2.80/2.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.80/2.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.80/2.84 c =============================================================================== 2.80/2.84 c | 0 | 1688 28830 58493 | 9610 0 -nan | 0.000 % | 2.80/2.84 c =============================================================================== 2.80/2.85 c core #380 2.80/2.85 c 2.80/2.85 c 2.80/2.85 c Core size: 10 Core Weight: 1 Total Weight: -215 2.80/2.85 c Current CPU time: 2.83257 s 2.80/2.85 c 2.80/2.85 c ============================[ Search Statistics ]============================== 2.80/2.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.80/2.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.80/2.85 c =============================================================================== 2.80/2.85 c | 0 | 1694 28831 58505 | 9610 0 -nan | 0.000 % | 2.80/2.85 c =============================================================================== 2.80/2.86 c core #381 2.80/2.86 c 2.80/2.86 c 2.80/2.86 c Core size: 10 Core Weight: 1 Total Weight: -214 2.80/2.86 c Current CPU time: 2.84257 s 2.80/2.86 c 2.80/2.86 c ============================[ Search Statistics ]============================== 2.80/2.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.80/2.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.80/2.86 c =============================================================================== 2.80/2.86 c | 0 | 1700 28832 58517 | 9610 0 -nan | 0.000 % | 2.80/2.86 c =============================================================================== 2.80/2.87 c core #382 2.80/2.87 c 2.80/2.87 c 2.80/2.87 c Core size: 16 Core Weight: 1 Total Weight: -213 2.80/2.87 c Current CPU time: 2.85357 s 2.80/2.87 c 2.80/2.87 c ============================[ Search Statistics ]============================== 2.80/2.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.80/2.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.80/2.87 c =============================================================================== 2.80/2.87 c | 0 | 1712 28833 58541 | 9611 0 -nan | 0.000 % | 2.80/2.87 c =============================================================================== 2.80/2.88 c core #383 2.80/2.88 c 2.80/2.88 c 2.80/2.88 c Core size: 8 Core Weight: 1 Total Weight: -212 2.80/2.88 c Current CPU time: 2.86256 s 2.80/2.88 c 2.80/2.88 c ============================[ Search Statistics ]============================== 2.80/2.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.80/2.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.80/2.88 c =============================================================================== 2.80/2.88 c | 0 | 1716 28834 58549 | 9611 0 -nan | 0.000 % | 2.80/2.88 c =============================================================================== 2.80/2.89 c core #384 2.80/2.89 c 2.80/2.89 c 2.80/2.89 c Core size: 10 Core Weight: 1 Total Weight: -211 2.80/2.89 c Current CPU time: 2.87256 s 2.80/2.89 c 2.80/2.89 c ============================[ Search Statistics ]============================== 2.80/2.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.80/2.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.80/2.89 c =============================================================================== 2.80/2.89 c | 0 | 1722 28835 58561 | 9611 0 -nan | 0.000 % | 2.80/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: 10 Core Weight: 1 Total Weight: -210 2.89/2.90 c Current CPU time: 2.88256 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 | 1728 28836 58573 | 9612 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: 10 Core Weight: 1 Total Weight: -209 2.89/2.91 c Current CPU time: 2.89356 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 | 1734 28837 58585 | 9612 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: 8 Core Weight: 1 Total Weight: -208 2.89/2.92 c Current CPU time: 2.90356 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 | 1738 28838 58593 | 9612 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: 10 Core Weight: 1 Total Weight: -207 2.89/2.93 c Current CPU time: 2.91356 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 | 1744 28839 58605 | 9613 0 -nan | 0.000 % | 2.89/2.93 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.92455 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 | 1750 28840 58617 | 9613 0 -nan | 0.000 % | 2.89/2.94 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: 8 Core Weight: 1 Total Weight: -205 2.89/2.95 c Current CPU time: 2.93455 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 | 1754 28841 58625 | 9613 0 -nan | 0.000 % | 2.89/2.95 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.94555 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 | 1758 28842 58633 | 9614 0 -nan | 0.000 % | 2.89/2.96 c =============================================================================== 2.89/2.97 c core #392 2.89/2.97 c 2.89/2.97 c 2.89/2.97 c Core size: 8 Core Weight: 1 Total Weight: -203 2.89/2.97 c Current CPU time: 2.95555 s 2.89/2.97 c 2.89/2.97 c ============================[ Search Statistics ]============================== 2.89/2.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.97 c =============================================================================== 2.89/2.97 c | 0 | 1762 28843 58641 | 9614 0 -nan | 0.000 % | 2.89/2.97 c =============================================================================== 2.89/2.98 c core #393 2.89/2.98 c 2.89/2.98 c 2.89/2.98 c Core size: 13 Core Weight: 1 Total Weight: -202 2.89/2.98 c Current CPU time: 2.96555 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 | 1772 28844 58661 | 9614 0 -nan | 0.000 % | 2.89/2.98 c =============================================================================== 2.89/2.99 c core #394 2.89/2.99 c 2.89/2.99 c 2.89/2.99 c Core size: 10 Core Weight: 1 Total Weight: -201 2.89/2.99 c Current CPU time: 2.97655 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 | 1778 28845 58673 | 9615 0 -nan | 0.000 % | 2.89/2.99 c =============================================================================== 2.99/3.00 c core #395 2.99/3.00 c 2.99/3.00 c 2.99/3.00 c Core size: 8 Core Weight: 1 Total Weight: -200 2.99/3.00 c Current CPU time: 2.98655 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 | 1782 28846 58681 | 9615 0 -nan | 0.000 % | 2.99/3.00 c =============================================================================== 2.99/3.01 c core #396 2.99/3.01 c 2.99/3.01 c 2.99/3.01 c Core size: 10 Core Weight: 1 Total Weight: -199 2.99/3.01 c Current CPU time: 2.99654 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 | 1788 28847 58693 | 9615 0 -nan | 0.000 % | 2.99/3.01 c =============================================================================== 2.99/3.02 c core #397 2.99/3.02 c 2.99/3.02 c 2.99/3.02 c Core size: 8 Core Weight: 1 Total Weight: -198 2.99/3.02 c Current CPU time: 3.00754 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 | 1792 28848 58701 | 9616 0 -nan | 0.000 % | 2.99/3.02 c =============================================================================== 2.99/3.03 c core #398 2.99/3.03 c 2.99/3.03 c 2.99/3.03 c Core size: 10 Core Weight: 1 Total Weight: -197 2.99/3.03 c Current CPU time: 3.01754 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 | 1798 28849 58713 | 9616 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: 10 Core Weight: 1 Total Weight: -196 2.99/3.05 c Current CPU time: 3.02854 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 | 1804 28850 58725 | 9616 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.03954 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 | 1808 28851 58733 | 9617 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: 10 Core Weight: 1 Total Weight: -194 2.99/3.07 c Current CPU time: 3.04854 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 | 1814 28852 58745 | 9617 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: 10 Core Weight: 1 Total Weight: -193 2.99/3.08 c Current CPU time: 3.05953 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 | 1820 28853 58757 | 9617 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: 10 Core Weight: 1 Total Weight: -192 2.99/3.09 c Current CPU time: 3.07053 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 | 1826 28854 58769 | 9618 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.08053 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 | 1830 28855 58777 | 9618 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: 20 Core Weight: 1 Total Weight: -190 3.09/3.11 c Current CPU time: 3.09153 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 | 1840 28856 58797 | 9618 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: 11 Core Weight: 1 Total Weight: -189 3.09/3.12 c Current CPU time: 3.10253 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 | 1848 28857 58813 | 9619 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: 18 Core Weight: 1 Total Weight: -188 3.09/3.13 c Current CPU time: 3.11453 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 | 1862 28858 58841 | 9619 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: 21 Core Weight: 1 Total Weight: -187 3.09/3.14 c Current CPU time: 3.12552 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 | 1878 28859 58873 | 9619 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: 21 Core Weight: 1 Total Weight: -186 3.09/3.16 c Current CPU time: 3.13752 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 | 1898 28860 58913 | 9620 0 -nan | 0.000 % | 3.09/3.16 c | 100 | 1893 28860 58913 | 10582 100 7 | 0.263 % | 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: 20 Core Weight: 1 Total Weight: -185 3.09/3.17 c Current CPU time: 3.14952 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 | 1916 28861 58949 | 9620 0 -nan | 0.000 % | 3.09/3.17 c | 101 | 1916 28861 58949 | 10582 101 17 | 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: 20 Core Weight: 1 Total Weight: -184 3.09/3.18 c Current CPU time: 3.16352 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 | 1934 28862 58985 | 9620 0 -nan | 0.000 % | 3.09/3.18 c | 100 | 1934 28862 58985 | 10582 100 13 | 0.000 % | 3.09/3.19 c | 250 | 1934 28862 58985 | 11641 250 16 | 0.000 % | 3.09/3.19 c =============================================================================== 3.19/3.20 c core #412 3.19/3.20 c 3.19/3.20 c 3.19/3.20 c Core size: 30 Core Weight: 1 Total Weight: -183 3.19/3.20 c Current CPU time: 3.17952 s 3.19/3.20 c 3.19/3.20 c ============================[ Search Statistics ]============================== 3.19/3.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.20 c =============================================================================== 3.19/3.20 c | 0 | 1962 28863 59041 | 9621 0 -nan | 0.000 % | 3.19/3.20 c | 100 | 1962 28863 59041 | 10583 100 17 | 0.000 % | 3.19/3.20 c | 250 | 1956 28863 59041 | 11641 250 20 | 0.306 % | 3.19/3.21 c | 475 | 1956 28863 59041 | 12805 475 25 | 0.306 % | 3.19/3.21 c | 815 | 1956 28863 59041 | 14086 815 26 | 0.306 % | 3.19/3.23 c | 1322 | 1956 28863 59041 | 15494 1322 28 | 0.306 % | 3.19/3.25 c | 2082 | 1956 28863 59041 | 17044 2082 29 | 0.306 % | 3.19/3.27 c =============================================================================== 3.19/3.29 c core #413 3.19/3.29 c 3.19/3.29 c 3.19/3.29 c Core size: 39 Core Weight: 1 Total Weight: -182 3.19/3.29 c Current CPU time: 3.2635 s 3.19/3.29 c 3.19/3.29 c ============================[ Search Statistics ]============================== 3.19/3.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.29 c =============================================================================== 3.19/3.29 c | 0 | 1998 28864 59113 | 9621 0 -nan | 0.000 % | 3.19/3.29 c | 101 | 1998 28864 59113 | 10583 101 13 | 0.000 % | 3.19/3.29 c | 251 | 1998 28864 59113 | 11641 251 16 | 0.000 % | 3.19/3.29 c =============================================================================== 3.19/3.30 c core #414 3.19/3.30 c 3.19/3.30 c 3.19/3.30 c Core size: 37 Core Weight: 1 Total Weight: -181 3.19/3.30 c Current CPU time: 3.2795 s 3.19/3.30 c 3.19/3.30 c ============================[ Search Statistics ]============================== 3.19/3.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.30 c =============================================================================== 3.19/3.30 c | 0 | 2028 28865 59173 | 9621 0 -nan | 0.000 % | 3.19/3.30 c =============================================================================== 3.30/3.32 c core #415 3.30/3.32 c 3.30/3.32 c 3.30/3.32 c Core size: 11 Core Weight: 1 Total Weight: -180 3.30/3.32 c Current CPU time: 3.2915 s 3.30/3.32 c 3.30/3.32 c ============================[ Search Statistics ]============================== 3.30/3.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.30/3.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.30/3.32 c =============================================================================== 3.30/3.32 c | 0 | 2036 28866 59189 | 9622 0 -nan | 0.000 % | 3.30/3.32 c | 100 | 2036 28866 59189 | 10584 100 18 | 0.000 % | 3.30/3.32 c | 253 | 2035 28866 59189 | 11642 253 24 | 0.049 % | 3.30/3.32 c | 478 | 2035 28866 59189 | 12806 478 25 | 0.049 % | 3.30/3.33 c | 818 | 2034 28866 59189 | 14087 818 29 | 0.098 % | 3.30/3.35 c | 1325 | 2033 28866 59189 | 15496 1325 30 | 0.147 % | 3.30/3.38 c | 2085 | 2031 28866 59189 | 17045 2085 31 | 0.246 % | 3.30/3.40 c =============================================================================== 3.30/3.41 c core #416 3.30/3.41 c 3.30/3.41 c 3.30/3.41 c Core size: 70 Core Weight: 1 Total Weight: -179 3.30/3.41 c Current CPU time: 3.38848 s 3.30/3.41 c 3.30/3.41 c ============================[ Search Statistics ]============================== 3.30/3.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.30/3.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.30/3.41 c =============================================================================== 3.30/3.41 c | 0 | 2098 28867 59313 | 9622 0 -nan | 0.000 % | 3.40/3.42 c | 100 | 2098 28867 59313 | 10584 100 34 | 0.000 % | 3.40/3.42 c | 250 | 2098 28867 59313 | 11643 250 29 | 0.000 % | 3.40/3.42 c | 476 | 2084 28867 59313 | 12807 476 34 | 5.195 % | 3.40/3.43 c =============================================================================== 3.40/3.44 c core #417 3.40/3.44 c 3.40/3.44 c 3.40/3.44 c Core size: 32 Core Weight: 1 Total Weight: -178 3.40/3.44 c Current CPU time: 3.41048 s 3.40/3.44 c 3.40/3.44 c ============================[ Search Statistics ]============================== 3.40/3.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.40/3.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.40/3.44 c =============================================================================== 3.40/3.44 c | 0 | 2124 28868 59365 | 9622 0 -nan | 0.000 % | 3.40/3.44 c =============================================================================== 3.40/3.45 c core #418 3.40/3.45 c 3.40/3.45 c 3.40/3.45 c Core size: 22 Core Weight: 1 Total Weight: -177 3.40/3.45 c Current CPU time: 3.42248 s 3.40/3.45 c 3.40/3.45 c ============================[ Search Statistics ]============================== 3.40/3.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.40/3.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.40/3.45 c =============================================================================== 3.40/3.45 c | 0 | 2140 28869 59397 | 9623 0 -nan | 0.000 % | 3.40/3.45 c =============================================================================== 3.40/3.46 c core #419 3.40/3.46 c 3.40/3.46 c 3.40/3.46 c Core size: 19 Core Weight: 1 Total Weight: -176 3.40/3.46 c Current CPU time: 3.43548 s 3.40/3.46 c 3.40/3.46 c ============================[ Search Statistics ]============================== 3.40/3.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.40/3.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.40/3.46 c =============================================================================== 3.40/3.46 c | 0 | 2150 28870 59417 | 9623 0 -nan | 0.000 % | 3.40/3.46 c =============================================================================== 3.40/3.47 c core #420 3.40/3.47 c 3.40/3.47 c 3.40/3.47 c Core size: 17 Core Weight: 1 Total Weight: -175 3.40/3.47 c Current CPU time: 3.44648 s 3.40/3.47 c 3.40/3.47 c ============================[ Search Statistics ]============================== 3.40/3.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.40/3.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.40/3.47 c =============================================================================== 3.40/3.47 c | 0 | 2160 28871 59437 | 9623 0 -nan | 0.000 % | 3.40/3.47 c | 100 | 2160 28871 59437 | 10586 100 26 | 0.000 % | 3.40/3.48 c =============================================================================== 3.40/3.49 c core #421 3.40/3.49 c 3.40/3.49 c 3.40/3.49 c Core size: 31 Core Weight: 1 Total Weight: -174 3.40/3.49 c Current CPU time: 3.46247 s 3.40/3.49 c 3.40/3.49 c ============================[ Search Statistics ]============================== 3.40/3.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.40/3.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.40/3.49 c =============================================================================== 3.40/3.49 c | 0 | 2190 28872 59497 | 9624 0 -nan | 0.000 % | 3.40/3.49 c | 102 | 2190 28872 59497 | 10586 102 40 | 0.000 % | 3.40/3.49 c =============================================================================== 3.50/3.50 c core #422 3.50/3.50 c 3.50/3.50 c 3.50/3.50 c Core size: 25 Core Weight: 1 Total Weight: -173 3.50/3.50 c Current CPU time: 3.47747 s 3.50/3.50 c 3.50/3.50 c ============================[ Search Statistics ]============================== 3.50/3.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.50/3.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.50/3.50 c =============================================================================== 3.50/3.50 c | 0 | 2206 28873 59529 | 9624 0 -nan | 0.000 % | 3.50/3.51 c | 100 | 2206 28873 59529 | 10586 100 18 | 0.000 % | 3.50/3.51 c | 250 | 2205 28873 59529 | 11645 250 14 | 0.045 % | 3.50/3.51 c =============================================================================== 3.50/3.52 c core #423 3.50/3.52 c 3.50/3.52 c 3.50/3.52 c Core size: 46 Core Weight: 1 Total Weight: -172 3.50/3.52 c Current CPU time: 3.49347 s 3.50/3.52 c 3.50/3.52 c ============================[ Search Statistics ]============================== 3.50/3.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.50/3.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.50/3.52 c =============================================================================== 3.50/3.52 c | 0 | 2246 28874 59609 | 9624 0 -nan | 0.000 % | 3.50/3.52 c =============================================================================== 3.50/3.53 c core #424 3.50/3.53 c 3.50/3.53 c 3.50/3.53 c Core size: 11 Core Weight: 1 Total Weight: -171 3.50/3.53 c Current CPU time: 3.50647 s 3.50/3.53 c 3.50/3.53 c ============================[ Search Statistics ]============================== 3.50/3.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.50/3.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.50/3.53 c =============================================================================== 3.50/3.53 c | 0 | 2256 28875 59629 | 9625 0 -nan | 0.000 % | 3.50/3.54 c | 100 | 2254 28875 59629 | 10587 100 10 | 0.089 % | 3.50/3.54 c | 250 | 2254 28875 59629 | 11646 250 16 | 0.089 % | 3.50/3.55 c | 475 | 2253 28875 59629 | 12810 475 22 | 0.133 % | 3.50/3.55 c | 814 | 2184 28875 59629 | 14091 814 28 | 3.192 % | 3.50/3.56 c =============================================================================== 3.50/3.57 c core #425 3.50/3.57 c 3.50/3.57 c 3.50/3.57 c Core size: 65 Core Weight: 1 Total Weight: -170 3.50/3.57 c Current CPU time: 3.53846 s 3.50/3.57 c 3.50/3.57 c ============================[ Search Statistics ]============================== 3.50/3.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.50/3.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.50/3.57 c =============================================================================== 3.50/3.57 c | 0 | 2316 28876 59749 | 9625 0 -nan | 0.000 % | 3.50/3.57 c | 101 | 2316 28876 59749 | 10587 101 12 | 0.000 % | 3.50/3.57 c =============================================================================== 3.50/3.58 c core #426 3.50/3.58 c 3.50/3.58 c 3.50/3.58 c Core size: 35 Core Weight: 1 Total Weight: -169 3.50/3.58 c Current CPU time: 3.55346 s 3.50/3.58 c 3.50/3.58 c ============================[ Search Statistics ]============================== 3.50/3.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.50/3.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.50/3.58 c =============================================================================== 3.50/3.58 c | 0 | 2344 28877 59805 | 9625 0 -nan | 0.000 % | 3.50/3.58 c =============================================================================== 3.50/3.60 c core #427 3.50/3.60 c 3.50/3.60 c 3.50/3.60 c Core size: 18 Core Weight: 1 Total Weight: -168 3.50/3.60 c Current CPU time: 3.56646 s 3.50/3.60 c 3.50/3.60 c ============================[ Search Statistics ]============================== 3.50/3.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.50/3.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.50/3.60 c =============================================================================== 3.50/3.60 c | 0 | 2360 28878 59837 | 9626 0 -nan | 0.000 % | 3.59/3.60 c | 102 | 2359 28878 59837 | 10588 102 18 | 0.042 % | 3.59/3.60 c =============================================================================== 3.59/3.61 c core #428 3.59/3.61 c 3.59/3.61 c 3.59/3.61 c Core size: 31 Core Weight: 1 Total Weight: -167 3.59/3.61 c Current CPU time: 3.58046 s 3.59/3.61 c 3.59/3.61 c ============================[ Search Statistics ]============================== 3.59/3.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.61 c =============================================================================== 3.59/3.61 c | 0 | 2384 28879 59885 | 9626 0 -nan | 0.000 % | 3.59/3.61 c =============================================================================== 3.59/3.62 c core #429 3.59/3.62 c 3.59/3.62 c 3.59/3.62 c Core size: 17 Core Weight: 1 Total Weight: -166 3.59/3.62 c Current CPU time: 3.59345 s 3.59/3.62 c 3.59/3.62 c ============================[ Search Statistics ]============================== 3.59/3.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.62 c =============================================================================== 3.59/3.62 c | 0 | 2400 28880 59917 | 9626 0 -nan | 0.000 % | 3.59/3.63 c | 100 | 2400 28880 59917 | 10589 100 14 | 0.000 % | 3.59/3.63 c | 250 | 2395 28880 59917 | 11648 250 22 | 0.208 % | 3.59/3.63 c | 475 | 2392 28880 59917 | 12813 475 24 | 0.333 % | 3.59/3.64 c =============================================================================== 3.59/3.65 c core #430 3.59/3.65 c 3.59/3.65 c 3.59/3.65 c Core size: 17 Core Weight: 1 Total Weight: -165 3.59/3.65 c Current CPU time: 3.61845 s 3.59/3.65 c 3.59/3.65 c ============================[ Search Statistics ]============================== 3.59/3.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.65 c =============================================================================== 3.59/3.65 c | 0 | 2410 28881 59937 | 9627 0 -nan | 0.000 % | 3.59/3.65 c | 100 | 2410 28881 59937 | 10589 100 14 | 0.000 % | 3.59/3.65 c | 253 | 2407 28881 59937 | 11648 253 11 | 0.126 % | 3.59/3.66 c =============================================================================== 3.59/3.67 c core #431 3.59/3.67 c 3.59/3.67 c 3.59/3.67 c Core size: 76 Core Weight: 1 Total Weight: -164 3.59/3.67 c Current CPU time: 3.63845 s 3.59/3.67 c 3.59/3.67 c ============================[ Search Statistics ]============================== 3.59/3.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.67 c =============================================================================== 3.59/3.67 c | 0 | 2478 28882 60073 | 9627 0 -nan | 0.000 % | 3.59/3.67 c | 100 | 2478 28882 60073 | 10590 100 20 | 0.000 % | 3.59/3.67 c | 256 | 2477 28882 60073 | 11649 256 17 | 0.040 % | 3.59/3.67 c =============================================================================== 3.59/3.69 c core #432 3.59/3.69 c 3.59/3.69 c 3.59/3.69 c Core size: 50 Core Weight: 1 Total Weight: -163 3.59/3.69 c Current CPU time: 3.65444 s 3.59/3.69 c 3.59/3.69 c ============================[ Search Statistics ]============================== 3.59/3.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.69 c =============================================================================== 3.59/3.69 c | 0 | 2524 28883 60165 | 9627 0 -nan | 0.000 % | 3.59/3.69 c | 100 | 2522 28883 60165 | 10590 100 8 | 0.079 % | 3.59/3.69 c | 251 | 2521 28883 60165 | 11649 251 11 | 0.119 % | 3.59/3.69 c | 476 | 2521 28883 60165 | 12814 476 20 | 0.119 % | 3.69/3.70 c | 813 | 2521 28883 60165 | 14095 813 29 | 0.119 % | 3.69/3.71 c | 1320 | 2521 28883 60165 | 15505 1320 37 | 0.119 % | 3.69/3.74 c | 2080 | 2521 28883 60165 | 17055 2080 42 | 0.119 % | 3.79/3.80 c | 3222 | 2519 28883 60165 | 18761 3222 45 | 0.198 % | 3.89/3.92 c | 4930 | 2519 28883 60165 | 20637 4930 50 | 0.198 % | 3.89/3.98 c =============================================================================== 3.99/4.00 c core #433 3.99/4.00 c 3.99/4.00 c 3.99/4.00 c Core size: 74 Core Weight: 1 Total Weight: -162 3.99/4.00 c Current CPU time: 3.9624 s 3.99/4.00 c 3.99/4.00 c ============================[ Search Statistics ]============================== 3.99/4.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.00 c =============================================================================== 3.99/4.00 c | 0 | 2592 28884 60301 | 9628 0 -nan | 0.000 % | 3.99/4.00 c | 100 | 2592 28884 60301 | 10590 100 10 | 0.000 % | 3.99/4.00 c | 252 | 2591 28884 60301 | 11649 252 12 | 0.039 % | 3.99/4.01 c | 477 | 2590 28884 60301 | 12814 477 14 | 0.077 % | 3.99/4.02 c | 818 | 2590 28884 60301 | 14096 818 16 | 0.077 % | 3.99/4.03 c =============================================================================== 3.99/4.05 c core #434 3.99/4.05 c 3.99/4.05 c 3.99/4.05 c Core size: 83 Core Weight: 1 Total Weight: -161 3.99/4.05 c Current CPU time: 4.01039 s 3.99/4.05 c 3.99/4.05 c ============================[ Search Statistics ]============================== 3.99/4.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.05 c =============================================================================== 3.99/4.05 c | 0 | 2660 28885 60437 | 9628 0 -nan | 0.000 % | 3.99/4.05 c | 100 | 2660 28885 60437 | 10591 100 16 | 0.000 % | 3.99/4.05 c | 250 | 2660 28885 60437 | 11650 250 15 | 0.000 % | 3.99/4.05 c | 476 | 2660 28885 60437 | 12815 476 19 | 0.000 % | 3.99/4.06 c | 815 | 2660 28885 60437 | 14096 815 20 | 0.000 % | 3.99/4.08 c | 1321 | 2658 28885 60437 | 15506 1321 24 | 0.075 % | 3.99/4.10 c =============================================================================== 4.10/4.11 c core #435 4.10/4.11 c 4.10/4.11 c 4.10/4.11 c Core size: 129 Core Weight: 1 Total Weight: -160 4.10/4.11 c Current CPU time: 4.07238 s 4.10/4.11 c 4.10/4.11 c ============================[ Search Statistics ]============================== 4.10/4.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.10/4.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.10/4.11 c =============================================================================== 4.10/4.11 c | 0 | 2754 28886 60625 | 9628 0 -nan | 0.000 % | 4.10/4.11 c | 102 | 2754 28886 60625 | 10591 102 23 | 0.000 % | 4.10/4.12 c | 254 | 2754 28886 60625 | 11650 254 31 | 0.000 % | 4.10/4.12 c | 479 | 2754 28886 60625 | 12815 479 44 | 0.000 % | 4.10/4.13 c | 818 | 2754 28886 60625 | 14097 818 48 | 0.000 % | 4.10/4.15 c | 1325 | 2754 28886 60625 | 15507 1325 48 | 0.000 % | 4.10/4.19 c | 2085 | 2754 28886 60625 | 17057 2085 58 | 0.000 % | 4.19/4.25 c | 3224 | 2754 28886 60625 | 18763 3224 65 | 0.000 % | 4.29/4.35 c | 4932 | 2754 28886 60625 | 20639 4932 69 | 0.000 % | 4.59/4.66 c | 7495 | 2753 28886 60625 | 22703 7495 73 | 0.036 % | 5.19/5.24 c | 11339 | 2753 28886 60625 | 24974 11339 74 | 0.036 % | 5.99/6.00 c | 17106 | 2753 28886 60625 | 27471 17106 72 | 0.036 % | 7.39/7.45 c | 25756 | 2721 28886 60625 | 30218 25756 70 | 1.271 % | 8.99/9.04 c =============================================================================== 8.99/9.06 c core #436 8.99/9.06 c 8.99/9.06 c 8.99/9.06 c Core size: 40 Core Weight: 1 Total Weight: -159 8.99/9.06 c Current CPU time: 8.98863 s 8.99/9.06 c 8.99/9.06 c ============================[ Search Statistics ]============================== 8.99/9.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.99/9.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.99/9.06 c =============================================================================== 8.99/9.06 c | 0 | 2788 28887 60693 | 9629 0 -nan | 0.000 % | 8.99/9.07 c | 100 | 2788 28887 60693 | 10591 100 11 | 0.000 % | 8.99/9.07 c =============================================================================== 8.99/9.08 c core #437 8.99/9.08 c 8.99/9.08 c 8.99/9.08 c Core size: 26 Core Weight: 1 Total Weight: -158 8.99/9.08 c Current CPU time: 9.01963 s 8.99/9.08 c 8.99/9.08 c ============================[ Search Statistics ]============================== 8.99/9.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.99/9.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.99/9.08 c =============================================================================== 8.99/9.08 c | 0 | 2810 28888 60737 | 9629 0 -nan | 0.000 % | 8.99/9.09 c | 100 | 2810 28888 60737 | 10592 100 10 | 0.000 % | 8.99/9.09 c | 251 | 2810 28888 60737 | 11651 251 10 | 0.000 % | 8.99/9.09 c | 476 | 2810 28888 60737 | 12816 476 13 | 0.000 % | 9.09/9.10 c | 816 | 2809 28888 60737 | 14098 816 17 | 0.036 % | 9.09/9.11 c =============================================================================== 9.09/9.13 c core #438 9.09/9.13 c 9.09/9.13 c 9.09/9.13 c Core size: 92 Core Weight: 1 Total Weight: -157 9.09/9.13 c Current CPU time: 9.05762 s 9.09/9.13 c 9.09/9.13 c ============================[ Search Statistics ]============================== 9.09/9.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.09/9.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.09/9.13 c =============================================================================== 9.09/9.13 c | 0 | 2884 28889 60885 | 9629 0 -nan | 0.000 % | 9.09/9.13 c | 101 | 2884 28889 60885 | 10592 101 8 | 0.000 % | 9.09/9.13 c | 253 | 2880 28889 60885 | 11651 253 9 | 0.139 % | 9.09/9.14 c | 478 | 2878 28889 60885 | 12817 478 12 | 0.208 % | 9.09/9.14 c =============================================================================== 9.09/9.15 c core #439 9.09/9.15 c 9.09/9.15 c 9.09/9.15 c Core size: 76 Core Weight: 1 Total Weight: -156 9.09/9.15 c Current CPU time: 9.08362 s 9.09/9.15 c 9.09/9.15 c ============================[ Search Statistics ]============================== 9.09/9.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.09/9.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.09/9.15 c =============================================================================== 9.09/9.15 c | 0 | 2957 28890 61031 | 9630 0 -nan | 0.000 % | 9.09/9.15 c | 100 | 2957 28890 61031 | 10593 100 11 | 0.000 % | 9.09/9.16 c | 250 | 2957 28890 61031 | 11652 250 13 | 0.000 % | 9.09/9.16 c | 476 | 2957 28890 61031 | 12817 476 17 | 0.000 % | 9.09/9.17 c | 814 | 2956 28890 61031 | 14099 814 19 | 0.034 % | 9.09/9.18 c | 1323 | 2956 28890 61031 | 15509 1323 24 | 0.034 % | 9.19/9.20 c | 2084 | 2956 28890 61031 | 17060 2084 28 | 0.034 % | 9.19/9.26 c | 3224 | 2952 28890 61031 | 18766 3224 33 | 0.169 % | 9.29/9.37 c | 4932 | 2952 28890 61031 | 20642 4932 37 | 0.169 % | 9.59/9.60 c | 7494 | 2952 28890 61031 | 22707 7494 41 | 0.169 % | 10.09/10.12 c | 11343 | 2952 28890 61031 | 24977 11343 45 | 0.169 % | 10.39/10.40 c =============================================================================== 10.39/10.48 c core #440 10.39/10.48 c 10.39/10.48 c 10.39/10.48 c Core size: 111 Core Weight: 1 Total Weight: -155 10.39/10.48 c Current CPU time: 10.3944 s 10.39/10.48 c 10.39/10.48 c ============================[ Search Statistics ]============================== 10.39/10.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.39/10.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.39/10.48 c =============================================================================== 10.39/10.48 c | 0 | 3063 28891 61243 | 9630 0 -nan | 0.000 % | 10.39/10.48 c | 101 | 3063 28891 61243 | 10593 101 11 | 0.000 % | 10.39/10.49 c | 253 | 3063 28891 61243 | 11652 253 11 | 0.000 % | 10.39/10.49 c | 478 | 3063 28891 61243 | 12817 478 13 | 0.000 % | 10.49/10.50 c | 815 | 3063 28891 61243 | 14099 815 20 | 0.000 % | 10.49/10.51 c | 1321 | 3062 28891 61243 | 15509 1321 24 | 0.033 % | 10.49/10.54 c | 2080 | 3062 28891 61243 | 17060 2080 29 | 0.033 % | 10.59/10.60 c | 3223 | 3062 28891 61243 | 18766 3223 33 | 0.033 % | 10.59/10.69 c | 4934 | 3062 28891 61243 | 20643 4934 37 | 0.033 % | 10.79/10.80 c =============================================================================== 10.79/10.84 c core #441 10.79/10.84 c 10.79/10.84 c 10.79/10.84 c Core size: 136 Core Weight: 1 Total Weight: -154 10.79/10.84 c Current CPU time: 10.7604 s 10.79/10.84 c 10.79/10.84 c ============================[ Search Statistics ]============================== 10.79/10.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.79/10.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.79/10.84 c =============================================================================== 10.79/10.84 c | 0 | 3157 28892 61431 | 9630 0 -nan | 0.000 % | 10.79/10.85 c | 101 | 3157 28892 61431 | 10593 101 14 | 0.000 % | 10.79/10.85 c | 252 | 3157 28892 61431 | 11653 252 13 | 0.000 % | 10.79/10.85 c | 477 | 3157 28892 61431 | 12818 477 15 | 0.000 % | 10.79/10.86 c | 815 | 3157 28892 61431 | 14100 815 16 | 0.000 % | 10.79/10.87 c =============================================================================== 10.79/10.89 c core #442 10.79/10.89 c 10.79/10.89 c 10.79/10.89 c Core size: 72 Core Weight: 1 Total Weight: -153 10.79/10.89 c Current CPU time: 10.8014 s 10.79/10.89 c 10.79/10.89 c ============================[ Search Statistics ]============================== 10.79/10.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.79/10.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.79/10.89 c =============================================================================== 10.79/10.89 c | 0 | 3211 28893 61539 | 9631 0 -nan | 0.000 % | 10.79/10.89 c | 100 | 3211 28893 61539 | 10594 100 21 | 0.000 % | 10.79/10.89 c | 250 | 3211 28893 61539 | 11653 250 26 | 0.000 % | 10.89/10.90 c | 476 | 3211 28893 61539 | 12818 476 22 | 0.000 % | 10.89/10.90 c | 813 | 3211 28893 61539 | 14100 813 27 | 0.000 % | 10.89/10.92 c | 1322 | 3211 28893 61539 | 15510 1322 36 | 0.000 % | 10.89/10.94 c | 2081 | 3211 28893 61539 | 17061 2081 44 | 0.000 % | 10.89/11.01 c | 3223 | 3211 28893 61539 | 18768 3223 55 | 0.000 % | 10.99/11.07 c | 4931 | 3211 28893 61539 | 20644 4931 53 | 0.000 % | 11.18/11.21 c | 7493 | 3211 28893 61539 | 22709 7493 55 | 0.000 % | 11.38/11.46 c | 11337 | 3211 28893 61539 | 24980 11337 54 | 0.000 % | 11.88/11.96 c | 17104 | 3210 28893 61539 | 27478 17104 55 | 0.031 % | 12.88/12.90 c | 25753 | 3209 28893 61539 | 30226 25753 55 | 0.062 % | 14.40/14.47 c | 38728 | 3070 28893 61539 | 33248 21623 56 | 4.391 % | 18.48/18.52 c =============================================================================== 18.69/18.79 c core #443 18.69/18.79 c 18.69/18.79 c 18.69/18.79 c Core size: 147 Core Weight: 1 Total Weight: -152 18.69/18.79 c Current CPU time: 18.6162 s 18.69/18.79 c 18.69/18.79 c ============================[ Search Statistics ]============================== 18.69/18.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.69/18.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.69/18.79 c =============================================================================== 18.69/18.79 c | 0 | 3331 28894 61779 | 9631 0 -nan | 0.000 % | 18.69/18.80 c | 101 | 3331 28894 61779 | 10594 101 22 | 0.000 % | 18.69/18.80 c | 253 | 3331 28894 61779 | 11653 253 22 | 0.000 % | 18.69/18.81 c | 479 | 3331 28894 61779 | 12819 479 29 | 0.000 % | 18.80/18.81 c | 816 | 3331 28894 61779 | 14101 816 33 | 0.000 % | 18.80/18.83 c | 1323 | 3331 28894 61779 | 15511 1323 34 | 0.000 % | 18.80/18.86 c | 2084 | 3331 28894 61779 | 17062 2084 36 | 0.000 % | 18.88/18.92 c | 3224 | 3331 28894 61779 | 18768 3224 37 | 0.000 % | 18.98/19.02 c | 4932 | 3331 28894 61779 | 20645 4932 39 | 0.000 % | 19.18/19.21 c | 7496 | 3331 28894 61779 | 22710 7496 40 | 0.000 % | 19.58/19.68 c | 11340 | 3331 28894 61779 | 24981 11340 42 | 0.000 % | 19.98/20.01 c =============================================================================== 20.08/20.11 c core #444 20.08/20.11 c 20.08/20.11 c 20.08/20.11 c Core size: 99 Core Weight: 1 Total Weight: -151 20.08/20.11 c Current CPU time: 19.947 s 20.08/20.11 c 20.08/20.11 c ============================[ Search Statistics ]============================== 20.08/20.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.08/20.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.08/20.11 c =============================================================================== 20.08/20.11 c | 0 | 3403 28895 61923 | 9631 0 -nan | 0.000 % | 20.08/20.12 c | 102 | 3403 28895 61923 | 10594 102 16 | 0.000 % | 20.08/20.12 c | 252 | 3403 28895 61923 | 11654 252 21 | 0.000 % | 20.08/20.13 c | 480 | 3403 28895 61923 | 12819 480 28 | 0.000 % | 20.08/20.13 c | 820 | 3403 28895 61923 | 14101 820 34 | 0.000 % | 20.08/20.15 c | 1326 | 3403 28895 61923 | 15511 1326 43 | 0.000 % | 20.08/20.19 c | 2085 | 3403 28895 61923 | 17063 2085 60 | 0.000 % | 20.17/20.25 c | 3224 | 3403 28895 61923 | 18769 3224 70 | 0.000 % | 20.28/20.37 c | 4933 | 3403 28895 61923 | 20646 4933 76 | 0.000 % | 20.58/20.64 c | 7496 | 3403 28895 61923 | 22710 7496 82 | 0.000 % | 21.28/21.30 c | 11341 | 3403 28895 61923 | 24982 11341 91 | 0.000 % | 22.37/22.42 c | 17107 | 3403 28895 61923 | 27480 17107 94 | 0.000 % | 24.30/24.38 c | 25756 | 3403 28895 61923 | 30228 25756 92 | 0.000 % | 27.38/27.44 c | 38732 | 3403 28895 61923 | 33251 20966 85 | 0.000 % | 32.68/32.74 c | 58193 | 3403 28895 61923 | 36576 21027 86 | 0.000 % | 38.28/38.30 c | 87388 | 3403 28895 61923 | 40233 26798 74 | 0.000 % | 50.78/50.82 c | 131180 | 3403 28895 61923 | 44257 19552 78 | 0.000 % | 69.08/69.13 c | 196864 | 3402 28895 61923 | 48682 26146 78 | 0.029 % | 98.48/98.54 c =============================================================================== 102.08/102.14 c core #445 102.08/102.14 c 102.08/102.14 c 102.08/102.14 c Core size: 186 Core Weight: 1 Total Weight: -150 102.08/102.14 c Current CPU time: 101.525 s 102.08/102.14 c 102.08/102.14 c ============================[ Search Statistics ]============================== 102.08/102.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 102.08/102.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 102.08/102.14 c =============================================================================== 102.08/102.14 c | 0 | 3523 28896 62163 | 9632 0 -nan | 0.000 % | 102.08/102.15 c | 104 | 3523 28896 62163 | 10595 104 20 | 0.000 % | 102.08/102.16 c | 254 | 3523 28896 62163 | 11654 254 23 | 0.000 % | 102.08/102.16 c | 479 | 3523 28896 62163 | 12820 479 25 | 0.000 % | 102.08/102.17 c | 816 | 3523 28896 62163 | 14102 816 33 | 0.000 % | 102.08/102.18 c | 1323 | 3523 28896 62163 | 15512 1323 38 | 0.000 % | 102.18/102.20 c | 2083 | 3523 28896 62163 | 17063 2083 43 | 0.000 % | 102.18/102.23 c | 3222 | 3523 28896 62163 | 18770 3222 45 | 0.000 % | 102.18/102.31 c | 4932 | 3523 28896 62163 | 20647 4932 52 | 0.000 % | 102.40/102.43 c | 7495 | 3523 28896 62163 | 22711 7495 57 | 0.000 % | 102.68/102.79 c | 11339 | 3523 28896 62163 | 24982 11339 74 | 0.000 % | 103.38/103.46 c | 17107 | 3523 28896 62163 | 27481 17107 85 | 0.000 % | 104.49/104.60 c | 25756 | 3523 28896 62163 | 30229 25756 91 | 0.000 % | 107.48/107.54 c | 38740 | 3523 28896 62163 | 33252 20585 108 | 0.000 % | 112.58/112.60 c | 58205 | 3523 28896 62163 | 36577 20059 128 | 0.000 % | 121.18/121.29 c | 87401 | 3523 28896 62163 | 40235 24652 129 | 0.000 % | 134.88/134.96 c | 131192 | 3523 28896 62163 | 44258 16848 99 | 0.000 % | 154.18/154.23 c | 196876 | 3522 28896 62163 | 48684 23029 99 | 0.028 % | 193.89/193.91 c | 295403 | 3521 28896 62163 | 53553 21493 73 | 0.057 % | 222.39/222.49 c =============================================================================== 224.19/224.28 c core #446 224.19/224.28 c 224.19/224.28 c 224.19/224.28 c Core size: 185 Core Weight: 1 Total Weight: -149 224.19/224.28 c Current CPU time: 223.297 s 224.19/224.28 c 224.19/224.28 c ============================[ Search Statistics ]============================== 224.19/224.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 224.19/224.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 224.19/224.28 c =============================================================================== 224.19/224.28 c | 0 | 3652 28897 62421 | 9632 0 -nan | 0.000 % | 224.19/224.29 c | 100 | 3652 28897 62421 | 10595 100 27 | 0.000 % | 224.19/224.30 c | 250 | 3652 28897 62421 | 11655 250 20 | 0.000 % | 224.29/224.30 c | 476 | 3652 28897 62421 | 12820 476 19 | 0.000 % | 224.29/224.31 c | 814 | 3652 28897 62421 | 14102 814 32 | 0.000 % | 224.29/224.33 c | 1320 | 3652 28897 62421 | 15512 1320 37 | 0.000 % | 224.29/224.36 c | 2080 | 3652 28897 62421 | 17064 2080 58 | 0.000 % | 224.39/224.42 c | 3221 | 3652 28897 62421 | 18770 3221 75 | 0.000 % | 224.50/224.54 c | 4929 | 3652 28897 62421 | 20647 4929 78 | 0.000 % | 224.68/224.74 c | 7498 | 3652 28897 62421 | 22712 7498 80 | 0.000 % | 225.09/225.12 c | 11343 | 3652 28897 62421 | 24983 11343 82 | 0.000 % | 225.98/226.08 c | 17110 | 3652 28897 62421 | 27482 17110 85 | 0.000 % | 227.80/227.89 c | 25762 | 3652 28897 62421 | 30230 25762 93 | 0.000 % | 230.99/231.05 c | 38737 | 3652 28897 62421 | 33253 21621 98 | 0.000 % | 234.98/235.02 c | 58201 | 3652 28897 62421 | 36578 21131 85 | 0.000 % | 241.28/241.36 c | 87393 | 3652 28897 62421 | 40236 27413 85 | 0.000 % | 254.88/254.90 c | 131187 | 3652 28897 62421 | 44260 21306 78 | 0.000 % | 255.69/255.78 c =============================================================================== 256.89/257.00 c core #447 256.89/257.00 c 256.89/257.00 c 256.89/257.00 c Core size: 158 Core Weight: 1 Total Weight: -148 256.89/257.00 c Current CPU time: 256.009 s 256.89/257.00 c 256.89/257.00 c ============================[ Search Statistics ]============================== 256.99/257.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 256.99/257.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 256.99/257.00 c =============================================================================== 256.99/257.00 c | 0 | 3786 28898 62689 | 9632 0 -nan | 0.000 % | 256.99/257.00 c | 102 | 3786 28898 62689 | 10595 102 20 | 0.000 % | 256.99/257.01 c | 252 | 3786 28898 62689 | 11655 252 28 | 0.000 % | 256.99/257.01 c | 478 | 3786 28898 62689 | 12821 478 25 | 0.000 % | 256.99/257.02 c | 816 | 3786 28898 62689 | 14103 816 31 | 0.000 % | 256.99/257.04 c | 1325 | 3786 28898 62689 | 15513 1325 41 | 0.000 % | 256.99/257.07 c | 2084 | 3786 28898 62689 | 17064 2084 58 | 0.000 % | 257.08/257.13 c | 3227 | 3786 28898 62689 | 18771 3227 70 | 0.000 % | 257.19/257.24 c | 4936 | 3786 28898 62689 | 20648 4936 81 | 0.000 % | 257.39/257.45 c | 7498 | 3786 28898 62689 | 22713 7498 92 | 0.000 % | 257.79/257.80 c | 11342 | 3786 28898 62689 | 24984 11342 107 | 0.000 % | 258.49/258.57 c | 17108 | 3786 28898 62689 | 27483 17108 124 | 0.000 % | 260.08/260.16 c | 25758 | 3786 28898 62689 | 30231 25758 142 | 0.000 % | 263.38/263.44 c | 38735 | 3786 28898 62689 | 33254 20618 166 | 0.000 % | 269.09/269.18 c | 58197 | 3786 28898 62689 | 36580 19518 181 | 0.000 % | 278.19/278.31 c | 87389 | 3786 28898 62689 | 40238 24853 170 | 0.000 % | 296.48/296.57 c | 131180 | 3786 28898 62689 | 44261 16893 170 | 0.000 % | 319.98/320.03 c | 196867 | 3786 28898 62689 | 48688 23677 178 | 0.000 % | 367.98/368.05 c | 295394 | 3786 28898 62689 | 53556 21223 168 | 0.000 % | 433.79/433.80 c | 443184 | 3786 28898 62689 | 58912 14429 173 | 0.000 % | 547.29/547.30 c | 664871 | 3786 28898 62689 | 64803 18499 188 | 0.000 % | 717.99/718.10 c | 997396 | 3786 28898 62689 | 71284 64679 127 | 0.000 % | 922.00/922.08 c | 1496185 | 3786 28898 62689 | 78412 69428 89 | 0.000 % | 1081.11/1081.17 c =============================================================================== 1098.71/1098.70 c core #448 1098.71/1098.70 c 1098.71/1098.70 c 1098.71/1098.70 c Core size: 135 Core Weight: 1 Total Weight: -147 1098.71/1098.70 c Current CPU time: 1094.67 s 1098.71/1098.70 c 1098.71/1098.70 c ============================[ Search Statistics ]============================== 1098.71/1098.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 1098.71/1098.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1098.71/1098.70 c =============================================================================== 1098.71/1098.70 c | 0 | 3916 28899 62949 | 9633 0 -nan | 0.000 % | 1098.71/1098.71 c | 100 | 3916 28899 62949 | 10596 100 19 | 0.000 % | 1098.71/1098.72 c | 251 | 3916 28899 62949 | 11655 251 22 | 0.000 % | 1098.71/1098.72 c | 476 | 3916 28899 62949 | 12821 476 29 | 0.000 % | 1098.71/1098.73 c | 816 | 3916 28899 62949 | 14103 816 33 | 0.000 % | 1098.71/1098.74 c | 1324 | 3916 28899 62949 | 15514 1324 39 | 0.000 % | 1098.71/1098.77 c | 2085 | 3916 28899 62949 | 17065 2085 46 | 0.000 % | 1098.81/1098.81 c | 3224 | 3916 28899 62949 | 18771 3224 52 | 0.000 % | 1098.81/1098.89 c | 4932 | 3916 28899 62949 | 20649 4932 56 | 0.000 % | 1099.02/1099.05 c | 7495 | 3916 28899 62949 | 22714 7495 59 | 0.000 % | 1099.20/1099.28 c | 11339 | 3916 28899 62949 | 24985 11339 69 | 0.000 % | 1099.81/1099.86 c | 17106 | 3916 28899 62949 | 27484 17106 70 | 0.000 % | 1100.91/1100.93 c | 25756 | 3916 28899 62949 | 30232 25756 95 | 0.000 % | 1103.80/1103.80 c | 38732 | 3916 28899 62949 | 33255 20762 136 | 0.000 % | 1108.01/1108.05 c | 58193 | 3916 28899 62949 | 36581 19304 153 | 0.000 % | 1114.42/1114.45 c | 87385 | 3916 28899 62949 | 40239 24191 138 | 0.000 % | 1129.00/1129.01 c | 131174 | 3916 28899 62949 | 44263 14565 120 | 0.000 % | 1148.01/1148.08 c | 196860 | 3916 28899 62949 | 48689 19116 113 | 0.000 % | 1176.40/1176.42 c | 295386 | 3916 28899 62949 | 53558 15949 99 | 0.000 % | 1223.61/1223.60 c | 443176 | 3916 28899 62949 | 58914 49793 81 | 0.000 % | 1305.51/1305.59 c | 664861 | 3916 28899 62949 | 64806 54928 111 | 0.000 % | 1453.42/1453.45 c | 997393 | 3916 28899 62949 | 71286 51402 105 | 0.000 % | 1717.02/1717.07 c | 1496181 | 3916 28899 62949 | 78415 67952 89 | 0.000 % |
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-3460952-1307098419/watcher-3460952-1307098419 -o /tmp/evaluation-result-3460952-1307098419/solver-3460952-1307098419 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460952-1307098419.opb running on 4 cores: 0,2,4,6 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 2/488 11171 /proc/meminfo: memFree=21518780/32951124 swapFree=46575304/67111528 [pid=11171] ppid=11169 vsize=3044 CPUtime=0 cores=0,2,4,6 /proc/11171/stat : 11171 (wbo1.6) R 11169 11171 5006 0 -1 4202496 379 0 0 0 0 0 0 0 25 0 1 0 554033210 3117056 332 33554432000 4194304 5714214 140734329174080 18446744073709551615 5202688 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/11171/statm: 761 332 182 372 0 223 0 [startup+0.10152 s] /proc/loadavg: 2.04 2.05 2.01 2/488 11171 /proc/meminfo: memFree=21518780/32951124 swapFree=46575304/67111528 [pid=11171] ppid=11169 vsize=9336 CPUtime=0.09 cores=0,2,4,6 /proc/11171/stat : 11171 (wbo1.6) R 11169 11171 5006 0 -1 4202496 2379 0 0 0 9 0 0 0 18 0 1 0 554033210 9560064 2058 33554432000 4194304 5714214 140734329174080 18446744073709551615 4968084 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/11171/statm: 2334 2058 175 372 0 1959 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9336 [startup+0.200499 s] /proc/loadavg: 2.04 2.05 2.01 2/488 11171 /proc/meminfo: memFree=21518780/32951124 swapFree=46575304/67111528 [pid=11171] ppid=11169 vsize=9584 CPUtime=0.19 cores=0,2,4,6 /proc/11171/stat : 11171 (wbo1.6) R 11169 11171 5006 0 -1 4202496 2421 0 0 0 19 0 0 0 18 0 1 0 554033210 9814016 2100 33554432000 4194304 5714214 140734329174080 18446744073709551615 4977520 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/11171/statm: 2396 2100 175 372 0 2021 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 9584 [startup+0.300505 s] /proc/loadavg: 2.04 2.05 2.01 2/488 11171 /proc/meminfo: memFree=21518780/32951124 swapFree=46575304/67111528 [pid=11171] ppid=11169 vsize=9584 CPUtime=0.29 cores=0,2,4,6 /proc/11171/stat : 11171 (wbo1.6) R 11169 11171 5006 0 -1 4202496 2421 0 0 0 29 0 0 0 18 0 1 0 554033210 9814016 2100 33554432000 4194304 5714214 140734329174080 18446744073709551615 4336897 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/11171/statm: 2396 2100 175 372 0 2021 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9584 [startup+0.700423 s] /proc/loadavg: 2.04 2.05 2.01 2/488 11171 /proc/meminfo: memFree=21518780/32951124 swapFree=46575304/67111528 [pid=11171] ppid=11169 vsize=9968 CPUtime=0.69 cores=0,2,4,6 /proc/11171/stat : 11171 (wbo1.6) R 11169 11171 5006 0 -1 4202496 2516 0 0 0 69 0 0 0 18 0 1 0 554033210 10207232 2195 33554432000 4194304 5714214 140734329174080 18446744073709551615 4964864 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/11171/statm: 2492 2195 175 372 0 2117 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9968 [startup+1.50025 s] /proc/loadavg: 2.04 2.05 2.01 3/489 11172 /proc/meminfo: memFree=21507736/32951124 swapFree=46575304/67111528 [pid=11171] ppid=11169 vsize=10892 CPUtime=1.49 cores=0,2,4,6 /proc/11171/stat : 11171 (wbo1.6) R 11169 11171 5006 0 -1 4202496 2773 0 0 0 149 0 0 0 19 0 1 0 554033210 11153408 2452 33554432000 4194304 5714214 140734329174080 18446744073709551615 4337041 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/11171/statm: 2723 2452 175 372 0 2348 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10892 [startup+3.10099 s] /proc/loadavg: 2.04 2.05 2.01 3/489 11172 /proc/meminfo: memFree=21501400/32951124 swapFree=46575304/67111528 [pid=11171] ppid=11169 vsize=14268 CPUtime=3.09 cores=0,2,4,6 /proc/11171/stat : 11171 (wbo1.6) R 11169 11171 5006 0 -1 4202496 3955 0 0 0 308 1 0 0 18 0 1 0 554033210 14610432 3303 33554432000 4194304 5714214 140734329174080 18446744073709551615 4337030 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/11171/statm: 3567 3303 179 372 0 3192 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14268 [startup+6.30043 s] /proc/loadavg: 2.04 2.05 2.01 3/489 11172 /proc/meminfo: memFree=21485928/32951124 swapFree=46575304/67111528 [pid=11171] ppid=11169 vsize=22696 CPUtime=6.29 cores=0,2,4,6 /proc/11171/stat : 11171 (wbo1.6) R 11169 11171 5006 0 -1 4202496 6028 0 0 0 625 4 0 0 25 0 1 0 554033210 23240704 5376 33554432000 4194304 5714214 140734329174080 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/11171/statm: 5674 5376 180 372 0 5299 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22696 [startup+12.7003 s] /proc/loadavg: 2.11 2.06 2.02 3/489 11172 /proc/meminfo: memFree=21466044/32951124 swapFree=46575304/67111528 [pid=11171] ppid=11169 vsize=23344 CPUtime=12.68 cores=0,2,4,6 /proc/11171/stat : 11171 (wbo1.6) R 11169 11171 5006 0 -1 4202496 7938 0 0 0 1258 10 0 0 21 0 1 0 554033210 23904256 5573 33554432000 4194304 5714214 140734329174080 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11171/statm: 5836 5573 180 372 0 5461 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 23344 [startup+25.5011 s] /proc/loadavg: 2.09 2.06 2.01 3/489 11173 /proc/meminfo: memFree=21439860/32951124 swapFree=46575304/67111528 [pid=11171] ppid=11169 vsize=35456 CPUtime=25.48 cores=0,2,4,6 /proc/11171/stat : 11171 (wbo1.6) R 11169 11171 5006 0 -1 4202496 11042 0 0 0 2533 15 0 0 25 0 1 0 554033210 36306944 8594 33554432000 4194304 5714214 140734329174080 18446744073709551615 4319375 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11171/statm: 8864 8594 180 372 0 8489 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 35456 [startup+51.1005 s] /proc/loadavg: 2.06 2.06 2.01 3/489 11173 /proc/meminfo: memFree=21399960/32951124 swapFree=46575304/67111528 [pid=11171] ppid=11169 vsize=55956 CPUtime=51.08 cores=0,2,4,6 /proc/11171/stat : 11171 (wbo1.6) R 11169 11171 5006 0 -1 4202496 16017 0 0 0 5082 26 0 0 25 0 1 0 554033210 57298944 13569 33554432000 4194304 5714214 140734329174080 18446744073709551615 4319314 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11171/statm: 13989 13569 180 372 0 13614 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 55956 [startup+102.301 s] /proc/loadavg: 2.02 2.04 2.01 3/489 11175 /proc/meminfo: memFree=21351572/32951124 swapFree=46575304/67111528 [pid=11171] ppid=11169 vsize=91548 CPUtime=102.29 cores=0,2,4,6 /proc/11171/stat : 11171 (wbo1.6) R 11169 11171 5006 0 -1 4202496 24776 0 0 0 10186 43 0 0 25 0 1 0 554033210 93745152 22232 33554432000 4194304 5714214 140734329174080 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11171/statm: 22887 22232 180 372 0 22512 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 91548 [startup+162.301 s] /proc/loadavg: 2.01 2.03 2.00 3/489 11179 /proc/meminfo: memFree=21350112/32951124 swapFree=46575304/67111528 [pid=11171] ppid=11169 vsize=91548 CPUtime=162.29 cores=0,2,4,6 /proc/11171/stat : 11171 (wbo1.6) R 11169 11171 5006 0 -1 4202496 24812 0 0 0 16167 62 0 0 25 0 1 0 554033210 93745152 22268 33554432000 4194304 5714214 140734329174080 18446744073709551615 4319274 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11171/statm: 22887 22268 180 372 0 22512 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 91548 [startup+222.318 s] /proc/loadavg: 2.00 2.03 2.00 3/489 11181 /proc/meminfo: memFree=21303872/32951124 swapFree=46575304/67111528 [pid=11171] ppid=11169 vsize=105684 CPUtime=222.31 cores=0,2,4,6 /proc/11171/stat : 11171 (wbo1.6) R 11169 11171 5006 0 -1 4202496 28563 0 0 0 22155 76 0 0 25 0 1 0 554033210 108220416 26019 33554432000 4194304 5714214 140734329174080 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11171/statm: 26421 26019 180 372 0 26046 0 Current children cumulated CPU time (s) 222.31 Current children cumulated vsize (KiB) 105684 [startup+282.301 s] /proc/loadavg: 2.10 2.05 2.01 3/489 11183 /proc/meminfo: memFree=21274044/32951124 swapFree=46575304/67111528 [pid=11171] ppid=11169 vsize=106932 CPUtime=282.28 cores=0,2,4,6 /proc/11171/stat : 11171 (wbo1.6) R 11169 11171 5006 0 -1 4202496 28838 0 0 0 28129 99 0 0 25 0 1 0 554033210 109498368 26294 33554432000 4194304 5714214 140734329174080 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11171/statm: 26733 26294 180 372 0 26358 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 106932 [startup+342.301 s] /proc/loadavg: 2.08 2.05 2.01 3/489 11184 /proc/meminfo: memFree=21243604/32951124 swapFree=46575304/67111528 [pid=11171] ppid=11169 vsize=106932 CPUtime=342.29 cores=0,2,4,6 /proc/11171/stat : 11171 (wbo1.6) R 11169 11171 5006 0 -1 4202496 28947 0 0 0 34116 113 0 0 25 0 1 0 554033210 109498368 26403 33554432000 4194304 5714214 140734329174080 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11171/statm: 26733 26403 180 372 0 26358 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 106932 [startup+402.301 s] /proc/loadavg: 2.03 2.04 2.00 3/489 11186 /proc/meminfo: memFree=21195304/32951124 swapFree=46575304/67111528 [pid=11171] ppid=11169 vsize=124256 CPUtime=402.29 cores=0,2,4,6 /proc/11171/stat : 11171 (wbo1.6) R 11169 11171 5006 0 -1 4202496 33276 0 0 0 40104 125 0 0 25 0 1 0 554033210 127238144 30732 33554432000 4194304 5714214 140734329174080 18446744073709551615 4319397 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11171/statm: 31064 30732 180 372 0 30689 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 124256 [startup+462.301 s] /proc/loadavg: 2.01 2.03 2.00 3/489 11196 /proc/meminfo: memFree=21142484/32951124 swapFree=46575304/67111528 [pid=11171] ppid=11169 vsize=144928 CPUtime=462.29 cores=0,2,4,6 /proc/11171/stat : 11171 (wbo1.6) R 11169 11171 5006 0 -1 4202496 38284 0 0 0 46091 138 0 0 25 0 1 0 554033210 148406272 35740 33554432000 4194304 5714214 140734329174080 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11171/statm: 36232 35740 180 372 0 35857 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 144928 [startup+522.3 s] /proc/loadavg: 2.07 2.04 2.00 3/489 11198 /proc/meminfo: memFree=21083620/32951124 swapFree=46575304/67111528 [pid=11171] ppid=11169 vsize=178940 CPUtime=522.29 cores=0,2,4,6 /proc/11171/stat : 11171 (wbo1.6) R 11169 11171 5006 0 -1 4202496 46671 0 0 0 52076 153 0 0 25 0 1 0 554033210 183234560 44127 33554432000 4194304 5714214 140734329174080 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11171/statm: 44735 44127 180 372 0 44360 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 178940 [startup+582.301 s] /proc/loadavg: 2.09 2.04 2.00 3/489 11200 /proc/meminfo: memFree=21019104/32951124 swapFree=46575304/67111528 [pid=11171] ppid=11169 vsize=205160 CPUtime=582.3 cores=0,2,4,6 /proc/11171/stat : 11171 (wbo1.6) R 11169 11171 5006 0 -1 4202496 53109 0 0 0 58063 167 0 0 25 0 1 0 554033210 210083840 50565 33554432000 4194304 5714214 140734329174080 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11171/statm: 51290 50565 180 372 0 50915 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 205160 [startup+642.3 s] ################ # More data... # ################ [startup+882.318 s] /proc/loadavg: 2.12 2.05 2.01 3/489 11208 /proc/meminfo: memFree=20750160/32951124 swapFree=46575304/67111528 [pid=11171] ppid=11169 vsize=307028 CPUtime=882.32 cores=0,2,4,6 /proc/11171/stat : 11171 (wbo1.6) R 11169 11171 5006 0 -1 4202496 77916 0 0 0 87995 237 0 0 25 0 1 0 554033210 314396672 75372 33554432000 4194304 5714214 140734329174080 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11171/statm: 76757 75372 180 372 0 76382 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 307028 [startup+942.3 s] /proc/loadavg: 2.04 2.04 2.00 3/489 11209 /proc/meminfo: memFree=20731008/32951124 swapFree=46575304/67111528 [pid=11171] ppid=11169 vsize=325216 CPUtime=942.31 cores=0,2,4,6 /proc/11171/stat : 11171 (wbo1.6) R 11169 11171 5006 0 -1 4202496 82338 0 0 0 93980 251 0 0 25 0 1 0 554033210 333021184 79794 33554432000 4194304 5714214 140734329174080 18446744073709551615 4319964 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11171/statm: 81304 79794 180 372 0 80929 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 325216 [startup+1002.3 s] /proc/loadavg: 2.01 2.03 2.00 3/489 11211 /proc/meminfo: memFree=20697096/32951124 swapFree=46575304/67111528 [pid=11171] ppid=11169 vsize=359548 CPUtime=1002.31 cores=0,2,4,6 /proc/11171/stat : 11171 (wbo1.6) R 11169 11171 5006 0 -1 4202496 90791 0 0 0 99959 272 0 0 25 0 1 0 554033210 368177152 88247 33554432000 4194304 5714214 140734329174080 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11171/statm: 89887 88247 180 372 0 89512 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 359548 [startup+1062.3 s] /proc/loadavg: 2.00 2.02 2.00 3/489 11212 /proc/meminfo: memFree=20674836/32951124 swapFree=46575304/67111528 [pid=11171] ppid=11169 vsize=381660 CPUtime=1062.31 cores=0,2,4,6 /proc/11171/stat : 11171 (wbo1.6) R 11169 11171 5006 0 -1 4202496 96271 0 0 0 105943 288 0 0 25 0 1 0 554033210 390819840 93727 33554432000 4194304 5714214 140734329174080 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11171/statm: 95415 93727 180 372 0 95040 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 381660 [startup+1122.3 s] /proc/loadavg: 2.00 2.02 2.00 3/489 11214 /proc/meminfo: memFree=20628292/32951124 swapFree=46575304/67111528 [pid=11171] ppid=11169 vsize=427240 CPUtime=1122.3 cores=0,2,4,6 /proc/11171/stat : 11171 (wbo1.6) R 11169 11171 5006 0 -1 4202496 107821 0 0 0 111925 305 0 0 25 0 1 0 554033210 437493760 105123 33554432000 4194304 5714214 140734329174080 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11171/statm: 106810 105123 180 372 0 106435 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 427240 [startup+1182.3 s] /proc/loadavg: 2.06 2.04 2.01 3/489 11216 /proc/meminfo: memFree=20627516/32951124 swapFree=46575304/67111528 [pid=11171] ppid=11169 vsize=427240 CPUtime=1182.31 cores=0,2,4,6 /proc/11171/stat : 11171 (wbo1.6) R 11169 11171 5006 0 -1 4202496 107837 0 0 0 117904 327 0 0 25 0 1 0 554033210 437493760 105139 33554432000 4194304 5714214 140734329174080 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11171/statm: 106810 105139 180 372 0 106435 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 427240 [startup+1242.3 s] /proc/loadavg: 2.02 2.03 2.00 3/489 11217 /proc/meminfo: memFree=20626352/32951124 swapFree=46575304/67111528 [pid=11171] ppid=11169 vsize=427240 CPUtime=1242.3 cores=0,2,4,6 /proc/11171/stat : 11171 (wbo1.6) R 11169 11171 5006 0 -1 4202496 107882 0 0 0 123889 341 0 0 25 0 1 0 554033210 437493760 105184 33554432000 4194304 5714214 140734329174080 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11171/statm: 106810 105184 180 372 0 106435 0 Current children cumulated CPU time (s) 1242.3 Current children cumulated vsize (KiB) 427240 [startup+1302.3 s] /proc/loadavg: 2.01 2.02 2.00 3/489 11219 /proc/meminfo: memFree=20625060/32951124 swapFree=46575304/67111528 [pid=11171] ppid=11169 vsize=427240 CPUtime=1302.31 cores=0,2,4,6 /proc/11171/stat : 11171 (wbo1.6) R 11169 11171 5006 0 -1 4202496 108124 0 0 0 129875 356 0 0 25 0 1 0 554033210 437493760 105426 33554432000 4194304 5714214 140734329174080 18446744073709551615 4319240 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11171/statm: 106810 105426 180 372 0 106435 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 427240 [startup+1362.3 s] /proc/loadavg: 2.00 2.02 2.00 3/489 11220 /proc/meminfo: memFree=20624756/32951124 swapFree=46575304/67111528 [pid=11171] ppid=11169 vsize=427240 CPUtime=1362.31 cores=0,2,4,6 /proc/11171/stat : 11171 (wbo1.6) R 11169 11171 5006 0 -1 4202496 108277 0 0 0 135862 369 0 0 25 0 1 0 554033210 437493760 105579 33554432000 4194304 5714214 140734329174080 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11171/statm: 106810 105579 180 372 0 106435 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 427240 [startup+1422.3 s] /proc/loadavg: 2.07 2.04 2.01 3/489 11222 /proc/meminfo: memFree=20624220/32951124 swapFree=46575304/67111528 [pid=11171] ppid=11169 vsize=427240 CPUtime=1422.32 cores=0,2,4,6 /proc/11171/stat : 11171 (wbo1.6) R 11169 11171 5006 0 -1 4202496 108525 0 0 0 141848 384 0 0 25 0 1 0 554033210 437493760 105827 33554432000 4194304 5714214 140734329174080 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11171/statm: 106810 105827 180 372 0 106435 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 427240 [startup+1482.3 s] /proc/loadavg: 2.06 2.04 2.01 3/489 11224 /proc/meminfo: memFree=20623176/32951124 swapFree=46575304/67111528 [pid=11171] ppid=11169 vsize=427240 CPUtime=1482.32 cores=0,2,4,6 /proc/11171/stat : 11171 (wbo1.6) R 11169 11171 5006 0 -1 4202496 108557 0 0 0 147835 397 0 0 25 0 1 0 554033210 437493760 105859 33554432000 4194304 5714214 140734329174080 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11171/statm: 106810 105859 180 372 0 106435 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 427240 [startup+1542.32 s] /proc/loadavg: 2.02 2.03 2.00 3/489 11225 /proc/meminfo: memFree=20622740/32951124 swapFree=46575304/67111528 [pid=11171] ppid=11169 vsize=427240 CPUtime=1542.33 cores=0,2,4,6 /proc/11171/stat : 11171 (wbo1.6) R 11169 11171 5006 0 -1 4202496 108772 0 0 0 153824 409 0 0 25 0 1 0 554033210 437493760 106074 33554432000 4194304 5714214 140734329174080 18446744073709551615 4300287 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11171/statm: 106810 106074 180 372 0 106435 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 427240 [startup+1602.3 s] /proc/loadavg: 2.01 2.02 2.00 3/489 11227 /proc/meminfo: memFree=20622068/32951124 swapFree=46575304/67111528 [pid=11171] ppid=11169 vsize=427240 CPUtime=1602.32 cores=0,2,4,6 /proc/11171/stat : 11171 (wbo1.6) R 11169 11171 5006 0 -1 4202496 108861 0 0 0 159811 421 0 0 25 0 1 0 554033210 437493760 106163 33554432000 4194304 5714214 140734329174080 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11171/statm: 106810 106163 180 372 0 106435 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 427240 [startup+1662.3 s] /proc/loadavg: 2.00 2.02 2.00 3/489 11228 /proc/meminfo: memFree=20622156/32951124 swapFree=46575304/67111528 [pid=11171] ppid=11169 vsize=427240 CPUtime=1662.32 cores=0,2,4,6 /proc/11171/stat : 11171 (wbo1.6) R 11169 11171 5006 0 -1 4202496 108897 0 0 0 165801 431 0 0 25 0 1 0 554033210 437493760 106199 33554432000 4194304 5714214 140734329174080 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11171/statm: 106810 106199 180 372 0 106435 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 427240 [startup+1722.3 s] /proc/loadavg: 2.04 2.03 2.00 3/489 11230 /proc/meminfo: memFree=20621376/32951124 swapFree=46575304/67111528 [pid=11171] ppid=11169 vsize=427240 CPUtime=1722.32 cores=0,2,4,6 /proc/11171/stat : 11171 (wbo1.6) R 11169 11171 5006 0 -1 4202496 108920 0 0 0 171788 444 0 0 25 0 1 0 554033210 437493760 106222 33554432000 4194304 5714214 140734329174080 18446744073709551615 4319332 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11171/statm: 106810 106222 180 372 0 106435 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 427240 [startup+1782.3 s] /proc/loadavg: 2.06 2.03 2.00 3/489 11232 /proc/meminfo: memFree=20618620/32951124 swapFree=46575304/67111528 [pid=11171] ppid=11169 vsize=427240 CPUtime=1782.32 cores=0,2,4,6 /proc/11171/stat : 11171 (wbo1.6) R 11169 11171 5006 0 -1 4202496 109019 0 0 0 177773 459 0 0 25 0 1 0 554033210 437493760 106321 33554432000 4194304 5714214 140734329174080 18446744073709551615 4319355 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11171/statm: 106810 106321 180 372 0 106435 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 427240 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.04 2.03 2.00 2/487 11233 /proc/meminfo: memFree=21095384/32951124 swapFree=46575304/67111528 [pid=11171] ppid=11169 vsize=427240 CPUtime=1800.03 cores=0,2,4,6 /proc/11171/stat : 11171 (wbo1.6) R 11169 11171 5006 0 -1 4202496 109019 0 0 0 179541 462 0 0 25 0 1 0 554033210 437493760 106321 33554432000 4194304 5714214 140734329174080 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11171/statm: 106810 106321 180 372 0 106435 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 427240 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800 s] /proc/loadavg: 2.04 2.03 2.00 2/487 11233 /proc/meminfo: memFree=21095384/32951124 swapFree=46575304/67111528 [pid=11171] ppid=11169 vsize=427240 CPUtime=1800.03 cores=0,2,4,6 /proc/11171/stat : 11171 (wbo1.6) R 11169 11171 5006 0 -1 4202496 109019 0 0 0 179541 462 0 0 25 0 1 0 554033210 437493760 106321 33554432000 4194304 5714214 140734329174080 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11171/statm: 106810 106321 180 372 0 106435 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 427240 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.04 CPU time (s): 1800.07 CPU user time (s): 1795.42 CPU system time (s): 4.64429 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 427964 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.42 system time used= 4.64429 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 109019 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= 14 involuntary context switches= 24099 runsolver used 9.05862 second user time and 18.9591 second system time The end
Begin job on node107 at 2011-06-03 12:53:39 IDJOB=3460952 IDBENCH=2273 IDSOLVER=1953 FILE ID=node107/3460952-1307098419 RUNJOBID= node107-1307093011-10827 PBS_JOBID= 13497967 Free space on /tmp= 73860 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-1.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460952-1307098419/watcher-3460952-1307098419 -o /tmp/evaluation-result-3460952-1307098419/solver-3460952-1307098419 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460952-1307098419.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 366c883f3118f840e595e8bbe10351c8 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: 21518936 kB Buffers: 308660 kB Cached: 2061032 kB SwapCached: 22548 kB Active: 9131764 kB Inactive: 1951040 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 21518936 kB SwapTotal: 67111528 kB SwapFree: 46575304 kB Dirty: 10040 kB Writeback: 20 kB AnonPages: 8707728 kB Mapped: 33496 kB Slab: 185756 kB PageTables: 94912 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 145105712 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= 73856 MiB End job on node107 at 2011-06-03 13:23:42