Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 1058.02 | 1058.29 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-prom2.r.opb |
MD5SUM | fe2fc6a37df33476d3a38f976836359f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 278 |
Best CPU time to get the best result obtained on this benchmark | 0.989849 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 278 |
Optimality of the best value was proved | YES |
Number of variables | 2611 |
Total number of constraints | 1924 |
Number of constraints which are clauses | 1924 |
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 | 30 |
Number of terms in the objective function | 2611 |
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 | 2611 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2611 |
Number of bits of the biggest sum of numbers | 12 |
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-2680906-1277457160.opb. 0.00/0.00 c Instance file HOME/instance-2680906-1277457160.opb 0.00/0.00 c File size is 167972 bytes. 0.01/0.02 c Highest Coefficient sum: 31 0.01/0.02 c ============================[ Problem Statistics ]============================= 0.01/0.02 c | | 0.01/0.02 c | Parsing time: 0.03 s | 0.01/0.02 c | Number Variables: 2611 | 0.01/0.02 c | Number Clauses: 1924 | 0.01/0.02 c | Number Cardinality: 0 | 0.01/0.02 c | Number PB Constraints: 0 | 0.01/0.03 c ============================[ Search Statistics ]============================== 0.01/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.03 c =============================================================================== 0.01/0.03 c | 0 | 2611 1924 15507 | 5000 0 nan | 0.000 % | 0.01/0.03 c =============================================================================== 0.01/0.03 c New solution: 439 0.01/0.03 o 439 0.01/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s 0.01/0.03 c =============================================================================== 0.01/0.03 c | 0 | 2611 1925 18118 | 5000 0 nan | 0.000 % | 0.01/0.06 c | 101 | 2611 1925 18118 | 5500 101 450 | 0.000 % | 0.01/0.07 c =============================================================================== 0.01/0.07 c New solution: 438 0.01/0.07 o 438 0.01/0.07 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s 0.01/0.07 c =============================================================================== 0.01/0.07 c | 101 | 2611 1926 20729 | 5000 101 450 | 0.000 % | 0.09/0.10 c | 202 | 2611 1926 20729 | 5500 202 452 | 0.000 % | 0.09/0.17 c | 352 | 2611 1926 20729 | 6050 352 452 | 0.000 % | 0.19/0.24 c | 577 | 2611 1926 20729 | 6655 577 453 | 0.000 % | 0.29/0.35 c | 914 | 2611 1926 20729 | 7320 914 455 | 0.000 % | 0.49/0.53 c | 1421 | 2611 1926 20729 | 8052 1421 453 | 0.000 % | 0.79/0.80 c | 2181 | 2611 1926 20729 | 8857 2181 452 | 0.000 % | 1.10/1.15 c | 3321 | 2611 1926 20729 | 9743 3321 451 | 0.000 % | 1.69/1.71 c | 5030 | 2611 1926 20729 | 10717 5030 451 | 0.000 % | 2.59/2.68 c | 7592 | 2611 1926 20729 | 11789 7592 451 | 0.000 % | 3.99/4.06 c | 11437 | 2611 1926 20729 | 12968 11437 452 | 0.000 % | 6.29/6.35 c | 17204 | 2611 1926 20729 | 14265 9735 452 | 0.000 % | 9.69/9.71 c | 25854 | 2611 1926 20729 | 15692 10262 453 | 0.000 % | 15.30/15.40 c | 38829 | 2611 1926 20729 | 17261 14374 452 | 0.000 % | 23.59/23.61 c | 58290 | 2611 1926 20729 | 18987 14293 448 | 0.000 % | 35.78/35.83 c | 87483 | 2611 1926 20729 | 20886 11718 448 | 0.000 % | 54.98/55.08 c | 131272 | 2611 1926 20729 | 22974 17938 450 | 0.000 % | 81.57/81.63 c | 196957 | 2611 1926 20729 | 25272 11787 451 | 0.000 % | 126.46/126.58 c | 295484 | 2611 1926 20729 | 27799 26903 447 | 0.000 % | 181.84/181.95 c There are 0 assigned variables. 0 in cost function. 182.84/182.99 c core #1 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 18 Core Weight: 1 Total Weight: 1 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #2 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 6 Core Weight: 1 Total Weight: 2 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #3 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 9 Core Weight: 1 Total Weight: 3 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #4 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 16 Core Weight: 1 Total Weight: 4 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #5 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 13 Core Weight: 1 Total Weight: 5 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #6 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 4 Core Weight: 1 Total Weight: 6 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #7 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 18 Core Weight: 1 Total Weight: 7 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #8 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 3 Core Weight: 1 Total Weight: 8 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #9 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 18 Core Weight: 1 Total Weight: 9 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #10 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 8 Core Weight: 1 Total Weight: 10 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #11 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 5 Core Weight: 1 Total Weight: 11 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #12 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 13 Core Weight: 1 Total Weight: 12 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #13 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 9 Core Weight: 1 Total Weight: 13 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #14 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 11 Core Weight: 1 Total Weight: 14 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #15 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 6 Core Weight: 1 Total Weight: 15 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #16 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 14 Core Weight: 1 Total Weight: 16 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #17 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 18 Core Weight: 1 Total Weight: 17 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #18 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 4 Core Weight: 1 Total Weight: 18 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #19 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 3 Core Weight: 1 Total Weight: 19 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #20 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 3 Core Weight: 1 Total Weight: 20 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #21 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 12 Core Weight: 1 Total Weight: 21 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #22 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 7 Core Weight: 1 Total Weight: 22 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #23 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 12 Core Weight: 1 Total Weight: 23 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #24 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 3 Core Weight: 1 Total Weight: 24 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #25 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 4 Core Weight: 1 Total Weight: 25 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #26 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 14 Core Weight: 1 Total Weight: 26 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #27 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 9 Core Weight: 1 Total Weight: 27 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #28 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 5 Core Weight: 1 Total Weight: 28 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #29 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 7 Core Weight: 1 Total Weight: 29 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #30 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 9 Core Weight: 1 Total Weight: 30 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #31 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 4 Core Weight: 1 Total Weight: 31 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #32 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 8 Core Weight: 1 Total Weight: 32 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #33 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 4 Core Weight: 1 Total Weight: 33 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #34 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 7 Core Weight: 1 Total Weight: 34 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #35 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 5 Core Weight: 1 Total Weight: 35 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #36 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 5 Core Weight: 1 Total Weight: 36 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #37 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 3 Core Weight: 1 Total Weight: 37 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #38 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 4 Core Weight: 1 Total Weight: 38 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #39 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 13 Core Weight: 1 Total Weight: 39 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #40 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 3 Core Weight: 1 Total Weight: 40 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #41 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 14 Core Weight: 1 Total Weight: 41 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #42 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 8 Core Weight: 1 Total Weight: 42 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #43 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 12 Core Weight: 1 Total Weight: 43 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #44 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 9 Core Weight: 1 Total Weight: 44 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #45 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 4 Core Weight: 1 Total Weight: 45 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #46 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 13 Core Weight: 1 Total Weight: 46 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #47 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 6 Core Weight: 1 Total Weight: 47 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #48 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 11 Core Weight: 1 Total Weight: 48 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #49 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 7 Core Weight: 1 Total Weight: 49 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #50 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 3 Core Weight: 1 Total Weight: 50 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #51 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 5 Core Weight: 1 Total Weight: 51 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #52 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 7 Core Weight: 1 Total Weight: 52 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #53 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 3 Core Weight: 1 Total Weight: 53 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #54 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 6 Core Weight: 1 Total Weight: 54 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #55 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 7 Core Weight: 1 Total Weight: 55 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #56 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 8 Core Weight: 1 Total Weight: 56 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #57 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 3 Core Weight: 1 Total Weight: 57 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #58 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 5 Core Weight: 1 Total Weight: 58 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #59 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 5 Core Weight: 1 Total Weight: 59 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #60 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c Core size: 13 Core Weight: 1 Total Weight: 60 182.84/182.99 c 182.84/182.99 c 182.84/182.99 c core #61 182.84/182.99 c 182.84/182.99 c 183.54/183.62 c Core size: 4 Core Weight: 1 Total Weight: 61 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #62 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 10 Core Weight: 1 Total Weight: 62 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #63 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 4 Core Weight: 1 Total Weight: 63 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #64 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 8 Core Weight: 1 Total Weight: 64 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #65 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 7 Core Weight: 1 Total Weight: 65 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #66 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 4 Core Weight: 1 Total Weight: 66 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #67 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 6 Core Weight: 1 Total Weight: 67 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #68 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 11 Core Weight: 1 Total Weight: 68 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #69 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 5 Core Weight: 1 Total Weight: 69 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #70 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 7 Core Weight: 1 Total Weight: 70 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #71 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 3 Core Weight: 1 Total Weight: 71 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #72 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 8 Core Weight: 1 Total Weight: 72 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #73 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 3 Core Weight: 1 Total Weight: 73 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #74 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 7 Core Weight: 1 Total Weight: 74 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #75 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 5 Core Weight: 1 Total Weight: 75 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #76 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 7 Core Weight: 1 Total Weight: 76 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #77 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 26 Core Weight: 1 Total Weight: 77 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #78 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 6 Core Weight: 1 Total Weight: 78 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #79 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 8 Core Weight: 1 Total Weight: 79 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #80 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 6 Core Weight: 1 Total Weight: 80 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #81 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 5 Core Weight: 1 Total Weight: 81 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #82 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 6 Core Weight: 1 Total Weight: 82 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #83 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 16 Core Weight: 1 Total Weight: 83 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #84 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 10 Core Weight: 1 Total Weight: 84 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #85 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 4 Core Weight: 1 Total Weight: 85 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #86 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 11 Core Weight: 1 Total Weight: 86 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #87 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 12 Core Weight: 1 Total Weight: 87 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #88 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 9 Core Weight: 1 Total Weight: 88 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #89 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 7 Core Weight: 1 Total Weight: 89 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #90 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 7 Core Weight: 1 Total Weight: 90 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #91 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 5 Core Weight: 1 Total Weight: 91 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #92 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 6 Core Weight: 1 Total Weight: 92 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #93 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 10 Core Weight: 1 Total Weight: 93 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #94 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 7 Core Weight: 1 Total Weight: 94 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #95 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 4 Core Weight: 1 Total Weight: 95 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #96 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 6 Core Weight: 1 Total Weight: 96 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #97 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 4 Core Weight: 1 Total Weight: 97 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #98 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 5 Core Weight: 1 Total Weight: 98 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #99 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 5 Core Weight: 1 Total Weight: 99 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #100 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 5 Core Weight: 1 Total Weight: 100 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #101 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 7 Core Weight: 1 Total Weight: 101 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #102 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 6 Core Weight: 1 Total Weight: 102 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #103 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 7 Core Weight: 1 Total Weight: 103 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #104 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 9 Core Weight: 1 Total Weight: 104 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #105 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 6 Core Weight: 1 Total Weight: 105 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #106 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 12 Core Weight: 1 Total Weight: 106 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #107 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 5 Core Weight: 1 Total Weight: 107 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #108 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 14 Core Weight: 1 Total Weight: 108 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #109 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 3 Core Weight: 1 Total Weight: 109 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #110 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 5 Core Weight: 1 Total Weight: 110 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #111 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 5 Core Weight: 1 Total Weight: 111 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #112 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 7 Core Weight: 1 Total Weight: 112 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #113 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 3 Core Weight: 1 Total Weight: 113 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #114 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 5 Core Weight: 1 Total Weight: 114 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #115 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 9 Core Weight: 1 Total Weight: 115 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #116 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 4 Core Weight: 1 Total Weight: 116 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #117 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 9 Core Weight: 1 Total Weight: 117 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #118 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 3 Core Weight: 1 Total Weight: 118 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #119 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 4 Core Weight: 1 Total Weight: 119 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c core #120 183.54/183.62 c 183.54/183.62 c 183.54/183.62 c Core size: 5 Core Weight: 1 Total Weight: 120 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #121 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 5 Core Weight: 1 Total Weight: 121 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #122 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 6 Core Weight: 1 Total Weight: 122 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #123 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 4 Core Weight: 1 Total Weight: 123 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #124 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 8 Core Weight: 1 Total Weight: 124 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #125 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 9 Core Weight: 1 Total Weight: 125 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #126 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 7 Core Weight: 1 Total Weight: 126 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #127 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 4 Core Weight: 1 Total Weight: 127 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #128 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 8 Core Weight: 1 Total Weight: 128 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #129 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 4 Core Weight: 1 Total Weight: 129 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #130 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 5 Core Weight: 1 Total Weight: 130 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #131 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 3 Core Weight: 1 Total Weight: 131 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #132 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 3 Core Weight: 1 Total Weight: 132 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #133 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 5 Core Weight: 1 Total Weight: 133 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #134 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 6 Core Weight: 1 Total Weight: 134 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #135 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 7 Core Weight: 1 Total Weight: 135 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #136 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 5 Core Weight: 1 Total Weight: 136 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #137 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 5 Core Weight: 1 Total Weight: 137 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #138 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 8 Core Weight: 1 Total Weight: 138 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #139 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 7 Core Weight: 1 Total Weight: 139 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #140 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 10 Core Weight: 1 Total Weight: 140 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #141 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 10 Core Weight: 1 Total Weight: 141 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #142 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 10 Core Weight: 1 Total Weight: 142 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #143 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 6 Core Weight: 1 Total Weight: 143 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #144 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 4 Core Weight: 1 Total Weight: 144 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #145 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 8 Core Weight: 1 Total Weight: 145 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #146 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 18 Core Weight: 1 Total Weight: 146 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #147 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 3 Core Weight: 1 Total Weight: 147 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #148 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 3 Core Weight: 1 Total Weight: 148 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #149 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 3 Core Weight: 1 Total Weight: 149 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #150 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 4 Core Weight: 1 Total Weight: 150 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #151 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 4 Core Weight: 1 Total Weight: 151 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #152 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 4 Core Weight: 1 Total Weight: 152 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #153 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 3 Core Weight: 1 Total Weight: 153 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #154 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 4 Core Weight: 1 Total Weight: 154 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #155 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 15 Core Weight: 1 Total Weight: 155 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #156 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 3 Core Weight: 1 Total Weight: 156 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #157 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 4 Core Weight: 1 Total Weight: 157 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #158 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 6 Core Weight: 1 Total Weight: 158 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #159 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 5 Core Weight: 1 Total Weight: 159 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #160 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 5 Core Weight: 1 Total Weight: 160 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #161 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 9 Core Weight: 1 Total Weight: 161 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #162 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 7 Core Weight: 1 Total Weight: 162 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #163 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 10 Core Weight: 1 Total Weight: 163 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c core #164 184.24/184.30 c 184.24/184.30 c 184.24/184.30 c Core size: 5 Core Weight: 1 Total Weight: 164 184.24/184.31 c 184.24/184.31 c 184.24/184.31 c core #165 184.24/184.31 c 184.24/184.31 c 184.24/184.31 c Core size: 3 Core Weight: 1 Total Weight: 165 184.24/184.31 c 184.24/184.31 c 184.24/184.31 c core #166 184.24/184.31 c 184.24/184.31 c 184.24/184.31 c Core size: 12 Core Weight: 1 Total Weight: 166 184.24/184.31 c 184.24/184.31 c 184.24/184.31 c core #167 184.24/184.31 c 184.24/184.31 c 184.24/184.31 c Core size: 3 Core Weight: 1 Total Weight: 167 184.24/184.31 c 184.24/184.31 c 184.24/184.31 c core #168 184.24/184.31 c 184.24/184.31 c 184.24/184.31 c Core size: 6 Core Weight: 1 Total Weight: 168 184.24/184.31 c 184.24/184.31 c 184.24/184.31 c core #169 184.24/184.31 c 184.24/184.31 c 184.24/184.31 c Core size: 16 Core Weight: 1 Total Weight: 169 184.24/184.31 c 184.24/184.31 c 184.24/184.31 c core #170 184.24/184.31 c 184.24/184.31 c 184.24/184.31 c Core size: 14 Core Weight: 1 Total Weight: 170 184.24/184.31 c 184.24/184.31 c 184.24/184.31 c core #171 184.24/184.31 c 184.24/184.31 c 184.24/184.31 c Core size: 6 Core Weight: 1 Total Weight: 171 184.24/184.31 c 184.24/184.31 c 184.24/184.31 c core #172 184.24/184.31 c 184.24/184.31 c 184.24/184.31 c Core size: 4 Core Weight: 1 Total Weight: 172 184.24/184.31 c 184.24/184.31 c 184.24/184.31 c core #173 184.24/184.31 c 184.24/184.31 c 184.24/184.31 c Core size: 8 Core Weight: 1 Total Weight: 173 184.24/184.31 c 184.24/184.31 c 184.24/184.31 c core #174 184.24/184.31 c 184.24/184.31 c 184.24/184.31 c Core size: 7 Core Weight: 1 Total Weight: 174 184.24/184.31 c 184.24/184.31 c 184.24/184.31 c core #175 184.24/184.31 c 184.24/184.31 c 184.24/184.31 c Core size: 9 Core Weight: 1 Total Weight: 175 184.24/184.31 c 184.24/184.31 c 184.24/184.31 c core #176 184.24/184.31 c 184.24/184.31 c 184.24/184.31 c Core size: 5 Core Weight: 1 Total Weight: 176 184.24/184.31 c 184.24/184.31 c 184.24/184.31 c core #177 184.24/184.31 c 184.24/184.31 c 184.24/184.31 c Core size: 5 Core Weight: 1 Total Weight: 177 184.24/184.31 c 184.24/184.31 c 184.24/184.31 c core #178 184.24/184.31 c 184.24/184.31 c 184.24/184.31 c Core size: 7 Core Weight: 1 Total Weight: 178 184.24/184.31 c 184.24/184.31 c 184.24/184.31 c core #179 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 4 Core Weight: 1 Total Weight: 179 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #180 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 4 Core Weight: 1 Total Weight: 180 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #181 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 6 Core Weight: 1 Total Weight: 181 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #182 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 7 Core Weight: 1 Total Weight: 182 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #183 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 4 Core Weight: 1 Total Weight: 183 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #184 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 4 Core Weight: 1 Total Weight: 184 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #185 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 5 Core Weight: 1 Total Weight: 185 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #186 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 8 Core Weight: 1 Total Weight: 186 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #187 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 10 Core Weight: 1 Total Weight: 187 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #188 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 4 Core Weight: 1 Total Weight: 188 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #189 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 8 Core Weight: 1 Total Weight: 189 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #190 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 9 Core Weight: 1 Total Weight: 190 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #191 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 11 Core Weight: 1 Total Weight: 191 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #192 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 5 Core Weight: 1 Total Weight: 192 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #193 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 11 Core Weight: 1 Total Weight: 193 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #194 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 7 Core Weight: 1 Total Weight: 194 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #195 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 7 Core Weight: 1 Total Weight: 195 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #196 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 4 Core Weight: 1 Total Weight: 196 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #197 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 4 Core Weight: 1 Total Weight: 197 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #198 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 9 Core Weight: 1 Total Weight: 198 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #199 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 6 Core Weight: 1 Total Weight: 199 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #200 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 5 Core Weight: 1 Total Weight: 200 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #201 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 10 Core Weight: 1 Total Weight: 201 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #202 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 8 Core Weight: 1 Total Weight: 202 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #203 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 10 Core Weight: 1 Total Weight: 203 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #204 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 6 Core Weight: 1 Total Weight: 204 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #205 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 3 Core Weight: 1 Total Weight: 205 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #206 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 3 Core Weight: 1 Total Weight: 206 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #207 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 8 Core Weight: 1 Total Weight: 207 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #208 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 12 Core Weight: 1 Total Weight: 208 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #209 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 8 Core Weight: 1 Total Weight: 209 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #210 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 5 Core Weight: 1 Total Weight: 210 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #211 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 12 Core Weight: 1 Total Weight: 211 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #212 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 9 Core Weight: 1 Total Weight: 212 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #213 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 5 Core Weight: 1 Total Weight: 213 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #214 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 4 Core Weight: 1 Total Weight: 214 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #215 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 12 Core Weight: 1 Total Weight: 215 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #216 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 18 Core Weight: 1 Total Weight: 216 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #217 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 13 Core Weight: 1 Total Weight: 217 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #218 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 21 Core Weight: 1 Total Weight: 218 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #219 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 11 Core Weight: 1 Total Weight: 219 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #220 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 11 Core Weight: 1 Total Weight: 220 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #221 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 11 Core Weight: 1 Total Weight: 221 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #222 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 9 Core Weight: 1 Total Weight: 222 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #223 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 29 Core Weight: 1 Total Weight: 223 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #224 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 19 Core Weight: 1 Total Weight: 224 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #225 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 13 Core Weight: 1 Total Weight: 225 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #226 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 36 Core Weight: 1 Total Weight: 226 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #227 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 12 Core Weight: 1 Total Weight: 227 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #228 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 10 Core Weight: 1 Total Weight: 228 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #229 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 15 Core Weight: 1 Total Weight: 229 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #230 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 10 Core Weight: 1 Total Weight: 230 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #231 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 17 Core Weight: 1 Total Weight: 231 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #232 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 67 Core Weight: 1 Total Weight: 232 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #233 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 44 Core Weight: 1 Total Weight: 233 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #234 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 14 Core Weight: 1 Total Weight: 234 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #235 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 21 Core Weight: 1 Total Weight: 235 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #236 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c Core size: 13 Core Weight: 1 Total Weight: 236 185.04/185.15 c 185.04/185.15 c 185.04/185.15 c core #237 185.04/185.15 c 185.14/185.29 c 185.14/185.29 c Core size: 31 Core Weight: 1 Total Weight: 237 185.14/185.29 c 185.14/185.29 c 185.14/185.29 c core #238 185.14/185.29 c 185.14/185.29 c 185.14/185.29 c Core size: 27 Core Weight: 1 Total Weight: 238 185.14/185.29 c 185.14/185.29 c 185.14/185.29 c core #239 185.14/185.29 c 185.14/185.29 c 185.14/185.29 c Core size: 13 Core Weight: 1 Total Weight: 239 185.14/185.29 c 185.14/185.29 c 185.14/185.29 c core #240 185.14/185.29 c 185.14/185.29 c 185.14/185.29 c Core size: 40 Core Weight: 1 Total Weight: 240 185.14/185.29 c 185.14/185.29 c 185.14/185.29 c core #241 185.14/185.29 c 185.14/185.29 c 185.14/185.29 c Core size: 8 Core Weight: 1 Total Weight: 241 185.14/185.29 c 185.14/185.29 c 185.14/185.29 c core #242 185.14/185.29 c 185.14/185.29 c 185.14/185.29 c Core size: 42 Core Weight: 1 Total Weight: 242 185.14/185.29 c 185.14/185.29 c 185.14/185.29 c core #243 185.14/185.29 c 185.14/185.29 c 185.14/185.29 c Core size: 30 Core Weight: 1 Total Weight: 243 185.14/185.29 c 185.14/185.29 c 185.14/185.29 c ============================[ Search Statistics ]============================== 185.14/185.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.14/185.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.14/185.29 c =============================================================================== 185.14/185.29 c | 0 | 3150 4780 25531 | 5000 0 nan | 0.000 % | 185.14/185.29 c =============================================================================== 185.24/185.31 c core #244 185.24/185.31 c 185.24/185.31 c 185.24/185.31 c Core size: 75 Core Weight: 1 Total Weight: 244 185.24/185.31 c 185.24/185.31 c 185.24/185.31 c ============================[ Search Statistics ]============================== 185.24/185.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.24/185.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.24/185.31 c =============================================================================== 185.24/185.31 c | 0 | 3250 4781 25710 | 5000 0 nan | 0.000 % | 185.24/185.32 c | 101 | 3250 4781 25710 | 5500 101 20 | 27.081 % | 185.24/185.32 c =============================================================================== 185.24/185.34 c core #245 185.24/185.34 c 185.24/185.34 c 185.24/185.34 c Core size: 28 Core Weight: 1 Total Weight: 245 185.24/185.34 c 185.24/185.34 c 185.24/185.34 c ============================[ Search Statistics ]============================== 185.24/185.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.24/185.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.24/185.34 c =============================================================================== 185.24/185.34 c | 0 | 3276 4782 25760 | 5000 0 nan | 0.000 % | 185.24/185.35 c | 100 | 3275 4782 25760 | 5500 100 15 | 27.025 % | 185.24/185.36 c | 250 | 3270 4782 25760 | 6050 250 14 | 27.114 % | 185.24/185.38 c | 476 | 3270 4782 25760 | 6655 476 16 | 27.114 % | 185.24/185.38 c =============================================================================== 185.24/185.40 c core #246 185.24/185.40 c 185.24/185.40 c 185.24/185.40 c Core size: 28 Core Weight: 1 Total Weight: 246 185.24/185.40 c 185.24/185.40 c 185.24/185.40 c ============================[ Search Statistics ]============================== 185.24/185.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.24/185.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.24/185.40 c =============================================================================== 185.24/185.40 c | 0 | 3334 4783 25817 | 5000 0 nan | 0.000 % | 185.34/185.41 c | 103 | 3334 4783 25817 | 5500 103 14 | 25.956 % | 185.34/185.41 c =============================================================================== 185.34/185.43 c core #247 185.34/185.43 c 185.34/185.43 c 185.34/185.43 c Core size: 79 Core Weight: 1 Total Weight: 247 185.34/185.43 c 185.34/185.43 c 185.34/185.43 c ============================[ Search Statistics ]============================== 185.34/185.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.34/185.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.34/185.43 c =============================================================================== 185.34/185.43 c | 0 | 3444 4784 25993 | 5000 0 nan | 0.000 % | 185.34/185.44 c | 100 | 3444 4784 25993 | 5500 100 17 | 24.551 % | 185.34/185.44 c | 250 | 3443 4784 25993 | 6050 250 18 | 24.594 % | 185.34/185.46 c | 477 | 3421 4784 25993 | 6655 472 18 | 25.077 % | 185.34/185.49 c | 815 | 3288 4784 25993 | 7320 212 14 | 28.365 % | 185.34/185.49 c =============================================================================== 185.44/185.52 c core #248 185.44/185.52 c 185.44/185.52 c 185.44/185.52 c Core size: 256 Core Weight: 1 Total Weight: 248 185.44/185.52 c 185.44/185.52 c 185.44/185.52 c ============================[ Search Statistics ]============================== 185.44/185.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.44/185.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.44/185.52 c =============================================================================== 185.44/185.52 c | 0 | 3794 4785 26626 | 5000 0 nan | 0.000 % | 185.44/185.53 c | 100 | 3793 4785 26626 | 5500 100 25 | 20.984 % | 185.44/185.55 c | 250 | 3789 4785 26626 | 6050 244 29 | 21.046 % | 185.44/185.56 c =============================================================================== 185.44/185.58 c core #249 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 212 Core Weight: 1 Total Weight: 249 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c ============================[ Search Statistics ]============================== 185.44/185.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.44/185.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.44/185.58 c =============================================================================== 185.44/185.58 c | 0 | 4055 4786 27094 | 5000 0 nan | 0.000 % | 185.44/185.59 c | 103 | 4055 4786 27094 | 5500 103 23 | 18.997 % | 185.54/185.61 c | 254 | 4043 4786 27094 | 6050 253 28 | 19.876 % | 185.54/185.65 c | 479 | 4042 4786 27094 | 6655 478 40 | 19.936 % | 185.54/185.69 c | 816 | 3959 4786 27094 | 7320 790 44 | 20.935 % | 185.64/185.72 c =============================================================================== 185.64/185.75 c core #250 185.64/185.75 c 185.64/185.75 c 185.64/185.75 c Core size: 248 Core Weight: 1 Total Weight: 250 185.64/185.75 c 185.64/185.75 c 185.64/185.75 c ============================[ Search Statistics ]============================== 185.64/185.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.75 c =============================================================================== 185.64/185.75 c | 0 | 4349 4787 27654 | 5000 0 nan | 0.000 % | 185.64/185.76 c =============================================================================== 185.64/185.78 c core #251 185.64/185.78 c 185.64/185.78 c 185.64/185.78 c Core size: 111 Core Weight: 1 Total Weight: 251 185.64/185.78 c 185.64/185.78 c 185.64/185.78 c ============================[ Search Statistics ]============================== 185.64/185.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.78 c =============================================================================== 185.64/185.78 c | 0 | 4482 4788 27896 | 5000 0 nan | 0.000 % | 185.64/185.80 c | 100 | 4477 4788 27896 | 5500 100 29 | 16.882 % | 185.75/185.81 c | 253 | 4438 4788 27896 | 6050 248 28 | 17.031 % | 185.75/185.85 c =============================================================================== 185.75/185.87 c core #252 185.75/185.87 c 185.75/185.87 c 185.75/185.87 c Core size: 308 Core Weight: 1 Total Weight: 252 185.75/185.87 c 185.75/185.87 c 185.75/185.87 c ============================[ Search Statistics ]============================== 185.75/185.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.75/185.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.75/185.87 c =============================================================================== 185.75/185.87 c | 0 | 4821 4789 28531 | 5000 0 nan | 0.000 % | 185.75/185.89 c | 100 | 4821 4789 28531 | 5500 100 58 | 14.415 % | 185.85/185.91 c | 250 | 4821 4789 28531 | 6050 250 46 | 14.415 % | 185.85/185.94 c | 475 | 4819 4789 28531 | 6655 474 38 | 14.451 % | 185.85/185.98 c | 814 | 4819 4789 28531 | 7320 813 37 | 14.451 % | 185.94/186.05 c | 1320 | 4815 4789 28531 | 8052 1318 35 | 14.522 % | 186.04/186.17 c | 2082 | 4813 4789 28531 | 8857 2078 41 | 14.557 % | 186.24/186.38 c | 3221 | 4811 4789 28531 | 9743 3216 48 | 14.628 % | 186.64/186.74 c | 4931 | 4803 4789 28531 | 10717 4924 57 | 14.735 % | 187.24/187.38 c | 7495 | 4720 4789 28531 | 11789 7469 64 | 20.309 % | 188.14/188.24 c =============================================================================== 188.24/188.34 c core #253 188.24/188.34 c 188.24/188.34 c 188.24/188.34 c Core size: 689 Core Weight: 1 Total Weight: 253 188.24/188.34 c 188.24/188.34 c 188.24/188.34 c ============================[ Search Statistics ]============================== 188.24/188.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.24/188.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.24/188.34 c =============================================================================== 188.24/188.34 c | 0 | 5643 4790 30035 | 5000 0 nan | 0.000 % | 188.24/188.36 c =============================================================================== 188.24/188.38 c core #254 188.24/188.38 c 188.24/188.38 c 188.24/188.38 c Core size: 38 Core Weight: 1 Total Weight: 254 188.24/188.38 c 188.24/188.38 c 188.24/188.38 c ============================[ Search Statistics ]============================== 188.24/188.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.24/188.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.24/188.38 c =============================================================================== 188.24/188.38 c | 0 | 5686 4791 30113 | 5000 0 nan | 0.000 % | 188.34/188.40 c | 100 | 5686 4791 30113 | 5500 100 11 | 10.089 % | 188.34/188.42 c | 254 | 5686 4791 30113 | 6050 254 12 | 10.089 % | 188.34/188.45 c | 479 | 5684 4791 30113 | 6655 476 13 | 10.120 % | 188.34/188.45 c =============================================================================== 188.34/188.48 c core #255 188.34/188.48 c 188.34/188.48 c 188.34/188.48 c Core size: 133 Core Weight: 1 Total Weight: 255 188.34/188.48 c 188.34/188.48 c 188.34/188.48 c ============================[ Search Statistics ]============================== 188.34/188.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.34/188.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.34/188.48 c =============================================================================== 188.34/188.48 c | 0 | 5853 4792 30410 | 5000 0 nan | 0.000 % | 188.44/188.50 c | 102 | 5853 4792 30410 | 5500 102 16 | 9.312 % | 188.44/188.52 c | 252 | 5851 4792 30410 | 6050 251 21 | 9.343 % | 188.44/188.55 c | 477 | 5851 4792 30410 | 6655 476 18 | 9.343 % | 188.54/188.60 c | 814 | 5849 4792 30410 | 7320 812 24 | 9.374 % | 188.54/188.67 c | 1322 | 5849 4792 30410 | 8052 1320 41 | 9.374 % | 188.74/188.84 c | 2081 | 5847 4792 30410 | 8857 2078 42 | 9.405 % | 189.04/189.15 c | 3223 | 5845 4792 30410 | 9743 3219 50 | 9.436 % | 189.54/189.62 c | 4931 | 5845 4792 30410 | 10717 4927 66 | 9.436 % | 190.64/190.72 c | 7493 | 5845 4792 30410 | 11789 7489 81 | 9.436 % | 192.64/192.79 c | 11337 | 5843 4792 30410 | 12968 11332 101 | 9.467 % | 195.54/195.69 c | 17103 | 5843 4792 30410 | 14265 10210 108 | 9.467 % | 200.05/200.12 c | 25753 | 5843 4792 30410 | 15692 11347 139 | 9.467 % | 208.34/208.45 c | 38731 | 5843 4792 30410 | 17261 16031 136 | 9.467 % | 218.53/218.61 c | 58194 | 5843 4792 30410 | 18987 17148 150 | 9.467 % | 228.74/228.85 c =============================================================================== 230.63/230.72 c core #256 230.63/230.72 c 230.63/230.72 c 230.63/230.72 c Core size: 598 Core Weight: 1 Total Weight: 256 230.63/230.72 c 230.63/230.72 c 230.63/230.72 c ============================[ Search Statistics ]============================== 230.63/230.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 230.63/230.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 230.63/230.72 c =============================================================================== 230.63/230.72 c | 0 | 6533 4793 31689 | 5000 0 nan | 0.000 % | 230.63/230.78 c | 102 | 6533 4793 31689 | 5500 102 45 | 7.268 % | 230.73/230.81 c | 254 | 6533 4793 31689 | 6050 254 29 | 7.268 % | 230.73/230.84 c | 479 | 6533 4793 31689 | 6655 479 29 | 7.268 % | 230.73/230.89 c | 818 | 6533 4793 31689 | 7320 818 31 | 7.268 % | 230.83/230.99 c | 1324 | 6533 4793 31689 | 8052 1324 37 | 7.268 % | 231.03/231.16 c | 2085 | 6533 4793 31689 | 8857 2085 48 | 7.268 % | 231.32/231.45 c | 3224 | 6533 4793 31689 | 9743 3224 56 | 7.268 % | 231.94/232.00 c | 4932 | 6533 4793 31689 | 10717 4932 60 | 7.268 % | 232.83/232.96 c | 7498 | 6533 4793 31689 | 11789 7498 81 | 7.268 % | 234.43/234.50 c =============================================================================== 234.63/234.70 c core #257 234.63/234.70 c 234.63/234.70 c 234.63/234.70 c Core size: 407 Core Weight: 1 Total Weight: 257 234.63/234.70 c 234.63/234.70 c 234.63/234.70 c ============================[ Search Statistics ]============================== 234.63/234.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 234.63/234.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 234.63/234.70 c =============================================================================== 234.63/234.70 c | 0 | 6977 4794 32536 | 5000 0 nan | 0.000 % | 234.63/234.73 c | 100 | 6977 4794 32536 | 5500 100 34 | 6.349 % | 234.63/234.75 c | 252 | 6974 4794 32536 | 6050 251 41 | 6.430 % | 234.72/234.80 c | 477 | 6971 4794 32536 | 6655 476 37 | 6.430 % | 234.82/234.92 c | 818 | 6971 4794 32536 | 7320 809 53 | 6.430 % | 234.92/235.07 c | 1325 | 6971 4794 32536 | 8052 1316 52 | 6.430 % | 235.02/235.19 c | 2085 | 6971 4794 32536 | 8857 2076 45 | 6.430 % | 235.33/235.43 c | 3226 | 6971 4794 32536 | 9743 3217 43 | 6.430 % | 235.62/235.75 c | 4934 | 6971 4794 32536 | 10717 4925 54 | 6.430 % | 236.33/236.47 c | 7499 | 6969 4794 32536 | 11789 7489 60 | 6.456 % | 237.82/237.90 c | 11343 | 6967 4794 32536 | 12968 11332 67 | 6.483 % | 240.22/240.37 c | 17110 | 6965 4794 32536 | 14265 10324 89 | 6.510 % | 245.02/245.16 c | 25762 | 6957 4794 32536 | 15692 11268 97 | 6.644 % | 252.32/252.48 c | 38743 | 6948 4794 32536 | 17261 15987 121 | 6.738 % | 256.32/256.47 c =============================================================================== 256.92/257.09 c core #258 256.92/257.09 c 256.92/257.09 c 256.92/257.09 c Core size: 772 Core Weight: 1 Total Weight: 258 256.92/257.09 c 256.92/257.09 c 256.92/257.09 c ============================[ Search Statistics ]============================== 256.92/257.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 256.92/257.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 256.92/257.09 c =============================================================================== 256.92/257.09 c | 0 | 7822 4795 34151 | 5000 0 nan | 0.000 % | 257.02/257.13 c | 101 | 7822 4795 34151 | 5500 101 25 | 4.842 % | 257.02/257.17 c | 252 | 7822 4795 34151 | 6050 252 47 | 4.842 % | 257.12/257.20 c | 479 | 7822 4795 34151 | 6655 479 45 | 4.842 % | 257.12/257.28 c | 816 | 7822 4795 34151 | 7320 816 43 | 4.842 % | 257.33/257.45 c | 1322 | 7822 4795 34151 | 8052 1322 61 | 4.842 % | 257.52/257.65 c | 2081 | 7822 4795 34151 | 8857 2081 75 | 4.842 % | 257.82/257.91 c | 3220 | 7822 4795 34151 | 9743 3220 82 | 4.842 % | 258.22/258.30 c | 4932 | 7822 4795 34151 | 10717 4932 92 | 4.842 % | 258.82/258.95 c | 7494 | 7822 4795 34151 | 11789 7494 87 | 4.842 % | 260.22/260.33 c | 11338 | 7822 4795 34151 | 12968 11338 110 | 4.842 % | 262.62/262.75 c | 17104 | 7822 4795 34151 | 14265 10233 182 | 4.842 % | 265.82/265.91 c | 25756 | 7822 4795 34151 | 15692 10714 183 | 4.842 % | 270.53/270.65 c | 38733 | 7822 4795 34151 | 17261 15327 194 | 4.842 % | 280.11/280.21 c | 58194 | 7822 4795 34151 | 18987 16013 323 | 4.842 % | 308.01/308.13 c | 87386 | 7822 4795 34151 | 20886 15816 335 | 4.842 % | 360.09/360.25 c | 131180 | 7822 4795 34151 | 22974 16727 364 | 4.842 % | 407.48/407.61 c | 196867 | 7822 4795 34151 | 25272 22213 199 | 4.842 % | 495.36/495.56 c | 295395 | 7822 4795 34151 | 27799 24661 249 | 4.842 % | 683.02/683.22 c | 443184 | 7822 4795 34151 | 30579 20925 388 | 4.842 % | 914.15/914.49 c | 664871 | 7822 4795 34151 | 33637 26231 314 | 4.842 % |
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-2680906-1277457160/watcher-2680906-1277457160 -o /tmp/evaluation-result-2680906-1277457160/solver-2680906-1277457160 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680906-1277457160.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.00 1.00 0.94 3/106 29186 /proc/meminfo: memFree=1850884/2059040 swapFree=4135576/4192956 [pid=29186] ppid=29184 vsize=3056 CPUtime=0 /proc/29186/stat : 29186 (wbo1.4b) R 29184 29186 28720 0 -1 4202496 362 0 0 0 0 0 0 0 20 0 1 0 121319999 3129344 281 1992294400 134512640 135752675 4294614864 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29186/statm: 764 281 139 303 0 417 0 [startup+0.0145549 s] /proc/loadavg: 1.00 1.00 0.94 3/106 29186 /proc/meminfo: memFree=1850884/2059040 swapFree=4135576/4192956 [pid=29186] ppid=29184 vsize=3056 CPUtime=0.01 /proc/29186/stat : 29186 (wbo1.4b) R 29184 29186 28720 0 -1 4202496 382 0 0 0 1 0 0 0 20 0 1 0 121319999 3129344 301 1992294400 134512640 135752675 4294614864 18446744073709551615 135225891 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29186/statm: 764 301 149 303 0 417 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 3056 [startup+0.101563 s] /proc/loadavg: 1.00 1.00 0.94 3/106 29186 /proc/meminfo: memFree=1850884/2059040 swapFree=4135576/4192956 [pid=29186] ppid=29184 vsize=3688 CPUtime=0.09 /proc/29186/stat : 29186 (wbo1.4b) R 29184 29186 28720 0 -1 4202496 598 0 0 0 8 1 0 0 18 0 1 0 121319999 3776512 475 1992294400 134512640 135752675 4294614864 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29186/statm: 922 475 145 303 0 617 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3688 [startup+0.301584 s] /proc/loadavg: 1.00 1.00 0.94 3/106 29186 /proc/meminfo: memFree=1850884/2059040 swapFree=4135576/4192956 [pid=29186] ppid=29184 vsize=4720 CPUtime=0.29 /proc/29186/stat : 29186 (wbo1.4b) R 29184 29186 28720 0 -1 4202496 869 0 0 0 28 1 0 0 18 0 1 0 121319999 4833280 746 1992294400 134512640 135752675 4294614864 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29186/statm: 1180 746 145 303 0 875 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4720 [startup+0.701624 s] /proc/loadavg: 1.00 1.00 0.94 3/106 29186 /proc/meminfo: memFree=1850884/2059040 swapFree=4135576/4192956 [pid=29186] ppid=29184 vsize=6900 CPUtime=0.69 /proc/29186/stat : 29186 (wbo1.4b) R 29184 29186 28720 0 -1 4202496 1406 0 0 0 67 2 0 0 18 0 1 0 121319999 7065600 1283 1992294400 134512640 135752675 4294614864 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29186/statm: 1725 1283 145 303 0 1420 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6900 [startup+1.50071 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29187 /proc/meminfo: memFree=1844428/2059040 swapFree=4135576/4192956 [pid=29186] ppid=29184 vsize=11512 CPUtime=1.49 /proc/29186/stat : 29186 (wbo1.4b) R 29184 29186 28720 0 -1 4202496 2574 0 0 0 146 3 0 0 19 0 1 0 121319999 11788288 2451 1992294400 134512640 135752675 4294614864 18446744073709551615 134638856 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29186/statm: 2878 2451 145 303 0 2573 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11512 [startup+3.10087 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29187 /proc/meminfo: memFree=1838228/2059040 swapFree=4135576/4192956 [pid=29186] ppid=29184 vsize=19724 CPUtime=3.09 /proc/29186/stat : 29186 (wbo1.4b) R 29184 29186 28720 0 -1 4202496 4629 0 0 0 303 6 0 0 23 0 1 0 121319999 20197376 4506 1992294400 134512640 135752675 4294614864 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29186/statm: 4931 4506 145 303 0 4626 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19724 [startup+6.3012 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29187 /proc/meminfo: memFree=1821116/2059040 swapFree=4135576/4192956 [pid=29186] ppid=29184 vsize=35608 CPUtime=6.29 /proc/29186/stat : 29186 (wbo1.4b) R 29184 29186 28720 0 -1 4202496 8584 0 0 0 618 11 0 0 25 0 1 0 121319999 36462592 8461 1992294400 134512640 135752675 4294614864 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29186/statm: 8902 8461 145 303 0 8597 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 35608 [startup+12.7009 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29187 /proc/meminfo: memFree=1789124/2059040 swapFree=4135576/4192956 [pid=29186] ppid=29184 vsize=66120 CPUtime=12.69 /proc/29186/stat : 29186 (wbo1.4b) R 29184 29186 28720 0 -1 4202496 16235 0 0 0 1250 19 0 0 25 0 1 0 121319999 67706880 16112 1992294400 134512640 135752675 4294614864 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29186/statm: 16530 16112 145 303 0 16225 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 66120 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29187 /proc/meminfo: memFree=1731092/2059040 swapFree=4135576/4192956 [pid=29186] ppid=29184 vsize=123020 CPUtime=25.48 /proc/29186/stat : 29186 (wbo1.4b) R 29184 29186 28720 0 -1 4202496 30428 0 0 0 2518 30 0 0 25 0 1 0 121319999 125972480 30305 1992294400 134512640 135752675 4294614864 18446744073709551615 134638128 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29186/statm: 30755 30305 145 303 0 30450 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 123020 [startup+51.1018 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29189 /proc/meminfo: memFree=1619244/2059040 swapFree=4135576/4192956 [pid=29186] ppid=29184 vsize=235188 CPUtime=51.08 /proc/29186/stat : 29186 (wbo1.4b) R 29184 29186 28720 0 -1 4202496 58463 0 0 0 5051 57 0 0 25 0 1 0 121319999 240832512 58340 1992294400 134512640 135752675 4294614864 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29186/statm: 58797 58340 145 303 0 58492 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 235188 [startup+102.309 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29192 /proc/meminfo: memFree=1390216/2059040 swapFree=4135576/4192956 [pid=29186] ppid=29184 vsize=461708 CPUtime=102.27 /proc/29186/stat : 29186 (wbo1.4b) R 29184 29186 28720 0 -1 4202496 115071 0 0 0 10113 114 0 0 25 0 1 0 121319999 472788992 114948 1992294400 134512640 135752675 4294614864 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29186/statm: 115427 114948 145 303 0 115122 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 461708 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29194 /proc/meminfo: memFree=1151640/2059040 swapFree=4135576/4192956 [pid=29186] ppid=29184 vsize=701432 CPUtime=162.24 /proc/29186/stat : 29186 (wbo1.4b) R 29184 29186 28720 0 -1 4202496 174981 0 0 0 16051 173 0 0 25 0 1 0 121319999 718266368 174858 1992294400 134512640 135752675 4294614864 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29186/statm: 175358 174858 145 303 0 175053 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 701432 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29196 /proc/meminfo: memFree=1083440/2059040 swapFree=4135576/4192956 [pid=29186] ppid=29184 vsize=767320 CPUtime=222.23 /proc/29186/stat : 29186 (wbo1.4b) R 29184 29186 28720 0 -1 4202496 191550 0 0 0 21995 228 0 0 25 0 1 0 121319999 785735680 191397 1992294400 134512640 135752675 4294614864 18446744073709551615 134637650 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29186/statm: 191830 191397 146 303 0 191525 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 767320 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29198 /proc/meminfo: memFree=1021192/2059040 swapFree=4135576/4192956 [pid=29186] ppid=29184 vsize=831148 CPUtime=282.21 /proc/29186/stat : 29186 (wbo1.4b) R 29184 29186 28720 0 -1 4202496 207572 0 0 0 27920 301 0 0 25 0 1 0 121319999 851095552 207335 1992294400 134512640 135752675 4294614864 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29186/statm: 207787 207335 146 303 0 207482 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 831148 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29200 /proc/meminfo: memFree=939228/2059040 swapFree=4135576/4192956 [pid=29186] ppid=29184 vsize=911872 CPUtime=342.2 /proc/29186/stat : 29186 (wbo1.4b) R 29184 29186 28720 0 -1 4202496 227751 0 0 0 33875 345 0 0 25 0 1 0 121319999 933756928 227514 1992294400 134512640 135752675 4294614864 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29186/statm: 227968 227514 146 303 0 227663 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 911872 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29200 /proc/meminfo: memFree=852800/2059040 swapFree=4135576/4192956 [pid=29186] ppid=29184 vsize=999660 CPUtime=402.18 /proc/29186/stat : 29186 (wbo1.4b) R 29184 29186 28720 0 -1 4202496 249662 0 0 0 39822 396 0 0 25 0 1 0 121319999 1023651840 249425 1992294400 134512640 135752675 4294614864 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29186/statm: 249915 249425 146 303 0 249610 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 999660 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29202 /proc/meminfo: memFree=771704/2059040 swapFree=4135576/4192956 [pid=29186] ppid=29184 vsize=1078752 CPUtime=462.17 /proc/29186/stat : 29186 (wbo1.4b) R 29184 29186 28720 0 -1 4202496 269426 0 0 0 45771 446 0 0 25 0 1 0 121319999 1104642048 269189 1992294400 134512640 135752675 4294614864 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29186/statm: 269688 269189 146 303 0 269383 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 1078752 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29204 /proc/meminfo: memFree=689120/2059040 swapFree=4135576/4192956 [pid=29186] ppid=29184 vsize=1162448 CPUtime=522.15 /proc/29186/stat : 29186 (wbo1.4b) R 29184 29186 28720 0 -1 4202496 290349 0 0 0 51722 493 0 0 25 0 1 0 121319999 1190346752 290112 1992294400 134512640 135752675 4294614864 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29186/statm: 290612 290112 146 303 0 290307 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 1162448 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29206 /proc/meminfo: memFree=595872/2059040 swapFree=4135576/4192956 [pid=29186] ppid=29184 vsize=1254548 CPUtime=582.14 /proc/29186/stat : 29186 (wbo1.4b) R 29184 29186 28720 0 -1 4202496 313372 0 0 0 57667 547 0 0 25 0 1 0 121319999 1284657152 313135 1992294400 134512640 135752675 4294614864 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29186/statm: 313637 313135 146 303 0 313332 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 1254548 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29208 /proc/meminfo: memFree=525316/2059040 swapFree=4135576/4192956 [pid=29186] ppid=29184 vsize=1324616 CPUtime=642.13 /proc/29186/stat : 29186 (wbo1.4b) R 29184 29186 28720 0 -1 4202496 330840 0 0 0 63632 581 0 0 25 0 1 0 121319999 1356406784 330603 1992294400 134512640 135752675 4294614864 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29186/statm: 331154 330603 146 303 0 330849 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 1324616 [startup+702.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29208 /proc/meminfo: memFree=476584/2059040 swapFree=4135576/4192956 [pid=29186] ppid=29184 vsize=1373708 CPUtime=702.1 /proc/29186/stat : 29186 (wbo1.4b) R 29184 29186 28720 0 -1 4202496 343087 0 0 0 69604 606 0 0 25 0 1 0 121319999 1406676992 342850 1992294400 134512640 135752675 4294614864 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29186/statm: 343427 342850 146 303 0 343122 0 Current children cumulated CPU time (s) 702.1 Current children cumulated vsize (KiB) 1373708 [startup+762.309 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29210 /proc/meminfo: memFree=395364/2059040 swapFree=4135576/4192956 [pid=29186] ppid=29184 vsize=1454568 CPUtime=762.1 /proc/29186/stat : 29186 (wbo1.4b) R 29184 29186 28720 0 -1 4202496 363265 0 0 0 75556 654 0 0 25 0 1 0 121319999 1489477632 363028 1992294400 134512640 135752675 4294614864 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29186/statm: 363642 363028 146 303 0 363337 0 Current children cumulated CPU time (s) 762.1 Current children cumulated vsize (KiB) 1454568 [startup+822.302 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29212 /proc/meminfo: memFree=323568/2059040 swapFree=4135576/4192956 [pid=29186] ppid=29184 vsize=1527652 CPUtime=822.08 /proc/29186/stat : 29186 (wbo1.4b) R 29184 29186 28720 0 -1 4202496 381544 0 0 0 81509 699 0 0 25 0 1 0 121319999 1564315648 381307 1992294400 134512640 135752675 4294614864 18446744073709551615 134639370 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29186/statm: 381913 381307 146 303 0 381608 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 1527652 [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29214 /proc/meminfo: memFree=246440/2059040 swapFree=4135576/4192956 [pid=29186] ppid=29184 vsize=1603236 CPUtime=882.06 /proc/29186/stat : 29186 (wbo1.4b) R 29184 29186 28720 0 -1 4202496 400435 0 0 0 87459 747 0 0 25 0 1 0 121319999 1641713664 400198 1992294400 134512640 135752675 4294614864 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29186/statm: 400809 400198 146 303 0 400504 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 1603236 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29216 /proc/meminfo: memFree=160384/2059040 swapFree=4135576/4192956 [pid=29186] ppid=29184 vsize=1690272 CPUtime=942.05 /proc/29186/stat : 29186 (wbo1.4b) R 29184 29186 28720 0 -1 4202496 422184 0 0 0 93414 791 0 0 25 0 1 0 121319999 1730838528 421947 1992294400 134512640 135752675 4294614864 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29186/statm: 422568 421947 146 303 0 422263 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 1690272 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29216 /proc/meminfo: memFree=73956/2059040 swapFree=4135576/4192956 [pid=29186] ppid=29184 vsize=1775484 CPUtime=1002.03 /proc/29186/stat : 29186 (wbo1.4b) R 29184 29186 28720 0 -1 4202496 443467 0 0 0 99373 830 0 0 25 0 1 0 121319999 1818095616 443230 1992294400 134512640 135752675 4294614864 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29186/statm: 443871 443230 146 303 0 443566 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 1775484 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1058.1 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29218 /proc/meminfo: memFree=10440/2059040 swapFree=4135576/4192956 [pid=29186] ppid=29184 vsize=1843312 CPUtime=1057.84 /proc/29186/stat : 29186 (wbo1.4b) R 29184 29186 28720 0 -1 4202496 460406 0 0 0 104925 859 0 0 25 0 1 0 121319999 1887551488 460169 1992294400 134512640 135752675 4294614864 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29186/statm: 460828 460169 146 303 0 460523 0 Current children cumulated CPU time (s) 1057.84 Current children cumulated vsize (KiB) 1843312 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1058.22 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29218 /proc/meminfo: memFree=10440/2059040 swapFree=4135576/4192956 [pid=29186] ppid=29184 vsize=0 CPUtime=1057.94 /proc/29186/stat : 29186 (wbo1.4b) R 29184 29186 28720 0 -1 4203524 460406 0 0 0 104925 869 0 0 25 0 1 0 121319999 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/29186/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1057.94 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1058.29 CPU time (s): 1058.02 CPU user time (s): 1049.25 CPU system time (s): 8.76667 CPU usage (%): 99.9742 Max. virtual memory (cumulated for all children) (KiB): 1843312 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1049.25 system time used= 8.76667 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460406 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= 10 involuntary context switches= 1136 runsolver used 1.85472 second user time and 4.92525 second system time The end
Begin job on node002 at 2010-06-25 11:12:40 IDJOB=2680906 IDBENCH=2872 IDSOLVER=1190 FILE ID=node002/2680906-1277457160 PBS_JOBID= 11188155 Free space on /tmp= 62460 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-prom2.r.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680906-1277457160/watcher-2680906-1277457160 -o /tmp/evaluation-result-2680906-1277457160/solver-2680906-1277457160 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680906-1277457160.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fe2fc6a37df33476d3a38f976836359f RANDOM SEED=1786721057 node002.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.242 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.242 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.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1851412 kB Buffers: 32012 kB Cached: 75516 kB SwapCached: 9840 kB Active: 17408 kB Inactive: 103184 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1851412 kB SwapTotal: 4192956 kB SwapFree: 4135576 kB Dirty: 2744 kB Writeback: 0 kB AnonPages: 11620 kB Mapped: 8396 kB Slab: 65164 kB PageTables: 4188 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181624 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= 62456 MiB End job on node002 at 2010-06-25 11:30:21