Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 826.673 | 826.992 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8e1.opb |
MD5SUM | 9711add7b63200e6cedabbc5764a3737 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 343 |
Best CPU time to get the best result obtained on this benchmark | 28.5187 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 343 |
Optimality of the best value was proved | NO |
Number of variables | 1040 |
Total number of constraints | 3656 |
Number of constraints which are clauses | 3656 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 10 |
Number of terms in the objective function | 1040 |
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 | 1040 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1040 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680663-1277453552.opb. 0.00/0.00 c Instance file HOME/instance-2680663-1277453552.opb 0.00/0.00 c File size is 100790 bytes. 0.00/0.01 c Highest Coefficient sum: 11 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 1040 | 0.00/0.01 c | Number Clauses: 3656 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 0 | 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 1040 3656 8440 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 467 0.00/0.04 o 467 0.00/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 11 | 1040 3657 9480 | 5000 11 9 | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 463 0.00/0.04 o 463 0.00/0.04 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 11 | 1040 3658 10520 | 5000 11 9 | 0.000 % | 0.04/0.05 c | 114 | 1040 3658 10520 | 5500 114 399 | 0.000 % | 0.04/0.05 c =============================================================================== 0.04/0.05 c New solution: 445 0.04/0.05 o 445 0.04/0.05 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s 0.04/0.05 c =============================================================================== 0.04/0.05 c | 116 | 1040 3659 11560 | 5000 116 392 | 0.000 % | 0.04/0.06 c =============================================================================== 0.04/0.06 c New solution: 433 0.04/0.06 o 433 0.04/0.06 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s 0.04/0.06 c =============================================================================== 0.04/0.06 c | 119 | 1040 3660 12600 | 5000 119 383 | 0.000 % | 0.04/0.06 c =============================================================================== 0.04/0.06 c New solution: 417 0.04/0.06 o 417 0.04/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s 0.04/0.06 c =============================================================================== 0.04/0.06 c | 119 | 1040 3661 13640 | 5000 119 383 | 0.000 % | 0.04/0.08 c | 220 | 1040 3661 13640 | 5500 220 387 | 0.000 % | 0.09/0.10 c | 371 | 1040 3661 13640 | 6050 371 397 | 0.002 % | 0.09/0.14 c | 597 | 1040 3661 13640 | 6655 597 401 | 0.002 % | 0.19/0.21 c | 934 | 1040 3661 13640 | 7320 934 408 | 0.002 % | 0.29/0.30 c | 1440 | 1040 3661 13640 | 8052 1440 411 | 0.002 % | 0.39/0.44 c | 2199 | 1040 3661 13640 | 8857 2199 416 | 0.003 % | 0.59/0.67 c | 3338 | 1040 3661 13640 | 9743 3338 420 | 0.000 % | 0.99/1.01 c | 5047 | 1040 3661 13640 | 10717 5047 423 | 0.002 % | 1.49/1.54 c | 7609 | 1040 3661 13640 | 11789 7609 422 | 0.004 % | 2.29/2.37 c | 11453 | 1040 3661 13640 | 12968 11453 423 | 0.004 % | 3.89/3.99 c | 17219 | 1040 3661 13640 | 14265 10269 426 | 0.002 % | 5.89/5.94 c | 25868 | 1040 3661 13640 | 15692 11378 426 | 0.000 % | 9.48/9.58 c | 38843 | 1040 3661 13640 | 17261 16065 427 | 0.003 % | 14.68/14.75 c | 58305 | 1040 3661 13640 | 18987 17368 422 | 0.004 % | 23.68/23.70 c | 87498 | 1040 3661 13640 | 20886 16658 429 | 0.005 % | 44.47/44.54 c | 131287 | 1040 3661 13640 | 22974 15740 431 | 0.000 % | 68.06/68.18 c | 196971 | 1040 3661 13640 | 25272 15926 431 | 0.000 % | 110.75/110.89 c | 295497 | 1040 3661 13640 | 27799 24251 438 | 0.000 % | 179.32/179.41 c | 443287 | 1040 3661 13640 | 30579 12785 430 | 0.006 % | 182.12/182.29 c There are 0 assigned variables. 0 in cost function. 183.12/183.29 c core #1 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 1 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #2 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 2 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #3 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 3 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #4 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 4 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #5 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 5 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #6 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 6 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #7 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 7 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #8 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 8 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #9 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 9 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #10 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 10 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #11 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 11 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #12 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 12 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #13 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 13 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #14 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 14 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #15 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 15 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #16 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 16 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #17 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 17 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #18 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 18 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #19 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 19 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #20 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 20 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #21 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 21 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #22 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 22 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #23 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 23 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #24 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 24 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #25 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 25 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #26 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 26 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #27 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 27 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #28 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 28 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #29 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 29 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #30 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 30 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #31 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 31 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #32 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 32 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #33 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 33 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #34 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 34 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #35 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 35 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #36 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 36 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #37 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 37 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #38 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 38 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #39 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 39 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #40 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 40 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #41 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 41 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #42 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 42 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #43 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 43 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #44 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 44 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #45 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 45 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #46 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 46 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #47 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 47 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #48 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 48 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #49 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 49 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #50 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 50 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #51 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 51 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #52 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 52 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #53 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 53 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #54 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 54 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #55 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 55 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #56 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 56 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #57 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 57 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #58 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 58 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #59 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 59 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #60 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 60 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c core #61 183.12/183.29 c 183.12/183.29 c 183.12/183.29 c Core size: 3 Core Weight: 1 Total Weight: 61 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #62 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 3 Core Weight: 1 Total Weight: 62 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #63 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 3 Core Weight: 1 Total Weight: 63 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #64 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 3 Core Weight: 1 Total Weight: 64 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #65 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 3 Core Weight: 1 Total Weight: 65 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #66 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 3 Core Weight: 1 Total Weight: 66 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #67 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 3 Core Weight: 1 Total Weight: 67 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #68 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 3 Core Weight: 1 Total Weight: 68 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #69 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 3 Core Weight: 1 Total Weight: 69 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #70 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 3 Core Weight: 1 Total Weight: 70 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #71 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 3 Core Weight: 1 Total Weight: 71 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #72 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 3 Core Weight: 1 Total Weight: 72 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #73 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 3 Core Weight: 1 Total Weight: 73 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #74 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 3 Core Weight: 1 Total Weight: 74 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #75 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 3 Core Weight: 1 Total Weight: 75 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #76 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 3 Core Weight: 1 Total Weight: 76 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #77 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 3 Core Weight: 1 Total Weight: 77 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #78 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 3 Core Weight: 1 Total Weight: 78 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #79 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 3 Core Weight: 1 Total Weight: 79 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #80 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 3 Core Weight: 1 Total Weight: 80 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #81 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 9 Core Weight: 1 Total Weight: 81 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #82 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 9 Core Weight: 1 Total Weight: 82 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #83 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 9 Core Weight: 1 Total Weight: 83 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #84 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 9 Core Weight: 1 Total Weight: 84 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #85 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 9 Core Weight: 1 Total Weight: 85 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #86 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 9 Core Weight: 1 Total Weight: 86 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #87 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 9 Core Weight: 1 Total Weight: 87 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #88 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 9 Core Weight: 1 Total Weight: 88 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #89 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 9 Core Weight: 1 Total Weight: 89 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #90 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 9 Core Weight: 1 Total Weight: 90 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #91 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 11 Core Weight: 1 Total Weight: 91 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #92 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 11 Core Weight: 1 Total Weight: 92 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #93 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 11 Core Weight: 1 Total Weight: 93 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #94 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 11 Core Weight: 1 Total Weight: 94 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #95 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 11 Core Weight: 1 Total Weight: 95 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #96 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 11 Core Weight: 1 Total Weight: 96 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #97 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 11 Core Weight: 1 Total Weight: 97 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #98 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 11 Core Weight: 1 Total Weight: 98 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #99 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 11 Core Weight: 1 Total Weight: 99 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #100 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 11 Core Weight: 1 Total Weight: 100 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #101 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 11 Core Weight: 1 Total Weight: 101 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #102 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 11 Core Weight: 1 Total Weight: 102 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #103 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 11 Core Weight: 1 Total Weight: 103 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #104 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 11 Core Weight: 1 Total Weight: 104 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #105 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 11 Core Weight: 1 Total Weight: 105 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #106 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 11 Core Weight: 1 Total Weight: 106 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #107 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 11 Core Weight: 1 Total Weight: 107 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #108 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 11 Core Weight: 1 Total Weight: 108 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #109 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 11 Core Weight: 1 Total Weight: 109 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #110 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 11 Core Weight: 1 Total Weight: 110 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #111 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 11 Core Weight: 1 Total Weight: 111 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #112 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 11 Core Weight: 1 Total Weight: 112 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #113 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 11 Core Weight: 1 Total Weight: 113 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #114 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 11 Core Weight: 1 Total Weight: 114 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #115 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 11 Core Weight: 1 Total Weight: 115 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #116 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 11 Core Weight: 1 Total Weight: 116 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #117 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 11 Core Weight: 1 Total Weight: 117 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #118 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 11 Core Weight: 1 Total Weight: 118 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #119 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 11 Core Weight: 1 Total Weight: 119 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c core #120 183.63/183.71 c 183.63/183.71 c 183.63/183.71 c Core size: 11 Core Weight: 1 Total Weight: 120 184.12/184.24 c 184.12/184.24 c 184.12/184.24 c core #121 184.12/184.24 c 184.12/184.24 c 184.12/184.24 c Core size: 11 Core Weight: 1 Total Weight: 121 184.12/184.24 c 184.12/184.24 c 184.12/184.24 c core #122 184.12/184.24 c 184.12/184.24 c 184.12/184.24 c Core size: 11 Core Weight: 1 Total Weight: 122 184.12/184.24 c 184.12/184.24 c 184.12/184.24 c core #123 184.12/184.24 c 184.12/184.24 c 184.12/184.24 c Core size: 11 Core Weight: 1 Total Weight: 123 184.12/184.24 c 184.12/184.24 c 184.12/184.24 c core #124 184.12/184.24 c 184.12/184.24 c 184.12/184.24 c Core size: 11 Core Weight: 1 Total Weight: 124 184.12/184.24 c 184.12/184.24 c 184.12/184.24 c core #125 184.12/184.24 c 184.12/184.24 c 184.12/184.24 c Core size: 11 Core Weight: 1 Total Weight: 125 184.12/184.24 c 184.12/184.24 c 184.12/184.24 c core #126 184.12/184.24 c 184.12/184.24 c 184.12/184.24 c Core size: 11 Core Weight: 1 Total Weight: 126 184.12/184.24 c 184.12/184.24 c 184.12/184.24 c core #127 184.12/184.24 c 184.12/184.24 c 184.12/184.24 c Core size: 17 Core Weight: 1 Total Weight: 127 184.12/184.24 c 184.12/184.24 c 184.12/184.24 c core #128 184.12/184.24 c 184.12/184.24 c 184.12/184.24 c Core size: 16 Core Weight: 1 Total Weight: 128 184.12/184.24 c 184.12/184.24 c 184.12/184.24 c core #129 184.12/184.24 c 184.12/184.24 c 184.12/184.24 c Core size: 20 Core Weight: 1 Total Weight: 129 184.12/184.24 c 184.12/184.24 c 184.12/184.24 c core #130 184.12/184.24 c 184.12/184.24 c 184.12/184.24 c Core size: 21 Core Weight: 1 Total Weight: 130 184.12/184.24 c 184.12/184.24 c 184.12/184.24 c core #131 184.12/184.24 c 184.12/184.24 c 184.12/184.24 c Core size: 21 Core Weight: 1 Total Weight: 131 184.12/184.24 c 184.12/184.24 c 184.12/184.24 c core #132 184.12/184.24 c 184.12/184.24 c 184.12/184.24 c Core size: 21 Core Weight: 1 Total Weight: 132 184.12/184.24 c 184.12/184.24 c 184.12/184.24 c core #133 184.12/184.24 c 184.12/184.24 c 184.12/184.24 c Core size: 22 Core Weight: 1 Total Weight: 133 184.12/184.24 c 184.12/184.24 c 184.12/184.24 c core #134 184.12/184.24 c 184.12/184.24 c 184.12/184.24 c Core size: 21 Core Weight: 1 Total Weight: 134 184.12/184.24 c 184.12/184.24 c 184.12/184.24 c core #135 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 21 Core Weight: 1 Total Weight: 135 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #136 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 17 Core Weight: 1 Total Weight: 136 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #137 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 16 Core Weight: 1 Total Weight: 137 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #138 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 20 Core Weight: 1 Total Weight: 138 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #139 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 21 Core Weight: 1 Total Weight: 139 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #140 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 21 Core Weight: 1 Total Weight: 140 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #141 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 21 Core Weight: 1 Total Weight: 141 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #142 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 22 Core Weight: 1 Total Weight: 142 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #143 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 21 Core Weight: 1 Total Weight: 143 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #144 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 21 Core Weight: 1 Total Weight: 144 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #145 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 17 Core Weight: 1 Total Weight: 145 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #146 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 16 Core Weight: 1 Total Weight: 146 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #147 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 20 Core Weight: 1 Total Weight: 147 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #148 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 21 Core Weight: 1 Total Weight: 148 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #149 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 21 Core Weight: 1 Total Weight: 149 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #150 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 21 Core Weight: 1 Total Weight: 150 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #151 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 22 Core Weight: 1 Total Weight: 151 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #152 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 21 Core Weight: 1 Total Weight: 152 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #153 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 21 Core Weight: 1 Total Weight: 153 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #154 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 17 Core Weight: 1 Total Weight: 154 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #155 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 16 Core Weight: 1 Total Weight: 155 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #156 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 20 Core Weight: 1 Total Weight: 156 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #157 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 21 Core Weight: 1 Total Weight: 157 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #158 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 21 Core Weight: 1 Total Weight: 158 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #159 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 21 Core Weight: 1 Total Weight: 159 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #160 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 22 Core Weight: 1 Total Weight: 160 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #161 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 21 Core Weight: 1 Total Weight: 161 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #162 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 21 Core Weight: 1 Total Weight: 162 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #163 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 17 Core Weight: 1 Total Weight: 163 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #164 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 16 Core Weight: 1 Total Weight: 164 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #165 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 20 Core Weight: 1 Total Weight: 165 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #166 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 21 Core Weight: 1 Total Weight: 166 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #167 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 21 Core Weight: 1 Total Weight: 167 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #168 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 21 Core Weight: 1 Total Weight: 168 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #169 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 22 Core Weight: 1 Total Weight: 169 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #170 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 21 Core Weight: 1 Total Weight: 170 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #171 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 21 Core Weight: 1 Total Weight: 171 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #172 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 17 Core Weight: 1 Total Weight: 172 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #173 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 16 Core Weight: 1 Total Weight: 173 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #174 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 20 Core Weight: 1 Total Weight: 174 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #175 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 21 Core Weight: 1 Total Weight: 175 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #176 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 21 Core Weight: 1 Total Weight: 176 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #177 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 21 Core Weight: 1 Total Weight: 177 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c core #178 184.12/184.25 c 184.12/184.25 c 184.12/184.25 c Core size: 22 Core Weight: 1 Total Weight: 178 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c core #179 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c Core size: 21 Core Weight: 1 Total Weight: 179 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c core #180 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c Core size: 21 Core Weight: 1 Total Weight: 180 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c core #181 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c Core size: 17 Core Weight: 1 Total Weight: 181 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c core #182 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c Core size: 16 Core Weight: 1 Total Weight: 182 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c core #183 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c Core size: 20 Core Weight: 1 Total Weight: 183 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c core #184 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c Core size: 21 Core Weight: 1 Total Weight: 184 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c core #185 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c Core size: 21 Core Weight: 1 Total Weight: 185 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c core #186 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c Core size: 21 Core Weight: 1 Total Weight: 186 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c core #187 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c Core size: 22 Core Weight: 1 Total Weight: 187 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c core #188 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c Core size: 21 Core Weight: 1 Total Weight: 188 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c core #189 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c Core size: 21 Core Weight: 1 Total Weight: 189 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c core #190 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c Core size: 17 Core Weight: 1 Total Weight: 190 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c core #191 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c Core size: 16 Core Weight: 1 Total Weight: 191 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c core #192 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c Core size: 20 Core Weight: 1 Total Weight: 192 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c core #193 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c Core size: 21 Core Weight: 1 Total Weight: 193 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c core #194 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c Core size: 21 Core Weight: 1 Total Weight: 194 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c core #195 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c Core size: 21 Core Weight: 1 Total Weight: 195 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c core #196 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c Core size: 22 Core Weight: 1 Total Weight: 196 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c core #197 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c Core size: 21 Core Weight: 1 Total Weight: 197 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c core #198 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c Core size: 21 Core Weight: 1 Total Weight: 198 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c core #199 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c Core size: 17 Core Weight: 1 Total Weight: 199 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c core #200 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c Core size: 16 Core Weight: 1 Total Weight: 200 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c core #201 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c Core size: 20 Core Weight: 1 Total Weight: 201 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c core #202 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c Core size: 21 Core Weight: 1 Total Weight: 202 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c core #203 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c Core size: 21 Core Weight: 1 Total Weight: 203 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c core #204 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c Core size: 21 Core Weight: 1 Total Weight: 204 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c core #205 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c Core size: 22 Core Weight: 1 Total Weight: 205 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c core #206 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c Core size: 21 Core Weight: 1 Total Weight: 206 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c core #207 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c Core size: 21 Core Weight: 1 Total Weight: 207 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c core #208 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c Core size: 17 Core Weight: 1 Total Weight: 208 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c core #209 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c Core size: 16 Core Weight: 1 Total Weight: 209 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c core #210 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c Core size: 20 Core Weight: 1 Total Weight: 210 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c core #211 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c Core size: 21 Core Weight: 1 Total Weight: 211 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c core #212 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c Core size: 21 Core Weight: 1 Total Weight: 212 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c core #213 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c Core size: 21 Core Weight: 1 Total Weight: 213 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c core #214 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c Core size: 22 Core Weight: 1 Total Weight: 214 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c core #215 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c Core size: 21 Core Weight: 1 Total Weight: 215 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c core #216 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c Core size: 21 Core Weight: 1 Total Weight: 216 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c core #217 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c Core size: 201 Core Weight: 1 Total Weight: 217 184.52/184.68 c 184.52/184.68 c 184.52/184.68 c ============================[ Search Statistics ]============================== 184.52/184.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.52/184.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.52/184.68 c =============================================================================== 184.52/184.68 c | 0 | 2060 4921 16716 | 5000 0 nan | 0.000 % | 184.52/184.68 c =============================================================================== 184.52/184.69 c core #218 184.52/184.69 c 184.52/184.69 c 184.52/184.69 c Core size: 10 Core Weight: 1 Total Weight: 218 184.52/184.69 c 184.52/184.69 c 184.52/184.69 c ============================[ Search Statistics ]============================== 184.52/184.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.52/184.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.52/184.69 c =============================================================================== 184.52/184.69 c | 0 | 2066 4922 16728 | 5000 0 nan | 0.000 % | 184.63/184.70 c =============================================================================== 184.63/184.71 c core #219 184.63/184.71 c 184.63/184.71 c 184.63/184.71 c Core size: 29 Core Weight: 1 Total Weight: 219 184.63/184.71 c 184.63/184.71 c 184.63/184.71 c ============================[ Search Statistics ]============================== 184.63/184.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.63/184.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.63/184.71 c =============================================================================== 184.63/184.71 c | 0 | 2077 4923 16750 | 5000 0 nan | 0.000 % | 184.63/184.71 c =============================================================================== 184.63/184.73 c core #220 184.63/184.73 c 184.63/184.73 c 184.63/184.73 c Core size: 10 Core Weight: 1 Total Weight: 220 184.63/184.73 c 184.63/184.73 c 184.63/184.73 c ============================[ Search Statistics ]============================== 184.63/184.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.63/184.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.63/184.73 c =============================================================================== 184.63/184.73 c | 0 | 2083 4924 16762 | 5000 0 nan | 0.000 % | 184.63/184.73 c =============================================================================== 184.63/184.74 c core #221 184.63/184.74 c 184.63/184.74 c 184.63/184.74 c Core size: 27 Core Weight: 1 Total Weight: 221 184.63/184.74 c 184.63/184.74 c 184.63/184.74 c ============================[ Search Statistics ]============================== 184.63/184.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.63/184.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.63/184.74 c =============================================================================== 184.63/184.74 c | 0 | 2093 4925 16782 | 5000 0 nan | 0.000 % | 184.63/184.74 c =============================================================================== 184.63/184.76 c core #222 184.63/184.76 c 184.63/184.76 c 184.63/184.76 c Core size: 10 Core Weight: 1 Total Weight: 222 184.63/184.76 c 184.63/184.76 c 184.63/184.76 c ============================[ Search Statistics ]============================== 184.63/184.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.63/184.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.63/184.76 c =============================================================================== 184.63/184.76 c | 0 | 2099 4926 16794 | 5000 0 nan | 0.000 % | 184.63/184.76 c =============================================================================== 184.63/184.77 c core #223 184.63/184.77 c 184.63/184.77 c 184.63/184.77 c Core size: 12 Core Weight: 1 Total Weight: 223 184.63/184.77 c 184.63/184.77 c 184.63/184.77 c ============================[ Search Statistics ]============================== 184.63/184.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.63/184.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.63/184.77 c =============================================================================== 184.63/184.77 c | 0 | 2106 4927 16808 | 5000 0 nan | 0.000 % | 184.63/184.78 c =============================================================================== 184.63/184.79 c core #224 184.63/184.79 c 184.63/184.79 c 184.63/184.79 c Core size: 28 Core Weight: 1 Total Weight: 224 184.63/184.79 c 184.63/184.79 c 184.63/184.79 c ============================[ Search Statistics ]============================== 184.63/184.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.63/184.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.63/184.79 c =============================================================================== 184.63/184.79 c | 0 | 2129 4928 16854 | 5000 0 nan | 0.000 % | 184.63/184.80 c =============================================================================== 184.72/184.81 c core #225 184.72/184.81 c 184.72/184.81 c 184.72/184.81 c Core size: 15 Core Weight: 1 Total Weight: 225 184.72/184.81 c 184.72/184.81 c 184.72/184.81 c ============================[ Search Statistics ]============================== 184.72/184.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.72/184.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.72/184.81 c =============================================================================== 184.72/184.81 c | 0 | 2140 4929 16876 | 5000 0 nan | 0.000 % | 184.72/184.81 c =============================================================================== 184.72/184.83 c core #226 184.72/184.83 c 184.72/184.83 c 184.72/184.83 c Core size: 35 Core Weight: 1 Total Weight: 226 184.72/184.83 c 184.72/184.83 c 184.72/184.83 c ============================[ Search Statistics ]============================== 184.72/184.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.72/184.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.72/184.83 c =============================================================================== 184.72/184.83 c | 0 | 2167 4930 16930 | 5000 0 nan | 0.000 % | 184.72/184.84 c =============================================================================== 184.72/184.85 c core #227 184.72/184.85 c 184.72/184.85 c 184.72/184.85 c Core size: 15 Core Weight: 1 Total Weight: 227 184.72/184.85 c 184.72/184.85 c 184.72/184.85 c ============================[ Search Statistics ]============================== 184.72/184.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.72/184.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.72/184.85 c =============================================================================== 184.72/184.85 c | 0 | 2178 4932 16955 | 5000 0 nan | 0.000 % | 184.72/184.86 c =============================================================================== 184.72/184.87 c core #228 184.72/184.87 c 184.72/184.87 c 184.72/184.87 c Core size: 13 Core Weight: 1 Total Weight: 228 184.72/184.87 c 184.72/184.87 c 184.72/184.87 c ============================[ Search Statistics ]============================== 184.72/184.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.72/184.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.72/184.87 c =============================================================================== 184.72/184.87 c | 0 | 2187 4933 16973 | 5000 0 nan | 0.000 % | 184.72/184.88 c | 100 | 2187 4933 16973 | 5500 100 13 | 0.546 % | 184.72/184.88 c =============================================================================== 184.72/184.89 c core #229 184.72/184.89 c 184.72/184.89 c 184.72/184.89 c Core size: 63 Core Weight: 1 Total Weight: 229 184.72/184.89 c 184.72/184.89 c 184.72/184.89 c ============================[ Search Statistics ]============================== 184.72/184.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.72/184.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.72/184.89 c =============================================================================== 184.72/184.89 c | 0 | 2232 4934 17063 | 5000 0 nan | 0.000 % | 184.82/184.90 c =============================================================================== 184.82/184.91 c core #230 184.82/184.91 c 184.82/184.91 c 184.82/184.91 c Core size: 35 Core Weight: 1 Total Weight: 230 184.82/184.91 c 184.82/184.91 c 184.82/184.91 c ============================[ Search Statistics ]============================== 184.82/184.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.82/184.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.82/184.91 c =============================================================================== 184.82/184.91 c | 0 | 2244 4935 17087 | 5000 0 nan | 0.000 % | 184.82/184.92 c | 100 | 2244 4935 17087 | 5500 100 23 | 0.444 % | 184.82/184.92 c =============================================================================== 184.82/184.94 c core #231 184.82/184.94 c 184.82/184.94 c 184.82/184.94 c Core size: 12 Core Weight: 1 Total Weight: 231 184.82/184.94 c 184.82/184.94 c 184.82/184.94 c ============================[ Search Statistics ]============================== 184.82/184.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.82/184.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.82/184.94 c =============================================================================== 184.82/184.94 c | 0 | 2251 4936 17101 | 5000 0 nan | 0.000 % | 184.82/184.94 c =============================================================================== 184.82/184.95 c core #232 184.82/184.95 c 184.82/184.95 c 184.82/184.95 c Core size: 12 Core Weight: 1 Total Weight: 232 184.82/184.95 c 184.82/184.95 c 184.82/184.95 c ============================[ Search Statistics ]============================== 184.82/184.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.82/184.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.82/184.95 c =============================================================================== 184.82/184.95 c | 0 | 2258 4937 17115 | 5000 0 nan | 0.000 % | 184.82/184.96 c =============================================================================== 184.82/184.97 c core #233 184.82/184.97 c 184.82/184.97 c 184.82/184.97 c Core size: 19 Core Weight: 1 Total Weight: 233 184.82/184.97 c 184.82/184.97 c 184.82/184.97 c ============================[ Search Statistics ]============================== 184.82/184.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.82/184.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.82/184.97 c =============================================================================== 184.82/184.97 c | 0 | 2272 4938 17143 | 5000 0 nan | 0.000 % | 184.82/184.98 c =============================================================================== 184.82/184.99 c core #234 184.82/184.99 c 184.82/184.99 c 184.82/184.99 c Core size: 35 Core Weight: 1 Total Weight: 234 184.82/184.99 c 184.82/184.99 c 184.82/184.99 c ============================[ Search Statistics ]============================== 184.82/184.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.82/184.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.82/184.99 c =============================================================================== 184.82/184.99 c | 0 | 2289 4939 17177 | 5000 0 nan | 0.000 % | 184.82/184.99 c =============================================================================== 184.92/185.01 c core #235 184.92/185.01 c 184.92/185.01 c 184.92/185.01 c Core size: 19 Core Weight: 1 Total Weight: 235 184.92/185.01 c 184.92/185.01 c 184.92/185.01 c ============================[ Search Statistics ]============================== 184.92/185.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.92/185.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.92/185.01 c =============================================================================== 184.92/185.01 c | 0 | 2303 4940 17205 | 5000 0 nan | 0.000 % | 184.92/185.01 c =============================================================================== 184.92/185.03 c core #236 184.92/185.03 c 184.92/185.03 c 184.92/185.03 c Core size: 12 Core Weight: 1 Total Weight: 236 184.92/185.03 c 184.92/185.03 c 184.92/185.03 c ============================[ Search Statistics ]============================== 184.92/185.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.92/185.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.92/185.03 c =============================================================================== 184.92/185.03 c | 0 | 2310 4941 17219 | 5000 0 nan | 0.000 % | 184.92/185.03 c =============================================================================== 184.92/185.04 c core #237 184.92/185.04 c 184.92/185.04 c 184.92/185.04 c Core size: 31 Core Weight: 1 Total Weight: 237 184.92/185.04 c 184.92/185.04 c 184.92/185.04 c ============================[ Search Statistics ]============================== 184.92/185.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.92/185.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.92/185.04 c =============================================================================== 184.92/185.04 c | 0 | 2323 4942 17245 | 5000 0 nan | 0.000 % | 184.92/185.05 c =============================================================================== 184.92/185.06 c core #238 184.92/185.06 c 184.92/185.06 c 184.92/185.06 c Core size: 13 Core Weight: 1 Total Weight: 238 184.92/185.06 c 184.92/185.06 c 184.92/185.06 c ============================[ Search Statistics ]============================== 184.92/185.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.92/185.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.92/185.06 c =============================================================================== 184.92/185.06 c | 0 | 2333 4943 17265 | 5000 0 nan | 0.000 % | 184.92/185.07 c =============================================================================== 184.92/185.08 c core #239 184.92/185.08 c 184.92/185.08 c 184.92/185.08 c Core size: 26 Core Weight: 1 Total Weight: 239 184.92/185.08 c 184.92/185.08 c 184.92/185.08 c ============================[ Search Statistics ]============================== 184.92/185.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.92/185.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.92/185.08 c =============================================================================== 184.92/185.08 c | 0 | 2349 4944 17297 | 5000 0 nan | 0.000 % | 184.92/185.09 c =============================================================================== 185.01/185.10 c core #240 185.01/185.10 c 185.01/185.10 c 185.01/185.10 c Core size: 24 Core Weight: 1 Total Weight: 240 185.01/185.10 c 185.01/185.10 c 185.01/185.10 c ============================[ Search Statistics ]============================== 185.01/185.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.01/185.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.01/185.10 c =============================================================================== 185.01/185.10 c | 0 | 2363 4945 17325 | 5000 0 nan | 0.000 % | 185.01/185.10 c =============================================================================== 185.01/185.12 c core #241 185.01/185.12 c 185.01/185.12 c 185.01/185.12 c Core size: 24 Core Weight: 1 Total Weight: 241 185.01/185.12 c 185.01/185.12 c 185.01/185.12 c ============================[ Search Statistics ]============================== 185.01/185.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.01/185.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.01/185.12 c =============================================================================== 185.01/185.12 c | 0 | 2376 4946 17351 | 5000 0 nan | 0.000 % | 185.01/185.12 c =============================================================================== 185.01/185.14 c core #242 185.01/185.14 c 185.01/185.14 c 185.01/185.14 c Core size: 14 Core Weight: 1 Total Weight: 242 185.01/185.14 c 185.01/185.14 c 185.01/185.14 c ============================[ Search Statistics ]============================== 185.01/185.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.01/185.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.01/185.14 c =============================================================================== 185.01/185.14 c | 0 | 2384 4947 17367 | 5000 0 nan | 0.000 % | 185.01/185.14 c =============================================================================== 185.01/185.16 c core #243 185.01/185.16 c 185.01/185.16 c 185.01/185.16 c Core size: 14 Core Weight: 1 Total Weight: 243 185.01/185.16 c 185.01/185.16 c 185.01/185.16 c ============================[ Search Statistics ]============================== 185.01/185.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.01/185.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.01/185.16 c =============================================================================== 185.01/185.16 c | 0 | 2392 4948 17383 | 5000 0 nan | 0.000 % | 185.01/185.16 c =============================================================================== 185.01/185.18 c core #244 185.01/185.18 c 185.01/185.18 c 185.01/185.18 c Core size: 25 Core Weight: 1 Total Weight: 244 185.01/185.18 c 185.01/185.18 c 185.01/185.18 c ============================[ Search Statistics ]============================== 185.01/185.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.01/185.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.01/185.18 c =============================================================================== 185.01/185.18 c | 0 | 2403 4949 17405 | 5000 0 nan | 0.000 % | 185.01/185.18 c =============================================================================== 185.01/185.20 c core #245 185.01/185.20 c 185.01/185.20 c 185.01/185.20 c Core size: 26 Core Weight: 1 Total Weight: 245 185.01/185.20 c 185.01/185.20 c 185.01/185.20 c ============================[ Search Statistics ]============================== 185.01/185.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.01/185.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.01/185.20 c =============================================================================== 185.01/185.20 c | 0 | 2411 4950 17421 | 5000 0 nan | 0.000 % | 185.11/185.20 c =============================================================================== 185.11/185.21 c core #246 185.11/185.21 c 185.11/185.21 c 185.11/185.21 c Core size: 16 Core Weight: 1 Total Weight: 246 185.11/185.21 c 185.11/185.21 c 185.11/185.21 c ============================[ Search Statistics ]============================== 185.11/185.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.11/185.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.11/185.21 c =============================================================================== 185.11/185.21 c | 0 | 2419 4951 17437 | 5000 0 nan | 0.000 % | 185.11/185.22 c =============================================================================== 185.11/185.23 c core #247 185.11/185.23 c 185.11/185.23 c 185.11/185.23 c Core size: 28 Core Weight: 1 Total Weight: 247 185.11/185.23 c 185.11/185.23 c 185.11/185.23 c ============================[ Search Statistics ]============================== 185.11/185.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.11/185.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.11/185.23 c =============================================================================== 185.11/185.23 c | 0 | 2428 4953 17458 | 5000 0 nan | 0.000 % | 185.11/185.24 c =============================================================================== 185.11/185.25 c core #248 185.11/185.25 c 185.11/185.25 c 185.11/185.25 c Core size: 11 Core Weight: 1 Total Weight: 248 185.11/185.25 c 185.11/185.25 c 185.11/185.25 c ============================[ Search Statistics ]============================== 185.11/185.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.11/185.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.11/185.25 c =============================================================================== 185.11/185.25 c | 0 | 2434 4954 17470 | 5000 0 nan | 0.000 % | 185.11/185.26 c =============================================================================== 185.11/185.27 c core #249 185.11/185.27 c 185.11/185.27 c 185.11/185.27 c Core size: 28 Core Weight: 1 Total Weight: 249 185.11/185.27 c 185.11/185.27 c 185.11/185.27 c ============================[ Search Statistics ]============================== 185.11/185.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.11/185.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.11/185.27 c =============================================================================== 185.11/185.27 c | 0 | 2444 4955 17490 | 5000 0 nan | 0.000 % | 185.11/185.28 c =============================================================================== 185.11/185.29 c core #250 185.11/185.29 c 185.11/185.29 c 185.11/185.29 c Core size: 10 Core Weight: 1 Total Weight: 250 185.11/185.29 c 185.11/185.29 c 185.11/185.29 c ============================[ Search Statistics ]============================== 185.11/185.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.11/185.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.11/185.29 c =============================================================================== 185.11/185.29 c | 0 | 2450 4956 17502 | 5000 0 nan | 0.000 % | 185.11/185.29 c =============================================================================== 185.22/185.31 c core #251 185.22/185.31 c 185.22/185.31 c 185.22/185.31 c Core size: 10 Core Weight: 1 Total Weight: 251 185.22/185.31 c 185.22/185.31 c 185.22/185.31 c ============================[ Search Statistics ]============================== 185.22/185.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.22/185.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.22/185.31 c =============================================================================== 185.22/185.31 c | 0 | 2456 4957 17514 | 5000 0 nan | 0.000 % | 185.22/185.31 c =============================================================================== 185.22/185.33 c core #252 185.22/185.33 c 185.22/185.33 c 185.22/185.33 c Core size: 13 Core Weight: 1 Total Weight: 252 185.22/185.33 c 185.22/185.33 c 185.22/185.33 c ============================[ Search Statistics ]============================== 185.22/185.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.22/185.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.22/185.33 c =============================================================================== 185.22/185.33 c | 0 | 2464 4958 17530 | 5000 0 nan | 0.000 % | 185.22/185.33 c =============================================================================== 185.22/185.35 c core #253 185.22/185.35 c 185.22/185.35 c 185.22/185.35 c Core size: 32 Core Weight: 1 Total Weight: 253 185.22/185.35 c 185.22/185.35 c 185.22/185.35 c ============================[ Search Statistics ]============================== 185.22/185.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.22/185.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.22/185.35 c =============================================================================== 185.22/185.35 c | 0 | 2474 4959 17550 | 5000 0 nan | 0.000 % | 185.22/185.35 c =============================================================================== 185.22/185.37 c core #254 185.22/185.37 c 185.22/185.37 c 185.22/185.37 c Core size: 21 Core Weight: 1 Total Weight: 254 185.22/185.37 c 185.22/185.37 c 185.22/185.37 c ============================[ Search Statistics ]============================== 185.22/185.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.22/185.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.22/185.37 c =============================================================================== 185.22/185.37 c | 0 | 2486 4960 17574 | 5000 0 nan | 0.000 % | 185.22/185.37 c =============================================================================== 185.22/185.39 c core #255 185.22/185.39 c 185.22/185.39 c 185.22/185.39 c Core size: 30 Core Weight: 1 Total Weight: 255 185.22/185.39 c 185.22/185.39 c 185.22/185.39 c ============================[ Search Statistics ]============================== 185.22/185.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.22/185.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.22/185.39 c =============================================================================== 185.22/185.39 c | 0 | 2496 4961 17594 | 5000 0 nan | 0.000 % | 185.22/185.39 c =============================================================================== 185.32/185.41 c core #256 185.32/185.41 c 185.32/185.41 c 185.32/185.41 c Core size: 26 Core Weight: 1 Total Weight: 256 185.32/185.41 c 185.32/185.41 c 185.32/185.41 c ============================[ Search Statistics ]============================== 185.32/185.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.32/185.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.32/185.41 c =============================================================================== 185.32/185.41 c | 0 | 2508 4962 17618 | 5000 0 nan | 0.000 % | 185.32/185.41 c =============================================================================== 185.32/185.43 c core #257 185.32/185.43 c 185.32/185.43 c 185.32/185.43 c Core size: 16 Core Weight: 1 Total Weight: 257 185.32/185.43 c 185.32/185.43 c 185.32/185.43 c ============================[ Search Statistics ]============================== 185.32/185.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.32/185.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.32/185.43 c =============================================================================== 185.32/185.43 c | 0 | 2516 4963 17634 | 5000 0 nan | 0.000 % | 185.32/185.43 c =============================================================================== 185.32/185.45 c core #258 185.32/185.45 c 185.32/185.45 c 185.32/185.45 c Core size: 12 Core Weight: 1 Total Weight: 258 185.32/185.45 c 185.32/185.45 c 185.32/185.45 c ============================[ Search Statistics ]============================== 185.32/185.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.32/185.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.32/185.45 c =============================================================================== 185.32/185.45 c | 0 | 2523 4964 17648 | 5000 0 nan | 0.000 % | 185.32/185.45 c =============================================================================== 185.32/185.47 c core #259 185.32/185.47 c 185.32/185.47 c 185.32/185.47 c Core size: 17 Core Weight: 1 Total Weight: 259 185.32/185.47 c 185.32/185.47 c 185.32/185.47 c ============================[ Search Statistics ]============================== 185.32/185.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.32/185.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.32/185.47 c =============================================================================== 185.32/185.47 c | 0 | 2532 4965 17666 | 5000 0 nan | 0.000 % | 185.32/185.47 c =============================================================================== 185.32/185.49 c core #260 185.32/185.49 c 185.32/185.49 c 185.32/185.49 c Core size: 14 Core Weight: 1 Total Weight: 260 185.32/185.49 c 185.32/185.49 c 185.32/185.49 c ============================[ Search Statistics ]============================== 185.32/185.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.32/185.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.32/185.49 c =============================================================================== 185.32/185.49 c | 0 | 2540 4966 17682 | 5000 0 nan | 0.000 % | 185.32/185.49 c =============================================================================== 185.42/185.51 c core #261 185.42/185.51 c 185.42/185.51 c 185.42/185.51 c Core size: 38 Core Weight: 1 Total Weight: 261 185.42/185.51 c 185.42/185.51 c 185.42/185.51 c ============================[ Search Statistics ]============================== 185.42/185.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.42/185.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.42/185.51 c =============================================================================== 185.42/185.51 c | 0 | 2560 4967 17722 | 5000 0 nan | 0.000 % | 185.42/185.51 c =============================================================================== 185.42/185.53 c core #262 185.42/185.53 c 185.42/185.53 c 185.42/185.53 c Core size: 21 Core Weight: 1 Total Weight: 262 185.42/185.53 c 185.42/185.53 c 185.42/185.53 c ============================[ Search Statistics ]============================== 185.42/185.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.42/185.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.42/185.53 c =============================================================================== 185.42/185.53 c | 0 | 2572 4968 17746 | 5000 0 nan | 0.000 % | 185.42/185.53 c =============================================================================== 185.42/185.55 c core #263 185.42/185.55 c 185.42/185.55 c 185.42/185.55 c Core size: 14 Core Weight: 1 Total Weight: 263 185.42/185.55 c 185.42/185.55 c 185.42/185.55 c ============================[ Search Statistics ]============================== 185.42/185.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.42/185.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.42/185.55 c =============================================================================== 185.42/185.55 c | 0 | 2580 4969 17762 | 5000 0 nan | 0.000 % | 185.42/185.55 c =============================================================================== 185.42/185.57 c core #264 185.42/185.57 c 185.42/185.57 c 185.42/185.57 c Core size: 16 Core Weight: 1 Total Weight: 264 185.42/185.57 c 185.42/185.57 c 185.42/185.57 c ============================[ Search Statistics ]============================== 185.42/185.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.42/185.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.42/185.57 c =============================================================================== 185.42/185.57 c | 0 | 2588 4970 17778 | 5000 0 nan | 0.000 % | 185.42/185.58 c =============================================================================== 185.42/185.59 c core #265 185.42/185.59 c 185.42/185.59 c 185.42/185.59 c Core size: 18 Core Weight: 1 Total Weight: 265 185.42/185.59 c 185.42/185.59 c 185.42/185.59 c ============================[ Search Statistics ]============================== 185.42/185.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.42/185.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.42/185.59 c =============================================================================== 185.42/185.59 c | 0 | 2602 4971 17806 | 5000 0 nan | 0.000 % | 185.52/185.60 c =============================================================================== 185.52/185.61 c core #266 185.52/185.61 c 185.52/185.61 c 185.52/185.61 c Core size: 31 Core Weight: 1 Total Weight: 266 185.52/185.61 c 185.52/185.61 c 185.52/185.61 c ============================[ Search Statistics ]============================== 185.52/185.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.52/185.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.52/185.61 c =============================================================================== 185.52/185.61 c | 0 | 2614 4972 17830 | 5000 0 nan | 0.000 % | 185.52/185.62 c =============================================================================== 185.52/185.63 c core #267 185.52/185.63 c 185.52/185.63 c 185.52/185.63 c Core size: 10 Core Weight: 1 Total Weight: 267 185.52/185.63 c 185.52/185.63 c 185.52/185.63 c ============================[ Search Statistics ]============================== 185.52/185.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.52/185.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.52/185.63 c =============================================================================== 185.52/185.63 c | 0 | 2620 4973 17842 | 5000 0 nan | 0.000 % | 185.52/185.64 c =============================================================================== 185.52/185.66 c core #268 185.52/185.66 c 185.52/185.66 c 185.52/185.66 c Core size: 14 Core Weight: 1 Total Weight: 268 185.52/185.66 c 185.52/185.66 c 185.52/185.66 c ============================[ Search Statistics ]============================== 185.52/185.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.52/185.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.52/185.66 c =============================================================================== 185.52/185.66 c | 0 | 2628 4974 17858 | 5000 0 nan | 0.000 % | 185.52/185.66 c =============================================================================== 185.52/185.68 c core #269 185.52/185.68 c 185.52/185.68 c 185.52/185.68 c Core size: 10 Core Weight: 1 Total Weight: 269 185.52/185.68 c 185.52/185.68 c 185.52/185.68 c ============================[ Search Statistics ]============================== 185.52/185.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.52/185.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.52/185.68 c =============================================================================== 185.52/185.68 c | 0 | 2636 4975 17874 | 5000 0 nan | 0.000 % | 185.52/185.68 c =============================================================================== 185.52/185.70 c core #270 185.52/185.70 c 185.52/185.70 c 185.52/185.70 c Core size: 25 Core Weight: 1 Total Weight: 270 185.52/185.70 c 185.52/185.70 c 185.52/185.70 c ============================[ Search Statistics ]============================== 185.52/185.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.52/185.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.52/185.70 c =============================================================================== 185.52/185.70 c | 0 | 2642 4976 17886 | 5000 0 nan | 0.000 % | 185.62/185.70 c =============================================================================== 185.62/185.72 c core #271 185.62/185.72 c 185.62/185.72 c 185.62/185.72 c Core size: 15 Core Weight: 1 Total Weight: 271 185.62/185.72 c 185.62/185.72 c 185.62/185.72 c ============================[ Search Statistics ]============================== 185.62/185.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.62/185.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.62/185.72 c =============================================================================== 185.62/185.72 c | 0 | 2651 4977 17904 | 5000 0 nan | 0.000 % | 185.62/185.72 c =============================================================================== 185.62/185.74 c core #272 185.62/185.74 c 185.62/185.74 c 185.62/185.74 c Core size: 38 Core Weight: 1 Total Weight: 272 185.62/185.74 c 185.62/185.74 c 185.62/185.74 c ============================[ Search Statistics ]============================== 185.62/185.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.62/185.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.62/185.74 c =============================================================================== 185.62/185.74 c | 0 | 2671 4978 17944 | 5000 0 nan | 0.000 % | 185.62/185.74 c =============================================================================== 185.62/185.76 c core #273 185.62/185.76 c 185.62/185.76 c 185.62/185.76 c Core size: 10 Core Weight: 1 Total Weight: 273 185.62/185.76 c 185.62/185.76 c 185.62/185.76 c ============================[ Search Statistics ]============================== 185.62/185.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.62/185.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.62/185.76 c =============================================================================== 185.62/185.76 c | 0 | 2677 4979 17956 | 5000 0 nan | 0.000 % | 185.62/185.77 c =============================================================================== 185.62/185.78 c core #274 185.62/185.78 c 185.62/185.78 c 185.62/185.78 c Core size: 13 Core Weight: 1 Total Weight: 274 185.62/185.78 c 185.62/185.78 c 185.62/185.78 c ============================[ Search Statistics ]============================== 185.62/185.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.62/185.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.62/185.78 c =============================================================================== 185.62/185.78 c | 0 | 2685 4980 17972 | 5000 0 nan | 0.000 % | 185.62/185.79 c =============================================================================== 185.73/185.81 c core #275 185.73/185.81 c 185.73/185.81 c 185.73/185.81 c Core size: 12 Core Weight: 1 Total Weight: 275 185.73/185.81 c 185.73/185.81 c 185.73/185.81 c ============================[ Search Statistics ]============================== 185.73/185.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.73/185.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.73/185.81 c =============================================================================== 185.73/185.81 c | 0 | 2692 4981 17986 | 5000 0 nan | 0.000 % | 185.73/185.81 c =============================================================================== 185.73/185.83 c core #276 185.73/185.83 c 185.73/185.83 c 185.73/185.83 c Core size: 28 Core Weight: 1 Total Weight: 276 185.73/185.83 c 185.73/185.83 c 185.73/185.83 c ============================[ Search Statistics ]============================== 185.73/185.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.73/185.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.73/185.83 c =============================================================================== 185.73/185.83 c | 0 | 2703 4982 18008 | 5000 0 nan | 0.000 % | 185.73/185.83 c =============================================================================== 185.73/185.85 c core #277 185.73/185.85 c 185.73/185.85 c 185.73/185.85 c Core size: 27 Core Weight: 1 Total Weight: 277 185.73/185.85 c 185.73/185.85 c 185.73/185.85 c ============================[ Search Statistics ]============================== 185.73/185.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.73/185.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.73/185.85 c =============================================================================== 185.73/185.85 c | 0 | 2713 4983 18028 | 5000 0 nan | 0.000 % | 185.73/185.86 c =============================================================================== 185.73/185.87 c core #278 185.73/185.87 c 185.73/185.87 c 185.73/185.87 c Core size: 12 Core Weight: 1 Total Weight: 278 185.73/185.87 c 185.73/185.87 c 185.73/185.87 c ============================[ Search Statistics ]============================== 185.73/185.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.73/185.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.73/185.87 c =============================================================================== 185.73/185.87 c | 0 | 2720 4984 18042 | 5000 0 nan | 0.000 % | 185.73/185.88 c =============================================================================== 185.73/185.90 c core #279 185.73/185.90 c 185.73/185.90 c 185.73/185.90 c Core size: 33 Core Weight: 1 Total Weight: 279 185.73/185.90 c 185.73/185.90 c 185.73/185.90 c ============================[ Search Statistics ]============================== 185.73/185.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.73/185.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.73/185.90 c =============================================================================== 185.73/185.90 c | 0 | 2747 4985 18096 | 5000 0 nan | 0.000 % | 185.73/185.90 c =============================================================================== 185.83/185.92 c core #280 185.83/185.92 c 185.83/185.92 c 185.83/185.92 c Core size: 10 Core Weight: 1 Total Weight: 280 185.83/185.92 c 185.83/185.92 c 185.83/185.92 c ============================[ Search Statistics ]============================== 185.83/185.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.83/185.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.83/185.92 c =============================================================================== 185.83/185.92 c | 0 | 2753 4986 18108 | 5000 0 nan | 0.000 % | 185.83/185.93 c =============================================================================== 185.83/185.95 c core #281 185.83/185.95 c 185.83/185.95 c 185.83/185.95 c Core size: 34 Core Weight: 1 Total Weight: 281 185.83/185.95 c 185.83/185.95 c 185.83/185.95 c ============================[ Search Statistics ]============================== 185.83/185.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.83/185.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.83/185.95 c =============================================================================== 185.83/185.95 c | 0 | 2771 4987 18144 | 5000 0 nan | 0.000 % | 185.83/185.95 c =============================================================================== 185.83/185.97 c core #282 185.83/185.97 c 185.83/185.97 c 185.83/185.97 c Core size: 35 Core Weight: 1 Total Weight: 282 185.83/185.97 c 185.83/185.97 c 185.83/185.97 c ============================[ Search Statistics ]============================== 185.83/185.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.83/185.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.83/185.97 c =============================================================================== 185.83/185.97 c | 0 | 2784 4988 18170 | 5000 0 nan | 0.000 % | 185.83/185.97 c =============================================================================== 185.83/185.99 c core #283 185.83/185.99 c 185.83/185.99 c 185.83/185.99 c Core size: 16 Core Weight: 1 Total Weight: 283 185.83/185.99 c 185.83/185.99 c 185.83/185.99 c ============================[ Search Statistics ]============================== 185.83/185.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.83/185.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.83/185.99 c =============================================================================== 185.83/185.99 c | 0 | 2795 4989 18192 | 5000 0 nan | 0.000 % | 185.83/186.00 c =============================================================================== 185.92/186.01 c core #284 185.92/186.01 c 185.92/186.01 c 185.92/186.01 c Core size: 13 Core Weight: 1 Total Weight: 284 185.92/186.01 c 185.92/186.01 c 185.92/186.01 c ============================[ Search Statistics ]============================== 185.92/186.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.92/186.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.92/186.01 c =============================================================================== 185.92/186.01 c | 0 | 2802 4990 18206 | 5000 0 nan | 0.000 % | 185.92/186.02 c =============================================================================== 185.92/186.04 c core #285 185.92/186.04 c 185.92/186.04 c 185.92/186.04 c Core size: 47 Core Weight: 1 Total Weight: 285 185.92/186.04 c 185.92/186.04 c 185.92/186.04 c ============================[ Search Statistics ]============================== 185.92/186.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.92/186.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.92/186.04 c =============================================================================== 185.92/186.04 c | 0 | 2826 4991 18254 | 5000 0 nan | 0.000 % | 185.92/186.05 c =============================================================================== 185.92/186.06 c core #286 185.92/186.06 c 185.92/186.06 c 185.92/186.06 c Core size: 56 Core Weight: 1 Total Weight: 286 185.92/186.06 c 185.92/186.06 c 185.92/186.06 c ============================[ Search Statistics ]============================== 185.92/186.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.92/186.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.92/186.06 c =============================================================================== 185.92/186.06 c | 0 | 2871 4992 18344 | 5000 0 nan | 0.000 % | 185.92/186.07 c =============================================================================== 185.92/186.09 c core #287 185.92/186.09 c 185.92/186.09 c 185.92/186.09 c Core size: 40 Core Weight: 1 Total Weight: 287 185.92/186.09 c 185.92/186.09 c 185.92/186.09 c ============================[ Search Statistics ]============================== 185.92/186.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.92/186.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.92/186.09 c =============================================================================== 185.92/186.09 c | 0 | 2896 4993 18394 | 5000 0 nan | 0.000 % | 185.92/186.09 c =============================================================================== 186.02/186.11 c core #288 186.02/186.11 c 186.02/186.11 c 186.02/186.11 c Core size: 46 Core Weight: 1 Total Weight: 288 186.02/186.11 c 186.02/186.11 c 186.02/186.11 c ============================[ Search Statistics ]============================== 186.02/186.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.02/186.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.02/186.11 c =============================================================================== 186.02/186.11 c | 0 | 2926 4994 18454 | 5000 0 nan | 0.000 % | 186.02/186.12 c =============================================================================== 186.02/186.14 c core #289 186.02/186.14 c 186.02/186.14 c 186.02/186.14 c Core size: 53 Core Weight: 1 Total Weight: 289 186.02/186.14 c 186.02/186.14 c 186.02/186.14 c ============================[ Search Statistics ]============================== 186.02/186.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.02/186.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.02/186.14 c =============================================================================== 186.02/186.14 c | 0 | 2975 4995 18552 | 5000 0 nan | 0.000 % | 186.02/186.15 c =============================================================================== 186.02/186.17 c core #290 186.02/186.17 c 186.02/186.17 c 186.02/186.17 c Core size: 43 Core Weight: 1 Total Weight: 290 186.02/186.17 c 186.02/186.17 c 186.02/186.17 c ============================[ Search Statistics ]============================== 186.02/186.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.02/186.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.02/186.17 c =============================================================================== 186.02/186.17 c | 0 | 3004 4997 18612 | 5000 0 nan | 0.000 % | 186.02/186.18 c | 100 | 3004 4997 18612 | 5500 100 9 | 0.332 % | 186.02/186.18 c =============================================================================== 186.12/186.20 c core #291 186.12/186.20 c 186.12/186.20 c 186.12/186.20 c Core size: 53 Core Weight: 1 Total Weight: 291 186.12/186.20 c 186.12/186.20 c 186.12/186.20 c ============================[ Search Statistics ]============================== 186.12/186.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.12/186.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.12/186.20 c =============================================================================== 186.12/186.20 c | 0 | 3053 4998 18710 | 5000 0 nan | 0.000 % | 186.12/186.21 c | 100 | 3051 4998 18710 | 5500 100 11 | 0.392 % | 186.12/186.22 c =============================================================================== 186.12/186.24 c core #292 186.12/186.24 c 186.12/186.24 c 186.12/186.24 c Core size: 72 Core Weight: 1 Total Weight: 292 186.12/186.24 c 186.12/186.24 c 186.12/186.24 c ============================[ Search Statistics ]============================== 186.12/186.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.12/186.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.12/186.24 c =============================================================================== 186.12/186.24 c | 0 | 3115 4999 18834 | 5000 0 nan | 0.000 % | 186.12/186.25 c | 100 | 3110 4999 18834 | 5500 100 11 | 0.480 % | 186.12/186.26 c | 250 | 3094 4999 18834 | 6050 233 8 | 1.024 % | 186.12/186.26 c =============================================================================== 186.12/186.28 c core #293 186.12/186.28 c 186.12/186.28 c 186.12/186.28 c Core size: 44 Core Weight: 1 Total Weight: 293 186.12/186.28 c 186.12/186.28 c 186.12/186.28 c ============================[ Search Statistics ]============================== 186.12/186.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.12/186.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.12/186.28 c =============================================================================== 186.12/186.28 c | 0 | 3149 5000 18902 | 5000 0 nan | 0.000 % | 186.12/186.29 c =============================================================================== 186.22/186.31 c core #294 186.22/186.31 c 186.22/186.31 c 186.22/186.31 c Core size: 27 Core Weight: 1 Total Weight: 294 186.22/186.31 c 186.22/186.31 c 186.22/186.31 c ============================[ Search Statistics ]============================== 186.22/186.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.22/186.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.22/186.31 c =============================================================================== 186.22/186.31 c | 0 | 3171 5002 18949 | 5000 0 nan | 0.000 % | 186.22/186.32 c | 100 | 3164 5002 18949 | 5500 100 11 | 0.566 % | 186.22/186.33 c | 251 | 3164 5002 18949 | 6050 251 15 | 0.786 % | 186.22/186.35 c | 476 | 3142 5002 18949 | 6655 467 14 | 1.320 % | 186.22/186.35 c =============================================================================== 186.22/186.37 c core #295 186.22/186.37 c 186.22/186.37 c 186.22/186.37 c Core size: 74 Core Weight: 1 Total Weight: 295 186.22/186.37 c 186.22/186.37 c 186.22/186.37 c ============================[ Search Statistics ]============================== 186.22/186.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.22/186.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.22/186.37 c =============================================================================== 186.22/186.37 c | 0 | 3232 5004 19073 | 5000 0 nan | 0.000 % | 186.22/186.39 c | 103 | 3232 5004 19073 | 5500 103 28 | 0.309 % | 186.31/186.40 c | 253 | 3232 5004 19073 | 6050 253 30 | 0.308 % | 186.31/186.41 c | 478 | 3232 5004 19073 | 6655 478 28 | 0.309 % | 186.31/186.44 c | 815 | 3232 5004 19073 | 7320 815 27 | 0.309 % | 186.31/186.48 c | 1323 | 3230 5004 19073 | 8052 1322 27 | 0.370 % | 186.42/186.56 c | 2083 | 3228 5004 19073 | 8857 1882 26 | 0.494 % | 186.42/186.58 c =============================================================================== 186.51/186.61 c core #296 186.51/186.61 c 186.51/186.61 c 186.51/186.61 c Core size: 89 Core Weight: 1 Total Weight: 296 186.51/186.61 c 186.51/186.61 c 186.51/186.61 c ============================[ Search Statistics ]============================== 186.51/186.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.51/186.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.51/186.61 c =============================================================================== 186.51/186.61 c | 0 | 3299 5005 19207 | 5000 0 nan | 0.000 % | 186.51/186.63 c | 101 | 3299 5005 19207 | 5500 101 11 | 0.302 % | 186.51/186.63 c =============================================================================== 186.51/186.65 c core #297 186.51/186.65 c 186.51/186.65 c 186.51/186.65 c Core size: 24 Core Weight: 1 Total Weight: 297 186.51/186.65 c 186.51/186.65 c 186.51/186.65 c ============================[ Search Statistics ]============================== 186.51/186.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.51/186.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.51/186.65 c =============================================================================== 186.51/186.65 c | 0 | 3317 5009 19251 | 5000 0 nan | 0.000 % | 186.51/186.66 c | 103 | 3317 5009 19251 | 5500 103 19 | 0.301 % | 186.51/186.68 c | 254 | 3293 5009 19251 | 6050 249 13 | 1.773 % | 186.51/186.69 c | 479 | 3284 5009 19251 | 6655 474 13 | 2.044 % | 186.62/186.71 c | 816 | 3254 5009 19251 | 7320 740 15 | 2.194 % | 186.62/186.75 c =============================================================================== 186.62/186.78 c core #298 186.62/186.78 c 186.62/186.78 c 186.62/186.78 c Core size: 95 Core Weight: 1 Total Weight: 298 186.62/186.78 c 186.62/186.78 c 186.62/186.78 c ============================[ Search Statistics ]============================== 186.62/186.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.62/186.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.62/186.78 c =============================================================================== 186.62/186.78 c | 0 | 3393 5013 19410 | 5000 0 nan | 0.000 % | 186.62/186.79 c | 100 | 3393 5013 19410 | 5500 100 25 | 0.294 % | 186.71/186.80 c | 251 | 3393 5013 19410 | 6050 251 22 | 0.294 % | 186.71/186.81 c | 476 | 3393 5013 19410 | 6655 476 22 | 0.294 % | 186.71/186.83 c | 814 | 3391 5013 19410 | 7320 813 22 | 0.353 % | 186.71/186.87 c | 1320 | 3391 5013 19410 | 8052 1319 24 | 0.353 % | 186.71/186.89 c =============================================================================== 186.82/186.92 c core #299 186.82/186.92 c 186.82/186.92 c 186.82/186.92 c Core size: 12 Core Weight: 1 Total Weight: 299 186.82/186.92 c 186.82/186.92 c 186.82/186.92 c ============================[ Search Statistics ]============================== 186.82/186.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.82/186.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.82/186.92 c =============================================================================== 186.82/186.92 c | 0 | 3402 5016 19433 | 5000 0 nan | 0.000 % | 186.82/186.93 c | 101 | 3402 5016 19433 | 5500 101 20 | 0.293 % | 186.82/186.94 c | 252 | 3397 5016 19433 | 6050 252 13 | 0.469 % | 186.82/186.95 c =============================================================================== 186.82/186.97 c core #300 186.82/186.97 c 186.82/186.97 c 186.82/186.97 c Core size: 33 Core Weight: 1 Total Weight: 300 186.82/186.97 c 186.82/186.97 c 186.82/186.97 c ============================[ Search Statistics ]============================== 186.82/186.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.82/186.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.82/186.97 c =============================================================================== 186.82/186.97 c | 0 | 3427 5020 19490 | 5000 0 nan | 0.000 % | 186.82/186.98 c | 100 | 3427 5020 19490 | 5500 100 13 | 0.291 % | 186.82/186.99 c | 250 | 3426 5020 19490 | 6050 250 11 | 0.407 % | 186.82/186.99 c =============================================================================== 186.93/187.02 c core #301 186.93/187.02 c 186.93/187.02 c 186.93/187.02 c Core size: 33 Core Weight: 1 Total Weight: 301 186.93/187.02 c 186.93/187.02 c 186.93/187.02 c ============================[ Search Statistics ]============================== 186.93/187.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.93/187.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.93/187.02 c =============================================================================== 186.93/187.02 c | 0 | 3455 5021 19546 | 5000 0 nan | 0.000 % | 186.93/187.03 c | 100 | 3455 5021 19546 | 5500 100 28 | 0.289 % | 186.93/187.04 c =============================================================================== 186.93/187.06 c core #302 186.93/187.06 c 186.93/187.06 c 186.93/187.06 c Core size: 36 Core Weight: 1 Total Weight: 302 186.93/187.06 c 186.93/187.06 c 186.93/187.06 c ============================[ Search Statistics ]============================== 186.93/187.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.93/187.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.93/187.06 c =============================================================================== 186.93/187.06 c | 0 | 3481 5022 19598 | 5000 0 nan | 0.000 % | 186.93/187.07 c | 101 | 3480 5022 19598 | 5500 101 12 | 0.344 % | 186.93/187.08 c | 252 | 3479 5022 19598 | 6050 252 10 | 0.516 % | 186.93/187.08 c =============================================================================== 187.01/187.10 c core #303 187.01/187.10 c 187.01/187.10 c 187.01/187.10 c Core size: 40 Core Weight: 1 Total Weight: 303 187.01/187.10 c 187.01/187.10 c 187.01/187.10 c ============================[ Search Statistics ]============================== 187.01/187.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.01/187.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.01/187.10 c =============================================================================== 187.01/187.10 c | 0 | 3499 5025 19639 | 5000 0 nan | 0.000 % | 187.01/187.11 c | 100 | 3499 5025 19639 | 5500 100 16 | 0.285 % | 187.01/187.13 c | 251 | 3489 5025 19639 | 6050 226 11 | 0.570 % | 187.01/187.13 c =============================================================================== 187.01/187.15 c core #304 187.01/187.15 c 187.01/187.15 c 187.01/187.15 c Core size: 43 Core Weight: 1 Total Weight: 304 187.01/187.15 c 187.01/187.15 c 187.01/187.15 c ============================[ Search Statistics ]============================== 187.01/187.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.01/187.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.01/187.15 c =============================================================================== 187.01/187.15 c | 0 | 3535 5026 19711 | 5000 0 nan | 0.000 % | 187.01/187.16 c =============================================================================== 187.01/187.18 c core #305 187.01/187.18 c 187.01/187.18 c 187.01/187.18 c Core size: 26 Core Weight: 1 Total Weight: 305 187.01/187.18 c 187.01/187.18 c 187.01/187.18 c ============================[ Search Statistics ]============================== 187.01/187.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.01/187.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.01/187.18 c =============================================================================== 187.01/187.18 c | 0 | 3548 5027 19737 | 5000 0 nan | 0.000 % | 187.01/187.20 c | 100 | 3548 5027 19737 | 5500 100 12 | 0.281 % | 187.12/187.20 c | 251 | 3547 5027 19737 | 6050 251 12 | 0.337 % | 187.12/187.22 c =============================================================================== 187.12/187.24 c core #306 187.12/187.24 c 187.12/187.24 c 187.12/187.24 c Core size: 45 Core Weight: 1 Total Weight: 306 187.12/187.24 c 187.12/187.24 c 187.12/187.24 c ============================[ Search Statistics ]============================== 187.12/187.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.12/187.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.12/187.24 c =============================================================================== 187.12/187.24 c | 0 | 3586 5031 19820 | 5000 0 nan | 0.000 % | 187.12/187.25 c =============================================================================== 187.12/187.27 c core #307 187.12/187.27 c 187.12/187.27 c 187.12/187.27 c Core size: 13 Core Weight: 1 Total Weight: 307 187.12/187.27 c 187.12/187.27 c 187.12/187.27 c ============================[ Search Statistics ]============================== 187.12/187.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.12/187.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.12/187.27 c =============================================================================== 187.12/187.27 c | 0 | 3594 5032 19836 | 5000 0 nan | 0.000 % | 187.12/187.28 c | 101 | 3594 5032 19836 | 5500 101 14 | 0.278 % | 187.21/187.30 c | 252 | 3594 5032 19836 | 6050 252 13 | 0.277 % | 187.21/187.32 c | 478 | 3594 5032 19836 | 6655 478 15 | 0.278 % | 187.21/187.34 c | 817 | 3594 5032 19836 | 7320 817 20 | 0.277 % | 187.21/187.38 c | 1323 | 3593 5032 19836 | 8052 1321 18 | 0.305 % | 187.31/187.40 c =============================================================================== 187.31/187.44 c core #308 187.31/187.44 c 187.31/187.44 c 187.31/187.44 c Core size: 109 Core Weight: 1 Total Weight: 308 187.31/187.44 c 187.31/187.44 c 187.31/187.44 c ============================[ Search Statistics ]============================== 187.31/187.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.31/187.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.31/187.44 c =============================================================================== 187.31/187.44 c | 0 | 3695 5036 20046 | 5000 0 nan | 0.000 % | 187.31/187.45 c =============================================================================== 187.31/187.47 c core #309 187.31/187.47 c 187.31/187.47 c 187.31/187.47 c Core size: 35 Core Weight: 1 Total Weight: 309 187.31/187.47 c 187.31/187.47 c 187.31/187.47 c ============================[ Search Statistics ]============================== 187.31/187.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.31/187.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.31/187.47 c =============================================================================== 187.31/187.47 c | 0 | 3721 5037 20098 | 5000 0 nan | 0.000 % | 187.31/187.48 c | 103 | 3721 5037 20098 | 5500 103 30 | 0.268 % | 187.31/187.49 c | 254 | 3721 5037 20098 | 6050 254 28 | 0.268 % | 187.41/187.50 c | 479 | 3721 5037 20098 | 6655 479 36 | 0.268 % | 187.41/187.53 c | 817 | 3721 5037 20098 | 7320 817 34 | 0.268 % | 187.41/187.56 c | 1323 | 3721 5037 20098 | 8052 1323 32 | 0.268 % | 187.52/187.62 c | 2086 | 3721 5037 20098 | 8857 2086 32 | 0.268 % | 187.62/187.77 c | 3226 | 3721 5037 20098 | 9743 3226 34 | 0.268 % | 187.81/187.98 c | 4934 | 3721 5037 20098 | 10717 4934 35 | 0.268 % | 188.32/188.45 c | 7496 | 3721 5037 20098 | 11789 7496 37 | 0.268 % | 189.21/189.30 c | 11340 | 3721 5037 20098 | 12968 11340 41 | 0.268 % | 190.41/190.53 c | 17111 | 3712 5037 20098 | 14265 10486 41 | 1.340 % | 190.61/190.75 c =============================================================================== 190.71/190.80 c core #310 190.71/190.80 c 190.71/190.80 c 190.71/190.80 c Core size: 54 Core Weight: 1 Total Weight: 310 190.71/190.80 c 190.71/190.80 c 190.71/190.80 c ============================[ Search Statistics ]============================== 190.71/190.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.71/190.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.71/190.80 c =============================================================================== 190.71/190.80 c | 0 | 3755 5039 20168 | 5000 0 nan | 0.000 % | 190.71/190.82 c =============================================================================== 190.71/190.84 c core #311 190.71/190.84 c 190.71/190.84 c 190.71/190.84 c Core size: 23 Core Weight: 1 Total Weight: 311 190.71/190.84 c 190.71/190.84 c 190.71/190.84 c ============================[ Search Statistics ]============================== 190.71/190.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.71/190.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.71/190.84 c =============================================================================== 190.71/190.84 c | 0 | 3767 5042 20198 | 5000 0 nan | 0.000 % | 190.71/190.85 c | 103 | 3767 5042 20198 | 5500 103 13 | 0.265 % | 190.71/190.86 c =============================================================================== 190.71/190.88 c core #312 190.71/190.88 c 190.71/190.88 c 190.71/190.88 c Core size: 56 Core Weight: 1 Total Weight: 312 190.71/190.88 c 190.71/190.88 c 190.71/190.88 c ============================[ Search Statistics ]============================== 190.71/190.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.71/190.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.71/190.88 c =============================================================================== 190.71/190.88 c | 0 | 3813 5044 20292 | 5000 0 nan | 0.000 % | 190.71/190.89 c | 100 | 3813 5044 20292 | 5500 100 21 | 0.262 % | 190.82/190.90 c | 251 | 3813 5044 20292 | 6050 251 20 | 0.262 % | 190.82/190.91 c | 477 | 3809 5044 20292 | 6655 474 17 | 0.366 % | 190.82/190.93 c =============================================================================== 190.82/190.95 c core #313 190.82/190.95 c 190.82/190.95 c 190.82/190.95 c Core size: 51 Core Weight: 1 Total Weight: 313 190.82/190.95 c 190.82/190.95 c 190.82/190.95 c ============================[ Search Statistics ]============================== 190.82/190.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.82/190.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.82/190.95 c =============================================================================== 190.82/190.95 c | 0 | 3858 5046 20385 | 5000 0 nan | 0.000 % | 190.82/190.97 c | 100 | 3858 5046 20385 | 5500 100 12 | 0.259 % | 190.82/190.97 c | 253 | 3856 5046 20385 | 6050 253 12 | 0.414 % | 190.82/190.98 c =============================================================================== 190.92/191.00 c core #314 190.92/191.00 c 190.92/191.00 c 190.92/191.00 c Core size: 30 Core Weight: 1 Total Weight: 314 190.92/191.00 c 190.92/191.00 c 190.92/191.00 c ============================[ Search Statistics ]============================== 190.92/191.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.92/191.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.92/191.00 c =============================================================================== 190.92/191.00 c | 0 | 3879 5047 20427 | 5000 0 nan | 0.000 % | 190.92/191.02 c | 102 | 3879 5047 20427 | 5500 102 12 | 0.257 % | 190.92/191.02 c | 256 | 3878 5047 20427 | 6050 256 15 | 0.309 % | 190.92/191.04 c | 481 | 3876 5047 20427 | 6655 464 13 | 0.360 % | 190.92/191.08 c | 818 | 3870 5047 20427 | 7320 801 16 | 0.566 % | 191.02/191.12 c | 1327 | 3867 5047 20427 | 8052 1299 20 | 0.566 % | 191.12/191.20 c | 2089 | 3845 5047 20427 | 8857 2060 20 | 1.183 % | 191.12/191.29 c =============================================================================== 191.23/191.32 c core #315 191.23/191.32 c 191.23/191.32 c 191.23/191.32 c Core size: 24 Core Weight: 1 Total Weight: 315 191.23/191.32 c 191.23/191.32 c 191.23/191.32 c ============================[ Search Statistics ]============================== 191.23/191.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.23/191.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.23/191.32 c =============================================================================== 191.23/191.32 c | 0 | 3895 5057 20481 | 5000 0 nan | 0.000 % | 191.23/191.34 c | 102 | 3895 5057 20481 | 5500 102 12 | 0.256 % | 191.23/191.35 c | 253 | 3894 5057 20481 | 6050 253 15 | 0.307 % | 191.23/191.37 c | 478 | 3891 5057 20481 | 6655 456 18 | 0.359 % | 191.23/191.40 c | 815 | 3887 5057 20481 | 7320 793 29 | 0.487 % | 191.32/191.45 c | 1323 | 3886 5057 20481 | 8052 1298 29 | 0.538 % | 191.42/191.50 c =============================================================================== 191.42/191.53 c core #316 191.42/191.53 c 191.42/191.53 c 191.42/191.53 c Core size: 76 Core Weight: 1 Total Weight: 316 191.42/191.53 c 191.42/191.53 c 191.42/191.53 c ============================[ Search Statistics ]============================== 191.42/191.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.42/191.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.42/191.53 c =============================================================================== 191.42/191.53 c | 0 | 3969 5059 20631 | 5000 0 nan | 0.000 % | 191.42/191.54 c | 101 | 3969 5059 20631 | 5500 101 18 | 0.252 % | 191.42/191.55 c | 251 | 3967 5059 20631 | 6050 251 13 | 0.377 % | 191.42/191.56 c =============================================================================== 191.42/191.58 c core #317 191.42/191.58 c 191.42/191.58 c 191.42/191.58 c Core size: 27 Core Weight: 1 Total Weight: 317 191.42/191.58 c 191.42/191.58 c 191.42/191.58 c ============================[ Search Statistics ]============================== 191.42/191.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.42/191.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.42/191.58 c =============================================================================== 191.42/191.58 c | 0 | 3992 5063 20684 | 5000 0 nan | 0.000 % | 191.42/191.59 c | 100 | 3992 5063 20684 | 5500 100 30 | 0.250 % | 191.51/191.60 c | 250 | 3992 5063 20684 | 6050 250 26 | 0.250 % | 191.51/191.61 c | 478 | 3992 5063 20684 | 6655 478 28 | 0.250 % | 191.51/191.64 c | 815 | 3992 5063 20684 | 7320 815 30 | 0.250 % | 191.62/191.71 c | 1321 | 3988 5063 20684 | 8052 1320 27 | 0.350 % | 191.62/191.77 c | 2083 | 3986 5063 20684 | 8857 2082 24 | 0.400 % | 191.71/191.88 c | 3225 | 3984 5063 20684 | 9743 3222 26 | 0.450 % | 191.92/192.08 c | 4933 | 3984 5063 20684 | 10717 4927 29 | 0.450 % | 192.33/192.41 c | 7496 | 3984 5063 20684 | 11789 7490 31 | 0.450 % | 192.72/192.86 c | 11340 | 3984 5063 20684 | 12968 11334 34 | 0.450 % | 193.81/193.91 c | 17109 | 3984 5063 20684 | 14265 10305 41 | 0.450 % | 195.82/195.95 c | 25760 | 3982 5063 20684 | 15692 10979 54 | 0.500 % | 198.62/198.73 c | 38735 | 3982 5063 20684 | 17261 15915 49 | 0.500 % | 202.22/202.36 c | 58197 | 3950 5063 20684 | 18987 16107 56 | 1.399 % | 206.72/206.82 c =============================================================================== 207.31/207.48 c core #318 207.31/207.48 c 207.31/207.48 c 207.31/207.48 c Core size: 220 Core Weight: 1 Total Weight: 318 207.31/207.48 c 207.31/207.48 c 207.31/207.48 c ============================[ Search Statistics ]============================== 207.31/207.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 207.31/207.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 207.31/207.48 c =============================================================================== 207.31/207.48 c | 0 | 4199 5091 21160 | 5000 0 nan | 0.000 % | 207.41/207.51 c | 101 | 4199 5091 21160 | 5500 101 13 | 0.238 % | 207.41/207.52 c | 251 | 4198 5091 21160 | 6050 251 12 | 0.285 % | 207.41/207.54 c | 477 | 4172 5091 21160 | 6655 438 11 | 1.354 % | 207.41/207.54 c =============================================================================== 207.41/207.56 c core #319 207.41/207.56 c 207.41/207.56 c 207.41/207.56 c Core size: 57 Core Weight: 1 Total Weight: 319 207.41/207.56 c 207.41/207.56 c 207.41/207.56 c ============================[ Search Statistics ]============================== 207.41/207.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 207.41/207.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 207.41/207.56 c =============================================================================== 207.41/207.56 c | 0 | 4229 5096 21228 | 5000 0 nan | 0.000 % | 207.41/207.58 c | 100 | 4229 5096 21228 | 5500 100 16 | 0.236 % | 207.41/207.58 c | 250 | 4229 5096 21228 | 6050 250 16 | 0.236 % | 207.51/207.60 c | 475 | 4229 5096 21228 | 6655 475 15 | 0.236 % | 207.51/207.61 c | 816 | 4229 5096 21228 | 7320 816 16 | 0.236 % | 207.51/207.64 c | 1323 | 4226 5096 21228 | 8052 1321 17 | 0.330 % | 207.61/207.70 c | 2082 | 4226 5096 21228 | 8857 2080 17 | 0.330 % | 207.61/207.76 c =============================================================================== 207.72/207.81 c core #320 207.72/207.81 c 207.72/207.81 c 207.72/207.81 c Core size: 45 Core Weight: 1 Total Weight: 320 207.72/207.81 c 207.72/207.81 c 207.72/207.81 c ============================[ Search Statistics ]============================== 207.72/207.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 207.72/207.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 207.72/207.81 c =============================================================================== 207.72/207.81 c | 0 | 4269 5097 21308 | 5000 0 nan | 0.000 % | 207.72/207.83 c | 100 | 4269 5097 21308 | 5500 100 33 | 0.234 % | 207.72/207.83 c | 252 | 4269 5097 21308 | 6050 252 37 | 0.234 % | 207.72/207.85 c | 477 | 4269 5097 21308 | 6655 477 33 | 0.234 % | 207.72/207.87 c | 814 | 4269 5097 21308 | 7320 814 26 | 0.234 % | 207.82/207.91 c | 1320 | 4269 5097 21308 | 8052 1320 31 | 0.234 % | 207.82/207.98 c | 2080 | 4269 5097 21308 | 8857 2080 38 | 0.234 % | 208.01/208.11 c | 3219 | 4269 5097 21308 | 9743 3219 43 | 0.234 % | 208.11/208.26 c | 4928 | 4265 5097 21308 | 10717 4924 40 | 0.327 % | 208.41/208.58 c | 7491 | 4264 5097 21308 | 11789 7487 43 | 0.374 % | 209.11/209.20 c | 11337 | 4260 5097 21308 | 12968 11317 51 | 0.467 % | 210.21/210.30 c | 17103 | 4208 5097 21308 | 14265 10115 57 | 1.987 % | 212.01/212.18 c | 25753 | 4182 5097 21308 | 15692 11202 78 | 2.267 % | 216.10/216.27 c | 38728 | 4179 5097 21308 | 17261 8069 102 | 2.337 % | 223.22/223.32 c | 58194 | 4177 5097 21308 | 18987 9896 145 | 2.384 % | 243.10/243.20 c | 87388 | 4175 5097 21308 | 20886 9868 129 | 2.431 % | 271.50/271.70 c | 131180 | 4175 5097 21308 | 22974 11208 150 | 2.430 % | 339.35/339.55 c | 196877 | 4174 5097 21308 | 25272 18413 106 | 2.454 % | 406.84/407.08 c | 295403 | 4168 5097 21308 | 27799 24851 122 | 2.594 % | 430.13/430.32 c =============================================================================== 431.82/432.02 c core #321 431.82/432.02 c 431.82/432.02 c 431.82/432.02 c Core size: 288 Core Weight: 1 Total Weight: 321 431.82/432.02 c 431.82/432.02 c 431.82/432.02 c ============================[ Search Statistics ]============================== 431.82/432.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 431.82/432.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 431.82/432.02 c =============================================================================== 431.82/432.02 c | 0 | 4524 5129 21880 | 5000 0 nan | 0.000 % | 431.82/432.06 c | 100 | 4524 5129 21880 | 5500 100 29 | 0.221 % | 431.92/432.10 c | 251 | 4524 5129 21880 | 6050 251 29 | 0.221 % | 431.92/432.13 c | 479 | 4524 5129 21880 | 6655 479 27 | 0.221 % | 431.92/432.16 c | 820 | 4524 5129 21880 | 7320 820 27 | 0.221 % | 432.03/432.20 c | 1326 | 4522 5129 21880 | 8052 1324 23 | 0.265 % | 432.03/432.27 c | 2086 | 4522 5129 21880 | 8857 2084 25 | 0.265 % | 432.13/432.36 c | 3228 | 4520 5129 21880 | 9743 3224 23 | 0.309 % | 432.13/432.38 c =============================================================================== 432.23/432.41 c core #322 432.23/432.41 c 432.23/432.41 c 432.23/432.41 c Core size: 48 Core Weight: 1 Total Weight: 322 432.23/432.41 c 432.23/432.41 c 432.23/432.41 c ============================[ Search Statistics ]============================== 432.23/432.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 432.23/432.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 432.23/432.41 c =============================================================================== 432.23/432.41 c | 0 | 4555 5134 21951 | 5000 0 nan | 0.000 % | 432.23/432.43 c | 102 | 4555 5134 21951 | 5500 102 17 | 0.219 % | 432.23/432.44 c | 253 | 4553 5134 21951 | 6050 253 13 | 0.307 % | 432.23/432.46 c | 482 | 4549 5134 21951 | 6655 480 13 | 0.395 % | 432.23/432.48 c | 821 | 4547 5134 21951 | 7320 814 13 | 0.394 % | 432.32/432.51 c | 1329 | 4547 5134 21951 | 8052 1322 20 | 0.394 % | 432.32/432.55 c | 2088 | 4547 5134 21951 | 8857 2081 20 | 0.394 % | 432.42/432.63 c | 3229 | 4547 5134 21951 | 9743 3222 20 | 0.395 % | 432.52/432.77 c | 4939 | 4547 5134 21951 | 10717 4932 23 | 0.394 % | 432.72/432.90 c =============================================================================== 432.72/432.95 c core #323 432.72/432.95 c 432.72/432.95 c 432.72/432.95 c Core size: 50 Core Weight: 1 Total Weight: 323 432.72/432.95 c 432.72/432.95 c 432.72/432.95 c ============================[ Search Statistics ]============================== 432.72/432.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 432.72/432.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 432.72/432.95 c =============================================================================== 432.72/432.95 c | 0 | 4600 5142 22056 | 5000 0 nan | 0.000 % | 432.72/432.97 c | 102 | 4600 5142 22056 | 5500 102 25 | 0.217 % | 432.72/432.98 c | 253 | 4600 5142 22056 | 6050 253 20 | 0.217 % | 432.72/432.99 c | 479 | 4600 5142 22056 | 6655 479 25 | 0.217 % | 432.83/433.01 c | 818 | 4600 5142 22056 | 7320 818 22 | 0.217 % | 432.83/433.05 c | 1324 | 4598 5142 22056 | 8052 1305 21 | 0.260 % | 432.92/433.12 c | 2087 | 4598 5142 22056 | 8857 2068 27 | 0.260 % | 433.02/433.23 c | 3227 | 4598 5142 22056 | 9743 3208 30 | 0.260 % | 433.13/433.39 c | 4935 | 4596 5142 22056 | 10717 4915 29 | 0.304 % | 433.53/433.72 c | 7498 | 4594 5142 22056 | 11789 7470 30 | 0.347 % | 434.03/434.21 c | 11342 | 4593 5142 22056 | 12968 11314 31 | 0.391 % | 435.22/435.43 c | 17109 | 4583 5142 22056 | 14265 10339 45 | 1.236 % | 436.43/436.64 c | 25758 | 4553 5142 22056 | 15692 11157 45 | 1.236 % | 439.62/439.82 c | 38732 | 4553 5142 22056 | 17261 15950 94 | 1.236 % | 447.32/447.51 c | 58194 | 4550 5142 22056 | 18987 17550 87 | 1.323 % | 460.82/461.06 c | 87390 | 4550 5142 22056 | 20886 17745 72 | 1.323 % | 484.51/484.72 c | 131179 | 4547 5142 22056 | 22974 18083 76 | 1.410 % | 511.21/511.44 c | 196863 | 4545 5142 22056 | 25272 17236 288 | 1.410 % | 551.58/551.83 c | 295391 | 4545 5142 22056 | 27799 22702 288 | 1.410 % | 612.56/612.83 c | 443180 | 4545 5142 22056 | 30579 13690 263 | 1.410 % | 726.82/727.13 c | 664864 | 4545 5142 22056 | 33637 29666 298 | 1.410 % |
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-2680663-1277453552/watcher-2680663-1277453552 -o /tmp/evaluation-result-2680663-1277453552/solver-2680663-1277453552 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680663-1277453552.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.07 1.00 0.83 3/106 28325 /proc/meminfo: memFree=1315684/2059040 swapFree=4140924/4192956 [pid=28325] ppid=28323 vsize=2812 CPUtime=0 /proc/28325/stat : 28325 (wbo1.4b) R 28323 28325 28024 0 -1 4202496 310 0 0 0 0 0 0 0 20 0 1 0 86647539 2879488 228 1992294400 134512640 135752675 4289738832 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28325/statm: 703 229 140 303 0 373 0 [startup+0.0478471 s] /proc/loadavg: 1.07 1.00 0.83 3/106 28325 /proc/meminfo: memFree=1315684/2059040 swapFree=4140924/4192956 [pid=28325] ppid=28323 vsize=3240 CPUtime=0.04 /proc/28325/stat : 28325 (wbo1.4b) R 28323 28325 28024 0 -1 4202496 490 0 0 0 4 0 0 0 20 0 1 0 86647539 3317760 383 1992294400 134512640 135752675 4289738832 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28325/statm: 810 383 144 303 0 505 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 3240 [startup+0.100856 s] /proc/loadavg: 1.07 1.00 0.83 3/106 28325 /proc/meminfo: memFree=1315684/2059040 swapFree=4140924/4192956 [pid=28325] ppid=28323 vsize=3496 CPUtime=0.09 /proc/28325/stat : 28325 (wbo1.4b) R 28323 28325 28024 0 -1 4202496 559 0 0 0 9 0 0 0 20 0 1 0 86647539 3579904 452 1992294400 134512640 135752675 4289738832 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28325/statm: 874 452 145 303 0 569 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3496 [startup+0.300893 s] /proc/loadavg: 1.07 1.00 0.83 3/106 28325 /proc/meminfo: memFree=1315684/2059040 swapFree=4140924/4192956 [pid=28325] ppid=28323 vsize=5432 CPUtime=0.29 /proc/28325/stat : 28325 (wbo1.4b) R 28323 28325 28024 0 -1 4202496 1042 0 0 0 28 1 0 0 20 0 1 0 86647539 5562368 935 1992294400 134512640 135752675 4289738832 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28325/statm: 1358 935 145 303 0 1053 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5432 [startup+0.700965 s] /proc/loadavg: 1.07 1.00 0.83 3/106 28325 /proc/meminfo: memFree=1315684/2059040 swapFree=4140924/4192956 [pid=28325] ppid=28323 vsize=9148 CPUtime=0.69 /proc/28325/stat : 28325 (wbo1.4b) R 28323 28325 28024 0 -1 4202496 1952 0 0 0 67 2 0 0 20 0 1 0 86647539 9367552 1845 1992294400 134512640 135752675 4289738832 18446744073709551615 134518864 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28325/statm: 2287 1845 145 303 0 1982 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9148 [startup+1.50111 s] /proc/loadavg: 1.07 1.00 0.83 2/107 28326 /proc/meminfo: memFree=1306128/2059040 swapFree=4140924/4192956 [pid=28325] ppid=28323 vsize=16092 CPUtime=1.49 /proc/28325/stat : 28325 (wbo1.4b) R 28323 28325 28024 0 -1 4202496 3708 0 0 0 146 3 0 0 22 0 1 0 86647539 16478208 3601 1992294400 134512640 135752675 4289738832 18446744073709551615 134638155 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28325/statm: 4023 3601 145 303 0 3718 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16092 [startup+3.1014 s] /proc/loadavg: 1.06 1.00 0.83 2/107 28326 /proc/meminfo: memFree=1296456/2059040 swapFree=4140924/4192956 [pid=28325] ppid=28323 vsize=28564 CPUtime=3.09 /proc/28325/stat : 28325 (wbo1.4b) R 28323 28325 28024 0 -1 4202496 6821 0 0 0 302 7 0 0 25 0 1 0 86647539 29249536 6714 1992294400 134512640 135752675 4289738832 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28325/statm: 7141 6714 145 303 0 6836 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28564 [startup+6.30098 s] /proc/loadavg: 1.06 1.00 0.83 2/107 28326 /proc/meminfo: memFree=1272524/2059040 swapFree=4140924/4192956 [pid=28325] ppid=28323 vsize=51780 CPUtime=6.29 /proc/28325/stat : 28325 (wbo1.4b) R 28323 28325 28024 0 -1 4202496 12599 0 0 0 616 13 0 0 25 0 1 0 86647539 53022720 12492 1992294400 134512640 135752675 4289738832 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28325/statm: 12945 12492 145 303 0 12640 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 51780 [startup+12.7011 s] /proc/loadavg: 1.05 1.00 0.83 2/107 28326 /proc/meminfo: memFree=1226892/2059040 swapFree=4140924/4192956 [pid=28325] ppid=28323 vsize=94700 CPUtime=12.69 /proc/28325/stat : 28325 (wbo1.4b) R 28323 28325 28024 0 -1 4202496 23339 0 0 0 1243 26 0 0 25 0 1 0 86647539 96972800 23232 1992294400 134512640 135752675 4289738832 18446744073709551615 134642574 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28325/statm: 23675 23233 145 303 0 23370 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 94700 [startup+25.5005 s] /proc/loadavg: 1.04 1.00 0.83 2/107 28328 /proc/meminfo: memFree=1148772/2059040 swapFree=4140924/4192956 [pid=28325] ppid=28323 vsize=170844 CPUtime=25.47 /proc/28325/stat : 28325 (wbo1.4b) R 28323 28325 28024 0 -1 4202496 42367 0 0 0 2501 46 0 0 25 0 1 0 86647539 174944256 42260 1992294400 134512640 135752675 4289738832 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28325/statm: 42711 42260 145 303 0 42406 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 170844 [startup+51.1011 s] /proc/loadavg: 1.03 1.00 0.84 2/107 28328 /proc/meminfo: memFree=1041884/2059040 swapFree=4140924/4192956 [pid=28325] ppid=28323 vsize=278272 CPUtime=51.07 /proc/28325/stat : 28325 (wbo1.4b) R 28323 28325 28024 0 -1 4202496 69230 0 0 0 5030 77 0 0 25 0 1 0 86647539 284950528 69123 1992294400 134512640 135752675 4289738832 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28325/statm: 69568 69123 145 303 0 69263 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 278272 [startup+102.308 s] /proc/loadavg: 1.01 1.00 0.84 2/107 28330 /proc/meminfo: memFree=822652/2059040 swapFree=4140924/4192956 [pid=28325] ppid=28323 vsize=494476 CPUtime=102.25 /proc/28325/stat : 28325 (wbo1.4b) R 28323 28325 28024 0 -1 4202496 123258 0 0 0 10090 135 0 0 25 0 1 0 86647539 506343424 123151 1992294400 134512640 135752675 4289738832 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28325/statm: 123619 123151 145 303 0 123314 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 494476 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.85 2/107 28330 /proc/meminfo: memFree=578124/2059040 swapFree=4140924/4192956 [pid=28325] ppid=28323 vsize=741128 CPUtime=162.22 /proc/28325/stat : 28325 (wbo1.4b) R 28323 28325 28024 0 -1 4202496 184879 0 0 0 16022 200 0 0 25 0 1 0 86647539 758915072 184772 1992294400 134512640 135752675 4289738832 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28325/statm: 185282 184772 145 303 0 184977 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 741128 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.85 2/107 28332 /proc/meminfo: memFree=500996/2059040 swapFree=4140924/4192956 [pid=28325] ppid=28323 vsize=814984 CPUtime=222.21 /proc/28325/stat : 28325 (wbo1.4b) R 28323 28325 28024 0 -1 4202496 203444 0 0 0 21936 285 0 0 25 0 1 0 86647539 834543616 203308 1992294400 134512640 135752675 4289738832 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28325/statm: 203746 203308 146 303 0 203441 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 814984 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.86 2/107 28334 /proc/meminfo: memFree=444452/2059040 swapFree=4140924/4192956 [pid=28325] ppid=28323 vsize=871996 CPUtime=282.18 /proc/28325/stat : 28325 (wbo1.4b) R 28323 28325 28024 0 -1 4202496 217655 0 0 0 27895 323 0 0 25 0 1 0 86647539 892923904 217519 1992294400 134512640 135752675 4289738832 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28325/statm: 217999 217519 146 303 0 217694 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 871996 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.86 2/107 28336 /proc/meminfo: memFree=402664/2059040 swapFree=4140924/4192956 [pid=28325] ppid=28323 vsize=913620 CPUtime=342.16 /proc/28325/stat : 28325 (wbo1.4b) R 28323 28325 28024 0 -1 4202496 228010 0 0 0 33860 356 0 0 25 0 1 0 86647539 935546880 227874 1992294400 134512640 135752675 4289738832 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28325/statm: 228405 227874 146 303 0 228100 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 913620 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.87 2/107 28338 /proc/meminfo: memFree=355172/2059040 swapFree=4140924/4192956 [pid=28325] ppid=28323 vsize=961752 CPUtime=402.13 /proc/28325/stat : 28325 (wbo1.4b) R 28323 28325 28024 0 -1 4202496 240015 0 0 0 39814 399 0 0 25 0 1 0 86647539 984834048 239879 1992294400 134512640 135752675 4289738832 18446744073709551615 134612030 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28325/statm: 240438 239879 146 303 0 240133 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 961752 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.88 2/107 28338 /proc/meminfo: memFree=307308/2059040 swapFree=4140924/4192956 [pid=28325] ppid=28323 vsize=1008320 CPUtime=462.12 /proc/28325/stat : 28325 (wbo1.4b) R 28323 28325 28024 0 -1 4202496 251807 0 0 0 45746 466 0 0 25 0 1 0 86647539 1032519680 251643 1992294400 134512640 135752675 4289738832 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28325/statm: 252080 251643 146 303 0 251775 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 1008320 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.88 2/107 28340 /proc/meminfo: memFree=183928/2059040 swapFree=4140924/4192956 [pid=28325] ppid=28323 vsize=1134544 CPUtime=522.1 /proc/28325/stat : 28325 (wbo1.4b) R 28323 28325 28024 0 -1 4202496 283310 0 0 0 51687 523 0 0 25 0 1 0 86647539 1161773056 283146 1992294400 134512640 135752675 4289738832 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28325/statm: 283636 283146 146 303 0 283331 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 1134544 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.89 2/107 28342 /proc/meminfo: memFree=25456/2059040 swapFree=4140924/4192956 [pid=28325] ppid=28323 vsize=1290824 CPUtime=582.07 /proc/28325/stat : 28325 (wbo1.4b) R 28323 28325 28024 0 -1 4202496 322335 0 0 0 57623 584 0 0 25 0 1 0 86647539 1321803776 322171 1992294400 134512640 135752675 4289738832 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28325/statm: 322706 322171 146 303 0 322401 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 1290824 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.89 2/107 28344 /proc/meminfo: memFree=10652/2059040 swapFree=4140856/4192956 [pid=28325] ppid=28323 vsize=1446220 CPUtime=642.06 /proc/28325/stat : 28325 (wbo1.4b) R 28323 28325 28024 0 -1 4202496 361166 0 0 0 63560 646 0 0 25 0 1 0 86647539 1480929280 361002 1992294400 134512640 135752675 4289738832 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28325/statm: 361555 361002 146 303 0 361250 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 1446220 [startup+702.301 s] /proc/loadavg: 1.00 1.00 0.90 2/107 28346 /proc/meminfo: memFree=10276/2059040 swapFree=4140856/4192956 [pid=28325] ppid=28323 vsize=1587016 CPUtime=702.02 /proc/28325/stat : 28325 (wbo1.4b) R 28323 28325 28024 0 -1 4202496 396344 0 0 0 69505 697 0 0 25 0 1 0 86647539 1625104384 396180 1992294400 134512640 135752675 4289738832 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28325/statm: 396754 396180 146 303 0 396449 0 Current children cumulated CPU time (s) 702.02 Current children cumulated vsize (KiB) 1587016 [startup+762.308 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28346 /proc/meminfo: memFree=9972/2059040 swapFree=4140856/4192956 [pid=28325] ppid=28323 vsize=1731256 CPUtime=762 /proc/28325/stat : 28325 (wbo1.4b) R 28323 28325 28024 0 -1 4202496 432381 0 0 0 75451 749 0 0 25 0 1 0 86647539 1772806144 432217 1992294400 134512640 135752675 4289738832 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28325/statm: 432814 432217 146 303 0 432509 0 Current children cumulated CPU time (s) 762 Current children cumulated vsize (KiB) 1731256 [startup+822.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28348 /proc/meminfo: memFree=9560/2059040 swapFree=4140856/4192956 [pid=28325] ppid=28323 vsize=1833072 CPUtime=821.98 /proc/28325/stat : 28325 (wbo1.4b) R 28323 28325 28024 0 -1 4202496 457798 0 0 0 81409 789 0 0 25 0 1 0 86647539 1877065728 457634 1992294400 134512640 135752675 4289738832 18446744073709551615 134603250 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28325/statm: 458268 457634 146 303 0 457963 0 Current children cumulated CPU time (s) 821.98 Current children cumulated vsize (KiB) 1833072 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+826.801 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28348 /proc/meminfo: memFree=10256/2059040 swapFree=4140856/4192956 [pid=28325] ppid=28323 vsize=1843504 CPUtime=826.48 /proc/28325/stat : 28325 (wbo1.4b) R 28323 28325 28024 0 -1 4202496 460387 0 0 0 81855 793 0 0 25 0 1 0 86647539 1887748096 460223 1992294400 134512640 135752675 4289738832 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28325/statm: 460876 460223 146 303 0 460571 0 Current children cumulated CPU time (s) 826.48 Current children cumulated vsize (KiB) 1843504 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+826.909 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28348 /proc/meminfo: memFree=10256/2059040 swapFree=4140856/4192956 [pid=28325] ppid=28323 vsize=0 CPUtime=826.58 /proc/28325/stat : 28325 (wbo1.4b) R 28323 28325 28024 0 -1 4203524 460387 0 0 0 81855 803 0 0 25 0 1 0 86647539 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/28325/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 826.58 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 826.992 CPU time (s): 826.673 CPU user time (s): 818.558 CPU system time (s): 8.11577 CPU usage (%): 99.9615 Max. virtual memory (cumulated for all children) (KiB): 1843504 getrusage(RUSAGE_CHILDREN,...) data: user time used= 818.558 system time used= 8.11577 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460387 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= 44 involuntary context switches= 1060 runsolver used 1.48877 second user time and 3.82042 second system time The end
Begin job on node044 at 2010-06-25 10:12:32 IDJOB=2680663 IDBENCH=2119 IDSOLVER=1190 FILE ID=node044/2680663-1277453552 PBS_JOBID= 11188123 Free space on /tmp= 62276 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8e1.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680663-1277453552/watcher-2680663-1277453552 -o /tmp/evaluation-result-2680663-1277453552/solver-2680663-1277453552 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680663-1277453552.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9711add7b63200e6cedabbc5764a3737 RANDOM SEED=1215198665 node044.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.266 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.53 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.266 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1316212 kB Buffers: 148020 kB Cached: 482160 kB SwapCached: 5776 kB Active: 221960 kB Inactive: 422148 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1316212 kB SwapTotal: 4192956 kB SwapFree: 4140924 kB Dirty: 2916 kB Writeback: 0 kB AnonPages: 12088 kB Mapped: 12004 kB Slab: 76700 kB PageTables: 4040 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181428 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= 62276 MiB End job on node044 at 2010-06-25 10:26:21