Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 1167.96 | 1168.29 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8e2.opb |
MD5SUM | 6af59dd0656451189b30414ce106135b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 494 |
Best CPU time to get the best result obtained on this benchmark | 19.1611 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 494 |
Optimality of the best value was proved | NO |
Number of variables | 1740 |
Total number of constraints | 6991 |
Number of constraints which are clauses | 6991 |
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 | 1740 |
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 | 1740 |
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 | 1740 |
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-2680547-1277454843.opb. 0.00/0.00 c Instance file HOME/instance-2680547-1277454843.opb 0.00/0.00 c File size is 196075 bytes. 0.01/0.03 c Highest Coefficient sum: 11 0.01/0.03 c ============================[ Problem Statistics ]============================= 0.01/0.03 c | | 0.01/0.03 c | Parsing time: 0.03 s | 0.01/0.03 c | Number Variables: 1740 | 0.01/0.03 c | Number Clauses: 6991 | 0.01/0.03 c | Number Cardinality: 0 | 0.01/0.03 c | Number PB Constraints: 0 | 0.01/0.09 c ============================[ Search Statistics ]============================== 0.01/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.09 c =============================================================================== 0.01/0.09 c | 0 | 1740 6991 16290 | 5000 0 nan | 0.000 % | 0.01/0.09 c =============================================================================== 0.01/0.09 c New solution: 769 0.01/0.09 o 769 0.01/0.09 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s 0.01/0.09 c =============================================================================== 0.01/0.09 c | 19 | 1740 6992 18030 | 5000 19 9 | 0.000 % | 0.09/0.12 c | 119 | 1740 6992 18030 | 5500 119 659 | 0.000 % | 0.09/0.15 c | 269 | 1740 6992 18030 | 6050 269 728 | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c New solution: 724 0.09/0.16 o 724 0.09/0.16 c Elapsed CPU time: 0.157975 s Remaining CPU time: 179.842 s 0.09/0.16 c =============================================================================== 0.09/0.16 c | 272 | 1740 6993 19770 | 5000 272 720 | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c New solution: 713 0.09/0.16 o 713 0.09/0.16 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s 0.09/0.16 c =============================================================================== 0.09/0.16 c | 273 | 1740 6994 21510 | 5000 273 718 | 0.000 % | 0.09/0.19 c | 373 | 1740 6994 21510 | 5500 373 708 | 0.000 % | 0.19/0.22 c | 524 | 1740 6994 21510 | 6050 524 712 | 0.002 % | 0.19/0.28 c | 749 | 1740 6994 21510 | 6655 749 712 | 0.001 % | 0.29/0.37 c | 1087 | 1740 6994 21510 | 7320 1087 716 | 0.000 % | 0.49/0.50 c | 1594 | 1740 6994 21510 | 8052 1594 719 | 0.004 % | 0.69/0.72 c | 2353 | 1740 6994 21510 | 8857 2353 721 | 0.003 % | 1.00/1.02 c | 3492 | 1740 6994 21510 | 9743 3492 723 | 0.000 % | 1.39/1.49 c | 5201 | 1740 6994 21510 | 10717 5201 724 | 0.000 % | 2.20/2.25 c | 7763 | 1740 6994 21510 | 11789 7763 725 | 0.000 % | 3.49/3.58 c | 11608 | 1740 6994 21510 | 12968 11608 725 | 0.000 % | 5.49/5.52 c | 17376 | 1740 6994 21510 | 14265 10086 725 | 0.000 % | 8.88/9.00 c | 26025 | 1740 6994 21510 | 15692 10799 726 | 0.000 % | 8.98/9.00 c =============================================================================== 8.98/9.00 c New solution: 710 8.98/9.00 o 710 8.98/9.00 c Elapsed CPU time: 8.83266 s Remaining CPU time: 171.167 s 8.98/9.00 c =============================================================================== 8.98/9.00 c | 26027 | 1740 6995 23250 | 5000 10801 726 | 0.000 % | 8.98/9.04 c =============================================================================== 8.98/9.04 c New solution: 688 8.98/9.04 o 688 8.98/9.04 c Elapsed CPU time: 8.86965 s Remaining CPU time: 171.13 s 8.98/9.04 c =============================================================================== 8.98/9.04 c | 26027 | 1740 6996 24990 | 5000 2701 725 | 0.000 % | 8.98/9.06 c | 26127 | 1740 6996 24990 | 5500 2801 724 | 0.000 % | 9.09/9.11 c | 26277 | 1740 6996 24990 | 6050 2951 720 | 0.001 % | 9.09/9.11 c =============================================================================== 9.09/9.11 c New solution: 683 9.09/9.11 o 683 9.09/9.11 c Elapsed CPU time: 8.94364 s Remaining CPU time: 171.056 s 9.09/9.11 c =============================================================================== 9.09/9.11 c | 26280 | 1740 6997 26730 | 5000 2954 720 | 0.001 % | 9.09/9.15 c | 26380 | 1740 6997 26730 | 5500 3054 718 | 0.002 % | 9.09/9.19 c | 26530 | 1740 6997 26730 | 6050 3204 715 | 0.003 % | 9.19/9.25 c | 26757 | 1740 6997 26730 | 6655 3431 713 | 0.001 % | 9.29/9.35 c | 27094 | 1740 6997 26730 | 7320 3768 710 | 0.002 % | 9.49/9.50 c | 27600 | 1740 6997 26730 | 8052 4274 708 | 0.002 % | 9.69/9.73 c | 28361 | 1740 6997 26730 | 8857 5035 706 | 0.001 % | 9.99/10.06 c | 29502 | 1740 6997 26730 | 9743 6176 701 | 0.000 % | 10.58/10.64 c | 31211 | 1740 6997 26730 | 10717 7885 698 | 0.000 % | 11.39/11.40 c | 33773 | 1740 6997 26730 | 11789 10447 695 | 0.000 % | 12.69/12.74 c | 37617 | 1740 6997 26730 | 12968 7642 689 | 0.002 % | 14.79/14.84 c | 43383 | 1740 6997 26730 | 14265 13408 689 | 0.000 % | 17.99/18.09 c | 52033 | 1740 6997 26730 | 15692 14230 682 | 0.003 % | 23.39/23.45 c | 65008 | 1740 6997 26730 | 17261 9857 693 | 0.002 % | 30.79/30.90 c | 84469 | 1740 6997 26730 | 18987 10542 696 | 0.000 % | 42.68/42.79 c | 113662 | 1740 6997 26730 | 20886 19316 695 | 0.000 % | 62.08/62.12 c | 157451 | 1740 6997 26730 | 22974 16670 694 | 0.000 % | 92.87/92.94 c | 223137 | 1740 6997 26730 | 25272 16835 698 | 0.000 % | 147.94/148.00 c | 321663 | 1740 6997 26730 | 27799 19951 696 | 0.000 % | 182.34/182.42 c There are 0 assigned variables. 0 in cost function. 183.65/183.73 c core #1 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 1 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #2 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 2 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #3 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 3 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #4 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 4 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #5 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 5 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #6 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 6 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #7 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 7 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #8 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 8 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #9 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 9 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #10 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 10 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #11 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 11 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #12 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 12 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #13 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 13 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #14 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 14 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #15 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 15 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #16 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 16 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #17 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 17 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #18 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 18 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #19 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 19 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #20 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 20 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #21 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 21 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #22 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 22 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #23 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 23 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #24 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 24 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #25 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 25 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #26 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 26 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #27 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 27 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #28 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 28 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #29 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 29 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #30 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 30 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #31 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 31 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #32 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 32 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #33 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 33 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #34 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 34 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #35 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 35 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #36 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 36 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #37 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 37 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #38 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 38 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #39 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 39 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #40 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 40 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #41 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 41 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #42 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 42 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #43 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 43 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #44 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 44 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #45 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 45 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c core #46 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 3 Core Weight: 1 Total Weight: 46 183.65/183.74 c 183.65/183.74 c 183.65/183.74 c core #47 183.65/183.74 c 183.65/183.74 c 183.65/183.74 c Core size: 3 Core Weight: 1 Total Weight: 47 183.65/183.74 c 183.65/183.74 c 183.65/183.74 c core #48 183.65/183.74 c 183.65/183.74 c 183.65/183.74 c Core size: 3 Core Weight: 1 Total Weight: 48 183.65/183.74 c 183.65/183.74 c 183.65/183.74 c core #49 183.65/183.74 c 183.65/183.74 c 183.65/183.74 c Core size: 3 Core Weight: 1 Total Weight: 49 183.65/183.74 c 183.65/183.74 c 183.65/183.74 c core #50 183.65/183.74 c 183.65/183.74 c 183.65/183.74 c Core size: 3 Core Weight: 1 Total Weight: 50 183.65/183.74 c 183.65/183.74 c 183.65/183.74 c core #51 183.65/183.74 c 183.65/183.74 c 183.65/183.74 c Core size: 3 Core Weight: 1 Total Weight: 51 183.65/183.74 c 183.65/183.74 c 183.65/183.74 c core #52 183.65/183.74 c 183.65/183.74 c 183.65/183.74 c Core size: 3 Core Weight: 1 Total Weight: 52 183.65/183.74 c 183.65/183.74 c 183.65/183.74 c core #53 183.65/183.74 c 183.65/183.74 c 183.65/183.74 c Core size: 3 Core Weight: 1 Total Weight: 53 183.65/183.74 c 183.65/183.74 c 183.65/183.74 c core #54 183.65/183.74 c 183.65/183.74 c 183.65/183.74 c Core size: 3 Core Weight: 1 Total Weight: 54 183.65/183.74 c 183.65/183.74 c 183.65/183.74 c core #55 183.65/183.74 c 183.65/183.74 c 183.65/183.74 c Core size: 3 Core Weight: 1 Total Weight: 55 183.65/183.74 c 183.65/183.74 c 183.65/183.74 c core #56 183.65/183.74 c 183.65/183.74 c 183.65/183.74 c Core size: 3 Core Weight: 1 Total Weight: 56 183.65/183.74 c 183.65/183.74 c 183.65/183.74 c core #57 183.65/183.74 c 183.65/183.74 c 183.65/183.74 c Core size: 3 Core Weight: 1 Total Weight: 57 183.65/183.74 c 183.65/183.74 c 183.65/183.74 c core #58 183.65/183.74 c 183.65/183.74 c 183.65/183.74 c Core size: 3 Core Weight: 1 Total Weight: 58 183.65/183.74 c 183.65/183.74 c 183.65/183.74 c core #59 183.65/183.74 c 183.65/183.74 c 183.65/183.74 c Core size: 3 Core Weight: 1 Total Weight: 59 183.65/183.74 c 183.65/183.74 c 183.65/183.74 c core #60 183.65/183.74 c 183.65/183.74 c 183.65/183.74 c Core size: 3 Core Weight: 1 Total Weight: 60 183.65/183.74 c 183.65/183.74 c 183.65/183.74 c core #61 183.65/183.74 c 183.65/183.74 c 183.65/183.74 c Core size: 3 Core Weight: 1 Total Weight: 61 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #62 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 3 Core Weight: 1 Total Weight: 62 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #63 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 3 Core Weight: 1 Total Weight: 63 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #64 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 3 Core Weight: 1 Total Weight: 64 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #65 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 3 Core Weight: 1 Total Weight: 65 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #66 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 3 Core Weight: 1 Total Weight: 66 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #67 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 3 Core Weight: 1 Total Weight: 67 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #68 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 3 Core Weight: 1 Total Weight: 68 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #69 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 3 Core Weight: 1 Total Weight: 69 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #70 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 3 Core Weight: 1 Total Weight: 70 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #71 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 3 Core Weight: 1 Total Weight: 71 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #72 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 3 Core Weight: 1 Total Weight: 72 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #73 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 3 Core Weight: 1 Total Weight: 73 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #74 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 3 Core Weight: 1 Total Weight: 74 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #75 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 3 Core Weight: 1 Total Weight: 75 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #76 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 3 Core Weight: 1 Total Weight: 76 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #77 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 3 Core Weight: 1 Total Weight: 77 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #78 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 3 Core Weight: 1 Total Weight: 78 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #79 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 3 Core Weight: 1 Total Weight: 79 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #80 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 3 Core Weight: 1 Total Weight: 80 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #81 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 9 Core Weight: 1 Total Weight: 81 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #82 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 9 Core Weight: 1 Total Weight: 82 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #83 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 9 Core Weight: 1 Total Weight: 83 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #84 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 9 Core Weight: 1 Total Weight: 84 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #85 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 9 Core Weight: 1 Total Weight: 85 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #86 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 9 Core Weight: 1 Total Weight: 86 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #87 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 9 Core Weight: 1 Total Weight: 87 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #88 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 9 Core Weight: 1 Total Weight: 88 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #89 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 9 Core Weight: 1 Total Weight: 89 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #90 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 9 Core Weight: 1 Total Weight: 90 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #91 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 11 Core Weight: 1 Total Weight: 91 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #92 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 11 Core Weight: 1 Total Weight: 92 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #93 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 11 Core Weight: 1 Total Weight: 93 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #94 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 11 Core Weight: 1 Total Weight: 94 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #95 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 11 Core Weight: 1 Total Weight: 95 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #96 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 11 Core Weight: 1 Total Weight: 96 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #97 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 11 Core Weight: 1 Total Weight: 97 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #98 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 11 Core Weight: 1 Total Weight: 98 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #99 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 11 Core Weight: 1 Total Weight: 99 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #100 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 11 Core Weight: 1 Total Weight: 100 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #101 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 11 Core Weight: 1 Total Weight: 101 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #102 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 11 Core Weight: 1 Total Weight: 102 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #103 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 11 Core Weight: 1 Total Weight: 103 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #104 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 11 Core Weight: 1 Total Weight: 104 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #105 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 11 Core Weight: 1 Total Weight: 105 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #106 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 11 Core Weight: 1 Total Weight: 106 184.54/184.63 c 184.54/184.63 c 184.54/184.63 c core #107 184.54/184.63 c 184.54/184.63 c 184.54/184.63 c Core size: 11 Core Weight: 1 Total Weight: 107 184.54/184.63 c 184.54/184.63 c 184.54/184.63 c core #108 184.54/184.63 c 184.54/184.63 c 184.54/184.63 c Core size: 11 Core Weight: 1 Total Weight: 108 184.54/184.63 c 184.54/184.63 c 184.54/184.63 c core #109 184.54/184.63 c 184.54/184.63 c 184.54/184.63 c Core size: 11 Core Weight: 1 Total Weight: 109 184.54/184.63 c 184.54/184.63 c 184.54/184.63 c core #110 184.54/184.63 c 184.54/184.63 c 184.54/184.63 c Core size: 11 Core Weight: 1 Total Weight: 110 184.54/184.63 c 184.54/184.63 c 184.54/184.63 c core #111 184.54/184.63 c 184.54/184.63 c 184.54/184.63 c Core size: 11 Core Weight: 1 Total Weight: 111 184.54/184.63 c 184.54/184.63 c 184.54/184.63 c core #112 184.54/184.63 c 184.54/184.63 c 184.54/184.63 c Core size: 11 Core Weight: 1 Total Weight: 112 184.54/184.63 c 184.54/184.63 c 184.54/184.63 c core #113 184.54/184.63 c 184.54/184.63 c 184.54/184.63 c Core size: 11 Core Weight: 1 Total Weight: 113 184.54/184.63 c 184.54/184.63 c 184.54/184.63 c core #114 184.54/184.63 c 184.54/184.63 c 184.54/184.63 c Core size: 11 Core Weight: 1 Total Weight: 114 184.54/184.63 c 184.54/184.63 c 184.54/184.63 c core #115 184.54/184.63 c 184.54/184.63 c 184.54/184.63 c Core size: 11 Core Weight: 1 Total Weight: 115 184.54/184.63 c 184.54/184.63 c 184.54/184.63 c core #116 184.54/184.63 c 184.54/184.63 c 184.54/184.63 c Core size: 11 Core Weight: 1 Total Weight: 116 184.54/184.63 c 184.54/184.63 c 184.54/184.63 c core #117 184.54/184.63 c 184.54/184.63 c 184.54/184.63 c Core size: 11 Core Weight: 1 Total Weight: 117 184.54/184.63 c 184.54/184.63 c 184.54/184.63 c core #118 184.54/184.63 c 184.54/184.63 c 184.54/184.63 c Core size: 11 Core Weight: 1 Total Weight: 118 184.54/184.63 c 184.54/184.63 c 184.54/184.63 c core #119 184.54/184.63 c 184.54/184.63 c 184.54/184.63 c Core size: 11 Core Weight: 1 Total Weight: 119 184.54/184.63 c 184.54/184.63 c 184.54/184.63 c core #120 184.54/184.63 c 184.54/184.63 c 184.54/184.63 c Core size: 11 Core Weight: 1 Total Weight: 120 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #121 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 121 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #122 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 122 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #123 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 123 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #124 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 124 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #125 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 125 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #126 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 126 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #127 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 127 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #128 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 128 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #129 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 129 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #130 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 130 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #131 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 131 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #132 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 132 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #133 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 133 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #134 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 134 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #135 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 135 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #136 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 136 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #137 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 137 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #138 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 138 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #139 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 139 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #140 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 140 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #141 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 141 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #142 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 142 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #143 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 143 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #144 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 144 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #145 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 145 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #146 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 146 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #147 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 147 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #148 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 148 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #149 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 149 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #150 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 150 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #151 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 151 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #152 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 152 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #153 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 153 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #154 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 154 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #155 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 155 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #156 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 156 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #157 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 157 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #158 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 158 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #159 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 159 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #160 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 160 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #161 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 11 Core Weight: 1 Total Weight: 161 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #162 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 13 Core Weight: 1 Total Weight: 162 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #163 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 21 Core Weight: 1 Total Weight: 163 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #164 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 20 Core Weight: 1 Total Weight: 164 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #165 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 21 Core Weight: 1 Total Weight: 165 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #166 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 21 Core Weight: 1 Total Weight: 166 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #167 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 21 Core Weight: 1 Total Weight: 167 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #168 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 22 Core Weight: 1 Total Weight: 168 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #169 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 21 Core Weight: 1 Total Weight: 169 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #170 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 22 Core Weight: 1 Total Weight: 170 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #171 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 23 Core Weight: 1 Total Weight: 171 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #172 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 23 Core Weight: 1 Total Weight: 172 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #173 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 22 Core Weight: 1 Total Weight: 173 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #174 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 20 Core Weight: 1 Total Weight: 174 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #175 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 21 Core Weight: 1 Total Weight: 175 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #176 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 20 Core Weight: 1 Total Weight: 176 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #177 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 22 Core Weight: 1 Total Weight: 177 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c core #178 185.44/185.56 c 185.44/185.56 c 185.44/185.56 c Core size: 13 Core Weight: 1 Total Weight: 178 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #179 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 21 Core Weight: 1 Total Weight: 179 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #180 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 20 Core Weight: 1 Total Weight: 180 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #181 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 21 Core Weight: 1 Total Weight: 181 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #182 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 21 Core Weight: 1 Total Weight: 182 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #183 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 21 Core Weight: 1 Total Weight: 183 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #184 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 22 Core Weight: 1 Total Weight: 184 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #185 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 21 Core Weight: 1 Total Weight: 185 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #186 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 22 Core Weight: 1 Total Weight: 186 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #187 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 23 Core Weight: 1 Total Weight: 187 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #188 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 23 Core Weight: 1 Total Weight: 188 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #189 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 22 Core Weight: 1 Total Weight: 189 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #190 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 20 Core Weight: 1 Total Weight: 190 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #191 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 21 Core Weight: 1 Total Weight: 191 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #192 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 20 Core Weight: 1 Total Weight: 192 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #193 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 22 Core Weight: 1 Total Weight: 193 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #194 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 13 Core Weight: 1 Total Weight: 194 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #195 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 21 Core Weight: 1 Total Weight: 195 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #196 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 20 Core Weight: 1 Total Weight: 196 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #197 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 21 Core Weight: 1 Total Weight: 197 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #198 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 21 Core Weight: 1 Total Weight: 198 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #199 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 21 Core Weight: 1 Total Weight: 199 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #200 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 22 Core Weight: 1 Total Weight: 200 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #201 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 21 Core Weight: 1 Total Weight: 201 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #202 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 22 Core Weight: 1 Total Weight: 202 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #203 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 23 Core Weight: 1 Total Weight: 203 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #204 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 23 Core Weight: 1 Total Weight: 204 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #205 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 22 Core Weight: 1 Total Weight: 205 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #206 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 20 Core Weight: 1 Total Weight: 206 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #207 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 21 Core Weight: 1 Total Weight: 207 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #208 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 20 Core Weight: 1 Total Weight: 208 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #209 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 22 Core Weight: 1 Total Weight: 209 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #210 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 13 Core Weight: 1 Total Weight: 210 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #211 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 21 Core Weight: 1 Total Weight: 211 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #212 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 20 Core Weight: 1 Total Weight: 212 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #213 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 21 Core Weight: 1 Total Weight: 213 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #214 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 21 Core Weight: 1 Total Weight: 214 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #215 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 21 Core Weight: 1 Total Weight: 215 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #216 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 22 Core Weight: 1 Total Weight: 216 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #217 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 21 Core Weight: 1 Total Weight: 217 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #218 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 22 Core Weight: 1 Total Weight: 218 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #219 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 23 Core Weight: 1 Total Weight: 219 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #220 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 23 Core Weight: 1 Total Weight: 220 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #221 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 22 Core Weight: 1 Total Weight: 221 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #222 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 20 Core Weight: 1 Total Weight: 222 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #223 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 21 Core Weight: 1 Total Weight: 223 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #224 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 20 Core Weight: 1 Total Weight: 224 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #225 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 22 Core Weight: 1 Total Weight: 225 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #226 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 13 Core Weight: 1 Total Weight: 226 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #227 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 21 Core Weight: 1 Total Weight: 227 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #228 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 20 Core Weight: 1 Total Weight: 228 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #229 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 21 Core Weight: 1 Total Weight: 229 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #230 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 21 Core Weight: 1 Total Weight: 230 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #231 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 21 Core Weight: 1 Total Weight: 231 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #232 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 22 Core Weight: 1 Total Weight: 232 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #233 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 21 Core Weight: 1 Total Weight: 233 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #234 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 22 Core Weight: 1 Total Weight: 234 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #235 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c Core size: 23 Core Weight: 1 Total Weight: 235 186.44/186.59 c 186.44/186.59 c 186.44/186.59 c core #236 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 23 Core Weight: 1 Total Weight: 236 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #237 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 22 Core Weight: 1 Total Weight: 237 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #238 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 20 Core Weight: 1 Total Weight: 238 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #239 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 21 Core Weight: 1 Total Weight: 239 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #240 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 20 Core Weight: 1 Total Weight: 240 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #241 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 22 Core Weight: 1 Total Weight: 241 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #242 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 13 Core Weight: 1 Total Weight: 242 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #243 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 21 Core Weight: 1 Total Weight: 243 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #244 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 20 Core Weight: 1 Total Weight: 244 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #245 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 21 Core Weight: 1 Total Weight: 245 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #246 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 21 Core Weight: 1 Total Weight: 246 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #247 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 21 Core Weight: 1 Total Weight: 247 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #248 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 22 Core Weight: 1 Total Weight: 248 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #249 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 21 Core Weight: 1 Total Weight: 249 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #250 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 22 Core Weight: 1 Total Weight: 250 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #251 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 23 Core Weight: 1 Total Weight: 251 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #252 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 23 Core Weight: 1 Total Weight: 252 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #253 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 22 Core Weight: 1 Total Weight: 253 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #254 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 20 Core Weight: 1 Total Weight: 254 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #255 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 21 Core Weight: 1 Total Weight: 255 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #256 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 20 Core Weight: 1 Total Weight: 256 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #257 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 22 Core Weight: 1 Total Weight: 257 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #258 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 13 Core Weight: 1 Total Weight: 258 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #259 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 21 Core Weight: 1 Total Weight: 259 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #260 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 20 Core Weight: 1 Total Weight: 260 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #261 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 21 Core Weight: 1 Total Weight: 261 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #262 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 21 Core Weight: 1 Total Weight: 262 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #263 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 21 Core Weight: 1 Total Weight: 263 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #264 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 22 Core Weight: 1 Total Weight: 264 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #265 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 21 Core Weight: 1 Total Weight: 265 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #266 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 22 Core Weight: 1 Total Weight: 266 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #267 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 23 Core Weight: 1 Total Weight: 267 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #268 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 23 Core Weight: 1 Total Weight: 268 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #269 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 22 Core Weight: 1 Total Weight: 269 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #270 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 20 Core Weight: 1 Total Weight: 270 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #271 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 21 Core Weight: 1 Total Weight: 271 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #272 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 20 Core Weight: 1 Total Weight: 272 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #273 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 22 Core Weight: 1 Total Weight: 273 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #274 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 13 Core Weight: 1 Total Weight: 274 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #275 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 21 Core Weight: 1 Total Weight: 275 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #276 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 20 Core Weight: 1 Total Weight: 276 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #277 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 21 Core Weight: 1 Total Weight: 277 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #278 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 21 Core Weight: 1 Total Weight: 278 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #279 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 21 Core Weight: 1 Total Weight: 279 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #280 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 22 Core Weight: 1 Total Weight: 280 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #281 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 21 Core Weight: 1 Total Weight: 281 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #282 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 22 Core Weight: 1 Total Weight: 282 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #283 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 23 Core Weight: 1 Total Weight: 283 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #284 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 23 Core Weight: 1 Total Weight: 284 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #285 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 22 Core Weight: 1 Total Weight: 285 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #286 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 20 Core Weight: 1 Total Weight: 286 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #287 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 21 Core Weight: 1 Total Weight: 287 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #288 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 20 Core Weight: 1 Total Weight: 288 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #289 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 22 Core Weight: 1 Total Weight: 289 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #290 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 13 Core Weight: 1 Total Weight: 290 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #291 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 21 Core Weight: 1 Total Weight: 291 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #292 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 20 Core Weight: 1 Total Weight: 292 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c core #293 187.64/187.72 c 187.64/187.72 c 187.64/187.72 c Core size: 21 Core Weight: 1 Total Weight: 293 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c core #294 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c Core size: 21 Core Weight: 1 Total Weight: 294 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c core #295 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c Core size: 21 Core Weight: 1 Total Weight: 295 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c core #296 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c Core size: 22 Core Weight: 1 Total Weight: 296 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c core #297 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c Core size: 21 Core Weight: 1 Total Weight: 297 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c core #298 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c Core size: 22 Core Weight: 1 Total Weight: 298 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c core #299 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c Core size: 23 Core Weight: 1 Total Weight: 299 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c core #300 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c Core size: 23 Core Weight: 1 Total Weight: 300 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c core #301 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c Core size: 22 Core Weight: 1 Total Weight: 301 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c core #302 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c Core size: 20 Core Weight: 1 Total Weight: 302 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c core #303 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c Core size: 21 Core Weight: 1 Total Weight: 303 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c core #304 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c Core size: 20 Core Weight: 1 Total Weight: 304 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c core #305 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c Core size: 22 Core Weight: 1 Total Weight: 305 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c core #306 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c Core size: 13 Core Weight: 1 Total Weight: 306 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c core #307 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c Core size: 21 Core Weight: 1 Total Weight: 307 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c core #308 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c Core size: 20 Core Weight: 1 Total Weight: 308 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c core #309 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c Core size: 21 Core Weight: 1 Total Weight: 309 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c core #310 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c Core size: 21 Core Weight: 1 Total Weight: 310 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c core #311 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c Core size: 21 Core Weight: 1 Total Weight: 311 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c core #312 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c Core size: 22 Core Weight: 1 Total Weight: 312 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c core #313 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c Core size: 21 Core Weight: 1 Total Weight: 313 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c core #314 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c Core size: 22 Core Weight: 1 Total Weight: 314 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c core #315 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c Core size: 23 Core Weight: 1 Total Weight: 315 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c core #316 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c Core size: 23 Core Weight: 1 Total Weight: 316 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c core #317 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c Core size: 22 Core Weight: 1 Total Weight: 317 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c core #318 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c Core size: 20 Core Weight: 1 Total Weight: 318 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c core #319 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c Core size: 21 Core Weight: 1 Total Weight: 319 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c core #320 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c Core size: 20 Core Weight: 1 Total Weight: 320 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c core #321 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c Core size: 22 Core Weight: 1 Total Weight: 321 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c core #322 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c Core size: 211 Core Weight: 1 Total Weight: 322 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c core #323 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c Core size: 1155 Core Weight: 1 Total Weight: 323 188.34/188.42 c 188.34/188.42 c 188.34/188.42 c ============================[ Search Statistics ]============================== 188.34/188.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.34/188.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.34/188.42 c =============================================================================== 188.34/188.42 c | 0 | 3554 9082 32122 | 5000 0 nan | 0.000 % | 188.34/188.43 c =============================================================================== 188.34/188.45 c core #324 188.34/188.45 c 188.34/188.45 c 188.34/188.45 c Core size: 11 Core Weight: 1 Total Weight: 324 188.34/188.45 c 188.34/188.45 c 188.34/188.45 c ============================[ Search Statistics ]============================== 188.34/188.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.34/188.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.34/188.45 c =============================================================================== 188.34/188.45 c | 0 | 3560 9083 32134 | 5000 0 nan | 0.000 % | 188.34/188.46 c =============================================================================== 188.34/188.49 c core #325 188.34/188.49 c 188.34/188.49 c 188.34/188.49 c Core size: 21 Core Weight: 1 Total Weight: 325 188.34/188.49 c 188.34/188.49 c 188.34/188.49 c ============================[ Search Statistics ]============================== 188.34/188.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.34/188.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.34/188.49 c =============================================================================== 188.34/188.49 c | 0 | 3566 9084 32146 | 5000 0 nan | 0.000 % | 188.34/188.49 c =============================================================================== 188.44/188.52 c core #326 188.44/188.52 c 188.44/188.52 c 188.44/188.52 c Core size: 24 Core Weight: 1 Total Weight: 326 188.44/188.52 c 188.44/188.52 c 188.44/188.52 c ============================[ Search Statistics ]============================== 188.44/188.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.44/188.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.44/188.52 c =============================================================================== 188.44/188.52 c | 0 | 3575 9085 32165 | 5000 0 nan | 0.000 % | 188.44/188.53 c =============================================================================== 188.44/188.56 c core #327 188.44/188.56 c 188.44/188.56 c 188.44/188.56 c Core size: 27 Core Weight: 1 Total Weight: 327 188.44/188.56 c 188.44/188.56 c 188.44/188.56 c ============================[ Search Statistics ]============================== 188.44/188.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.44/188.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.44/188.56 c =============================================================================== 188.44/188.56 c | 0 | 3594 9086 32203 | 5000 0 nan | 0.000 % | 188.44/188.56 c =============================================================================== 188.44/188.59 c core #328 188.44/188.59 c 188.44/188.59 c 188.44/188.59 c Core size: 21 Core Weight: 1 Total Weight: 328 188.44/188.59 c 188.44/188.59 c 188.44/188.59 c ============================[ Search Statistics ]============================== 188.44/188.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.44/188.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.44/188.59 c =============================================================================== 188.44/188.59 c | 0 | 3600 9087 32215 | 5000 0 nan | 0.000 % | 188.54/188.60 c =============================================================================== 188.54/188.63 c core #329 188.54/188.63 c 188.54/188.63 c 188.54/188.63 c Core size: 26 Core Weight: 1 Total Weight: 329 188.54/188.63 c 188.54/188.63 c 188.54/188.63 c ============================[ Search Statistics ]============================== 188.54/188.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.54/188.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.54/188.63 c =============================================================================== 188.54/188.63 c | 0 | 3609 9088 32233 | 5000 0 nan | 0.000 % | 188.54/188.63 c =============================================================================== 188.54/188.66 c core #330 188.54/188.66 c 188.54/188.66 c 188.54/188.66 c Core size: 10 Core Weight: 1 Total Weight: 330 188.54/188.66 c 188.54/188.66 c 188.54/188.66 c ============================[ Search Statistics ]============================== 188.54/188.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.54/188.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.54/188.66 c =============================================================================== 188.54/188.66 c | 0 | 3615 9089 32245 | 5000 0 nan | 0.000 % | 188.54/188.67 c =============================================================================== 188.64/188.70 c core #331 188.64/188.70 c 188.64/188.70 c 188.64/188.70 c Core size: 11 Core Weight: 1 Total Weight: 331 188.64/188.70 c 188.64/188.70 c 188.64/188.70 c ============================[ Search Statistics ]============================== 188.64/188.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.64/188.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.64/188.70 c =============================================================================== 188.64/188.70 c | 0 | 3621 9090 32257 | 5000 0 nan | 0.000 % | 188.64/188.70 c =============================================================================== 188.64/188.73 c core #332 188.64/188.73 c 188.64/188.73 c 188.64/188.73 c Core size: 24 Core Weight: 1 Total Weight: 332 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 | 3631 9091 32278 | 5000 0 nan | 0.000 % | 188.64/188.74 c =============================================================================== 188.64/188.77 c core #333 188.64/188.77 c 188.64/188.77 c 188.64/188.77 c Core size: 10 Core Weight: 1 Total Weight: 333 188.64/188.77 c 188.64/188.77 c 188.64/188.77 c ============================[ Search Statistics ]============================== 188.64/188.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.64/188.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.64/188.77 c =============================================================================== 188.64/188.77 c | 0 | 3637 9092 32290 | 5000 0 nan | 0.000 % | 188.64/188.78 c =============================================================================== 188.74/188.81 c core #334 188.74/188.81 c 188.74/188.81 c 188.74/188.81 c Core size: 21 Core Weight: 1 Total Weight: 334 188.74/188.81 c 188.74/188.81 c 188.74/188.81 c ============================[ Search Statistics ]============================== 188.74/188.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.74/188.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.74/188.81 c =============================================================================== 188.74/188.81 c | 0 | 3650 9093 32317 | 5000 0 nan | 0.000 % | 188.74/188.81 c =============================================================================== 188.74/188.84 c core #335 188.74/188.84 c 188.74/188.84 c 188.74/188.84 c Core size: 10 Core Weight: 1 Total Weight: 335 188.74/188.84 c 188.74/188.84 c 188.74/188.84 c ============================[ Search Statistics ]============================== 188.74/188.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.74/188.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.74/188.84 c =============================================================================== 188.74/188.84 c | 0 | 3656 9094 32329 | 5000 0 nan | 0.000 % | 188.74/188.85 c =============================================================================== 188.74/188.88 c core #336 188.74/188.88 c 188.74/188.88 c 188.74/188.88 c Core size: 12 Core Weight: 1 Total Weight: 336 188.74/188.88 c 188.74/188.88 c 188.74/188.88 c ============================[ Search Statistics ]============================== 188.74/188.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.74/188.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.74/188.88 c =============================================================================== 188.74/188.88 c | 0 | 3663 9095 32343 | 5000 0 nan | 0.000 % | 188.74/188.89 c =============================================================================== 188.84/188.92 c core #337 188.84/188.92 c 188.84/188.92 c 188.84/188.92 c Core size: 14 Core Weight: 1 Total Weight: 337 188.84/188.92 c 188.84/188.92 c 188.84/188.92 c ============================[ Search Statistics ]============================== 188.84/188.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.84/188.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.84/188.92 c =============================================================================== 188.84/188.92 c | 0 | 3671 9096 32359 | 5000 0 nan | 0.000 % | 188.84/188.93 c =============================================================================== 188.84/188.96 c core #338 188.84/188.96 c 188.84/188.96 c 188.84/188.96 c Core size: 10 Core Weight: 1 Total Weight: 338 188.84/188.96 c 188.84/188.96 c 188.84/188.96 c ============================[ Search Statistics ]============================== 188.84/188.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.84/188.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.84/188.96 c =============================================================================== 188.84/188.96 c | 0 | 3677 9097 32371 | 5000 0 nan | 0.000 % | 188.84/188.97 c =============================================================================== 188.94/189.00 c core #339 188.94/189.00 c 188.94/189.00 c 188.94/189.00 c Core size: 26 Core Weight: 1 Total Weight: 339 188.94/189.00 c 188.94/189.00 c 188.94/189.00 c ============================[ Search Statistics ]============================== 188.94/189.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.94/189.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.94/189.00 c =============================================================================== 188.94/189.00 c | 0 | 3691 9098 32399 | 5000 0 nan | 0.000 % | 188.94/189.01 c =============================================================================== 188.94/189.04 c core #340 188.94/189.04 c 188.94/189.04 c 188.94/189.04 c Core size: 22 Core Weight: 1 Total Weight: 340 188.94/189.04 c 188.94/189.04 c 188.94/189.04 c ============================[ Search Statistics ]============================== 188.94/189.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.94/189.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.94/189.04 c =============================================================================== 188.94/189.04 c | 0 | 3701 9099 32419 | 5000 0 nan | 0.000 % | 188.94/189.05 c =============================================================================== 188.94/189.08 c core #341 188.94/189.08 c 188.94/189.08 c 188.94/189.08 c Core size: 15 Core Weight: 1 Total Weight: 341 188.94/189.08 c 188.94/189.08 c 188.94/189.08 c ============================[ Search Statistics ]============================== 188.94/189.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.94/189.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.94/189.08 c =============================================================================== 188.94/189.08 c | 0 | 3711 9100 32440 | 5000 0 nan | 0.000 % | 188.94/189.09 c =============================================================================== 189.04/189.12 c core #342 189.04/189.12 c 189.04/189.12 c 189.04/189.12 c Core size: 20 Core Weight: 1 Total Weight: 342 189.04/189.12 c 189.04/189.12 c 189.04/189.12 c ============================[ Search Statistics ]============================== 189.04/189.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.04/189.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.04/189.12 c =============================================================================== 189.04/189.12 c | 0 | 3719 9101 32456 | 5000 0 nan | 0.000 % | 189.04/189.13 c =============================================================================== 189.04/189.16 c core #343 189.04/189.16 c 189.04/189.16 c 189.04/189.16 c Core size: 29 Core Weight: 1 Total Weight: 343 189.04/189.16 c 189.04/189.16 c 189.04/189.17 c ============================[ Search Statistics ]============================== 189.04/189.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.04/189.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.04/189.17 c =============================================================================== 189.04/189.17 c | 0 | 3734 9102 32486 | 5000 0 nan | 0.000 % | 189.04/189.18 c =============================================================================== 189.14/189.21 c core #344 189.14/189.21 c 189.14/189.21 c 189.14/189.21 c Core size: 37 Core Weight: 1 Total Weight: 344 189.14/189.21 c 189.14/189.21 c 189.14/189.21 c ============================[ Search Statistics ]============================== 189.14/189.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.14/189.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.14/189.21 c =============================================================================== 189.14/189.21 c | 0 | 3763 9103 32544 | 5000 0 nan | 0.000 % | 189.14/189.22 c =============================================================================== 189.14/189.25 c core #345 189.14/189.25 c 189.14/189.25 c 189.14/189.25 c Core size: 18 Core Weight: 1 Total Weight: 345 189.14/189.25 c 189.14/189.25 c 189.14/189.25 c ============================[ Search Statistics ]============================== 189.14/189.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.14/189.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.14/189.25 c =============================================================================== 189.14/189.25 c | 0 | 3776 9104 32570 | 5000 0 nan | 0.000 % | 189.14/189.25 c =============================================================================== 189.14/189.28 c core #346 189.14/189.28 c 189.14/189.28 c 189.14/189.28 c Core size: 12 Core Weight: 1 Total Weight: 346 189.14/189.28 c 189.14/189.28 c 189.14/189.28 c ============================[ Search Statistics ]============================== 189.14/189.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.14/189.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.14/189.28 c =============================================================================== 189.14/189.28 c | 0 | 3783 9105 32584 | 5000 0 nan | 0.000 % | 189.14/189.29 c =============================================================================== 189.24/189.32 c core #347 189.24/189.32 c 189.24/189.32 c 189.24/189.32 c Core size: 12 Core Weight: 1 Total Weight: 347 189.24/189.32 c 189.24/189.32 c 189.24/189.32 c ============================[ Search Statistics ]============================== 189.24/189.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.24/189.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.24/189.32 c =============================================================================== 189.24/189.32 c | 0 | 3790 9106 32598 | 5000 0 nan | 0.000 % | 189.24/189.33 c =============================================================================== 189.24/189.36 c core #348 189.24/189.36 c 189.24/189.36 c 189.24/189.36 c Core size: 12 Core Weight: 1 Total Weight: 348 189.24/189.36 c 189.24/189.36 c 189.24/189.36 c ============================[ Search Statistics ]============================== 189.24/189.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.24/189.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.24/189.36 c =============================================================================== 189.24/189.36 c | 0 | 3797 9107 32612 | 5000 0 nan | 0.000 % | 189.24/189.37 c =============================================================================== 189.34/189.40 c core #349 189.34/189.40 c 189.34/189.40 c 189.34/189.40 c Core size: 26 Core Weight: 1 Total Weight: 349 189.34/189.40 c 189.34/189.40 c 189.34/189.40 c ============================[ Search Statistics ]============================== 189.34/189.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.34/189.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.34/189.40 c =============================================================================== 189.34/189.40 c | 0 | 3811 9109 32643 | 5000 0 nan | 0.000 % | 189.34/189.41 c =============================================================================== 189.34/189.44 c core #350 189.34/189.44 c 189.34/189.44 c 189.34/189.44 c Core size: 16 Core Weight: 1 Total Weight: 350 189.34/189.44 c 189.34/189.44 c 189.34/189.44 c ============================[ Search Statistics ]============================== 189.34/189.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.34/189.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.34/189.44 c =============================================================================== 189.34/189.44 c | 0 | 3820 9110 32661 | 5000 0 nan | 0.000 % | 189.34/189.45 c =============================================================================== 189.34/189.48 c core #351 189.34/189.48 c 189.34/189.48 c 189.34/189.48 c Core size: 23 Core Weight: 1 Total Weight: 351 189.34/189.48 c 189.34/189.48 c 189.34/189.48 c ============================[ Search Statistics ]============================== 189.34/189.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.34/189.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.34/189.48 c =============================================================================== 189.34/189.48 c | 0 | 3833 9111 32687 | 5000 0 nan | 0.000 % | 189.34/189.49 c =============================================================================== 189.43/189.52 c core #352 189.43/189.52 c 189.43/189.52 c 189.43/189.52 c Core size: 30 Core Weight: 1 Total Weight: 352 189.43/189.52 c 189.43/189.52 c 189.43/189.52 c ============================[ Search Statistics ]============================== 189.43/189.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.43/189.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.43/189.52 c =============================================================================== 189.43/189.52 c | 0 | 3846 9113 32715 | 5000 0 nan | 0.000 % | 189.43/189.53 c =============================================================================== 189.43/189.56 c core #353 189.43/189.56 c 189.43/189.56 c 189.43/189.56 c Core size: 27 Core Weight: 1 Total Weight: 353 189.43/189.56 c 189.43/189.56 c 189.43/189.56 c ============================[ Search Statistics ]============================== 189.43/189.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.43/189.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.43/189.56 c =============================================================================== 189.43/189.56 c | 0 | 3852 9114 32727 | 5000 0 nan | 0.000 % | 189.43/189.57 c =============================================================================== 189.53/189.60 c core #354 189.53/189.60 c 189.53/189.60 c 189.53/189.60 c Core size: 25 Core Weight: 1 Total Weight: 354 189.53/189.60 c 189.53/189.60 c 189.53/189.60 c ============================[ Search Statistics ]============================== 189.53/189.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.53/189.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.53/189.60 c =============================================================================== 189.53/189.60 c | 0 | 3860 9115 32743 | 5000 0 nan | 0.000 % | 189.53/189.61 c =============================================================================== 189.53/189.64 c core #355 189.53/189.64 c 189.53/189.64 c 189.53/189.64 c Core size: 23 Core Weight: 1 Total Weight: 355 189.53/189.64 c 189.53/189.64 c 189.53/189.64 c ============================[ Search Statistics ]============================== 189.53/189.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.53/189.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.53/189.64 c =============================================================================== 189.53/189.64 c | 0 | 3870 9116 32764 | 5000 0 nan | 0.000 % | 189.53/189.64 c =============================================================================== 189.53/189.67 c core #356 189.53/189.67 c 189.53/189.67 c 189.53/189.67 c Core size: 36 Core Weight: 1 Total Weight: 356 189.53/189.67 c 189.53/189.67 c 189.53/189.68 c ============================[ Search Statistics ]============================== 189.53/189.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.53/189.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.53/189.68 c =============================================================================== 189.53/189.68 c | 0 | 3885 9117 32794 | 5000 0 nan | 0.000 % | 189.53/189.68 c =============================================================================== 189.63/189.71 c core #357 189.63/189.71 c 189.63/189.71 c 189.63/189.71 c Core size: 28 Core Weight: 1 Total Weight: 357 189.63/189.71 c 189.63/189.71 c 189.63/189.71 c ============================[ Search Statistics ]============================== 189.63/189.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.63/189.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.63/189.71 c =============================================================================== 189.63/189.71 c | 0 | 3893 9118 32810 | 5000 0 nan | 0.000 % | 189.63/189.72 c =============================================================================== 189.63/189.75 c core #358 189.63/189.75 c 189.63/189.75 c 189.63/189.75 c Core size: 31 Core Weight: 1 Total Weight: 358 189.63/189.75 c 189.63/189.75 c 189.63/189.75 c ============================[ Search Statistics ]============================== 189.63/189.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.63/189.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.63/189.75 c =============================================================================== 189.63/189.75 c | 0 | 3908 9119 32840 | 5000 0 nan | 0.000 % | 189.63/189.77 c =============================================================================== 189.73/189.80 c core #359 189.73/189.80 c 189.73/189.80 c 189.73/189.80 c Core size: 50 Core Weight: 1 Total Weight: 359 189.73/189.80 c 189.73/189.80 c 189.73/189.80 c ============================[ Search Statistics ]============================== 189.73/189.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.73/189.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.73/189.80 c =============================================================================== 189.73/189.80 c | 0 | 3937 9120 32898 | 5000 0 nan | 0.000 % | 189.73/189.81 c =============================================================================== 189.73/189.84 c core #360 189.73/189.84 c 189.73/189.84 c 189.73/189.84 c Core size: 31 Core Weight: 1 Total Weight: 360 189.73/189.84 c 189.73/189.84 c 189.73/189.84 c ============================[ Search Statistics ]============================== 189.73/189.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.73/189.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.73/189.84 c =============================================================================== 189.73/189.84 c | 0 | 3957 9121 32938 | 5000 0 nan | 0.000 % | 189.73/189.85 c =============================================================================== 189.73/189.88 c core #361 189.73/189.88 c 189.73/189.88 c 189.73/189.88 c Core size: 12 Core Weight: 1 Total Weight: 361 189.73/189.88 c 189.73/189.88 c 189.73/189.88 c ============================[ Search Statistics ]============================== 189.73/189.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.73/189.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.73/189.88 c =============================================================================== 189.73/189.88 c | 0 | 3964 9122 32952 | 5000 0 nan | 0.000 % | 189.73/189.89 c =============================================================================== 189.84/189.92 c core #362 189.84/189.92 c 189.84/189.92 c 189.84/189.92 c Core size: 18 Core Weight: 1 Total Weight: 362 189.84/189.92 c 189.84/189.92 c 189.84/189.92 c ============================[ Search Statistics ]============================== 189.84/189.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.84/189.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.84/189.92 c =============================================================================== 189.84/189.92 c | 0 | 3974 9123 32972 | 5000 0 nan | 0.000 % | 189.84/189.93 c =============================================================================== 189.84/189.96 c core #363 189.84/189.96 c 189.84/189.96 c 189.84/189.96 c Core size: 14 Core Weight: 1 Total Weight: 363 189.84/189.96 c 189.84/189.96 c 189.84/189.96 c ============================[ Search Statistics ]============================== 189.84/189.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.84/189.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.84/189.96 c =============================================================================== 189.84/189.96 c | 0 | 3982 9124 32988 | 5000 0 nan | 0.000 % | 189.84/189.97 c =============================================================================== 189.94/190.00 c core #364 189.94/190.00 c 189.94/190.00 c 189.94/190.00 c Core size: 27 Core Weight: 1 Total Weight: 364 189.94/190.00 c 189.94/190.00 c 189.94/190.00 c ============================[ Search Statistics ]============================== 189.94/190.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.94/190.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.94/190.00 c =============================================================================== 189.94/190.00 c | 0 | 3998 9126 33024 | 5000 0 nan | 0.000 % | 189.94/190.01 c =============================================================================== 189.94/190.04 c core #365 189.94/190.04 c 189.94/190.04 c 189.94/190.04 c Core size: 15 Core Weight: 1 Total Weight: 365 189.94/190.04 c 189.94/190.04 c 189.94/190.04 c ============================[ Search Statistics ]============================== 189.94/190.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.94/190.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.94/190.04 c =============================================================================== 189.94/190.04 c | 0 | 4008 9127 33044 | 5000 0 nan | 0.000 % | 189.94/190.04 c =============================================================================== 189.94/190.08 c core #366 189.94/190.08 c 189.94/190.08 c 189.94/190.08 c Core size: 14 Core Weight: 1 Total Weight: 366 189.94/190.08 c 189.94/190.08 c 189.94/190.08 c ============================[ Search Statistics ]============================== 189.94/190.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.94/190.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.94/190.08 c =============================================================================== 189.94/190.08 c | 0 | 4017 9128 33063 | 5000 0 nan | 0.000 % | 189.94/190.08 c =============================================================================== 190.04/190.12 c core #367 190.04/190.12 c 190.04/190.12 c 190.04/190.12 c Core size: 30 Core Weight: 1 Total Weight: 367 190.04/190.12 c 190.04/190.12 c 190.04/190.12 c ============================[ Search Statistics ]============================== 190.04/190.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.04/190.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.04/190.12 c =============================================================================== 190.04/190.12 c | 0 | 4028 9129 33085 | 5000 0 nan | 0.000 % | 190.04/190.12 c =============================================================================== 190.04/190.15 c core #368 190.04/190.15 c 190.04/190.15 c 190.04/190.15 c Core size: 21 Core Weight: 1 Total Weight: 368 190.04/190.15 c 190.04/190.15 c 190.04/190.15 c ============================[ Search Statistics ]============================== 190.04/190.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.04/190.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.04/190.15 c =============================================================================== 190.04/190.15 c | 0 | 4033 9131 33098 | 5000 0 nan | 0.000 % | 190.04/190.16 c =============================================================================== 190.04/190.19 c core #369 190.04/190.19 c 190.04/190.19 c 190.04/190.19 c Core size: 36 Core Weight: 1 Total Weight: 369 190.04/190.19 c 190.04/190.19 c 190.04/190.19 c ============================[ Search Statistics ]============================== 190.04/190.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.04/190.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.04/190.19 c =============================================================================== 190.04/190.19 c | 0 | 4055 9132 33142 | 5000 0 nan | 0.000 % | 190.14/190.21 c =============================================================================== 190.14/190.24 c core #370 190.14/190.24 c 190.14/190.24 c 190.14/190.24 c Core size: 22 Core Weight: 1 Total Weight: 370 190.14/190.24 c 190.14/190.24 c 190.14/190.24 c ============================[ Search Statistics ]============================== 190.14/190.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.14/190.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.14/190.24 c =============================================================================== 190.14/190.24 c | 0 | 4068 9134 33170 | 5000 0 nan | 0.000 % | 190.14/190.25 c =============================================================================== 190.14/190.28 c core #371 190.14/190.28 c 190.14/190.28 c 190.14/190.28 c Core size: 23 Core Weight: 1 Total Weight: 371 190.14/190.28 c 190.14/190.28 c 190.14/190.28 c ============================[ Search Statistics ]============================== 190.14/190.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.14/190.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.14/190.28 c =============================================================================== 190.14/190.28 c | 0 | 4078 9135 33191 | 5000 0 nan | 0.000 % | 190.14/190.29 c =============================================================================== 190.24/190.32 c core #372 190.24/190.32 c 190.24/190.32 c 190.24/190.32 c Core size: 23 Core Weight: 1 Total Weight: 372 190.24/190.32 c 190.24/190.32 c 190.24/190.32 c ============================[ Search Statistics ]============================== 190.24/190.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.24/190.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.24/190.32 c =============================================================================== 190.24/190.32 c | 0 | 4085 9137 33208 | 5000 0 nan | 0.000 % | 190.24/190.33 c =============================================================================== 190.24/190.36 c core #373 190.24/190.36 c 190.24/190.36 c 190.24/190.36 c Core size: 22 Core Weight: 1 Total Weight: 373 190.24/190.36 c 190.24/190.36 c 190.24/190.36 c ============================[ Search Statistics ]============================== 190.24/190.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.24/190.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.24/190.36 c =============================================================================== 190.24/190.36 c | 0 | 4094 9138 33227 | 5000 0 nan | 0.000 % | 190.24/190.37 c =============================================================================== 190.33/190.40 c core #374 190.33/190.40 c 190.33/190.40 c 190.33/190.40 c Core size: 22 Core Weight: 1 Total Weight: 374 190.33/190.40 c 190.33/190.40 c 190.33/190.40 c ============================[ Search Statistics ]============================== 190.33/190.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.33/190.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.33/190.40 c =============================================================================== 190.33/190.40 c | 0 | 4100 9140 33242 | 5000 0 nan | 0.000 % | 190.33/190.41 c =============================================================================== 190.33/190.44 c core #375 190.33/190.44 c 190.33/190.44 c 190.33/190.44 c Core size: 23 Core Weight: 1 Total Weight: 375 190.33/190.44 c 190.33/190.44 c 190.33/190.44 c ============================[ Search Statistics ]============================== 190.33/190.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.33/190.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.33/190.44 c =============================================================================== 190.33/190.44 c | 0 | 4107 9141 33256 | 5000 0 nan | 0.000 % | 190.33/190.45 c =============================================================================== 190.33/190.49 c core #376 190.33/190.49 c 190.33/190.49 c 190.33/190.49 c Core size: 23 Core Weight: 1 Total Weight: 376 190.33/190.49 c 190.33/190.49 c 190.33/190.49 c ============================[ Search Statistics ]============================== 190.33/190.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.33/190.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.33/190.49 c =============================================================================== 190.33/190.49 c | 0 | 4114 9143 33273 | 5000 0 nan | 0.000 % | 190.33/190.49 c =============================================================================== 190.43/190.53 c core #377 190.43/190.53 c 190.43/190.53 c 190.43/190.53 c Core size: 25 Core Weight: 1 Total Weight: 377 190.43/190.53 c 190.43/190.53 c 190.43/190.53 c ============================[ Search Statistics ]============================== 190.43/190.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.43/190.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.43/190.53 c =============================================================================== 190.43/190.53 c | 0 | 4123 9144 33291 | 5000 0 nan | 0.000 % | 190.43/190.54 c =============================================================================== 190.43/190.57 c core #378 190.43/190.57 c 190.43/190.57 c 190.43/190.57 c Core size: 29 Core Weight: 1 Total Weight: 378 190.43/190.57 c 190.43/190.57 c 190.43/190.57 c ============================[ Search Statistics ]============================== 190.43/190.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.43/190.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.43/190.57 c =============================================================================== 190.43/190.57 c | 0 | 4134 9145 33313 | 5000 0 nan | 0.000 % | 190.43/190.58 c =============================================================================== 190.53/190.61 c core #379 190.53/190.61 c 190.53/190.61 c 190.53/190.61 c Core size: 10 Core Weight: 1 Total Weight: 379 190.53/190.61 c 190.53/190.61 c 190.53/190.61 c ============================[ Search Statistics ]============================== 190.53/190.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.53/190.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.53/190.61 c =============================================================================== 190.53/190.61 c | 0 | 4140 9146 33325 | 5000 0 nan | 0.000 % | 190.53/190.62 c =============================================================================== 190.53/190.65 c core #380 190.53/190.65 c 190.53/190.65 c 190.53/190.65 c Core size: 22 Core Weight: 1 Total Weight: 380 190.53/190.65 c 190.53/190.65 c 190.53/190.65 c ============================[ Search Statistics ]============================== 190.53/190.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.53/190.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.53/190.65 c =============================================================================== 190.53/190.65 c | 0 | 4156 9147 33357 | 5000 0 nan | 0.000 % | 190.53/190.66 c =============================================================================== 190.53/190.69 c core #381 190.53/190.69 c 190.53/190.69 c 190.53/190.69 c Core size: 23 Core Weight: 1 Total Weight: 381 190.53/190.69 c 190.53/190.69 c 190.53/190.69 c ============================[ Search Statistics ]============================== 190.53/190.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.53/190.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.53/190.69 c =============================================================================== 190.53/190.69 c | 0 | 4166 9148 33378 | 5000 0 nan | 0.000 % | 190.63/190.70 c =============================================================================== 190.63/190.74 c core #382 190.63/190.74 c 190.63/190.74 c 190.63/190.74 c Core size: 26 Core Weight: 1 Total Weight: 382 190.63/190.74 c 190.63/190.74 c 190.63/190.74 c ============================[ Search Statistics ]============================== 190.63/190.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.63/190.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.63/190.74 c =============================================================================== 190.63/190.74 c | 0 | 4176 9149 33398 | 5000 0 nan | 0.000 % | 190.63/190.75 c =============================================================================== 190.63/190.78 c core #383 190.63/190.78 c 190.63/190.78 c 190.63/190.78 c Core size: 17 Core Weight: 1 Total Weight: 383 190.63/190.78 c 190.63/190.78 c 190.63/190.78 c ============================[ Search Statistics ]============================== 190.63/190.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.63/190.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.63/190.78 c =============================================================================== 190.63/190.78 c | 0 | 4186 9150 33418 | 5000 0 nan | 0.000 % | 190.63/190.79 c =============================================================================== 190.73/190.82 c core #384 190.73/190.82 c 190.73/190.82 c 190.73/190.82 c Core size: 24 Core Weight: 1 Total Weight: 384 190.73/190.82 c 190.73/190.82 c 190.73/190.82 c ============================[ Search Statistics ]============================== 190.73/190.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.73/190.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.73/190.82 c =============================================================================== 190.73/190.82 c | 0 | 4203 9151 33452 | 5000 0 nan | 0.000 % | 190.73/190.83 c =============================================================================== 190.73/190.86 c core #385 190.73/190.86 c 190.73/190.86 c 190.73/190.86 c Core size: 25 Core Weight: 1 Total Weight: 385 190.73/190.86 c 190.73/190.86 c 190.73/190.86 c ============================[ Search Statistics ]============================== 190.73/190.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.73/190.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.73/190.87 c =============================================================================== 190.73/190.87 c | 0 | 4210 9152 33466 | 5000 0 nan | 0.000 % | 190.73/190.87 c =============================================================================== 190.83/190.91 c core #386 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c Core size: 33 Core Weight: 1 Total Weight: 386 190.83/190.91 c 190.83/190.91 c 190.83/190.91 c ============================[ Search Statistics ]============================== 190.83/190.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.83/190.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.83/190.91 c =============================================================================== 190.83/190.91 c | 0 | 4232 9153 33510 | 5000 0 nan | 0.000 % | 190.83/190.92 c =============================================================================== 190.83/190.95 c core #387 190.83/190.95 c 190.83/190.95 c 190.83/190.95 c Core size: 17 Core Weight: 1 Total Weight: 387 190.83/190.95 c 190.83/190.95 c 190.83/190.95 c ============================[ Search Statistics ]============================== 190.83/190.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.83/190.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.83/190.95 c =============================================================================== 190.83/190.95 c | 0 | 4242 9154 33530 | 5000 0 nan | 0.000 % | 190.83/190.96 c =============================================================================== 190.83/190.99 c core #388 190.83/190.99 c 190.83/190.99 c 190.83/190.99 c Core size: 22 Core Weight: 1 Total Weight: 388 190.83/190.99 c 190.83/190.99 c 190.83/190.99 c ============================[ Search Statistics ]============================== 190.83/190.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.83/190.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.83/190.99 c =============================================================================== 190.83/190.99 c | 0 | 4250 9155 33546 | 5000 0 nan | 0.000 % | 190.93/191.00 c =============================================================================== 190.93/191.04 c core #389 190.93/191.04 c 190.93/191.04 c 190.93/191.04 c Core size: 21 Core Weight: 1 Total Weight: 389 190.93/191.04 c 190.93/191.04 c 190.93/191.04 c ============================[ Search Statistics ]============================== 190.93/191.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.93/191.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.93/191.04 c =============================================================================== 190.93/191.04 c | 0 | 4264 9157 33577 | 5000 0 nan | 0.000 % | 190.93/191.05 c =============================================================================== 190.93/191.08 c core #390 190.93/191.08 c 190.93/191.08 c 190.93/191.08 c Core size: 42 Core Weight: 1 Total Weight: 390 190.93/191.08 c 190.93/191.08 c 190.93/191.08 c ============================[ Search Statistics ]============================== 190.93/191.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.93/191.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.93/191.08 c =============================================================================== 190.93/191.08 c | 0 | 4284 9159 33620 | 5000 0 nan | 0.000 % | 190.93/191.09 c =============================================================================== 191.03/191.13 c core #391 191.03/191.13 c 191.03/191.13 c 191.03/191.13 c Core size: 33 Core Weight: 1 Total Weight: 391 191.03/191.13 c 191.03/191.13 c 191.03/191.13 c ============================[ Search Statistics ]============================== 191.03/191.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.03/191.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.03/191.13 c =============================================================================== 191.03/191.13 c | 0 | 4306 9161 33666 | 5000 0 nan | 0.000 % | 191.03/191.14 c | 104 | 4305 9161 33666 | 5500 104 10 | 0.325 % | 191.03/191.15 c =============================================================================== 191.03/191.18 c core #392 191.03/191.18 c 191.03/191.18 c 191.03/191.18 c Core size: 58 Core Weight: 1 Total Weight: 392 191.03/191.18 c 191.03/191.18 c 191.03/191.18 c ============================[ Search Statistics ]============================== 191.03/191.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.03/191.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.03/191.18 c =============================================================================== 191.03/191.18 c | 0 | 4349 9162 33752 | 5000 0 nan | 0.000 % | 191.12/191.20 c =============================================================================== 191.12/191.23 c core #393 191.12/191.23 c 191.12/191.23 c 191.12/191.23 c Core size: 23 Core Weight: 1 Total Weight: 393 191.12/191.23 c 191.12/191.23 c 191.12/191.23 c ============================[ Search Statistics ]============================== 191.12/191.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.12/191.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.12/191.23 c =============================================================================== 191.12/191.23 c | 0 | 4357 9163 33768 | 5000 0 nan | 0.000 % | 191.12/191.24 c =============================================================================== 191.12/191.28 c core #394 191.12/191.28 c 191.12/191.28 c 191.12/191.28 c Core size: 29 Core Weight: 1 Total Weight: 394 191.12/191.28 c 191.12/191.28 c 191.12/191.28 c ============================[ Search Statistics ]============================== 191.12/191.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.12/191.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.12/191.28 c =============================================================================== 191.12/191.28 c | 0 | 4370 9164 33794 | 5000 0 nan | 0.000 % | 191.23/191.30 c | 100 | 4357 9164 33794 | 5500 100 5 | 2.283 % | 191.23/191.32 c =============================================================================== 191.23/191.36 c core #395 191.23/191.36 c 191.23/191.36 c 191.23/191.36 c Core size: 23 Core Weight: 1 Total Weight: 395 191.23/191.36 c 191.23/191.36 c 191.23/191.36 c ============================[ Search Statistics ]============================== 191.23/191.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.23/191.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.23/191.36 c =============================================================================== 191.23/191.36 c | 0 | 4387 9167 33833 | 5000 0 nan | 0.000 % | 191.23/191.37 c =============================================================================== 191.34/191.41 c core #396 191.34/191.41 c 191.34/191.41 c 191.34/191.41 c Core size: 27 Core Weight: 1 Total Weight: 396 191.34/191.41 c 191.34/191.41 c 191.34/191.41 c ============================[ Search Statistics ]============================== 191.34/191.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.34/191.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.34/191.41 c =============================================================================== 191.34/191.41 c | 0 | 4397 9169 33856 | 5000 0 nan | 0.000 % | 191.34/191.42 c =============================================================================== 191.34/191.45 c core #397 191.34/191.45 c 191.34/191.45 c 191.34/191.45 c Core size: 24 Core Weight: 1 Total Weight: 397 191.34/191.45 c 191.34/191.45 c 191.34/191.45 c ============================[ Search Statistics ]============================== 191.34/191.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.34/191.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.34/191.45 c =============================================================================== 191.34/191.45 c | 0 | 4412 9170 33886 | 5000 0 nan | 0.000 % | 191.34/191.47 c =============================================================================== 191.43/191.51 c core #398 191.43/191.51 c 191.43/191.51 c 191.43/191.51 c Core size: 35 Core Weight: 1 Total Weight: 398 191.43/191.51 c 191.43/191.51 c 191.43/191.51 c ============================[ Search Statistics ]============================== 191.43/191.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.43/191.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.43/191.51 c =============================================================================== 191.43/191.51 c | 0 | 4422 9171 33906 | 5000 0 nan | 0.000 % | 191.43/191.53 c =============================================================================== 191.43/191.56 c core #399 191.43/191.56 c 191.43/191.56 c 191.43/191.56 c Core size: 15 Core Weight: 1 Total Weight: 399 191.43/191.56 c 191.43/191.56 c 191.43/191.56 c ============================[ Search Statistics ]============================== 191.43/191.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.43/191.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.43/191.56 c =============================================================================== 191.43/191.56 c | 0 | 4433 9172 33928 | 5000 0 nan | 0.000 % | 191.43/191.58 c =============================================================================== 191.53/191.62 c core #400 191.53/191.62 c 191.53/191.62 c 191.53/191.62 c Core size: 18 Core Weight: 1 Total Weight: 400 191.53/191.62 c 191.53/191.62 c 191.53/191.62 c ============================[ Search Statistics ]============================== 191.53/191.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.53/191.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.53/191.62 c =============================================================================== 191.53/191.62 c | 0 | 4443 9173 33948 | 5000 0 nan | 0.000 % | 191.53/191.64 c =============================================================================== 191.53/191.67 c core #401 191.53/191.67 c 191.53/191.67 c 191.53/191.67 c Core size: 34 Core Weight: 1 Total Weight: 401 191.53/191.67 c 191.53/191.67 c 191.53/191.67 c ============================[ Search Statistics ]============================== 191.53/191.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.53/191.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.53/191.67 c =============================================================================== 191.53/191.67 c | 0 | 4464 9174 33990 | 5000 0 nan | 0.000 % | 191.53/191.69 c =============================================================================== 191.62/191.72 c core #402 191.62/191.72 c 191.62/191.72 c 191.62/191.72 c Core size: 28 Core Weight: 1 Total Weight: 402 191.62/191.72 c 191.62/191.72 c 191.62/191.72 c ============================[ Search Statistics ]============================== 191.62/191.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.62/191.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.62/191.72 c =============================================================================== 191.62/191.72 c | 0 | 4478 9176 34021 | 5000 0 nan | 0.000 % | 191.62/191.75 c =============================================================================== 191.62/191.79 c core #403 191.62/191.79 c 191.62/191.79 c 191.62/191.79 c Core size: 25 Core Weight: 1 Total Weight: 403 191.62/191.79 c 191.62/191.79 c 191.62/191.79 c ============================[ Search Statistics ]============================== 191.62/191.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.62/191.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.62/191.79 c =============================================================================== 191.62/191.79 c | 0 | 4495 9177 34055 | 5000 0 nan | 0.000 % | 191.72/191.82 c | 100 | 4360 9177 34055 | 5500 100 5 | 6.593 % | 191.72/191.83 c =============================================================================== 191.72/191.87 c core #404 191.72/191.87 c 191.72/191.87 c 191.72/191.87 c Core size: 239 Core Weight: 1 Total Weight: 404 191.72/191.87 c 191.72/191.87 c 191.72/191.87 c ============================[ Search Statistics ]============================== 191.72/191.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.72/191.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.72/191.87 c =============================================================================== 191.72/191.87 c | 0 | 4601 9180 34273 | 5000 0 nan | 0.000 % | 191.72/191.88 c =============================================================================== 191.83/191.92 c core #405 191.83/191.92 c 191.83/191.92 c 191.83/191.92 c Core size: 24 Core Weight: 1 Total Weight: 405 191.83/191.92 c 191.83/191.92 c 191.83/191.92 c ============================[ Search Statistics ]============================== 191.83/191.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.83/191.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.83/191.92 c =============================================================================== 191.83/191.92 c | 0 | 4616 9182 34305 | 5000 0 nan | 0.000 % | 191.83/191.94 c | 101 | 4614 9182 34305 | 5500 101 12 | 0.259 % | 191.83/191.97 c | 253 | 4602 9182 34305 | 6050 253 11 | 0.584 % | 191.83/191.98 c =============================================================================== 191.92/192.02 c core #406 191.92/192.02 c 191.92/192.02 c 191.92/192.02 c Core size: 16 Core Weight: 1 Total Weight: 406 191.92/192.02 c 191.92/192.02 c 191.92/192.02 c ============================[ Search Statistics ]============================== 191.92/192.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.92/192.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.92/192.02 c =============================================================================== 191.92/192.02 c | 0 | 4628 9183 34329 | 5000 0 nan | 0.000 % | 191.92/192.04 c =============================================================================== 191.92/192.07 c core #407 191.92/192.07 c 191.92/192.07 c 191.92/192.07 c Core size: 15 Core Weight: 1 Total Weight: 407 191.92/192.07 c 191.92/192.07 c 191.92/192.07 c ============================[ Search Statistics ]============================== 191.92/192.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.92/192.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.92/192.07 c =============================================================================== 191.92/192.07 c | 0 | 4640 9184 34353 | 5000 0 nan | 0.000 % | 191.92/192.10 c | 100 | 4636 9184 34353 | 5500 100 9 | 0.344 % | 192.03/192.11 c =============================================================================== 192.03/192.15 c core #408 192.03/192.15 c 192.03/192.15 c 192.03/192.15 c Core size: 46 Core Weight: 1 Total Weight: 408 192.03/192.15 c 192.03/192.15 c 192.03/192.15 c ============================[ Search Statistics ]============================== 192.03/192.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.03/192.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.03/192.15 c =============================================================================== 192.03/192.15 c | 0 | 4672 9185 34417 | 5000 0 nan | 0.000 % | 192.03/192.18 c | 100 | 4669 9185 34417 | 5500 100 7 | 0.299 % | 192.13/192.21 c =============================================================================== 192.13/192.25 c core #409 192.13/192.25 c 192.13/192.25 c 192.13/192.25 c Core size: 25 Core Weight: 1 Total Weight: 409 192.13/192.25 c 192.13/192.25 c 192.13/192.25 c ============================[ Search Statistics ]============================== 192.13/192.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.13/192.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.13/192.25 c =============================================================================== 192.13/192.25 c | 0 | 4693 9189 34467 | 5000 0 nan | 0.000 % | 192.13/192.27 c =============================================================================== 192.23/192.30 c core #410 192.23/192.30 c 192.23/192.30 c 192.23/192.30 c Core size: 18 Core Weight: 1 Total Weight: 410 192.23/192.30 c 192.23/192.30 c 192.23/192.30 c ============================[ Search Statistics ]============================== 192.23/192.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.23/192.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.23/192.30 c =============================================================================== 192.23/192.30 c | 0 | 4706 9190 34493 | 5000 0 nan | 0.000 % | 192.23/192.32 c | 100 | 4702 9190 34493 | 5500 100 10 | 0.297 % | 192.23/192.35 c =============================================================================== 192.23/192.38 c core #411 192.23/192.38 c 192.23/192.38 c 192.23/192.38 c Core size: 41 Core Weight: 1 Total Weight: 411 192.23/192.38 c 192.23/192.38 c 192.23/192.38 c ============================[ Search Statistics ]============================== 192.23/192.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.23/192.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.23/192.38 c =============================================================================== 192.23/192.38 c | 0 | 4732 9191 34545 | 5000 0 nan | 0.000 % | 192.33/192.41 c | 102 | 4726 9191 34545 | 5500 102 10 | 0.380 % | 192.33/192.42 c | 252 | 4726 9191 34545 | 6050 252 14 | 0.380 % | 192.33/192.44 c =============================================================================== 192.33/192.48 c core #412 192.33/192.48 c 192.33/192.48 c 192.33/192.48 c Core size: 112 Core Weight: 1 Total Weight: 412 192.33/192.48 c 192.33/192.48 c 192.33/192.48 c ============================[ Search Statistics ]============================== 192.33/192.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.33/192.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.33/192.48 c =============================================================================== 192.33/192.48 c | 0 | 4811 9193 34706 | 5000 0 nan | 0.000 % | 192.33/192.50 c | 101 | 4806 9193 34706 | 5500 101 6 | 0.332 % | 192.43/192.52 c =============================================================================== 192.43/192.56 c core #413 192.43/192.56 c 192.43/192.56 c 192.43/192.56 c Core size: 40 Core Weight: 1 Total Weight: 413 192.43/192.56 c 192.43/192.56 c 192.43/192.56 c ============================[ Search Statistics ]============================== 192.43/192.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.43/192.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.43/192.56 c =============================================================================== 192.43/192.56 c | 0 | 4826 9194 34736 | 5000 0 nan | 0.000 % | 192.43/192.59 c | 100 | 4821 9194 34736 | 5500 100 6 | 0.331 % | 192.53/192.62 c =============================================================================== 192.53/192.65 c core #414 192.53/192.65 c 192.53/192.65 c 192.53/192.65 c Core size: 52 Core Weight: 1 Total Weight: 414 192.53/192.65 c 192.53/192.65 c 192.53/192.65 c ============================[ Search Statistics ]============================== 192.53/192.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.53/192.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.53/192.65 c =============================================================================== 192.53/192.65 c | 0 | 4854 9199 34803 | 5000 0 nan | 0.000 % | 192.53/192.68 c | 101 | 4819 9199 34803 | 5500 101 6 | 1.891 % | 192.63/192.71 c | 252 | 4758 9199 34803 | 6050 218 10 | 2.344 % | 192.63/192.73 c =============================================================================== 192.63/192.77 c core #415 192.63/192.77 c 192.63/192.77 c 192.63/192.77 c Core size: 145 Core Weight: 1 Total Weight: 415 192.63/192.77 c 192.63/192.77 c 192.63/192.77 c ============================[ Search Statistics ]============================== 192.63/192.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.63/192.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.63/192.77 c =============================================================================== 192.63/192.77 c | 0 | 4937 9204 34979 | 5000 0 nan | 0.000 % | 192.63/192.79 c =============================================================================== 192.72/192.83 c core #416 192.72/192.83 c 192.72/192.83 c 192.72/192.83 c Core size: 25 Core Weight: 1 Total Weight: 416 192.72/192.83 c 192.72/192.83 c 192.72/192.83 c ============================[ Search Statistics ]============================== 192.72/192.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.72/192.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.72/192.83 c =============================================================================== 192.72/192.83 c | 0 | 4953 9206 35014 | 5000 0 nan | 0.000 % | 192.72/192.84 c | 101 | 4953 9206 35014 | 5500 101 15 | 0.202 % | 192.72/192.88 c | 252 | 4815 9206 35014 | 6050 232 11 | 2.982 % | 192.72/192.89 c =============================================================================== 192.82/192.93 c core #417 192.82/192.93 c 192.82/192.93 c 192.82/192.93 c Core size: 26 Core Weight: 1 Total Weight: 417 192.82/192.93 c 192.82/192.93 c 192.82/192.93 c ============================[ Search Statistics ]============================== 192.82/192.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.82/192.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.82/192.93 c =============================================================================== 192.82/192.93 c | 0 | 4967 9211 35054 | 5000 0 nan | 0.000 % | 192.82/192.95 c | 101 | 4965 9211 35054 | 5500 101 10 | 0.241 % | 192.82/192.96 c =============================================================================== 192.82/192.99 c core #418 192.82/192.99 c 192.82/192.99 c 192.82/192.99 c Core size: 34 Core Weight: 1 Total Weight: 418 192.82/192.99 c 192.82/192.99 c 192.82/192.99 c ============================[ Search Statistics ]============================== 192.82/192.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.82/192.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.82/192.99 c =============================================================================== 192.82/192.99 c | 0 | 4994 9212 35108 | 5000 0 nan | 0.000 % | 192.93/193.01 c | 100 | 4994 9212 35108 | 5500 100 15 | 0.200 % | 192.93/193.03 c =============================================================================== 192.93/193.07 c core #419 192.93/193.07 c 192.93/193.07 c 192.93/193.07 c Core size: 29 Core Weight: 1 Total Weight: 419 192.93/193.07 c 192.93/193.07 c 192.93/193.07 c ============================[ Search Statistics ]============================== 192.93/193.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.93/193.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.93/193.07 c =============================================================================== 192.93/193.07 c | 0 | 5015 9213 35150 | 5000 0 nan | 0.000 % | 192.93/193.08 c =============================================================================== 193.03/193.12 c core #420 193.03/193.12 c 193.03/193.12 c 193.03/193.12 c Core size: 16 Core Weight: 1 Total Weight: 420 193.03/193.12 c 193.03/193.12 c 193.03/193.12 c ============================[ Search Statistics ]============================== 193.03/193.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.03/193.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.03/193.12 c =============================================================================== 193.03/193.12 c | 0 | 5028 9214 35176 | 5000 0 nan | 0.000 % | 193.03/193.13 c =============================================================================== 193.03/193.17 c core #421 193.03/193.17 c 193.03/193.17 c 193.03/193.17 c Core size: 51 Core Weight: 1 Total Weight: 421 193.03/193.17 c 193.03/193.17 c 193.03/193.17 c ============================[ Search Statistics ]============================== 193.03/193.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.03/193.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.03/193.17 c =============================================================================== 193.03/193.17 c | 0 | 5066 9215 35252 | 5000 0 nan | 0.000 % | 193.03/193.18 c =============================================================================== 193.12/193.22 c core #422 193.12/193.22 c 193.12/193.22 c 193.12/193.22 c Core size: 26 Core Weight: 1 Total Weight: 422 193.12/193.22 c 193.12/193.22 c 193.12/193.22 c ============================[ Search Statistics ]============================== 193.12/193.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.12/193.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.12/193.22 c =============================================================================== 193.12/193.22 c | 0 | 5076 9216 35272 | 5000 0 nan | 0.000 % | 193.12/193.24 c | 100 | 5073 9216 35272 | 5500 100 9 | 0.315 % | 193.12/193.25 c =============================================================================== 193.12/193.28 c core #423 193.12/193.28 c 193.12/193.28 c 193.12/193.28 c Core size: 42 Core Weight: 1 Total Weight: 423 193.12/193.28 c 193.12/193.28 c 193.12/193.28 c ============================[ Search Statistics ]============================== 193.12/193.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.12/193.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.12/193.28 c =============================================================================== 193.12/193.28 c | 0 | 5111 9218 35344 | 5000 0 nan | 0.000 % | 193.22/193.31 c | 100 | 5104 9218 35344 | 5500 100 5 | 0.410 % | 193.22/193.32 c =============================================================================== 193.22/193.36 c core #424 193.22/193.36 c 193.22/193.36 c 193.22/193.36 c Core size: 63 Core Weight: 1 Total Weight: 424 193.22/193.36 c 193.22/193.36 c 193.22/193.36 c ============================[ Search Statistics ]============================== 193.22/193.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.22/193.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.22/193.36 c =============================================================================== 193.22/193.36 c | 0 | 5170 9220 35464 | 5000 0 nan | 0.000 % | 193.22/193.38 c | 100 | 5170 9220 35464 | 5500 100 8 | 0.232 % | 193.32/193.41 c | 251 | 5042 9220 35464 | 6050 251 8 | 5.077 % | 193.32/193.45 c | 476 | 4823 9220 35464 | 6655 319 8 | 8.880 % | 193.32/193.46 c =============================================================================== 193.43/193.50 c core #425 193.43/193.50 c 193.43/193.50 c 193.43/193.50 c Core size: 248 Core Weight: 1 Total Weight: 425 193.43/193.50 c 193.43/193.50 c 193.43/193.50 c ============================[ Search Statistics ]============================== 193.43/193.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.43/193.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.43/193.50 c =============================================================================== 193.43/193.50 c | 0 | 5337 9224 35805 | 5000 0 nan | 0.000 % | 193.43/193.52 c | 100 | 5337 9224 35805 | 5500 100 12 | 0.187 % | 193.43/193.53 c | 251 | 5337 9224 35805 | 6050 251 14 | 0.187 % | 193.53/193.60 c | 476 | 5240 9224 35805 | 6655 475 10 | 4.395 % | 193.53/193.64 c | 813 | 5079 9224 35805 | 7320 725 15 | 5.723 % | 193.53/193.68 c | 1322 | 5037 9224 35805 | 8052 1175 19 | 5.816 % | 193.62/193.72 c =============================================================================== 193.62/193.77 c core #426 193.62/193.77 c 193.62/193.77 c 193.62/193.77 c Core size: 281 Core Weight: 1 Total Weight: 426 193.62/193.77 c 193.62/193.77 c 193.62/193.77 c ============================[ Search Statistics ]============================== 193.62/193.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.62/193.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.62/193.77 c =============================================================================== 193.62/193.77 c | 0 | 5530 9226 36194 | 5000 0 nan | 0.000 % | 193.62/193.78 c | 101 | 5530 9226 36194 | 5500 101 14 | 0.181 % | 193.72/193.81 c | 251 | 5526 9226 36194 | 6050 251 10 | 0.253 % | 193.72/193.82 c =============================================================================== 193.72/193.86 c core #427 193.72/193.86 c 193.72/193.86 c 193.72/193.86 c Core size: 58 Core Weight: 1 Total Weight: 427 193.72/193.86 c 193.72/193.86 c 193.72/193.86 c ============================[ Search Statistics ]============================== 193.72/193.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.72/193.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.72/193.86 c =============================================================================== 193.72/193.86 c | 0 | 5576 9227 36286 | 5000 0 nan | 0.000 % | 193.72/193.88 c | 101 | 5576 9227 36286 | 5500 101 17 | 0.179 % | 193.83/193.90 c | 253 | 5552 9227 36286 | 6050 253 12 | 1.486 % | 193.83/193.92 c =============================================================================== 193.83/193.96 c core #428 193.83/193.96 c 193.83/193.96 c 193.83/193.96 c Core size: 54 Core Weight: 1 Total Weight: 428 193.83/193.96 c 193.83/193.96 c 193.83/193.96 c ============================[ Search Statistics ]============================== 193.83/193.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.83/193.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.83/193.96 c =============================================================================== 193.83/193.96 c | 0 | 5624 9228 36382 | 5000 0 nan | 0.000 % | 193.83/193.97 c | 100 | 5624 9228 36382 | 5500 100 17 | 0.178 % | 193.83/193.99 c | 250 | 5624 9228 36382 | 6050 250 18 | 0.213 % | 193.92/194.04 c | 475 | 5620 9228 36382 | 6655 474 14 | 0.284 % | 193.92/194.07 c | 812 | 5616 9228 36382 | 7320 799 16 | 0.319 % | 193.92/194.09 c =============================================================================== 194.02/194.14 c core #429 194.02/194.14 c 194.02/194.14 c 194.02/194.14 c Core size: 47 Core Weight: 1 Total Weight: 429 194.02/194.14 c 194.02/194.14 c 194.02/194.14 c ============================[ Search Statistics ]============================== 194.02/194.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.02/194.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.02/194.14 c =============================================================================== 194.02/194.14 c | 0 | 5665 9232 36471 | 5000 0 nan | 0.000 % | 194.02/194.16 c | 100 | 5663 9232 36471 | 5500 100 8 | 0.212 % | 194.02/194.18 c | 251 | 5640 9232 36471 | 6050 251 9 | 1.322 % | 194.02/194.19 c | 479 | 5594 9232 36471 | 6655 402 12 | 1.428 % | 194.13/194.20 c =============================================================================== 194.13/194.25 c core #430 194.13/194.25 c 194.13/194.25 c 194.13/194.25 c Core size: 99 Core Weight: 1 Total Weight: 430 194.13/194.25 c 194.13/194.25 c 194.13/194.25 c ============================[ Search Statistics ]============================== 194.13/194.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.13/194.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.13/194.25 c =============================================================================== 194.13/194.25 c | 0 | 5746 9234 36636 | 5000 0 nan | 0.000 % | 194.13/194.27 c | 106 | 5746 9234 36636 | 5500 106 16 | 0.174 % | 194.13/194.28 c =============================================================================== 194.23/194.32 c core #431 194.23/194.32 c 194.23/194.32 c 194.23/194.32 c Core size: 31 Core Weight: 1 Total Weight: 431 194.23/194.32 c 194.23/194.32 c 194.23/194.32 c ============================[ Search Statistics ]============================== 194.23/194.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.23/194.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.23/194.32 c =============================================================================== 194.23/194.32 c | 0 | 5770 9235 36684 | 5000 0 nan | 0.000 % | 194.23/194.34 c | 103 | 5770 9235 36684 | 5500 103 16 | 0.173 % | 194.23/194.37 c | 254 | 5767 9235 36684 | 6050 254 14 | 0.242 % | 194.23/194.39 c | 480 | 5764 9235 36684 | 6655 476 13 | 0.277 % | 194.32/194.42 c | 817 | 5762 9235 36684 | 7320 813 15 | 0.312 % | 194.42/194.51 c | 1326 | 5696 9235 36684 | 8052 1275 15 | 1.488 % | 194.53/194.60 c =============================================================================== 194.53/194.65 c core #432 194.53/194.65 c 194.53/194.65 c 194.53/194.65 c Core size: 80 Core Weight: 1 Total Weight: 432 194.53/194.65 c 194.53/194.65 c 194.53/194.65 c ============================[ Search Statistics ]============================== 194.53/194.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.53/194.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.53/194.65 c =============================================================================== 194.53/194.65 c | 0 | 5832 9239 36815 | 5000 0 nan | 0.000 % | 194.53/194.67 c | 101 | 5830 9239 36815 | 5500 101 7 | 0.205 % | 194.53/194.67 c =============================================================================== 194.63/194.71 c core #433 194.63/194.71 c 194.63/194.71 c 194.63/194.71 c Core size: 42 Core Weight: 1 Total Weight: 433 194.63/194.71 c 194.63/194.71 c 194.63/194.71 c ============================[ Search Statistics ]============================== 194.63/194.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.63/194.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.63/194.71 c =============================================================================== 194.63/194.71 c | 0 | 5866 9241 36885 | 5000 0 nan | 0.000 % | 194.63/194.74 c | 100 | 5866 9241 36885 | 5500 100 8 | 0.170 % | 194.63/194.76 c | 253 | 5866 9241 36885 | 6050 253 12 | 0.204 % | 194.63/194.78 c | 479 | 5864 9241 36885 | 6655 478 13 | 0.204 % | 194.73/194.82 c | 822 | 5852 9241 36885 | 7320 792 14 | 0.408 % | 194.73/194.88 c =============================================================================== 194.82/194.94 c core #434 194.82/194.94 c 194.82/194.94 c 194.82/194.94 c Core size: 146 Core Weight: 1 Total Weight: 434 194.82/194.94 c 194.82/194.94 c 194.82/194.94 c ============================[ Search Statistics ]============================== 194.82/194.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.82/194.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.82/194.94 c =============================================================================== 194.82/194.94 c | 0 | 5987 9247 37140 | 5000 0 nan | 0.000 % | 194.82/194.96 c | 101 | 5987 9247 37140 | 5500 101 19 | 0.167 % | 194.82/194.97 c | 252 | 5987 9247 37140 | 6050 252 21 | 0.167 % | 194.82/194.99 c | 478 | 5987 9247 37140 | 6655 478 17 | 0.167 % | 194.93/195.03 c | 815 | 5980 9247 37140 | 7320 805 15 | 0.300 % | 194.93/195.05 c =============================================================================== 195.02/195.10 c core #435 195.02/195.10 c 195.02/195.10 c 195.02/195.10 c Core size: 99 Core Weight: 1 Total Weight: 435 195.02/195.10 c 195.02/195.10 c 195.02/195.10 c ============================[ Search Statistics ]============================== 195.02/195.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.02/195.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.02/195.10 c =============================================================================== 195.02/195.10 c | 0 | 6069 9249 37307 | 5000 0 nan | 0.000 % | 195.02/195.12 c | 102 | 6069 9249 37307 | 5500 102 21 | 0.165 % | 195.02/195.15 c | 252 | 6064 9249 37307 | 6050 252 14 | 0.263 % | 195.02/195.18 c | 477 | 6063 9249 37307 | 6655 473 13 | 0.263 % | 195.12/195.23 c | 814 | 5998 9249 37307 | 7320 773 11 | 1.398 % | 195.12/195.26 c =============================================================================== 195.22/195.31 c core #436 195.22/195.31 c 195.22/195.31 c 195.22/195.31 c Core size: 102 Core Weight: 1 Total Weight: 436 195.22/195.31 c 195.22/195.31 c 195.22/195.31 c ============================[ Search Statistics ]============================== 195.22/195.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.22/195.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.22/195.31 c =============================================================================== 195.22/195.31 c | 0 | 6160 9256 37504 | 5000 0 nan | 0.000 % | 195.22/195.33 c | 101 | 6160 9256 37504 | 5500 101 17 | 0.162 % | 195.22/195.34 c | 251 | 6160 9256 37504 | 6050 251 16 | 0.162 % | 195.22/195.38 c | 476 | 6156 9256 37504 | 6655 475 14 | 0.259 % | 195.32/195.42 c | 815 | 6150 9256 37504 | 7320 807 14 | 0.324 % | 195.32/195.44 c =============================================================================== 195.32/195.48 c core #437 195.32/195.48 c 195.32/195.48 c 195.32/195.48 c Core size: 87 Core Weight: 1 Total Weight: 437 195.32/195.48 c 195.32/195.48 c 195.32/195.48 c ============================[ Search Statistics ]============================== 195.32/195.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.32/195.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.32/195.48 c =============================================================================== 195.32/195.48 c | 0 | 6227 9262 37652 | 5000 0 nan | 0.000 % | 195.42/195.50 c | 100 | 6227 9262 37652 | 5500 100 14 | 0.161 % | 195.42/195.51 c | 251 | 6227 9262 37652 | 6050 251 15 | 0.160 % | 195.42/195.54 c | 476 | 6227 9262 37652 | 6655 476 14 | 0.160 % | 195.42/195.57 c | 814 | 6225 9262 37652 | 7320 812 14 | 0.193 % | 195.53/195.63 c | 1320 | 6225 9262 37652 | 8052 1318 16 | 0.192 % | 195.53/195.69 c =============================================================================== 195.63/195.75 c core #438 195.63/195.75 c 195.63/195.75 c 195.63/195.75 c Core size: 87 Core Weight: 1 Total Weight: 438 195.63/195.75 c 195.63/195.75 c 195.63/195.75 c ============================[ Search Statistics ]============================== 195.63/195.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.63/195.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.63/195.75 c =============================================================================== 195.63/195.75 c | 0 | 6300 9267 37810 | 5000 0 nan | 0.000 % | 195.63/195.77 c | 100 | 6300 9267 37810 | 5500 100 16 | 0.159 % | 195.63/195.79 c | 251 | 6300 9267 37810 | 6050 251 17 | 0.159 % | 195.63/195.80 c | 479 | 6300 9267 37810 | 6655 479 20 | 0.159 % | 195.73/195.83 c | 817 | 6298 9267 37810 | 7320 816 19 | 0.190 % | 195.73/195.87 c | 1323 | 6298 9267 37810 | 8052 1322 17 | 0.190 % | 195.83/195.94 c | 2082 | 6283 9267 37810 | 8857 2064 18 | 0.539 % | 195.83/195.94 c =============================================================================== 195.83/196.00 c core #439 195.83/196.00 c 195.83/196.00 c 195.83/196.00 c Core size: 69 Core Weight: 1 Total Weight: 439 195.83/196.00 c 195.83/196.00 c 195.83/196.00 c ============================[ Search Statistics ]============================== 195.83/196.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.83/196.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.83/196.00 c =============================================================================== 195.83/196.00 c | 0 | 6352 9272 37923 | 5000 0 nan | 0.000 % | 195.93/196.02 c | 100 | 6352 9272 37923 | 5500 100 16 | 0.157 % | 195.93/196.03 c | 251 | 6352 9272 37923 | 6050 251 14 | 0.157 % | 195.93/196.05 c | 481 | 6352 9272 37923 | 6655 481 17 | 0.157 % | 195.93/196.08 c | 820 | 6352 9272 37923 | 7320 820 19 | 0.157 % | 196.02/196.12 c | 1329 | 6350 9272 37923 | 8052 1325 18 | 0.189 % | 196.02/196.19 c | 2088 | 6346 9272 37923 | 8857 2077 20 | 0.252 % | 196.22/196.33 c | 3227 | 6345 9272 37923 | 9743 3216 22 | 0.283 % | 196.52/196.61 c =============================================================================== 196.62/196.70 c core #440 196.62/196.70 c 196.62/196.70 c 196.62/196.70 c Core size: 101 Core Weight: 1 Total Weight: 440 196.62/196.70 c 196.62/196.70 c 196.62/196.70 c ============================[ Search Statistics ]============================== 196.62/196.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.62/196.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.62/196.70 c =============================================================================== 196.62/196.70 c | 0 | 6446 9282 38135 | 5000 0 nan | 0.000 % | 196.62/196.74 c | 100 | 6444 9282 38135 | 5500 100 15 | 0.186 % | 196.62/196.76 c | 250 | 6426 9282 38135 | 6050 250 16 | 1.084 % | 196.62/196.78 c | 475 | 6381 9282 38135 | 6655 462 17 | 1.177 % | 196.73/196.80 c | 812 | 6381 9282 38135 | 7320 799 17 | 1.177 % | 196.73/196.84 c | 1322 | 6380 9282 38135 | 8052 1306 18 | 1.177 % | 196.83/196.93 c | 2083 | 6371 9282 38135 | 8857 2064 18 | 1.580 % | 196.92/197.04 c | 3222 | 6353 9282 38135 | 9743 3194 19 | 1.611 % | 197.13/197.26 c | 4930 | 6338 9282 38135 | 10717 4899 21 | 1.859 % | 197.62/197.76 c | 7493 | 6277 9282 38135 | 11789 7160 23 | 3.872 % | 198.12/198.21 c =============================================================================== 198.22/198.37 c core #441 198.22/198.37 c 198.22/198.37 c 198.22/198.37 c Core size: 97 Core Weight: 1 Total Weight: 441 198.22/198.37 c 198.22/198.37 c 198.22/198.37 c ============================[ Search Statistics ]============================== 198.22/198.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.22/198.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.22/198.37 c =============================================================================== 198.22/198.37 c | 0 | 6531 9286 38312 | 5000 0 nan | 0.000 % | 198.32/198.40 c | 101 | 6531 9286 38312 | 5500 101 18 | 0.153 % | 198.32/198.43 c | 251 | 6531 9286 38312 | 6050 251 15 | 0.153 % | 198.32/198.46 c | 476 | 6476 9286 38312 | 6655 424 12 | 0.994 % | 198.32/198.49 c | 814 | 6472 9286 38312 | 7320 762 14 | 1.085 % | 198.42/198.54 c | 1321 | 6468 9286 38312 | 8052 1266 18 | 1.116 % | 198.52/198.62 c | 2082 | 6431 9286 38312 | 8857 2025 19 | 2.324 % | 198.62/198.78 c | 3223 | 6389 9286 38312 | 9743 3107 22 | 2.324 % | 198.93/199.03 c | 4932 | 6376 9286 38312 | 10717 4815 28 | 2.523 % | 199.32/199.43 c | 7495 | 6374 9286 38312 | 11789 7365 33 | 2.645 % | 199.92/200.08 c | 11341 | 6366 9286 38312 | 12968 11168 35 | 2.675 % | 201.02/201.11 c | 17107 | 6366 9286 38312 | 14265 10195 33 | 2.675 % | 202.92/203.00 c | 25757 | 6351 9286 38312 | 15692 11388 35 | 2.981 % | 205.02/205.19 c =============================================================================== 205.53/205.64 c core #442 205.53/205.64 c 205.53/205.64 c 205.53/205.64 c Core size: 356 Core Weight: 1 Total Weight: 442 205.53/205.64 c 205.53/205.64 c 205.53/205.64 c ============================[ Search Statistics ]============================== 205.53/205.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 205.53/205.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 205.53/205.64 c =============================================================================== 205.53/205.64 c | 0 | 6818 9323 38975 | 5000 0 nan | 0.000 % | 205.53/205.67 c | 100 | 6818 9323 38975 | 5500 100 19 | 0.147 % | 205.53/205.69 c | 253 | 6818 9323 38975 | 6050 253 17 | 0.146 % | 205.62/205.72 c | 481 | 6818 9323 38975 | 6655 481 15 | 0.146 % | 205.62/205.75 c | 819 | 6818 9323 38975 | 7320 819 17 | 0.146 % | 205.62/205.79 c | 1326 | 6816 9323 38975 | 8052 1324 18 | 0.176 % | 205.82/205.90 c | 2086 | 6810 9323 38975 | 8857 2018 18 | 0.293 % | 205.92/206.02 c | 3227 | 6804 9323 38975 | 9743 3008 21 | 0.352 % | 206.12/206.29 c | 4935 | 6799 9323 38975 | 10717 4591 22 | 0.425 % | 206.62/206.70 c | 7497 | 6792 9323 38975 | 11789 7102 24 | 0.542 % | 206.62/206.74 c =============================================================================== 206.72/206.86 c core #443 206.72/206.86 c 206.72/206.86 c 206.72/206.86 c Core size: 224 Core Weight: 1 Total Weight: 443 206.72/206.86 c 206.72/206.86 c 206.72/206.86 c ============================[ Search Statistics ]============================== 206.72/206.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 206.72/206.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 206.72/206.86 c =============================================================================== 206.72/206.86 c | 0 | 7031 9339 39439 | 5000 0 nan | 0.000 % | 206.72/206.89 c | 102 | 7031 9339 39439 | 5500 102 11 | 0.142 % | 206.82/206.90 c | 255 | 7031 9339 39439 | 6050 255 18 | 0.142 % | 206.82/206.93 c | 480 | 7031 9339 39439 | 6655 480 19 | 0.142 % | 206.82/206.95 c | 819 | 7031 9339 39439 | 7320 819 23 | 0.142 % | 206.92/207.00 c | 1325 | 7031 9339 39439 | 8052 1325 23 | 0.142 % | 206.92/207.06 c | 2087 | 7031 9339 39439 | 8857 2087 26 | 0.142 % | 207.02/207.18 c | 3226 | 7029 9339 39439 | 9743 3225 29 | 0.170 % | 207.22/207.34 c | 4934 | 7029 9339 39439 | 10717 4933 28 | 0.170 % | 207.62/207.73 c | 7496 | 7024 9339 39439 | 11789 7493 31 | 0.256 % | 208.22/208.39 c | 11341 | 7023 9339 39439 | 12968 11286 34 | 0.256 % | 209.52/209.67 c | 17107 | 7002 9339 39439 | 14265 10113 40 | 1.150 % | 211.62/211.72 c | 25756 | 6952 9339 39439 | 15692 11312 41 | 1.264 % | 214.22/214.34 c | 38730 | 6942 9339 39439 | 17261 8325 63 | 1.463 % | 217.72/217.89 c =============================================================================== 218.32/218.45 c core #444 218.32/218.45 c 218.32/218.45 c 218.32/218.45 c Core size: 270 Core Weight: 1 Total Weight: 444 218.32/218.45 c 218.32/218.45 c 218.32/218.45 c ============================[ Search Statistics ]============================== 218.32/218.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 218.32/218.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 218.32/218.45 c =============================================================================== 218.32/218.45 c | 0 | 7282 9351 39966 | 5000 0 nan | 0.000 % | 218.32/218.49 c | 100 | 7282 9351 39966 | 5500 100 16 | 0.137 % | 218.42/218.51 c | 250 | 7282 9351 39966 | 6050 250 17 | 0.137 % | 218.42/218.53 c | 476 | 7282 9351 39966 | 6655 476 22 | 0.137 % | 218.42/218.58 c | 815 | 7282 9351 39966 | 7320 815 23 | 0.137 % | 218.52/218.63 c | 1322 | 7282 9351 39966 | 8052 1322 24 | 0.137 % | 218.62/218.70 c | 2082 | 7282 9351 39966 | 8857 2082 26 | 0.137 % | 218.72/218.82 c | 3221 | 7282 9351 39966 | 9743 3221 26 | 0.137 % | 218.91/219.07 c | 4929 | 7282 9351 39966 | 10717 4929 32 | 0.137 % | 219.21/219.32 c | 7491 | 7282 9351 39966 | 11789 7491 31 | 0.137 % | 220.12/220.22 c | 11339 | 7282 9351 39966 | 12968 11339 41 | 0.137 % | 221.41/221.53 c | 17111 | 7282 9351 39966 | 14265 10461 60 | 0.137 % | 223.12/223.20 c | 25763 | 7282 9351 39966 | 15692 11687 57 | 0.137 % | 227.02/227.19 c | 38739 | 7280 9351 39966 | 17261 12351 58 | 0.165 % | 233.81/233.92 c | 58201 | 7280 9351 39966 | 18987 14317 70 | 0.165 % | 243.71/243.84 c | 87395 | 7280 9351 39966 | 20886 14549 60 | 0.165 % | 257.21/257.34 c | 131188 | 7274 9351 39966 | 22974 15740 54 | 0.247 % | 271.80/271.92 c =============================================================================== 273.50/273.61 c core #445 273.50/273.61 c 273.50/273.61 c 273.50/273.61 c Core size: 183 Core Weight: 1 Total Weight: 445 273.50/273.61 c 273.50/273.61 c 273.50/273.61 c ============================[ Search Statistics ]============================== 273.50/273.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 273.50/273.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 273.50/273.61 c =============================================================================== 273.50/273.61 c | 0 | 7452 9382 40373 | 5000 0 nan | 0.000 % | 273.50/273.68 c | 100 | 7452 9382 40373 | 5500 100 33 | 0.134 % | 273.50/273.69 c | 250 | 7452 9382 40373 | 6050 250 27 | 0.134 % | 273.60/273.73 c | 476 | 7452 9382 40373 | 6655 476 23 | 0.134 % | 273.60/273.77 c | 815 | 7452 9382 40373 | 7320 815 24 | 0.134 % | 273.70/273.84 c | 1322 | 7452 9382 40373 | 8052 1322 26 | 0.134 % | 273.80/273.92 c | 2081 | 7452 9382 40373 | 8857 2081 32 | 0.134 % | 273.90/274.07 c | 3220 | 7452 9382 40373 | 9743 3220 36 | 0.134 % | 274.20/274.35 c | 4928 | 7452 9382 40373 | 10717 4928 36 | 0.134 % | 274.60/274.76 c | 7490 | 7452 9382 40373 | 11789 7490 42 | 0.134 % | 275.40/275.55 c | 11334 | 7452 9382 40373 | 12968 11334 46 | 0.134 % | 276.40/276.58 c | 17100 | 7452 9382 40373 | 14265 9851 51 | 0.134 % | 278.50/278.64 c | 25749 | 7452 9382 40373 | 15692 11010 63 | 0.134 % | 281.41/281.52 c | 38723 | 7446 9382 40373 | 17261 13759 62 | 0.214 % | 286.40/286.59 c | 58184 | 7434 9382 40373 | 18987 15799 51 | 0.375 % | 293.80/293.90 c | 87376 | 7431 9382 40373 | 20886 14345 61 | 0.456 % | 308.69/308.85 c | 131166 | 7422 9382 40373 | 22974 15006 61 | 0.536 % | 331.49/331.63 c | 196850 | 7412 9382 40373 | 25272 21741 74 | 0.670 % | 362.27/362.46 c | 295377 | 7402 9382 40373 | 27799 17310 61 | 0.831 % | 433.36/433.56 c | 443169 | 7396 9382 40373 | 30579 18798 50 | 0.884 % | 537.13/537.36 c | 664857 | 7388 9382 40373 | 33637 29027 71 | 0.992 % | 726.28/726.60 c =============================================================================== 734.28/734.52 c core #446 734.28/734.52 c 734.28/734.52 c 734.28/734.52 c Core size: 448 Core Weight: 1 Total Weight: 446 734.28/734.52 c 734.28/734.52 c 734.28/734.52 c ============================[ Search Statistics ]============================== 734.28/734.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 734.28/734.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 734.28/734.52 c =============================================================================== 734.28/734.52 c | 0 | 7832 9477 41326 | 5000 0 nan | 0.000 % | 734.28/734.58 c | 100 | 7832 9477 41326 | 5500 100 30 | 0.128 % | 734.38/734.61 c | 250 | 7832 9477 41326 | 6050 250 27 | 0.128 % | 734.49/734.71 c | 476 | 7832 9477 41326 | 6655 476 29 | 0.128 % | 734.49/734.75 c | 815 | 7832 9477 41326 | 7320 815 29 | 0.128 % | 734.58/734.84 c | 1322 | 7832 9477 41326 | 8052 1322 34 | 0.128 % | 734.68/734.95 c | 2084 | 7832 9477 41326 | 8857 2084 33 | 0.128 % | 734.78/735.08 c | 3224 | 7832 9477 41326 | 9743 3224 34 | 0.128 % | 735.08/735.32 c | 4932 | 7832 9477 41326 | 10717 4932 38 | 0.128 % | 735.47/735.79 c | 7494 | 7832 9477 41326 | 11789 7494 44 | 0.128 % | 736.18/736.49 c | 11339 | 7832 9477 41326 | 12968 11339 46 | 0.128 % | 737.27/737.52 c | 17106 | 7830 9477 41326 | 14265 10226 43 | 0.153 % | 739.08/739.38 c | 25756 | 7829 9477 41326 | 15692 11525 54 | 0.179 % | 745.18/745.41 c | 38730 | 7828 9477 41326 | 17261 8578 64 | 0.179 % | 750.17/750.44 c | 58191 | 7828 9477 41326 | 18987 10427 60 | 0.179 % | 757.87/758.14 c | 87384 | 7826 9477 41326 | 20886 20222 61 | 0.204 % | 777.67/777.92 c | 131174 | 7822 9477 41326 | 22974 10871 52 | 0.255 % | 798.06/798.36 c | 196859 | 7820 9477 41326 | 25272 13248 94 | 0.281 % | 857.14/857.41 c | 295387 | 7820 9477 41326 | 27799 17112 130 | 0.281 % | 915.93/916.29 c | 443180 | 7820 9477 41326 | 30579 19540 118 | 0.281 % | 1024.59/1024.99 c | 664863 | 7820 9477 41326 | 33637 23647 94 | 0.281 % |
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-2680547-1277454843/watcher-2680547-1277454843 -o /tmp/evaluation-result-2680547-1277454843/solver-2680547-1277454843 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680547-1277454843.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.04 1.03 0.94 3/106 28331 /proc/meminfo: memFree=1854760/2059040 swapFree=4140556/4192956 [pid=28331] ppid=28329 vsize=2940 CPUtime=0 /proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 332 0 0 0 0 0 0 0 20 0 1 0 86779669 3010560 250 1992294400 134512640 135752675 4287241888 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28331/statm: 735 250 139 303 0 382 0 [startup+0.014037 s] /proc/loadavg: 1.04 1.03 0.94 3/106 28331 /proc/meminfo: memFree=1854760/2059040 swapFree=4140556/4192956 [pid=28331] ppid=28329 vsize=3076 CPUtime=0.01 /proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 362 0 0 0 1 0 0 0 20 0 1 0 86779669 3149824 280 1992294400 134512640 135752675 4287241888 18446744073709551615 135119029 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28331/statm: 769 280 149 303 0 416 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 3076 [startup+0.101043 s] /proc/loadavg: 1.04 1.03 0.94 3/106 28331 /proc/meminfo: memFree=1854760/2059040 swapFree=4140556/4192956 [pid=28331] ppid=28329 vsize=4212 CPUtime=0.09 /proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 760 0 0 0 9 0 0 0 20 0 1 0 86779669 4313088 630 1992294400 134512640 135752675 4287241888 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28331/statm: 1053 630 144 303 0 748 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4212 [startup+0.301056 s] /proc/loadavg: 1.04 1.03 0.94 3/106 28331 /proc/meminfo: memFree=1854760/2059040 swapFree=4140556/4192956 [pid=28331] ppid=28329 vsize=5620 CPUtime=0.29 /proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 1116 0 0 0 29 0 0 0 20 0 1 0 86779669 5754880 986 1992294400 134512640 135752675 4287241888 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28331/statm: 1405 986 145 303 0 1100 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5620 [startup+0.701081 s] /proc/loadavg: 1.04 1.03 0.94 3/106 28331 /proc/meminfo: memFree=1854760/2059040 swapFree=4140556/4192956 [pid=28331] ppid=28329 vsize=9972 CPUtime=0.69 /proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 2195 0 0 0 67 2 0 0 21 0 1 0 86779669 10211328 2065 1992294400 134512640 135752675 4287241888 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28331/statm: 2493 2065 145 303 0 2188 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9972 [startup+1.50113 s] /proc/loadavg: 1.04 1.03 0.94 2/107 28332 /proc/meminfo: memFree=1843592/2059040 swapFree=4140556/4192956 [pid=28331] ppid=28329 vsize=18664 CPUtime=1.49 /proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 4376 0 0 0 145 4 0 0 23 0 1 0 86779669 19111936 4246 1992294400 134512640 135752675 4287241888 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28331/statm: 4666 4246 145 303 0 4361 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18664 [startup+3.10124 s] /proc/loadavg: 1.04 1.03 0.94 2/107 28332 /proc/meminfo: memFree=1831812/2059040 swapFree=4140556/4192956 [pid=28331] ppid=28329 vsize=33780 CPUtime=3.09 /proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 8143 0 0 0 302 7 0 0 25 0 1 0 86779669 34590720 8013 1992294400 134512640 135752675 4287241888 18446744073709551615 134638089 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28331/statm: 8445 8013 145 303 0 8140 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33780 [startup+6.30144 s] /proc/loadavg: 1.04 1.03 0.94 2/107 28332 /proc/meminfo: memFree=1802920/2059040 swapFree=4140556/4192956 [pid=28331] ppid=28329 vsize=61660 CPUtime=6.29 /proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 15099 0 0 0 616 13 0 0 25 0 1 0 86779669 63139840 14969 1992294400 134512640 135752675 4287241888 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28331/statm: 15415 14969 145 303 0 15110 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 61660 [startup+12.7009 s] /proc/loadavg: 1.03 1.03 0.94 2/107 28332 /proc/meminfo: memFree=1749352/2059040 swapFree=4140556/4192956 [pid=28331] ppid=28329 vsize=112536 CPUtime=12.69 /proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 27823 0 0 0 1246 23 0 0 25 0 1 0 86779669 115236864 27693 1992294400 134512640 135752675 4287241888 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28331/statm: 28134 27693 145 303 0 27829 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 112536 [startup+25.5007 s] /proc/loadavg: 1.03 1.03 0.94 2/107 28332 /proc/meminfo: memFree=1651020/2059040 swapFree=4140556/4192956 [pid=28331] ppid=28329 vsize=208064 CPUtime=25.49 /proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 51724 0 0 0 2507 42 0 0 25 0 1 0 86779669 213057536 51594 1992294400 134512640 135752675 4287241888 18446744073709551615 134638100 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28331/statm: 52016 51594 145 303 0 51711 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 208064 [startup+51.1003 s] /proc/loadavg: 1.02 1.02 0.94 2/107 28334 /proc/meminfo: memFree=1474692/2059040 swapFree=4140556/4192956 [pid=28331] ppid=28329 vsize=385280 CPUtime=51.08 /proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 95992 0 0 0 5028 80 0 0 25 0 1 0 86779669 394526720 95862 1992294400 134512640 135752675 4287241888 18446744073709551615 134638875 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28331/statm: 96320 95862 145 303 0 96015 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 385280 [startup+102.308 s] /proc/loadavg: 1.00 1.02 0.94 2/107 28334 /proc/meminfo: memFree=1154276/2059040 swapFree=4140556/4192956 [pid=28331] ppid=28329 vsize=701812 CPUtime=102.27 /proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 175134 0 0 0 10078 149 0 0 25 0 1 0 86779669 718655488 175004 1992294400 134512640 135752675 4287241888 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28331/statm: 175453 175004 145 303 0 175148 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 701812 [startup+162.301 s] /proc/loadavg: 1.00 1.01 0.94 2/107 28336 /proc/meminfo: memFree=851468/2059040 swapFree=4140556/4192956 [pid=28331] ppid=28329 vsize=1007312 CPUtime=162.24 /proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 251461 0 0 0 16011 213 0 0 25 0 1 0 86779669 1031487488 251331 1992294400 134512640 135752675 4287241888 18446744073709551615 134605448 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28331/statm: 251828 251331 145 303 0 251523 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 1007312 [startup+222.3 s] /proc/loadavg: 1.05 1.02 0.94 2/107 28338 /proc/meminfo: memFree=743340/2059040 swapFree=4140556/4192956 [pid=28331] ppid=28329 vsize=1111024 CPUtime=222.22 /proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 277474 0 0 0 21921 301 0 0 25 0 1 0 86779669 1137688576 277315 1992294400 134512640 135752675 4287241888 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28331/statm: 277756 277315 146 303 0 277451 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 1111024 [startup+282.3 s] /proc/loadavg: 1.02 1.02 0.94 2/107 28340 /proc/meminfo: memFree=707380/2059040 swapFree=4140556/4192956 [pid=28331] ppid=28329 vsize=1147440 CPUtime=282.2 /proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 286569 0 0 0 27848 372 0 0 25 0 1 0 86779669 1174978560 286410 1992294400 134512640 135752675 4287241888 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28331/statm: 286860 286410 146 303 0 286555 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 1147440 [startup+342.3 s] /proc/loadavg: 1.00 1.01 0.94 2/107 28340 /proc/meminfo: memFree=646000/2059040 swapFree=4140556/4192956 [pid=28331] ppid=28329 vsize=1208856 CPUtime=342.18 /proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 301894 0 0 0 33770 448 0 0 25 0 1 0 86779669 1237868544 301735 1992294400 134512640 135752675 4287241888 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28331/statm: 302214 301736 146 303 0 301909 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 1208856 [startup+402.301 s] /proc/loadavg: 1.00 1.01 0.94 2/107 28342 /proc/meminfo: memFree=587844/2059040 swapFree=4140556/4192956 [pid=28331] ppid=28329 vsize=1267104 CPUtime=402.17 /proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 316425 0 0 0 39713 504 0 0 25 0 1 0 86779669 1297514496 316266 1992294400 134512640 135752675 4287241888 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28331/statm: 316776 316266 146 303 0 316471 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 1267104 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 28344 /proc/meminfo: memFree=533036/2059040 swapFree=4140556/4192956 [pid=28331] ppid=28329 vsize=1321352 CPUtime=462.15 /proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 329954 0 0 0 45660 555 0 0 25 0 1 0 86779669 1353064448 329795 1992294400 134512640 135752675 4287241888 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28331/statm: 330338 329795 146 303 0 330033 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 1321352 [startup+522.301 s] /proc/loadavg: 1.05 1.01 0.95 2/107 28346 /proc/meminfo: memFree=484304/2059040 swapFree=4140556/4192956 [pid=28331] ppid=28329 vsize=1370668 CPUtime=522.14 /proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 342248 0 0 0 51608 606 0 0 25 0 1 0 86779669 1403564032 342089 1992294400 134512640 135752675 4287241888 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28331/statm: 342667 342089 146 303 0 342362 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 1370668 [startup+582.301 s] /proc/loadavg: 1.07 1.02 0.95 2/107 28348 /proc/meminfo: memFree=430488/2059040 swapFree=4140556/4192956 [pid=28331] ppid=28329 vsize=1424044 CPUtime=582.12 /proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 355586 0 0 0 57554 658 0 0 25 0 1 0 86779669 1458221056 355427 1992294400 134512640 135752675 4287241888 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28331/statm: 356011 355427 146 303 0 355706 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 1424044 [startup+642.301 s] /proc/loadavg: 1.11 1.05 0.96 2/107 28348 /proc/meminfo: memFree=387460/2059040 swapFree=4140556/4192956 [pid=28331] ppid=28329 vsize=1466688 CPUtime=642.11 /proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 366190 0 0 0 63516 695 0 0 25 0 1 0 86779669 1501888512 366031 1992294400 134512640 135752675 4287241888 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28331/statm: 366672 366031 146 303 0 366367 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 1466688 [startup+702.3 s] /proc/loadavg: 1.04 1.04 0.96 2/107 28350 /proc/meminfo: memFree=339100/2059040 swapFree=4140556/4192956 [pid=28331] ppid=28329 vsize=1515408 CPUtime=702.09 /proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 378372 0 0 0 69471 738 0 0 25 0 1 0 86779669 1551777792 378213 1992294400 134512640 135752675 4287241888 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28331/statm: 378852 378213 146 303 0 378547 0 Current children cumulated CPU time (s) 702.09 Current children cumulated vsize (KiB) 1515408 [startup+762.308 s] /proc/loadavg: 1.01 1.03 0.96 2/107 28352 /proc/meminfo: memFree=305620/2059040 swapFree=4140556/4192956 [pid=28331] ppid=28329 vsize=1547892 CPUtime=762.08 /proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 386593 0 0 0 75413 795 0 0 25 0 1 0 86779669 1585041408 386346 1992294400 134512640 135752675 4287241888 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28331/statm: 386973 386346 146 303 0 386668 0 Current children cumulated CPU time (s) 762.08 Current children cumulated vsize (KiB) 1547892 [startup+822.301 s] /proc/loadavg: 1.00 1.02 0.96 2/107 28354 /proc/meminfo: memFree=279332/2059040 swapFree=4140556/4192956 [pid=28331] ppid=28329 vsize=1574284 CPUtime=822.06 /proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 393340 0 0 0 81356 850 0 0 25 0 1 0 86779669 1612066816 393093 1992294400 134512640 135752675 4287241888 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28331/statm: 393571 393093 146 303 0 393266 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 1574284 [startup+882.301 s] /proc/loadavg: 1.00 1.02 0.96 2/107 28356 /proc/meminfo: memFree=237172/2059040 swapFree=4140556/4192956 [pid=28331] ppid=28329 vsize=1616084 CPUtime=882.03 /proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 403757 0 0 0 87311 892 0 0 25 0 1 0 86779669 1654870016 403510 1992294400 134512640 135752675 4287241888 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28331/statm: 404021 403510 146 303 0 403716 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 1616084 [startup+942.301 s] /proc/loadavg: 1.00 1.01 0.96 2/107 28356 /proc/meminfo: memFree=194392/2059040 swapFree=4140556/4192956 [pid=28331] ppid=28329 vsize=1659320 CPUtime=942.02 /proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 414523 0 0 0 93261 941 0 0 25 0 1 0 86779669 1699143680 414276 1992294400 134512640 135752675 4287241888 18446744073709551615 134642701 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28331/statm: 414830 414276 146 303 0 414525 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 1659320 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28358 /proc/meminfo: memFree=154092/2059040 swapFree=4140556/4192956 [pid=28331] ppid=28329 vsize=1699192 CPUtime=1002 /proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 424483 0 0 0 99206 994 0 0 25 0 1 0 86779669 1739972608 424236 1992294400 134512640 135752675 4287241888 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28331/statm: 424798 424236 146 303 0 424493 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 1699192 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28360 /proc/meminfo: memFree=106600/2059040 swapFree=4140556/4192956 [pid=28331] ppid=28329 vsize=1746880 CPUtime=1061.99 /proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 436373 0 0 0 105161 1038 0 0 25 0 1 0 86779669 1788805120 436126 1992294400 134512640 135752675 4287241888 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28331/statm: 436720 436126 146 303 0 436415 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 1746880 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28362 /proc/meminfo: memFree=56380/2059040 swapFree=4140556/4192956 [pid=28331] ppid=28329 vsize=1797100 CPUtime=1121.97 /proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 448889 0 0 0 111111 1086 0 0 25 0 1 0 86779669 1840230400 448642 1992294400 134512640 135752675 4287241888 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28331/statm: 449275 448642 146 303 0 448970 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 1797100 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1168.1 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28362 /proc/meminfo: memFree=9756/2059040 swapFree=4140556/4192956 [pid=28331] ppid=28329 vsize=1843268 CPUtime=1167.78 /proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 460397 0 0 0 115648 1130 0 0 25 0 1 0 86779669 1887506432 460150 1992294400 134512640 135752675 4287241888 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28331/statm: 460817 460150 146 303 0 460512 0 Current children cumulated CPU time (s) 1167.78 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+1168.22 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28362 /proc/meminfo: memFree=9756/2059040 swapFree=4140556/4192956 [pid=28331] ppid=28329 vsize=0 CPUtime=1167.88 /proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4203524 460397 0 0 0 115648 1140 0 0 25 0 1 0 86779669 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/28331/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1167.88 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1168.29 CPU time (s): 1167.96 CPU user time (s): 1156.48 CPU system time (s): 11.4733 CPU usage (%): 99.9714 Max. virtual memory (cumulated for all children) (KiB): 1843268 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1156.48 system time used= 11.4733 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460397 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= 57 involuntary context switches= 14171 runsolver used 2.11868 second user time and 5.38418 second system time The end
Begin job on node030 at 2010-06-25 10:34:03 IDJOB=2680547 IDBENCH=2209 IDSOLVER=1190 FILE ID=node030/2680547-1277454843 PBS_JOBID= 11188135 Free space on /tmp= 62496 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8e2.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680547-1277454843/watcher-2680547-1277454843 -o /tmp/evaluation-result-2680547-1277454843/solver-2680547-1277454843 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680547-1277454843.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6af59dd0656451189b30414ce106135b RANDOM SEED=1779119596 node030.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.244 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.48 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.244 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.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1855288 kB Buffers: 24016 kB Cached: 74768 kB SwapCached: 5752 kB Active: 25548 kB Inactive: 86984 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1855288 kB SwapTotal: 4192956 kB SwapFree: 4140556 kB Dirty: 2884 kB Writeback: 0 kB AnonPages: 11992 kB Mapped: 12288 kB Slab: 69008 kB PageTables: 4208 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181792 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= 62492 MiB End job on node030 at 2010-06-25 10:53:33