Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 1328.65 | 1328.99 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32e4.opb |
MD5SUM | 898f4661a42594ef028c1f962398614b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 364 |
Best CPU time to get the best result obtained on this benchmark | 104.297 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 364 |
Optimality of the best value was proved | YES |
Number of variables | 774 |
Total number of constraints | 7493 |
Number of constraints which are clauses | 7493 |
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 | 32 |
Number of terms in the objective function | 774 |
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 | 774 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 774 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680822-1277453686.opb. 0.00/0.00 c Instance file HOME/instance-2680822-1277453686.opb 0.00/0.00 c File size is 340562 bytes. 0.02/0.05 c Highest Coefficient sum: 33 0.02/0.05 c ============================[ Problem Statistics ]============================= 0.02/0.05 c | | 0.02/0.05 c | Parsing time: 0.05 s | 0.02/0.05 c | Number Variables: 774 | 0.02/0.05 c | Number Clauses: 7493 | 0.02/0.05 c | Number Cardinality: 0 | 0.02/0.05 c | Number PB Constraints: 0 | 0.02/0.08 c ============================[ Search Statistics ]============================== 0.02/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.08 c =============================================================================== 0.02/0.08 c | 0 | 774 7493 36201 | 5000 0 nan | 0.000 % | 0.02/0.09 c | 100 | 774 7493 36201 | 5500 100 40 | 0.259 % | 0.09/0.11 c | 254 | 774 7493 36201 | 6050 254 40 | 0.259 % | 0.09/0.14 c | 479 | 772 7493 36201 | 6655 478 43 | 0.259 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c New solution: 376 0.09/0.14 o 376 0.09/0.14 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s 0.09/0.14 c =============================================================================== 0.09/0.14 c | 503 | 772 7494 36975 | 5000 502 43 | 0.259 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c New solution: 372 0.09/0.14 o 372 0.09/0.14 c Elapsed CPU time: 0.143978 s Remaining CPU time: 179.856 s 0.09/0.14 c =============================================================================== 0.09/0.14 c | 506 | 772 7495 37749 | 5000 505 43 | 0.259 % | 0.09/0.16 c | 606 | 772 7495 37749 | 5500 605 46 | 0.259 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c New solution: 366 0.09/0.16 o 366 0.09/0.16 c Elapsed CPU time: 0.161975 s Remaining CPU time: 179.838 s 0.09/0.16 c =============================================================================== 0.09/0.16 c | 622 | 772 7496 38523 | 5000 621 50 | 0.259 % | 0.09/0.18 c | 722 | 772 7496 38523 | 5500 721 72 | 0.259 % | 0.19/0.20 c | 872 | 772 7496 38523 | 6050 871 113 | 0.259 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: 365 0.19/0.21 o 365 0.19/0.21 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 904 | 772 7497 39297 | 5000 903 123 | 0.259 % | 0.19/0.23 c | 1004 | 770 7497 39297 | 5500 1001 114 | 0.517 % | 0.19/0.26 c | 1155 | 770 7497 39297 | 6050 1152 141 | 0.517 % | 0.19/0.29 c | 1381 | 770 7497 39297 | 6655 1378 184 | 0.517 % | 0.29/0.35 c | 1718 | 769 7497 39297 | 7320 1715 156 | 1.034 % | 0.39/0.47 c | 2227 | 768 7497 39297 | 8052 2224 132 | 1.034 % | 0.59/0.66 c | 2988 | 768 7497 39297 | 8857 2985 110 | 1.034 % | 0.89/0.91 c | 4127 | 766 7497 39297 | 9743 4119 167 | 1.034 % | 1.10/1.18 c | 5835 | 766 7497 39297 | 10717 5827 230 | 1.044 % | 1.89/1.93 c | 8397 | 766 7497 39297 | 11789 8389 255 | 1.034 % | 2.79/2.84 c | 12242 | 766 7497 39297 | 12968 12234 267 | 1.045 % | 4.79/4.80 c | 18009 | 766 7497 39297 | 14265 11154 325 | 1.044 % | 6.89/6.94 c | 26658 | 766 7497 39297 | 15692 12387 360 | 1.034 % | 11.39/11.45 c | 39633 | 766 7497 39297 | 17261 8944 374 | 1.034 % | 11.59/11.64 c =============================================================================== 11.59/11.64 c New solution: 364 11.59/11.64 o 364 11.59/11.64 c Elapsed CPU time: 11.4773 s Remaining CPU time: 168.523 s 11.59/11.64 c =============================================================================== 11.59/11.64 c | 40534 | 766 7498 40071 | 5000 9845 360 | 1.034 % | 11.59/11.69 c | 40634 | 766 7498 40071 | 5500 5023 338 | 1.034 % | 11.69/11.73 c | 40787 | 766 7498 40071 | 6050 5176 330 | 1.034 % | 11.69/11.78 c | 41013 | 766 7498 40071 | 6655 5402 318 | 1.034 % | 11.79/11.87 c | 41351 | 766 7498 40071 | 7320 5740 302 | 1.034 % | 12.00/12.01 c | 41857 | 766 7498 40071 | 8052 6246 282 | 1.034 % | 12.10/12.18 c | 42617 | 766 7498 40071 | 8857 7006 275 | 1.034 % | 12.38/12.47 c | 43757 | 766 7498 40071 | 9743 8146 276 | 1.044 % | 12.69/12.78 c | 45466 | 766 7498 40071 | 10717 9855 280 | 1.045 % | 13.39/13.45 c | 48028 | 766 7498 40071 | 11789 6708 274 | 1.045 % | 14.30/14.34 c | 51878 | 766 7498 40071 | 12968 10558 319 | 1.034 % | 15.79/15.83 c | 57646 | 766 7498 40071 | 14265 9479 385 | 1.034 % | 17.99/18.02 c | 66295 | 766 7498 40071 | 15692 10622 399 | 1.034 % | 22.08/22.16 c | 79270 | 766 7498 40071 | 17261 15380 385 | 1.034 % | 30.98/31.07 c | 98731 | 766 7498 40071 | 18987 16838 382 | 1.034 % | 41.69/41.72 c | 127923 | 766 7498 40071 | 20886 16465 382 | 1.034 % | 66.77/66.87 c | 171713 | 766 7498 40071 | 22974 17076 391 | 1.034 % | 91.57/91.65 c | 237398 | 766 7498 40071 | 25272 20357 387 | 1.034 % | 151.36/151.46 c | 335925 | 766 7498 40071 | 27799 16761 396 | 1.034 % | 181.84/181.94 c There are 8 assigned variables. 8 in cost function. 183.15/183.28 c core #1 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 5 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #2 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 6 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #3 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 7 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #4 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 8 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #5 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 9 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #6 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 10 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #7 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 11 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #8 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 12 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #9 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 13 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #10 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 14 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #11 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 15 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #12 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 16 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #13 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 17 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #14 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 18 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #15 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 19 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #16 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 20 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #17 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 21 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #18 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 22 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #19 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 23 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #20 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 24 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #21 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 25 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #22 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 26 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #23 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 27 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #24 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 28 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #25 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 29 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #26 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 30 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #27 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 31 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #28 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 32 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #29 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 33 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #30 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 34 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #31 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 35 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #32 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 36 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #33 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 37 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #34 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 38 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #35 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 39 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #36 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 40 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #37 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 41 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #38 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 42 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #39 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 43 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #40 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 44 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #41 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 45 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #42 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 46 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #43 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 47 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #44 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 48 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #45 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 49 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c core #46 183.15/183.28 c 183.15/183.28 c 183.15/183.28 c Core size: 3 Core Weight: 1 Total Weight: 50 183.15/183.29 c 183.15/183.29 c 183.15/183.29 c core #47 183.15/183.29 c 183.15/183.29 c 183.15/183.29 c Core size: 3 Core Weight: 1 Total Weight: 51 183.15/183.29 c 183.15/183.29 c 183.15/183.29 c core #48 183.15/183.29 c 183.15/183.29 c 183.15/183.29 c Core size: 3 Core Weight: 1 Total Weight: 52 183.15/183.29 c 183.15/183.29 c 183.15/183.29 c core #49 183.15/183.29 c 183.15/183.29 c 183.15/183.29 c Core size: 3 Core Weight: 1 Total Weight: 53 183.15/183.29 c 183.15/183.29 c 183.15/183.29 c core #50 183.15/183.29 c 183.15/183.29 c 183.15/183.29 c Core size: 3 Core Weight: 1 Total Weight: 54 183.15/183.29 c 183.15/183.29 c 183.15/183.29 c core #51 183.15/183.29 c 183.15/183.29 c 183.15/183.29 c Core size: 3 Core Weight: 1 Total Weight: 55 183.15/183.29 c 183.15/183.29 c 183.15/183.29 c core #52 183.15/183.29 c 183.15/183.29 c 183.15/183.29 c Core size: 3 Core Weight: 1 Total Weight: 56 183.15/183.29 c 183.15/183.29 c 183.15/183.29 c core #53 183.15/183.29 c 183.15/183.29 c 183.15/183.29 c Core size: 3 Core Weight: 1 Total Weight: 57 183.15/183.29 c 183.15/183.29 c 183.15/183.29 c core #54 183.15/183.29 c 183.15/183.29 c 183.15/183.29 c Core size: 3 Core Weight: 1 Total Weight: 58 183.15/183.29 c 183.15/183.29 c 183.15/183.29 c core #55 183.15/183.29 c 183.15/183.29 c 183.15/183.29 c Core size: 3 Core Weight: 1 Total Weight: 59 183.15/183.29 c 183.15/183.29 c 183.15/183.29 c core #56 183.15/183.29 c 183.15/183.29 c 183.15/183.29 c Core size: 3 Core Weight: 1 Total Weight: 60 183.15/183.29 c 183.15/183.29 c 183.15/183.29 c core #57 183.15/183.29 c 183.15/183.29 c 183.15/183.29 c Core size: 3 Core Weight: 1 Total Weight: 61 183.15/183.29 c 183.15/183.29 c 183.15/183.29 c core #58 183.15/183.29 c 183.15/183.29 c 183.15/183.29 c Core size: 3 Core Weight: 1 Total Weight: 62 183.15/183.29 c 183.15/183.29 c 183.15/183.29 c core #59 183.15/183.29 c 183.15/183.29 c 183.15/183.29 c Core size: 3 Core Weight: 1 Total Weight: 63 183.15/183.29 c 183.15/183.29 c 183.15/183.29 c core #60 183.15/183.29 c 183.15/183.29 c 183.15/183.29 c Core size: 3 Core Weight: 1 Total Weight: 64 183.15/183.29 c 183.15/183.29 c 183.15/183.29 c core #61 183.15/183.29 c 183.15/183.29 c 183.15/183.29 c Core size: 3 Core Weight: 1 Total Weight: 65 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #62 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: 66 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #63 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: 67 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #64 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: 68 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #65 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: 69 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #66 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: 70 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #67 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: 71 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #68 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: 72 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #69 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: 73 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #70 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: 74 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #71 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: 75 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #72 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: 76 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #73 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: 77 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #74 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: 78 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #75 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: 79 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #76 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: 80 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #77 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: 81 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #78 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: 82 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #79 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: 83 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #80 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: 84 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #81 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: 85 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #82 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: 86 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #83 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: 87 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #84 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: 88 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #85 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: 89 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #86 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: 90 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #87 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: 91 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #88 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: 92 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #89 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: 93 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #90 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: 94 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #91 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: 95 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #92 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: 96 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #93 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 32 Core Weight: 1 Total Weight: 97 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #94 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 32 Core Weight: 1 Total Weight: 98 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #95 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 32 Core Weight: 1 Total Weight: 99 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #96 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: 100 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #97 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: 101 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #98 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: 102 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #99 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 3 Core Weight: 1 Total Weight: 103 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #100 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 4 Core Weight: 1 Total Weight: 104 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #101 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 4 Core Weight: 1 Total Weight: 105 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #102 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 4 Core Weight: 1 Total Weight: 106 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #103 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 4 Core Weight: 1 Total Weight: 107 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #104 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 4 Core Weight: 1 Total Weight: 108 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #105 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 4 Core Weight: 1 Total Weight: 109 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #106 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 4 Core Weight: 1 Total Weight: 110 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #107 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 4 Core Weight: 1 Total Weight: 111 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #108 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 4 Core Weight: 1 Total Weight: 112 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #109 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 4 Core Weight: 1 Total Weight: 113 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #110 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 4 Core Weight: 1 Total Weight: 114 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #111 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 4 Core Weight: 1 Total Weight: 115 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #112 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 4 Core Weight: 1 Total Weight: 116 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #113 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 4 Core Weight: 1 Total Weight: 117 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #114 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 4 Core Weight: 1 Total Weight: 118 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #115 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 4 Core Weight: 1 Total Weight: 119 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #116 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 4 Core Weight: 1 Total Weight: 120 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #117 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 4 Core Weight: 1 Total Weight: 121 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #118 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 4 Core Weight: 1 Total Weight: 122 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #119 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 4 Core Weight: 1 Total Weight: 123 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c core #120 184.04/184.17 c 184.04/184.17 c 184.04/184.17 c Core size: 4 Core Weight: 1 Total Weight: 124 184.04/184.17 c 185.04/185.16 c 185.04/185.16 c core #121 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 125 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #122 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 126 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #123 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 127 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #124 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 128 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #125 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 129 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #126 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 130 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #127 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 131 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #128 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 132 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #129 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 133 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #130 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 134 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #131 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 135 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #132 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 136 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #133 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 137 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #134 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 138 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #135 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 139 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #136 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 140 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #137 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 141 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #138 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 142 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #139 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 143 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #140 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 144 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #141 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 145 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #142 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 146 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #143 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 147 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #144 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 148 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #145 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 149 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #146 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 150 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #147 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 151 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #148 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 152 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #149 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 153 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #150 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 154 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #151 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 155 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #152 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 156 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #153 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 157 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #154 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 158 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #155 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 159 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #156 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 160 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #157 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 161 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #158 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 162 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #159 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 163 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #160 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 164 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #161 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 165 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #162 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 166 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #163 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 167 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #164 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 4 Core Weight: 1 Total Weight: 168 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #165 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 50 Core Weight: 1 Total Weight: 169 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #166 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 57 Core Weight: 1 Total Weight: 170 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #167 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 66 Core Weight: 1 Total Weight: 171 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #168 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 69 Core Weight: 1 Total Weight: 172 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #169 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 67 Core Weight: 1 Total Weight: 173 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #170 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 70 Core Weight: 1 Total Weight: 174 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #171 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 69 Core Weight: 1 Total Weight: 175 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #172 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 71 Core Weight: 1 Total Weight: 176 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #173 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 70 Core Weight: 1 Total Weight: 177 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #174 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 68 Core Weight: 1 Total Weight: 178 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #175 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 65 Core Weight: 1 Total Weight: 179 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #176 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 49 Core Weight: 1 Total Weight: 180 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #177 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 62 Core Weight: 1 Total Weight: 181 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #178 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 67 Core Weight: 1 Total Weight: 182 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c core #179 185.04/185.16 c 185.04/185.16 c 185.04/185.16 c Core size: 72 Core Weight: 1 Total Weight: 183 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c core #180 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 69 Core Weight: 1 Total Weight: 184 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c core #181 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 70 Core Weight: 1 Total Weight: 185 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c core #182 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 70 Core Weight: 1 Total Weight: 186 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c core #183 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 68 Core Weight: 1 Total Weight: 187 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c core #184 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 68 Core Weight: 1 Total Weight: 188 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c core #185 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 67 Core Weight: 1 Total Weight: 189 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c core #186 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 68 Core Weight: 1 Total Weight: 190 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c core #187 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 49 Core Weight: 1 Total Weight: 191 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c core #188 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 62 Core Weight: 1 Total Weight: 192 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c core #189 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 64 Core Weight: 1 Total Weight: 193 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c core #190 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 70 Core Weight: 1 Total Weight: 194 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c core #191 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 68 Core Weight: 1 Total Weight: 195 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c core #192 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 70 Core Weight: 1 Total Weight: 196 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c core #193 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 69 Core Weight: 1 Total Weight: 197 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c core #194 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 70 Core Weight: 1 Total Weight: 198 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c core #195 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 70 Core Weight: 1 Total Weight: 199 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c core #196 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 68 Core Weight: 1 Total Weight: 200 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c core #197 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 69 Core Weight: 1 Total Weight: 201 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c core #198 185.44/185.58 c 185.44/185.58 c 185.44/185.58 c Core size: 125 Core Weight: 1 Total Weight: 202 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 | 1540 8327 41587 | 5000 0 nan | 0.000 % | 185.44/185.58 c =============================================================================== 185.54/185.60 c core #199 185.54/185.60 c 185.54/185.60 c 185.54/185.60 c Core size: 14 Core Weight: 1 Total Weight: 203 185.54/185.60 c 185.54/185.60 c 185.54/185.60 c ============================[ Search Statistics ]============================== 185.54/185.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.60 c =============================================================================== 185.54/185.60 c | 0 | 1548 8328 41603 | 5000 0 nan | 0.000 % | 185.54/185.61 c =============================================================================== 185.54/185.63 c core #200 185.54/185.63 c 185.54/185.63 c 185.54/185.63 c Core size: 12 Core Weight: 1 Total Weight: 204 185.54/185.63 c 185.54/185.63 c 185.54/185.63 c ============================[ Search Statistics ]============================== 185.54/185.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.63 c =============================================================================== 185.54/185.63 c | 0 | 1555 8329 41617 | 5000 0 nan | 0.000 % | 185.54/185.63 c =============================================================================== 185.54/185.65 c core #201 185.54/185.65 c 185.54/185.65 c 185.54/185.65 c Core size: 67 Core Weight: 1 Total Weight: 205 185.54/185.65 c 185.54/185.65 c 185.54/185.65 c ============================[ Search Statistics ]============================== 185.54/185.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.65 c =============================================================================== 185.54/185.65 c | 0 | 1570 8330 41647 | 5000 0 nan | 0.000 % | 185.54/185.65 c =============================================================================== 185.54/185.67 c core #202 185.54/185.67 c 185.54/185.67 c 185.54/185.67 c Core size: 15 Core Weight: 1 Total Weight: 206 185.54/185.67 c 185.54/185.67 c 185.54/185.67 c ============================[ Search Statistics ]============================== 185.54/185.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.67 c =============================================================================== 185.54/185.67 c | 0 | 1581 8331 41669 | 5000 0 nan | 0.000 % | 185.54/185.68 c =============================================================================== 185.54/185.69 c core #203 185.54/185.69 c 185.54/185.69 c 185.54/185.69 c Core size: 74 Core Weight: 1 Total Weight: 207 185.54/185.69 c 185.54/185.69 c 185.54/185.69 c ============================[ Search Statistics ]============================== 185.54/185.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.69 c =============================================================================== 185.54/185.69 c | 0 | 1591 8332 41689 | 5000 0 nan | 0.000 % | 185.64/185.70 c =============================================================================== 185.64/185.72 c core #204 185.64/185.72 c 185.64/185.72 c 185.64/185.72 c Core size: 14 Core Weight: 1 Total Weight: 208 185.64/185.72 c 185.64/185.72 c 185.64/185.72 c ============================[ Search Statistics ]============================== 185.64/185.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.72 c =============================================================================== 185.64/185.72 c | 0 | 1599 8333 41705 | 5000 0 nan | 0.000 % | 185.64/185.72 c =============================================================================== 185.64/185.74 c core #205 185.64/185.74 c 185.64/185.74 c 185.64/185.74 c Core size: 12 Core Weight: 1 Total Weight: 209 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 | 1606 8334 41719 | 5000 0 nan | 0.000 % | 185.64/185.75 c =============================================================================== 185.64/185.77 c core #206 185.64/185.77 c 185.64/185.77 c 185.64/185.77 c Core size: 10 Core Weight: 1 Total Weight: 210 185.64/185.77 c 185.64/185.77 c 185.64/185.77 c ============================[ Search Statistics ]============================== 185.64/185.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.77 c =============================================================================== 185.64/185.77 c | 0 | 1612 8335 41731 | 5000 0 nan | 0.000 % | 185.64/185.77 c =============================================================================== 185.64/185.79 c core #207 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 15 Core Weight: 1 Total Weight: 211 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c ============================[ Search Statistics ]============================== 185.64/185.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.79 c =============================================================================== 185.64/185.79 c | 0 | 1623 8336 41753 | 5000 0 nan | 0.000 % | 185.64/185.79 c =============================================================================== 185.75/185.81 c core #208 185.75/185.81 c 185.75/185.81 c 185.75/185.81 c Core size: 10 Core Weight: 1 Total Weight: 212 185.75/185.81 c 185.75/185.81 c 185.75/185.81 c ============================[ Search Statistics ]============================== 185.75/185.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.75/185.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.75/185.81 c =============================================================================== 185.75/185.81 c | 0 | 1629 8337 41765 | 5000 0 nan | 0.000 % | 185.75/185.82 c =============================================================================== 185.75/185.84 c core #209 185.75/185.84 c 185.75/185.84 c 185.75/185.84 c Core size: 13 Core Weight: 1 Total Weight: 213 185.75/185.84 c 185.75/185.84 c 185.75/185.84 c ============================[ Search Statistics ]============================== 185.75/185.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.75/185.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.75/185.84 c =============================================================================== 185.75/185.84 c | 0 | 1638 8338 41783 | 5000 0 nan | 0.000 % | 185.75/185.84 c =============================================================================== 185.75/185.86 c core #210 185.75/185.86 c 185.75/185.86 c 185.75/185.86 c Core size: 13 Core Weight: 1 Total Weight: 214 185.75/185.86 c 185.75/185.86 c 185.75/185.86 c ============================[ Search Statistics ]============================== 185.75/185.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.75/185.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.75/185.86 c =============================================================================== 185.75/185.86 c | 0 | 1645 8339 41797 | 5000 0 nan | 0.000 % | 185.75/185.86 c =============================================================================== 185.75/185.88 c core #211 185.75/185.88 c 185.75/185.88 c 185.75/185.88 c Core size: 13 Core Weight: 1 Total Weight: 215 185.75/185.88 c 185.75/185.88 c 185.75/185.88 c ============================[ Search Statistics ]============================== 185.75/185.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.75/185.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.75/185.88 c =============================================================================== 185.75/185.88 c | 0 | 1652 8340 41811 | 5000 0 nan | 0.000 % | 185.75/185.89 c =============================================================================== 185.85/185.91 c core #212 185.85/185.91 c 185.85/185.91 c 185.85/185.91 c Core size: 21 Core Weight: 1 Total Weight: 216 185.85/185.91 c 185.85/185.91 c 185.85/185.91 c ============================[ Search Statistics ]============================== 185.85/185.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.85/185.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.85/185.91 c =============================================================================== 185.85/185.91 c | 0 | 1662 8341 41831 | 5000 0 nan | 0.000 % | 185.85/185.91 c =============================================================================== 185.85/185.93 c core #213 185.85/185.93 c 185.85/185.93 c 185.85/185.93 c Core size: 18 Core Weight: 1 Total Weight: 217 185.85/185.93 c 185.85/185.93 c 185.85/185.93 c ============================[ Search Statistics ]============================== 185.85/185.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.85/185.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.85/185.93 c =============================================================================== 185.85/185.93 c | 0 | 1674 8342 41855 | 5000 0 nan | 0.000 % | 185.85/185.94 c =============================================================================== 185.85/185.96 c core #214 185.85/185.96 c 185.85/185.96 c 185.85/185.96 c Core size: 37 Core Weight: 1 Total Weight: 218 185.85/185.96 c 185.85/185.96 c 185.85/185.96 c ============================[ Search Statistics ]============================== 185.85/185.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.85/185.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.85/185.96 c =============================================================================== 185.85/185.96 c | 0 | 1701 8343 41909 | 5000 0 nan | 0.000 % | 185.85/185.96 c =============================================================================== 185.85/185.98 c core #215 185.85/185.98 c 185.85/185.98 c 185.85/185.98 c Core size: 14 Core Weight: 1 Total Weight: 219 185.85/185.98 c 185.85/185.98 c 185.85/185.98 c ============================[ Search Statistics ]============================== 185.85/185.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.85/185.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.85/185.98 c =============================================================================== 185.85/185.98 c | 0 | 1709 8344 41925 | 5000 0 nan | 0.000 % | 185.85/185.99 c =============================================================================== 185.94/186.00 c core #216 185.94/186.00 c 185.94/186.00 c 185.94/186.00 c Core size: 21 Core Weight: 1 Total Weight: 220 185.94/186.00 c 185.94/186.00 c 185.94/186.00 c ============================[ Search Statistics ]============================== 185.94/186.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.94/186.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.94/186.00 c =============================================================================== 185.94/186.00 c | 0 | 1726 8345 41959 | 5000 0 nan | 0.000 % | 185.94/186.01 c =============================================================================== 185.94/186.03 c core #217 185.94/186.03 c 185.94/186.03 c 185.94/186.03 c Core size: 12 Core Weight: 1 Total Weight: 221 185.94/186.03 c 185.94/186.03 c 185.94/186.03 c ============================[ Search Statistics ]============================== 185.94/186.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.94/186.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.94/186.03 c =============================================================================== 185.94/186.03 c | 0 | 1733 8346 41973 | 5000 0 nan | 0.000 % | 185.94/186.05 c | 100 | 1730 8346 41973 | 5500 100 20 | 0.689 % | 185.94/186.05 c =============================================================================== 185.94/186.07 c core #218 185.94/186.07 c 185.94/186.07 c 185.94/186.07 c Core size: 80 Core Weight: 1 Total Weight: 222 185.94/186.07 c 185.94/186.07 c 185.94/186.07 c ============================[ Search Statistics ]============================== 185.94/186.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.94/186.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.94/186.07 c =============================================================================== 185.94/186.07 c | 0 | 1797 8347 42101 | 5000 0 nan | 0.000 % | 185.94/186.07 c =============================================================================== 185.94/186.09 c core #219 185.94/186.09 c 185.94/186.09 c 185.94/186.09 c Core size: 10 Core Weight: 1 Total Weight: 223 185.94/186.09 c 185.94/186.09 c 185.94/186.09 c ============================[ Search Statistics ]============================== 185.94/186.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.94/186.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.94/186.09 c =============================================================================== 185.94/186.09 c | 0 | 1803 8348 42113 | 5000 0 nan | 0.000 % | 186.04/186.10 c =============================================================================== 186.04/186.12 c core #220 186.04/186.12 c 186.04/186.12 c 186.04/186.12 c Core size: 11 Core Weight: 1 Total Weight: 224 186.04/186.12 c 186.04/186.12 c 186.04/186.12 c ============================[ Search Statistics ]============================== 186.04/186.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.04/186.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.04/186.12 c =============================================================================== 186.04/186.12 c | 0 | 1810 8349 42127 | 5000 0 nan | 0.000 % | 186.04/186.13 c =============================================================================== 186.04/186.15 c core #221 186.04/186.15 c 186.04/186.15 c 186.04/186.15 c Core size: 77 Core Weight: 1 Total Weight: 225 186.04/186.15 c 186.04/186.15 c 186.04/186.15 c ============================[ Search Statistics ]============================== 186.04/186.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.04/186.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.04/186.15 c =============================================================================== 186.04/186.15 c | 0 | 1823 8350 42153 | 5000 0 nan | 0.000 % | 186.04/186.15 c =============================================================================== 186.04/186.17 c core #222 186.04/186.17 c 186.04/186.17 c 186.04/186.17 c Core size: 14 Core Weight: 1 Total Weight: 226 186.04/186.17 c 186.04/186.17 c 186.04/186.17 c ============================[ Search Statistics ]============================== 186.04/186.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.04/186.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.04/186.17 c =============================================================================== 186.04/186.17 c | 0 | 1831 8351 42169 | 5000 0 nan | 0.000 % | 186.04/186.18 c | 100 | 1831 8351 42169 | 5500 100 17 | 0.437 % | 186.04/186.19 c =============================================================================== 186.14/186.21 c core #223 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c Core size: 14 Core Weight: 1 Total Weight: 227 186.14/186.21 c 186.14/186.21 c 186.14/186.21 c ============================[ Search Statistics ]============================== 186.14/186.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.14/186.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.14/186.21 c =============================================================================== 186.14/186.21 c | 0 | 1839 8352 42185 | 5000 0 nan | 0.000 % | 186.14/186.21 c =============================================================================== 186.14/186.23 c core #224 186.14/186.23 c 186.14/186.23 c 186.14/186.23 c Core size: 36 Core Weight: 1 Total Weight: 228 186.14/186.23 c 186.14/186.23 c 186.14/186.23 c ============================[ Search Statistics ]============================== 186.14/186.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.14/186.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.14/186.23 c =============================================================================== 186.14/186.23 c | 0 | 1859 8353 42225 | 5000 0 nan | 0.000 % | 186.14/186.25 c =============================================================================== 186.14/186.27 c core #225 186.14/186.27 c 186.14/186.27 c 186.14/186.27 c Core size: 12 Core Weight: 1 Total Weight: 229 186.14/186.27 c 186.14/186.27 c 186.14/186.27 c ============================[ Search Statistics ]============================== 186.14/186.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.14/186.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.14/186.27 c =============================================================================== 186.14/186.27 c | 0 | 1866 8354 42239 | 5000 0 nan | 0.000 % | 186.14/186.27 c =============================================================================== 186.14/186.29 c core #226 186.14/186.29 c 186.14/186.29 c 186.14/186.29 c Core size: 12 Core Weight: 1 Total Weight: 230 186.14/186.29 c 186.14/186.29 c 186.14/186.29 c ============================[ Search Statistics ]============================== 186.14/186.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.14/186.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.14/186.29 c =============================================================================== 186.14/186.29 c | 0 | 1873 8355 42253 | 5000 0 nan | 0.000 % | 186.25/186.30 c =============================================================================== 186.25/186.32 c core #227 186.25/186.32 c 186.25/186.32 c 186.25/186.32 c Core size: 75 Core Weight: 1 Total Weight: 231 186.25/186.32 c 186.25/186.32 c 186.25/186.32 c ============================[ Search Statistics ]============================== 186.25/186.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.25/186.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.25/186.32 c =============================================================================== 186.25/186.32 c | 0 | 1882 8356 42271 | 5000 0 nan | 0.000 % | 186.25/186.32 c =============================================================================== 186.25/186.35 c core #228 186.25/186.35 c 186.25/186.35 c 186.25/186.35 c Core size: 12 Core Weight: 1 Total Weight: 232 186.25/186.35 c 186.25/186.35 c 186.25/186.35 c ============================[ Search Statistics ]============================== 186.25/186.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.25/186.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.25/186.35 c =============================================================================== 186.25/186.35 c | 0 | 1889 8357 42285 | 5000 0 nan | 0.000 % | 186.25/186.35 c =============================================================================== 186.25/186.37 c core #229 186.25/186.37 c 186.25/186.37 c 186.25/186.37 c Core size: 15 Core Weight: 1 Total Weight: 233 186.25/186.37 c 186.25/186.37 c 186.25/186.37 c ============================[ Search Statistics ]============================== 186.25/186.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.25/186.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.25/186.37 c =============================================================================== 186.25/186.37 c | 0 | 1900 8358 42307 | 5000 0 nan | 0.000 % | 186.25/186.38 c =============================================================================== 186.35/186.40 c core #230 186.35/186.40 c 186.35/186.40 c 186.35/186.40 c Core size: 20 Core Weight: 1 Total Weight: 234 186.35/186.40 c 186.35/186.40 c 186.35/186.40 c ============================[ Search Statistics ]============================== 186.35/186.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.35/186.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.35/186.40 c =============================================================================== 186.35/186.40 c | 0 | 1917 8359 42341 | 5000 0 nan | 0.000 % | 186.35/186.41 c =============================================================================== 186.35/186.43 c core #231 186.35/186.43 c 186.35/186.43 c 186.35/186.43 c Core size: 13 Core Weight: 1 Total Weight: 235 186.35/186.43 c 186.35/186.43 c 186.35/186.43 c ============================[ Search Statistics ]============================== 186.35/186.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.35/186.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.35/186.43 c =============================================================================== 186.35/186.43 c | 0 | 1926 8360 42359 | 5000 0 nan | 0.000 % | 186.35/186.43 c =============================================================================== 186.35/186.45 c core #232 186.35/186.45 c 186.35/186.45 c 186.35/186.45 c Core size: 22 Core Weight: 1 Total Weight: 236 186.35/186.45 c 186.35/186.45 c 186.35/186.45 c ============================[ Search Statistics ]============================== 186.35/186.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.35/186.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.35/186.45 c =============================================================================== 186.35/186.45 c | 0 | 1940 8361 42387 | 5000 0 nan | 0.000 % | 186.35/186.46 c =============================================================================== 186.35/186.48 c core #233 186.35/186.48 c 186.35/186.48 c 186.35/186.48 c Core size: 95 Core Weight: 1 Total Weight: 237 186.35/186.48 c 186.35/186.48 c 186.35/186.48 c ============================[ Search Statistics ]============================== 186.35/186.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.35/186.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.35/186.48 c =============================================================================== 186.35/186.48 c | 0 | 1960 8362 42427 | 5000 0 nan | 0.000 % | 186.35/186.49 c =============================================================================== 186.45/186.51 c core #234 186.45/186.51 c 186.45/186.51 c 186.45/186.51 c Core size: 25 Core Weight: 1 Total Weight: 238 186.45/186.51 c 186.45/186.51 c 186.45/186.51 c ============================[ Search Statistics ]============================== 186.45/186.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.45/186.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.45/186.51 c =============================================================================== 186.45/186.51 c | 0 | 1976 8363 42459 | 5000 0 nan | 0.000 % | 186.45/186.51 c =============================================================================== 186.45/186.54 c core #235 186.45/186.54 c 186.45/186.54 c 186.45/186.54 c Core size: 10 Core Weight: 1 Total Weight: 239 186.45/186.54 c 186.45/186.54 c 186.45/186.54 c ============================[ Search Statistics ]============================== 186.45/186.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.45/186.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.45/186.54 c =============================================================================== 186.45/186.54 c | 0 | 1982 8364 42471 | 5000 0 nan | 0.000 % | 186.45/186.54 c =============================================================================== 186.45/186.56 c core #236 186.45/186.56 c 186.45/186.56 c 186.45/186.56 c Core size: 10 Core Weight: 1 Total Weight: 240 186.45/186.56 c 186.45/186.56 c 186.45/186.56 c ============================[ Search Statistics ]============================== 186.45/186.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.45/186.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.45/186.56 c =============================================================================== 186.45/186.56 c | 0 | 1988 8365 42483 | 5000 0 nan | 0.000 % | 186.45/186.57 c =============================================================================== 186.45/186.59 c core #237 186.45/186.59 c 186.45/186.59 c 186.45/186.59 c Core size: 12 Core Weight: 1 Total Weight: 241 186.45/186.59 c 186.45/186.59 c 186.45/186.59 c ============================[ Search Statistics ]============================== 186.45/186.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.45/186.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.45/186.59 c =============================================================================== 186.45/186.59 c | 0 | 1995 8366 42497 | 5000 0 nan | 0.000 % | 186.55/186.60 c =============================================================================== 186.55/186.62 c core #238 186.55/186.62 c 186.55/186.62 c 186.55/186.62 c Core size: 10 Core Weight: 1 Total Weight: 242 186.55/186.62 c 186.55/186.62 c 186.55/186.62 c ============================[ Search Statistics ]============================== 186.55/186.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.55/186.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.55/186.62 c =============================================================================== 186.55/186.62 c | 0 | 2001 8367 42509 | 5000 0 nan | 0.000 % | 186.55/186.62 c =============================================================================== 186.55/186.65 c core #239 186.55/186.65 c 186.55/186.65 c 186.55/186.65 c Core size: 78 Core Weight: 1 Total Weight: 243 186.55/186.65 c 186.55/186.65 c 186.55/186.65 c ============================[ Search Statistics ]============================== 186.55/186.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.55/186.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.55/186.65 c =============================================================================== 186.55/186.65 c | 0 | 2014 8368 42535 | 5000 0 nan | 0.000 % | 186.55/186.65 c =============================================================================== 186.55/186.67 c core #240 186.55/186.67 c 186.55/186.67 c 186.55/186.67 c Core size: 19 Core Weight: 1 Total Weight: 244 186.55/186.67 c 186.55/186.67 c 186.55/186.67 c ============================[ Search Statistics ]============================== 186.55/186.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.55/186.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.55/186.67 c =============================================================================== 186.55/186.67 c | 0 | 2023 8369 42553 | 5000 0 nan | 0.000 % | 186.55/186.68 c =============================================================================== 186.65/186.70 c core #241 186.65/186.70 c 186.65/186.70 c 186.65/186.70 c Core size: 18 Core Weight: 1 Total Weight: 245 186.65/186.70 c 186.65/186.70 c 186.65/186.70 c ============================[ Search Statistics ]============================== 186.65/186.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.65/186.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.65/186.70 c =============================================================================== 186.65/186.70 c | 0 | 2035 8370 42577 | 5000 0 nan | 0.000 % | 186.65/186.71 c =============================================================================== 186.65/186.73 c core #242 186.65/186.73 c 186.65/186.73 c 186.65/186.73 c Core size: 13 Core Weight: 1 Total Weight: 246 186.65/186.73 c 186.65/186.73 c 186.65/186.73 c ============================[ Search Statistics ]============================== 186.65/186.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.65/186.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.65/186.73 c =============================================================================== 186.65/186.73 c | 0 | 2043 8371 42593 | 5000 0 nan | 0.000 % | 186.65/186.74 c =============================================================================== 186.65/186.76 c core #243 186.65/186.76 c 186.65/186.76 c 186.65/186.76 c Core size: 19 Core Weight: 1 Total Weight: 247 186.65/186.76 c 186.65/186.76 c 186.65/186.76 c ============================[ Search Statistics ]============================== 186.65/186.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.65/186.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.65/186.76 c =============================================================================== 186.65/186.76 c | 0 | 2055 8372 42617 | 5000 0 nan | 0.000 % | 186.65/186.77 c =============================================================================== 186.65/186.79 c core #244 186.65/186.79 c 186.65/186.79 c 186.65/186.79 c Core size: 23 Core Weight: 1 Total Weight: 248 186.65/186.79 c 186.65/186.79 c 186.65/186.79 c ============================[ Search Statistics ]============================== 186.65/186.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.65/186.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.65/186.79 c =============================================================================== 186.65/186.79 c | 0 | 2072 8373 42651 | 5000 0 nan | 0.000 % | 186.74/186.81 c =============================================================================== 186.74/186.83 c core #245 186.74/186.83 c 186.74/186.83 c 186.74/186.83 c Core size: 119 Core Weight: 1 Total Weight: 249 186.74/186.83 c 186.74/186.83 c 186.74/186.83 c ============================[ Search Statistics ]============================== 186.74/186.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.74/186.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.74/186.83 c =============================================================================== 186.74/186.83 c | 0 | 2083 8374 42673 | 5000 0 nan | 0.000 % | 186.74/186.84 c =============================================================================== 186.74/186.86 c core #246 186.74/186.86 c 186.74/186.86 c 186.74/186.86 c Core size: 110 Core Weight: 1 Total Weight: 250 186.74/186.86 c 186.74/186.86 c 186.74/186.86 c ============================[ Search Statistics ]============================== 186.74/186.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.74/186.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.74/186.86 c =============================================================================== 186.74/186.86 c | 0 | 2089 8375 42685 | 5000 0 nan | 0.000 % | 186.74/186.87 c =============================================================================== 186.74/186.90 c core #247 186.74/186.90 c 186.74/186.90 c 186.74/186.90 c Core size: 126 Core Weight: 1 Total Weight: 251 186.74/186.90 c 186.74/186.90 c 186.74/186.90 c ============================[ Search Statistics ]============================== 186.74/186.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.74/186.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.74/186.90 c =============================================================================== 186.74/186.90 c | 0 | 2095 8376 42697 | 5000 0 nan | 0.000 % | 186.85/186.91 c =============================================================================== 186.85/186.94 c core #248 186.85/186.94 c 186.85/186.94 c 186.85/186.94 c Core size: 138 Core Weight: 1 Total Weight: 252 186.85/186.94 c 186.85/186.94 c 186.85/186.94 c ============================[ Search Statistics ]============================== 186.85/186.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.85/186.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.85/186.94 c =============================================================================== 186.85/186.94 c | 0 | 2103 8377 42713 | 5000 0 nan | 0.000 % | 186.85/186.94 c =============================================================================== 186.85/186.96 c core #249 186.85/186.96 c 186.85/186.96 c 186.85/186.96 c Core size: 17 Core Weight: 1 Total Weight: 253 186.85/186.96 c 186.85/186.96 c 186.85/186.96 c ============================[ Search Statistics ]============================== 186.85/186.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.85/186.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.85/186.96 c =============================================================================== 186.85/186.96 c | 0 | 2116 8378 42739 | 5000 0 nan | 0.000 % | 186.85/186.98 c | 103 | 2107 8378 42739 | 5500 103 20 | 0.847 % | 186.85/186.99 c =============================================================================== 186.95/187.01 c core #250 186.95/187.01 c 186.95/187.01 c 186.95/187.01 c Core size: 89 Core Weight: 1 Total Weight: 254 186.95/187.01 c 186.95/187.01 c 186.95/187.01 c ============================[ Search Statistics ]============================== 186.95/187.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.95/187.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.95/187.01 c =============================================================================== 186.95/187.01 c | 0 | 2196 8379 42899 | 5000 0 nan | 0.000 % | 186.95/187.05 c | 102 | 2195 8379 42899 | 5500 102 43 | 0.454 % | 186.95/187.08 c | 256 | 2194 8379 42899 | 6050 256 42 | 0.499 % | 187.04/187.15 c | 482 | 2193 8379 42899 | 6655 480 38 | 0.499 % | 187.14/187.23 c =============================================================================== 187.14/187.26 c core #251 187.14/187.26 c 187.14/187.26 c 187.14/187.26 c Core size: 184 Core Weight: 1 Total Weight: 255 187.14/187.26 c 187.14/187.26 c 187.14/187.26 c ============================[ Search Statistics ]============================== 187.14/187.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.14/187.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.14/187.26 c =============================================================================== 187.14/187.26 c | 0 | 2234 8380 42975 | 5000 0 nan | 0.000 % | 187.14/187.29 c | 100 | 2233 8380 42975 | 5500 100 41 | 0.401 % | 187.24/187.33 c | 251 | 2232 8380 42975 | 6050 251 49 | 0.446 % | 187.24/187.39 c | 480 | 2232 8380 42975 | 6655 478 51 | 0.446 % | 187.34/187.49 c | 818 | 2225 8380 42975 | 7320 814 53 | 0.758 % | 187.44/187.52 c =============================================================================== 187.44/187.55 c core #252 187.44/187.55 c 187.44/187.55 c 187.44/187.55 c Core size: 143 Core Weight: 1 Total Weight: 256 187.44/187.55 c 187.44/187.55 c 187.44/187.55 c ============================[ Search Statistics ]============================== 187.44/187.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.44/187.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.44/187.55 c =============================================================================== 187.44/187.55 c | 0 | 2325 8385 43169 | 5000 0 nan | 0.000 % | 187.44/187.58 c | 100 | 2325 8385 43169 | 5500 100 31 | 0.514 % | 187.54/187.63 c | 251 | 2324 8385 43169 | 6050 251 39 | 0.514 % | 187.54/187.69 c | 476 | 2323 8385 43169 | 6655 475 44 | 0.514 % | 187.74/187.80 c | 815 | 2323 8385 43169 | 7320 814 50 | 0.514 % | 187.84/187.98 c | 1321 | 2323 8385 43169 | 8052 1320 54 | 0.514 % | 188.15/188.27 c | 2080 | 2322 8385 43169 | 8857 2078 54 | 0.557 % | 188.64/188.79 c | 3220 | 2322 8385 43169 | 9743 3218 55 | 0.557 % | 188.84/188.96 c =============================================================================== 188.94/189.00 c core #253 188.94/189.00 c 188.94/189.00 c 188.94/189.00 c Core size: 256 Core Weight: 1 Total Weight: 257 188.94/189.00 c 188.94/189.00 c 188.94/189.00 c ============================[ Search Statistics ]============================== 188.94/189.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.94/189.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.94/189.00 c =============================================================================== 188.94/189.00 c | 0 | 2426 8388 43376 | 5000 0 nan | 0.000 % | 188.94/189.03 c | 100 | 2426 8388 43376 | 5500 100 31 | 0.493 % | 188.94/189.06 c | 252 | 2425 8388 43376 | 6050 252 42 | 0.493 % | 189.05/189.13 c | 478 | 2424 8388 43376 | 6655 478 40 | 0.493 % | 189.15/189.22 c | 819 | 2422 8388 43376 | 7320 818 38 | 0.575 % | 189.25/189.33 c =============================================================================== 189.25/189.36 c core #254 189.25/189.36 c 189.25/189.36 c 189.25/189.36 c Core size: 141 Core Weight: 1 Total Weight: 258 189.25/189.36 c 189.25/189.36 c 189.25/189.36 c ============================[ Search Statistics ]============================== 189.25/189.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.25/189.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.25/189.36 c =============================================================================== 189.25/189.36 c | 0 | 2446 8389 43416 | 5000 0 nan | 0.000 % | 189.25/189.39 c | 102 | 2445 8389 43416 | 5500 102 42 | 0.570 % | 189.35/189.44 c | 256 | 2443 8389 43416 | 6050 256 47 | 0.570 % | 189.44/189.50 c | 481 | 2442 8389 43416 | 6655 478 71 | 0.570 % | 189.54/189.62 c | 820 | 2435 8389 43416 | 7320 733 54 | 0.897 % | 189.64/189.73 c =============================================================================== 189.64/189.75 c core #255 189.64/189.75 c 189.64/189.75 c 189.64/189.75 c Core size: 72 Core Weight: 1 Total Weight: 259 189.64/189.75 c 189.64/189.75 c 189.64/189.75 c ============================[ Search Statistics ]============================== 189.64/189.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.64/189.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.64/189.75 c =============================================================================== 189.64/189.75 c | 0 | 2489 8394 43514 | 5000 0 nan | 0.000 % | 189.64/189.76 c =============================================================================== 189.64/189.78 c core #256 189.64/189.78 c 189.64/189.78 c 189.64/189.78 c Core size: 18 Core Weight: 1 Total Weight: 260 189.64/189.78 c 189.64/189.78 c 189.64/189.78 c ============================[ Search Statistics ]============================== 189.64/189.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.64/189.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.64/189.78 c =============================================================================== 189.64/189.78 c | 0 | 2498 8395 43532 | 5000 0 nan | 0.000 % | 189.74/189.82 c | 101 | 2498 8395 43532 | 5500 101 27 | 0.480 % | 189.74/189.86 c | 253 | 2497 8395 43532 | 6050 253 31 | 0.478 % | 189.85/189.93 c | 479 | 2496 8395 43532 | 6655 478 30 | 0.478 % | 189.85/189.98 c =============================================================================== 189.95/190.01 c core #257 189.95/190.01 c 189.95/190.01 c 189.95/190.01 c Core size: 89 Core Weight: 1 Total Weight: 261 189.95/190.01 c 189.95/190.01 c 189.95/190.01 c ============================[ Search Statistics ]============================== 189.95/190.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.95/190.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.95/190.01 c =============================================================================== 189.95/190.01 c | 0 | 2520 8400 43585 | 5000 0 nan | 0.000 % | 189.95/190.04 c | 101 | 2519 8400 43585 | 5500 101 38 | 0.474 % | 189.95/190.09 c | 252 | 2519 8400 43585 | 6050 252 47 | 0.474 % | 190.05/190.15 c | 478 | 2518 8400 43585 | 6655 477 61 | 0.474 % | 190.15/190.26 c | 819 | 2518 8400 43585 | 7320 818 55 | 0.474 % | 190.34/190.44 c | 1325 | 2518 8400 43585 | 8052 1324 54 | 0.474 % | 190.64/190.70 c =============================================================================== 190.64/190.73 c core #258 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c Core size: 51 Core Weight: 1 Total Weight: 262 190.64/190.73 c 190.64/190.73 c 190.64/190.73 c ============================[ Search Statistics ]============================== 190.64/190.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.64/190.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.64/190.73 c =============================================================================== 190.64/190.73 c | 0 | 2537 8410 43646 | 5000 0 nan | 0.000 % | 190.64/190.76 c | 102 | 2536 8410 43646 | 5500 102 32 | 0.472 % | 190.74/190.81 c | 253 | 2536 8410 43646 | 6050 253 37 | 0.471 % | 190.74/190.89 c | 479 | 2535 8410 43646 | 6655 478 38 | 0.471 % | 190.94/191.00 c | 816 | 2532 8410 43646 | 7320 811 34 | 0.628 % | 190.94/191.02 c =============================================================================== 190.94/191.05 c core #259 190.94/191.05 c 190.94/191.05 c 190.94/191.05 c Core size: 27 Core Weight: 1 Total Weight: 263 190.94/191.05 c 190.94/191.05 c 190.94/191.05 c ============================[ Search Statistics ]============================== 190.94/191.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.94/191.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.94/191.05 c =============================================================================== 190.94/191.05 c | 0 | 2548 8421 43697 | 5000 0 nan | 0.000 % | 190.94/191.08 c | 100 | 2548 8421 43697 | 5500 100 38 | 0.392 % | 191.04/191.12 c | 252 | 2548 8421 43697 | 6050 252 41 | 0.391 % | 191.04/191.19 c | 478 | 2548 8421 43697 | 6655 478 44 | 0.391 % | 191.25/191.30 c | 815 | 2548 8421 43697 | 7320 815 48 | 0.391 % | 191.35/191.49 c | 1321 | 2548 8421 43697 | 8052 1321 49 | 0.391 % | 191.65/191.76 c | 2081 | 2548 8421 43697 | 8857 2081 48 | 0.391 % | 192.04/192.19 c | 3220 | 2548 8421 43697 | 9743 3220 48 | 0.391 % | 192.64/192.76 c | 4929 | 2548 8421 43697 | 10717 4929 59 | 0.391 % | 193.94/194.00 c | 7491 | 2524 8421 43697 | 11789 7476 59 | 1.486 % | 194.55/194.60 c =============================================================================== 194.55/194.64 c core #260 194.55/194.64 c 194.55/194.64 c 194.55/194.64 c Core size: 202 Core Weight: 1 Total Weight: 264 194.55/194.64 c 194.55/194.64 c 194.55/194.64 c ============================[ Search Statistics ]============================== 194.55/194.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.55/194.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.55/194.64 c =============================================================================== 194.55/194.64 c | 0 | 2572 8462 43852 | 5000 0 nan | 0.000 % | 194.55/194.67 c | 100 | 2572 8462 43852 | 5500 100 33 | 0.466 % | 194.65/194.70 c | 251 | 2572 8462 43852 | 6050 251 39 | 0.464 % | 194.65/194.76 c | 476 | 2572 8462 43852 | 6655 476 40 | 0.464 % | 194.74/194.84 c | 814 | 2570 8462 43852 | 7320 811 37 | 0.542 % | 194.74/194.88 c =============================================================================== 194.84/194.91 c core #261 194.84/194.91 c 194.84/194.91 c 194.84/194.91 c Core size: 179 Core Weight: 1 Total Weight: 265 194.84/194.91 c 194.84/194.91 c 194.84/194.91 c ============================[ Search Statistics ]============================== 194.84/194.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.84/194.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.84/194.91 c =============================================================================== 194.84/194.91 c | 0 | 2586 8483 43935 | 5000 0 nan | 0.000 % | 194.84/194.93 c | 101 | 2586 8483 43935 | 5500 101 28 | 0.463 % | 194.84/194.99 c | 252 | 2586 8483 43935 | 6050 252 42 | 0.462 % | 194.94/195.07 c | 482 | 2586 8483 43935 | 6655 482 46 | 0.462 % | 195.04/195.18 c | 823 | 2586 8483 43935 | 7320 823 48 | 0.462 % | 195.24/195.36 c | 1330 | 2586 8483 43935 | 8052 1330 48 | 0.462 % | 195.54/195.62 c | 2089 | 2586 8483 43935 | 8857 2089 48 | 0.462 % | 196.04/196.11 c | 3229 | 2586 8483 43935 | 9743 3229 47 | 0.462 % | 196.44/196.51 c | 4938 | 2586 8483 43935 | 10717 4938 96 | 0.463 % | 197.04/197.19 c | 7500 | 2586 8483 43935 | 11789 7500 110 | 0.462 % | 198.44/198.50 c =============================================================================== 198.44/198.54 c core #262 198.44/198.54 c 198.44/198.54 c 198.44/198.54 c Core size: 33 Core Weight: 1 Total Weight: 266 198.44/198.54 c 198.44/198.54 c 198.44/198.54 c ============================[ Search Statistics ]============================== 198.44/198.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.44/198.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.44/198.54 c =============================================================================== 198.44/198.54 c | 0 | 2601 8502 44012 | 5000 0 nan | 0.000 % | 198.44/198.57 c | 100 | 2601 8502 44012 | 5500 100 40 | 0.462 % | 198.54/198.61 c | 252 | 2601 8502 44012 | 6050 252 49 | 0.459 % | 198.54/198.67 c | 479 | 2601 8502 44012 | 6655 479 53 | 0.459 % | 198.64/198.78 c | 817 | 2601 8502 44012 | 7320 817 56 | 0.459 % | 198.84/198.95 c | 1323 | 2601 8502 44012 | 8052 1323 58 | 0.459 % | 199.05/199.18 c | 2082 | 2601 8502 44012 | 8857 2082 56 | 0.459 % | 199.34/199.46 c | 3222 | 2601 8502 44012 | 9743 3222 77 | 0.459 % | 199.74/199.90 c | 4933 | 2601 8502 44012 | 10717 4933 108 | 0.460 % | 199.94/200.04 c =============================================================================== 199.94/200.08 c core #263 199.94/200.08 c 199.94/200.08 c 199.94/200.08 c Core size: 60 Core Weight: 1 Total Weight: 267 199.94/200.08 c 199.94/200.08 c 199.94/200.08 c ============================[ Search Statistics ]============================== 199.94/200.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.94/200.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.94/200.08 c =============================================================================== 199.94/200.08 c | 0 | 2625 8516 44093 | 5000 0 nan | 0.000 % | 200.04/200.12 c | 101 | 2625 8516 44093 | 5500 101 37 | 0.531 % | 200.04/200.17 c | 251 | 2624 8516 44093 | 6050 251 42 | 0.531 % | 200.14/200.24 c | 477 | 2623 8516 44093 | 6655 475 47 | 0.531 % | 200.24/200.36 c | 814 | 2623 8516 44093 | 7320 812 49 | 0.531 % | 200.44/200.58 c | 1320 | 2623 8516 44093 | 8052 1318 53 | 0.531 % | 200.74/200.88 c | 2079 | 2623 8516 44093 | 8857 2077 53 | 0.531 % | 201.33/201.45 c | 3220 | 2619 8516 44093 | 9743 3195 53 | 0.683 % | 201.64/201.72 c =============================================================================== 201.64/201.76 c core #264 201.64/201.76 c 201.64/201.76 c 201.64/201.76 c Core size: 644 Core Weight: 1 Total Weight: 268 201.64/201.76 c 201.64/201.76 c 201.64/201.76 c ============================[ Search Statistics ]============================== 201.64/201.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 201.64/201.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 201.64/201.76 c =============================================================================== 201.64/201.76 c | 0 | 2651 8525 44167 | 5000 0 nan | 0.000 % | 201.64/201.79 c | 101 | 2650 8525 44167 | 5500 101 32 | 0.526 % | 201.74/201.84 c | 251 | 2649 8525 44167 | 6050 251 47 | 0.526 % | 201.84/201.91 c | 476 | 2649 8525 44167 | 6655 445 54 | 0.526 % | 201.94/202.01 c | 813 | 2649 8525 44167 | 7320 782 56 | 0.526 % | 202.04/202.16 c | 1319 | 2649 8525 44167 | 8052 1288 53 | 0.526 % | 202.24/202.38 c | 2078 | 2649 8525 44167 | 8857 2047 57 | 0.526 % | 202.64/202.76 c | 3217 | 2647 8525 44167 | 9743 3037 65 | 0.601 % | 203.14/203.27 c | 4925 | 2644 8525 44167 | 10717 4745 73 | 0.751 % | 204.04/204.14 c | 7488 | 2639 8525 44167 | 11789 7160 75 | 0.902 % | 205.24/205.33 c | 11333 | 2639 8525 44167 | 12968 11005 94 | 0.901 % | 205.55/205.66 c =============================================================================== 205.65/205.71 c core #265 205.65/205.71 c 205.65/205.71 c 205.65/205.71 c Core size: 71 Core Weight: 1 Total Weight: 269 205.65/205.71 c 205.65/205.71 c 205.65/205.71 c ============================[ Search Statistics ]============================== 205.65/205.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 205.65/205.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 205.65/205.71 c =============================================================================== 205.65/205.71 c | 0 | 2664 8539 44230 | 5000 0 nan | 0.000 % | 205.65/205.74 c | 100 | 2664 8539 44230 | 5500 100 40 | 0.450 % | 205.65/205.77 c | 252 | 2664 8539 44230 | 6050 252 45 | 0.448 % | 205.74/205.83 c | 477 | 2664 8539 44230 | 6655 477 48 | 0.448 % | 205.84/205.94 c | 815 | 2664 8539 44230 | 7320 815 48 | 0.448 % | 206.04/206.13 c | 1321 | 2664 8539 44230 | 8052 1321 59 | 0.448 % | 206.24/206.36 c | 2085 | 2664 8539 44230 | 8857 2085 60 | 0.448 % | 206.65/206.78 c | 3225 | 2664 8539 44230 | 9743 3225 58 | 0.448 % | 207.44/207.53 c =============================================================================== 207.44/207.57 c core #266 207.44/207.57 c 207.44/207.57 c 207.44/207.57 c Core size: 221 Core Weight: 1 Total Weight: 270 207.44/207.57 c 207.44/207.57 c 207.44/207.57 c ============================[ Search Statistics ]============================== 207.44/207.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 207.44/207.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 207.44/207.57 c =============================================================================== 207.44/207.57 c | 0 | 2681 8562 44322 | 5000 0 nan | 0.000 % | 207.54/207.61 c | 100 | 2681 8562 44322 | 5500 100 36 | 0.520 % | 207.54/207.67 c | 251 | 2680 8562 44322 | 6050 251 47 | 0.520 % | 207.64/207.74 c | 476 | 2679 8562 44322 | 6655 466 46 | 0.520 % | 207.75/207.84 c | 813 | 2679 8562 44322 | 7320 803 47 | 0.520 % | 207.94/208.03 c | 1320 | 2679 8562 44322 | 8052 1310 53 | 0.520 % | 208.23/208.35 c | 2081 | 2679 8562 44322 | 8857 2071 54 | 0.520 % | 208.73/208.85 c | 3221 | 2679 8562 44322 | 9743 3211 53 | 0.520 % | 209.74/209.85 c | 4929 | 2677 8562 44322 | 10717 4908 52 | 0.594 % | 210.54/210.68 c =============================================================================== 210.63/210.73 c core #267 210.63/210.73 c 210.63/210.73 c 210.63/210.73 c Core size: 133 Core Weight: 1 Total Weight: 271 210.63/210.73 c 210.63/210.73 c 210.63/210.73 c ============================[ Search Statistics ]============================== 210.63/210.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.63/210.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.63/210.73 c =============================================================================== 210.63/210.73 c | 0 | 2719 8582 44445 | 5000 0 nan | 0.000 % | 210.63/210.77 c | 100 | 2718 8582 44445 | 5500 100 27 | 0.513 % | 210.73/210.80 c | 250 | 2718 8582 44445 | 6050 250 44 | 0.513 % | 210.73/210.86 c | 476 | 2717 8582 44445 | 6655 475 50 | 0.513 % | 210.84/210.96 c | 813 | 2717 8582 44445 | 7320 812 54 | 0.513 % | 211.05/211.14 c | 1321 | 2717 8582 44445 | 8052 1320 55 | 0.513 % | 211.24/211.36 c | 2080 | 2717 8582 44445 | 8857 2079 55 | 0.513 % | 211.64/211.77 c | 3219 | 2717 8582 44445 | 9743 3218 57 | 0.513 % | 212.33/212.44 c | 4927 | 2717 8582 44445 | 10717 4926 62 | 0.513 % | 213.64/213.72 c | 7491 | 2715 8582 44445 | 11789 7485 61 | 0.586 % | 213.84/213.96 c =============================================================================== 213.94/214.02 c core #268 213.94/214.02 c 213.94/214.02 c 213.94/214.02 c Core size: 104 Core Weight: 1 Total Weight: 272 213.94/214.02 c 213.94/214.02 c 213.94/214.02 c ============================[ Search Statistics ]============================== 213.94/214.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.94/214.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.94/214.02 c =============================================================================== 213.94/214.02 c | 0 | 2739 8616 44559 | 5000 0 nan | 0.000 % | 213.94/214.05 c | 101 | 2739 8616 44559 | 5500 101 25 | 0.438 % | 213.94/214.10 c | 251 | 2739 8616 44559 | 6050 251 44 | 0.436 % | 214.04/214.17 c | 476 | 2739 8616 44559 | 6655 476 48 | 0.436 % | 214.14/214.28 c | 813 | 2737 8616 44559 | 7320 812 52 | 0.509 % | 214.34/214.45 c | 1321 | 2737 8616 44559 | 8052 1320 51 | 0.509 % | 214.64/214.71 c | 2080 | 2737 8616 44559 | 8857 2079 56 | 0.509 % | 215.04/215.16 c | 3220 | 2737 8616 44559 | 9743 3219 55 | 0.509 % | 215.44/215.59 c | 4928 | 2737 8616 44559 | 10717 4927 89 | 0.510 % | 216.34/216.42 c | 7490 | 2737 8616 44559 | 11789 7489 86 | 0.509 % | 217.84/217.90 c | 11334 | 2733 8616 44559 | 12968 11332 82 | 0.654 % | 220.23/220.39 c =============================================================================== 220.33/220.46 c core #269 220.33/220.46 c 220.33/220.46 c 220.33/220.46 c Core size: 68 Core Weight: 1 Total Weight: 273 220.33/220.46 c 220.33/220.46 c 220.33/220.46 c ============================[ Search Statistics ]============================== 220.33/220.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 220.33/220.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 220.33/220.46 c =============================================================================== 220.33/220.46 c | 0 | 2778 8654 44732 | 5000 0 nan | 0.000 % | 220.33/220.48 c | 100 | 2778 8654 44732 | 5500 100 33 | 0.431 % | 220.43/220.52 c | 252 | 2778 8654 44732 | 6050 252 46 | 0.430 % | 220.43/220.58 c | 477 | 2778 8654 44732 | 6655 477 47 | 0.430 % | 220.54/220.66 c | 820 | 2778 8654 44732 | 7320 820 44 | 0.430 % | 220.63/220.79 c | 1326 | 2778 8654 44732 | 8052 1326 46 | 0.430 % | 220.94/221.03 c | 2088 | 2778 8654 44732 | 8857 2088 47 | 0.430 % | 221.24/221.39 c | 3228 | 2778 8654 44732 | 9743 3228 52 | 0.430 % | 221.84/221.91 c | 4936 | 2778 8654 44732 | 10717 4936 65 | 0.431 % | 222.54/222.68 c | 7498 | 2776 8654 44732 | 11789 7458 85 | 0.504 % | 223.64/223.73 c | 11346 | 2776 8654 44732 | 12968 11306 99 | 0.503 % | 225.13/225.26 c | 17113 | 2776 8654 44732 | 14265 10166 125 | 0.502 % | 228.23/228.32 c | 25762 | 2776 8654 44732 | 15692 11355 168 | 0.502 % | 232.63/232.77 c | 38736 | 2776 8654 44732 | 17261 16043 176 | 0.503 % | 238.63/238.73 c | 58197 | 2776 8654 44732 | 18987 17381 146 | 0.502 % | 248.63/248.79 c | 87390 | 2772 8654 44732 | 20886 16868 64 | 0.645 % | 263.03/263.17 c | 131179 | 2768 8654 44732 | 22974 17289 102 | 0.789 % | 292.02/292.19 c | 196864 | 2764 8654 44732 | 25272 20926 117 | 0.932 % | 339.71/339.89 c | 295390 | 2762 8654 44732 | 27799 15760 72 | 1.004 % | 384.49/384.62 c =============================================================================== 384.99/385.15 c core #270 384.99/385.15 c 384.99/385.15 c 384.99/385.15 c Core size: 182 Core Weight: 1 Total Weight: 274 384.99/385.15 c 384.99/385.15 c 384.99/385.15 c ============================[ Search Statistics ]============================== 384.99/385.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 384.99/385.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 384.99/385.15 c =============================================================================== 384.99/385.15 c | 0 | 2816 8660 44818 | 5000 0 nan | 0.000 % | 385.09/385.25 c | 100 | 2816 8660 44818 | 5500 100 49 | 0.426 % | 385.09/385.28 c | 251 | 2816 8660 44818 | 6050 251 41 | 0.424 % | 385.19/385.35 c | 477 | 2816 8660 44818 | 6655 477 40 | 0.424 % | 385.29/385.43 c | 815 | 2816 8660 44818 | 7320 815 40 | 0.424 % | 385.39/385.58 c | 1321 | 2816 8660 44818 | 8052 1321 46 | 0.424 % | 385.69/385.82 c | 2081 | 2816 8660 44818 | 8857 2081 48 | 0.424 % | 386.00/386.19 c | 3220 | 2816 8660 44818 | 9743 3220 55 | 0.424 % | 386.59/386.77 c | 4928 | 2816 8660 44818 | 10717 4928 56 | 0.424 % | 387.40/387.50 c | 7490 | 2816 8660 44818 | 11789 7490 90 | 0.425 % | 388.49/388.63 c | 11334 | 2816 8660 44818 | 12968 11334 94 | 0.425 % | 389.99/390.10 c | 17100 | 2816 8660 44818 | 14265 10189 127 | 0.424 % | 392.79/392.93 c | 25752 | 2816 8660 44818 | 15692 11278 155 | 0.424 % | 392.99/393.13 c =============================================================================== 392.99/393.19 c core #271 392.99/393.19 c 392.99/393.19 c 392.99/393.19 c Core size: 182 Core Weight: 1 Total Weight: 275 392.99/393.19 c 392.99/393.19 c 392.99/393.19 c ============================[ Search Statistics ]============================== 392.99/393.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 392.99/393.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 392.99/393.19 c =============================================================================== 392.99/393.19 c | 0 | 2831 8682 44896 | 5000 0 nan | 0.000 % | 393.09/393.23 c | 100 | 2830 8682 44896 | 5500 100 27 | 0.493 % | 393.09/393.27 c | 253 | 2830 8682 44896 | 6050 253 38 | 0.492 % | 393.19/393.34 c | 478 | 2829 8682 44896 | 6655 471 42 | 0.492 % | 393.29/393.44 c | 816 | 2829 8682 44896 | 7320 809 45 | 0.492 % | 393.39/393.58 c | 1323 | 2829 8682 44896 | 8052 1316 46 | 0.492 % | 393.59/393.75 c | 2083 | 2829 8682 44896 | 8857 2076 57 | 0.492 % | 393.89/394.08 c | 3222 | 2829 8682 44896 | 9743 3215 84 | 0.493 % | 394.49/394.64 c | 4930 | 2825 8682 44896 | 10717 4778 79 | 0.633 % | 395.09/395.26 c | 7493 | 2825 8682 44896 | 11789 7341 101 | 0.633 % | 396.29/396.44 c | 11337 | 2825 8682 44896 | 12968 11185 113 | 0.633 % | 397.59/397.78 c | 17104 | 2825 8682 44896 | 14265 10052 162 | 0.633 % | 400.69/400.80 c | 25753 | 2825 8682 44896 | 15692 11139 166 | 0.633 % | 404.38/404.57 c | 38727 | 2825 8682 44896 | 17261 15839 133 | 0.633 % | 410.79/410.95 c | 58189 | 2825 8682 44896 | 18987 17212 166 | 0.634 % | 422.79/422.99 c | 87381 | 2821 8682 44896 | 20886 16675 191 | 0.774 % | 442.38/442.55 c | 131170 | 2821 8682 44896 | 22974 17048 159 | 0.775 % | 471.07/471.22 c | 196855 | 2817 8682 44896 | 25272 20193 66 | 0.915 % | 513.26/513.47 c | 295381 | 2715 8682 44896 | 27799 16344 99 | 4.614 % | 584.54/584.76 c | 443170 | 2490 8682 44896 | 30579 26646 97 | 12.561 % | 664.62/664.83 c =============================================================================== 665.23/665.44 c core #272 665.23/665.44 c 665.23/665.44 c 665.23/665.44 c Core size: 681 Core Weight: 1 Total Weight: 276 665.23/665.44 c 665.23/665.44 c 665.23/665.44 c ============================[ Search Statistics ]============================== 665.23/665.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 665.23/665.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 665.23/665.44 c =============================================================================== 665.23/665.44 c | 0 | 2912 8683 45058 | 5000 0 nan | 0.000 % | 665.33/665.56 c | 104 | 2912 8683 45058 | 5500 104 80 | 0.412 % | 665.42/665.60 c | 255 | 2912 8683 45058 | 6050 255 99 | 0.411 % | 665.42/665.64 c | 481 | 2912 8683 45058 | 6655 481 103 | 0.411 % | 665.52/665.74 c | 818 | 2912 8683 45058 | 7320 818 76 | 0.479 % | 665.62/665.87 c | 1324 | 2910 8683 45058 | 8052 1322 63 | 0.479 % | 665.82/666.02 c | 2083 | 2910 8683 45058 | 8857 2081 91 | 0.479 % | 666.02/666.29 c | 3222 | 2908 8683 45058 | 9743 3220 109 | 0.548 % | 666.52/666.72 c | 4930 | 2906 8683 45058 | 10717 4928 102 | 0.616 % | 667.12/667.39 c | 7493 | 2906 8683 45058 | 11789 7482 121 | 0.616 % | 668.22/668.42 c | 11339 | 2906 8683 45058 | 12968 11328 126 | 0.616 % | 669.63/669.86 c | 17107 | 2906 8683 45058 | 14265 10175 141 | 0.616 % | 671.82/672.08 c | 25759 | 2906 8683 45058 | 15692 11259 151 | 0.616 % | 675.82/676.04 c | 38734 | 2906 8683 45058 | 17261 15954 153 | 0.616 % | 682.32/682.54 c | 58195 | 2906 8683 45058 | 18987 17268 150 | 0.616 % | 694.21/694.49 c | 87387 | 2906 8683 45058 | 20886 16710 137 | 0.616 % | 709.01/709.27 c | 131177 | 2906 8683 45058 | 22974 17086 124 | 0.616 % | 741.30/741.59 c | 196862 | 2906 8683 45058 | 25272 20293 128 | 0.616 % | 787.19/787.43 c | 295390 | 2906 8683 45058 | 27799 13937 142 | 0.616 % | 855.77/856.01 c | 443179 | 2906 8683 45058 | 30579 26721 98 | 0.616 % | 956.54/956.86 c | 664863 | 2906 8683 45058 | 33637 13547 103 | 0.616 % | 1175.49/1175.84 c | 997389 | 2906 8683 45058 | 37001 27742 145 | 0.616 % |
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-2680822-1277453686/watcher-2680822-1277453686 -o /tmp/evaluation-result-2680822-1277453686/solver-2680822-1277453686 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680822-1277453686.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.84 3/106 28104 /proc/meminfo: memFree=1850748/2059040 swapFree=4136688/4192956 [pid=28104] ppid=28102 vsize=2912 CPUtime=0 /proc/28104/stat : 28104 (wbo1.4b) R 28102 28104 27934 0 -1 4202496 292 0 0 0 0 0 0 0 20 0 1 0 86660602 2981888 210 1992294400 134512640 135752675 4291929248 18446744073709551615 135194352 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28104/statm: 728 210 140 303 0 339 0 [startup+0.027366 s] /proc/loadavg: 0.99 0.97 0.84 3/106 28104 /proc/meminfo: memFree=1850748/2059040 swapFree=4136688/4192956 [pid=28104] ppid=28102 vsize=3044 CPUtime=0.02 /proc/28104/stat : 28104 (wbo1.4b) R 28102 28104 27934 0 -1 4202496 340 0 0 0 2 0 0 0 20 0 1 0 86660602 3117056 258 1992294400 134512640 135752675 4291929248 18446744073709551615 135193180 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28104/statm: 761 259 170 303 0 372 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 3044 [startup+0.101374 s] /proc/loadavg: 0.99 0.97 0.84 3/106 28104 /proc/meminfo: memFree=1850748/2059040 swapFree=4136688/4192956 [pid=28104] ppid=28102 vsize=3664 CPUtime=0.09 /proc/28104/stat : 28104 (wbo1.4b) R 28102 28104 27934 0 -1 4202496 633 0 0 0 9 0 0 0 20 0 1 0 86660602 3751936 467 1992294400 134512640 135752675 4291929248 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28104/statm: 916 467 145 303 0 611 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3664 [startup+0.301396 s] /proc/loadavg: 0.99 0.97 0.84 3/106 28104 /proc/meminfo: memFree=1850748/2059040 swapFree=4136688/4192956 [pid=28104] ppid=28102 vsize=4308 CPUtime=0.29 /proc/28104/stat : 28104 (wbo1.4b) R 28102 28104 27934 0 -1 4202496 819 0 0 0 29 0 0 0 20 0 1 0 86660602 4411392 653 1992294400 134512640 135752675 4291929248 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28104/statm: 1077 653 145 303 0 772 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4308 [startup+0.701439 s] /proc/loadavg: 0.99 0.97 0.84 3/106 28104 /proc/meminfo: memFree=1850748/2059040 swapFree=4136688/4192956 [pid=28104] ppid=28102 vsize=4836 CPUtime=0.69 /proc/28104/stat : 28104 (wbo1.4b) R 28102 28104 27934 0 -1 4202496 947 0 0 0 68 1 0 0 20 0 1 0 86660602 4952064 781 1992294400 134512640 135752675 4291929248 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28104/statm: 1209 781 145 303 0 904 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4836 [startup+1.50152 s] /proc/loadavg: 0.99 0.97 0.84 2/107 28105 /proc/meminfo: memFree=1845780/2059040 swapFree=4136688/4192956 [pid=28104] ppid=28102 vsize=10348 CPUtime=1.49 /proc/28104/stat : 28104 (wbo1.4b) R 28102 28104 27934 0 -1 4202496 2330 0 0 0 146 3 0 0 23 0 1 0 86660602 10596352 2164 1992294400 134512640 135752675 4291929248 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28104/statm: 2587 2164 145 303 0 2282 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10348 [startup+3.10169 s] /proc/loadavg: 0.99 0.97 0.84 2/107 28105 /proc/meminfo: memFree=1839828/2059040 swapFree=4136688/4192956 [pid=28104] ppid=28102 vsize=18360 CPUtime=3.09 /proc/28104/stat : 28104 (wbo1.4b) R 28102 28104 27934 0 -1 4202496 4309 0 0 0 304 5 0 0 25 0 1 0 86660602 18800640 4143 1992294400 134512640 135752675 4291929248 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28104/statm: 4590 4144 145 303 0 4285 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18360 [startup+6.30104 s] /proc/loadavg: 0.99 0.97 0.84 2/107 28105 /proc/meminfo: memFree=1822840/2059040 swapFree=4136688/4192956 [pid=28104] ppid=28102 vsize=35420 CPUtime=6.29 /proc/28104/stat : 28104 (wbo1.4b) R 28102 28104 27934 0 -1 4202496 8591 0 0 0 620 9 0 0 25 0 1 0 86660602 36270080 8425 1992294400 134512640 135752675 4291929248 18446744073709551615 134638325 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28104/statm: 8855 8425 145 303 0 8550 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 35420 [startup+12.7007 s] /proc/loadavg: 0.99 0.97 0.84 2/107 28105 /proc/meminfo: memFree=1791344/2059040 swapFree=4136688/4192956 [pid=28104] ppid=28102 vsize=64540 CPUtime=12.69 /proc/28104/stat : 28104 (wbo1.4b) R 28102 28104 27934 0 -1 4202496 15854 0 0 0 1250 19 0 0 25 0 1 0 86660602 66088960 15688 1992294400 134512640 135752675 4291929248 18446744073709551615 134638253 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28104/statm: 16135 15688 145 303 0 15830 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 64540 [startup+25.5011 s] /proc/loadavg: 0.99 0.97 0.84 2/107 28105 /proc/meminfo: memFree=1719672/2059040 swapFree=4136688/4192956 [pid=28104] ppid=28102 vsize=133904 CPUtime=25.49 /proc/28104/stat : 28104 (wbo1.4b) R 28102 28104 27934 0 -1 4202496 33209 0 0 0 2513 36 0 0 25 0 1 0 86660602 137117696 33043 1992294400 134512640 135752675 4291929248 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28104/statm: 33476 33043 145 303 0 33171 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 133904 [startup+51.1008 s] /proc/loadavg: 0.99 0.97 0.84 2/107 28105 /proc/meminfo: memFree=1625680/2059040 swapFree=4136688/4192956 [pid=28104] ppid=28102 vsize=228236 CPUtime=51.08 /proc/28104/stat : 28104 (wbo1.4b) R 28102 28104 27934 0 -1 4202496 56794 0 0 0 5044 64 0 0 25 0 1 0 86660602 233713664 56628 1992294400 134512640 135752675 4291929248 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28104/statm: 57059 56628 145 303 0 56754 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 228236 [startup+102.308 s] /proc/loadavg: 0.99 0.97 0.85 2/107 28107 /proc/meminfo: memFree=1447864/2059040 swapFree=4136688/4192956 [pid=28104] ppid=28102 vsize=403956 CPUtime=102.28 /proc/28104/stat : 28104 (wbo1.4b) R 28102 28104 27934 0 -1 4202496 100710 0 0 0 10111 117 0 0 25 0 1 0 86660602 413650944 100544 1992294400 134512640 135752675 4291929248 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28104/statm: 100989 100544 145 303 0 100684 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 403956 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.85 2/107 28109 /proc/meminfo: memFree=1273768/2059040 swapFree=4136688/4192956 [pid=28104] ppid=28102 vsize=581252 CPUtime=162.25 /proc/28104/stat : 28104 (wbo1.4b) R 28102 28104 27934 0 -1 4202496 145005 0 0 0 16057 168 0 0 25 0 1 0 86660602 595202048 144839 1992294400 134512640 135752675 4291929248 18446744073709551615 134611679 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28104/statm: 145313 144839 145 303 0 145008 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 581252 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.86 2/107 28109 /proc/meminfo: memFree=1202096/2059040 swapFree=4136688/4192956 [pid=28104] ppid=28102 vsize=648848 CPUtime=222.23 /proc/28104/stat : 28104 (wbo1.4b) R 28102 28104 27934 0 -1 4202496 161987 0 0 0 22005 218 0 0 25 0 1 0 86660602 664420352 161793 1992294400 134512640 135752675 4291929248 18446744073709551615 134637612 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28104/statm: 162212 161793 146 303 0 161907 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 648848 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.86 2/107 28111 /proc/meminfo: memFree=1151504/2059040 swapFree=4136688/4192956 [pid=28104] ppid=28102 vsize=699884 CPUtime=282.21 /proc/28104/stat : 28104 (wbo1.4b) R 28102 28104 27934 0 -1 4202496 174731 0 0 0 27948 273 0 0 25 0 1 0 86660602 716681216 174537 1992294400 134512640 135752675 4291929248 18446744073709551615 134603215 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28104/statm: 174971 174537 146 303 0 174666 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 699884 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.87 2/107 28113 /proc/meminfo: memFree=1085784/2059040 swapFree=4136688/4192956 [pid=28104] ppid=28102 vsize=765256 CPUtime=342.2 /proc/28104/stat : 28104 (wbo1.4b) R 28102 28104 27934 0 -1 4202496 191059 0 0 0 33899 321 0 0 25 0 1 0 86660602 783622144 190865 1992294400 134512640 135752675 4291929248 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28104/statm: 191314 190865 146 303 0 191009 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 765256 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.88 2/107 28115 /proc/meminfo: memFree=1024032/2059040 swapFree=4136688/4192956 [pid=28104] ppid=28102 vsize=828468 CPUtime=402.19 /proc/28104/stat : 28104 (wbo1.4b) R 28102 28104 27934 0 -1 4202496 206872 0 0 0 39846 373 0 0 25 0 1 0 86660602 848351232 206678 1992294400 134512640 135752675 4291929248 18446744073709551615 134518721 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28104/statm: 207117 206678 146 303 0 206812 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 828468 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.88 2/107 28117 /proc/meminfo: memFree=936860/2059040 swapFree=4136688/4192956 [pid=28104] ppid=28102 vsize=913672 CPUtime=462.17 /proc/28104/stat : 28104 (wbo1.4b) R 28102 28104 27934 0 -1 4202496 228171 0 0 0 45796 421 0 0 25 0 1 0 86660602 935600128 227977 1992294400 134512640 135752675 4291929248 18446744073709551615 134639137 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28104/statm: 228418 227977 146 303 0 228113 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 913672 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.89 2/107 28117 /proc/meminfo: memFree=861592/2059040 swapFree=4136688/4192956 [pid=28104] ppid=28102 vsize=989780 CPUtime=522.16 /proc/28104/stat : 28104 (wbo1.4b) R 28102 28104 27934 0 -1 4202496 247177 0 0 0 51739 477 0 0 25 0 1 0 86660602 1013534720 246983 1992294400 134512640 135752675 4291929248 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28104/statm: 247445 246983 146 303 0 247140 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 989780 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.89 2/107 28119 /proc/meminfo: memFree=802940/2059040 swapFree=4136688/4192956 [pid=28104] ppid=28102 vsize=1047436 CPUtime=582.15 /proc/28104/stat : 28104 (wbo1.4b) R 28102 28104 27934 0 -1 4202496 261574 0 0 0 57696 519 0 0 25 0 1 0 86660602 1072574464 261380 1992294400 134512640 135752675 4291929248 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28104/statm: 261859 261380 146 303 0 261554 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 1047436 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.90 2/107 28121 /proc/meminfo: memFree=757184/2059040 swapFree=4136688/4192956 [pid=28104] ppid=28102 vsize=1092976 CPUtime=642.13 /proc/28104/stat : 28104 (wbo1.4b) R 28102 28104 27934 0 -1 4202496 272928 0 0 0 63654 559 0 0 25 0 1 0 86660602 1119207424 272734 1992294400 134512640 135752675 4291929248 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28104/statm: 273244 272734 146 303 0 272939 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 1092976 [startup+702.302 s] /proc/loadavg: 0.99 0.97 0.90 2/107 28123 /proc/meminfo: memFree=691836/2059040 swapFree=4136688/4192956 [pid=28104] ppid=28102 vsize=1158624 CPUtime=702.11 /proc/28104/stat : 28104 (wbo1.4b) R 28102 28104 27934 0 -1 4202496 289404 0 0 0 69603 608 0 0 25 0 1 0 86660602 1186430976 289210 1992294400 134512640 135752675 4291929248 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28104/statm: 289656 289210 146 303 0 289351 0 Current children cumulated CPU time (s) 702.11 Current children cumulated vsize (KiB) 1158624 [startup+762.309 s] /proc/loadavg: 0.99 0.97 0.91 2/107 28125 /proc/meminfo: memFree=614584/2059040 swapFree=4136688/4192956 [pid=28104] ppid=28102 vsize=1235052 CPUtime=762.1 /proc/28104/stat : 28104 (wbo1.4b) R 28102 28104 27934 0 -1 4202496 308491 0 0 0 75555 655 0 0 25 0 1 0 86660602 1264693248 308297 1992294400 134512640 135752675 4291929248 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28104/statm: 308763 308297 146 303 0 308458 0 Current children cumulated CPU time (s) 762.1 Current children cumulated vsize (KiB) 1235052 [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 28125 /proc/meminfo: memFree=553948/2059040 swapFree=4136688/4192956 [pid=28104] ppid=28102 vsize=1296136 CPUtime=822.08 /proc/28104/stat : 28104 (wbo1.4b) R 28102 28104 27934 0 -1 4202496 323723 0 0 0 81509 699 0 0 25 0 1 0 86660602 1327243264 323529 1992294400 134512640 135752675 4291929248 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28104/statm: 324034 323529 146 303 0 323729 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 1296136 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 28127 /proc/meminfo: memFree=486616/2059040 swapFree=4136688/4192956 [pid=28104] ppid=28102 vsize=1363020 CPUtime=882.06 /proc/28104/stat : 28104 (wbo1.4b) R 28102 28104 27934 0 -1 4202496 340421 0 0 0 87461 745 0 0 25 0 1 0 86660602 1395732480 340227 1992294400 134512640 135752675 4291929248 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28104/statm: 340755 340227 146 303 0 340450 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 1363020 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 28129 /proc/meminfo: memFree=416432/2059040 swapFree=4136688/4192956 [pid=28104] ppid=28102 vsize=1434168 CPUtime=942.05 /proc/28104/stat : 28104 (wbo1.4b) R 28102 28104 27934 0 -1 4202496 358215 0 0 0 93416 789 0 0 25 0 1 0 86660602 1468588032 358021 1992294400 134512640 135752675 4291929248 18446744073709551615 134606989 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28104/statm: 358542 358021 146 303 0 358237 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 1434168 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 28131 /proc/meminfo: memFree=333724/2059040 swapFree=4136688/4192956 [pid=28104] ppid=28102 vsize=1515636 CPUtime=1002.03 /proc/28104/stat : 28104 (wbo1.4b) R 28102 28104 27934 0 -1 4202496 378578 0 0 0 99370 833 0 0 25 0 1 0 86660602 1552011264 378384 1992294400 134512640 135752675 4291929248 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28104/statm: 378909 378384 146 303 0 378604 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 1515636 [startup+1062.3 s] /proc/loadavg: 1.06 0.99 0.91 2/107 28136 /proc/meminfo: memFree=220372/2059040 swapFree=4136688/4192956 [pid=28104] ppid=28102 vsize=1580312 CPUtime=1062.01 /proc/28104/stat : 28104 (wbo1.4b) R 28102 28104 27934 0 -1 4202496 394735 0 0 0 105328 873 0 0 25 0 1 0 86660602 1618239488 394541 1992294400 134512640 135752675 4291929248 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28104/statm: 395078 394541 146 303 0 394773 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 1580312 [startup+1122.3 s] /proc/loadavg: 1.02 0.99 0.91 2/107 28136 /proc/meminfo: memFree=154404/2059040 swapFree=4136688/4192956 [pid=28104] ppid=28102 vsize=1646348 CPUtime=1122 /proc/28104/stat : 28104 (wbo1.4b) R 28102 28104 27934 0 -1 4202496 411191 0 0 0 111284 916 0 0 25 0 1 0 86660602 1685860352 410997 1992294400 134512640 135752675 4291929248 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28104/statm: 411587 410997 146 303 0 411282 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 1646348 [startup+1182.3 s] /proc/loadavg: 1.01 0.99 0.91 2/107 28138 /proc/meminfo: memFree=89924/2059040 swapFree=4136688/4192956 [pid=28104] ppid=28102 vsize=1711328 CPUtime=1181.98 /proc/28104/stat : 28104 (wbo1.4b) R 28102 28104 27934 0 -1 4202496 427452 0 0 0 117241 957 0 0 25 0 1 0 86660602 1752399872 427258 1992294400 134512640 135752675 4291929248 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28104/statm: 427832 427258 146 303 0 427527 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 1711328 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 28140 /proc/meminfo: memFree=35364/2059040 swapFree=4136688/4192956 [pid=28104] ppid=28102 vsize=1764804 CPUtime=1241.97 /proc/28104/stat : 28104 (wbo1.4b) R 28102 28104 27934 0 -1 4202496 440809 0 0 0 123204 993 0 0 25 0 1 0 86660602 1807159296 440615 1992294400 134512640 135752675 4291929248 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28104/statm: 441201 440615 146 303 0 440896 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 1764804 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 28142 /proc/meminfo: memFree=10216/2059040 swapFree=4136688/4192956 [pid=28104] ppid=28102 vsize=1822632 CPUtime=1301.96 /proc/28104/stat : 28104 (wbo1.4b) R 28102 28104 27934 0 -1 4202496 455256 0 0 0 129163 1033 0 0 25 0 1 0 86660602 1866375168 455062 1992294400 134512640 135752675 4291929248 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28104/statm: 455658 455062 146 303 0 455353 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1822632 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1328.81 s] /proc/loadavg: 1.00 0.99 0.91 2/107 28142 /proc/meminfo: memFree=10472/2059040 swapFree=4136688/4192956 [pid=28104] ppid=28102 vsize=1843236 CPUtime=1328.46 /proc/28104/stat : 28104 (wbo1.4b) R 28102 28104 27934 0 -1 4202496 460391 0 0 0 131798 1048 0 0 25 0 1 0 86660602 1887473664 460197 1992294400 134512640 135752675 4291929248 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28104/statm: 460809 460197 146 303 0 460504 0 Current children cumulated CPU time (s) 1328.46 Current children cumulated vsize (KiB) 1843236 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1328.91 s] /proc/loadavg: 1.00 0.99 0.91 2/107 28142 /proc/meminfo: memFree=10472/2059040 swapFree=4136688/4192956 [pid=28104] ppid=28102 vsize=0 CPUtime=1328.55 /proc/28104/stat : 28104 (wbo1.4b) R 28102 28104 27934 0 -1 4203524 460391 0 0 0 131798 1057 0 0 25 0 1 0 86660602 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/28104/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1328.55 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1328.99 CPU time (s): 1328.65 CPU user time (s): 1317.99 CPU system time (s): 10.6594 CPU usage (%): 99.9741 Max. virtual memory (cumulated for all children) (KiB): 1843236 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1317.99 system time used= 10.6594 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460391 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= 39 involuntary context switches= 4161 runsolver used 2.38064 second user time and 6.12807 second system time The end
Begin job on node047 at 2010-06-25 10:14:46 IDJOB=2680822 IDBENCH=2146 IDSOLVER=1190 FILE ID=node047/2680822-1277453686 PBS_JOBID= 11188121 Free space on /tmp= 62484 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32e4.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680822-1277453686/watcher-2680822-1277453686 -o /tmp/evaluation-result-2680822-1277453686/solver-2680822-1277453686 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680822-1277453686.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 898f4661a42594ef028c1f962398614b RANDOM SEED=779982984 node047.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1851276 kB Buffers: 42540 kB Cached: 66224 kB SwapCached: 9176 kB Active: 22176 kB Inactive: 99616 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1851276 kB SwapTotal: 4192956 kB SwapFree: 4136688 kB Dirty: 3000 kB Writeback: 0 kB AnonPages: 11596 kB Mapped: 8388 kB Slab: 64000 kB PageTables: 4232 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181380 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= 62480 MiB End job on node047 at 2010-06-25 10:36:57