| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.4b (fixed) | ? (MO) | 1084.86 | 1085.18 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-prom2.pi.opb |
| MD5SUM | 6a8ed45a9ac044152dd384e143f7e172 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 287 |
| Best CPU time to get the best result obtained on this benchmark | 1.05784 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 287 |
| Optimality of the best value was proved | YES |
| Number of variables | 2617 |
| Total number of constraints | 1988 |
| Number of constraints which are clauses | 1988 |
| 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 | 1 |
| Maximum length of a constraint | 30 |
| Number of terms in the objective function | 2617 |
| 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 | 2617 |
| 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 | 2617 |
| 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-2680766-1277453456.opb. 0.00/0.00 c Instance file HOME/instance-2680766-1277453456.opb 0.00/0.00 c File size is 170628 bytes. 0.00/0.02 c Highest Coefficient sum: 31 0.00/0.02 c ============================[ Problem Statistics ]============================= 0.00/0.02 c | | 0.00/0.02 c | Parsing time: 0.03 s | 0.00/0.02 c | Number Variables: 2617 | 0.00/0.02 c | Number Clauses: 1988 | 0.00/0.02 c | Number Cardinality: 0 | 0.00/0.02 c | Number PB Constraints: 0 | 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 2608 1988 15466 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 437 0.00/0.03 o 437 0.00/0.03 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 2608 1989 18083 | 5000 0 nan | 0.000 % | 0.00/0.07 c | 100 | 2608 1989 18083 | 5500 100 446 | 0.344 % | 0.09/0.12 c | 250 | 2608 1989 18083 | 6050 250 448 | 0.344 % | 0.09/0.19 c | 475 | 2608 1989 18083 | 6655 475 451 | 0.344 % | 0.29/0.31 c | 813 | 2608 1989 18083 | 7320 813 449 | 0.344 % | 0.39/0.46 c | 1320 | 2608 1989 18083 | 8052 1320 449 | 0.344 % | 0.69/0.76 c | 2080 | 2608 1989 18083 | 8857 2080 449 | 0.344 % | 1.09/1.16 c | 3219 | 2608 1989 18083 | 9743 3219 449 | 0.344 % | 1.79/1.82 c | 4928 | 2608 1989 18083 | 10717 4928 449 | 0.344 % | 2.69/2.73 c | 7490 | 2608 1989 18083 | 11789 7490 451 | 0.344 % | 3.99/4.04 c | 11334 | 2608 1989 18083 | 12968 11334 452 | 0.344 % | 6.29/6.35 c | 17100 | 2608 1989 18083 | 14265 9701 451 | 0.344 % | 9.79/9.83 c | 25750 | 2608 1989 18083 | 15692 10278 454 | 0.344 % | 14.98/15.02 c | 38725 | 2608 1989 18083 | 17261 14425 451 | 0.344 % | 22.79/22.88 c | 58186 | 2608 1989 18083 | 18987 14452 455 | 0.344 % | 36.88/37.00 c | 87378 | 2608 1989 18083 | 20886 11786 452 | 0.344 % | 58.38/58.47 c | 131169 | 2608 1989 18083 | 22974 19932 486 | 0.344 % | 87.67/87.70 c | 196854 | 2608 1989 18083 | 25272 14238 452 | 0.344 % | 128.45/128.54 c | 295380 | 2608 1989 18083 | 27799 12759 449 | 0.344 % | 181.84/181.99 c There are 9 assigned variables. 9 in cost function. 182.94/183.00 c core #1 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c Core size: 4 Core Weight: 1 Total Weight: 10 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c core #2 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c Core size: 9 Core Weight: 1 Total Weight: 11 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c core #3 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c Core size: 15 Core Weight: 1 Total Weight: 12 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c core #4 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c Core size: 7 Core Weight: 1 Total Weight: 13 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c core #5 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c Core size: 11 Core Weight: 1 Total Weight: 14 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c core #6 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c Core size: 4 Core Weight: 1 Total Weight: 15 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c core #7 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c Core size: 12 Core Weight: 1 Total Weight: 16 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c core #8 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c Core size: 10 Core Weight: 1 Total Weight: 17 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c core #9 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c Core size: 5 Core Weight: 1 Total Weight: 18 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c core #10 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c Core size: 8 Core Weight: 1 Total Weight: 19 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c core #11 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c Core size: 3 Core Weight: 1 Total Weight: 20 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c core #12 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c Core size: 14 Core Weight: 1 Total Weight: 21 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c core #13 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c Core size: 6 Core Weight: 1 Total Weight: 22 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c core #14 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c Core size: 5 Core Weight: 1 Total Weight: 23 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c core #15 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c Core size: 10 Core Weight: 1 Total Weight: 24 182.94/183.00 c 182.94/183.00 c 182.94/183.00 c core #16 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 8 Core Weight: 1 Total Weight: 25 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #17 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 6 Core Weight: 1 Total Weight: 26 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #18 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 5 Core Weight: 1 Total Weight: 27 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #19 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 6 Core Weight: 1 Total Weight: 28 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #20 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 5 Core Weight: 1 Total Weight: 29 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #21 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 16 Core Weight: 1 Total Weight: 30 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #22 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 8 Core Weight: 1 Total Weight: 31 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #23 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 5 Core Weight: 1 Total Weight: 32 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #24 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 10 Core Weight: 1 Total Weight: 33 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #25 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 3 Core Weight: 1 Total Weight: 34 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #26 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 7 Core Weight: 1 Total Weight: 35 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #27 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 11 Core Weight: 1 Total Weight: 36 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #28 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 5 Core Weight: 1 Total Weight: 37 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #29 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 4 Core Weight: 1 Total Weight: 38 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #30 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 5 Core Weight: 1 Total Weight: 39 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #31 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 8 Core Weight: 1 Total Weight: 40 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #32 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 4 Core Weight: 1 Total Weight: 41 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #33 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 6 Core Weight: 1 Total Weight: 42 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #34 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 7 Core Weight: 1 Total Weight: 43 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #35 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 6 Core Weight: 1 Total Weight: 44 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #36 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 4 Core Weight: 1 Total Weight: 45 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #37 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 7 Core Weight: 1 Total Weight: 46 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #38 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 4 Core Weight: 1 Total Weight: 47 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #39 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 3 Core Weight: 1 Total Weight: 48 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #40 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 10 Core Weight: 1 Total Weight: 49 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #41 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 10 Core Weight: 1 Total Weight: 50 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #42 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 8 Core Weight: 1 Total Weight: 51 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #43 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 3 Core Weight: 1 Total Weight: 52 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #44 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 9 Core Weight: 1 Total Weight: 53 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #45 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 5 Core Weight: 1 Total Weight: 54 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #46 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 9 Core Weight: 1 Total Weight: 55 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #47 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 4 Core Weight: 1 Total Weight: 56 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #48 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 3 Core Weight: 1 Total Weight: 57 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #49 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 5 Core Weight: 1 Total Weight: 58 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #50 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 4 Core Weight: 1 Total Weight: 59 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #51 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 6 Core Weight: 1 Total Weight: 60 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #52 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 10 Core Weight: 1 Total Weight: 61 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #53 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 4 Core Weight: 1 Total Weight: 62 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #54 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 4 Core Weight: 1 Total Weight: 63 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #55 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 5 Core Weight: 1 Total Weight: 64 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #56 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 12 Core Weight: 1 Total Weight: 65 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #57 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 10 Core Weight: 1 Total Weight: 66 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #58 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 5 Core Weight: 1 Total Weight: 67 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #59 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 3 Core Weight: 1 Total Weight: 68 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #60 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c Core size: 5 Core Weight: 1 Total Weight: 69 182.94/183.01 c 182.94/183.01 c 182.94/183.01 c core #61 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 7 Core Weight: 1 Total Weight: 70 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #62 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 5 Core Weight: 1 Total Weight: 71 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #63 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 13 Core Weight: 1 Total Weight: 72 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #64 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 7 Core Weight: 1 Total Weight: 73 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #65 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 5 Core Weight: 1 Total Weight: 74 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #66 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 4 Core Weight: 1 Total Weight: 75 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #67 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 7 Core Weight: 1 Total Weight: 76 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #68 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 4 Core Weight: 1 Total Weight: 77 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #69 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: 78 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #70 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 5 Core Weight: 1 Total Weight: 79 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #71 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 10 Core Weight: 1 Total Weight: 80 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #72 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 7 Core Weight: 1 Total Weight: 81 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #73 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 9 Core Weight: 1 Total Weight: 82 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #74 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 4 Core Weight: 1 Total Weight: 83 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #75 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 6 Core Weight: 1 Total Weight: 84 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #76 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 4 Core Weight: 1 Total Weight: 85 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #77 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 10 Core Weight: 1 Total Weight: 86 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #78 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 4 Core Weight: 1 Total Weight: 87 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #79 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 4 Core Weight: 1 Total Weight: 88 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #80 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 26 Core Weight: 1 Total Weight: 89 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #81 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 6 Core Weight: 1 Total Weight: 90 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #82 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 4 Core Weight: 1 Total Weight: 91 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #83 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 11 Core Weight: 1 Total Weight: 92 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #84 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: 93 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #85 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 19 Core Weight: 1 Total Weight: 94 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #86 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 6 Core Weight: 1 Total Weight: 95 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #87 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: 96 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #88 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 4 Core Weight: 1 Total Weight: 97 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #89 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 9 Core Weight: 1 Total Weight: 98 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #90 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 4 Core Weight: 1 Total Weight: 99 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #91 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: 100 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #92 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 7 Core Weight: 1 Total Weight: 101 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #93 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: 102 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #94 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 5 Core Weight: 1 Total Weight: 103 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #95 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 5 Core Weight: 1 Total Weight: 104 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #96 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 5 Core Weight: 1 Total Weight: 105 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #97 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 12 Core Weight: 1 Total Weight: 106 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #98 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 9 Core Weight: 1 Total Weight: 107 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #99 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 8 Core Weight: 1 Total Weight: 108 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #100 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 9 Core Weight: 1 Total Weight: 109 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #101 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 3 Core Weight: 1 Total Weight: 110 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #102 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 6 Core Weight: 1 Total Weight: 111 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #103 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 4 Core Weight: 1 Total Weight: 112 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #104 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 10 Core Weight: 1 Total Weight: 113 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c core #105 183.44/183.60 c 183.44/183.60 c 183.44/183.60 c Core size: 5 Core Weight: 1 Total Weight: 114 183.55/183.61 c 183.55/183.61 c 183.55/183.61 c core #106 183.55/183.61 c 183.55/183.61 c 183.55/183.61 c Core size: 6 Core Weight: 1 Total Weight: 115 183.55/183.61 c 183.55/183.61 c 183.55/183.61 c core #107 183.55/183.61 c 183.55/183.61 c 183.55/183.61 c Core size: 3 Core Weight: 1 Total Weight: 116 183.55/183.61 c 183.55/183.61 c 183.55/183.61 c core #108 183.55/183.61 c 183.55/183.61 c 183.55/183.61 c Core size: 5 Core Weight: 1 Total Weight: 117 183.55/183.61 c 183.55/183.61 c 183.55/183.61 c core #109 183.55/183.61 c 183.55/183.61 c 183.55/183.61 c Core size: 7 Core Weight: 1 Total Weight: 118 183.55/183.61 c 183.55/183.61 c 183.55/183.61 c core #110 183.55/183.61 c 183.55/183.61 c 183.55/183.61 c Core size: 7 Core Weight: 1 Total Weight: 119 183.55/183.61 c 183.55/183.61 c 183.55/183.61 c core #111 183.55/183.61 c 183.55/183.61 c 183.55/183.61 c Core size: 12 Core Weight: 1 Total Weight: 120 183.55/183.61 c 183.55/183.61 c 183.55/183.61 c core #112 183.55/183.61 c 183.55/183.61 c 183.55/183.61 c Core size: 16 Core Weight: 1 Total Weight: 121 183.55/183.61 c 183.55/183.61 c 183.55/183.61 c core #113 183.55/183.61 c 183.55/183.61 c 183.55/183.61 c Core size: 10 Core Weight: 1 Total Weight: 122 183.55/183.61 c 183.55/183.61 c 183.55/183.61 c core #114 183.55/183.61 c 183.55/183.61 c 183.55/183.61 c Core size: 17 Core Weight: 1 Total Weight: 123 183.55/183.61 c 183.55/183.61 c 183.55/183.61 c core #115 183.55/183.61 c 183.55/183.61 c 183.55/183.61 c Core size: 5 Core Weight: 1 Total Weight: 124 183.55/183.61 c 183.55/183.61 c 183.55/183.61 c core #116 183.55/183.61 c 183.55/183.61 c 183.55/183.61 c Core size: 7 Core Weight: 1 Total Weight: 125 183.55/183.61 c 183.55/183.61 c 183.55/183.61 c core #117 183.55/183.61 c 183.55/183.61 c 183.55/183.61 c Core size: 5 Core Weight: 1 Total Weight: 126 183.55/183.61 c 183.55/183.61 c 183.55/183.61 c core #118 183.55/183.61 c 183.55/183.61 c 183.55/183.61 c Core size: 10 Core Weight: 1 Total Weight: 127 183.55/183.61 c 183.55/183.61 c 183.55/183.61 c core #119 183.55/183.61 c 183.55/183.61 c 183.55/183.61 c Core size: 4 Core Weight: 1 Total Weight: 128 183.55/183.61 c 183.55/183.61 c 183.55/183.61 c core #120 183.55/183.61 c 183.55/183.61 c 183.55/183.61 c Core size: 19 Core Weight: 1 Total Weight: 129 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #121 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 6 Core Weight: 1 Total Weight: 130 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #122 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 21 Core Weight: 1 Total Weight: 131 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #123 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 7 Core Weight: 1 Total Weight: 132 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #124 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 8 Core Weight: 1 Total Weight: 133 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #125 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 5 Core Weight: 1 Total Weight: 134 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #126 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 5 Core Weight: 1 Total Weight: 135 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #127 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 10 Core Weight: 1 Total Weight: 136 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #128 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 12 Core Weight: 1 Total Weight: 137 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #129 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 9 Core Weight: 1 Total Weight: 138 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #130 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 6 Core Weight: 1 Total Weight: 139 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #131 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 8 Core Weight: 1 Total Weight: 140 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #132 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 5 Core Weight: 1 Total Weight: 141 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #133 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 5 Core Weight: 1 Total Weight: 142 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #134 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 4 Core Weight: 1 Total Weight: 143 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #135 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 5 Core Weight: 1 Total Weight: 144 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #136 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 7 Core Weight: 1 Total Weight: 145 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #137 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 12 Core Weight: 1 Total Weight: 146 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #138 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 3 Core Weight: 1 Total Weight: 147 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #139 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 3 Core Weight: 1 Total Weight: 148 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #140 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 7 Core Weight: 1 Total Weight: 149 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #141 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 3 Core Weight: 1 Total Weight: 150 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #142 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 15 Core Weight: 1 Total Weight: 151 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #143 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 19 Core Weight: 1 Total Weight: 152 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #144 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 4 Core Weight: 1 Total Weight: 153 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #145 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 7 Core Weight: 1 Total Weight: 154 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #146 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 4 Core Weight: 1 Total Weight: 155 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #147 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 4 Core Weight: 1 Total Weight: 156 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #148 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 5 Core Weight: 1 Total Weight: 157 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #149 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 11 Core Weight: 1 Total Weight: 158 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #150 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 6 Core Weight: 1 Total Weight: 159 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #151 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 14 Core Weight: 1 Total Weight: 160 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #152 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 9 Core Weight: 1 Total Weight: 161 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #153 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 7 Core Weight: 1 Total Weight: 162 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #154 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 5 Core Weight: 1 Total Weight: 163 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #155 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 10 Core Weight: 1 Total Weight: 164 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #156 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 4 Core Weight: 1 Total Weight: 165 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #157 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 7 Core Weight: 1 Total Weight: 166 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #158 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 6 Core Weight: 1 Total Weight: 167 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #159 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 3 Core Weight: 1 Total Weight: 168 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #160 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 12 Core Weight: 1 Total Weight: 169 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #161 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 9 Core Weight: 1 Total Weight: 170 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #162 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 3 Core Weight: 1 Total Weight: 171 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #163 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 3 Core Weight: 1 Total Weight: 172 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #164 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 10 Core Weight: 1 Total Weight: 173 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #165 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 5 Core Weight: 1 Total Weight: 174 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #166 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 4 Core Weight: 1 Total Weight: 175 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #167 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 11 Core Weight: 1 Total Weight: 176 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #168 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 4 Core Weight: 1 Total Weight: 177 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #169 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 6 Core Weight: 1 Total Weight: 178 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #170 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 4 Core Weight: 1 Total Weight: 179 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #171 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 4 Core Weight: 1 Total Weight: 180 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #172 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 7 Core Weight: 1 Total Weight: 181 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #173 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 7 Core Weight: 1 Total Weight: 182 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #174 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 8 Core Weight: 1 Total Weight: 183 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #175 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 4 Core Weight: 1 Total Weight: 184 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #176 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 3 Core Weight: 1 Total Weight: 185 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #177 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 7 Core Weight: 1 Total Weight: 186 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c core #178 184.14/184.25 c 184.14/184.25 c 184.14/184.25 c Core size: 4 Core Weight: 1 Total Weight: 187 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #179 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 8 Core Weight: 1 Total Weight: 188 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #180 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 5 Core Weight: 1 Total Weight: 189 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #181 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 3 Core Weight: 1 Total Weight: 190 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #182 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 6 Core Weight: 1 Total Weight: 191 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #183 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 7 Core Weight: 1 Total Weight: 192 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #184 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 6 Core Weight: 1 Total Weight: 193 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #185 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 3 Core Weight: 1 Total Weight: 194 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #186 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 7 Core Weight: 1 Total Weight: 195 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #187 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 7 Core Weight: 1 Total Weight: 196 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #188 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 6 Core Weight: 1 Total Weight: 197 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #189 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 3 Core Weight: 1 Total Weight: 198 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #190 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 9 Core Weight: 1 Total Weight: 199 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #191 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 4 Core Weight: 1 Total Weight: 200 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #192 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 7 Core Weight: 1 Total Weight: 201 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #193 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 3 Core Weight: 1 Total Weight: 202 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #194 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 7 Core Weight: 1 Total Weight: 203 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #195 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 3 Core Weight: 1 Total Weight: 204 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #196 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 6 Core Weight: 1 Total Weight: 205 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #197 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 4 Core Weight: 1 Total Weight: 206 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #198 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 9 Core Weight: 1 Total Weight: 207 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #199 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 5 Core Weight: 1 Total Weight: 208 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #200 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 12 Core Weight: 1 Total Weight: 209 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #201 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 5 Core Weight: 1 Total Weight: 210 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #202 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 9 Core Weight: 1 Total Weight: 211 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #203 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 4 Core Weight: 1 Total Weight: 212 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #204 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 6 Core Weight: 1 Total Weight: 213 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #205 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 5 Core Weight: 1 Total Weight: 214 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #206 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 3 Core Weight: 1 Total Weight: 215 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #207 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 11 Core Weight: 1 Total Weight: 216 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #208 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 5 Core Weight: 1 Total Weight: 217 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #209 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 9 Core Weight: 1 Total Weight: 218 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #210 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 8 Core Weight: 1 Total Weight: 219 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #211 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 13 Core Weight: 1 Total Weight: 220 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #212 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 4 Core Weight: 1 Total Weight: 221 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #213 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 5 Core Weight: 1 Total Weight: 222 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #214 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 6 Core Weight: 1 Total Weight: 223 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #215 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 6 Core Weight: 1 Total Weight: 224 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #216 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 4 Core Weight: 1 Total Weight: 225 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #217 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 8 Core Weight: 1 Total Weight: 226 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #218 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 6 Core Weight: 1 Total Weight: 227 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #219 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 3 Core Weight: 1 Total Weight: 228 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #220 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 4 Core Weight: 1 Total Weight: 229 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #221 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 10 Core Weight: 1 Total Weight: 230 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #222 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 5 Core Weight: 1 Total Weight: 231 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #223 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 5 Core Weight: 1 Total Weight: 232 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #224 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 7 Core Weight: 1 Total Weight: 233 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #225 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 7 Core Weight: 1 Total Weight: 234 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #226 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 3 Core Weight: 1 Total Weight: 235 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #227 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 3 Core Weight: 1 Total Weight: 236 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #228 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 8 Core Weight: 1 Total Weight: 237 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #229 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 4 Core Weight: 1 Total Weight: 238 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #230 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 3 Core Weight: 1 Total Weight: 239 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #231 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 5 Core Weight: 1 Total Weight: 240 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #232 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 5 Core Weight: 1 Total Weight: 241 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #233 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 3 Core Weight: 1 Total Weight: 242 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #234 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 4 Core Weight: 1 Total Weight: 243 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #235 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 23 Core Weight: 1 Total Weight: 244 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #236 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c Core size: 12 Core Weight: 1 Total Weight: 245 184.84/184.99 c 184.84/184.99 c 184.84/184.99 c core #237 184.84/184.99 c 184.84/184.99 c 185.24/185.31 c Core size: 24 Core Weight: 1 Total Weight: 246 185.24/185.31 c 185.24/185.31 c 185.24/185.31 c core #238 185.24/185.31 c 185.24/185.31 c 185.24/185.31 c Core size: 17 Core Weight: 1 Total Weight: 247 185.24/185.31 c 185.24/185.31 c 185.24/185.31 c core #239 185.24/185.31 c 185.24/185.31 c 185.24/185.31 c Core size: 22 Core Weight: 1 Total Weight: 248 185.24/185.31 c 185.24/185.31 c 185.24/185.31 c core #240 185.24/185.31 c 185.24/185.31 c 185.24/185.31 c Core size: 9 Core Weight: 1 Total Weight: 249 185.24/185.31 c 185.24/185.31 c 185.24/185.31 c core #241 185.24/185.31 c 185.24/185.31 c 185.24/185.31 c Core size: 19 Core Weight: 1 Total Weight: 250 185.24/185.31 c 185.24/185.31 c 185.24/185.31 c core #242 185.24/185.31 c 185.24/185.31 c 185.24/185.31 c Core size: 12 Core Weight: 1 Total Weight: 251 185.24/185.31 c 185.24/185.31 c 185.24/185.31 c core #243 185.24/185.31 c 185.24/185.31 c 185.24/185.31 c Core size: 9 Core Weight: 1 Total Weight: 252 185.24/185.31 c 185.24/185.31 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: 17 Core Weight: 1 Total Weight: 253 185.24/185.31 c 185.24/185.31 c 185.24/185.31 c core #245 185.24/185.31 c 185.24/185.31 c 185.24/185.31 c Core size: 18 Core Weight: 1 Total Weight: 254 185.24/185.31 c 185.24/185.31 c 185.24/185.31 c core #246 185.24/185.31 c 185.24/185.31 c 185.24/185.31 c Core size: 26 Core Weight: 1 Total Weight: 255 185.24/185.31 c 185.24/185.31 c 185.24/185.31 c core #247 185.24/185.31 c 185.24/185.31 c 185.24/185.31 c Core size: 16 Core Weight: 1 Total Weight: 256 185.24/185.31 c 185.24/185.31 c 185.24/185.31 c core #248 185.24/185.31 c 185.24/185.31 c 185.24/185.31 c Core size: 17 Core Weight: 1 Total Weight: 257 185.24/185.31 c 185.24/185.31 c 185.24/185.31 c core #249 185.24/185.31 c 185.24/185.31 c 185.24/185.31 c Core size: 11 Core Weight: 1 Total Weight: 258 185.24/185.31 c 185.24/185.31 c 185.24/185.31 c core #250 185.24/185.31 c 185.24/185.31 c 185.24/185.31 c Core size: 22 Core Weight: 1 Total Weight: 259 185.24/185.31 c 185.24/185.31 c 185.24/185.31 c core #251 185.24/185.31 c 185.24/185.31 c 185.24/185.31 c Core size: 17 Core Weight: 1 Total Weight: 260 185.24/185.31 c 185.24/185.31 c 185.24/185.31 c core #252 185.24/185.31 c 185.24/185.31 c 185.24/185.31 c Core size: 29 Core Weight: 1 Total Weight: 261 185.24/185.31 c 185.24/185.31 c 185.24/185.31 c core #253 185.24/185.31 c 185.24/185.31 c 185.24/185.31 c Core size: 29 Core Weight: 1 Total Weight: 262 185.24/185.31 c 185.24/185.31 c 185.24/185.31 c core #254 185.24/185.31 c 185.24/185.31 c 185.24/185.31 c Core size: 15 Core Weight: 1 Total Weight: 263 185.24/185.31 c 185.24/185.31 c 185.24/185.31 c core #255 185.24/185.31 c 185.24/185.31 c 185.24/185.31 c Core size: 17 Core Weight: 1 Total Weight: 264 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 | 2935 4833 22426 | 5000 0 nan | 0.000 % | 185.24/185.31 c =============================================================================== 185.24/185.33 c core #256 185.24/185.33 c 185.24/185.33 c 185.24/185.33 c Core size: 33 Core Weight: 1 Total Weight: 265 185.24/185.33 c 185.24/185.33 c 185.24/185.33 c ============================[ Search Statistics ]============================== 185.24/185.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.24/185.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.24/185.33 c =============================================================================== 185.24/185.33 c | 0 | 2981 4834 22502 | 5000 0 nan | 0.000 % | 185.24/185.33 c =============================================================================== 185.24/185.35 c core #257 185.24/185.35 c 185.24/185.35 c 185.24/185.35 c Core size: 109 Core Weight: 1 Total Weight: 266 185.24/185.35 c 185.24/185.35 c 185.24/185.35 c ============================[ Search Statistics ]============================== 185.24/185.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.24/185.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.24/185.35 c =============================================================================== 185.24/185.35 c | 0 | 3157 4835 22827 | 5000 0 nan | 0.000 % | 185.24/185.36 c =============================================================================== 185.24/185.37 c core #258 185.24/185.37 c 185.24/185.37 c 185.24/185.37 c Core size: 140 Core Weight: 1 Total Weight: 267 185.24/185.37 c 185.24/185.37 c 185.24/185.37 c ============================[ Search Statistics ]============================== 185.24/185.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.24/185.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.24/185.37 c =============================================================================== 185.24/185.37 c | 0 | 3346 4836 23172 | 5000 0 nan | 0.000 % | 185.24/185.38 c =============================================================================== 185.24/185.40 c core #259 185.24/185.40 c 185.24/185.40 c 185.24/185.40 c Core size: 58 Core Weight: 1 Total Weight: 268 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 | 3436 4837 23333 | 5000 0 nan | 0.000 % | 185.34/185.41 c =============================================================================== 185.34/185.42 c core #260 185.34/185.42 c 185.34/185.42 c 185.34/185.42 c Core size: 131 Core Weight: 1 Total Weight: 269 185.34/185.42 c 185.34/185.42 c 185.34/185.42 c ============================[ Search Statistics ]============================== 185.34/185.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.34/185.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.34/185.42 c =============================================================================== 185.34/185.42 c | 0 | 3624 4838 23644 | 5000 0 nan | 0.000 % | 185.34/185.43 c | 101 | 3622 4838 23644 | 5500 101 14 | 22.899 % | 185.34/185.45 c =============================================================================== 185.34/185.46 c core #261 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 44 Core Weight: 1 Total Weight: 270 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c ============================[ Search Statistics ]============================== 185.34/185.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.34/185.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.34/185.46 c =============================================================================== 185.34/185.46 c | 0 | 3689 4839 23761 | 5000 0 nan | 0.000 % | 185.34/185.48 c | 101 | 3611 4839 23761 | 5500 101 6 | 27.523 % | 185.34/185.48 c =============================================================================== 185.44/185.50 c core #262 185.44/185.50 c 185.44/185.50 c 185.44/185.50 c Core size: 213 Core Weight: 1 Total Weight: 271 185.44/185.50 c 185.44/185.50 c 185.44/185.50 c ============================[ Search Statistics ]============================== 185.44/185.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.44/185.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.44/185.50 c =============================================================================== 185.44/185.50 c | 0 | 3991 4840 24275 | 5000 0 nan | 0.000 % | 185.44/185.52 c | 100 | 3974 4840 24275 | 5500 100 13 | 19.555 % | 185.44/185.53 c | 252 | 3892 4840 24275 | 6050 242 15 | 20.555 % | 185.44/185.55 c | 479 | 3875 4840 24275 | 6655 467 18 | 20.923 % | 185.44/185.58 c | 816 | 3867 4840 24275 | 7320 804 24 | 21.474 % | 185.54/185.64 c | 1322 | 3565 4840 24275 | 8052 499 21 | 27.230 % | 185.54/185.64 c =============================================================================== 185.54/185.68 c core #263 185.54/185.68 c 185.54/185.68 c 185.54/185.68 c Core size: 347 Core Weight: 1 Total Weight: 272 185.54/185.68 c 185.54/185.68 c 185.54/185.68 c ============================[ Search Statistics ]============================== 185.54/185.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.68 c =============================================================================== 185.54/185.68 c | 0 | 4404 4841 25008 | 5000 0 nan | 0.000 % | 185.64/185.70 c | 104 | 4346 4841 25008 | 5500 93 8 | 16.823 % | 185.64/185.71 c | 258 | 4337 4841 25008 | 6050 240 11 | 17.033 % | 185.64/185.72 c =============================================================================== 185.64/185.74 c core #264 185.64/185.74 c 185.64/185.74 c 185.64/185.74 c Core size: 212 Core Weight: 1 Total Weight: 273 185.64/185.74 c 185.64/185.74 c 185.64/185.74 c ============================[ Search Statistics ]============================== 185.64/185.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.74 c =============================================================================== 185.64/185.74 c | 0 | 4669 4842 25478 | 5000 0 nan | 0.000 % | 185.64/185.76 c | 100 | 4665 4842 25478 | 5500 100 11 | 14.157 % | 185.64/185.78 c | 250 | 4648 4842 25478 | 6050 247 14 | 14.507 % | 185.74/185.81 c | 475 | 4636 4842 25478 | 6655 460 14 | 14.654 % | 185.74/185.83 c =============================================================================== 185.74/185.86 c core #265 185.74/185.86 c 185.74/185.86 c 185.74/185.86 c Core size: 219 Core Weight: 1 Total Weight: 274 185.74/185.86 c 185.74/185.86 c 185.74/185.86 c ============================[ Search Statistics ]============================== 185.74/185.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.74/185.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.74/185.86 c =============================================================================== 185.74/185.86 c | 0 | 4911 4843 25937 | 5000 0 nan | 0.000 % | 185.74/185.88 c | 102 | 4892 4843 25937 | 5500 102 14 | 13.545 % | 185.74/185.89 c | 253 | 4883 4843 25937 | 6050 249 20 | 13.545 % | 185.85/185.92 c | 479 | 4883 4843 25937 | 6655 475 20 | 13.545 % | 185.85/185.98 c | 816 | 4873 4843 25937 | 7320 807 28 | 13.757 % | 185.94/186.05 c | 1325 | 4863 4843 25937 | 8052 1316 28 | 13.899 % | 186.04/186.16 c | 2088 | 4863 4843 25937 | 8857 2074 37 | 13.899 % | 186.24/186.39 c | 3231 | 4829 4843 25937 | 9743 3215 41 | 14.501 % | 186.63/186.71 c | 4939 | 4829 4843 25937 | 10717 4923 50 | 14.501 % | 187.24/187.39 c | 7501 | 4829 4843 25937 | 11789 7485 72 | 14.501 % | 188.54/188.68 c | 11347 | 4817 4843 25937 | 12968 11330 89 | 14.713 % | 191.04/191.11 c | 17113 | 4817 4843 25937 | 14265 9867 118 | 14.713 % | 194.34/194.44 c | 25762 | 4805 4843 25937 | 15692 10875 130 | 14.926 % | 202.03/202.14 c | 38736 | 4787 4843 25937 | 17261 15530 175 | 15.280 % | 211.64/211.70 c =============================================================================== 211.64/211.79 c core #266 211.64/211.79 c 211.64/211.79 c 211.64/211.79 c Core size: 32 Core Weight: 1 Total Weight: 275 211.64/211.79 c 211.64/211.79 c 211.64/211.79 c ============================[ Search Statistics ]============================== 211.64/211.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.64/211.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.64/211.79 c =============================================================================== 211.64/211.79 c | 0 | 4953 4844 26006 | 5000 0 nan | 0.000 % | 211.73/211.82 c | 102 | 4951 4844 26006 | 5500 102 22 | 12.758 % | 211.73/211.84 c | 253 | 4943 4844 26006 | 6050 253 19 | 13.181 % | 211.73/211.86 c | 479 | 4927 4844 26006 | 6655 476 20 | 13.181 % | 211.83/211.90 c | 816 | 4927 4844 26006 | 7320 813 20 | 13.181 % | 211.83/211.96 c | 1322 | 4927 4844 26006 | 8052 1319 29 | 13.181 % | 212.03/212.10 c | 2081 | 4927 4844 26006 | 8857 2078 48 | 13.181 % | 212.24/212.31 c | 3222 | 4927 4844 26006 | 9743 3219 56 | 13.181 % | 212.43/212.59 c | 4930 | 4925 4844 26006 | 10717 4926 53 | 13.216 % | 212.93/213.07 c | 7492 | 4925 4844 26006 | 11789 7488 56 | 13.216 % | 214.13/214.29 c | 11336 | 4911 4844 26006 | 12968 11331 70 | 13.709 % | 216.23/216.35 c | 17103 | 4894 4844 26006 | 14265 10170 88 | 13.762 % | 216.93/217.02 c =============================================================================== 217.23/217.36 c core #267 217.23/217.36 c 217.23/217.36 c 217.23/217.36 c Core size: 574 Core Weight: 1 Total Weight: 276 217.23/217.36 c 217.23/217.36 c 217.23/217.36 c ============================[ Search Statistics ]============================== 217.23/217.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 217.23/217.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 217.23/217.36 c =============================================================================== 217.23/217.36 c | 0 | 5598 4845 27219 | 5000 0 nan | 0.000 % | 217.23/217.39 c | 101 | 5598 4845 27219 | 5500 101 28 | 10.317 % | 217.33/217.43 c | 253 | 5598 4845 27219 | 6050 253 26 | 10.317 % | 217.33/217.49 c | 478 | 5596 4845 27219 | 6655 477 26 | 10.349 % | 217.43/217.55 c | 815 | 5596 4845 27219 | 7320 814 36 | 10.349 % | 217.53/217.67 c | 1321 | 5582 4845 27219 | 8052 1319 49 | 10.574 % | 217.74/217.84 c | 2081 | 5566 4845 27219 | 8857 2078 71 | 10.830 % | 217.93/218.08 c | 3220 | 5566 4845 27219 | 9743 3216 90 | 10.830 % | 218.53/218.62 c | 4928 | 5549 4845 27219 | 10717 4923 123 | 11.407 % | 219.53/219.67 c | 7494 | 5530 4845 27219 | 11789 7487 151 | 11.407 % | 221.23/221.35 c | 11344 | 5530 4845 27219 | 12968 11337 163 | 11.407 % | 223.13/223.30 c | 17110 | 5511 4845 27219 | 14265 10223 164 | 11.855 % | 227.13/227.27 c | 25759 | 5511 4845 27219 | 15692 11234 207 | 11.951 % | 236.02/236.11 c | 38733 | 5496 4845 27219 | 17261 15924 260 | 11.951 % | 248.22/248.36 c | 58194 | 5494 4845 27219 | 18987 16685 202 | 12.015 % | 267.52/267.65 c | 87387 | 5492 4845 27219 | 20886 15772 202 | 12.015 % | 294.21/294.33 c | 131183 | 5492 4845 27219 | 22974 15249 204 | 12.015 % | 346.41/346.56 c | 196873 | 5487 4845 27219 | 25272 20708 248 | 12.144 % | 440.17/440.32 c | 295400 | 5480 4845 27219 | 27799 26523 246 | 12.208 % | 577.93/578.13 c | 443191 | 5480 4845 27219 | 30579 25572 226 | 12.208 % | 618.32/618.54 c =============================================================================== 627.22/627.42 c core #268 627.22/627.42 c 627.22/627.42 c 627.22/627.42 c Core size: 1063 Core Weight: 1 Total Weight: 277 627.22/627.42 c 627.22/627.42 c 627.22/627.42 c ============================[ Search Statistics ]============================== 627.22/627.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 627.22/627.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 627.22/627.42 c =============================================================================== 627.22/627.42 c | 0 | 6790 4846 29459 | 5000 0 nan | 0.000 % | 627.32/627.55 c | 100 | 6789 4846 29459 | 5500 100 80 | 7.165 % | 627.32/627.59 c | 250 | 6776 4846 29459 | 6050 249 65 | 7.165 % | 627.42/627.62 c | 477 | 6776 4846 29459 | 6655 476 55 | 7.165 % | 627.51/627.72 c | 817 | 6776 4846 29459 | 7320 816 66 | 7.165 % | 627.62/627.85 c | 1326 | 6776 4846 29459 | 8052 1325 79 | 7.165 % | 627.82/628.09 c | 2086 | 6774 4846 29459 | 8857 2084 105 | 7.193 % | 628.32/628.55 c | 3225 | 6774 4846 29459 | 9743 3223 136 | 7.193 % | 629.12/629.36 c | 4933 | 6774 4846 29459 | 10717 4931 149 | 7.193 % | 629.92/630.17 c | 7495 | 6774 4846 29459 | 11789 7493 158 | 7.193 % | 632.32/632.51 c | 11345 | 6772 4846 29459 | 12968 11342 174 | 7.220 % | 635.72/635.98 c | 17112 | 6762 4846 29459 | 14265 9867 202 | 7.357 % | 640.81/641.01 c | 25761 | 6748 4846 29459 | 15692 10894 173 | 7.549 % | 648.31/648.56 c | 38735 | 6748 4846 29459 | 17261 15627 254 | 7.549 % | 668.10/668.35 c | 58197 | 6742 4846 29459 | 18987 17032 313 | 7.631 % | 700.89/701.13 c | 87389 | 6742 4846 29459 | 20886 16212 360 | 7.631 % | 740.68/740.93 c | 131181 | 6742 4846 29459 | 22974 15596 217 | 7.631 % | 815.55/815.89 c | 196866 | 6742 4846 29459 | 25272 21644 302 | 7.631 % | 920.22/920.51 c | 295397 | 6742 4846 29459 | 27799 24114 289 | 7.631 % |
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-2680766-1277453456/watcher-2680766-1277453456 -o /tmp/evaluation-result-2680766-1277453456/solver-2680766-1277453456 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680766-1277453456.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.13 1.00 0.82 3/106 26958 /proc/meminfo: memFree=1854332/2059040 swapFree=4140528/4192956 [pid=26958] ppid=26956 vsize=3052 CPUtime=0 /proc/26958/stat : 26958 (wbo1.4b) R 26956 26958 26738 0 -1 4202496 363 0 0 0 0 0 0 0 25 0 1 0 86637209 3125248 281 1992294400 134512640 135752675 4291340480 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26958/statm: 763 281 140 303 0 416 0 [startup+0.084987 s] /proc/loadavg: 1.13 1.00 0.82 3/106 26958 /proc/meminfo: memFree=1854332/2059040 swapFree=4140528/4192956 [pid=26958] ppid=26956 vsize=3432 CPUtime=0.07 /proc/26958/stat : 26958 (wbo1.4b) R 26956 26958 26738 0 -1 4202496 555 0 0 0 7 0 0 0 25 0 1 0 86637209 3514368 431 1992294400 134512640 135752675 4291340480 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26958/statm: 858 431 145 303 0 553 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3432 [startup+0.100988 s] /proc/loadavg: 1.13 1.00 0.82 3/106 26958 /proc/meminfo: memFree=1854332/2059040 swapFree=4140528/4192956 [pid=26958] ppid=26956 vsize=3564 CPUtime=0.09 /proc/26958/stat : 26958 (wbo1.4b) R 26956 26958 26738 0 -1 4202496 579 0 0 0 9 0 0 0 25 0 1 0 86637209 3649536 455 1992294400 134512640 135752675 4291340480 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26958/statm: 891 455 145 303 0 586 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3564 [startup+0.301006 s] /proc/loadavg: 1.13 1.00 0.82 3/106 26958 /proc/meminfo: memFree=1854332/2059040 swapFree=4140528/4192956 [pid=26958] ppid=26956 vsize=4716 CPUtime=0.29 /proc/26958/stat : 26958 (wbo1.4b) R 26956 26958 26738 0 -1 4202496 869 0 0 0 28 1 0 0 25 0 1 0 86637209 4829184 745 1992294400 134512640 135752675 4291340480 18446744073709551615 134638100 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26958/statm: 1179 745 145 303 0 874 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4716 [startup+0.70104 s] /proc/loadavg: 1.13 1.00 0.82 3/106 26958 /proc/meminfo: memFree=1854332/2059040 swapFree=4140528/4192956 [pid=26958] ppid=26956 vsize=6892 CPUtime=0.69 /proc/26958/stat : 26958 (wbo1.4b) R 26956 26958 26738 0 -1 4202496 1406 0 0 0 67 2 0 0 25 0 1 0 86637209 7057408 1282 1992294400 134512640 135752675 4291340480 18446744073709551615 134518721 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26958/statm: 1723 1282 145 303 0 1418 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6892 [startup+1.50111 s] /proc/loadavg: 1.13 1.00 0.82 2/107 26959 /proc/meminfo: memFree=1848124/2059040 swapFree=4140528/4192956 [pid=26958] ppid=26956 vsize=10992 CPUtime=1.49 /proc/26958/stat : 26958 (wbo1.4b) R 26956 26958 26738 0 -1 4202496 2431 0 0 0 146 3 0 0 25 0 1 0 86637209 11255808 2307 1992294400 134512640 135752675 4291340480 18446744073709551615 134638100 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26958/statm: 2748 2307 145 303 0 2443 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10992 [startup+3.10125 s] /proc/loadavg: 1.13 1.00 0.82 2/107 26959 /proc/meminfo: memFree=1842296/2059040 swapFree=4140528/4192956 [pid=26958] ppid=26956 vsize=19576 CPUtime=3.09 /proc/26958/stat : 26958 (wbo1.4b) R 26956 26958 26738 0 -1 4202496 4567 0 0 0 304 5 0 0 25 0 1 0 86637209 20045824 4443 1992294400 134512640 135752675 4291340480 18446744073709551615 134638083 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26958/statm: 4894 4443 145 303 0 4589 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19576 [startup+6.30153 s] /proc/loadavg: 1.12 1.00 0.82 2/107 26959 /proc/meminfo: memFree=1824936/2059040 swapFree=4140528/4192956 [pid=26958] ppid=26956 vsize=35272 CPUtime=6.29 /proc/26958/stat : 26958 (wbo1.4b) R 26956 26958 26738 0 -1 4202496 8494 0 0 0 621 8 0 0 25 0 1 0 86637209 36118528 8370 1992294400 134512640 135752675 4291340480 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26958/statm: 8818 8370 145 303 0 8513 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 35272 [startup+12.7011 s] /proc/loadavg: 1.11 1.00 0.82 2/107 26959 /proc/meminfo: memFree=1793936/2059040 swapFree=4140528/4192956 [pid=26958] ppid=26956 vsize=65788 CPUtime=12.69 /proc/26958/stat : 26958 (wbo1.4b) R 26956 26958 26738 0 -1 4202496 16122 0 0 0 1253 16 0 0 25 0 1 0 86637209 67366912 15998 1992294400 134512640 135752675 4291340480 18446744073709551615 134603340 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26958/statm: 16447 15998 145 303 0 16142 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 65788 [startup+25.5012 s] /proc/loadavg: 1.09 1.00 0.82 2/107 26959 /proc/meminfo: memFree=1731936/2059040 swapFree=4140528/4192956 [pid=26958] ppid=26956 vsize=125176 CPUtime=25.48 /proc/26958/stat : 26958 (wbo1.4b) R 26956 26958 26738 0 -1 4202496 30969 0 0 0 2519 29 0 0 25 0 1 0 86637209 128180224 30845 1992294400 134512640 135752675 4291340480 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26958/statm: 31294 30845 145 303 0 30989 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 125176 [startup+51.1004 s] /proc/loadavg: 1.06 1.00 0.82 2/107 26959 /proc/meminfo: memFree=1630380/2059040 swapFree=4140528/4192956 [pid=26958] ppid=26956 vsize=227504 CPUtime=51.07 /proc/26958/stat : 26958 (wbo1.4b) R 26956 26958 26738 0 -1 4202496 56565 0 0 0 5052 55 0 0 25 0 1 0 86637209 232964096 56441 1992294400 134512640 135752675 4291340480 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26958/statm: 56876 56441 145 303 0 56571 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 227504 [startup+102.308 s] /proc/loadavg: 1.02 1.00 0.83 2/107 26961 /proc/meminfo: memFree=1413752/2059040 swapFree=4140528/4192956 [pid=26958] ppid=26956 vsize=442020 CPUtime=102.27 /proc/26958/stat : 26958 (wbo1.4b) R 26956 26958 26738 0 -1 4202496 110155 0 0 0 10118 109 0 0 25 0 1 0 86637209 452628480 110031 1992294400 134512640 135752675 4291340480 18446744073709551615 134638038 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26958/statm: 110505 110031 145 303 0 110200 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 442020 [startup+162.301 s] /proc/loadavg: 1.01 1.00 0.83 2/107 26963 /proc/meminfo: memFree=1161040/2059040 swapFree=4140528/4192956 [pid=26958] ppid=26956 vsize=696336 CPUtime=162.24 /proc/26958/stat : 26958 (wbo1.4b) R 26956 26958 26738 0 -1 4202496 173729 0 0 0 16050 174 0 0 25 0 1 0 86637209 713048064 173605 1992294400 134512640 135752675 4291340480 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26958/statm: 174084 173605 145 303 0 173779 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 696336 [startup+222.3 s] /proc/loadavg: 1.00 1.00 0.84 2/107 26965 /proc/meminfo: memFree=1068412/2059040 swapFree=4140528/4192956 [pid=26958] ppid=26956 vsize=785932 CPUtime=222.23 /proc/26958/stat : 26958 (wbo1.4b) R 26956 26958 26738 0 -1 4202496 196187 0 0 0 21978 245 0 0 25 0 1 0 86637209 804794368 196033 1992294400 134512640 135752675 4291340480 18446744073709551615 134638030 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26958/statm: 196483 196033 146 303 0 196178 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 785932 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.85 2/107 26965 /proc/meminfo: memFree=972188/2059040 swapFree=4140528/4192956 [pid=26958] ppid=26956 vsize=883600 CPUtime=282.22 /proc/26958/stat : 26958 (wbo1.4b) R 26956 26958 26738 0 -1 4202496 220590 0 0 0 27914 308 0 0 25 0 1 0 86637209 904806400 220436 1992294400 134512640 135752675 4291340480 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26958/statm: 220900 220436 146 303 0 220595 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 883600 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.85 2/107 26967 /proc/meminfo: memFree=887744/2059040 swapFree=4140528/4192956 [pid=26958] ppid=26956 vsize=966328 CPUtime=342.19 /proc/26958/stat : 26958 (wbo1.4b) R 26956 26958 26738 0 -1 4202496 241283 0 0 0 33848 371 0 0 25 0 1 0 86637209 989519872 241129 1992294400 134512640 135752675 4291340480 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26958/statm: 241582 241129 146 303 0 241277 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 966328 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.86 2/107 26969 /proc/meminfo: memFree=814460/2059040 swapFree=4140528/4192956 [pid=26958] ppid=26956 vsize=1040588 CPUtime=402.18 /proc/26958/stat : 26958 (wbo1.4b) R 26956 26958 26738 0 -1 4202496 259843 0 0 0 39802 416 0 0 25 0 1 0 86637209 1065562112 259689 1992294400 134512640 135752675 4291340480 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26958/statm: 260147 259689 146 303 0 259842 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 1040588 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.86 2/107 26971 /proc/meminfo: memFree=738572/2059040 swapFree=4140528/4192956 [pid=26958] ppid=26956 vsize=1115656 CPUtime=462.16 /proc/26958/stat : 26958 (wbo1.4b) R 26956 26958 26738 0 -1 4202496 278568 0 0 0 45756 460 0 0 25 0 1 0 86637209 1142431744 278414 1992294400 134512640 135752675 4291340480 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26958/statm: 278914 278414 146 303 0 278609 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 1115656 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.87 3/107 26973 /proc/meminfo: memFree=664544/2059040 swapFree=4140528/4192956 [pid=26958] ppid=26956 vsize=1190012 CPUtime=522.15 /proc/26958/stat : 26958 (wbo1.4b) R 26956 26958 26738 0 -1 4202496 297136 0 0 0 51705 510 0 0 25 0 1 0 86637209 1218572288 296982 1992294400 134512640 135752675 4291340480 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26958/statm: 297503 296982 146 303 0 297198 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 1190012 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.88 2/107 26973 /proc/meminfo: memFree=587044/2059040 swapFree=4140528/4192956 [pid=26958] ppid=26956 vsize=1266808 CPUtime=582.13 /proc/26958/stat : 26958 (wbo1.4b) R 26956 26958 26738 0 -1 4202496 316346 0 0 0 57649 564 0 0 25 0 1 0 86637209 1297211392 316192 1992294400 134512640 135752675 4291340480 18446744073709551615 134612042 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26958/statm: 316702 316192 146 303 0 316397 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 1266808 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.88 2/107 26975 /proc/meminfo: memFree=530748/2059040 swapFree=4140528/4192956 [pid=26958] ppid=26956 vsize=1322284 CPUtime=642.12 /proc/26958/stat : 26958 (wbo1.4b) R 26956 26958 26738 0 -1 4202496 330265 0 0 0 63602 610 0 0 25 0 1 0 86637209 1354018816 330111 1992294400 134512640 135752675 4291340480 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26958/statm: 330571 330111 146 303 0 330266 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 1322284 [startup+702.301 s] /proc/loadavg: 1.00 1.00 0.89 2/107 26977 /proc/meminfo: memFree=476188/2059040 swapFree=4140528/4192956 [pid=26958] ppid=26956 vsize=1377636 CPUtime=702.09 /proc/26958/stat : 26958 (wbo1.4b) R 26956 26958 26738 0 -1 4202496 344112 0 0 0 69554 655 0 0 25 0 1 0 86637209 1410699264 343958 1992294400 134512640 135752675 4291340480 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26958/statm: 344409 343958 146 303 0 344104 0 Current children cumulated CPU time (s) 702.09 Current children cumulated vsize (KiB) 1377636 [startup+762.309 s] /proc/loadavg: 1.00 1.00 0.89 2/107 26979 /proc/meminfo: memFree=405632/2059040 swapFree=4140528/4192956 [pid=26958] ppid=26956 vsize=1447004 CPUtime=762.08 /proc/26958/stat : 26958 (wbo1.4b) R 26956 26958 26738 0 -1 4202496 361442 0 0 0 75502 706 0 0 25 0 1 0 86637209 1481732096 361288 1992294400 134512640 135752675 4291340480 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26958/statm: 361751 361288 146 303 0 361446 0 Current children cumulated CPU time (s) 762.08 Current children cumulated vsize (KiB) 1447004 [startup+822.301 s] /proc/loadavg: 1.00 1.00 0.90 2/107 26981 /proc/meminfo: memFree=346236/2059040 swapFree=4140528/4192956 [pid=26958] ppid=26956 vsize=1506452 CPUtime=822.05 /proc/26958/stat : 26958 (wbo1.4b) R 26956 26958 26738 0 -1 4202496 376311 0 0 0 81462 743 0 0 25 0 1 0 86637209 1542606848 376157 1992294400 134512640 135752675 4291340480 18446744073709551615 134605055 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26958/statm: 376613 376157 146 303 0 376308 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 1506452 [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 26981 /proc/meminfo: memFree=278780/2059040 swapFree=4140528/4192956 [pid=26958] ppid=26956 vsize=1573892 CPUtime=882.04 /proc/26958/stat : 26958 (wbo1.4b) R 26956 26958 26738 0 -1 4202496 393147 0 0 0 87421 783 0 0 25 0 1 0 86637209 1611665408 392993 1992294400 134512640 135752675 4291340480 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26958/statm: 393473 392993 146 303 0 393168 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 1573892 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 26983 /proc/meminfo: memFree=207356/2059040 swapFree=4140528/4192956 [pid=26958] ppid=26956 vsize=1645580 CPUtime=942.01 /proc/26958/stat : 26958 (wbo1.4b) R 26956 26958 26738 0 -1 4202496 411061 0 0 0 93374 827 0 0 25 0 1 0 86637209 1685073920 410907 1992294400 134512640 135752675 4291340480 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26958/statm: 411395 410907 146 303 0 411090 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 1645580 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 26985 /proc/meminfo: memFree=124772/2059040 swapFree=4140528/4192956 [pid=26958] ppid=26956 vsize=1727576 CPUtime=1002 /proc/26958/stat : 26958 (wbo1.4b) R 26956 26958 26738 0 -1 4202496 431553 0 0 0 99334 866 0 0 25 0 1 0 86637209 1769037824 431399 1992294400 134512640 135752675 4291340480 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26958/statm: 431894 431399 146 303 0 431589 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 1727576 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 26987 /proc/meminfo: memFree=39336/2059040 swapFree=4140528/4192956 [pid=26958] ppid=26956 vsize=1814000 CPUtime=1061.97 /proc/26958/stat : 26958 (wbo1.4b) R 26956 26958 26738 0 -1 4202496 453131 0 0 0 105290 907 0 0 25 0 1 0 86637209 1857536000 452977 1992294400 134512640 135752675 4291340480 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26958/statm: 453500 452977 146 303 0 453195 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 1814000 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1085 s] /proc/loadavg: 1.00 1.00 0.91 2/107 26987 /proc/meminfo: memFree=9960/2059040 swapFree=4140528/4192956 [pid=26958] ppid=26956 vsize=1843320 CPUtime=1084.68 /proc/26958/stat : 26958 (wbo1.4b) R 26956 26958 26738 0 -1 4202496 460461 0 0 0 107548 920 0 0 25 0 1 0 86637209 1887559680 460307 1992294400 134512640 135752675 4291340480 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26958/statm: 460830 460307 146 303 0 460525 0 Current children cumulated CPU time (s) 1084.68 Current children cumulated vsize (KiB) 1843320 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1085.11 s] /proc/loadavg: 1.00 1.00 0.91 2/107 26987 /proc/meminfo: memFree=9960/2059040 swapFree=4140528/4192956 [pid=26958] ppid=26956 vsize=0 CPUtime=1084.78 /proc/26958/stat : 26958 (wbo1.4b) R 26956 26958 26738 0 -1 4203524 460461 0 0 0 107548 930 0 0 25 0 1 0 86637209 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/26958/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1084.78 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1085.18 CPU time (s): 1084.86 CPU user time (s): 1075.48 CPU system time (s): 9.37557 CPU usage (%): 99.9702 Max. virtual memory (cumulated for all children) (KiB): 1843320 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1075.48 system time used= 9.37557 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460461 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= 8 involuntary context switches= 2062 runsolver used 1.73974 second user time and 5.20021 second system time The end
Begin job on node050 at 2010-06-25 10:10:56 IDJOB=2680766 IDBENCH=2041 IDSOLVER=1190 FILE ID=node050/2680766-1277453456 PBS_JOBID= 11188118 Free space on /tmp= 62416 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-prom2.pi.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680766-1277453456/watcher-2680766-1277453456 -o /tmp/evaluation-result-2680766-1277453456/solver-2680766-1277453456 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680766-1277453456.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6a8ed45a9ac044152dd384e143f7e172 RANDOM SEED=1283673919 node050.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.215 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.43 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.215 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1854860 kB Buffers: 39028 kB Cached: 64696 kB SwapCached: 5664 kB Active: 12724 kB Inactive: 104668 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1854860 kB SwapTotal: 4192956 kB SwapFree: 4140528 kB Dirty: 2744 kB Writeback: 0 kB AnonPages: 12376 kB Mapped: 11960 kB Slab: 64644 kB PageTables: 4220 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180508 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= 62412 MiB End job on node050 at 2010-06-25 10:29:03