Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 1030.98 | 1031.28 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8d1.opb |
MD5SUM | e79c956fa387b090702a2dffba5fa8e9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 343 |
Best CPU time to get the best result obtained on this benchmark | 770.979 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 343 |
Optimality of the best value was proved | NO |
Number of variables | 1060 |
Total number of constraints | 3737 |
Number of constraints which are clauses | 3737 |
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 | 10 |
Number of terms in the objective function | 1060 |
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 | 1060 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1060 |
Number of bits of the biggest sum of numbers | 11 |
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.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680662-1277453516.opb. 0.00/0.00 c Instance file HOME/instance-2680662-1277453516.opb 0.00/0.00 c File size is 102543 bytes. 0.00/0.01 c Highest Coefficient sum: 11 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.02 s | 0.00/0.01 c | Number Variables: 1060 | 0.00/0.01 c | Number Clauses: 3737 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 0 | 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 1060 3737 8550 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 445 0.00/0.03 o 445 0.00/0.03 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 11 | 1060 3738 9610 | 5000 11 10 | 0.000 % | 0.00/0.05 c | 112 | 1060 3738 9610 | 5500 112 302 | 0.000 % | 0.07/0.07 c | 262 | 1060 3738 9610 | 6050 262 390 | 0.003 % | 0.07/0.07 c =============================================================================== 0.07/0.07 c New solution: 442 0.07/0.07 o 442 0.07/0.07 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s 0.07/0.07 c =============================================================================== 0.07/0.07 c | 262 | 1060 3739 10670 | 5000 262 390 | 0.003 % | 0.07/0.07 c =============================================================================== 0.07/0.07 c New solution: 431 0.07/0.07 o 431 0.07/0.07 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s 0.07/0.07 c =============================================================================== 0.07/0.07 c | 262 | 1060 3740 11730 | 5000 262 390 | 0.003 % | 0.07/0.09 c | 363 | 1060 3740 11730 | 5500 363 403 | 0.000 % | 0.09/0.11 c | 513 | 1060 3740 11730 | 6050 513 414 | 0.002 % | 0.09/0.15 c | 738 | 1060 3740 11730 | 6655 738 418 | 0.002 % | 0.19/0.21 c | 1076 | 1060 3740 11730 | 7320 1076 416 | 0.002 % | 0.29/0.30 c | 1582 | 1060 3740 11730 | 8052 1582 423 | 0.002 % | 0.39/0.44 c | 2342 | 1060 3740 11730 | 8857 2342 430 | 0.002 % | 0.59/0.64 c | 3482 | 1060 3740 11730 | 9743 3482 433 | 0.000 % | 0.89/0.98 c | 5191 | 1060 3740 11730 | 10717 5191 436 | 0.003 % | 1.49/1.50 c | 7753 | 1060 3740 11730 | 11789 7753 437 | 0.000 % | 2.39/2.48 c | 11597 | 1060 3740 11730 | 12968 11597 440 | 0.000 % | 3.99/4.02 c | 17365 | 1060 3740 11730 | 14265 10377 444 | 0.000 % | 5.89/5.97 c | 26014 | 1060 3740 11730 | 15692 11424 443 | 0.000 % | 9.59/9.67 c | 38989 | 1060 3740 11730 | 17261 16061 444 | 0.000 % | 14.29/14.37 c | 58450 | 1060 3740 11730 | 18987 17343 439 | 0.000 % | 26.29/26.31 c | 87643 | 1060 3740 11730 | 20886 16615 444 | 0.000 % | 40.58/40.60 c | 131432 | 1060 3740 11730 | 22974 16357 441 | 0.000 % | 67.27/67.36 c | 197117 | 1060 3740 11730 | 25272 16363 444 | 0.002 % | 99.96/100.09 c | 295643 | 1060 3740 11730 | 27799 22995 441 | 0.000 % | 141.75/141.87 c | 443433 | 1060 3740 11730 | 30579 11455 442 | 0.000 % | 182.33/182.44 c There are 0 assigned variables. 0 in cost function. 183.33/183.46 c core #1 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 1 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #2 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 2 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #3 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 3 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #4 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 4 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #5 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 5 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #6 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 6 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #7 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 7 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #8 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 8 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #9 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 9 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #10 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 10 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #11 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 11 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #12 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 12 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #13 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 13 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #14 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 14 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #15 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 15 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #16 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 16 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #17 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 17 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #18 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 18 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #19 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 19 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #20 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 20 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #21 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 21 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #22 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 22 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #23 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 23 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #24 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 24 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #25 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 25 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #26 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 26 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #27 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 27 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #28 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 28 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #29 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 29 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #30 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 30 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #31 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 31 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #32 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 32 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #33 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 33 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #34 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 34 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #35 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 35 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #36 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 36 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #37 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 37 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #38 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 38 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #39 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 39 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #40 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 40 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #41 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 41 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #42 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 42 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #43 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 43 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #44 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 44 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #45 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 45 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #46 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 46 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #47 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 47 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #48 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 48 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #49 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 49 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #50 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 50 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #51 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 51 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #52 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 52 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #53 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 53 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #54 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 54 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #55 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 55 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #56 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 56 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #57 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 57 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #58 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 58 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #59 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 59 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #60 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 60 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c core #61 183.33/183.46 c 183.33/183.46 c 183.33/183.46 c Core size: 3 Core Weight: 1 Total Weight: 61 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #62 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 3 Core Weight: 1 Total Weight: 62 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #63 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 3 Core Weight: 1 Total Weight: 63 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #64 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 3 Core Weight: 1 Total Weight: 64 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #65 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 3 Core Weight: 1 Total Weight: 65 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #66 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 3 Core Weight: 1 Total Weight: 66 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #67 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 3 Core Weight: 1 Total Weight: 67 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #68 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 3 Core Weight: 1 Total Weight: 68 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #69 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 3 Core Weight: 1 Total Weight: 69 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #70 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 3 Core Weight: 1 Total Weight: 70 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #71 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 3 Core Weight: 1 Total Weight: 71 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #72 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 3 Core Weight: 1 Total Weight: 72 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #73 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 3 Core Weight: 1 Total Weight: 73 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #74 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 3 Core Weight: 1 Total Weight: 74 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #75 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 3 Core Weight: 1 Total Weight: 75 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #76 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 3 Core Weight: 1 Total Weight: 76 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #77 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 3 Core Weight: 1 Total Weight: 77 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #78 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 3 Core Weight: 1 Total Weight: 78 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #79 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 3 Core Weight: 1 Total Weight: 79 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #80 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 3 Core Weight: 1 Total Weight: 80 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #81 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 9 Core Weight: 1 Total Weight: 81 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #82 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 9 Core Weight: 1 Total Weight: 82 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #83 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 9 Core Weight: 1 Total Weight: 83 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #84 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 9 Core Weight: 1 Total Weight: 84 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #85 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 9 Core Weight: 1 Total Weight: 85 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #86 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 9 Core Weight: 1 Total Weight: 86 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #87 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 9 Core Weight: 1 Total Weight: 87 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #88 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 9 Core Weight: 1 Total Weight: 88 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #89 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 9 Core Weight: 1 Total Weight: 89 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #90 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 9 Core Weight: 1 Total Weight: 90 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #91 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 11 Core Weight: 1 Total Weight: 91 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #92 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 11 Core Weight: 1 Total Weight: 92 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #93 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 11 Core Weight: 1 Total Weight: 93 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #94 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 11 Core Weight: 1 Total Weight: 94 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #95 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 11 Core Weight: 1 Total Weight: 95 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #96 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 11 Core Weight: 1 Total Weight: 96 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #97 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 11 Core Weight: 1 Total Weight: 97 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #98 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 11 Core Weight: 1 Total Weight: 98 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #99 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 11 Core Weight: 1 Total Weight: 99 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #100 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 11 Core Weight: 1 Total Weight: 100 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #101 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 11 Core Weight: 1 Total Weight: 101 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #102 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 11 Core Weight: 1 Total Weight: 102 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #103 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 11 Core Weight: 1 Total Weight: 103 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #104 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 11 Core Weight: 1 Total Weight: 104 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #105 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 11 Core Weight: 1 Total Weight: 105 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #106 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 11 Core Weight: 1 Total Weight: 106 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #107 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 11 Core Weight: 1 Total Weight: 107 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #108 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 11 Core Weight: 1 Total Weight: 108 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #109 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 11 Core Weight: 1 Total Weight: 109 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #110 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 11 Core Weight: 1 Total Weight: 110 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #111 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 11 Core Weight: 1 Total Weight: 111 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #112 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 11 Core Weight: 1 Total Weight: 112 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #113 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 11 Core Weight: 1 Total Weight: 113 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #114 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 11 Core Weight: 1 Total Weight: 114 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #115 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 11 Core Weight: 1 Total Weight: 115 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #116 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 11 Core Weight: 1 Total Weight: 116 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #117 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 11 Core Weight: 1 Total Weight: 117 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #118 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 11 Core Weight: 1 Total Weight: 118 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #119 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 11 Core Weight: 1 Total Weight: 119 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c core #120 183.73/183.89 c 183.73/183.89 c 183.73/183.89 c Core size: 11 Core Weight: 1 Total Weight: 120 184.34/184.43 c 184.34/184.43 c 184.34/184.43 c core #121 184.34/184.43 c 184.34/184.43 c 184.34/184.43 c Core size: 11 Core Weight: 1 Total Weight: 121 184.34/184.43 c 184.34/184.43 c 184.34/184.43 c core #122 184.34/184.43 c 184.34/184.43 c 184.34/184.43 c Core size: 11 Core Weight: 1 Total Weight: 122 184.34/184.43 c 184.34/184.43 c 184.34/184.43 c core #123 184.34/184.43 c 184.34/184.43 c 184.34/184.43 c Core size: 11 Core Weight: 1 Total Weight: 123 184.34/184.43 c 184.34/184.43 c 184.34/184.43 c core #124 184.34/184.43 c 184.34/184.43 c 184.34/184.43 c Core size: 11 Core Weight: 1 Total Weight: 124 184.34/184.43 c 184.34/184.43 c 184.34/184.43 c core #125 184.34/184.43 c 184.34/184.43 c 184.34/184.43 c Core size: 11 Core Weight: 1 Total Weight: 125 184.34/184.43 c 184.34/184.43 c 184.34/184.43 c core #126 184.34/184.43 c 184.34/184.43 c 184.34/184.43 c Core size: 11 Core Weight: 1 Total Weight: 126 184.34/184.43 c 184.34/184.43 c 184.34/184.43 c core #127 184.34/184.43 c 184.34/184.43 c 184.34/184.43 c Core size: 11 Core Weight: 1 Total Weight: 127 184.34/184.43 c 184.34/184.43 c 184.34/184.43 c core #128 184.34/184.43 c 184.34/184.43 c 184.34/184.43 c Core size: 12 Core Weight: 1 Total Weight: 128 184.34/184.43 c 184.34/184.43 c 184.34/184.43 c core #129 184.34/184.43 c 184.34/184.43 c 184.34/184.43 c Core size: 22 Core Weight: 1 Total Weight: 129 184.34/184.43 c 184.34/184.43 c 184.34/184.43 c core #130 184.34/184.43 c 184.34/184.43 c 184.34/184.43 c Core size: 20 Core Weight: 1 Total Weight: 130 184.34/184.43 c 184.34/184.43 c 184.34/184.43 c core #131 184.34/184.43 c 184.34/184.43 c 184.34/184.43 c Core size: 21 Core Weight: 1 Total Weight: 131 184.34/184.43 c 184.34/184.43 c 184.34/184.43 c core #132 184.34/184.43 c 184.34/184.43 c 184.34/184.43 c Core size: 21 Core Weight: 1 Total Weight: 132 184.34/184.43 c 184.34/184.43 c 184.34/184.43 c core #133 184.34/184.43 c 184.34/184.43 c 184.34/184.43 c Core size: 20 Core Weight: 1 Total Weight: 133 184.34/184.43 c 184.34/184.43 c 184.34/184.43 c core #134 184.34/184.43 c 184.34/184.43 c 184.34/184.43 c Core size: 20 Core Weight: 1 Total Weight: 134 184.34/184.43 c 184.34/184.43 c 184.34/184.43 c core #135 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 22 Core Weight: 1 Total Weight: 135 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #136 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 21 Core Weight: 1 Total Weight: 136 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #137 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 12 Core Weight: 1 Total Weight: 137 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #138 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 22 Core Weight: 1 Total Weight: 138 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #139 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 20 Core Weight: 1 Total Weight: 139 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #140 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 21 Core Weight: 1 Total Weight: 140 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #141 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 21 Core Weight: 1 Total Weight: 141 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #142 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 20 Core Weight: 1 Total Weight: 142 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #143 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 20 Core Weight: 1 Total Weight: 143 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #144 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 22 Core Weight: 1 Total Weight: 144 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #145 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 21 Core Weight: 1 Total Weight: 145 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #146 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 12 Core Weight: 1 Total Weight: 146 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #147 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 22 Core Weight: 1 Total Weight: 147 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #148 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 20 Core Weight: 1 Total Weight: 148 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #149 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 21 Core Weight: 1 Total Weight: 149 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #150 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 21 Core Weight: 1 Total Weight: 150 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #151 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 20 Core Weight: 1 Total Weight: 151 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #152 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 20 Core Weight: 1 Total Weight: 152 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #153 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 22 Core Weight: 1 Total Weight: 153 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #154 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 21 Core Weight: 1 Total Weight: 154 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #155 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 12 Core Weight: 1 Total Weight: 155 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #156 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 22 Core Weight: 1 Total Weight: 156 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #157 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 20 Core Weight: 1 Total Weight: 157 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #158 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 21 Core Weight: 1 Total Weight: 158 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #159 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 21 Core Weight: 1 Total Weight: 159 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #160 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 20 Core Weight: 1 Total Weight: 160 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #161 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 20 Core Weight: 1 Total Weight: 161 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #162 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 22 Core Weight: 1 Total Weight: 162 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #163 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 21 Core Weight: 1 Total Weight: 163 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #164 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 12 Core Weight: 1 Total Weight: 164 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #165 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 22 Core Weight: 1 Total Weight: 165 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #166 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 20 Core Weight: 1 Total Weight: 166 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #167 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 21 Core Weight: 1 Total Weight: 167 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #168 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 21 Core Weight: 1 Total Weight: 168 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #169 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 20 Core Weight: 1 Total Weight: 169 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #170 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 20 Core Weight: 1 Total Weight: 170 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #171 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 22 Core Weight: 1 Total Weight: 171 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #172 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 21 Core Weight: 1 Total Weight: 172 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #173 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 12 Core Weight: 1 Total Weight: 173 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #174 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 22 Core Weight: 1 Total Weight: 174 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #175 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 20 Core Weight: 1 Total Weight: 175 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #176 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 21 Core Weight: 1 Total Weight: 176 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #177 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 21 Core Weight: 1 Total Weight: 177 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c core #178 184.34/184.44 c 184.34/184.44 c 184.34/184.44 c Core size: 20 Core Weight: 1 Total Weight: 178 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #179 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 20 Core Weight: 1 Total Weight: 179 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #180 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 22 Core Weight: 1 Total Weight: 180 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #181 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 21 Core Weight: 1 Total Weight: 181 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #182 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 12 Core Weight: 1 Total Weight: 182 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #183 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 22 Core Weight: 1 Total Weight: 183 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #184 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 20 Core Weight: 1 Total Weight: 184 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #185 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 21 Core Weight: 1 Total Weight: 185 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #186 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 21 Core Weight: 1 Total Weight: 186 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #187 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 20 Core Weight: 1 Total Weight: 187 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #188 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 20 Core Weight: 1 Total Weight: 188 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #189 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 22 Core Weight: 1 Total Weight: 189 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #190 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 21 Core Weight: 1 Total Weight: 190 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #191 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 12 Core Weight: 1 Total Weight: 191 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #192 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 22 Core Weight: 1 Total Weight: 192 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #193 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 20 Core Weight: 1 Total Weight: 193 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #194 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 21 Core Weight: 1 Total Weight: 194 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #195 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 21 Core Weight: 1 Total Weight: 195 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #196 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 20 Core Weight: 1 Total Weight: 196 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #197 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 20 Core Weight: 1 Total Weight: 197 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #198 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 22 Core Weight: 1 Total Weight: 198 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #199 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 21 Core Weight: 1 Total Weight: 199 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #200 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 12 Core Weight: 1 Total Weight: 200 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #201 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 22 Core Weight: 1 Total Weight: 201 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #202 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 20 Core Weight: 1 Total Weight: 202 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #203 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 21 Core Weight: 1 Total Weight: 203 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #204 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 21 Core Weight: 1 Total Weight: 204 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #205 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 20 Core Weight: 1 Total Weight: 205 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #206 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 20 Core Weight: 1 Total Weight: 206 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #207 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 22 Core Weight: 1 Total Weight: 207 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #208 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 21 Core Weight: 1 Total Weight: 208 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #209 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 12 Core Weight: 1 Total Weight: 209 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #210 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 22 Core Weight: 1 Total Weight: 210 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #211 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 20 Core Weight: 1 Total Weight: 211 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #212 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 21 Core Weight: 1 Total Weight: 212 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #213 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 21 Core Weight: 1 Total Weight: 213 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #214 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 20 Core Weight: 1 Total Weight: 214 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #215 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 20 Core Weight: 1 Total Weight: 215 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #216 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 22 Core Weight: 1 Total Weight: 216 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #217 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 21 Core Weight: 1 Total Weight: 217 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #218 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 211 Core Weight: 1 Total Weight: 218 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #219 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 7 Core Weight: 1 Total Weight: 219 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #220 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 7 Core Weight: 1 Total Weight: 220 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #221 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 7 Core Weight: 1 Total Weight: 221 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #222 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 7 Core Weight: 1 Total Weight: 222 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #223 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 7 Core Weight: 1 Total Weight: 223 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #224 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 7 Core Weight: 1 Total Weight: 224 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #225 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 7 Core Weight: 1 Total Weight: 225 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #226 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 7 Core Weight: 1 Total Weight: 226 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #227 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 7 Core Weight: 1 Total Weight: 227 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c core #228 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 7 Core Weight: 1 Total Weight: 228 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c ============================[ Search Statistics ]============================== 184.94/185.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.94/185.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.94/185.06 c =============================================================================== 184.94/185.06 c | 0 | 2100 5033 14860 | 5000 0 nan | 0.000 % | 184.94/185.06 c =============================================================================== 184.94/185.07 c core #229 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c Core size: 15 Core Weight: 1 Total Weight: 229 184.94/185.07 c 184.94/185.07 c 184.94/185.07 c ============================[ Search Statistics ]============================== 184.94/185.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.94/185.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.94/185.07 c =============================================================================== 184.94/185.07 c | 0 | 2111 5034 14882 | 5000 0 nan | 0.000 % | 184.94/185.08 c =============================================================================== 184.94/185.09 c core #230 184.94/185.09 c 184.94/185.09 c 184.94/185.09 c Core size: 28 Core Weight: 1 Total Weight: 230 184.94/185.09 c 184.94/185.09 c 184.94/185.09 c ============================[ Search Statistics ]============================== 184.94/185.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.94/185.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.94/185.09 c =============================================================================== 184.94/185.09 c | 0 | 2121 5035 14902 | 5000 0 nan | 0.000 % | 184.94/185.09 c =============================================================================== 185.04/185.11 c core #231 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c Core size: 10 Core Weight: 1 Total Weight: 231 185.04/185.11 c 185.04/185.11 c 185.04/185.11 c ============================[ Search Statistics ]============================== 185.04/185.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.04/185.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.04/185.11 c =============================================================================== 185.04/185.11 c | 0 | 2127 5036 14914 | 5000 0 nan | 0.000 % | 185.04/185.11 c =============================================================================== 185.04/185.12 c core #232 185.04/185.12 c 185.04/185.12 c 185.04/185.12 c Core size: 16 Core Weight: 1 Total Weight: 232 185.04/185.12 c 185.04/185.12 c 185.04/185.12 c ============================[ Search Statistics ]============================== 185.04/185.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.04/185.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.04/185.12 c =============================================================================== 185.04/185.12 c | 0 | 2136 5037 14932 | 5000 0 nan | 0.000 % | 185.04/185.13 c =============================================================================== 185.04/185.14 c core #233 185.04/185.14 c 185.04/185.14 c 185.04/185.14 c Core size: 30 Core Weight: 1 Total Weight: 233 185.04/185.14 c 185.04/185.14 c 185.04/185.14 c ============================[ Search Statistics ]============================== 185.04/185.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.04/185.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.04/185.14 c =============================================================================== 185.04/185.14 c | 0 | 2148 5039 14959 | 5000 0 nan | 0.000 % | 185.04/185.14 c =============================================================================== 185.04/185.16 c core #234 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 41 Core Weight: 1 Total Weight: 234 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c ============================[ Search Statistics ]============================== 185.04/185.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.04/185.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.04/185.16 c =============================================================================== 185.04/185.16 c | 0 | 2165 5040 14993 | 5000 0 nan | 0.000 % | 185.04/185.16 c =============================================================================== 185.04/185.17 c core #235 185.04/185.17 c 185.04/185.17 c 185.04/185.17 c Core size: 12 Core Weight: 1 Total Weight: 235 185.04/185.17 c 185.04/185.17 c 185.04/185.17 c ============================[ Search Statistics ]============================== 185.04/185.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.04/185.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.04/185.17 c =============================================================================== 185.04/185.17 c | 0 | 2172 5041 15007 | 5000 0 nan | 0.000 % | 185.04/185.18 c =============================================================================== 185.04/185.19 c core #236 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c Core size: 15 Core Weight: 1 Total Weight: 236 185.04/185.19 c 185.04/185.19 c 185.04/185.19 c ============================[ Search Statistics ]============================== 185.04/185.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.04/185.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.04/185.19 c =============================================================================== 185.04/185.19 c | 0 | 2183 5042 15029 | 5000 0 nan | 0.000 % | 185.14/185.20 c =============================================================================== 185.14/185.21 c core #237 185.14/185.21 c 185.14/185.21 c 185.14/185.21 c Core size: 10 Core Weight: 1 Total Weight: 237 185.14/185.21 c 185.14/185.21 c 185.14/185.21 c ============================[ Search Statistics ]============================== 185.14/185.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.14/185.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.14/185.21 c =============================================================================== 185.14/185.21 c | 0 | 2189 5043 15041 | 5000 0 nan | 0.000 % | 185.14/185.22 c =============================================================================== 185.14/185.23 c core #238 185.14/185.23 c 185.14/185.23 c 185.14/185.23 c Core size: 12 Core Weight: 1 Total Weight: 238 185.14/185.23 c 185.14/185.23 c 185.14/185.23 c ============================[ Search Statistics ]============================== 185.14/185.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.14/185.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.14/185.23 c =============================================================================== 185.14/185.23 c | 0 | 2196 5044 15055 | 5000 0 nan | 0.000 % | 185.14/185.23 c =============================================================================== 185.14/185.24 c core #239 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c Core size: 12 Core Weight: 1 Total Weight: 239 185.14/185.24 c 185.14/185.24 c 185.14/185.24 c ============================[ Search Statistics ]============================== 185.14/185.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.14/185.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.14/185.24 c =============================================================================== 185.14/185.24 c | 0 | 2203 5045 15069 | 5000 0 nan | 0.000 % | 185.14/185.25 c =============================================================================== 185.14/185.26 c core #240 185.14/185.26 c 185.14/185.26 c 185.14/185.26 c Core size: 10 Core Weight: 1 Total Weight: 240 185.14/185.26 c 185.14/185.26 c 185.14/185.26 c ============================[ Search Statistics ]============================== 185.14/185.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.14/185.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.14/185.26 c =============================================================================== 185.14/185.26 c | 0 | 2209 5046 15081 | 5000 0 nan | 0.000 % | 185.14/185.27 c =============================================================================== 185.14/185.28 c core #241 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c Core size: 12 Core Weight: 1 Total Weight: 241 185.14/185.28 c 185.14/185.28 c 185.14/185.28 c ============================[ Search Statistics ]============================== 185.14/185.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.14/185.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.14/185.28 c =============================================================================== 185.14/185.28 c | 0 | 2216 5047 15095 | 5000 0 nan | 0.000 % | 185.14/185.29 c =============================================================================== 185.24/185.30 c core #242 185.24/185.30 c 185.24/185.30 c 185.24/185.30 c Core size: 10 Core Weight: 1 Total Weight: 242 185.24/185.30 c 185.24/185.30 c 185.24/185.30 c ============================[ Search Statistics ]============================== 185.24/185.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.24/185.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.24/185.30 c =============================================================================== 185.24/185.30 c | 0 | 2222 5048 15107 | 5000 0 nan | 0.000 % | 185.24/185.30 c =============================================================================== 185.24/185.32 c core #243 185.24/185.32 c 185.24/185.32 c 185.24/185.32 c Core size: 10 Core Weight: 1 Total Weight: 243 185.24/185.32 c 185.24/185.32 c 185.24/185.32 c ============================[ Search Statistics ]============================== 185.24/185.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.24/185.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.24/185.32 c =============================================================================== 185.24/185.32 c | 0 | 2228 5049 15119 | 5000 0 nan | 0.000 % | 185.24/185.32 c =============================================================================== 185.24/185.34 c core #244 185.24/185.34 c 185.24/185.34 c 185.24/185.34 c Core size: 12 Core Weight: 1 Total Weight: 244 185.24/185.34 c 185.24/185.34 c 185.24/185.34 c ============================[ Search Statistics ]============================== 185.24/185.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.24/185.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.24/185.34 c =============================================================================== 185.24/185.34 c | 0 | 2235 5050 15133 | 5000 0 nan | 0.000 % | 185.24/185.34 c =============================================================================== 185.24/185.35 c core #245 185.24/185.35 c 185.24/185.35 c 185.24/185.35 c Core size: 12 Core Weight: 1 Total Weight: 245 185.24/185.35 c 185.24/185.35 c 185.24/185.35 c ============================[ Search Statistics ]============================== 185.24/185.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.24/185.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.24/185.35 c =============================================================================== 185.24/185.35 c | 0 | 2242 5051 15147 | 5000 0 nan | 0.000 % | 185.24/185.36 c =============================================================================== 185.24/185.37 c core #246 185.24/185.37 c 185.24/185.37 c 185.24/185.37 c Core size: 10 Core Weight: 1 Total Weight: 246 185.24/185.37 c 185.24/185.37 c 185.24/185.37 c ============================[ Search Statistics ]============================== 185.24/185.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.24/185.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.24/185.37 c =============================================================================== 185.24/185.37 c | 0 | 2248 5052 15159 | 5000 0 nan | 0.000 % | 185.24/185.38 c =============================================================================== 185.24/185.39 c core #247 185.24/185.39 c 185.24/185.39 c 185.24/185.39 c Core size: 12 Core Weight: 1 Total Weight: 247 185.24/185.39 c 185.24/185.39 c 185.24/185.39 c ============================[ Search Statistics ]============================== 185.24/185.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.24/185.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.24/185.39 c =============================================================================== 185.24/185.39 c | 0 | 2255 5053 15173 | 5000 0 nan | 0.000 % | 185.24/185.40 c =============================================================================== 185.34/185.41 c core #248 185.34/185.41 c 185.34/185.41 c 185.34/185.41 c Core size: 10 Core Weight: 1 Total Weight: 248 185.34/185.41 c 185.34/185.41 c 185.34/185.41 c ============================[ Search Statistics ]============================== 185.34/185.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.34/185.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.34/185.41 c =============================================================================== 185.34/185.41 c | 0 | 2261 5054 15185 | 5000 0 nan | 0.000 % | 185.34/185.41 c =============================================================================== 185.34/185.43 c core #249 185.34/185.43 c 185.34/185.43 c 185.34/185.43 c Core size: 10 Core Weight: 1 Total Weight: 249 185.34/185.43 c 185.34/185.43 c 185.34/185.43 c ============================[ Search Statistics ]============================== 185.34/185.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.34/185.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.34/185.43 c =============================================================================== 185.34/185.43 c | 0 | 2267 5055 15197 | 5000 0 nan | 0.000 % | 185.34/185.43 c =============================================================================== 185.34/185.45 c core #250 185.34/185.45 c 185.34/185.45 c 185.34/185.45 c Core size: 12 Core Weight: 1 Total Weight: 250 185.34/185.45 c 185.34/185.45 c 185.34/185.45 c ============================[ Search Statistics ]============================== 185.34/185.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.34/185.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.34/185.45 c =============================================================================== 185.34/185.45 c | 0 | 2274 5056 15211 | 5000 0 nan | 0.000 % | 185.34/185.45 c =============================================================================== 185.34/185.46 c core #251 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 12 Core Weight: 1 Total Weight: 251 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c ============================[ Search Statistics ]============================== 185.34/185.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.34/185.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.34/185.46 c =============================================================================== 185.34/185.46 c | 0 | 2281 5057 15225 | 5000 0 nan | 0.000 % | 185.34/185.47 c =============================================================================== 185.34/185.48 c core #252 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c Core size: 10 Core Weight: 1 Total Weight: 252 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c ============================[ Search Statistics ]============================== 185.34/185.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.34/185.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.34/185.48 c =============================================================================== 185.34/185.48 c | 0 | 2287 5058 15237 | 5000 0 nan | 0.000 % | 185.34/185.49 c =============================================================================== 185.44/185.50 c core #253 185.44/185.50 c 185.44/185.50 c 185.44/185.50 c Core size: 12 Core Weight: 1 Total Weight: 253 185.44/185.50 c 185.44/185.50 c 185.44/185.50 c ============================[ Search Statistics ]============================== 185.44/185.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.44/185.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.44/185.50 c =============================================================================== 185.44/185.50 c | 0 | 2294 5059 15251 | 5000 0 nan | 0.000 % | 185.44/185.51 c =============================================================================== 185.44/185.52 c core #254 185.44/185.52 c 185.44/185.52 c 185.44/185.52 c Core size: 10 Core Weight: 1 Total Weight: 254 185.44/185.52 c 185.44/185.52 c 185.44/185.52 c ============================[ Search Statistics ]============================== 185.44/185.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.44/185.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.44/185.52 c =============================================================================== 185.44/185.52 c | 0 | 2300 5060 15263 | 5000 0 nan | 0.000 % | 185.44/185.53 c =============================================================================== 185.44/185.54 c core #255 185.44/185.54 c 185.44/185.54 c 185.44/185.54 c Core size: 10 Core Weight: 1 Total Weight: 255 185.44/185.54 c 185.44/185.54 c 185.44/185.54 c ============================[ Search Statistics ]============================== 185.44/185.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.44/185.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.44/185.54 c =============================================================================== 185.44/185.54 c | 0 | 2306 5061 15275 | 5000 0 nan | 0.000 % | 185.44/185.54 c =============================================================================== 185.44/185.56 c core #256 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 13 Core Weight: 1 Total Weight: 256 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c ============================[ Search Statistics ]============================== 185.44/185.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.44/185.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.44/185.56 c =============================================================================== 185.44/185.56 c | 0 | 2314 5062 15291 | 5000 0 nan | 0.000 % | 185.44/185.56 c =============================================================================== 185.44/185.57 c core #257 185.44/185.57 c 185.44/185.57 c 185.44/185.57 c Core size: 29 Core Weight: 1 Total Weight: 257 185.44/185.57 c 185.44/185.57 c 185.44/185.57 c ============================[ Search Statistics ]============================== 185.44/185.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.44/185.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.44/185.57 c =============================================================================== 185.44/185.57 c | 0 | 2333 5063 15329 | 5000 0 nan | 0.000 % | 185.44/185.58 c =============================================================================== 185.44/185.60 c core #258 185.44/185.60 c 185.44/185.60 c 185.44/185.60 c Core size: 18 Core Weight: 1 Total Weight: 258 185.44/185.60 c 185.44/185.60 c 185.44/185.60 c ============================[ Search Statistics ]============================== 185.44/185.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.44/185.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.44/185.60 c =============================================================================== 185.44/185.60 c | 0 | 2343 5064 15349 | 5000 0 nan | 0.000 % | 185.54/185.60 c =============================================================================== 185.54/185.61 c core #259 185.54/185.61 c 185.54/185.61 c 185.54/185.61 c Core size: 33 Core Weight: 1 Total Weight: 259 185.54/185.61 c 185.54/185.61 c 185.54/185.61 c ============================[ Search Statistics ]============================== 185.54/185.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.61 c =============================================================================== 185.54/185.61 c | 0 | 2354 5065 15371 | 5000 0 nan | 0.000 % | 185.54/185.62 c =============================================================================== 185.54/185.63 c core #260 185.54/185.63 c 185.54/185.63 c 185.54/185.63 c Core size: 12 Core Weight: 1 Total Weight: 260 185.54/185.63 c 185.54/185.63 c 185.54/185.63 c ============================[ Search Statistics ]============================== 185.54/185.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.63 c =============================================================================== 185.54/185.63 c | 0 | 2361 5066 15385 | 5000 0 nan | 0.000 % | 185.54/185.64 c =============================================================================== 185.54/185.65 c core #261 185.54/185.65 c 185.54/185.65 c 185.54/185.65 c Core size: 29 Core Weight: 1 Total Weight: 261 185.54/185.65 c 185.54/185.65 c 185.54/185.65 c ============================[ Search Statistics ]============================== 185.54/185.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.65 c =============================================================================== 185.54/185.65 c | 0 | 2372 5067 15407 | 5000 0 nan | 0.000 % | 185.54/185.66 c =============================================================================== 185.54/185.67 c core #262 185.54/185.67 c 185.54/185.67 c 185.54/185.67 c Core size: 22 Core Weight: 1 Total Weight: 262 185.54/185.67 c 185.54/185.67 c 185.54/185.67 c ============================[ Search Statistics ]============================== 185.54/185.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.67 c =============================================================================== 185.54/185.67 c | 0 | 2385 5068 15433 | 5000 0 nan | 0.000 % | 185.54/185.67 c =============================================================================== 185.54/185.69 c core #263 185.54/185.69 c 185.54/185.69 c 185.54/185.69 c Core size: 10 Core Weight: 1 Total Weight: 263 185.54/185.69 c 185.54/185.69 c 185.54/185.69 c ============================[ Search Statistics ]============================== 185.54/185.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.69 c =============================================================================== 185.54/185.69 c | 0 | 2391 5069 15445 | 5000 0 nan | 0.000 % | 185.54/185.69 c =============================================================================== 185.64/185.71 c core #264 185.64/185.71 c 185.64/185.71 c 185.64/185.71 c Core size: 25 Core Weight: 1 Total Weight: 264 185.64/185.71 c 185.64/185.71 c 185.64/185.71 c ============================[ Search Statistics ]============================== 185.64/185.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.71 c =============================================================================== 185.64/185.71 c | 0 | 2407 5070 15477 | 5000 0 nan | 0.000 % | 185.64/185.71 c =============================================================================== 185.64/185.72 c core #265 185.64/185.72 c 185.64/185.72 c 185.64/185.72 c Core size: 12 Core Weight: 1 Total Weight: 265 185.64/185.72 c 185.64/185.72 c 185.64/185.72 c ============================[ Search Statistics ]============================== 185.64/185.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.72 c =============================================================================== 185.64/185.72 c | 0 | 2414 5071 15491 | 5000 0 nan | 0.000 % | 185.64/185.73 c =============================================================================== 185.64/185.75 c core #266 185.64/185.75 c 185.64/185.75 c 185.64/185.75 c Core size: 23 Core Weight: 1 Total Weight: 266 185.64/185.75 c 185.64/185.75 c 185.64/185.75 c ============================[ Search Statistics ]============================== 185.64/185.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.75 c =============================================================================== 185.64/185.75 c | 0 | 2432 5072 15527 | 5000 0 nan | 0.000 % | 185.64/185.75 c =============================================================================== 185.64/185.77 c core #267 185.64/185.77 c 185.64/185.77 c 185.64/185.77 c Core size: 24 Core Weight: 1 Total Weight: 267 185.64/185.77 c 185.64/185.77 c 185.64/185.77 c ============================[ Search Statistics ]============================== 185.64/185.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.77 c =============================================================================== 185.64/185.77 c | 0 | 2453 5074 15572 | 5000 0 nan | 0.000 % | 185.64/185.77 c =============================================================================== 185.64/185.79 c core #268 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 10 Core Weight: 1 Total Weight: 268 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c ============================[ Search Statistics ]============================== 185.64/185.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.79 c =============================================================================== 185.64/185.79 c | 0 | 2459 5075 15584 | 5000 0 nan | 0.000 % | 185.64/185.79 c =============================================================================== 185.74/185.80 c core #269 185.74/185.80 c 185.74/185.80 c 185.74/185.80 c Core size: 13 Core Weight: 1 Total Weight: 269 185.74/185.80 c 185.74/185.80 c 185.74/185.80 c ============================[ Search Statistics ]============================== 185.74/185.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.74/185.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.74/185.80 c =============================================================================== 185.74/185.80 c | 0 | 2467 5076 15600 | 5000 0 nan | 0.000 % | 185.74/185.81 c =============================================================================== 185.74/185.83 c core #270 185.74/185.83 c 185.74/185.83 c 185.74/185.83 c Core size: 27 Core Weight: 1 Total Weight: 270 185.74/185.83 c 185.74/185.83 c 185.74/185.83 c ============================[ Search Statistics ]============================== 185.74/185.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.74/185.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.74/185.83 c =============================================================================== 185.74/185.83 c | 0 | 2486 5078 15641 | 5000 0 nan | 0.000 % | 185.74/185.83 c =============================================================================== 185.74/185.84 c core #271 185.74/185.84 c 185.74/185.84 c 185.74/185.84 c Core size: 10 Core Weight: 1 Total Weight: 271 185.74/185.84 c 185.74/185.84 c 185.74/185.84 c ============================[ Search Statistics ]============================== 185.74/185.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.74/185.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.74/185.84 c =============================================================================== 185.74/185.84 c | 0 | 2492 5079 15653 | 5000 0 nan | 0.000 % | 185.74/185.85 c =============================================================================== 185.74/185.87 c core #272 185.74/185.87 c 185.74/185.87 c 185.74/185.87 c Core size: 10 Core Weight: 1 Total Weight: 272 185.74/185.87 c 185.74/185.87 c 185.74/185.87 c ============================[ Search Statistics ]============================== 185.74/185.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.74/185.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.74/185.87 c =============================================================================== 185.74/185.87 c | 0 | 2498 5080 15665 | 5000 0 nan | 0.000 % | 185.74/185.87 c =============================================================================== 185.74/185.88 c core #273 185.74/185.88 c 185.74/185.88 c 185.74/185.88 c Core size: 18 Core Weight: 1 Total Weight: 273 185.74/185.88 c 185.74/185.88 c 185.74/185.88 c ============================[ Search Statistics ]============================== 185.74/185.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.74/185.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.74/185.88 c =============================================================================== 185.74/185.88 c | 0 | 2508 5081 15685 | 5000 0 nan | 0.000 % | 185.74/185.89 c =============================================================================== 185.74/185.90 c core #274 185.74/185.90 c 185.74/185.90 c 185.74/185.90 c Core size: 12 Core Weight: 1 Total Weight: 274 185.74/185.90 c 185.74/185.90 c 185.74/185.90 c ============================[ Search Statistics ]============================== 185.74/185.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.74/185.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.74/185.90 c =============================================================================== 185.74/185.90 c | 0 | 2515 5082 15699 | 5000 0 nan | 0.000 % | 185.84/185.91 c =============================================================================== 185.84/185.92 c core #275 185.84/185.92 c 185.84/185.92 c 185.84/185.92 c Core size: 29 Core Weight: 1 Total Weight: 275 185.84/185.92 c 185.84/185.92 c 185.84/185.92 c ============================[ Search Statistics ]============================== 185.84/185.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.84/185.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.84/185.92 c =============================================================================== 185.84/185.92 c | 0 | 2526 5083 15721 | 5000 0 nan | 0.000 % | 185.84/185.93 c =============================================================================== 185.84/185.94 c core #276 185.84/185.94 c 185.84/185.94 c 185.84/185.94 c Core size: 10 Core Weight: 1 Total Weight: 276 185.84/185.94 c 185.84/185.94 c 185.84/185.94 c ============================[ Search Statistics ]============================== 185.84/185.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.84/185.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.84/185.94 c =============================================================================== 185.84/185.94 c | 0 | 2532 5084 15733 | 5000 0 nan | 0.000 % | 185.84/185.95 c =============================================================================== 185.84/185.96 c core #277 185.84/185.96 c 185.84/185.96 c 185.84/185.96 c Core size: 10 Core Weight: 1 Total Weight: 277 185.84/185.96 c 185.84/185.96 c 185.84/185.96 c ============================[ Search Statistics ]============================== 185.84/185.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.84/185.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.84/185.96 c =============================================================================== 185.84/185.96 c | 0 | 2538 5086 15747 | 5000 0 nan | 0.000 % | 185.84/185.97 c =============================================================================== 185.84/185.98 c core #278 185.84/185.98 c 185.84/185.98 c 185.84/185.98 c Core size: 21 Core Weight: 1 Total Weight: 278 185.84/185.98 c 185.84/185.98 c 185.84/185.98 c ============================[ Search Statistics ]============================== 185.84/185.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.84/185.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.84/185.98 c =============================================================================== 185.84/185.98 c | 0 | 2551 5088 15776 | 5000 0 nan | 0.000 % | 185.84/185.99 c =============================================================================== 185.93/186.00 c core #279 185.93/186.00 c 185.93/186.00 c 185.93/186.00 c Core size: 12 Core Weight: 1 Total Weight: 279 185.93/186.00 c 185.93/186.00 c 185.93/186.00 c ============================[ Search Statistics ]============================== 185.93/186.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.93/186.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.93/186.00 c =============================================================================== 185.93/186.00 c | 0 | 2558 5089 15790 | 5000 0 nan | 0.000 % | 185.93/186.01 c =============================================================================== 185.93/186.02 c core #280 185.93/186.02 c 185.93/186.02 c 185.93/186.02 c Core size: 27 Core Weight: 1 Total Weight: 280 185.93/186.02 c 185.93/186.02 c 185.93/186.02 c ============================[ Search Statistics ]============================== 185.93/186.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.93/186.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.93/186.02 c =============================================================================== 185.93/186.02 c | 0 | 2567 5090 15808 | 5000 0 nan | 0.000 % | 185.93/186.03 c =============================================================================== 185.93/186.04 c core #281 185.93/186.04 c 185.93/186.04 c 185.93/186.04 c Core size: 20 Core Weight: 1 Total Weight: 281 185.93/186.04 c 185.93/186.04 c 185.93/186.04 c ============================[ Search Statistics ]============================== 185.93/186.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.93/186.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.93/186.04 c =============================================================================== 185.93/186.04 c | 0 | 2578 5091 15830 | 5000 0 nan | 0.000 % | 185.93/186.05 c =============================================================================== 185.93/186.06 c core #282 185.93/186.06 c 185.93/186.06 c 185.93/186.06 c Core size: 10 Core Weight: 1 Total Weight: 282 185.93/186.06 c 185.93/186.06 c 185.93/186.06 c ============================[ Search Statistics ]============================== 185.93/186.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.93/186.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.93/186.06 c =============================================================================== 185.93/186.06 c | 0 | 2584 5092 15842 | 5000 0 nan | 0.000 % | 185.93/186.07 c =============================================================================== 185.93/186.08 c core #283 185.93/186.08 c 185.93/186.08 c 185.93/186.08 c Core size: 32 Core Weight: 1 Total Weight: 283 185.93/186.08 c 185.93/186.08 c 185.93/186.08 c ============================[ Search Statistics ]============================== 185.93/186.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.93/186.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.93/186.08 c =============================================================================== 185.93/186.08 c | 0 | 2606 5093 15886 | 5000 0 nan | 0.000 % | 185.93/186.09 c =============================================================================== 186.03/186.10 c core #284 186.03/186.10 c 186.03/186.10 c 186.03/186.10 c Core size: 10 Core Weight: 1 Total Weight: 284 186.03/186.10 c 186.03/186.10 c 186.03/186.10 c ============================[ Search Statistics ]============================== 186.03/186.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.03/186.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.03/186.10 c =============================================================================== 186.03/186.10 c | 0 | 2612 5094 15898 | 5000 0 nan | 0.000 % | 186.03/186.11 c =============================================================================== 186.03/186.12 c core #285 186.03/186.12 c 186.03/186.12 c 186.03/186.12 c Core size: 23 Core Weight: 1 Total Weight: 285 186.03/186.12 c 186.03/186.12 c 186.03/186.12 c ============================[ Search Statistics ]============================== 186.03/186.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.03/186.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.03/186.12 c =============================================================================== 186.03/186.12 c | 0 | 2625 5095 15924 | 5000 0 nan | 0.000 % | 186.03/186.13 c =============================================================================== 186.03/186.15 c core #286 186.03/186.15 c 186.03/186.15 c 186.03/186.15 c Core size: 27 Core Weight: 1 Total Weight: 286 186.03/186.15 c 186.03/186.15 c 186.03/186.15 c ============================[ Search Statistics ]============================== 186.03/186.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.03/186.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.03/186.15 c =============================================================================== 186.03/186.15 c | 0 | 2648 5096 15970 | 5000 0 nan | 0.000 % | 186.03/186.15 c =============================================================================== 186.03/186.16 c core #287 186.03/186.16 c 186.03/186.16 c 186.03/186.16 c Core size: 10 Core Weight: 1 Total Weight: 287 186.03/186.16 c 186.03/186.16 c 186.03/186.16 c ============================[ Search Statistics ]============================== 186.03/186.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.03/186.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.03/186.16 c =============================================================================== 186.03/186.16 c | 0 | 2654 5097 15982 | 5000 0 nan | 0.000 % | 186.03/186.17 c =============================================================================== 186.03/186.19 c core #288 186.03/186.19 c 186.03/186.19 c 186.03/186.19 c Core size: 10 Core Weight: 1 Total Weight: 288 186.03/186.19 c 186.03/186.19 c 186.03/186.19 c ============================[ Search Statistics ]============================== 186.03/186.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.03/186.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.03/186.19 c =============================================================================== 186.03/186.19 c | 0 | 2660 5098 15994 | 5000 0 nan | 0.000 % | 186.03/186.19 c =============================================================================== 186.14/186.20 c core #289 186.14/186.20 c 186.14/186.20 c 186.14/186.20 c Core size: 10 Core Weight: 1 Total Weight: 289 186.14/186.20 c 186.14/186.20 c 186.14/186.20 c ============================[ Search Statistics ]============================== 186.14/186.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.14/186.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.14/186.20 c =============================================================================== 186.14/186.20 c | 0 | 2666 5099 16006 | 5000 0 nan | 0.000 % | 186.14/186.21 c =============================================================================== 186.14/186.23 c core #290 186.14/186.23 c 186.14/186.23 c 186.14/186.23 c Core size: 13 Core Weight: 1 Total Weight: 290 186.14/186.23 c 186.14/186.23 c 186.14/186.23 c ============================[ Search Statistics ]============================== 186.14/186.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.14/186.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.14/186.23 c =============================================================================== 186.14/186.23 c | 0 | 2673 5100 16020 | 5000 0 nan | 0.000 % | 186.14/186.23 c =============================================================================== 186.14/186.25 c core #291 186.14/186.25 c 186.14/186.25 c 186.14/186.25 c Core size: 13 Core Weight: 1 Total Weight: 291 186.14/186.25 c 186.14/186.25 c 186.14/186.25 c ============================[ Search Statistics ]============================== 186.14/186.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.14/186.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.14/186.25 c =============================================================================== 186.14/186.25 c | 0 | 2681 5101 16036 | 5000 0 nan | 0.000 % | 186.14/186.26 c =============================================================================== 186.14/186.27 c core #292 186.14/186.27 c 186.14/186.27 c 186.14/186.27 c Core size: 34 Core Weight: 1 Total Weight: 292 186.14/186.27 c 186.14/186.27 c 186.14/186.27 c ============================[ Search Statistics ]============================== 186.14/186.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.14/186.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.14/186.27 c =============================================================================== 186.14/186.27 c | 0 | 2702 5102 16078 | 5000 0 nan | 0.000 % | 186.14/186.28 c =============================================================================== 186.14/186.30 c core #293 186.14/186.30 c 186.14/186.30 c 186.14/186.30 c Core size: 28 Core Weight: 1 Total Weight: 293 186.14/186.30 c 186.14/186.30 c 186.14/186.30 c ============================[ Search Statistics ]============================== 186.14/186.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.14/186.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.14/186.30 c =============================================================================== 186.14/186.30 c | 0 | 2727 5103 16128 | 5000 0 nan | 0.000 % | 186.24/186.30 c =============================================================================== 186.24/186.32 c core #294 186.24/186.32 c 186.24/186.32 c 186.24/186.32 c Core size: 25 Core Weight: 1 Total Weight: 294 186.24/186.32 c 186.24/186.32 c 186.24/186.32 c ============================[ Search Statistics ]============================== 186.24/186.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.24/186.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.24/186.32 c =============================================================================== 186.24/186.32 c | 0 | 2736 5104 16146 | 5000 0 nan | 0.000 % | 186.24/186.32 c =============================================================================== 186.24/186.34 c core #295 186.24/186.34 c 186.24/186.34 c 186.24/186.34 c Core size: 31 Core Weight: 1 Total Weight: 295 186.24/186.34 c 186.24/186.34 c 186.24/186.34 c ============================[ Search Statistics ]============================== 186.24/186.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.24/186.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.24/186.34 c =============================================================================== 186.24/186.34 c | 0 | 2760 5105 16194 | 5000 0 nan | 0.000 % | 186.24/186.34 c =============================================================================== 186.24/186.36 c core #296 186.24/186.36 c 186.24/186.36 c 186.24/186.36 c Core size: 29 Core Weight: 1 Total Weight: 296 186.24/186.36 c 186.24/186.36 c 186.24/186.36 c ============================[ Search Statistics ]============================== 186.24/186.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.24/186.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.24/186.36 c =============================================================================== 186.24/186.36 c | 0 | 2781 5106 16236 | 5000 0 nan | 0.000 % | 186.24/186.37 c | 100 | 2781 5106 16236 | 5500 100 9 | 0.715 % | 186.24/186.37 c =============================================================================== 186.24/186.39 c core #297 186.24/186.39 c 186.24/186.39 c 186.24/186.39 c Core size: 63 Core Weight: 1 Total Weight: 297 186.24/186.39 c 186.24/186.39 c 186.24/186.39 c ============================[ Search Statistics ]============================== 186.24/186.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.24/186.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.24/186.39 c =============================================================================== 186.24/186.39 c | 0 | 2832 5107 16338 | 5000 0 nan | 0.000 % | 186.33/186.40 c =============================================================================== 186.33/186.42 c core #298 186.33/186.42 c 186.33/186.42 c 186.33/186.42 c Core size: 48 Core Weight: 1 Total Weight: 298 186.33/186.42 c 186.33/186.42 c 186.33/186.42 c ============================[ Search Statistics ]============================== 186.33/186.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.33/186.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.33/186.42 c =============================================================================== 186.33/186.42 c | 0 | 2868 5109 16413 | 5000 0 nan | 0.000 % | 186.33/186.43 c | 100 | 2868 5109 16413 | 5500 100 8 | 0.831 % | 186.33/186.43 c =============================================================================== 186.33/186.44 c core #299 186.33/186.44 c 186.33/186.44 c 186.33/186.44 c Core size: 30 Core Weight: 1 Total Weight: 299 186.33/186.44 c 186.33/186.44 c 186.33/186.44 c ============================[ Search Statistics ]============================== 186.33/186.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.33/186.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.33/186.44 c =============================================================================== 186.33/186.44 c | 0 | 2886 5111 16452 | 5000 0 nan | 0.000 % | 186.33/186.45 c | 101 | 2886 5111 16452 | 5500 101 15 | 0.689 % | 186.33/186.46 c | 251 | 2886 5111 16452 | 6050 251 14 | 0.688 % | 186.33/186.47 c =============================================================================== 186.33/186.49 c core #300 186.33/186.49 c 186.33/186.49 c 186.33/186.49 c Core size: 27 Core Weight: 1 Total Weight: 300 186.33/186.49 c 186.33/186.49 c 186.33/186.49 c ============================[ Search Statistics ]============================== 186.33/186.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.33/186.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.33/186.49 c =============================================================================== 186.33/186.49 c | 0 | 2903 5114 16491 | 5000 0 nan | 0.000 % | 186.33/186.50 c | 100 | 2901 5114 16491 | 5500 100 11 | 0.753 % | 186.44/186.50 c =============================================================================== 186.44/186.52 c core #301 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c Core size: 46 Core Weight: 1 Total Weight: 301 186.44/186.52 c 186.44/186.52 c 186.44/186.52 c ============================[ Search Statistics ]============================== 186.44/186.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.44/186.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.44/186.52 c =============================================================================== 186.44/186.52 c | 0 | 2937 5115 16559 | 5000 0 nan | 0.000 % | 186.44/186.53 c =============================================================================== 186.44/186.55 c core #302 186.44/186.55 c 186.44/186.55 c 186.44/186.55 c Core size: 50 Core Weight: 1 Total Weight: 302 186.44/186.55 c 186.44/186.55 c 186.44/186.55 c ============================[ Search Statistics ]============================== 186.44/186.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.44/186.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.44/186.55 c =============================================================================== 186.44/186.55 c | 0 | 2965 5117 16618 | 5000 0 nan | 0.000 % | 186.44/186.56 c =============================================================================== 186.44/186.57 c core #303 186.44/186.57 c 186.44/186.57 c 186.44/186.57 c Core size: 44 Core Weight: 1 Total Weight: 303 186.44/186.57 c 186.44/186.57 c 186.44/186.57 c ============================[ Search Statistics ]============================== 186.44/186.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.44/186.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.44/186.57 c =============================================================================== 186.44/186.57 c | 0 | 2999 5120 16691 | 5000 0 nan | 0.000 % | 186.44/186.58 c | 101 | 2999 5120 16691 | 5500 101 10 | 0.663 % | 186.53/186.60 c =============================================================================== 186.53/186.62 c core #304 186.53/186.62 c 186.53/186.62 c 186.53/186.62 c Core size: 55 Core Weight: 1 Total Weight: 304 186.53/186.62 c 186.53/186.62 c 186.53/186.62 c ============================[ Search Statistics ]============================== 186.53/186.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.53/186.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.53/186.62 c =============================================================================== 186.53/186.62 c | 0 | 3040 5122 16776 | 5000 0 nan | 0.000 % | 186.53/186.63 c | 102 | 3038 5122 16776 | 5500 102 9 | 0.719 % | 186.53/186.64 c | 254 | 3036 5122 16776 | 6050 254 9 | 0.785 % | 186.53/186.64 c =============================================================================== 186.53/186.66 c core #305 186.53/186.66 c 186.53/186.66 c 186.53/186.66 c Core size: 58 Core Weight: 1 Total Weight: 305 186.53/186.66 c 186.53/186.66 c 186.53/186.66 c ============================[ Search Statistics ]============================== 186.53/186.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.53/186.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.53/186.66 c =============================================================================== 186.53/186.66 c | 0 | 3089 5123 16874 | 5000 0 nan | 0.000 % | 186.53/186.67 c | 101 | 3086 5123 16874 | 5500 101 9 | 0.772 % | 186.53/186.67 c =============================================================================== 186.53/186.69 c core #306 186.53/186.69 c 186.53/186.69 c 186.53/186.69 c Core size: 53 Core Weight: 1 Total Weight: 306 186.53/186.69 c 186.53/186.69 c 186.53/186.69 c ============================[ Search Statistics ]============================== 186.53/186.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.53/186.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.53/186.69 c =============================================================================== 186.53/186.69 c | 0 | 3128 5125 16955 | 5000 0 nan | 0.000 % | 186.63/186.70 c | 100 | 3126 5125 16955 | 5500 100 12 | 0.731 % | 186.63/186.71 c | 251 | 3122 5125 16955 | 6050 201 11 | 0.826 % | 186.63/186.73 c =============================================================================== 186.63/186.75 c core #307 186.63/186.75 c 186.63/186.75 c 186.63/186.75 c Core size: 39 Core Weight: 1 Total Weight: 307 186.63/186.75 c 186.63/186.75 c 186.63/186.75 c ============================[ Search Statistics ]============================== 186.63/186.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.63/186.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.63/186.75 c =============================================================================== 186.63/186.75 c | 0 | 3158 5129 17023 | 5000 0 nan | 0.000 % | 186.63/186.76 c | 100 | 3158 5129 17023 | 5500 100 15 | 0.630 % | 186.63/186.76 c | 251 | 3158 5129 17023 | 6050 251 14 | 0.629 % | 186.63/186.78 c | 477 | 3155 5129 17023 | 6655 476 13 | 0.755 % | 186.63/186.79 c =============================================================================== 186.74/186.81 c core #308 186.74/186.81 c 186.74/186.81 c 186.74/186.81 c Core size: 49 Core Weight: 1 Total Weight: 308 186.74/186.81 c 186.74/186.81 c 186.74/186.81 c ============================[ Search Statistics ]============================== 186.74/186.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.74/186.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.74/186.81 c =============================================================================== 186.74/186.81 c | 0 | 3203 5130 17113 | 5000 0 nan | 0.000 % | 186.74/186.82 c | 100 | 3203 5130 17113 | 5500 100 13 | 0.621 % | 186.74/186.83 c | 251 | 3203 5130 17113 | 6050 251 15 | 0.683 % | 186.74/186.84 c | 476 | 3182 5130 17113 | 6655 472 15 | 1.303 % | 186.74/186.86 c =============================================================================== 186.74/186.88 c core #309 186.74/186.88 c 186.74/186.88 c 186.74/186.88 c Core size: 59 Core Weight: 1 Total Weight: 309 186.74/186.88 c 186.74/186.88 c 186.74/186.88 c ============================[ Search Statistics ]============================== 186.74/186.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.74/186.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.74/186.88 c =============================================================================== 186.74/186.88 c | 0 | 3249 5132 17208 | 5000 0 nan | 0.000 % | 186.74/186.89 c | 101 | 3249 5132 17208 | 5500 101 11 | 0.612 % | 186.74/186.90 c | 251 | 3247 5132 17208 | 6050 251 13 | 0.673 % | 186.84/186.91 c | 477 | 3247 5132 17208 | 6655 477 13 | 0.673 % | 186.84/186.93 c | 815 | 3244 5132 17208 | 7320 812 14 | 0.795 % | 186.84/186.93 c =============================================================================== 186.84/186.95 c core #310 186.84/186.95 c 186.84/186.95 c 186.84/186.95 c Core size: 51 Core Weight: 1 Total Weight: 310 186.84/186.95 c 186.84/186.95 c 186.84/186.95 c ============================[ Search Statistics ]============================== 186.84/186.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.84/186.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.84/186.95 c =============================================================================== 186.84/186.95 c | 0 | 3281 5134 17275 | 5000 0 nan | 0.000 % | 186.84/186.96 c =============================================================================== 186.84/186.97 c core #311 186.84/186.97 c 186.84/186.97 c 186.84/186.97 c Core size: 21 Core Weight: 1 Total Weight: 311 186.84/186.97 c 186.84/186.97 c 186.84/186.97 c ============================[ Search Statistics ]============================== 186.84/186.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.84/186.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.84/186.97 c =============================================================================== 186.84/186.97 c | 0 | 3298 5135 17309 | 5000 0 nan | 0.000 % | 186.84/186.99 c | 101 | 3298 5135 17309 | 5500 101 9 | 0.603 % | 186.84/187.00 c | 253 | 3286 5135 17309 | 6050 253 9 | 0.965 % | 186.95/187.01 c | 478 | 3286 5135 17309 | 6655 456 12 | 0.964 % | 186.95/187.03 c | 816 | 3283 5135 17309 | 7320 793 12 | 1.055 % | 186.95/187.07 c | 1322 | 3276 5135 17309 | 8052 1288 14 | 1.326 % | 186.95/187.07 c =============================================================================== 187.04/187.10 c core #312 187.04/187.10 c 187.04/187.10 c 187.04/187.10 c Core size: 127 Core Weight: 1 Total Weight: 312 187.04/187.10 c 187.04/187.10 c 187.04/187.10 c ============================[ Search Statistics ]============================== 187.04/187.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.04/187.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.04/187.10 c =============================================================================== 187.04/187.10 c | 0 | 3392 5138 17501 | 5000 0 nan | 0.000 % | 187.04/187.11 c | 100 | 3392 5138 17501 | 5500 100 15 | 0.587 % | 187.04/187.12 c | 250 | 3392 5138 17501 | 6050 250 16 | 0.587 % | 187.04/187.13 c | 476 | 3386 5138 17501 | 6655 475 14 | 0.821 % | 187.04/187.15 c | 813 | 3379 5138 17501 | 7320 812 13 | 1.055 % | 187.04/187.19 c =============================================================================== 187.14/187.21 c core #313 187.14/187.21 c 187.14/187.21 c 187.14/187.21 c Core size: 42 Core Weight: 1 Total Weight: 313 187.14/187.21 c 187.14/187.21 c 187.14/187.21 c ============================[ Search Statistics ]============================== 187.14/187.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.14/187.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.14/187.21 c =============================================================================== 187.14/187.21 c | 0 | 3422 5141 17567 | 5000 0 nan | 0.000 % | 187.14/187.22 c | 101 | 3422 5141 17567 | 5500 101 21 | 0.640 % | 187.14/187.23 c | 258 | 3422 5141 17567 | 6050 258 19 | 0.639 % | 187.14/187.24 c | 486 | 3420 5141 17567 | 6655 485 25 | 0.639 % | 187.14/187.27 c | 823 | 3420 5141 17567 | 7320 822 24 | 0.639 % | 187.14/187.28 c =============================================================================== 187.14/187.30 c core #314 187.14/187.30 c 187.14/187.30 c 187.14/187.30 c Core size: 30 Core Weight: 1 Total Weight: 314 187.14/187.30 c 187.14/187.30 c 187.14/187.30 c ============================[ Search Statistics ]============================== 187.14/187.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.14/187.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.14/187.30 c =============================================================================== 187.14/187.30 c | 0 | 3441 5144 17610 | 5000 0 nan | 0.000 % | 187.23/187.31 c | 101 | 3441 5144 17610 | 5500 101 17 | 0.578 % | 187.23/187.31 c | 251 | 3441 5144 17610 | 6050 251 17 | 0.578 % | 187.23/187.32 c | 476 | 3441 5144 17610 | 6655 476 19 | 0.578 % | 187.23/187.34 c | 813 | 3441 5144 17610 | 7320 813 21 | 0.578 % | 187.23/187.36 c =============================================================================== 187.23/187.38 c core #315 187.23/187.38 c 187.23/187.38 c 187.23/187.38 c Core size: 61 Core Weight: 1 Total Weight: 315 187.23/187.38 c 187.23/187.38 c 187.23/187.38 c ============================[ Search Statistics ]============================== 187.23/187.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.23/187.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.23/187.38 c =============================================================================== 187.23/187.38 c | 0 | 3496 5146 17723 | 5000 0 nan | 0.000 % | 187.23/187.39 c | 101 | 3496 5146 17723 | 5500 101 11 | 0.569 % | 187.34/187.40 c | 252 | 3493 5146 17723 | 6050 252 11 | 0.683 % | 187.34/187.41 c | 477 | 3492 5146 17723 | 6655 475 13 | 0.683 % | 187.34/187.43 c | 814 | 3490 5146 17723 | 7320 810 15 | 0.740 % | 187.34/187.46 c =============================================================================== 187.34/187.49 c core #316 187.34/187.49 c 187.34/187.49 c 187.34/187.49 c Core size: 55 Core Weight: 1 Total Weight: 316 187.34/187.49 c 187.34/187.49 c 187.34/187.49 c ============================[ Search Statistics ]============================== 187.34/187.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.34/187.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.34/187.49 c =============================================================================== 187.34/187.49 c | 0 | 3542 5152 17827 | 5000 0 nan | 0.000 % | 187.34/187.49 c =============================================================================== 187.43/187.51 c core #317 187.43/187.51 c 187.43/187.51 c 187.43/187.51 c Core size: 16 Core Weight: 1 Total Weight: 317 187.43/187.51 c 187.43/187.51 c 187.43/187.51 c ============================[ Search Statistics ]============================== 187.43/187.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.43/187.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.43/187.51 c =============================================================================== 187.43/187.51 c | 0 | 3553 5153 17849 | 5000 0 nan | 0.000 % | 187.43/187.52 c | 100 | 3553 5153 17849 | 5500 100 14 | 0.560 % | 187.43/187.53 c | 250 | 3553 5153 17849 | 6050 250 17 | 0.560 % | 187.43/187.54 c | 476 | 3552 5153 17849 | 6655 475 17 | 0.588 % | 187.43/187.57 c | 813 | 3549 5153 17849 | 7320 769 16 | 0.672 % | 187.53/187.61 c | 1320 | 3535 5153 17849 | 8052 1276 18 | 1.316 % | 187.53/187.65 c =============================================================================== 187.53/187.67 c core #318 187.53/187.67 c 187.53/187.67 c 187.53/187.67 c Core size: 18 Core Weight: 1 Total Weight: 318 187.53/187.67 c 187.53/187.67 c 187.53/187.67 c ============================[ Search Statistics ]============================== 187.53/187.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.53/187.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.53/187.67 c =============================================================================== 187.53/187.67 c | 0 | 3565 5156 17877 | 5000 0 nan | 0.000 % | 187.53/187.69 c | 100 | 3563 5156 17877 | 5500 100 13 | 0.614 % | 187.64/187.70 c | 251 | 3563 5156 17877 | 6050 251 12 | 0.614 % | 187.64/187.71 c | 476 | 3561 5156 17877 | 6655 475 15 | 0.669 % | 187.64/187.73 c | 813 | 3559 5156 17877 | 7320 807 16 | 0.725 % | 187.64/187.77 c | 1320 | 3551 5156 17877 | 8052 1314 16 | 1.004 % | 187.73/187.82 c | 2079 | 3547 5156 17877 | 8857 2048 18 | 1.116 % | 187.84/187.92 c | 3218 | 3527 5156 17877 | 9743 3166 21 | 1.618 % | 187.94/188.08 c | 4926 | 3454 5156 17877 | 10717 4818 21 | 5.384 % | 188.04/188.11 c =============================================================================== 188.04/188.14 c core #319 188.04/188.14 c 188.04/188.14 c 188.04/188.14 c Core size: 54 Core Weight: 1 Total Weight: 319 188.04/188.14 c 188.04/188.14 c 188.04/188.14 c ============================[ Search Statistics ]============================== 188.04/188.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.04/188.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.04/188.14 c =============================================================================== 188.04/188.14 c | 0 | 3603 5158 17955 | 5000 0 nan | 0.000 % | 188.04/188.16 c | 100 | 3603 5158 17955 | 5500 100 20 | 0.552 % | 188.04/188.16 c | 252 | 3603 5158 17955 | 6050 252 18 | 0.552 % | 188.04/188.18 c | 477 | 3603 5158 17955 | 6655 477 18 | 0.552 % | 188.14/188.20 c | 815 | 3601 5158 17955 | 7320 810 19 | 0.607 % | 188.14/188.24 c | 1326 | 3600 5158 17955 | 8052 1321 19 | 0.718 % | 188.23/188.31 c | 2085 | 3594 5158 17955 | 8857 2075 21 | 0.828 % | 188.23/188.37 c =============================================================================== 188.33/188.42 c core #320 188.33/188.42 c 188.33/188.42 c 188.33/188.42 c Core size: 53 Core Weight: 1 Total Weight: 320 188.33/188.42 c 188.33/188.42 c 188.33/188.42 c ============================[ Search Statistics ]============================== 188.33/188.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.33/188.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.33/188.42 c =============================================================================== 188.33/188.42 c | 0 | 3649 5166 18062 | 5000 0 nan | 0.000 % | 188.33/188.44 c | 100 | 3649 5166 18062 | 5500 100 22 | 0.545 % | 188.33/188.45 c | 250 | 3649 5166 18062 | 6050 250 26 | 0.545 % | 188.33/188.46 c | 475 | 3645 5166 18062 | 6655 472 21 | 0.655 % | 188.33/188.48 c | 813 | 3643 5166 18062 | 7320 810 23 | 0.709 % | 188.44/188.52 c | 1319 | 3639 5166 18062 | 8052 1310 23 | 0.818 % | 188.44/188.58 c | 2079 | 3636 5166 18062 | 8857 2070 23 | 0.927 % | 188.53/188.68 c =============================================================================== 188.64/188.73 c core #321 188.64/188.73 c 188.64/188.73 c 188.64/188.73 c Core size: 104 Core Weight: 1 Total Weight: 321 188.64/188.73 c 188.64/188.73 c 188.64/188.73 c ============================[ Search Statistics ]============================== 188.64/188.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.64/188.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.64/188.73 c =============================================================================== 188.64/188.73 c | 0 | 3739 5172 18257 | 5000 0 nan | 0.000 % | 188.64/188.74 c | 100 | 3739 5172 18257 | 5500 100 14 | 0.532 % | 188.64/188.75 c | 256 | 3732 5172 18257 | 6050 256 14 | 0.798 % | 188.64/188.76 c | 481 | 3732 5172 18257 | 6655 481 17 | 0.798 % | 188.64/188.79 c | 820 | 3729 5172 18257 | 7320 805 20 | 0.798 % | 188.73/188.82 c | 1326 | 3729 5172 18257 | 8052 1311 23 | 0.798 % | 188.73/188.89 c | 2087 | 3729 5172 18257 | 8857 2072 25 | 0.798 % | 188.83/188.99 c | 3226 | 3702 5172 18257 | 9743 3205 25 | 2.314 % | 189.04/189.15 c | 4935 | 3669 5172 18257 | 10717 4853 25 | 2.421 % | 189.23/189.39 c | 7499 | 3668 5172 18257 | 11789 7415 26 | 2.421 % | 189.74/189.80 c | 11344 | 3652 5172 18257 | 12968 11155 25 | 2.900 % | 190.53/190.63 c =============================================================================== 190.63/190.79 c core #322 190.63/190.79 c 190.63/190.79 c 190.63/190.79 c Core size: 446 Core Weight: 1 Total Weight: 322 190.63/190.79 c 190.63/190.79 c 190.63/190.79 c ============================[ Search Statistics ]============================== 190.63/190.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.63/190.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.63/190.79 c =============================================================================== 190.63/190.79 c | 0 | 4099 5181 18997 | 5000 0 nan | 0.000 % | 190.73/190.82 c | 100 | 4099 5181 18997 | 5500 100 17 | 0.486 % | 190.73/190.84 c | 251 | 4099 5181 18997 | 6050 251 14 | 0.486 % | 190.73/190.86 c | 477 | 4099 5181 18997 | 6655 477 19 | 0.486 % | 190.73/190.89 c | 814 | 4099 5181 18997 | 7320 814 17 | 0.486 % | 190.84/190.93 c | 1322 | 4097 5181 18997 | 8052 1318 19 | 0.534 % | 190.84/190.99 c | 2081 | 4088 5181 18997 | 8857 2073 24 | 0.777 % | 190.93/191.09 c | 3220 | 4079 5181 18997 | 9743 3212 26 | 0.995 % | 191.13/191.27 c | 4928 | 4078 5181 18997 | 10717 4846 31 | 0.995 % | 191.43/191.55 c | 7490 | 4058 5181 18997 | 11789 7407 30 | 2.428 % | 191.83/191.92 c =============================================================================== 191.93/192.01 c core #323 191.93/192.01 c 191.93/192.01 c 191.93/192.01 c Core size: 157 Core Weight: 1 Total Weight: 323 191.93/192.01 c 191.93/192.01 c 191.93/192.01 c ============================[ Search Statistics ]============================== 191.93/192.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.93/192.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.93/192.01 c =============================================================================== 191.93/192.01 c | 0 | 4241 5200 19323 | 5000 0 nan | 0.000 % | 191.93/192.02 c | 100 | 4241 5200 19323 | 5500 100 19 | 0.470 % | 191.93/192.03 c | 250 | 4238 5200 19323 | 6050 250 15 | 0.563 % | 191.93/192.05 c | 475 | 4237 5200 19323 | 6655 473 20 | 0.563 % | 191.93/192.08 c | 814 | 4234 5200 19323 | 7320 809 19 | 0.657 % | 192.03/192.12 c | 1322 | 4216 5200 19323 | 8052 1296 20 | 1.127 % | 192.03/192.19 c | 2086 | 4213 5200 19323 | 8857 2056 25 | 1.127 % | 192.24/192.30 c | 3230 | 4204 5200 19323 | 9743 3198 30 | 1.432 % | 192.44/192.51 c | 4939 | 4198 5200 19323 | 10717 4823 31 | 1.479 % | 192.63/192.79 c | 7502 | 4198 5200 19323 | 11789 7386 30 | 1.479 % | 193.24/193.32 c | 11352 | 4161 5200 19323 | 12968 11224 34 | 2.347 % | 194.33/194.48 c | 17120 | 4161 5200 19323 | 14265 10334 44 | 2.347 % | 195.83/195.90 c | 25771 | 4161 5200 19323 | 15692 11523 36 | 2.347 % | 198.03/198.18 c | 38747 | 4161 5200 19323 | 17261 8326 59 | 2.347 % | 201.63/201.73 c | 58208 | 4159 5200 19323 | 18987 9894 48 | 2.394 % | 208.72/208.81 c | 87402 | 4153 5200 19323 | 20886 19309 58 | 2.535 % | 219.23/219.34 c | 131191 | 4149 5200 19323 | 22974 17035 64 | 2.628 % | 231.93/232.07 c =============================================================================== 233.13/233.26 c core #324 233.13/233.26 c 233.13/233.26 c 233.13/233.26 c Core size: 397 Core Weight: 1 Total Weight: 324 233.13/233.26 c 233.13/233.26 c 233.13/233.26 c ============================[ Search Statistics ]============================== 233.13/233.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.13/233.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.13/233.26 c =============================================================================== 233.13/233.26 c | 0 | 4607 5241 20143 | 5000 0 nan | 0.000 % | 233.23/233.31 c | 102 | 4607 5241 20143 | 5500 102 26 | 0.432 % | 233.23/233.33 c | 254 | 4607 5241 20143 | 6050 254 31 | 0.432 % | 233.23/233.36 c | 479 | 4607 5241 20143 | 6655 479 32 | 0.432 % | 233.32/233.41 c | 816 | 4607 5241 20143 | 7320 816 31 | 0.432 % | 233.32/233.47 c | 1323 | 4607 5241 20143 | 8052 1323 33 | 0.432 % | 233.42/233.54 c | 2082 | 4607 5241 20143 | 8857 2082 37 | 0.432 % | 233.52/233.69 c | 3222 | 4607 5241 20143 | 9743 3222 35 | 0.432 % | 233.73/233.84 c | 4930 | 4607 5241 20143 | 10717 4930 31 | 0.432 % | 233.73/233.86 c =============================================================================== 233.73/233.89 c core #325 233.73/233.89 c 233.73/233.89 c 233.73/233.89 c Core size: 34 Core Weight: 1 Total Weight: 325 233.73/233.89 c 233.73/233.89 c 233.73/233.89 c ============================[ Search Statistics ]============================== 233.73/233.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.73/233.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.73/233.89 c =============================================================================== 233.73/233.89 c | 0 | 4633 5254 20223 | 5000 0 nan | 0.000 % | 233.82/233.91 c | 100 | 4633 5254 20223 | 5500 100 26 | 0.430 % | 233.82/233.93 c | 251 | 4633 5254 20223 | 6050 251 23 | 0.430 % | 233.82/233.95 c | 477 | 4631 5254 20223 | 6655 475 20 | 0.473 % | 233.82/233.97 c | 818 | 4631 5254 20223 | 7320 816 26 | 0.473 % | 233.92/234.01 c | 1327 | 4631 5254 20223 | 8052 1325 28 | 0.473 % | 233.92/234.09 c | 2086 | 4631 5254 20223 | 8857 2084 31 | 0.473 % | 234.03/234.19 c | 3228 | 4631 5254 20223 | 9743 3226 29 | 0.473 % | 234.32/234.49 c | 4937 | 4631 5254 20223 | 10717 4935 34 | 0.473 % | 234.72/234.80 c | 7500 | 4631 5254 20223 | 11789 7498 33 | 0.473 % | 235.52/235.68 c | 11346 | 4631 5254 20223 | 12968 11344 43 | 0.473 % | 236.43/236.58 c | 17117 | 4629 5254 20223 | 14265 9933 49 | 0.516 % | 237.92/238.03 c | 25767 | 4629 5254 20223 | 15692 10822 41 | 0.516 % | 241.22/241.33 c | 38742 | 4629 5254 20223 | 17261 15771 51 | 0.516 % | 246.32/246.45 c | 58209 | 4623 5254 20223 | 18987 17096 63 | 0.645 % | 259.71/259.88 c | 87401 | 4612 5254 20223 | 20886 17116 145 | 0.881 % | 274.91/275.02 c | 131190 | 4606 5254 20223 | 22974 17937 118 | 1.010 % | 301.40/301.54 c | 196876 | 4598 5254 20223 | 25272 13439 122 | 1.225 % | 341.09/341.26 c | 295403 | 4582 5254 20223 | 27799 21162 95 | 1.526 % | 373.98/374.13 c =============================================================================== 375.68/375.85 c core #326 375.68/375.85 c 375.68/375.85 c 375.68/375.85 c Core size: 562 Core Weight: 1 Total Weight: 326 375.68/375.85 c 375.68/375.85 c 375.68/375.85 c ============================[ Search Statistics ]============================== 375.68/375.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 375.68/375.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 375.68/375.85 c =============================================================================== 375.68/375.85 c | 0 | 5144 5342 21436 | 5000 0 nan | 0.000 % | 375.78/375.91 c | 101 | 5144 5342 21436 | 5500 101 21 | 0.387 % | 375.78/375.93 c | 251 | 5144 5342 21436 | 6050 251 23 | 0.387 % | 375.78/375.95 c | 477 | 5144 5342 21436 | 6655 477 21 | 0.387 % | 375.78/375.98 c | 815 | 5144 5342 21436 | 7320 815 26 | 0.387 % | 375.88/376.06 c | 1322 | 5144 5342 21436 | 8052 1322 27 | 0.387 % | 376.09/376.22 c | 2084 | 5144 5342 21436 | 8857 2084 31 | 0.387 % | 376.28/376.41 c | 3226 | 5144 5342 21436 | 9743 3226 33 | 0.387 % | 376.38/376.53 c | 4935 | 5144 5342 21436 | 10717 4935 32 | 0.387 % | 376.78/376.91 c | 7501 | 5144 5342 21436 | 11789 7501 38 | 0.387 % | 377.48/377.69 c | 11347 | 5144 5342 21436 | 12968 11347 49 | 0.387 % | 379.29/379.43 c | 17116 | 5144 5342 21436 | 14265 10432 78 | 0.387 % | 380.98/381.17 c | 25766 | 5144 5342 21436 | 15692 11187 69 | 0.387 % | 385.78/385.93 c | 38741 | 5144 5342 21436 | 17261 16172 75 | 0.387 % | 390.68/390.87 c | 58204 | 5143 5342 21436 | 18987 16911 51 | 0.407 % | 403.87/404.03 c | 87396 | 5143 5342 21436 | 20886 17075 63 | 0.407 % | 423.77/423.94 c | 131188 | 5143 5342 21436 | 22974 16691 220 | 0.407 % | 469.25/469.42 c | 196872 | 5143 5342 21436 | 25272 22794 102 | 0.407 % | 519.05/519.25 c | 295398 | 5141 5342 21436 | 27799 16728 198 | 0.446 % | 603.62/603.80 c | 443188 | 5141 5342 21436 | 30579 17369 196 | 0.445 % | 772.27/772.57 c | 664871 | 5135 5342 21436 | 33637 27550 205 | 0.562 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680662-1277453516/watcher-2680662-1277453516 -o /tmp/evaluation-result-2680662-1277453516/solver-2680662-1277453516 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680662-1277453516.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.82 3/106 26613 /proc/meminfo: memFree=1471428/2059040 swapFree=4140524/4192956 [pid=26613] ppid=26611 vsize=2812 CPUtime=0 /proc/26613/stat : 26613 (wbo1.4b) R 26611 26613 26476 0 -1 4202496 310 0 0 0 0 0 0 0 20 0 1 0 86643528 2879488 229 1992294400 134512640 135752675 4293459376 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26613/statm: 703 229 140 303 0 372 0 [startup+0.072594 s] /proc/loadavg: 0.92 0.98 0.82 3/106 26613 /proc/meminfo: memFree=1471428/2059040 swapFree=4140524/4192956 [pid=26613] ppid=26611 vsize=3236 CPUtime=0.07 /proc/26613/stat : 26613 (wbo1.4b) R 26611 26613 26476 0 -1 4202496 494 0 0 0 7 0 0 0 20 0 1 0 86643528 3313664 387 1992294400 134512640 135752675 4293459376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26613/statm: 809 387 145 303 0 504 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3236 [startup+0.100596 s] /proc/loadavg: 0.92 0.98 0.82 3/106 26613 /proc/meminfo: memFree=1471428/2059040 swapFree=4140524/4192956 [pid=26613] ppid=26611 vsize=3620 CPUtime=0.09 /proc/26613/stat : 26613 (wbo1.4b) R 26611 26613 26476 0 -1 4202496 578 0 0 0 9 0 0 0 20 0 1 0 86643528 3706880 471 1992294400 134512640 135752675 4293459376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26613/statm: 905 472 145 303 0 600 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3620 [startup+0.300614 s] /proc/loadavg: 0.92 0.98 0.82 3/106 26613 /proc/meminfo: memFree=1471428/2059040 swapFree=4140524/4192956 [pid=26613] ppid=26611 vsize=5672 CPUtime=0.29 /proc/26613/stat : 26613 (wbo1.4b) R 26611 26613 26476 0 -1 4202496 1095 0 0 0 28 1 0 0 20 0 1 0 86643528 5808128 988 1992294400 134512640 135752675 4293459376 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26613/statm: 1418 989 145 303 0 1113 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5672 [startup+0.700652 s] /proc/loadavg: 0.92 0.98 0.82 3/106 26613 /proc/meminfo: memFree=1471428/2059040 swapFree=4140524/4192956 [pid=26613] ppid=26611 vsize=9780 CPUtime=0.69 /proc/26613/stat : 26613 (wbo1.4b) R 26611 26613 26476 0 -1 4202496 2119 0 0 0 67 2 0 0 21 0 1 0 86643528 10014720 2012 1992294400 134512640 135752675 4293459376 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26613/statm: 2445 2012 145 303 0 2140 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9780 [startup+1.50073 s] /proc/loadavg: 0.92 0.98 0.82 2/107 26614 /proc/meminfo: memFree=1461128/2059040 swapFree=4140524/4192956 [pid=26613] ppid=26611 vsize=17084 CPUtime=1.49 /proc/26613/stat : 26613 (wbo1.4b) R 26611 26613 26476 0 -1 4202496 3954 0 0 0 145 4 0 0 23 0 1 0 86643528 17494016 3847 1992294400 134512640 135752675 4293459376 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26613/statm: 4271 3847 145 303 0 3966 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17084 [startup+3.10087 s] /proc/loadavg: 0.92 0.98 0.82 2/107 26614 /proc/meminfo: memFree=1451704/2059040 swapFree=4140524/4192956 [pid=26613] ppid=26611 vsize=29084 CPUtime=3.09 /proc/26613/stat : 26613 (wbo1.4b) R 26611 26613 26476 0 -1 4202496 6932 0 0 0 302 7 0 0 25 0 1 0 86643528 29782016 6825 1992294400 134512640 135752675 4293459376 18446744073709551615 134638100 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26613/statm: 7271 6825 145 303 0 6966 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 29084 [startup+6.30117 s] /proc/loadavg: 0.93 0.98 0.82 2/107 26614 /proc/meminfo: memFree=1426656/2059040 swapFree=4140524/4192956 [pid=26613] ppid=26611 vsize=53692 CPUtime=6.29 /proc/26613/stat : 26613 (wbo1.4b) R 26611 26613 26476 0 -1 4202496 13106 0 0 0 618 11 0 0 25 0 1 0 86643528 54980608 12999 1992294400 134512640 135752675 4293459376 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26613/statm: 13423 12999 145 303 0 13118 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 53692 [startup+12.7008 s] /proc/loadavg: 0.93 0.98 0.83 2/107 26614 /proc/meminfo: memFree=1378048/2059040 swapFree=4140524/4192956 [pid=26613] ppid=26611 vsize=100124 CPUtime=12.69 /proc/26613/stat : 26613 (wbo1.4b) R 26611 26613 26476 0 -1 4202496 24702 0 0 0 1247 22 0 0 25 0 1 0 86643528 102526976 24595 1992294400 134512640 135752675 4293459376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26613/statm: 25031 24595 145 303 0 24726 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 100124 [startup+25.501 s] /proc/loadavg: 0.95 0.98 0.83 2/107 26616 /proc/meminfo: memFree=1312452/2059040 swapFree=4140524/4192956 [pid=26613] ppid=26611 vsize=161756 CPUtime=25.48 /proc/26613/stat : 26613 (wbo1.4b) R 26611 26613 26476 0 -1 4202496 40090 0 0 0 2509 39 0 0 25 0 1 0 86643528 165638144 39983 1992294400 134512640 135752675 4293459376 18446744073709551615 134637880 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26613/statm: 40439 39983 145 303 0 40134 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 161756 [startup+51.1003 s] /proc/loadavg: 0.96 0.98 0.83 2/107 26616 /proc/meminfo: memFree=1179524/2059040 swapFree=4140524/4192956 [pid=26613] ppid=26611 vsize=295844 CPUtime=51.07 /proc/26613/stat : 26613 (wbo1.4b) R 26611 26613 26476 0 -1 4202496 73600 0 0 0 5034 73 0 0 25 0 1 0 86643528 302944256 73493 1992294400 134512640 135752675 4293459376 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26613/statm: 73961 73493 145 303 0 73656 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 295844 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.83 2/107 26618 /proc/meminfo: memFree=907840/2059040 swapFree=4140524/4192956 [pid=26613] ppid=26611 vsize=565428 CPUtime=102.26 /proc/26613/stat : 26613 (wbo1.4b) R 26611 26613 26476 0 -1 4202496 141001 0 0 0 10083 143 0 0 25 0 1 0 86643528 578998272 140894 1992294400 134512640 135752675 4293459376 18446744073709551615 134605448 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26613/statm: 141357 140895 145 303 0 141052 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 565428 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.84 2/107 26618 /proc/meminfo: memFree=587300/2059040 swapFree=4140524/4192956 [pid=26613] ppid=26611 vsize=886360 CPUtime=162.24 /proc/26613/stat : 26613 (wbo1.4b) R 26611 26613 26476 0 -1 4202496 221160 0 0 0 15998 226 0 0 25 0 1 0 86643528 907632640 221053 1992294400 134512640 135752675 4293459376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26613/statm: 221590 221053 145 303 0 221285 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 886360 [startup+222.3 s] /proc/loadavg: 0.99 0.98 0.85 2/107 26620 /proc/meminfo: memFree=545512/2059040 swapFree=4140524/4192956 [pid=26613] ppid=26611 vsize=925760 CPUtime=222.22 /proc/26613/stat : 26613 (wbo1.4b) R 26611 26613 26476 0 -1 4202496 231153 0 0 0 21915 307 0 0 25 0 1 0 86643528 947978240 231015 1992294400 134512640 135752675 4293459376 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26613/statm: 231440 231015 146 303 0 231135 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 925760 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.85 2/107 26622 /proc/meminfo: memFree=504220/2059040 swapFree=4140524/4192956 [pid=26613] ppid=26611 vsize=967908 CPUtime=282.2 /proc/26613/stat : 26613 (wbo1.4b) R 26611 26613 26476 0 -1 4202496 241676 0 0 0 27837 383 0 0 25 0 1 0 86643528 991137792 241538 1992294400 134512640 135752675 4293459376 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26613/statm: 241977 241538 146 303 0 241672 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 967908 [startup+342.3 s] /proc/loadavg: 0.99 0.98 0.86 2/107 26624 /proc/meminfo: memFree=434532/2059040 swapFree=4140524/4192956 [pid=26613] ppid=26611 vsize=1036760 CPUtime=342.19 /proc/26613/stat : 26613 (wbo1.4b) R 26611 26613 26476 0 -1 4202496 258881 0 0 0 33758 461 0 0 25 0 1 0 86643528 1061642240 258743 1992294400 134512640 135752675 4293459376 18446744073709551615 134639452 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26613/statm: 259190 258743 146 303 0 258885 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 1036760 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.86 2/107 26626 /proc/meminfo: memFree=396092/2059040 swapFree=4140524/4192956 [pid=26613] ppid=26611 vsize=1075364 CPUtime=402.17 /proc/26613/stat : 26613 (wbo1.4b) R 26611 26613 26476 0 -1 4202496 268512 0 0 0 39693 524 0 0 25 0 1 0 86643528 1101172736 268374 1992294400 134512640 135752675 4293459376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26613/statm: 268841 268374 146 303 0 268536 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 1075364 [startup+462.3 s] /proc/loadavg: 0.99 0.98 0.87 2/107 26626 /proc/meminfo: memFree=336572/2059040 swapFree=4140524/4192956 [pid=26613] ppid=26611 vsize=1134960 CPUtime=462.16 /proc/26613/stat : 26613 (wbo1.4b) R 26611 26613 26476 0 -1 4202496 283364 0 0 0 45645 571 0 0 25 0 1 0 86643528 1162199040 283226 1992294400 134512640 135752675 4293459376 18446744073709551615 134639032 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26613/statm: 283740 283226 146 303 0 283435 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 1134960 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.87 2/107 26628 /proc/meminfo: memFree=253492/2059040 swapFree=4140524/4192956 [pid=26613] ppid=26611 vsize=1219124 CPUtime=522.14 /proc/26613/stat : 26613 (wbo1.4b) R 26611 26613 26476 0 -1 4202496 304401 0 0 0 51578 636 0 0 25 0 1 0 86643528 1248382976 304263 1992294400 134512640 135752675 4293459376 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26613/statm: 304781 304263 146 303 0 304476 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 1219124 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.88 2/107 26630 /proc/meminfo: memFree=157888/2059040 swapFree=4140524/4192956 [pid=26613] ppid=26611 vsize=1313416 CPUtime=582.12 /proc/26613/stat : 26613 (wbo1.4b) R 26611 26613 26476 0 -1 4202496 327942 0 0 0 57515 697 0 0 25 0 1 0 86643528 1344937984 327804 1992294400 134512640 135752675 4293459376 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26613/statm: 328354 327804 146 303 0 328049 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 1313416 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.89 2/107 26632 /proc/meminfo: memFree=84356/2059040 swapFree=4140524/4192956 [pid=26613] ppid=26611 vsize=1386316 CPUtime=642.11 /proc/26613/stat : 26613 (wbo1.4b) R 26611 26613 26476 0 -1 4202496 346158 0 0 0 63468 743 0 0 25 0 1 0 86643528 1419587584 346020 1992294400 134512640 135752675 4293459376 18446744073709551615 134638155 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26613/statm: 346579 346020 146 303 0 346274 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 1386316 [startup+702.301 s] /proc/loadavg: 0.99 0.98 0.89 2/107 26634 /proc/meminfo: memFree=10300/2059040 swapFree=4140524/4192956 [pid=26613] ppid=26611 vsize=1480520 CPUtime=702.09 /proc/26613/stat : 26613 (wbo1.4b) R 26611 26613 26476 0 -1 4202496 369678 0 0 0 69403 806 0 0 25 0 1 0 86643528 1516052480 369540 1992294400 134512640 135752675 4293459376 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26613/statm: 370130 369540 146 303 0 369825 0 Current children cumulated CPU time (s) 702.09 Current children cumulated vsize (KiB) 1480520 [startup+762.308 s] /proc/loadavg: 0.99 0.98 0.90 2/107 26634 /proc/meminfo: memFree=9548/2059040 swapFree=4140484/4192956 [pid=26613] ppid=26611 vsize=1551328 CPUtime=762.08 /proc/26613/stat : 26613 (wbo1.4b) R 26611 26613 26476 0 -1 4202496 387379 0 0 0 75362 846 0 0 25 0 1 0 86643528 1588559872 387241 1992294400 134512640 135752675 4293459376 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26613/statm: 387832 387241 146 303 0 387527 0 Current children cumulated CPU time (s) 762.08 Current children cumulated vsize (KiB) 1551328 [startup+822.301 s] /proc/loadavg: 0.99 0.98 0.90 2/107 26636 /proc/meminfo: memFree=10376/2059040 swapFree=4140484/4192956 [pid=26613] ppid=26611 vsize=1628804 CPUtime=822.05 /proc/26613/stat : 26613 (wbo1.4b) R 26611 26613 26476 0 -1 4202496 406728 0 0 0 81312 893 0 0 25 0 1 0 86643528 1667895296 406590 1992294400 134512640 135752675 4293459376 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26613/statm: 407201 406590 146 303 0 406896 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 1628804 [startup+882.3 s] /proc/loadavg: 0.99 0.98 0.91 2/107 26638 /proc/meminfo: memFree=9712/2059040 swapFree=4140484/4192956 [pid=26613] ppid=26611 vsize=1699604 CPUtime=882.03 /proc/26613/stat : 26613 (wbo1.4b) R 26611 26613 26476 0 -1 4202496 424425 0 0 0 87270 933 0 0 25 0 1 0 86643528 1740394496 424287 1992294400 134512640 135752675 4293459376 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26613/statm: 424901 424287 146 303 0 424596 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 1699604 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.91 2/107 26640 /proc/meminfo: memFree=10124/2059040 swapFree=4140484/4192956 [pid=26613] ppid=26611 vsize=1758256 CPUtime=942.02 /proc/26613/stat : 26613 (wbo1.4b) R 26611 26613 26476 0 -1 4202496 439070 0 0 0 93225 977 0 0 25 0 1 0 86643528 1800454144 438932 1992294400 134512640 135752675 4293459376 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26613/statm: 439564 438932 146 303 0 439259 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 1758256 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.91 2/107 26642 /proc/meminfo: memFree=10408/2059040 swapFree=4140484/4192956 [pid=26613] ppid=26611 vsize=1819452 CPUtime=1002 /proc/26613/stat : 26613 (wbo1.4b) R 26611 26613 26476 0 -1 4202496 454362 0 0 0 99189 1011 0 0 25 0 1 0 86643528 1863118848 454224 1992294400 134512640 135752675 4293459376 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26613/statm: 454863 454224 146 303 0 454558 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 1819452 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1031.1 s] /proc/loadavg: 0.99 0.98 0.91 2/107 26642 /proc/meminfo: memFree=10692/2059040 swapFree=4140484/4192956 [pid=26613] ppid=26611 vsize=1843268 CPUtime=1030.8 /proc/26613/stat : 26613 (wbo1.4b) R 26611 26613 26476 0 -1 4202496 460294 0 0 0 102055 1025 0 0 25 0 1 0 86643528 1887506432 460156 1992294400 134512640 135752675 4293459376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26613/statm: 460817 460156 146 303 0 460512 0 Current children cumulated CPU time (s) 1030.8 Current children cumulated vsize (KiB) 1843268 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1031.21 s] /proc/loadavg: 0.99 0.98 0.91 2/107 26642 /proc/meminfo: memFree=10692/2059040 swapFree=4140484/4192956 [pid=26613] ppid=26611 vsize=0 CPUtime=1030.9 /proc/26613/stat : 26613 (wbo1.4b) R 26611 26613 26476 0 -1 4203524 460294 0 0 0 102055 1035 0 0 25 0 1 0 86643528 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/26613/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1030.9 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1031.28 CPU time (s): 1030.98 CPU user time (s): 1020.56 CPU system time (s): 10.4264 CPU usage (%): 99.9709 Max. virtual memory (cumulated for all children) (KiB): 1843268 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1020.56 system time used= 10.4264 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460294 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= 34 involuntary context switches= 1317 runsolver used 1.71274 second user time and 4.90425 second system time The end
Begin job on node048 at 2010-06-25 10:11:56 IDJOB=2680662 IDBENCH=2065 IDSOLVER=1190 FILE ID=node048/2680662-1277453516 PBS_JOBID= 11188120 Free space on /tmp= 62500 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8d1.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680662-1277453516/watcher-2680662-1277453516 -o /tmp/evaluation-result-2680662-1277453516/solver-2680662-1277453516 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680662-1277453516.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e79c956fa387b090702a2dffba5fa8e9 RANDOM SEED=1677922319 node048.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.212 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.212 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1471956 kB Buffers: 132188 kB Cached: 347140 kB SwapCached: 5380 kB Active: 112600 kB Inactive: 379744 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1471956 kB SwapTotal: 4192956 kB SwapFree: 4140524 kB Dirty: 2708 kB Writeback: 0 kB AnonPages: 11660 kB Mapped: 11968 kB Slab: 72736 kB PageTables: 4236 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182324 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62496 MiB End job on node048 at 2010-06-25 10:29:10