Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 1627.88 | 1628.37 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8b2.opb |
MD5SUM | 70025ca48ca8d6f0557fd72393d339c2 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 379 |
Best CPU time to get the best result obtained on this benchmark | 11.1793 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 379 |
Optimality of the best value was proved | NO |
Number of variables | 1152 |
Total number of constraints | 4664 |
Number of constraints which are clauses | 4664 |
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 | 8 |
Number of terms in the objective function | 1152 |
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 | 1152 |
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 | 1152 |
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-2680620-1277453517.opb. 0.00/0.00 c Instance file HOME/instance-2680620-1277453517.opb 0.00/0.00 c File size is 123595 bytes. 0.00/0.01 c Highest Coefficient sum: 9 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.02 s | 0.00/0.01 c | Number Variables: 1152 | 0.00/0.01 c | Number Clauses: 4664 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 0 | 0.00/0.05 c ============================[ Search Statistics ]============================== 0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 1152 4664 10368 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 442 0.00/0.06 o 442 0.00/0.06 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 4 | 1152 4665 11520 | 5000 4 10 | 0.000 % | 0.00/0.07 c | 104 | 1152 4665 11520 | 5500 104 420 | 0.000 % | 0.09/0.09 c | 254 | 1152 4665 11520 | 6050 254 422 | 0.000 % | 0.09/0.13 c | 480 | 1152 4665 11520 | 6655 480 428 | 0.001 % | 0.09/0.19 c | 818 | 1152 4665 11520 | 7320 818 435 | 0.006 % | 0.19/0.26 c | 1324 | 1152 4665 11520 | 8052 1324 436 | 0.008 % | 0.29/0.39 c | 2084 | 1152 4665 11520 | 8857 2084 441 | 0.000 % | 0.49/0.59 c | 3224 | 1152 4665 11520 | 9743 3224 441 | 0.000 % | 0.89/0.91 c | 4933 | 1152 4665 11520 | 10717 4933 443 | 0.000 % | 1.29/1.38 c | 7495 | 1152 4665 11520 | 11789 7495 443 | 0.005 % | 2.20/2.21 c | 11339 | 1152 4665 11520 | 12968 11339 444 | 0.000 % | 3.30/3.32 c | 17106 | 1152 4665 11520 | 14265 10165 443 | 0.000 % | 5.50/5.53 c | 25755 | 1152 4665 11520 | 15692 11174 445 | 0.008 % | 8.38/8.40 c | 38730 | 1152 4665 11520 | 17261 15843 446 | 0.000 % | 13.69/13.71 c | 58191 | 1152 4665 11520 | 18987 17068 448 | 0.000 % | 21.08/21.14 c | 87384 | 1152 4665 11520 | 20886 16486 445 | 0.005 % | 37.39/37.43 c | 131174 | 1152 4665 11520 | 22974 15823 447 | 0.009 % | 59.28/59.37 c | 196858 | 1152 4665 11520 | 25272 15746 448 | 0.000 % | 99.97/100.00 c | 295385 | 1152 4665 11520 | 27799 22220 448 | 0.000 % | 170.14/170.25 c | 443174 | 1152 4665 11520 | 30579 27359 448 | 0.000 % | 182.14/182.22 c There are 0 assigned variables. 0 in cost function. 183.04/183.19 c core #1 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 1 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #2 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 2 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #3 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 3 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #4 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 4 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #5 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 5 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #6 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 6 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #7 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 7 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #8 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 8 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #9 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 9 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #10 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 10 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #11 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 11 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #12 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 12 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #13 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 13 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #14 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 14 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #15 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 15 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #16 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 16 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #17 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 17 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #18 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 18 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #19 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 19 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #20 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 20 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #21 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 21 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #22 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 22 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #23 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 23 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #24 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 24 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #25 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 25 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #26 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 26 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #27 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 27 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #28 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 28 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #29 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 29 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #30 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 30 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #31 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 31 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #32 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 32 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #33 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 33 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #34 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 34 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #35 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 35 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #36 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 36 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #37 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 37 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #38 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 38 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #39 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 39 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #40 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 40 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #41 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 41 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #42 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 42 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #43 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 43 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #44 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 44 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #45 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 45 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #46 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 46 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #47 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 47 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #48 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 3 Core Weight: 1 Total Weight: 48 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #49 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 9 Core Weight: 1 Total Weight: 49 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #50 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 9 Core Weight: 1 Total Weight: 50 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #51 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 9 Core Weight: 1 Total Weight: 51 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #52 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 9 Core Weight: 1 Total Weight: 52 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #53 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 9 Core Weight: 1 Total Weight: 53 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #54 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 9 Core Weight: 1 Total Weight: 54 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #55 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 7 Core Weight: 1 Total Weight: 55 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #56 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 7 Core Weight: 1 Total Weight: 56 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #57 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 7 Core Weight: 1 Total Weight: 57 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #58 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 7 Core Weight: 1 Total Weight: 58 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #59 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 7 Core Weight: 1 Total Weight: 59 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #60 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 7 Core Weight: 1 Total Weight: 60 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #61 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 7 Core Weight: 1 Total Weight: 61 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #62 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 62 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #63 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 63 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #64 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 64 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #65 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 65 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #66 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 66 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #67 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 67 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #68 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 68 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #69 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 69 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #70 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 70 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #71 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 71 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #72 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 72 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #73 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 73 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #74 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 74 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #75 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 75 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #76 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 76 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #77 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 77 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #78 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 78 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #79 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 79 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #80 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 80 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #81 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 81 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #82 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 82 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #83 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 83 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #84 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 84 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #85 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 85 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #86 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 86 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #87 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 87 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #88 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 88 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #89 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 89 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #90 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 90 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #91 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 91 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #92 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 92 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #93 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 93 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #94 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 94 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #95 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 95 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #96 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 96 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #97 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 97 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #98 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 98 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #99 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 99 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #100 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 100 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #101 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 101 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #102 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 102 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #103 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 103 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #104 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 104 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #105 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 105 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #106 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 106 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #107 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 107 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #108 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 108 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #109 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 109 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #110 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 110 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #111 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 111 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #112 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 112 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #113 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 113 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #114 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 114 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #115 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 115 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #116 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 116 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #117 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 117 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #118 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 118 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #119 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 119 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #120 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 7 Core Weight: 1 Total Weight: 120 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c core #121 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 7 Core Weight: 1 Total Weight: 121 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #122 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 7 Core Weight: 1 Total Weight: 122 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #123 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 7 Core Weight: 1 Total Weight: 123 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #124 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 7 Core Weight: 1 Total Weight: 124 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #125 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 7 Core Weight: 1 Total Weight: 125 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #126 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 7 Core Weight: 1 Total Weight: 126 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #127 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 7 Core Weight: 1 Total Weight: 127 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #128 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 7 Core Weight: 1 Total Weight: 128 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #129 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 7 Core Weight: 1 Total Weight: 129 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #130 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 7 Core Weight: 1 Total Weight: 130 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #131 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 7 Core Weight: 1 Total Weight: 131 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #132 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 7 Core Weight: 1 Total Weight: 132 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #133 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 7 Core Weight: 1 Total Weight: 133 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #134 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 7 Core Weight: 1 Total Weight: 134 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #135 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 14 Core Weight: 1 Total Weight: 135 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #136 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 22 Core Weight: 1 Total Weight: 136 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #137 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 22 Core Weight: 1 Total Weight: 137 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #138 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 21 Core Weight: 1 Total Weight: 138 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #139 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 23 Core Weight: 1 Total Weight: 139 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #140 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 22 Core Weight: 1 Total Weight: 140 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #141 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 21 Core Weight: 1 Total Weight: 141 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #142 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 22 Core Weight: 1 Total Weight: 142 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #143 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 23 Core Weight: 1 Total Weight: 143 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #144 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 21 Core Weight: 1 Total Weight: 144 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #145 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 19 Core Weight: 1 Total Weight: 145 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #146 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 21 Core Weight: 1 Total Weight: 146 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #147 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 20 Core Weight: 1 Total Weight: 147 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #148 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 21 Core Weight: 1 Total Weight: 148 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #149 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 23 Core Weight: 1 Total Weight: 149 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #150 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 21 Core Weight: 1 Total Weight: 150 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #151 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 21 Core Weight: 1 Total Weight: 151 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #152 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 19 Core Weight: 1 Total Weight: 152 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #153 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 20 Core Weight: 1 Total Weight: 153 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #154 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 18 Core Weight: 1 Total Weight: 154 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #155 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 14 Core Weight: 1 Total Weight: 155 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #156 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 22 Core Weight: 1 Total Weight: 156 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #157 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 22 Core Weight: 1 Total Weight: 157 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #158 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 21 Core Weight: 1 Total Weight: 158 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #159 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 23 Core Weight: 1 Total Weight: 159 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #160 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 22 Core Weight: 1 Total Weight: 160 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #161 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 21 Core Weight: 1 Total Weight: 161 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #162 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 22 Core Weight: 1 Total Weight: 162 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #163 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 23 Core Weight: 1 Total Weight: 163 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #164 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 21 Core Weight: 1 Total Weight: 164 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #165 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 19 Core Weight: 1 Total Weight: 165 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #166 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 21 Core Weight: 1 Total Weight: 166 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #167 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 20 Core Weight: 1 Total Weight: 167 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #168 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 21 Core Weight: 1 Total Weight: 168 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #169 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 23 Core Weight: 1 Total Weight: 169 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #170 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 21 Core Weight: 1 Total Weight: 170 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #171 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 21 Core Weight: 1 Total Weight: 171 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #172 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 19 Core Weight: 1 Total Weight: 172 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #173 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 20 Core Weight: 1 Total Weight: 173 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #174 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 18 Core Weight: 1 Total Weight: 174 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #175 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 14 Core Weight: 1 Total Weight: 175 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #176 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 22 Core Weight: 1 Total Weight: 176 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #177 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 22 Core Weight: 1 Total Weight: 177 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c core #178 184.04/184.16 c 184.04/184.16 c 184.04/184.16 c Core size: 21 Core Weight: 1 Total Weight: 178 184.04/184.16 c 184.04/184.16 c 184.64/184.75 c core #179 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 23 Core Weight: 1 Total Weight: 179 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #180 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 22 Core Weight: 1 Total Weight: 180 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #181 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 21 Core Weight: 1 Total Weight: 181 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #182 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 22 Core Weight: 1 Total Weight: 182 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #183 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 23 Core Weight: 1 Total Weight: 183 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #184 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 21 Core Weight: 1 Total Weight: 184 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #185 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 19 Core Weight: 1 Total Weight: 185 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #186 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 21 Core Weight: 1 Total Weight: 186 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #187 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 20 Core Weight: 1 Total Weight: 187 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #188 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 21 Core Weight: 1 Total Weight: 188 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #189 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 23 Core Weight: 1 Total Weight: 189 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #190 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 21 Core Weight: 1 Total Weight: 190 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #191 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 21 Core Weight: 1 Total Weight: 191 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #192 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 19 Core Weight: 1 Total Weight: 192 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #193 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 20 Core Weight: 1 Total Weight: 193 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #194 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 18 Core Weight: 1 Total Weight: 194 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #195 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 14 Core Weight: 1 Total Weight: 195 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #196 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 22 Core Weight: 1 Total Weight: 196 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #197 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 22 Core Weight: 1 Total Weight: 197 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #198 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 21 Core Weight: 1 Total Weight: 198 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #199 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 23 Core Weight: 1 Total Weight: 199 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #200 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 22 Core Weight: 1 Total Weight: 200 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #201 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 21 Core Weight: 1 Total Weight: 201 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #202 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 22 Core Weight: 1 Total Weight: 202 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #203 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 23 Core Weight: 1 Total Weight: 203 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #204 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 21 Core Weight: 1 Total Weight: 204 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #205 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 19 Core Weight: 1 Total Weight: 205 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #206 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 21 Core Weight: 1 Total Weight: 206 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #207 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 20 Core Weight: 1 Total Weight: 207 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #208 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 21 Core Weight: 1 Total Weight: 208 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #209 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 23 Core Weight: 1 Total Weight: 209 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #210 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 21 Core Weight: 1 Total Weight: 210 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #211 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 21 Core Weight: 1 Total Weight: 211 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #212 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 19 Core Weight: 1 Total Weight: 212 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #213 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 20 Core Weight: 1 Total Weight: 213 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #214 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 18 Core Weight: 1 Total Weight: 214 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #215 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 14 Core Weight: 1 Total Weight: 215 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #216 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 22 Core Weight: 1 Total Weight: 216 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #217 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 22 Core Weight: 1 Total Weight: 217 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #218 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 21 Core Weight: 1 Total Weight: 218 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #219 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 23 Core Weight: 1 Total Weight: 219 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #220 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 22 Core Weight: 1 Total Weight: 220 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #221 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 21 Core Weight: 1 Total Weight: 221 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #222 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 22 Core Weight: 1 Total Weight: 222 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #223 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 23 Core Weight: 1 Total Weight: 223 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #224 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 21 Core Weight: 1 Total Weight: 224 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #225 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 19 Core Weight: 1 Total Weight: 225 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #226 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 21 Core Weight: 1 Total Weight: 226 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #227 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 20 Core Weight: 1 Total Weight: 227 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #228 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 21 Core Weight: 1 Total Weight: 228 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #229 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 23 Core Weight: 1 Total Weight: 229 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #230 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 21 Core Weight: 1 Total Weight: 230 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #231 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 21 Core Weight: 1 Total Weight: 231 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #232 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 19 Core Weight: 1 Total Weight: 232 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #233 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 20 Core Weight: 1 Total Weight: 233 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #234 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 18 Core Weight: 1 Total Weight: 234 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #235 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 14 Core Weight: 1 Total Weight: 235 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c core #236 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 22 Core Weight: 1 Total Weight: 236 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c core #237 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c Core size: 22 Core Weight: 1 Total Weight: 237 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c core #238 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c Core size: 21 Core Weight: 1 Total Weight: 238 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c core #239 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c Core size: 23 Core Weight: 1 Total Weight: 239 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c core #240 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c Core size: 22 Core Weight: 1 Total Weight: 240 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c core #241 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c Core size: 21 Core Weight: 1 Total Weight: 241 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c core #242 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c Core size: 22 Core Weight: 1 Total Weight: 242 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c core #243 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c Core size: 23 Core Weight: 1 Total Weight: 243 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c core #244 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c Core size: 21 Core Weight: 1 Total Weight: 244 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c core #245 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c Core size: 19 Core Weight: 1 Total Weight: 245 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c core #246 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c Core size: 21 Core Weight: 1 Total Weight: 246 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c core #247 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c Core size: 20 Core Weight: 1 Total Weight: 247 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c core #248 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c Core size: 21 Core Weight: 1 Total Weight: 248 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c core #249 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c Core size: 23 Core Weight: 1 Total Weight: 249 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c core #250 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c Core size: 21 Core Weight: 1 Total Weight: 250 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c core #251 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c Core size: 21 Core Weight: 1 Total Weight: 251 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c core #252 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c Core size: 19 Core Weight: 1 Total Weight: 252 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c core #253 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c Core size: 20 Core Weight: 1 Total Weight: 253 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c core #254 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c Core size: 18 Core Weight: 1 Total Weight: 254 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c ============================[ Search Statistics ]============================== 184.83/184.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.83/184.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.83/184.96 c =============================================================================== 184.83/184.96 c | 0 | 2280 6074 14922 | 5000 0 nan | 0.000 % | 184.83/184.97 c =============================================================================== 184.83/184.98 c core #255 184.83/184.98 c 184.83/184.98 c 184.83/184.98 c Core size: 14 Core Weight: 1 Total Weight: 255 184.83/184.98 c 184.83/184.98 c 184.83/184.98 c ============================[ Search Statistics ]============================== 184.83/184.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.83/184.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.83/184.98 c =============================================================================== 184.83/184.98 c | 0 | 2288 6075 14938 | 5000 0 nan | 0.000 % | 184.83/184.98 c =============================================================================== 184.83/184.99 c core #256 184.83/184.99 c 184.83/184.99 c 184.83/184.99 c Core size: 14 Core Weight: 1 Total Weight: 256 184.83/184.99 c 184.83/184.99 c 184.83/184.99 c ============================[ Search Statistics ]============================== 184.83/184.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.83/184.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.83/184.99 c =============================================================================== 184.83/184.99 c | 0 | 2296 6076 14954 | 5000 0 nan | 0.000 % | 184.83/184.99 c =============================================================================== 184.93/185.01 c core #257 184.93/185.01 c 184.93/185.01 c 184.93/185.01 c Core size: 12 Core Weight: 1 Total Weight: 257 184.93/185.01 c 184.93/185.01 c 184.93/185.01 c ============================[ Search Statistics ]============================== 184.93/185.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.93/185.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.93/185.01 c =============================================================================== 184.93/185.01 c | 0 | 2303 6077 14968 | 5000 0 nan | 0.000 % | 184.93/185.01 c =============================================================================== 184.93/185.02 c core #258 184.93/185.02 c 184.93/185.02 c 184.93/185.02 c Core size: 12 Core Weight: 1 Total Weight: 258 184.93/185.02 c 184.93/185.02 c 184.93/185.02 c ============================[ Search Statistics ]============================== 184.93/185.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.93/185.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.93/185.02 c =============================================================================== 184.93/185.02 c | 0 | 2311 6078 14984 | 5000 0 nan | 0.000 % | 184.93/185.02 c =============================================================================== 184.93/185.04 c core #259 184.93/185.04 c 184.93/185.04 c 184.93/185.04 c Core size: 27 Core Weight: 1 Total Weight: 259 184.93/185.04 c 184.93/185.04 c 184.93/185.04 c ============================[ Search Statistics ]============================== 184.93/185.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.93/185.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.93/185.04 c =============================================================================== 184.93/185.04 c | 0 | 2321 6079 15004 | 5000 0 nan | 0.000 % | 184.93/185.04 c =============================================================================== 184.93/185.05 c core #260 184.93/185.05 c 184.93/185.05 c 184.93/185.05 c Core size: 10 Core Weight: 1 Total Weight: 260 184.93/185.05 c 184.93/185.05 c 184.93/185.05 c ============================[ Search Statistics ]============================== 184.93/185.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.93/185.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.93/185.05 c =============================================================================== 184.93/185.05 c | 0 | 2327 6080 15016 | 5000 0 nan | 0.000 % | 184.93/185.05 c =============================================================================== 184.93/185.07 c core #261 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 22 Core Weight: 1 Total Weight: 261 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c ============================[ Search Statistics ]============================== 184.93/185.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.93/185.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.93/185.07 c =============================================================================== 184.93/185.07 c | 0 | 2334 6081 15030 | 5000 0 nan | 0.000 % | 184.93/185.07 c =============================================================================== 184.93/185.08 c core #262 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c Core size: 27 Core Weight: 1 Total Weight: 262 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c ============================[ Search Statistics ]============================== 184.93/185.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.93/185.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.93/185.08 c =============================================================================== 184.93/185.08 c | 0 | 2342 6082 15046 | 5000 0 nan | 0.000 % | 184.93/185.08 c =============================================================================== 184.93/185.10 c core #263 184.93/185.10 c 184.93/185.10 c 184.93/185.10 c Core size: 24 Core Weight: 1 Total Weight: 263 184.93/185.10 c 184.93/185.10 c 184.93/185.10 c ============================[ Search Statistics ]============================== 184.93/185.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.93/185.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.93/185.10 c =============================================================================== 184.93/185.10 c | 0 | 2349 6083 15060 | 5000 0 nan | 0.000 % | 185.03/185.10 c =============================================================================== 185.03/185.11 c core #264 185.03/185.11 c 185.03/185.11 c 185.03/185.11 c Core size: 25 Core Weight: 1 Total Weight: 264 185.03/185.11 c 185.03/185.11 c 185.03/185.11 c ============================[ Search Statistics ]============================== 185.03/185.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.03/185.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.03/185.11 c =============================================================================== 185.03/185.11 c | 0 | 2358 6084 15078 | 5000 0 nan | 0.000 % | 185.03/185.12 c =============================================================================== 185.03/185.13 c core #265 185.03/185.13 c 185.03/185.13 c 185.03/185.13 c Core size: 12 Core Weight: 1 Total Weight: 265 185.03/185.13 c 185.03/185.13 c 185.03/185.13 c ============================[ Search Statistics ]============================== 185.03/185.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.03/185.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.03/185.13 c =============================================================================== 185.03/185.13 c | 0 | 2365 6085 15092 | 5000 0 nan | 0.000 % | 185.03/185.13 c =============================================================================== 185.03/185.14 c core #266 185.03/185.14 c 185.03/185.14 c 185.03/185.14 c Core size: 27 Core Weight: 1 Total Weight: 266 185.03/185.14 c 185.03/185.14 c 185.03/185.14 c ============================[ Search Statistics ]============================== 185.03/185.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.03/185.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.03/185.14 c =============================================================================== 185.03/185.14 c | 0 | 2375 6086 15112 | 5000 0 nan | 0.000 % | 185.03/185.15 c =============================================================================== 185.03/185.16 c core #267 185.03/185.16 c 185.03/185.16 c 185.03/185.16 c Core size: 10 Core Weight: 1 Total Weight: 267 185.03/185.16 c 185.03/185.16 c 185.03/185.16 c ============================[ Search Statistics ]============================== 185.03/185.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.03/185.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.03/185.16 c =============================================================================== 185.03/185.16 c | 0 | 2381 6087 15124 | 5000 0 nan | 0.000 % | 185.03/185.16 c =============================================================================== 185.03/185.18 c core #268 185.03/185.18 c 185.03/185.18 c 185.03/185.18 c Core size: 12 Core Weight: 1 Total Weight: 268 185.03/185.18 c 185.03/185.18 c 185.03/185.18 c ============================[ Search Statistics ]============================== 185.03/185.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.03/185.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.03/185.18 c =============================================================================== 185.03/185.18 c | 0 | 2388 6088 15138 | 5000 0 nan | 0.000 % | 185.03/185.18 c =============================================================================== 185.03/185.19 c core #269 185.03/185.19 c 185.03/185.19 c 185.03/185.19 c Core size: 16 Core Weight: 1 Total Weight: 269 185.03/185.19 c 185.03/185.19 c 185.03/185.19 c ============================[ Search Statistics ]============================== 185.03/185.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.03/185.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.03/185.19 c =============================================================================== 185.03/185.19 c | 0 | 2397 6089 15156 | 5000 0 nan | 0.000 % | 185.13/185.20 c =============================================================================== 185.13/185.21 c core #270 185.13/185.21 c 185.13/185.21 c 185.13/185.21 c Core size: 10 Core Weight: 1 Total Weight: 270 185.13/185.21 c 185.13/185.21 c 185.13/185.21 c ============================[ Search Statistics ]============================== 185.13/185.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.13/185.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.13/185.21 c =============================================================================== 185.13/185.21 c | 0 | 2403 6090 15168 | 5000 0 nan | 0.000 % | 185.13/185.21 c =============================================================================== 185.13/185.23 c core #271 185.13/185.23 c 185.13/185.23 c 185.13/185.23 c Core size: 23 Core Weight: 1 Total Weight: 271 185.13/185.23 c 185.13/185.23 c 185.13/185.23 c ============================[ Search Statistics ]============================== 185.13/185.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.13/185.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.13/185.23 c =============================================================================== 185.13/185.23 c | 0 | 2412 6092 15189 | 5000 0 nan | 0.000 % | 185.13/185.23 c =============================================================================== 185.13/185.24 c core #272 185.13/185.24 c 185.13/185.24 c 185.13/185.24 c Core size: 10 Core Weight: 1 Total Weight: 272 185.13/185.24 c 185.13/185.24 c 185.13/185.24 c ============================[ Search Statistics ]============================== 185.13/185.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.13/185.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.13/185.24 c =============================================================================== 185.13/185.24 c | 0 | 2418 6094 15204 | 5000 0 nan | 0.000 % | 185.13/185.25 c =============================================================================== 185.13/185.26 c core #273 185.13/185.26 c 185.13/185.26 c 185.13/185.26 c Core size: 25 Core Weight: 1 Total Weight: 273 185.13/185.26 c 185.13/185.26 c 185.13/185.26 c ============================[ Search Statistics ]============================== 185.13/185.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.13/185.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.13/185.26 c =============================================================================== 185.13/185.26 c | 0 | 2430 6095 15228 | 5000 0 nan | 0.000 % | 185.13/185.27 c =============================================================================== 185.13/185.28 c core #274 185.13/185.28 c 185.13/185.28 c 185.13/185.28 c Core size: 24 Core Weight: 1 Total Weight: 274 185.13/185.28 c 185.13/185.28 c 185.13/185.28 c ============================[ Search Statistics ]============================== 185.13/185.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.13/185.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.13/185.28 c =============================================================================== 185.13/185.28 c | 0 | 2440 6097 15251 | 5000 0 nan | 0.000 % | 185.13/185.28 c =============================================================================== 185.13/185.30 c core #275 185.13/185.30 c 185.13/185.30 c 185.13/185.30 c Core size: 25 Core Weight: 1 Total Weight: 275 185.13/185.30 c 185.13/185.30 c 185.13/185.30 c ============================[ Search Statistics ]============================== 185.13/185.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.13/185.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.13/185.30 c =============================================================================== 185.13/185.30 c | 0 | 2448 6098 15267 | 5000 0 nan | 0.000 % | 185.23/185.30 c =============================================================================== 185.23/185.31 c core #276 185.23/185.31 c 185.23/185.31 c 185.23/185.31 c Core size: 15 Core Weight: 1 Total Weight: 276 185.23/185.31 c 185.23/185.31 c 185.23/185.31 c ============================[ Search Statistics ]============================== 185.23/185.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.23/185.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.23/185.31 c =============================================================================== 185.23/185.31 c | 0 | 2459 6099 15289 | 5000 0 nan | 0.000 % | 185.23/185.32 c =============================================================================== 185.23/185.33 c core #277 185.23/185.33 c 185.23/185.33 c 185.23/185.33 c Core size: 28 Core Weight: 1 Total Weight: 277 185.23/185.33 c 185.23/185.33 c 185.23/185.33 c ============================[ Search Statistics ]============================== 185.23/185.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.23/185.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.23/185.33 c =============================================================================== 185.23/185.33 c | 0 | 2469 6100 15309 | 5000 0 nan | 0.000 % | 185.23/185.34 c =============================================================================== 185.23/185.35 c core #278 185.23/185.35 c 185.23/185.35 c 185.23/185.35 c Core size: 27 Core Weight: 1 Total Weight: 278 185.23/185.35 c 185.23/185.35 c 185.23/185.35 c ============================[ Search Statistics ]============================== 185.23/185.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.23/185.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.23/185.35 c =============================================================================== 185.23/185.35 c | 0 | 2478 6101 15327 | 5000 0 nan | 0.000 % | 185.23/185.36 c =============================================================================== 185.23/185.37 c core #279 185.23/185.37 c 185.23/185.37 c 185.23/185.37 c Core size: 16 Core Weight: 1 Total Weight: 279 185.23/185.37 c 185.23/185.37 c 185.23/185.37 c ============================[ Search Statistics ]============================== 185.23/185.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.23/185.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.23/185.37 c =============================================================================== 185.23/185.37 c | 0 | 2486 6102 15343 | 5000 0 nan | 0.000 % | 185.23/185.38 c =============================================================================== 185.23/185.39 c core #280 185.23/185.39 c 185.23/185.39 c 185.23/185.39 c Core size: 10 Core Weight: 1 Total Weight: 280 185.23/185.39 c 185.23/185.39 c 185.23/185.39 c ============================[ Search Statistics ]============================== 185.23/185.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.23/185.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.23/185.39 c =============================================================================== 185.23/185.39 c | 0 | 2492 6103 15355 | 5000 0 nan | 0.000 % | 185.23/185.40 c =============================================================================== 185.34/185.41 c core #281 185.34/185.41 c 185.34/185.41 c 185.34/185.41 c Core size: 24 Core Weight: 1 Total Weight: 281 185.34/185.41 c 185.34/185.41 c 185.34/185.41 c ============================[ Search Statistics ]============================== 185.34/185.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.34/185.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.34/185.41 c =============================================================================== 185.34/185.41 c | 0 | 2505 6104 15381 | 5000 0 nan | 0.000 % | 185.34/185.41 c =============================================================================== 185.34/185.43 c core #282 185.34/185.43 c 185.34/185.43 c 185.34/185.43 c Core size: 31 Core Weight: 1 Total Weight: 282 185.34/185.43 c 185.34/185.43 c 185.34/185.43 c ============================[ Search Statistics ]============================== 185.34/185.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.34/185.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.34/185.43 c =============================================================================== 185.34/185.43 c | 0 | 2518 6105 15407 | 5000 0 nan | 0.000 % | 185.34/185.43 c =============================================================================== 185.34/185.44 c core #283 185.34/185.44 c 185.34/185.44 c 185.34/185.44 c Core size: 14 Core Weight: 1 Total Weight: 283 185.34/185.44 c 185.34/185.44 c 185.34/185.44 c ============================[ Search Statistics ]============================== 185.34/185.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.34/185.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.34/185.44 c =============================================================================== 185.34/185.44 c | 0 | 2526 6106 15423 | 5000 0 nan | 0.000 % | 185.34/185.45 c =============================================================================== 185.34/185.46 c core #284 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c Core size: 51 Core Weight: 1 Total Weight: 284 185.34/185.46 c 185.34/185.46 c 185.34/185.46 c ============================[ Search Statistics ]============================== 185.34/185.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.34/185.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.34/185.46 c =============================================================================== 185.34/185.46 c | 0 | 2569 6107 15509 | 5000 0 nan | 0.000 % | 185.34/185.47 c =============================================================================== 185.34/185.48 c core #285 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c Core size: 27 Core Weight: 1 Total Weight: 285 185.34/185.48 c 185.34/185.48 c 185.34/185.48 c ============================[ Search Statistics ]============================== 185.34/185.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.34/185.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.34/185.48 c =============================================================================== 185.34/185.48 c | 0 | 2579 6108 15529 | 5000 0 nan | 0.000 % | 185.34/185.49 c =============================================================================== 185.44/185.50 c core #286 185.44/185.50 c 185.44/185.50 c 185.44/185.50 c Core size: 21 Core Weight: 1 Total Weight: 286 185.44/185.50 c 185.44/185.50 c 185.44/185.50 c ============================[ Search Statistics ]============================== 185.44/185.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.44/185.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.44/185.50 c =============================================================================== 185.44/185.50 c | 0 | 2586 6109 15543 | 5000 0 nan | 0.000 % | 185.44/185.51 c =============================================================================== 185.44/185.52 c core #287 185.44/185.52 c 185.44/185.52 c 185.44/185.52 c Core size: 22 Core Weight: 1 Total Weight: 287 185.44/185.52 c 185.44/185.52 c 185.44/185.52 c ============================[ Search Statistics ]============================== 185.44/185.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.44/185.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.44/185.52 c =============================================================================== 185.44/185.52 c | 0 | 2599 6111 15572 | 5000 0 nan | 0.000 % | 185.44/185.52 c =============================================================================== 185.44/185.54 c core #288 185.44/185.54 c 185.44/185.54 c 185.44/185.54 c Core size: 26 Core Weight: 1 Total Weight: 288 185.44/185.54 c 185.44/185.54 c 185.44/185.54 c ============================[ Search Statistics ]============================== 185.44/185.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.44/185.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.44/185.54 c =============================================================================== 185.44/185.54 c | 0 | 2607 6112 15588 | 5000 0 nan | 0.000 % | 185.44/185.54 c =============================================================================== 185.44/185.55 c core #289 185.44/185.55 c 185.44/185.55 c 185.44/185.55 c Core size: 31 Core Weight: 1 Total Weight: 289 185.44/185.55 c 185.44/185.55 c 185.44/185.55 c ============================[ Search Statistics ]============================== 185.44/185.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.44/185.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.44/185.55 c =============================================================================== 185.44/185.55 c | 0 | 2619 6113 15612 | 5000 0 nan | 0.000 % | 185.44/185.56 c =============================================================================== 185.44/185.57 c core #290 185.44/185.57 c 185.44/185.57 c 185.44/185.57 c Core size: 30 Core Weight: 1 Total Weight: 290 185.44/185.57 c 185.44/185.57 c 185.44/185.57 c ============================[ Search Statistics ]============================== 185.44/185.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.44/185.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.44/185.57 c =============================================================================== 185.44/185.57 c | 0 | 2633 6114 15640 | 5000 0 nan | 0.000 % | 185.44/185.58 c =============================================================================== 185.44/185.59 c core #291 185.44/185.59 c 185.44/185.59 c 185.44/185.59 c Core size: 14 Core Weight: 1 Total Weight: 291 185.44/185.59 c 185.44/185.59 c 185.44/185.59 c ============================[ Search Statistics ]============================== 185.44/185.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.44/185.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.44/185.59 c =============================================================================== 185.44/185.59 c | 0 | 2641 6115 15656 | 5000 0 nan | 0.000 % | 185.54/185.60 c =============================================================================== 185.54/185.61 c core #292 185.54/185.61 c 185.54/185.61 c 185.54/185.61 c Core size: 13 Core Weight: 1 Total Weight: 292 185.54/185.61 c 185.54/185.61 c 185.54/185.61 c ============================[ Search Statistics ]============================== 185.54/185.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.61 c =============================================================================== 185.54/185.61 c | 0 | 2650 6116 15674 | 5000 0 nan | 0.000 % | 185.54/185.62 c =============================================================================== 185.54/185.63 c core #293 185.54/185.63 c 185.54/185.63 c 185.54/185.63 c Core size: 25 Core Weight: 1 Total Weight: 293 185.54/185.63 c 185.54/185.63 c 185.54/185.63 c ============================[ Search Statistics ]============================== 185.54/185.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.63 c =============================================================================== 185.54/185.63 c | 0 | 2661 6118 15699 | 5000 0 nan | 0.000 % | 185.54/185.63 c =============================================================================== 185.54/185.65 c core #294 185.54/185.65 c 185.54/185.65 c 185.54/185.65 c Core size: 24 Core Weight: 1 Total Weight: 294 185.54/185.65 c 185.54/185.65 c 185.54/185.65 c ============================[ Search Statistics ]============================== 185.54/185.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.65 c =============================================================================== 185.54/185.65 c | 0 | 2679 6119 15735 | 5000 0 nan | 0.000 % | 185.54/185.65 c =============================================================================== 185.54/185.66 c core #295 185.54/185.66 c 185.54/185.66 c 185.54/185.66 c Core size: 10 Core Weight: 1 Total Weight: 295 185.54/185.66 c 185.54/185.66 c 185.54/185.66 c ============================[ Search Statistics ]============================== 185.54/185.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.66 c =============================================================================== 185.54/185.66 c | 0 | 2685 6120 15747 | 5000 0 nan | 0.000 % | 185.54/185.67 c =============================================================================== 185.54/185.68 c core #296 185.54/185.68 c 185.54/185.68 c 185.54/185.68 c Core size: 24 Core Weight: 1 Total Weight: 296 185.54/185.68 c 185.54/185.68 c 185.54/185.68 c ============================[ Search Statistics ]============================== 185.54/185.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.68 c =============================================================================== 185.54/185.68 c | 0 | 2693 6121 15763 | 5000 0 nan | 0.000 % | 185.54/185.69 c =============================================================================== 185.64/185.70 c core #297 185.64/185.70 c 185.64/185.70 c 185.64/185.70 c Core size: 21 Core Weight: 1 Total Weight: 297 185.64/185.70 c 185.64/185.70 c 185.64/185.70 c ============================[ Search Statistics ]============================== 185.64/185.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.70 c =============================================================================== 185.64/185.70 c | 0 | 2706 6122 15789 | 5000 0 nan | 0.000 % | 185.64/185.71 c =============================================================================== 185.64/185.72 c core #298 185.64/185.72 c 185.64/185.72 c 185.64/185.72 c Core size: 23 Core Weight: 1 Total Weight: 298 185.64/185.72 c 185.64/185.72 c 185.64/185.72 c ============================[ Search Statistics ]============================== 185.64/185.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.72 c =============================================================================== 185.64/185.72 c | 0 | 2718 6123 15813 | 5000 0 nan | 0.000 % | 185.64/185.72 c =============================================================================== 185.64/185.74 c core #299 185.64/185.74 c 185.64/185.74 c 185.64/185.74 c Core size: 15 Core Weight: 1 Total Weight: 299 185.64/185.74 c 185.64/185.74 c 185.64/185.74 c ============================[ Search Statistics ]============================== 185.64/185.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.74 c =============================================================================== 185.64/185.74 c | 0 | 2730 6124 15837 | 5000 0 nan | 0.000 % | 185.64/185.74 c =============================================================================== 185.64/185.76 c core #300 185.64/185.76 c 185.64/185.76 c 185.64/185.76 c Core size: 23 Core Weight: 1 Total Weight: 300 185.64/185.76 c 185.64/185.76 c 185.64/185.76 c ============================[ Search Statistics ]============================== 185.64/185.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.76 c =============================================================================== 185.64/185.76 c | 0 | 2737 6125 15851 | 5000 0 nan | 0.000 % | 185.64/185.76 c =============================================================================== 185.64/185.77 c core #301 185.64/185.77 c 185.64/185.77 c 185.64/185.77 c Core size: 12 Core Weight: 1 Total Weight: 301 185.64/185.77 c 185.64/185.77 c 185.64/185.77 c ============================[ Search Statistics ]============================== 185.64/185.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.77 c =============================================================================== 185.64/185.77 c | 0 | 2744 6127 15868 | 5000 0 nan | 0.000 % | 185.64/185.78 c =============================================================================== 185.64/185.79 c core #302 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c Core size: 25 Core Weight: 1 Total Weight: 302 185.64/185.79 c 185.64/185.79 c 185.64/185.79 c ============================[ Search Statistics ]============================== 185.64/185.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.79 c =============================================================================== 185.64/185.79 c | 0 | 2761 6129 15905 | 5000 0 nan | 0.000 % | 185.74/185.80 c =============================================================================== 185.74/185.81 c core #303 185.74/185.81 c 185.74/185.81 c 185.74/185.81 c Core size: 24 Core Weight: 1 Total Weight: 303 185.74/185.81 c 185.74/185.81 c 185.74/185.81 c ============================[ Search Statistics ]============================== 185.74/185.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.74/185.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.74/185.81 c =============================================================================== 185.74/185.81 c | 0 | 2778 6130 15939 | 5000 0 nan | 0.000 % | 185.74/185.82 c =============================================================================== 185.74/185.83 c core #304 185.74/185.83 c 185.74/185.83 c 185.74/185.83 c Core size: 17 Core Weight: 1 Total Weight: 304 185.74/185.83 c 185.74/185.83 c 185.74/185.83 c ============================[ Search Statistics ]============================== 185.74/185.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.74/185.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.74/185.83 c =============================================================================== 185.74/185.83 c | 0 | 2790 6131 15963 | 5000 0 nan | 0.000 % | 185.74/185.83 c =============================================================================== 185.74/185.85 c core #305 185.74/185.85 c 185.74/185.85 c 185.74/185.85 c Core size: 27 Core Weight: 1 Total Weight: 305 185.74/185.85 c 185.74/185.85 c 185.74/185.85 c ============================[ Search Statistics ]============================== 185.74/185.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.74/185.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.74/185.85 c =============================================================================== 185.74/185.85 c | 0 | 2799 6132 15981 | 5000 0 nan | 0.000 % | 185.74/185.85 c =============================================================================== 185.74/185.87 c core #306 185.74/185.87 c 185.74/185.87 c 185.74/185.87 c Core size: 34 Core Weight: 1 Total Weight: 306 185.74/185.87 c 185.74/185.87 c 185.74/185.87 c ============================[ Search Statistics ]============================== 185.74/185.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.74/185.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.74/185.87 c =============================================================================== 185.74/185.87 c | 0 | 2824 6133 16031 | 5000 0 nan | 0.000 % | 185.74/185.87 c =============================================================================== 185.74/185.89 c core #307 185.74/185.89 c 185.74/185.89 c 185.74/185.89 c Core size: 13 Core Weight: 1 Total Weight: 307 185.74/185.89 c 185.74/185.89 c 185.74/185.89 c ============================[ Search Statistics ]============================== 185.74/185.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.74/185.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.74/185.89 c =============================================================================== 185.74/185.89 c | 0 | 2832 6134 16047 | 5000 0 nan | 0.000 % | 185.74/185.89 c =============================================================================== 185.84/185.90 c core #308 185.84/185.90 c 185.84/185.90 c 185.84/185.90 c Core size: 25 Core Weight: 1 Total Weight: 308 185.84/185.90 c 185.84/185.90 c 185.84/185.90 c ============================[ Search Statistics ]============================== 185.84/185.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.84/185.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.84/185.90 c =============================================================================== 185.84/185.90 c | 0 | 2846 6135 16075 | 5000 0 nan | 0.000 % | 185.84/185.91 c =============================================================================== 185.84/185.92 c core #309 185.84/185.92 c 185.84/185.92 c 185.84/185.92 c Core size: 16 Core Weight: 1 Total Weight: 309 185.84/185.92 c 185.84/185.92 c 185.84/185.92 c ============================[ Search Statistics ]============================== 185.84/185.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.84/185.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.84/185.92 c =============================================================================== 185.84/185.92 c | 0 | 2855 6136 16093 | 5000 0 nan | 0.000 % | 185.84/185.93 c =============================================================================== 185.84/185.94 c core #310 185.84/185.94 c 185.84/185.94 c 185.84/185.94 c Core size: 22 Core Weight: 1 Total Weight: 310 185.84/185.94 c 185.84/185.94 c 185.84/185.94 c ============================[ Search Statistics ]============================== 185.84/185.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.84/185.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.84/185.94 c =============================================================================== 185.84/185.94 c | 0 | 2863 6138 16111 | 5000 0 nan | 0.000 % | 185.84/185.94 c =============================================================================== 185.84/185.96 c core #311 185.84/185.96 c 185.84/185.96 c 185.84/185.96 c Core size: 26 Core Weight: 1 Total Weight: 311 185.84/185.96 c 185.84/185.96 c 185.84/185.96 c ============================[ Search Statistics ]============================== 185.84/185.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.84/185.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.84/185.96 c =============================================================================== 185.84/185.96 c | 0 | 2871 6139 16127 | 5000 0 nan | 0.000 % | 185.84/185.96 c =============================================================================== 185.84/185.98 c core #312 185.84/185.98 c 185.84/185.98 c 185.84/185.98 c Core size: 27 Core Weight: 1 Total Weight: 312 185.84/185.98 c 185.84/185.98 c 185.84/185.98 c ============================[ Search Statistics ]============================== 185.84/185.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.84/185.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.84/185.98 c =============================================================================== 185.84/185.98 c | 0 | 2880 6140 16145 | 5000 0 nan | 0.000 % | 185.84/185.98 c =============================================================================== 185.94/186.00 c core #313 185.94/186.00 c 185.94/186.00 c 185.94/186.00 c Core size: 40 Core Weight: 1 Total Weight: 313 185.94/186.00 c 185.94/186.00 c 185.94/186.00 c ============================[ Search Statistics ]============================== 185.94/186.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.94/186.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.94/186.00 c =============================================================================== 185.94/186.00 c | 0 | 2901 6142 16190 | 5000 0 nan | 0.000 % | 185.94/186.00 c =============================================================================== 185.94/186.02 c core #314 185.94/186.02 c 185.94/186.02 c 185.94/186.02 c Core size: 12 Core Weight: 1 Total Weight: 314 185.94/186.02 c 185.94/186.02 c 185.94/186.02 c ============================[ Search Statistics ]============================== 185.94/186.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.94/186.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.94/186.02 c =============================================================================== 185.94/186.02 c | 0 | 2908 6143 16204 | 5000 0 nan | 0.000 % | 185.94/186.02 c =============================================================================== 185.94/186.03 c core #315 185.94/186.03 c 185.94/186.03 c 185.94/186.03 c Core size: 18 Core Weight: 1 Total Weight: 315 185.94/186.03 c 185.94/186.03 c 185.94/186.03 c ============================[ Search Statistics ]============================== 185.94/186.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.94/186.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.94/186.03 c =============================================================================== 185.94/186.03 c | 0 | 2919 6144 16226 | 5000 0 nan | 0.000 % | 185.94/186.04 c =============================================================================== 185.94/186.05 c core #316 185.94/186.05 c 185.94/186.05 c 185.94/186.05 c Core size: 10 Core Weight: 1 Total Weight: 316 185.94/186.05 c 185.94/186.05 c 185.94/186.05 c ============================[ Search Statistics ]============================== 185.94/186.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.94/186.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.94/186.05 c =============================================================================== 185.94/186.05 c | 0 | 2925 6145 16238 | 5000 0 nan | 0.000 % | 185.94/186.06 c =============================================================================== 185.94/186.07 c core #317 185.94/186.07 c 185.94/186.07 c 185.94/186.07 c Core size: 16 Core Weight: 1 Total Weight: 317 185.94/186.07 c 185.94/186.07 c 185.94/186.07 c ============================[ Search Statistics ]============================== 185.94/186.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.94/186.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.94/186.07 c =============================================================================== 185.94/186.07 c | 0 | 2934 6146 16256 | 5000 0 nan | 0.000 % | 185.94/186.07 c =============================================================================== 185.94/186.09 c core #318 185.94/186.09 c 185.94/186.09 c 185.94/186.09 c Core size: 21 Core Weight: 1 Total Weight: 318 185.94/186.09 c 185.94/186.09 c 185.94/186.09 c ============================[ Search Statistics ]============================== 185.94/186.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.94/186.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.94/186.09 c =============================================================================== 185.94/186.09 c | 0 | 2940 6147 16268 | 5000 0 nan | 0.000 % | 185.94/186.09 c =============================================================================== 186.04/186.11 c core #319 186.04/186.11 c 186.04/186.11 c 186.04/186.11 c Core size: 10 Core Weight: 1 Total Weight: 319 186.04/186.11 c 186.04/186.11 c 186.04/186.11 c ============================[ Search Statistics ]============================== 186.04/186.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.04/186.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.04/186.11 c =============================================================================== 186.04/186.11 c | 0 | 2946 6148 16280 | 5000 0 nan | 0.000 % | 186.04/186.11 c =============================================================================== 186.04/186.13 c core #320 186.04/186.13 c 186.04/186.13 c 186.04/186.13 c Core size: 10 Core Weight: 1 Total Weight: 320 186.04/186.13 c 186.04/186.13 c 186.04/186.13 c ============================[ Search Statistics ]============================== 186.04/186.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.04/186.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.04/186.13 c =============================================================================== 186.04/186.13 c | 0 | 2952 6149 16292 | 5000 0 nan | 0.000 % | 186.04/186.13 c =============================================================================== 186.04/186.15 c core #321 186.04/186.15 c 186.04/186.15 c 186.04/186.15 c Core size: 21 Core Weight: 1 Total Weight: 321 186.04/186.15 c 186.04/186.15 c 186.04/186.15 c ============================[ Search Statistics ]============================== 186.04/186.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.04/186.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.04/186.15 c =============================================================================== 186.04/186.15 c | 0 | 2960 6151 16311 | 5000 0 nan | 0.000 % | 186.04/186.15 c =============================================================================== 186.04/186.16 c core #322 186.04/186.16 c 186.04/186.16 c 186.04/186.16 c Core size: 23 Core Weight: 1 Total Weight: 322 186.04/186.16 c 186.04/186.16 c 186.04/186.16 c ============================[ Search Statistics ]============================== 186.04/186.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.04/186.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.04/186.16 c =============================================================================== 186.04/186.16 c | 0 | 2973 6152 16337 | 5000 0 nan | 0.000 % | 186.04/186.17 c =============================================================================== 186.04/186.18 c core #323 186.04/186.18 c 186.04/186.18 c 186.04/186.18 c Core size: 21 Core Weight: 1 Total Weight: 323 186.04/186.18 c 186.04/186.18 c 186.04/186.18 c ============================[ Search Statistics ]============================== 186.04/186.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.04/186.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.04/186.18 c =============================================================================== 186.04/186.18 c | 0 | 2982 6154 16357 | 5000 0 nan | 0.000 % | 186.04/186.19 c =============================================================================== 186.14/186.20 c core #324 186.14/186.20 c 186.14/186.20 c 186.14/186.20 c Core size: 31 Core Weight: 1 Total Weight: 324 186.14/186.20 c 186.14/186.20 c 186.14/186.20 c ============================[ Search Statistics ]============================== 186.14/186.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.14/186.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.14/186.20 c =============================================================================== 186.14/186.20 c | 0 | 2999 6155 16391 | 5000 0 nan | 0.000 % | 186.14/186.22 c =============================================================================== 186.14/186.23 c core #325 186.14/186.23 c 186.14/186.23 c 186.14/186.23 c Core size: 85 Core Weight: 1 Total Weight: 325 186.14/186.23 c 186.14/186.23 c 186.14/186.23 c ============================[ Search Statistics ]============================== 186.14/186.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.14/186.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.14/186.23 c =============================================================================== 186.14/186.23 c | 0 | 3049 6158 16497 | 5000 0 nan | 0.000 % | 186.14/186.24 c =============================================================================== 186.14/186.25 c core #326 186.14/186.25 c 186.14/186.25 c 186.14/186.25 c Core size: 34 Core Weight: 1 Total Weight: 326 186.14/186.25 c 186.14/186.25 c 186.14/186.25 c ============================[ Search Statistics ]============================== 186.14/186.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.14/186.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.14/186.25 c =============================================================================== 186.14/186.25 c | 0 | 3074 6159 16547 | 5000 0 nan | 0.000 % | 186.14/186.26 c =============================================================================== 186.14/186.27 c core #327 186.14/186.27 c 186.14/186.27 c 186.14/186.27 c Core size: 44 Core Weight: 1 Total Weight: 327 186.14/186.27 c 186.14/186.27 c 186.14/186.27 c ============================[ Search Statistics ]============================== 186.14/186.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.14/186.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.14/186.27 c =============================================================================== 186.14/186.27 c | 0 | 3099 6160 16597 | 5000 0 nan | 0.000 % | 186.14/186.28 c =============================================================================== 186.14/186.29 c core #328 186.14/186.29 c 186.14/186.29 c 186.14/186.29 c Core size: 43 Core Weight: 1 Total Weight: 328 186.14/186.29 c 186.14/186.29 c 186.14/186.29 c ============================[ Search Statistics ]============================== 186.14/186.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.14/186.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.14/186.29 c =============================================================================== 186.14/186.29 c | 0 | 3125 6162 16652 | 5000 0 nan | 0.000 % | 186.24/186.30 c =============================================================================== 186.24/186.32 c core #329 186.24/186.32 c 186.24/186.32 c 186.24/186.32 c Core size: 42 Core Weight: 1 Total Weight: 329 186.24/186.32 c 186.24/186.32 c 186.24/186.32 c ============================[ Search Statistics ]============================== 186.24/186.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.24/186.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.24/186.32 c =============================================================================== 186.24/186.32 c | 0 | 3153 6164 16710 | 5000 0 nan | 0.000 % | 186.24/186.32 c =============================================================================== 186.24/186.34 c core #330 186.24/186.34 c 186.24/186.34 c 186.24/186.34 c Core size: 28 Core Weight: 1 Total Weight: 330 186.24/186.34 c 186.24/186.34 c 186.24/186.34 c ============================[ Search Statistics ]============================== 186.24/186.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.24/186.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.24/186.34 c =============================================================================== 186.24/186.34 c | 0 | 3176 6165 16756 | 5000 0 nan | 0.000 % | 186.24/186.35 c | 100 | 3132 6165 16756 | 5500 100 5 | 3.200 % | 186.24/186.35 c =============================================================================== 186.24/186.37 c core #331 186.24/186.37 c 186.24/186.37 c 186.24/186.37 c Core size: 124 Core Weight: 1 Total Weight: 331 186.24/186.37 c 186.24/186.37 c 186.24/186.37 c ============================[ Search Statistics ]============================== 186.24/186.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.24/186.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.24/186.37 c =============================================================================== 186.24/186.37 c | 0 | 3256 6168 16922 | 5000 0 nan | 0.000 % | 186.24/186.38 c | 100 | 3248 6168 16922 | 5500 100 6 | 0.612 % | 186.24/186.39 c =============================================================================== 186.34/186.41 c core #332 186.34/186.41 c 186.34/186.41 c 186.34/186.41 c Core size: 126 Core Weight: 1 Total Weight: 332 186.34/186.41 c 186.34/186.41 c 186.34/186.41 c ============================[ Search Statistics ]============================== 186.34/186.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.34/186.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.34/186.41 c =============================================================================== 186.34/186.41 c | 0 | 3345 6170 17103 | 5000 0 nan | 0.000 % | 186.34/186.42 c | 105 | 3344 6170 17103 | 5500 105 9 | 0.417 % | 186.34/186.42 c =============================================================================== 186.34/186.44 c core #333 186.34/186.44 c 186.34/186.44 c 186.34/186.44 c Core size: 58 Core Weight: 1 Total Weight: 333 186.34/186.44 c 186.34/186.44 c 186.34/186.44 c ============================[ Search Statistics ]============================== 186.34/186.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.34/186.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.34/186.44 c =============================================================================== 186.34/186.44 c | 0 | 3391 6172 17198 | 5000 0 nan | 0.000 % | 186.34/186.45 c | 101 | 3382 6172 17198 | 5500 101 8 | 0.647 % | 186.34/186.46 c | 251 | 3377 6172 17198 | 6050 242 8 | 0.823 % | 186.34/186.47 c =============================================================================== 186.34/186.49 c core #334 186.34/186.49 c 186.34/186.49 c 186.34/186.49 c Core size: 112 Core Weight: 1 Total Weight: 334 186.34/186.49 c 186.34/186.49 c 186.34/186.49 c ============================[ Search Statistics ]============================== 186.34/186.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.34/186.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.34/186.49 c =============================================================================== 186.34/186.49 c | 0 | 3475 6173 17366 | 5000 0 nan | 0.000 % | 186.44/186.50 c | 100 | 3474 6173 17366 | 5500 100 13 | 0.401 % | 186.44/186.51 c | 250 | 3467 6173 17366 | 6050 240 12 | 0.574 % | 186.44/186.53 c =============================================================================== 186.44/186.55 c core #335 186.44/186.55 c 186.44/186.55 c 186.44/186.55 c Core size: 160 Core Weight: 1 Total Weight: 335 186.44/186.55 c 186.44/186.55 c 186.44/186.55 c ============================[ Search Statistics ]============================== 186.44/186.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.44/186.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.44/186.55 c =============================================================================== 186.44/186.55 c | 0 | 3595 6175 17608 | 5000 0 nan | 0.000 % | 186.44/186.56 c | 100 | 3593 6175 17608 | 5500 100 12 | 0.388 % | 186.44/186.57 c | 253 | 3593 6175 17608 | 6050 253 12 | 0.388 % | 186.44/186.59 c | 479 | 3587 6175 17608 | 6655 477 10 | 0.554 % | 186.54/186.61 c =============================================================================== 186.54/186.64 c core #336 186.54/186.64 c 186.54/186.64 c 186.54/186.64 c Core size: 160 Core Weight: 1 Total Weight: 336 186.54/186.64 c 186.54/186.64 c 186.54/186.64 c ============================[ Search Statistics ]============================== 186.54/186.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.54/186.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.54/186.64 c =============================================================================== 186.54/186.64 c | 0 | 3717 6181 17867 | 5000 0 nan | 0.000 % | 186.54/186.65 c | 101 | 3717 6181 17867 | 5500 101 23 | 0.322 % | 186.54/186.66 c | 251 | 3717 6181 17867 | 6050 251 17 | 0.322 % | 186.54/186.67 c | 476 | 3717 6181 17867 | 6655 476 16 | 0.322 % | 186.63/186.70 c =============================================================================== 186.63/186.72 c core #337 186.63/186.72 c 186.63/186.72 c 186.63/186.72 c Core size: 126 Core Weight: 1 Total Weight: 337 186.63/186.72 c 186.63/186.72 c 186.63/186.72 c ============================[ Search Statistics ]============================== 186.63/186.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.63/186.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.63/186.72 c =============================================================================== 186.63/186.72 c | 0 | 3792 6185 18023 | 5000 0 nan | 0.000 % | 186.63/186.73 c | 101 | 3792 6185 18023 | 5500 101 23 | 0.316 % | 186.63/186.74 c | 251 | 3792 6185 18023 | 6050 251 19 | 0.315 % | 186.63/186.75 c | 479 | 3792 6185 18023 | 6655 479 20 | 0.315 % | 186.63/186.78 c | 818 | 3784 6185 18023 | 7320 817 19 | 0.526 % | 186.74/186.83 c | 1324 | 3777 6185 18023 | 8052 1130 18 | 0.736 % | 186.74/186.88 c =============================================================================== 186.84/186.91 c core #338 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 158 Core Weight: 1 Total Weight: 338 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c ============================[ Search Statistics ]============================== 186.84/186.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.84/186.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.84/186.91 c =============================================================================== 186.84/186.91 c | 0 | 3915 6189 18277 | 5000 0 nan | 0.000 % | 186.84/186.93 c | 101 | 3914 6189 18277 | 5500 101 11 | 0.357 % | 186.84/186.94 c | 254 | 3914 6189 18277 | 6050 254 12 | 0.357 % | 186.84/186.94 c =============================================================================== 186.84/186.95 c core #339 186.84/186.95 c 186.84/186.95 c 186.84/186.95 c Core size: 20 Core Weight: 1 Total Weight: 339 186.84/186.95 c 186.84/186.95 c 186.84/186.95 c ============================[ Search Statistics ]============================== 186.84/186.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.84/186.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.84/186.95 c =============================================================================== 186.84/186.95 c | 0 | 3927 6190 18301 | 5000 0 nan | 0.000 % | 186.84/186.97 c | 101 | 3920 6190 18301 | 5500 101 8 | 0.483 % | 186.84/186.98 c | 251 | 3912 6190 18301 | 6050 234 10 | 0.736 % | 186.84/187.00 c | 477 | 3910 6190 18301 | 6655 460 11 | 0.738 % | 186.94/187.02 c | 816 | 3910 6190 18301 | 7320 795 15 | 0.736 % | 186.94/187.06 c | 1325 | 3905 6190 18301 | 8052 1294 15 | 0.864 % | 186.94/187.09 c =============================================================================== 187.04/187.11 c core #340 187.04/187.11 c 187.04/187.11 c 187.04/187.11 c Core size: 214 Core Weight: 1 Total Weight: 340 187.04/187.11 c 187.04/187.11 c 187.04/187.11 c ============================[ Search Statistics ]============================== 187.04/187.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.04/187.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.04/187.11 c =============================================================================== 187.04/187.11 c | 0 | 4089 6196 18639 | 5000 0 nan | 0.000 % | 187.04/187.12 c | 101 | 4089 6196 18639 | 5500 101 24 | 0.293 % | 187.04/187.14 c | 251 | 4089 6196 18639 | 6050 251 18 | 0.293 % | 187.04/187.16 c | 477 | 4087 6196 18639 | 6655 476 17 | 0.341 % | 187.04/187.18 c | 815 | 4085 6196 18639 | 7320 799 18 | 0.390 % | 187.13/187.22 c | 1323 | 3973 6196 18639 | 8052 1167 19 | 3.121 % | 187.13/187.28 c | 2083 | 3971 6196 18639 | 8857 1926 23 | 3.170 % | 187.34/187.44 c =============================================================================== 187.34/187.49 c core #341 187.34/187.49 c 187.34/187.49 c 187.34/187.49 c Core size: 118 Core Weight: 1 Total Weight: 341 187.34/187.49 c 187.34/187.49 c 187.34/187.49 c ============================[ Search Statistics ]============================== 187.34/187.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.34/187.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.34/187.49 c =============================================================================== 187.34/187.49 c | 0 | 4173 6199 18812 | 5000 0 nan | 0.000 % | 187.44/187.50 c | 105 | 4173 6199 18812 | 5500 105 8 | 0.287 % | 187.44/187.52 c | 255 | 4171 6199 18812 | 6050 253 10 | 0.335 % | 187.44/187.53 c | 480 | 4171 6199 18812 | 6655 478 12 | 0.335 % | 187.44/187.56 c | 817 | 4171 6199 18812 | 7320 815 16 | 0.335 % | 187.53/187.60 c | 1323 | 4169 6199 18812 | 8052 1302 18 | 0.382 % | 187.53/187.67 c | 2084 | 4165 6199 18812 | 8857 2062 22 | 0.550 % | 187.63/187.79 c =============================================================================== 187.74/187.83 c core #342 187.74/187.83 c 187.74/187.83 c 187.74/187.83 c Core size: 145 Core Weight: 1 Total Weight: 342 187.74/187.83 c 187.74/187.83 c 187.74/187.83 c ============================[ Search Statistics ]============================== 187.74/187.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.74/187.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.74/187.83 c =============================================================================== 187.74/187.83 c | 0 | 4284 6201 19037 | 5000 0 nan | 0.000 % | 187.74/187.84 c | 105 | 4284 6201 19037 | 5500 105 25 | 0.280 % | 187.74/187.86 c | 256 | 4284 6201 19037 | 6050 256 20 | 0.279 % | 187.74/187.88 c | 484 | 4282 6201 19037 | 6655 483 24 | 0.326 % | 187.83/187.90 c | 821 | 4282 6201 19037 | 7320 820 24 | 0.326 % | 187.83/187.94 c | 1328 | 4282 6201 19037 | 8052 1327 23 | 0.326 % | 187.94/188.00 c | 2088 | 4282 6201 19037 | 8857 2087 26 | 0.326 % | 187.94/188.10 c | 3227 | 4280 6201 19037 | 9743 3207 27 | 0.373 % | 188.24/188.31 c | 4935 | 4280 6201 19037 | 10717 4915 32 | 0.372 % | 188.53/188.64 c | 7497 | 4276 6201 19037 | 11789 7416 34 | 0.466 % | 189.14/189.24 c =============================================================================== 189.23/189.33 c core #343 189.23/189.33 c 189.23/189.33 c 189.23/189.33 c Core size: 216 Core Weight: 1 Total Weight: 343 189.23/189.33 c 189.23/189.33 c 189.23/189.33 c ============================[ Search Statistics ]============================== 189.23/189.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.23/189.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.23/189.33 c =============================================================================== 189.23/189.33 c | 0 | 4459 6208 19404 | 5000 0 nan | 0.000 % | 189.23/189.35 c | 101 | 4459 6208 19404 | 5500 101 34 | 0.269 % | 189.23/189.36 c | 251 | 4459 6208 19404 | 6050 251 19 | 0.268 % | 189.23/189.38 c | 478 | 4459 6208 19404 | 6655 478 20 | 0.268 % | 189.34/189.40 c | 815 | 4459 6208 19404 | 7320 815 20 | 0.268 % | 189.34/189.44 c | 1324 | 4454 6208 19404 | 8052 1312 20 | 0.403 % | 189.34/189.49 c | 2084 | 4329 6208 19404 | 8857 2024 22 | 3.176 % | 189.53/189.61 c | 3224 | 4325 6208 19404 | 9743 2980 26 | 3.266 % | 189.53/189.63 c =============================================================================== 189.53/189.68 c core #344 189.53/189.68 c 189.53/189.68 c 189.53/189.68 c Core size: 157 Core Weight: 1 Total Weight: 344 189.53/189.68 c 189.53/189.68 c 189.53/189.68 c ============================[ Search Statistics ]============================== 189.53/189.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.53/189.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.53/189.68 c =============================================================================== 189.53/189.68 c | 0 | 4572 6214 19642 | 5000 0 nan | 0.000 % | 189.53/189.69 c | 101 | 4572 6214 19642 | 5500 101 25 | 0.262 % | 189.64/189.71 c | 253 | 4572 6214 19642 | 6050 253 21 | 0.262 % | 189.64/189.72 c | 478 | 4572 6214 19642 | 6655 478 20 | 0.262 % | 189.64/189.75 c | 815 | 4572 6214 19642 | 7320 815 19 | 0.262 % | 189.64/189.80 c | 1321 | 4569 6214 19642 | 8052 1320 22 | 0.349 % | 189.74/189.87 c | 2084 | 4551 6214 19642 | 8857 2078 25 | 1.789 % | 189.94/190.00 c | 3223 | 4502 6214 19642 | 9743 3146 29 | 1.789 % | 190.04/190.18 c | 4931 | 4502 6214 19642 | 10717 4854 30 | 1.789 % | 190.34/190.46 c | 7494 | 4497 6214 19642 | 11789 7100 33 | 1.898 % | 191.24/191.32 c | 11338 | 4495 6214 19642 | 12968 10944 44 | 1.942 % | 192.13/192.25 c | 17107 | 4493 6214 19642 | 14265 10082 51 | 1.985 % | 192.63/192.76 c =============================================================================== 192.83/192.90 c core #345 192.83/192.90 c 192.83/192.90 c 192.83/192.90 c Core size: 204 Core Weight: 1 Total Weight: 345 192.83/192.90 c 192.83/192.90 c 192.83/192.90 c ============================[ Search Statistics ]============================== 192.83/192.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.83/192.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.83/192.90 c =============================================================================== 192.83/192.90 c | 0 | 4731 6220 19972 | 5000 0 nan | 0.000 % | 192.83/192.92 c | 100 | 4731 6220 19972 | 5500 100 20 | 0.253 % | 192.83/192.94 c | 250 | 4731 6220 19972 | 6050 250 18 | 0.253 % | 192.83/192.95 c | 476 | 4731 6220 19972 | 6655 476 19 | 0.253 % | 192.83/192.98 c | 813 | 4731 6220 19972 | 7320 813 19 | 0.253 % | 192.93/193.02 c | 1320 | 4731 6220 19972 | 8052 1320 29 | 0.253 % | 192.93/193.08 c | 2080 | 4731 6220 19972 | 8857 2080 27 | 0.253 % | 193.03/193.17 c | 3223 | 4731 6220 19972 | 9743 3223 30 | 0.253 % | 193.23/193.34 c | 4932 | 4725 6220 19972 | 10717 4927 30 | 0.380 % | 193.55/193.62 c | 7495 | 4721 6220 19972 | 11789 7466 31 | 0.506 % | 194.13/194.27 c | 11340 | 4719 6220 19972 | 12968 11275 37 | 0.506 % | 195.04/195.15 c | 17108 | 4717 6220 19972 | 14265 9538 47 | 0.548 % | 197.03/197.14 c | 25759 | 4597 6220 19972 | 15692 9913 64 | 3.079 % | 200.64/200.76 c | 38734 | 4597 6220 19972 | 17261 14882 57 | 3.078 % | 206.64/206.72 c | 58195 | 4585 6220 19972 | 18987 9841 51 | 3.374 % | 212.83/212.92 c =============================================================================== 213.83/213.95 c core #346 213.83/213.95 c 213.83/213.95 c 213.83/213.95 c Core size: 205 Core Weight: 1 Total Weight: 346 213.83/213.95 c 213.83/213.95 c 213.83/213.95 c ============================[ Search Statistics ]============================== 213.83/213.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.83/213.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.83/213.95 c =============================================================================== 213.83/213.95 c | 0 | 4889 6223 20292 | 5000 0 nan | 0.000 % | 213.83/213.99 c | 102 | 4889 6223 20292 | 5500 102 23 | 0.245 % | 213.93/214.01 c | 254 | 4889 6223 20292 | 6050 254 21 | 0.245 % | 213.93/214.02 c | 479 | 4889 6223 20292 | 6655 479 27 | 0.245 % | 213.93/214.05 c | 822 | 4889 6223 20292 | 7320 822 29 | 0.245 % | 213.93/214.09 c | 1332 | 4889 6223 20292 | 8052 1332 32 | 0.245 % | 214.03/214.15 c | 2091 | 4889 6223 20292 | 8857 2091 29 | 0.245 % | 214.13/214.24 c | 3230 | 4886 6223 20292 | 9743 3229 27 | 0.306 % | 214.34/214.40 c | 4938 | 4884 6223 20292 | 10717 4932 27 | 0.347 % | 214.63/214.73 c | 7500 | 4882 6223 20292 | 11789 7308 31 | 0.388 % | 215.13/215.23 c | 11345 | 4880 6223 20292 | 12968 11150 33 | 0.429 % | 216.03/216.17 c | 17114 | 4880 6223 20292 | 14265 10106 42 | 0.429 % | 217.83/217.94 c | 25772 | 4878 6223 20292 | 15692 11064 44 | 0.469 % | 220.13/220.26 c | 38747 | 4878 6223 20292 | 17261 15762 64 | 0.469 % | 224.13/224.26 c | 58208 | 4876 6223 20292 | 18987 16391 68 | 0.510 % | 238.82/238.98 c | 87403 | 4874 6223 20292 | 20886 15701 73 | 0.551 % | 262.12/262.23 c | 131193 | 4874 6223 20292 | 22974 17055 62 | 0.551 % | 283.81/283.91 c | 196881 | 4726 6223 20292 | 25272 17043 50 | 3.612 % | 283.91/284.07 c =============================================================================== 285.51/285.63 c core #347 285.51/285.63 c 285.51/285.63 c 285.51/285.63 c Core size: 253 Core Weight: 1 Total Weight: 347 285.51/285.63 c 285.51/285.63 c 285.51/285.63 c ============================[ Search Statistics ]============================== 285.51/285.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 285.51/285.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 285.51/285.63 c =============================================================================== 285.51/285.63 c | 0 | 5095 6227 20710 | 5000 0 nan | 0.000 % | 285.51/285.67 c | 100 | 5095 6227 20710 | 5500 100 26 | 0.235 % | 285.51/285.69 c | 250 | 5095 6227 20710 | 6050 250 29 | 0.235 % | 285.61/285.70 c | 478 | 5095 6227 20710 | 6655 478 23 | 0.235 % | 285.61/285.73 c | 816 | 5095 6227 20710 | 7320 816 22 | 0.235 % | 285.61/285.77 c | 1326 | 5095 6227 20710 | 8052 1326 21 | 0.235 % | 285.71/285.84 c | 2086 | 5095 6227 20710 | 8857 2086 27 | 0.235 % | 285.82/285.95 c | 3225 | 5095 6227 20710 | 9743 3225 38 | 0.235 % | 286.01/286.16 c | 4935 | 5095 6227 20710 | 10717 4935 46 | 0.235 % | 286.31/286.45 c | 7498 | 5095 6227 20710 | 11789 7498 45 | 0.235 % | 286.91/287.08 c | 11343 | 5095 6227 20710 | 12968 11343 45 | 0.235 % | 287.91/288.06 c | 17113 | 5093 6227 20710 | 14265 9900 48 | 0.274 % | 289.31/289.42 c | 25762 | 5093 6227 20710 | 15692 10740 52 | 0.274 % | 292.91/293.08 c | 38737 | 5093 6227 20710 | 17261 15313 75 | 0.274 % | 297.51/297.66 c | 58200 | 5091 6227 20710 | 18987 16530 55 | 0.313 % | 312.90/313.03 c | 87393 | 5091 6227 20710 | 20886 15011 83 | 0.313 % | 331.00/331.15 c | 131182 | 5091 6227 20710 | 22974 14517 76 | 0.313 % | 350.98/351.11 c | 196867 | 5091 6227 20710 | 25272 20242 70 | 0.314 % | 409.46/409.68 c | 295393 | 5091 6227 20710 | 27799 22473 97 | 0.313 % | 514.23/514.47 c | 443187 | 5091 6227 20710 | 30579 18727 90 | 0.313 % | 656.09/656.36 c | 664870 | 5091 6227 20710 | 33637 28397 84 | 0.313 % | 832.93/833.27 c | 997397 | 5085 6227 20710 | 37001 33522 83 | 0.431 % | 1177.84/1178.20 c =============================================================================== 1185.03/1185.40 c core #348 1185.03/1185.40 c 1185.03/1185.40 c 1185.03/1185.40 c Core size: 207 Core Weight: 1 Total Weight: 348 1185.03/1185.40 c 1185.03/1185.40 c 1185.03/1185.40 c ============================[ Search Statistics ]============================== 1185.03/1185.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 1185.03/1185.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1185.03/1185.40 c =============================================================================== 1185.03/1185.40 c | 0 | 5255 6248 21070 | 5000 0 nan | 0.000 % | 1185.03/1185.45 c | 100 | 5255 6248 21070 | 5500 100 12 | 0.228 % | 1185.13/1185.58 c | 251 | 5255 6248 21070 | 6050 251 30 | 0.228 % | 1185.23/1185.60 c | 477 | 5255 6248 21070 | 6655 477 29 | 0.228 % | 1185.23/1185.63 c | 815 | 5255 6248 21070 | 7320 815 27 | 0.228 % | 1185.23/1185.67 c | 1322 | 5255 6248 21070 | 8052 1322 26 | 0.228 % | 1185.34/1185.72 c | 2081 | 5255 6248 21070 | 8857 2081 26 | 0.228 % | 1185.53/1185.95 c | 3220 | 5255 6248 21070 | 9743 3220 26 | 0.228 % | 1185.93/1186.33 c | 4928 | 5255 6248 21070 | 10717 4928 112 | 0.228 % | 1186.53/1186.93 c | 7490 | 5255 6248 21070 | 11789 7490 166 | 0.228 % | 1187.43/1187.85 c | 11335 | 5255 6248 21070 | 12968 11335 236 | 0.228 % | 1188.92/1189.39 c | 17101 | 5255 6248 21070 | 14265 10027 335 | 0.228 % | 1191.13/1191.57 c | 25750 | 5255 6248 21070 | 15692 10926 271 | 0.228 % | 1195.43/1195.85 c | 38725 | 5255 6248 21070 | 17261 15478 304 | 0.228 % | 1200.74/1201.19 c | 58187 | 5255 6248 21070 | 18987 16170 249 | 0.228 % | 1213.32/1213.70 c | 87383 | 5255 6248 21070 | 20886 15115 98 | 0.228 % | 1234.31/1234.75 c | 131172 | 5255 6248 21070 | 22974 14955 52 | 0.228 % | 1269.10/1269.53 c | 196857 | 5255 6248 21070 | 25272 18263 119 | 0.228 % | 1305.19/1305.65 c | 295383 | 5251 6248 21070 | 27799 20177 88 | 0.304 % | 1374.07/1374.50 c | 443173 | 5251 6248 21070 | 30579 21932 66 | 0.304 % | 1505.94/1506.48 c | 664857 | 5250 6248 21070 | 33637 14053 83 | 0.323 % |
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-2680620-1277453517/watcher-2680620-1277453517 -o /tmp/evaluation-result-2680620-1277453517/solver-2680620-1277453517 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680620-1277453517.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 0.99 0.83 3/105 28162 /proc/meminfo: memFree=1865616/2059040 swapFree=4139624/4192956 [pid=28162] ppid=28160 vsize=2832 CPUtime=0 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27944 0 -1 4202496 319 0 0 0 0 0 0 0 25 0 1 0 86645256 2899968 238 1992294400 134512640 135752675 4287933824 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 708 238 141 303 0 372 0 [startup+0.099733 s] /proc/loadavg: 1.07 0.99 0.83 3/105 28162 /proc/meminfo: memFree=1865616/2059040 swapFree=4139624/4192956 [pid=28162] ppid=28160 vsize=3652 CPUtime=0.09 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27944 0 -1 4202496 598 0 0 0 9 0 0 0 25 0 1 0 86645256 3739648 486 1992294400 134512640 135752675 4287933824 18446744073709551615 134616180 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 913 486 145 303 0 608 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3652 [startup+0.100735 s] /proc/loadavg: 1.07 0.99 0.83 3/105 28162 /proc/meminfo: memFree=1865616/2059040 swapFree=4139624/4192956 [pid=28162] ppid=28160 vsize=3652 CPUtime=0.09 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27944 0 -1 4202496 598 0 0 0 9 0 0 0 25 0 1 0 86645256 3739648 486 1992294400 134512640 135752675 4287933824 18446744073709551615 134638038 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 913 486 145 303 0 608 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3652 [startup+0.300755 s] /proc/loadavg: 1.07 0.99 0.83 3/105 28162 /proc/meminfo: memFree=1865616/2059040 swapFree=4139624/4192956 [pid=28162] ppid=28160 vsize=5704 CPUtime=0.29 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27944 0 -1 4202496 1118 0 0 0 29 0 0 0 25 0 1 0 86645256 5840896 1006 1992294400 134512640 135752675 4287933824 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 1426 1007 145 303 0 1121 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5704 [startup+0.700801 s] /proc/loadavg: 1.07 0.99 0.83 3/105 28162 /proc/meminfo: memFree=1865616/2059040 swapFree=4139624/4192956 [pid=28162] ppid=28160 vsize=10064 CPUtime=0.69 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27944 0 -1 4202496 2182 0 0 0 68 1 0 0 25 0 1 0 86645256 10305536 2070 1992294400 134512640 135752675 4287933824 18446744073709551615 134605438 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 2516 2071 145 303 0 2211 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10064 [startup+1.50089 s] /proc/loadavg: 1.07 0.99 0.83 2/106 28163 /proc/meminfo: memFree=1854572/2059040 swapFree=4139624/4192956 [pid=28162] ppid=28160 vsize=18140 CPUtime=1.49 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27944 0 -1 4202496 4202 0 0 0 146 3 0 0 25 0 1 0 86645256 18575360 4091 1992294400 134512640 135752675 4287933824 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 4535 4091 145 303 0 4230 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18140 [startup+3.10107 s] /proc/loadavg: 1.07 0.99 0.83 2/106 28163 /proc/meminfo: memFree=1844404/2059040 swapFree=4139624/4192956 [pid=28162] ppid=28160 vsize=32440 CPUtime=3.09 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27944 0 -1 4202496 7795 0 0 0 304 5 0 0 25 0 1 0 86645256 33218560 7683 1992294400 134512640 135752675 4287933824 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 8110 7683 145 303 0 7805 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32440 [startup+6.30144 s] /proc/loadavg: 1.07 0.99 0.83 2/106 28163 /proc/meminfo: memFree=1817372/2059040 swapFree=4139624/4192956 [pid=28162] ppid=28160 vsize=57576 CPUtime=6.29 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27944 0 -1 4202496 14076 0 0 0 618 11 0 0 25 0 1 0 86645256 58957824 13964 1992294400 134512640 135752675 4287933824 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 14394 13964 145 303 0 14089 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 57576 [startup+12.7012 s] /proc/loadavg: 1.06 0.99 0.83 2/106 28163 /proc/meminfo: memFree=1765680/2059040 swapFree=4139624/4192956 [pid=28162] ppid=28160 vsize=105424 CPUtime=12.69 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27944 0 -1 4202496 26026 0 0 0 1247 22 0 0 25 0 1 0 86645256 107954176 25914 1992294400 134512640 135752675 4287933824 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 26356 25914 145 303 0 26051 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 105424 [startup+25.5006 s] /proc/loadavg: 1.05 0.99 0.83 2/106 28165 /proc/meminfo: memFree=1672556/2059040 swapFree=4139624/4192956 [pid=28162] ppid=28160 vsize=195760 CPUtime=25.48 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27944 0 -1 4202496 48617 0 0 0 2504 44 0 0 25 0 1 0 86645256 200458240 48505 1992294400 134512640 135752675 4287933824 18446744073709551615 134611732 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 48940 48506 145 303 0 48635 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 195760 [startup+51.1015 s] /proc/loadavg: 1.03 0.99 0.83 2/106 28165 /proc/meminfo: memFree=1543968/2059040 swapFree=4139624/4192956 [pid=28162] ppid=28160 vsize=325340 CPUtime=51.07 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27944 0 -1 4202496 80994 0 0 0 5028 79 0 0 25 0 1 0 86645256 333148160 80882 1992294400 134512640 135752675 4287933824 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 81335 80882 145 303 0 81030 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 325340 [startup+102.309 s] /proc/loadavg: 1.01 0.99 0.84 2/106 28167 /proc/meminfo: memFree=1299812/2059040 swapFree=4139624/4192956 [pid=28162] ppid=28160 vsize=567100 CPUtime=102.27 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27944 0 -1 4202496 141393 0 0 0 10086 141 0 0 25 0 1 0 86645256 580710400 141281 1992294400 134512640 135752675 4287933824 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 141775 141281 145 303 0 141470 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 567100 [startup+162.301 s] /proc/loadavg: 1.00 0.99 0.84 2/106 28167 /proc/meminfo: memFree=1072520/2059040 swapFree=4139624/4192956 [pid=28162] ppid=28160 vsize=795320 CPUtime=162.24 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27944 0 -1 4202496 198424 0 0 0 16027 197 0 0 25 0 1 0 86645256 814407680 198312 1992294400 134512640 135752675 4287933824 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 198830 198312 145 303 0 198525 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 795320 [startup+222.301 s] /proc/loadavg: 1.00 0.99 0.85 2/106 28169 /proc/meminfo: memFree=979892/2059040 swapFree=4139624/4192956 [pid=28162] ppid=28160 vsize=885448 CPUtime=222.23 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27944 0 -1 4202496 221086 0 0 0 21952 271 0 0 25 0 1 0 86645256 906698752 220943 1992294400 134512640 135752675 4287933824 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 221362 220943 146 303 0 221057 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 885448 [startup+282.301 s] /proc/loadavg: 1.00 0.99 0.85 2/106 28171 /proc/meminfo: memFree=943436/2059040 swapFree=4139624/4192956 [pid=28162] ppid=28160 vsize=922768 CPUtime=282.21 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27944 0 -1 4202496 230329 0 0 0 27903 318 0 0 25 0 1 0 86645256 944914432 230186 1992294400 134512640 135752675 4287933824 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 230692 230186 146 303 0 230387 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 922768 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.86 2/106 28173 /proc/meminfo: memFree=896068/2059040 swapFree=4139624/4192956 [pid=28162] ppid=28160 vsize=969768 CPUtime=342.18 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27944 0 -1 4202496 242110 0 0 0 33847 371 0 0 25 0 1 0 86645256 993042432 241967 1992294400 134512640 135752675 4287933824 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 242442 241967 146 303 0 242137 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 969768 [startup+402.3 s] /proc/loadavg: 1.00 0.99 0.87 2/106 28175 /proc/meminfo: memFree=851924/2059040 swapFree=4139624/4192956 [pid=28162] ppid=28160 vsize=1013660 CPUtime=402.16 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27944 0 -1 4202496 253024 0 0 0 39805 411 0 0 25 0 1 0 86645256 1037987840 252881 1992294400 134512640 135752675 4287933824 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 253415 252881 146 303 0 253110 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 1013660 [startup+462.3 s] /proc/loadavg: 1.00 0.99 0.87 3/106 28175 /proc/meminfo: memFree=811376/2059040 swapFree=4139624/4192956 [pid=28162] ppid=28160 vsize=1054392 CPUtime=462.15 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27944 0 -1 4202496 263155 0 0 0 45769 446 0 0 25 0 1 0 86645256 1079697408 263012 1992294400 134512640 135752675 4287933824 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 263598 263012 146 303 0 263293 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 1054392 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.88 2/106 28177 /proc/meminfo: memFree=768100/2059040 swapFree=4139624/4192956 [pid=28162] ppid=28160 vsize=1098640 CPUtime=522.13 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27944 0 -1 4202496 274155 0 0 0 51734 479 0 0 25 0 1 0 86645256 1125007360 274012 1992294400 134512640 135752675 4287933824 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 274660 274012 146 303 0 274355 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 1098640 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.88 2/106 28179 /proc/meminfo: memFree=722220/2059040 swapFree=4139624/4192956 [pid=28162] ppid=28160 vsize=1143812 CPUtime=582.11 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27944 0 -1 4202496 285389 0 0 0 57696 515 0 0 25 0 1 0 86645256 1171263488 285246 1992294400 134512640 135752675 4287933824 18446744073709551615 134611642 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 285953 285246 146 303 0 285648 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 1143812 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.89 2/106 28181 /proc/meminfo: memFree=681176/2059040 swapFree=4139624/4192956 [pid=28162] ppid=28160 vsize=1184572 CPUtime=642.1 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27944 0 -1 4202496 295538 0 0 0 63660 550 0 0 25 0 1 0 86645256 1213001728 295395 1992294400 134512640 135752675 4287933824 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 296143 295395 146 303 0 295838 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 1184572 [startup+702.3 s] /proc/loadavg: 1.00 0.99 0.89 2/106 28183 /proc/meminfo: memFree=598716/2059040 swapFree=4139624/4192956 [pid=28162] ppid=28160 vsize=1267196 CPUtime=702.07 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27944 0 -1 4202496 316154 0 0 0 69609 598 0 0 25 0 1 0 86645256 1297608704 316011 1992294400 134512640 135752675 4287933824 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 316799 316011 146 303 0 316494 0 Current children cumulated CPU time (s) 702.07 Current children cumulated vsize (KiB) 1267196 [startup+762.308 s] /proc/loadavg: 1.00 0.99 0.90 2/106 28183 /proc/meminfo: memFree=557796/2059040 swapFree=4139624/4192956 [pid=28162] ppid=28160 vsize=1307920 CPUtime=762.07 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27944 0 -1 4202496 326293 0 0 0 75573 634 0 0 25 0 1 0 86645256 1339310080 326150 1992294400 134512640 135752675 4287933824 18446744073709551615 134611801 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 326980 326150 146 303 0 326675 0 Current children cumulated CPU time (s) 762.07 Current children cumulated vsize (KiB) 1307920 [startup+822.301 s] /proc/loadavg: 1.00 0.99 0.91 2/106 28185 /proc/meminfo: memFree=516628/2059040 swapFree=4139624/4192956 [pid=28162] ppid=28160 vsize=1349396 CPUtime=822.04 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27944 0 -1 4202496 336645 0 0 0 81537 667 0 0 25 0 1 0 86645256 1381781504 336502 1992294400 134512640 135752675 4287933824 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 337349 336502 146 303 0 337044 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 1349396 [startup+882.301 s] /proc/loadavg: 1.00 0.99 0.91 2/106 28187 /proc/meminfo: memFree=472608/2059040 swapFree=4139624/4192956 [pid=28162] ppid=28160 vsize=1392908 CPUtime=882.03 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27944 0 -1 4202496 347524 0 0 0 87500 703 0 0 25 0 1 0 86645256 1426337792 347381 1992294400 134512640 135752675 4287933824 18446744073709551615 134603238 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 348227 347381 146 303 0 347922 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 1392908 [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.91 2/106 28189 /proc/meminfo: memFree=439748/2059040 swapFree=4139624/4192956 [pid=28162] ppid=28160 vsize=1426132 CPUtime=942.01 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27944 0 -1 4202496 355809 0 0 0 93473 728 0 0 25 0 1 0 86645256 1460359168 355666 1992294400 134512640 135752675 4287933824 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 356533 355666 146 303 0 356228 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 1426132 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.91 2/106 28191 /proc/meminfo: memFree=409244/2059040 swapFree=4139624/4192956 [pid=28162] ppid=28160 vsize=1456444 CPUtime=1001.99 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27944 0 -1 4202496 363387 0 0 0 99447 752 0 0 25 0 1 0 86645256 1491398656 363244 1992294400 134512640 135752675 4287933824 18446744073709551615 134611730 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 364111 363244 146 303 0 363806 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 1456444 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.91 3/106 28191 /proc/meminfo: memFree=383328/2059040 swapFree=4139624/4192956 [pid=28162] ppid=28160 vsize=1482584 CPUtime=1061.97 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27944 0 -1 4202496 369873 0 0 0 105422 775 0 0 25 0 1 0 86645256 1518166016 369730 1992294400 134512640 135752675 4287933824 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 370646 369730 146 303 0 370341 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 1482584 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.91 2/106 28193 /proc/meminfo: memFree=353568/2059040 swapFree=4139624/4192956 [pid=28162] ppid=28160 vsize=1512024 CPUtime=1121.95 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27944 0 -1 4202496 377234 0 0 0 111392 803 0 0 25 0 1 0 86645256 1548312576 377091 1992294400 134512640 135752675 4287933824 18446744073709551615 134612042 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 378006 377091 146 303 0 377701 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 1512024 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.91 2/106 28195 /proc/meminfo: memFree=318352/2059040 swapFree=4139624/4192956 [pid=28162] ppid=28160 vsize=1547092 CPUtime=1181.93 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27944 0 -1 4202496 385965 0 0 0 117368 825 0 0 25 0 1 0 86645256 1584222208 385822 1992294400 134512640 135752675 4287933824 18446744073709551615 134615315 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 386773 385822 146 303 0 386468 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 1547092 [startup+1242.3 s] /proc/loadavg: 1.07 1.00 0.91 2/106 28200 /proc/meminfo: memFree=222196/2059040 swapFree=4139624/4192956 [pid=28162] ppid=28160 vsize=1591616 CPUtime=1241.91 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27944 0 -1 4202496 397590 0 0 0 123320 871 0 0 25 0 1 0 86645256 1629814784 397447 1992294400 134512640 135752675 4287933824 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 397904 397447 146 303 0 397599 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 1591616 [startup+1302.3 s] /proc/loadavg: 1.02 1.00 0.91 2/106 28202 /proc/meminfo: memFree=169868/2059040 swapFree=4139624/4192956 [pid=28162] ppid=28160 vsize=1643588 CPUtime=1301.9 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27944 0 -1 4202496 410550 0 0 0 129270 920 0 0 25 0 1 0 86645256 1683034112 410407 1992294400 134512640 135752675 4287933824 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 410897 410407 146 303 0 410592 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1643588 [startup+1362.3 s] /proc/loadavg: 1.01 1.00 0.91 2/106 28202 /proc/meminfo: memFree=133784/2059040 swapFree=4139624/4192956 [pid=28162] ppid=28160 vsize=1680328 CPUtime=1361.88 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27944 0 -1 4202496 419656 0 0 0 135223 965 0 0 25 0 1 0 86645256 1720655872 419513 1992294400 134512640 135752675 4287933824 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 420082 419513 146 303 0 419777 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1680328 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.91 2/106 28204 /proc/meminfo: memFree=88400/2059040 swapFree=4139624/4192956 [pid=28162] ppid=28160 vsize=1725396 CPUtime=1421.87 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27944 0 -1 4202496 430873 0 0 0 141172 1015 0 0 25 0 1 0 86645256 1766805504 430730 1992294400 134512640 135752675 4287933824 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 431349 430730 146 303 0 431044 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1725396 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.91 2/106 28206 /proc/meminfo: memFree=56780/2059040 swapFree=4139624/4192956 [pid=28162] ppid=28160 vsize=1757416 CPUtime=1481.85 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27944 0 -1 4202496 438856 0 0 0 147138 1047 0 0 25 0 1 0 86645256 1799593984 438713 1992294400 134512640 135752675 4287933824 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 439354 438713 146 303 0 439049 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1757416 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.91 2/106 28208 /proc/meminfo: memFree=11148/2059040 swapFree=4139624/4192956 [pid=28162] ppid=28160 vsize=1802964 CPUtime=1541.83 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27944 0 -1 4202496 450196 0 0 0 153097 1086 0 0 25 0 1 0 86645256 1846235136 450053 1992294400 134512640 135752675 4287933824 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 450741 450053 146 303 0 450436 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1802964 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.91 2/106 28210 /proc/meminfo: memFree=9512/2059040 swapFree=4139624/4192956 [pid=28162] ppid=28160 vsize=1830392 CPUtime=1601.8 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27944 0 -1 4202496 457032 0 0 0 159069 1111 0 0 25 0 1 0 86645256 1874321408 456889 1992294400 134512640 135752675 4287933824 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 457598 456889 146 303 0 457293 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 1830392 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1628.2 s] /proc/loadavg: 1.00 1.00 0.91 2/106 28210 /proc/meminfo: memFree=9164/2059040 swapFree=4139624/4192956 [pid=28162] ppid=28160 vsize=1843284 CPUtime=1627.71 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27944 0 -1 4202496 460227 0 0 0 161649 1122 0 0 25 0 1 0 86645256 1887522816 460084 1992294400 134512640 135752675 4287933824 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 460821 460084 146 303 0 460516 0 Current children cumulated CPU time (s) 1627.71 Current children cumulated vsize (KiB) 1843284 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1628.31 s] /proc/loadavg: 1.00 1.00 0.91 2/106 28210 /proc/meminfo: memFree=9164/2059040 swapFree=4139624/4192956 [pid=28162] ppid=28160 vsize=0 CPUtime=1627.81 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27944 0 -1 4203524 460227 0 0 0 161649 1132 0 0 25 0 1 0 86645256 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/28162/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1627.81 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1628.37 CPU time (s): 1627.88 CPU user time (s): 1616.49 CPU system time (s): 11.3863 CPU usage (%): 99.9696 Max. virtual memory (cumulated for all children) (KiB): 1843284 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1616.49 system time used= 11.3863 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460227 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= 50 involuntary context switches= 3816 runsolver used 2.49662 second user time and 7.92179 second system time The end
Begin job on node088 at 2010-06-25 10:11:57 IDJOB=2680620 IDBENCH=2066 IDSOLVER=1190 FILE ID=node088/2680620-1277453517 PBS_JOBID= 11188102 Free space on /tmp= 62468 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8b2.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680620-1277453517/watcher-2680620-1277453517 -o /tmp/evaluation-result-2680620-1277453517/solver-2680620-1277453517 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680620-1277453517.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 70025ca48ca8d6f0557fd72393d339c2 RANDOM SEED=788557759 node088.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.217 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.217 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 : 5999.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1866020 kB Buffers: 34272 kB Cached: 60192 kB SwapCached: 5660 kB Active: 22284 kB Inactive: 85276 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1866020 kB SwapTotal: 4192956 kB SwapFree: 4139624 kB Dirty: 2756 kB Writeback: 0 kB AnonPages: 11796 kB Mapped: 8384 kB Slab: 63668 kB PageTables: 4224 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181760 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= 62464 MiB End job on node088 at 2010-06-25 10:39:07