Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 1178.61 | 1178.98 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8c1.opb |
MD5SUM | 455daeae9aaa9768f332064b32a16167 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 302 |
Best CPU time to get the best result obtained on this benchmark | 1.12283 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 302 |
Optimality of the best value was proved | NO |
Number of variables | 1020 |
Total number of constraints | 3575 |
Number of constraints which are clauses | 3575 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 10 |
Number of terms in the objective function | 1020 |
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 | 1020 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1020 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680707-1277454363.opb. 0.00/0.00 c Instance file HOME/instance-2680707-1277454363.opb 0.00/0.00 c File size is 99046 bytes. 0.00/0.01 c Highest Coefficient sum: 11 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 1020 | 0.00/0.01 c | Number Clauses: 3575 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 0 | 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 1020 3575 8330 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 315 0.00/0.04 o 315 0.00/0.04 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 1020 3576 9350 | 5000 0 nan | 0.000 % | 0.00/0.06 c | 100 | 1020 3576 9350 | 5500 100 323 | 0.000 % | 0.00/0.08 c | 251 | 1020 3576 9350 | 6050 251 317 | 0.000 % | 0.09/0.11 c | 477 | 1020 3576 9350 | 6655 477 306 | 0.005 % | 0.09/0.16 c | 815 | 1020 3576 9350 | 7320 815 304 | 0.002 % | 0.19/0.24 c | 1321 | 1020 3576 9350 | 8052 1321 308 | 0.002 % | 0.29/0.34 c | 2080 | 1020 3576 9350 | 8857 2080 302 | 0.003 % | 0.49/0.53 c | 3221 | 1020 3576 9350 | 9743 3221 306 | 0.004 % | 0.79/0.81 c | 4929 | 1020 3576 9350 | 10717 4929 307 | 0.002 % | 1.49/1.57 c | 7492 | 1020 3576 9350 | 11789 7492 305 | 0.004 % | 2.20/2.26 c | 11336 | 1020 3576 9350 | 12968 11336 306 | 0.004 % | 3.49/3.52 c | 17102 | 1020 3576 9350 | 14265 10281 304 | 0.004 % | 5.40/5.47 c | 25751 | 1020 3576 9350 | 15692 11583 308 | 0.003 % | 7.99/8.01 c | 38727 | 1020 3576 9350 | 17261 8207 303 | 0.002 % | 12.78/12.87 c | 58188 | 1020 3576 9350 | 18987 9744 309 | 0.002 % | 22.59/22.66 c | 87380 | 1020 3576 9350 | 20886 19344 309 | 0.005 % | 40.98/41.07 c | 131170 | 1020 3576 9350 | 22974 20135 305 | 0.004 % | 66.77/66.88 c | 196855 | 1020 3576 9350 | 25272 23195 312 | 0.002 % | 105.56/105.61 c | 295382 | 1020 3576 9350 | 27799 19108 310 | 0.004 % | 168.94/169.04 c | 443171 | 1020 3576 9350 | 30579 13578 339 | 0.002 % | 182.44/182.53 c There are 0 assigned variables. 0 in cost function. 183.43/183.59 c core #1 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 1 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #2 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 2 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #3 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 3 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #4 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 4 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #5 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 5 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #6 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 6 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #7 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 7 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #8 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 8 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #9 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 9 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #10 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 10 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #11 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 11 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #12 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 12 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #13 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 13 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #14 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 14 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #15 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 15 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #16 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 16 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #17 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 17 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #18 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 18 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #19 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 19 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #20 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 20 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #21 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 21 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #22 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 22 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #23 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 23 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #24 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 24 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #25 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 25 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #26 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 26 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #27 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 27 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #28 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 28 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #29 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 29 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #30 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 30 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #31 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 31 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #32 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 32 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #33 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 33 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #34 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 34 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #35 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 35 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #36 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 36 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #37 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 37 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #38 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 38 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #39 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 39 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #40 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 40 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #41 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 41 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #42 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 42 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #43 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 43 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #44 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 44 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #45 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 45 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #46 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 46 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #47 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 47 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #48 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 48 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #49 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 49 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #50 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 50 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #51 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 51 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #52 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 52 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #53 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 53 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #54 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 54 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #55 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 55 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #56 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 56 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #57 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 57 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #58 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 58 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #59 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 59 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #60 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 60 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c core #61 183.43/183.59 c 183.43/183.59 c 183.43/183.59 c Core size: 3 Core Weight: 1 Total Weight: 61 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #62 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 3 Core Weight: 1 Total Weight: 62 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #63 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 3 Core Weight: 1 Total Weight: 63 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #64 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 3 Core Weight: 1 Total Weight: 64 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #65 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 3 Core Weight: 1 Total Weight: 65 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #66 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 3 Core Weight: 1 Total Weight: 66 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #67 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 3 Core Weight: 1 Total Weight: 67 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #68 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 3 Core Weight: 1 Total Weight: 68 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #69 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 3 Core Weight: 1 Total Weight: 69 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #70 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 3 Core Weight: 1 Total Weight: 70 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #71 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 3 Core Weight: 1 Total Weight: 71 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #72 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 3 Core Weight: 1 Total Weight: 72 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #73 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 3 Core Weight: 1 Total Weight: 73 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #74 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 3 Core Weight: 1 Total Weight: 74 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #75 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 3 Core Weight: 1 Total Weight: 75 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #76 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 3 Core Weight: 1 Total Weight: 76 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #77 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 3 Core Weight: 1 Total Weight: 77 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #78 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 3 Core Weight: 1 Total Weight: 78 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #79 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 3 Core Weight: 1 Total Weight: 79 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #80 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 3 Core Weight: 1 Total Weight: 80 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #81 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 9 Core Weight: 1 Total Weight: 81 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #82 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 9 Core Weight: 1 Total Weight: 82 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #83 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 9 Core Weight: 1 Total Weight: 83 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #84 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 9 Core Weight: 1 Total Weight: 84 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #85 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 9 Core Weight: 1 Total Weight: 85 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #86 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 9 Core Weight: 1 Total Weight: 86 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #87 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 9 Core Weight: 1 Total Weight: 87 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #88 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 9 Core Weight: 1 Total Weight: 88 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #89 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 9 Core Weight: 1 Total Weight: 89 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #90 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 9 Core Weight: 1 Total Weight: 90 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #91 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 11 Core Weight: 1 Total Weight: 91 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #92 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 11 Core Weight: 1 Total Weight: 92 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #93 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 11 Core Weight: 1 Total Weight: 93 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #94 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 11 Core Weight: 1 Total Weight: 94 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #95 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 11 Core Weight: 1 Total Weight: 95 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #96 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 11 Core Weight: 1 Total Weight: 96 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #97 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 11 Core Weight: 1 Total Weight: 97 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #98 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 11 Core Weight: 1 Total Weight: 98 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #99 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 11 Core Weight: 1 Total Weight: 99 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #100 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 11 Core Weight: 1 Total Weight: 100 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #101 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 11 Core Weight: 1 Total Weight: 101 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #102 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 11 Core Weight: 1 Total Weight: 102 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #103 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 11 Core Weight: 1 Total Weight: 103 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #104 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 11 Core Weight: 1 Total Weight: 104 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #105 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 11 Core Weight: 1 Total Weight: 105 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #106 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 11 Core Weight: 1 Total Weight: 106 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #107 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 11 Core Weight: 1 Total Weight: 107 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #108 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 11 Core Weight: 1 Total Weight: 108 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #109 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 11 Core Weight: 1 Total Weight: 109 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #110 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 11 Core Weight: 1 Total Weight: 110 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #111 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 11 Core Weight: 1 Total Weight: 111 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #112 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 11 Core Weight: 1 Total Weight: 112 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #113 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 11 Core Weight: 1 Total Weight: 113 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #114 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 11 Core Weight: 1 Total Weight: 114 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #115 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 11 Core Weight: 1 Total Weight: 115 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #116 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 11 Core Weight: 1 Total Weight: 116 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #117 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 11 Core Weight: 1 Total Weight: 117 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #118 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 11 Core Weight: 1 Total Weight: 118 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #119 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 11 Core Weight: 1 Total Weight: 119 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c core #120 184.03/184.16 c 184.03/184.16 c 184.03/184.16 c Core size: 11 Core Weight: 1 Total Weight: 120 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #121 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 11 Core Weight: 1 Total Weight: 121 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #122 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 11 Core Weight: 1 Total Weight: 122 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #123 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 11 Core Weight: 1 Total Weight: 123 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #124 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 11 Core Weight: 1 Total Weight: 124 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #125 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 11 Core Weight: 1 Total Weight: 125 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #126 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 16 Core Weight: 1 Total Weight: 126 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #127 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 20 Core Weight: 1 Total Weight: 127 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #128 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 22 Core Weight: 1 Total Weight: 128 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #129 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 19 Core Weight: 1 Total Weight: 129 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #130 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 22 Core Weight: 1 Total Weight: 130 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #131 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 22 Core Weight: 1 Total Weight: 131 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #132 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 19 Core Weight: 1 Total Weight: 132 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #133 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 22 Core Weight: 1 Total Weight: 133 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #134 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 16 Core Weight: 1 Total Weight: 134 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #135 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 20 Core Weight: 1 Total Weight: 135 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #136 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 22 Core Weight: 1 Total Weight: 136 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #137 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 19 Core Weight: 1 Total Weight: 137 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #138 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 22 Core Weight: 1 Total Weight: 138 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #139 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 22 Core Weight: 1 Total Weight: 139 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #140 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 19 Core Weight: 1 Total Weight: 140 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #141 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 22 Core Weight: 1 Total Weight: 141 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #142 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 16 Core Weight: 1 Total Weight: 142 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #143 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 20 Core Weight: 1 Total Weight: 143 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #144 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 22 Core Weight: 1 Total Weight: 144 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #145 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 19 Core Weight: 1 Total Weight: 145 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #146 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 22 Core Weight: 1 Total Weight: 146 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #147 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 22 Core Weight: 1 Total Weight: 147 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #148 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 19 Core Weight: 1 Total Weight: 148 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #149 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 22 Core Weight: 1 Total Weight: 149 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #150 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 16 Core Weight: 1 Total Weight: 150 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #151 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 20 Core Weight: 1 Total Weight: 151 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #152 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 22 Core Weight: 1 Total Weight: 152 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #153 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 19 Core Weight: 1 Total Weight: 153 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #154 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 22 Core Weight: 1 Total Weight: 154 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #155 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 22 Core Weight: 1 Total Weight: 155 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #156 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 19 Core Weight: 1 Total Weight: 156 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #157 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 22 Core Weight: 1 Total Weight: 157 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #158 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 16 Core Weight: 1 Total Weight: 158 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #159 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 20 Core Weight: 1 Total Weight: 159 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #160 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 22 Core Weight: 1 Total Weight: 160 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #161 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 19 Core Weight: 1 Total Weight: 161 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #162 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 22 Core Weight: 1 Total Weight: 162 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #163 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 22 Core Weight: 1 Total Weight: 163 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #164 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 19 Core Weight: 1 Total Weight: 164 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #165 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 22 Core Weight: 1 Total Weight: 165 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #166 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 16 Core Weight: 1 Total Weight: 166 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #167 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 20 Core Weight: 1 Total Weight: 167 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #168 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 22 Core Weight: 1 Total Weight: 168 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #169 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 19 Core Weight: 1 Total Weight: 169 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #170 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 22 Core Weight: 1 Total Weight: 170 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #171 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 22 Core Weight: 1 Total Weight: 171 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #172 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 19 Core Weight: 1 Total Weight: 172 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #173 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 22 Core Weight: 1 Total Weight: 173 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #174 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 16 Core Weight: 1 Total Weight: 174 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #175 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 20 Core Weight: 1 Total Weight: 175 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #176 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 22 Core Weight: 1 Total Weight: 176 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #177 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 19 Core Weight: 1 Total Weight: 177 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c core #178 184.53/184.66 c 184.53/184.66 c 184.53/184.66 c Core size: 22 Core Weight: 1 Total Weight: 178 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c core #179 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c Core size: 22 Core Weight: 1 Total Weight: 179 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c core #180 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c Core size: 19 Core Weight: 1 Total Weight: 180 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c core #181 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c Core size: 22 Core Weight: 1 Total Weight: 181 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c core #182 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c Core size: 16 Core Weight: 1 Total Weight: 182 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c core #183 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c Core size: 20 Core Weight: 1 Total Weight: 183 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c core #184 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c Core size: 22 Core Weight: 1 Total Weight: 184 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c core #185 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c Core size: 19 Core Weight: 1 Total Weight: 185 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c core #186 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c Core size: 22 Core Weight: 1 Total Weight: 186 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c core #187 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c Core size: 22 Core Weight: 1 Total Weight: 187 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c core #188 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c Core size: 19 Core Weight: 1 Total Weight: 188 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c core #189 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c Core size: 22 Core Weight: 1 Total Weight: 189 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c core #190 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c Core size: 16 Core Weight: 1 Total Weight: 190 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c core #191 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c Core size: 20 Core Weight: 1 Total Weight: 191 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c core #192 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c Core size: 22 Core Weight: 1 Total Weight: 192 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c core #193 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c Core size: 19 Core Weight: 1 Total Weight: 193 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c core #194 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c Core size: 22 Core Weight: 1 Total Weight: 194 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c core #195 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c Core size: 22 Core Weight: 1 Total Weight: 195 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c core #196 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c Core size: 19 Core Weight: 1 Total Weight: 196 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c core #197 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c Core size: 22 Core Weight: 1 Total Weight: 197 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c core #198 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c Core size: 16 Core Weight: 1 Total Weight: 198 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c core #199 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c Core size: 20 Core Weight: 1 Total Weight: 199 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c core #200 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c Core size: 22 Core Weight: 1 Total Weight: 200 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c core #201 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c Core size: 19 Core Weight: 1 Total Weight: 201 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c core #202 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c Core size: 22 Core Weight: 1 Total Weight: 202 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c core #203 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c Core size: 22 Core Weight: 1 Total Weight: 203 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c core #204 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c Core size: 19 Core Weight: 1 Total Weight: 204 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c core #205 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c Core size: 22 Core Weight: 1 Total Weight: 205 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c core #206 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c Core size: 201 Core Weight: 1 Total Weight: 206 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c core #207 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c Core size: 7 Core Weight: 1 Total Weight: 207 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c core #208 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c Core size: 7 Core Weight: 1 Total Weight: 208 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c core #209 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c Core size: 7 Core Weight: 1 Total Weight: 209 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c core #210 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c Core size: 7 Core Weight: 1 Total Weight: 210 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c core #211 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c Core size: 7 Core Weight: 1 Total Weight: 211 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c core #212 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c Core size: 7 Core Weight: 1 Total Weight: 212 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c core #213 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c Core size: 7 Core Weight: 1 Total Weight: 213 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c core #214 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c Core size: 7 Core Weight: 1 Total Weight: 214 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c core #215 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c Core size: 7 Core Weight: 1 Total Weight: 215 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c core #216 184.93/185.08 c 184.93/185.08 c 184.93/185.08 c Core size: 7 Core Weight: 1 Total Weight: 216 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 | 2000 4896 12481 | 5000 0 nan | 0.000 % | 184.93/185.08 c =============================================================================== 184.93/185.09 c core #217 184.93/185.09 c 184.93/185.09 c 184.93/185.09 c Core size: 11 Core Weight: 1 Total Weight: 217 184.93/185.09 c 184.93/185.09 c 184.93/185.09 c ============================[ Search Statistics ]============================== 184.93/185.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.93/185.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.93/185.09 c =============================================================================== 184.93/185.09 c | 0 | 2007 4897 12495 | 5000 0 nan | 0.000 % | 184.93/185.10 c =============================================================================== 185.03/185.11 c core #218 185.03/185.11 c 185.03/185.11 c 185.03/185.11 c Core size: 10 Core Weight: 1 Total Weight: 218 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 | 2013 4898 12507 | 5000 0 nan | 0.000 % | 185.03/185.11 c =============================================================================== 185.03/185.12 c core #219 185.03/185.12 c 185.03/185.12 c 185.03/185.12 c Core size: 12 Core Weight: 1 Total Weight: 219 185.03/185.12 c 185.03/185.12 c 185.03/185.12 c ============================[ Search Statistics ]============================== 185.03/185.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.03/185.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.03/185.12 c =============================================================================== 185.03/185.12 c | 0 | 2020 4899 12521 | 5000 0 nan | 0.000 % | 185.03/185.13 c =============================================================================== 185.03/185.14 c core #220 185.03/185.14 c 185.03/185.14 c 185.03/185.14 c Core size: 26 Core Weight: 1 Total Weight: 220 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 | 2029 4900 12539 | 5000 0 nan | 0.000 % | 185.03/185.14 c =============================================================================== 185.03/185.15 c core #221 185.03/185.15 c 185.03/185.15 c 185.03/185.15 c Core size: 12 Core Weight: 1 Total Weight: 221 185.03/185.15 c 185.03/185.15 c 185.03/185.15 c ============================[ Search Statistics ]============================== 185.03/185.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.03/185.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.03/185.15 c =============================================================================== 185.03/185.15 c | 0 | 2036 4901 12553 | 5000 0 nan | 0.000 % | 185.03/185.16 c =============================================================================== 185.03/185.17 c core #222 185.03/185.17 c 185.03/185.17 c 185.03/185.17 c Core size: 15 Core Weight: 1 Total Weight: 222 185.03/185.17 c 185.03/185.17 c 185.03/185.17 c ============================[ Search Statistics ]============================== 185.03/185.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.03/185.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.03/185.17 c =============================================================================== 185.03/185.17 c | 0 | 2044 4902 12569 | 5000 0 nan | 0.000 % | 185.03/185.17 c =============================================================================== 185.03/185.18 c core #223 185.03/185.18 c 185.03/185.18 c 185.03/185.18 c Core size: 10 Core Weight: 1 Total Weight: 223 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 | 2050 4903 12581 | 5000 0 nan | 0.000 % | 185.03/185.19 c =============================================================================== 185.13/185.20 c core #224 185.13/185.20 c 185.13/185.20 c 185.13/185.20 c Core size: 10 Core Weight: 1 Total Weight: 224 185.13/185.20 c 185.13/185.20 c 185.13/185.20 c ============================[ Search Statistics ]============================== 185.13/185.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.13/185.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.13/185.20 c =============================================================================== 185.13/185.20 c | 0 | 2056 4904 12593 | 5000 0 nan | 0.000 % | 185.13/185.20 c =============================================================================== 185.13/185.21 c core #225 185.13/185.21 c 185.13/185.21 c 185.13/185.21 c Core size: 10 Core Weight: 1 Total Weight: 225 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 | 2062 4905 12605 | 5000 0 nan | 0.000 % | 185.13/185.22 c =============================================================================== 185.13/185.23 c core #226 185.13/185.23 c 185.13/185.23 c 185.13/185.23 c Core size: 10 Core Weight: 1 Total Weight: 226 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 | 2068 4906 12617 | 5000 0 nan | 0.000 % | 185.13/185.23 c =============================================================================== 185.13/185.24 c core #227 185.13/185.24 c 185.13/185.24 c 185.13/185.24 c Core size: 10 Core Weight: 1 Total Weight: 227 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 | 2074 4907 12629 | 5000 0 nan | 0.000 % | 185.13/185.25 c =============================================================================== 185.13/185.26 c core #228 185.13/185.26 c 185.13/185.26 c 185.13/185.26 c Core size: 10 Core Weight: 1 Total Weight: 228 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 | 2080 4908 12641 | 5000 0 nan | 0.000 % | 185.13/185.27 c =============================================================================== 185.13/185.28 c core #229 185.13/185.28 c 185.13/185.28 c 185.13/185.28 c Core size: 10 Core Weight: 1 Total Weight: 229 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 | 2086 4909 12653 | 5000 0 nan | 0.000 % | 185.13/185.28 c =============================================================================== 185.13/185.29 c core #230 185.13/185.29 c 185.13/185.29 c 185.13/185.29 c Core size: 10 Core Weight: 1 Total Weight: 230 185.13/185.29 c 185.13/185.29 c 185.13/185.29 c ============================[ Search Statistics ]============================== 185.13/185.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.13/185.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.13/185.29 c =============================================================================== 185.13/185.29 c | 0 | 2092 4910 12665 | 5000 0 nan | 0.000 % | 185.23/185.30 c =============================================================================== 185.23/185.31 c core #231 185.23/185.31 c 185.23/185.31 c 185.23/185.31 c Core size: 10 Core Weight: 1 Total Weight: 231 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 | 2098 4911 12677 | 5000 0 nan | 0.000 % | 185.23/185.31 c =============================================================================== 185.23/185.32 c core #232 185.23/185.32 c 185.23/185.32 c 185.23/185.32 c Core size: 10 Core Weight: 1 Total Weight: 232 185.23/185.32 c 185.23/185.32 c 185.23/185.32 c ============================[ Search Statistics ]============================== 185.23/185.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.23/185.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.23/185.32 c =============================================================================== 185.23/185.32 c | 0 | 2104 4912 12689 | 5000 0 nan | 0.000 % | 185.23/185.33 c =============================================================================== 185.23/185.34 c core #233 185.23/185.34 c 185.23/185.34 c 185.23/185.34 c Core size: 10 Core Weight: 1 Total Weight: 233 185.23/185.34 c 185.23/185.34 c 185.23/185.34 c ============================[ Search Statistics ]============================== 185.23/185.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.23/185.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.23/185.34 c =============================================================================== 185.23/185.34 c | 0 | 2110 4913 12701 | 5000 0 nan | 0.000 % | 185.23/185.35 c =============================================================================== 185.23/185.36 c core #234 185.23/185.36 c 185.23/185.36 c 185.23/185.36 c Core size: 10 Core Weight: 1 Total Weight: 234 185.23/185.36 c 185.23/185.36 c 185.23/185.36 c ============================[ Search Statistics ]============================== 185.23/185.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.23/185.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.23/185.36 c =============================================================================== 185.23/185.36 c | 0 | 2116 4914 12713 | 5000 0 nan | 0.000 % | 185.23/185.36 c =============================================================================== 185.23/185.37 c core #235 185.23/185.37 c 185.23/185.37 c 185.23/185.37 c Core size: 10 Core Weight: 1 Total Weight: 235 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 | 2122 4915 12725 | 5000 0 nan | 0.000 % | 185.23/185.38 c =============================================================================== 185.23/185.39 c core #236 185.23/185.39 c 185.23/185.39 c 185.23/185.39 c Core size: 10 Core Weight: 1 Total Weight: 236 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 | 2128 4916 12737 | 5000 0 nan | 0.000 % | 185.23/185.40 c =============================================================================== 185.33/185.41 c core #237 185.33/185.41 c 185.33/185.41 c 185.33/185.41 c Core size: 10 Core Weight: 1 Total Weight: 237 185.33/185.41 c 185.33/185.41 c 185.33/185.41 c ============================[ Search Statistics ]============================== 185.33/185.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.33/185.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.33/185.41 c =============================================================================== 185.33/185.41 c | 0 | 2134 4917 12749 | 5000 0 nan | 0.000 % | 185.33/185.41 c =============================================================================== 185.33/185.42 c core #238 185.33/185.42 c 185.33/185.42 c 185.33/185.42 c Core size: 10 Core Weight: 1 Total Weight: 238 185.33/185.42 c 185.33/185.42 c 185.33/185.42 c ============================[ Search Statistics ]============================== 185.33/185.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.33/185.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.33/185.42 c =============================================================================== 185.33/185.42 c | 0 | 2140 4918 12761 | 5000 0 nan | 0.000 % | 185.33/185.43 c =============================================================================== 185.33/185.44 c core #239 185.33/185.44 c 185.33/185.44 c 185.33/185.44 c Core size: 10 Core Weight: 1 Total Weight: 239 185.33/185.44 c 185.33/185.44 c 185.33/185.44 c ============================[ Search Statistics ]============================== 185.33/185.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.33/185.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.33/185.44 c =============================================================================== 185.33/185.44 c | 0 | 2146 4919 12773 | 5000 0 nan | 0.000 % | 185.33/185.44 c =============================================================================== 185.33/185.46 c core #240 185.33/185.46 c 185.33/185.46 c 185.33/185.46 c Core size: 10 Core Weight: 1 Total Weight: 240 185.33/185.46 c 185.33/185.46 c 185.33/185.46 c ============================[ Search Statistics ]============================== 185.33/185.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.33/185.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.33/185.46 c =============================================================================== 185.33/185.46 c | 0 | 2152 4920 12785 | 5000 0 nan | 0.000 % | 185.33/185.46 c =============================================================================== 185.33/185.47 c core #241 185.33/185.47 c 185.33/185.47 c 185.33/185.47 c Core size: 10 Core Weight: 1 Total Weight: 241 185.33/185.47 c 185.33/185.47 c 185.33/185.47 c ============================[ Search Statistics ]============================== 185.33/185.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.33/185.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.33/185.47 c =============================================================================== 185.33/185.47 c | 0 | 2158 4921 12797 | 5000 0 nan | 0.000 % | 185.33/185.48 c =============================================================================== 185.33/185.49 c core #242 185.33/185.49 c 185.33/185.49 c 185.33/185.49 c Core size: 10 Core Weight: 1 Total Weight: 242 185.33/185.49 c 185.33/185.49 c 185.33/185.49 c ============================[ Search Statistics ]============================== 185.33/185.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.33/185.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.33/185.49 c =============================================================================== 185.33/185.49 c | 0 | 2164 4922 12809 | 5000 0 nan | 0.000 % | 185.33/185.50 c =============================================================================== 185.42/185.51 c core #243 185.42/185.51 c 185.42/185.51 c 185.42/185.51 c Core size: 10 Core Weight: 1 Total Weight: 243 185.42/185.51 c 185.42/185.51 c 185.42/185.51 c ============================[ Search Statistics ]============================== 185.42/185.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.42/185.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.42/185.51 c =============================================================================== 185.42/185.51 c | 0 | 2170 4923 12821 | 5000 0 nan | 0.000 % | 185.42/185.51 c =============================================================================== 185.42/185.52 c core #244 185.42/185.52 c 185.42/185.52 c 185.42/185.52 c Core size: 10 Core Weight: 1 Total Weight: 244 185.42/185.52 c 185.42/185.52 c 185.42/185.52 c ============================[ Search Statistics ]============================== 185.42/185.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.42/185.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.42/185.52 c =============================================================================== 185.42/185.52 c | 0 | 2176 4924 12833 | 5000 0 nan | 0.000 % | 185.42/185.53 c =============================================================================== 185.42/185.54 c core #245 185.42/185.54 c 185.42/185.54 c 185.42/185.54 c Core size: 10 Core Weight: 1 Total Weight: 245 185.42/185.54 c 185.42/185.54 c 185.42/185.54 c ============================[ Search Statistics ]============================== 185.42/185.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.42/185.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.42/185.54 c =============================================================================== 185.42/185.54 c | 0 | 2182 4925 12845 | 5000 0 nan | 0.000 % | 185.42/185.55 c =============================================================================== 185.42/185.56 c core #246 185.42/185.56 c 185.42/185.56 c 185.42/185.56 c Core size: 10 Core Weight: 1 Total Weight: 246 185.42/185.56 c 185.42/185.56 c 185.42/185.56 c ============================[ Search Statistics ]============================== 185.42/185.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.42/185.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.42/185.56 c =============================================================================== 185.42/185.56 c | 0 | 2188 4926 12857 | 5000 0 nan | 0.000 % | 185.42/185.56 c =============================================================================== 185.42/185.57 c core #247 185.42/185.57 c 185.42/185.57 c 185.42/185.57 c Core size: 10 Core Weight: 1 Total Weight: 247 185.42/185.57 c 185.42/185.57 c 185.42/185.57 c ============================[ Search Statistics ]============================== 185.42/185.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.42/185.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.42/185.57 c =============================================================================== 185.42/185.57 c | 0 | 2194 4927 12869 | 5000 0 nan | 0.000 % | 185.42/185.58 c =============================================================================== 185.42/185.59 c core #248 185.42/185.59 c 185.42/185.59 c 185.42/185.59 c Core size: 10 Core Weight: 1 Total Weight: 248 185.42/185.59 c 185.42/185.59 c 185.42/185.59 c ============================[ Search Statistics ]============================== 185.42/185.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.42/185.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.42/185.59 c =============================================================================== 185.42/185.59 c | 0 | 2200 4928 12881 | 5000 0 nan | 0.000 % | 185.52/185.60 c =============================================================================== 185.52/185.61 c core #249 185.52/185.61 c 185.52/185.61 c 185.52/185.61 c Core size: 10 Core Weight: 1 Total Weight: 249 185.52/185.61 c 185.52/185.61 c 185.52/185.61 c ============================[ Search Statistics ]============================== 185.52/185.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.52/185.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.52/185.61 c =============================================================================== 185.52/185.61 c | 0 | 2206 4929 12893 | 5000 0 nan | 0.000 % | 185.52/185.61 c =============================================================================== 185.52/185.63 c core #250 185.52/185.63 c 185.52/185.63 c 185.52/185.63 c Core size: 26 Core Weight: 1 Total Weight: 250 185.52/185.63 c 185.52/185.63 c 185.52/185.63 c ============================[ Search Statistics ]============================== 185.52/185.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.52/185.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.52/185.63 c =============================================================================== 185.52/185.63 c | 0 | 2226 4930 12934 | 5000 0 nan | 0.000 % | 185.52/185.63 c =============================================================================== 185.52/185.64 c core #251 185.52/185.64 c 185.52/185.64 c 185.52/185.64 c Core size: 14 Core Weight: 1 Total Weight: 251 185.52/185.64 c 185.52/185.64 c 185.52/185.64 c ============================[ Search Statistics ]============================== 185.52/185.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.52/185.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.52/185.64 c =============================================================================== 185.52/185.64 c | 0 | 2232 4931 12946 | 5000 0 nan | 0.000 % | 185.52/185.65 c =============================================================================== 185.52/185.66 c core #252 185.52/185.66 c 185.52/185.66 c 185.52/185.66 c Core size: 11 Core Weight: 1 Total Weight: 252 185.52/185.66 c 185.52/185.66 c 185.52/185.66 c ============================[ Search Statistics ]============================== 185.52/185.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.52/185.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.52/185.66 c =============================================================================== 185.52/185.66 c | 0 | 2238 4932 12958 | 5000 0 nan | 0.000 % | 185.52/185.67 c =============================================================================== 185.52/185.68 c core #253 185.52/185.68 c 185.52/185.68 c 185.52/185.68 c Core size: 19 Core Weight: 1 Total Weight: 253 185.52/185.68 c 185.52/185.68 c 185.52/185.68 c ============================[ Search Statistics ]============================== 185.52/185.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.52/185.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.52/185.68 c =============================================================================== 185.52/185.68 c | 0 | 2247 4933 12976 | 5000 0 nan | 0.000 % | 185.52/185.68 c =============================================================================== 185.52/185.69 c core #254 185.52/185.69 c 185.52/185.69 c 185.52/185.69 c Core size: 10 Core Weight: 1 Total Weight: 254 185.52/185.69 c 185.52/185.69 c 185.52/185.69 c ============================[ Search Statistics ]============================== 185.52/185.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.52/185.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.52/185.69 c =============================================================================== 185.52/185.69 c | 0 | 2253 4934 12988 | 5000 0 nan | 0.000 % | 185.62/185.70 c =============================================================================== 185.62/185.71 c core #255 185.62/185.71 c 185.62/185.71 c 185.62/185.71 c Core size: 18 Core Weight: 1 Total Weight: 255 185.62/185.71 c 185.62/185.71 c 185.62/185.71 c ============================[ Search Statistics ]============================== 185.62/185.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.62/185.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.62/185.71 c =============================================================================== 185.62/185.71 c | 0 | 2262 4935 13006 | 5000 0 nan | 0.000 % | 185.62/185.72 c =============================================================================== 185.62/185.73 c core #256 185.62/185.73 c 185.62/185.73 c 185.62/185.73 c Core size: 26 Core Weight: 1 Total Weight: 256 185.62/185.73 c 185.62/185.73 c 185.62/185.73 c ============================[ Search Statistics ]============================== 185.62/185.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.62/185.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.62/185.73 c =============================================================================== 185.62/185.73 c | 0 | 2270 4936 13022 | 5000 0 nan | 0.000 % | 185.62/185.74 c =============================================================================== 185.62/185.75 c core #257 185.62/185.75 c 185.62/185.75 c 185.62/185.75 c Core size: 28 Core Weight: 1 Total Weight: 257 185.62/185.75 c 185.62/185.75 c 185.62/185.75 c ============================[ Search Statistics ]============================== 185.62/185.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.62/185.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.62/185.75 c =============================================================================== 185.62/185.75 c | 0 | 2283 4937 13049 | 5000 0 nan | 0.000 % | 185.62/185.76 c =============================================================================== 185.62/185.77 c core #258 185.62/185.77 c 185.62/185.77 c 185.62/185.77 c Core size: 12 Core Weight: 1 Total Weight: 258 185.62/185.77 c 185.62/185.77 c 185.62/185.77 c ============================[ Search Statistics ]============================== 185.62/185.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.62/185.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.62/185.77 c =============================================================================== 185.62/185.77 c | 0 | 2290 4938 13063 | 5000 0 nan | 0.000 % | 185.62/185.77 c =============================================================================== 185.62/185.78 c core #259 185.62/185.78 c 185.62/185.78 c 185.62/185.78 c Core size: 12 Core Weight: 1 Total Weight: 259 185.62/185.78 c 185.62/185.78 c 185.62/185.78 c ============================[ Search Statistics ]============================== 185.62/185.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.62/185.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.62/185.78 c =============================================================================== 185.62/185.78 c | 0 | 2297 4939 13077 | 5000 0 nan | 0.000 % | 185.62/185.79 c =============================================================================== 185.73/185.80 c core #260 185.73/185.80 c 185.73/185.80 c 185.73/185.80 c Core size: 10 Core Weight: 1 Total Weight: 260 185.73/185.80 c 185.73/185.80 c 185.73/185.80 c ============================[ Search Statistics ]============================== 185.73/185.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.73/185.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.73/185.80 c =============================================================================== 185.73/185.80 c | 0 | 2303 4940 13089 | 5000 0 nan | 0.000 % | 185.73/185.81 c =============================================================================== 185.73/185.82 c core #261 185.73/185.82 c 185.73/185.82 c 185.73/185.82 c Core size: 13 Core Weight: 1 Total Weight: 261 185.73/185.82 c 185.73/185.82 c 185.73/185.82 c ============================[ Search Statistics ]============================== 185.73/185.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.73/185.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.73/185.82 c =============================================================================== 185.73/185.82 c | 0 | 2312 4941 13107 | 5000 0 nan | 0.000 % | 185.73/185.83 c =============================================================================== 185.73/185.84 c core #262 185.73/185.84 c 185.73/185.84 c 185.73/185.84 c Core size: 14 Core Weight: 1 Total Weight: 262 185.73/185.84 c 185.73/185.84 c 185.73/185.84 c ============================[ Search Statistics ]============================== 185.73/185.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.73/185.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.73/185.84 c =============================================================================== 185.73/185.84 c | 0 | 2318 4942 13119 | 5000 0 nan | 0.000 % | 185.73/185.85 c =============================================================================== 185.73/185.86 c core #263 185.73/185.86 c 185.73/185.86 c 185.73/185.86 c Core size: 8 Core Weight: 1 Total Weight: 263 185.73/185.86 c 185.73/185.86 c 185.73/185.86 c ============================[ Search Statistics ]============================== 185.73/185.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.73/185.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.73/185.86 c =============================================================================== 185.73/185.86 c | 0 | 2322 4943 13127 | 5000 0 nan | 0.000 % | 185.73/185.86 c =============================================================================== 185.73/185.88 c core #264 185.73/185.88 c 185.73/185.88 c 185.73/185.88 c Core size: 12 Core Weight: 1 Total Weight: 264 185.73/185.88 c 185.73/185.88 c 185.73/185.88 c ============================[ Search Statistics ]============================== 185.73/185.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.73/185.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.73/185.88 c =============================================================================== 185.73/185.88 c | 0 | 2329 4944 13141 | 5000 0 nan | 0.000 % | 185.73/185.88 c =============================================================================== 185.73/185.89 c core #265 185.73/185.89 c 185.73/185.89 c 185.73/185.89 c Core size: 29 Core Weight: 1 Total Weight: 265 185.73/185.89 c 185.73/185.89 c 185.73/185.89 c ============================[ Search Statistics ]============================== 185.73/185.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.73/185.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.73/185.89 c =============================================================================== 185.73/185.89 c | 0 | 2340 4945 13163 | 5000 0 nan | 0.000 % | 185.73/185.90 c =============================================================================== 185.84/185.91 c core #266 185.84/185.91 c 185.84/185.91 c 185.84/185.91 c Core size: 10 Core Weight: 1 Total Weight: 266 185.84/185.91 c 185.84/185.91 c 185.84/185.91 c ============================[ Search Statistics ]============================== 185.84/185.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.84/185.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.84/185.91 c =============================================================================== 185.84/185.91 c | 0 | 2346 4946 13175 | 5000 0 nan | 0.000 % | 185.84/185.92 c =============================================================================== 185.84/185.93 c core #267 185.84/185.93 c 185.84/185.93 c 185.84/185.93 c Core size: 11 Core Weight: 1 Total Weight: 267 185.84/185.93 c 185.84/185.93 c 185.84/185.93 c ============================[ Search Statistics ]============================== 185.84/185.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.84/185.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.84/185.93 c =============================================================================== 185.84/185.93 c | 0 | 2353 4948 13192 | 5000 0 nan | 0.000 % | 185.84/185.94 c =============================================================================== 185.84/185.95 c core #268 185.84/185.95 c 185.84/185.95 c 185.84/185.95 c Core size: 10 Core Weight: 1 Total Weight: 268 185.84/185.95 c 185.84/185.95 c 185.84/185.95 c ============================[ Search Statistics ]============================== 185.84/185.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.84/185.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.84/185.95 c =============================================================================== 185.84/185.95 c | 0 | 2359 4949 13204 | 5000 0 nan | 0.000 % | 185.84/185.96 c =============================================================================== 185.84/185.97 c core #269 185.84/185.97 c 185.84/185.97 c 185.84/185.97 c Core size: 10 Core Weight: 1 Total Weight: 269 185.84/185.97 c 185.84/185.97 c 185.84/185.97 c ============================[ Search Statistics ]============================== 185.84/185.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.84/185.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.84/185.97 c =============================================================================== 185.84/185.97 c | 0 | 2365 4950 13216 | 5000 0 nan | 0.000 % | 185.84/185.97 c =============================================================================== 185.84/185.98 c core #270 185.84/185.98 c 185.84/185.98 c 185.84/185.98 c Core size: 27 Core Weight: 1 Total Weight: 270 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 | 2374 4951 13234 | 5000 0 nan | 0.000 % | 185.84/185.99 c =============================================================================== 185.93/186.00 c core #271 185.93/186.00 c 185.93/186.00 c 185.93/186.00 c Core size: 20 Core Weight: 1 Total Weight: 271 185.93/186.00 c 185.93/186.00 c 185.93/186.00 c ============================[ Search Statistics ]============================== 185.93/186.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.93/186.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.93/186.00 c =============================================================================== 185.93/186.00 c | 0 | 2385 4952 13256 | 5000 0 nan | 0.000 % | 185.93/186.01 c =============================================================================== 185.93/186.02 c core #272 185.93/186.02 c 185.93/186.02 c 185.93/186.02 c Core size: 16 Core Weight: 1 Total Weight: 272 185.93/186.02 c 185.93/186.02 c 185.93/186.02 c ============================[ Search Statistics ]============================== 185.93/186.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.93/186.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.93/186.02 c =============================================================================== 185.93/186.02 c | 0 | 2396 4953 13278 | 5000 0 nan | 0.000 % | 185.93/186.03 c =============================================================================== 185.93/186.04 c core #273 185.93/186.04 c 185.93/186.04 c 185.93/186.04 c Core size: 10 Core Weight: 1 Total Weight: 273 185.93/186.04 c 185.93/186.04 c 185.93/186.04 c ============================[ Search Statistics ]============================== 185.93/186.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.93/186.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.93/186.04 c =============================================================================== 185.93/186.04 c | 0 | 2402 4954 13290 | 5000 0 nan | 0.000 % | 185.93/186.04 c =============================================================================== 185.93/186.05 c core #274 185.93/186.05 c 185.93/186.05 c 185.93/186.05 c Core size: 15 Core Weight: 1 Total Weight: 274 185.93/186.05 c 185.93/186.05 c 185.93/186.05 c ============================[ Search Statistics ]============================== 185.93/186.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.93/186.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.93/186.05 c =============================================================================== 185.93/186.05 c | 0 | 2409 4955 13304 | 5000 0 nan | 0.000 % | 185.93/186.06 c =============================================================================== 185.93/186.07 c core #275 185.93/186.07 c 185.93/186.07 c 185.93/186.07 c Core size: 10 Core Weight: 1 Total Weight: 275 185.93/186.07 c 185.93/186.07 c 185.93/186.07 c ============================[ Search Statistics ]============================== 185.93/186.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.93/186.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.93/186.07 c =============================================================================== 185.93/186.07 c | 0 | 2415 4956 13316 | 5000 0 nan | 0.000 % | 185.93/186.08 c =============================================================================== 185.93/186.09 c core #276 185.93/186.09 c 185.93/186.09 c 185.93/186.09 c Core size: 10 Core Weight: 1 Total Weight: 276 185.93/186.09 c 185.93/186.09 c 185.93/186.09 c ============================[ Search Statistics ]============================== 185.93/186.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.93/186.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.93/186.09 c =============================================================================== 185.93/186.09 c | 0 | 2421 4957 13328 | 5000 0 nan | 0.000 % | 185.93/186.09 c =============================================================================== 186.03/186.11 c core #277 186.03/186.11 c 186.03/186.11 c 186.03/186.11 c Core size: 34 Core Weight: 1 Total Weight: 277 186.03/186.11 c 186.03/186.11 c 186.03/186.11 c ============================[ Search Statistics ]============================== 186.03/186.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.03/186.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.03/186.11 c =============================================================================== 186.03/186.11 c | 0 | 2440 4958 13366 | 5000 0 nan | 0.000 % | 186.03/186.11 c =============================================================================== 186.03/186.12 c core #278 186.03/186.12 c 186.03/186.12 c 186.03/186.12 c Core size: 13 Core Weight: 1 Total Weight: 278 186.03/186.12 c 186.03/186.12 c 186.03/186.12 c ============================[ Search Statistics ]============================== 186.03/186.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.03/186.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.03/186.12 c =============================================================================== 186.03/186.12 c | 0 | 2447 4959 13380 | 5000 0 nan | 0.000 % | 186.03/186.13 c =============================================================================== 186.03/186.14 c core #279 186.03/186.14 c 186.03/186.14 c 186.03/186.14 c Core size: 10 Core Weight: 1 Total Weight: 279 186.03/186.14 c 186.03/186.14 c 186.03/186.14 c ============================[ Search Statistics ]============================== 186.03/186.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.03/186.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.03/186.14 c =============================================================================== 186.03/186.14 c | 0 | 2453 4960 13392 | 5000 0 nan | 0.000 % | 186.03/186.15 c =============================================================================== 186.03/186.16 c core #280 186.03/186.16 c 186.03/186.16 c 186.03/186.16 c Core size: 10 Core Weight: 1 Total Weight: 280 186.03/186.16 c 186.03/186.16 c 186.03/186.16 c ============================[ Search Statistics ]============================== 186.03/186.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.03/186.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.03/186.16 c =============================================================================== 186.03/186.16 c | 0 | 2459 4961 13404 | 5000 0 nan | 0.000 % | 186.03/186.16 c =============================================================================== 186.03/186.18 c core #281 186.03/186.18 c 186.03/186.18 c 186.03/186.18 c Core size: 22 Core Weight: 1 Total Weight: 281 186.03/186.18 c 186.03/186.18 c 186.03/186.18 c ============================[ Search Statistics ]============================== 186.03/186.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.03/186.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.03/186.18 c =============================================================================== 186.03/186.18 c | 0 | 2471 4962 13428 | 5000 0 nan | 0.000 % | 186.03/186.18 c =============================================================================== 186.03/186.19 c core #282 186.03/186.19 c 186.03/186.19 c 186.03/186.19 c Core size: 12 Core Weight: 1 Total Weight: 282 186.03/186.19 c 186.03/186.19 c 186.03/186.19 c ============================[ Search Statistics ]============================== 186.03/186.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.03/186.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.03/186.19 c =============================================================================== 186.03/186.19 c | 0 | 2478 4963 13442 | 5000 0 nan | 0.000 % | 186.13/186.20 c =============================================================================== 186.13/186.21 c core #283 186.13/186.21 c 186.13/186.21 c 186.13/186.21 c Core size: 14 Core Weight: 1 Total Weight: 283 186.13/186.21 c 186.13/186.21 c 186.13/186.21 c ============================[ Search Statistics ]============================== 186.13/186.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.13/186.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.13/186.21 c =============================================================================== 186.13/186.21 c | 0 | 2486 4964 13458 | 5000 0 nan | 0.000 % | 186.13/186.22 c =============================================================================== 186.13/186.23 c core #284 186.13/186.23 c 186.13/186.23 c 186.13/186.23 c Core size: 19 Core Weight: 1 Total Weight: 284 186.13/186.23 c 186.13/186.23 c 186.13/186.23 c ============================[ Search Statistics ]============================== 186.13/186.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.13/186.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.13/186.23 c =============================================================================== 186.13/186.23 c | 0 | 2498 4966 13485 | 5000 0 nan | 0.000 % | 186.13/186.24 c =============================================================================== 186.13/186.25 c core #285 186.13/186.25 c 186.13/186.25 c 186.13/186.25 c Core size: 32 Core Weight: 1 Total Weight: 285 186.13/186.25 c 186.13/186.25 c 186.13/186.25 c ============================[ Search Statistics ]============================== 186.13/186.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.13/186.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.13/186.25 c =============================================================================== 186.13/186.25 c | 0 | 2520 4967 13530 | 5000 0 nan | 0.000 % | 186.13/186.26 c =============================================================================== 186.13/186.27 c core #286 186.13/186.27 c 186.13/186.27 c 186.13/186.27 c Core size: 47 Core Weight: 1 Total Weight: 286 186.13/186.27 c 186.13/186.27 c 186.13/186.27 c ============================[ Search Statistics ]============================== 186.13/186.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.13/186.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.13/186.27 c =============================================================================== 186.13/186.27 c | 0 | 2542 4968 13575 | 5000 0 nan | 0.000 % | 186.13/186.27 c =============================================================================== 186.13/186.29 c core #287 186.13/186.29 c 186.13/186.29 c 186.13/186.29 c Core size: 17 Core Weight: 1 Total Weight: 287 186.13/186.29 c 186.13/186.29 c 186.13/186.29 c ============================[ Search Statistics ]============================== 186.13/186.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.13/186.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.13/186.29 c =============================================================================== 186.13/186.29 c | 0 | 2552 4969 13595 | 5000 0 nan | 0.000 % | 186.13/186.29 c =============================================================================== 186.22/186.30 c core #288 186.22/186.30 c 186.22/186.30 c 186.22/186.30 c Core size: 17 Core Weight: 1 Total Weight: 288 186.22/186.30 c 186.22/186.30 c 186.22/186.30 c ============================[ Search Statistics ]============================== 186.22/186.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.22/186.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.22/186.30 c =============================================================================== 186.22/186.30 c | 0 | 2566 4970 13624 | 5000 0 nan | 0.000 % | 186.22/186.31 c =============================================================================== 186.22/186.32 c core #289 186.22/186.32 c 186.22/186.32 c 186.22/186.32 c Core size: 30 Core Weight: 1 Total Weight: 289 186.22/186.32 c 186.22/186.32 c 186.22/186.32 c ============================[ Search Statistics ]============================== 186.22/186.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.22/186.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.22/186.32 c =============================================================================== 186.22/186.32 c | 0 | 2586 4971 13664 | 5000 0 nan | 0.000 % | 186.22/186.33 c =============================================================================== 186.22/186.34 c core #290 186.22/186.34 c 186.22/186.34 c 186.22/186.34 c Core size: 19 Core Weight: 1 Total Weight: 290 186.22/186.34 c 186.22/186.34 c 186.22/186.34 c ============================[ Search Statistics ]============================== 186.22/186.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.22/186.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.22/186.34 c =============================================================================== 186.22/186.34 c | 0 | 2596 4972 13684 | 5000 0 nan | 0.000 % | 186.22/186.36 c =============================================================================== 186.22/186.37 c core #291 186.22/186.37 c 186.22/186.37 c 186.22/186.37 c Core size: 22 Core Weight: 1 Total Weight: 291 186.22/186.37 c 186.22/186.37 c 186.22/186.37 c ============================[ Search Statistics ]============================== 186.22/186.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.22/186.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.22/186.37 c =============================================================================== 186.22/186.37 c | 0 | 2614 4974 13723 | 5000 0 nan | 0.000 % | 186.22/186.38 c =============================================================================== 186.22/186.39 c core #292 186.22/186.39 c 186.22/186.39 c 186.22/186.39 c Core size: 43 Core Weight: 1 Total Weight: 292 186.22/186.39 c 186.22/186.39 c 186.22/186.39 c ============================[ Search Statistics ]============================== 186.22/186.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.22/186.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.22/186.39 c =============================================================================== 186.22/186.39 c | 0 | 2640 4975 13775 | 5000 0 nan | 0.000 % | 186.33/186.40 c =============================================================================== 186.33/186.41 c core #293 186.33/186.41 c 186.33/186.41 c 186.33/186.41 c Core size: 14 Core Weight: 1 Total Weight: 293 186.33/186.41 c 186.33/186.41 c 186.33/186.41 c ============================[ Search Statistics ]============================== 186.33/186.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.33/186.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.33/186.41 c =============================================================================== 186.33/186.41 c | 0 | 2649 4976 13793 | 5000 0 nan | 0.000 % | 186.33/186.42 c =============================================================================== 186.33/186.44 c core #294 186.33/186.44 c 186.33/186.44 c 186.33/186.44 c Core size: 23 Core Weight: 1 Total Weight: 294 186.33/186.44 c 186.33/186.44 c 186.33/186.44 c ============================[ Search Statistics ]============================== 186.33/186.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.33/186.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.33/186.44 c =============================================================================== 186.33/186.44 c | 0 | 2667 4977 13830 | 5000 0 nan | 0.000 % | 186.33/186.45 c | 100 | 2634 4977 13830 | 5500 100 4 | 4.051 % | 186.33/186.46 c =============================================================================== 186.33/186.48 c core #295 186.33/186.48 c 186.33/186.48 c 186.33/186.48 c Core size: 205 Core Weight: 1 Total Weight: 295 186.33/186.48 c 186.33/186.48 c 186.33/186.48 c ============================[ Search Statistics ]============================== 186.33/186.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.33/186.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.33/186.48 c =============================================================================== 186.33/186.48 c | 0 | 2816 4979 14134 | 5000 0 nan | 0.000 % | 186.33/186.49 c | 100 | 2815 4979 14134 | 5500 100 6 | 0.811 % | 186.33/186.50 c =============================================================================== 186.43/186.51 c core #296 186.43/186.51 c 186.43/186.51 c 186.43/186.51 c Core size: 20 Core Weight: 1 Total Weight: 296 186.43/186.51 c 186.43/186.51 c 186.43/186.51 c ============================[ Search Statistics ]============================== 186.43/186.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.43/186.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.43/186.51 c =============================================================================== 186.43/186.51 c | 0 | 2828 4980 14158 | 5000 0 nan | 0.000 % | 186.43/186.52 c | 101 | 2823 4980 14158 | 5500 101 6 | 1.018 % | 186.43/186.53 c =============================================================================== 186.43/186.55 c core #297 186.43/186.55 c 186.43/186.55 c 186.43/186.55 c Core size: 52 Core Weight: 1 Total Weight: 297 186.43/186.55 c 186.43/186.55 c 186.43/186.55 c ============================[ Search Statistics ]============================== 186.43/186.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.43/186.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.43/186.55 c =============================================================================== 186.43/186.55 c | 0 | 2879 4981 14260 | 5000 0 nan | 0.000 % | 186.43/186.56 c | 100 | 2871 4981 14260 | 5500 100 7 | 1.138 % | 186.43/186.57 c | 251 | 2861 4981 14260 | 6050 234 7 | 1.414 % | 186.52/186.60 c | 476 | 2853 4981 14260 | 6655 447 7 | 1.621 % | 186.52/186.62 c =============================================================================== 186.52/186.64 c core #298 186.52/186.64 c 186.52/186.64 c 186.52/186.64 c Core size: 200 Core Weight: 1 Total Weight: 298 186.52/186.64 c 186.52/186.64 c 186.52/186.64 c ============================[ Search Statistics ]============================== 186.52/186.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.52/186.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.52/186.64 c =============================================================================== 186.52/186.64 c | 0 | 3044 4987 14602 | 5000 0 nan | 0.000 % | 186.52/186.65 c | 100 | 3042 4987 14602 | 5500 100 8 | 0.751 % | 186.52/186.66 c | 250 | 3012 4987 14602 | 6050 234 9 | 2.284 % | 186.52/186.68 c | 475 | 2983 4987 14602 | 6655 410 10 | 2.741 % | 186.63/186.71 c | 812 | 2977 4987 14602 | 7320 692 10 | 2.936 % | 186.63/186.77 c | 1318 | 2963 4987 14602 | 8052 1114 10 | 3.328 % | 186.63/186.78 c =============================================================================== 186.73/186.80 c core #299 186.73/186.80 c 186.73/186.80 c 186.73/186.80 c Core size: 331 Core Weight: 1 Total Weight: 299 186.73/186.80 c 186.73/186.80 c 186.73/186.80 c ============================[ Search Statistics ]============================== 186.73/186.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.73/186.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.73/186.80 c =============================================================================== 186.73/186.80 c | 0 | 3328 4990 15176 | 5000 0 nan | 0.000 % | 186.73/186.82 c | 100 | 3328 4990 15176 | 5500 100 12 | 0.598 % | 186.73/186.83 c | 253 | 3328 4990 15176 | 6050 253 15 | 0.597 % | 186.73/186.85 c | 478 | 3328 4990 15176 | 6655 478 15 | 0.597 % | 186.73/186.88 c | 815 | 3328 4990 15176 | 7320 815 15 | 0.597 % | 186.84/186.94 c | 1322 | 3326 4990 15176 | 8052 1310 15 | 0.657 % | 186.93/187.03 c | 2083 | 3322 4990 15176 | 8857 2070 17 | 0.777 % | 187.03/187.18 c | 3222 | 3294 4990 15176 | 9743 3101 17 | 1.613 % | 187.33/187.48 c | 4934 | 3270 4990 15176 | 10717 4808 21 | 2.748 % | 187.53/187.68 c =============================================================================== 187.62/187.75 c core #300 187.62/187.75 c 187.62/187.75 c 187.62/187.75 c Core size: 527 Core Weight: 1 Total Weight: 300 187.62/187.75 c 187.62/187.75 c 187.62/187.75 c ============================[ Search Statistics ]============================== 187.62/187.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.62/187.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.62/187.75 c =============================================================================== 187.62/187.75 c | 0 | 3757 5002 16061 | 5000 0 nan | 0.000 % | 187.62/187.77 c | 103 | 3757 5002 16061 | 5500 103 24 | 0.530 % | 187.62/187.79 c | 254 | 3757 5002 16061 | 6050 254 22 | 0.530 % | 187.73/187.81 c | 479 | 3755 5002 16061 | 6655 402 18 | 0.583 % | 187.73/187.85 c | 819 | 3755 5002 16061 | 7320 742 19 | 0.583 % | 187.82/187.92 c | 1325 | 3755 5002 16061 | 8052 1248 23 | 0.583 % | 187.93/188.03 c | 2084 | 3755 5002 16061 | 8857 2007 25 | 0.582 % | 188.04/188.17 c | 3223 | 3755 5002 16061 | 9743 3146 27 | 0.583 % | 188.32/188.45 c | 4931 | 3755 5002 16061 | 10717 4854 29 | 0.583 % | 188.73/188.89 c | 7493 | 3755 5002 16061 | 11789 7416 40 | 0.583 % | 189.72/189.83 c | 11339 | 3745 5002 16061 | 12968 11109 42 | 0.847 % | 192.34/192.45 c | 17108 | 3741 5002 16061 | 14265 10016 91 | 0.953 % | 195.32/195.46 c | 25757 | 3729 5002 16061 | 15692 10026 81 | 1.271 % | 201.62/201.70 c | 38731 | 3725 5002 16061 | 17261 14734 94 | 1.377 % | 214.52/214.66 c | 58193 | 3710 5002 16061 | 18987 16234 133 | 1.800 % | 220.42/220.52 c =============================================================================== 221.22/221.39 c core #301 221.22/221.39 c 221.22/221.39 c 221.22/221.39 c Core size: 570 Core Weight: 1 Total Weight: 301 221.22/221.39 c 221.22/221.39 c 221.22/221.39 c ============================[ Search Statistics ]============================== 221.22/221.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 221.22/221.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 221.22/221.39 c =============================================================================== 221.22/221.39 c | 0 | 4282 5035 17188 | 5000 0 nan | 0.000 % | 221.32/221.43 c | 100 | 4282 5035 17188 | 5500 100 32 | 0.465 % | 221.32/221.44 c | 252 | 4282 5035 17188 | 6050 252 29 | 0.465 % | 221.32/221.46 c | 478 | 4282 5035 17188 | 6655 478 31 | 0.465 % | 221.41/221.51 c | 815 | 4282 5035 17188 | 7320 815 38 | 0.465 % | 221.62/221.74 c | 1324 | 4282 5035 17188 | 8052 1324 65 | 0.465 % | 221.72/221.85 c | 2087 | 4282 5035 17188 | 8857 2087 56 | 0.465 % | 221.91/222.00 c | 3229 | 4282 5035 17188 | 9743 3229 49 | 0.465 % | 222.22/222.31 c | 4937 | 4282 5035 17188 | 10717 4937 48 | 0.465 % | 222.72/222.85 c | 7501 | 4282 5035 17188 | 11789 7501 48 | 0.465 % | 223.71/223.84 c | 11347 | 4282 5035 17188 | 12968 11347 69 | 0.465 % | 225.42/225.59 c | 17113 | 4282 5035 17188 | 14265 10317 65 | 0.465 % | 227.41/227.55 c | 25763 | 4282 5035 17188 | 15692 11288 60 | 0.465 % | 231.92/232.00 c | 38738 | 4282 5035 17188 | 17261 15692 91 | 0.465 % | 239.62/239.78 c | 58201 | 4282 5035 17188 | 18987 17459 122 | 0.465 % | 251.01/251.18 c | 87394 | 4282 5035 17188 | 20886 17197 110 | 0.465 % | 280.59/280.78 c | 131185 | 4282 5035 17188 | 22974 17110 209 | 0.465 % | 314.19/314.39 c | 196878 | 4278 5035 17188 | 25272 12163 57 | 0.558 % | 373.87/374.04 c | 295405 | 4278 5035 17188 | 27799 18933 128 | 0.558 % | 480.13/480.32 c | 443195 | 4278 5035 17188 | 30579 23305 133 | 0.558 % | 638.98/639.23 c | 664879 | 4278 5035 17188 | 33637 17141 109 | 0.558 % | 812.02/812.30 c =============================================================================== 821.33/821.62 c core #302 821.33/821.62 c 821.33/821.62 c 821.33/821.62 c Core size: 707 Core Weight: 1 Total Weight: 302 821.33/821.62 c 821.33/821.62 c 821.33/821.62 c ============================[ Search Statistics ]============================== 821.33/821.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 821.33/821.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 821.33/821.62 c =============================================================================== 821.33/821.62 c | 0 | 4908 5052 18475 | 5000 0 nan | 0.000 % | 821.33/821.68 c | 103 | 4908 5052 18475 | 5500 103 37 | 0.406 % | 821.43/821.72 c | 253 | 4908 5052 18475 | 6050 253 37 | 0.406 % | 821.43/821.79 c | 480 | 4908 5052 18475 | 6655 480 35 | 0.406 % | 821.52/821.85 c | 817 | 4908 5052 18475 | 7320 817 35 | 0.406 % | 821.62/821.95 c | 1324 | 4908 5052 18475 | 8052 1324 35 | 0.406 % | 821.82/822.11 c | 2084 | 4908 5052 18475 | 8857 2084 35 | 0.406 % | 822.03/822.38 c | 3223 | 4908 5052 18475 | 9743 3223 35 | 0.406 % | 822.43/822.75 c | 4931 | 4908 5052 18475 | 10717 4931 39 | 0.406 % | 823.12/823.41 c | 7494 | 4908 5052 18475 | 11789 7494 41 | 0.406 % | 824.32/824.66 c | 11338 | 4908 5052 18475 | 12968 11338 46 | 0.406 % | 826.72/827.06 c | 17105 | 4908 5052 18475 | 14265 10475 52 | 0.406 % | 831.22/831.55 c | 25759 | 4908 5052 18475 | 15692 11829 79 | 0.406 % | 838.52/838.89 c | 38733 | 4908 5052 18475 | 17261 8535 115 | 0.406 % | 849.51/849.86 c | 58195 | 4908 5052 18475 | 18987 9626 77 | 0.406 % | 867.52/867.86 c | 87390 | 4908 5052 18475 | 20886 19239 71 | 0.406 % | 890.40/890.75 c | 131181 | 4908 5052 18475 | 22974 20244 70 | 0.406 % | 939.19/939.59 c | 196867 | 4908 5052 18475 | 25272 14456 78 | 0.406 % | 976.39/976.77 c | 295393 | 4908 5052 18475 | 27799 17908 258 | 0.406 % | 1031.86/1032.28 c | 443182 | 4908 5052 18475 | 30579 27845 241 | 0.406 % | 1122.23/1122.65 c | 664865 | 4908 5052 18475 | 33637 11862 257 | 0.406 % |
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-2680707-1277454363/watcher-2680707-1277454363 -o /tmp/evaluation-result-2680707-1277454363/solver-2680707-1277454363 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680707-1277454363.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.08 1.02 0.91 3/106 20652 /proc/meminfo: memFree=1855992/2059040 swapFree=4139972/4192956 [pid=20652] ppid=20650 vsize=2804 CPUtime=0 /proc/20652/stat : 20652 (wbo1.4b) R 20650 20652 20405 0 -1 4202496 307 0 0 0 0 0 0 0 20 0 1 0 121038012 2871296 226 1992294400 134512640 135752675 4289474896 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20652/statm: 701 226 140 303 0 371 0 [startup+0.0109331 s] /proc/loadavg: 1.08 1.02 0.91 3/106 20652 /proc/meminfo: memFree=1855992/2059040 swapFree=4139972/4192956 [pid=20652] ppid=20650 vsize=2804 CPUtime=0 /proc/20652/stat : 20652 (wbo1.4b) R 20650 20652 20405 0 -1 4202496 321 0 0 0 0 0 0 0 20 0 1 0 121038012 2871296 240 1992294400 134512640 135752675 4289474896 18446744073709551615 134559914 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20652/statm: 701 240 145 303 0 371 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2804 [startup+0.100933 s] /proc/loadavg: 1.08 1.02 0.91 3/106 20652 /proc/meminfo: memFree=1855992/2059040 swapFree=4139972/4192956 [pid=20652] ppid=20650 vsize=3364 CPUtime=0.09 /proc/20652/stat : 20652 (wbo1.4b) R 20650 20652 20405 0 -1 4202496 516 0 0 0 9 0 0 0 20 0 1 0 121038012 3444736 410 1992294400 134512640 135752675 4289474896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20652/statm: 841 410 145 303 0 536 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3364 [startup+0.300955 s] /proc/loadavg: 1.08 1.02 0.91 3/106 20652 /proc/meminfo: memFree=1855992/2059040 swapFree=4139972/4192956 [pid=20652] ppid=20650 vsize=5156 CPUtime=0.29 /proc/20652/stat : 20652 (wbo1.4b) R 20650 20652 20405 0 -1 4202496 974 0 0 0 29 0 0 0 20 0 1 0 121038012 5279744 868 1992294400 134512640 135752675 4289474896 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20652/statm: 1289 868 145 303 0 984 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5156 [startup+0.700998 s] /proc/loadavg: 1.08 1.02 0.91 3/106 20652 /proc/meminfo: memFree=1855992/2059040 swapFree=4139972/4192956 [pid=20652] ppid=20650 vsize=8500 CPUtime=0.69 /proc/20652/stat : 20652 (wbo1.4b) R 20650 20652 20405 0 -1 4202496 1812 0 0 0 68 1 0 0 20 0 1 0 121038012 8704000 1706 1992294400 134512640 135752675 4289474896 18446744073709551615 134518945 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20652/statm: 2125 1706 145 303 0 1820 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8500 [startup+1.50109 s] /proc/loadavg: 1.08 1.02 0.91 2/107 20653 /proc/meminfo: memFree=1847676/2059040 swapFree=4139972/4192956 [pid=20652] ppid=20650 vsize=12364 CPUtime=1.49 /proc/20652/stat : 20652 (wbo1.4b) R 20650 20652 20405 0 -1 4202496 2757 0 0 0 147 2 0 0 23 0 1 0 121038012 12660736 2651 1992294400 134512640 135752675 4289474896 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20652/statm: 3091 2651 145 303 0 2786 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12364 [startup+3.10127 s] /proc/loadavg: 1.08 1.02 0.91 2/107 20653 /proc/meminfo: memFree=1841228/2059040 swapFree=4139972/4192956 [pid=20652] ppid=20650 vsize=22944 CPUtime=3.09 /proc/20652/stat : 20652 (wbo1.4b) R 20650 20652 20405 0 -1 4202496 5413 0 0 0 303 6 0 0 25 0 1 0 121038012 23494656 5307 1992294400 134512640 135752675 4289474896 18446744073709551615 134638061 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20652/statm: 5736 5307 145 303 0 5431 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22944 [startup+6.30162 s] /proc/loadavg: 1.15 1.03 0.92 2/107 20653 /proc/meminfo: memFree=1821264/2059040 swapFree=4139972/4192956 [pid=20652] ppid=20650 vsize=43140 CPUtime=6.29 /proc/20652/stat : 20652 (wbo1.4b) R 20650 20652 20405 0 -1 4202496 10445 0 0 0 617 12 0 0 25 0 1 0 121038012 44175360 10339 1992294400 134512640 135752675 4289474896 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20652/statm: 10785 10339 145 303 0 10480 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 43140 [startup+12.7013 s] /proc/loadavg: 1.14 1.03 0.92 2/107 20653 /proc/meminfo: memFree=1780964/2059040 swapFree=4139972/4192956 [pid=20652] ppid=20650 vsize=79204 CPUtime=12.68 /proc/20652/stat : 20652 (wbo1.4b) R 20650 20652 20405 0 -1 4202496 19477 0 0 0 1247 21 0 0 25 0 1 0 121038012 81104896 19371 1992294400 134512640 135752675 4289474896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20652/statm: 19801 19371 145 303 0 19496 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 79204 [startup+25.5007 s] /proc/loadavg: 1.11 1.03 0.92 2/107 20653 /proc/meminfo: memFree=1729752/2059040 swapFree=4139972/4192956 [pid=20652] ppid=20650 vsize=129228 CPUtime=25.48 /proc/20652/stat : 20652 (wbo1.4b) R 20650 20652 20405 0 -1 4202496 31954 0 0 0 2509 39 0 0 25 0 1 0 121038012 132329472 31848 1992294400 134512640 135752675 4289474896 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20652/statm: 32307 31848 145 303 0 32002 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 129228 [startup+51.1006 s] /proc/loadavg: 1.07 1.03 0.92 2/107 20653 /proc/meminfo: memFree=1648036/2059040 swapFree=4139972/4192956 [pid=20652] ppid=20650 vsize=211936 CPUtime=51.07 /proc/20652/stat : 20652 (wbo1.4b) R 20650 20652 20405 0 -1 4202496 52618 0 0 0 5041 66 0 0 25 0 1 0 121038012 217022464 52512 1992294400 134512640 135752675 4289474896 18446744073709551615 134611933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20652/statm: 52984 52512 145 303 0 52679 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 211936 [startup+102.308 s] /proc/loadavg: 1.06 1.03 0.93 2/107 20655 /proc/meminfo: memFree=1476792/2059040 swapFree=4139972/4192956 [pid=20652] ppid=20650 vsize=380764 CPUtime=102.27 /proc/20652/stat : 20652 (wbo1.4b) R 20650 20652 20405 0 -1 4202496 94808 0 0 0 10104 123 0 0 25 0 1 0 121038012 389902336 94702 1992294400 134512640 135752675 4289474896 18446744073709551615 134603215 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20652/statm: 95191 94702 145 303 0 94886 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 380764 [startup+162.301 s] /proc/loadavg: 1.06 1.04 0.93 2/107 20657 /proc/meminfo: memFree=1282484/2059040 swapFree=4139972/4192956 [pid=20652] ppid=20650 vsize=576156 CPUtime=162.23 /proc/20652/stat : 20652 (wbo1.4b) R 20650 20652 20405 0 -1 4202496 143598 0 0 0 16035 188 0 0 25 0 1 0 121038012 589983744 143492 1992294400 134512640 135752675 4289474896 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20652/statm: 144039 143492 145 303 0 143734 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 576156 [startup+222.301 s] /proc/loadavg: 1.06 1.04 0.94 2/107 20659 /proc/meminfo: memFree=1213664/2059040 swapFree=4139972/4192956 [pid=20652] ppid=20650 vsize=643180 CPUtime=222.22 /proc/20652/stat : 20652 (wbo1.4b) R 20650 20652 20405 0 -1 4202496 160473 0 0 0 21970 252 0 0 25 0 1 0 121038012 658616320 160336 1992294400 134512640 135752675 4289474896 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20652/statm: 160795 160336 146 303 0 160490 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 643180 [startup+282.3 s] /proc/loadavg: 1.13 1.06 0.95 2/107 20659 /proc/meminfo: memFree=1150052/2059040 swapFree=4139972/4192956 [pid=20652] ppid=20650 vsize=706960 CPUtime=282.2 /proc/20652/stat : 20652 (wbo1.4b) R 20650 20652 20405 0 -1 4202496 176431 0 0 0 27905 315 0 0 25 0 1 0 121038012 723927040 176294 1992294400 134512640 135752675 4289474896 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20652/statm: 176740 176294 146 303 0 176435 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 706960 [startup+342.301 s] /proc/loadavg: 1.12 1.07 0.95 2/107 20661 /proc/meminfo: memFree=1093632/2059040 swapFree=4139972/4192956 [pid=20652] ppid=20650 vsize=763148 CPUtime=342.18 /proc/20652/stat : 20652 (wbo1.4b) R 20650 20652 20405 0 -1 4202496 190473 0 0 0 33850 368 0 0 25 0 1 0 121038012 781463552 190336 1992294400 134512640 135752675 4289474896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20652/statm: 190787 190336 146 303 0 190482 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 763148 [startup+402.301 s] /proc/loadavg: 1.11 1.07 0.96 2/107 20663 /proc/meminfo: memFree=1037832/2059040 swapFree=4139972/4192956 [pid=20652] ppid=20650 vsize=819284 CPUtime=402.16 /proc/20652/stat : 20652 (wbo1.4b) R 20650 20652 20405 0 -1 4202496 204473 0 0 0 39802 414 0 0 25 0 1 0 121038012 838946816 204336 1992294400 134512640 135752675 4289474896 18446744073709551615 134611744 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20652/statm: 204821 204336 146 303 0 204516 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 819284 [startup+462.301 s] /proc/loadavg: 1.10 1.07 0.96 2/107 20665 /proc/meminfo: memFree=982280/2059040 swapFree=4139972/4192956 [pid=20652] ppid=20650 vsize=874540 CPUtime=462.13 /proc/20652/stat : 20652 (wbo1.4b) R 20650 20652 20405 0 -1 4202496 218260 0 0 0 45752 461 0 0 25 0 1 0 121038012 895528960 218123 1992294400 134512640 135752675 4289474896 18446744073709551615 134650524 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20652/statm: 218635 218123 146 303 0 218330 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 874540 [startup+522.301 s] /proc/loadavg: 1.09 1.07 0.97 2/107 20667 /proc/meminfo: memFree=926852/2059040 swapFree=4139972/4192956 [pid=20652] ppid=20650 vsize=930304 CPUtime=522.11 /proc/20652/stat : 20652 (wbo1.4b) R 20650 20652 20405 0 -1 4202496 232208 0 0 0 51698 513 0 0 25 0 1 0 121038012 952631296 232071 1992294400 134512640 135752675 4289474896 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20652/statm: 232576 232071 146 303 0 232271 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 930304 [startup+582.3 s] /proc/loadavg: 1.08 1.07 0.97 2/107 20667 /proc/meminfo: memFree=877376/2059040 swapFree=4139972/4192956 [pid=20652] ppid=20650 vsize=979096 CPUtime=582.09 /proc/20652/stat : 20652 (wbo1.4b) R 20650 20652 20405 0 -1 4202496 244403 0 0 0 57656 553 0 0 25 0 1 0 121038012 1002594304 244266 1992294400 134512640 135752675 4289474896 18446744073709551615 134638083 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20652/statm: 244774 244266 146 303 0 244469 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 979096 [startup+642.301 s] /proc/loadavg: 1.07 1.06 0.98 2/107 20669 /proc/meminfo: memFree=825296/2059040 swapFree=4139972/4192956 [pid=20652] ppid=20650 vsize=1030772 CPUtime=642.08 /proc/20652/stat : 20652 (wbo1.4b) R 20650 20652 20405 0 -1 4202496 257289 0 0 0 63608 600 0 0 25 0 1 0 121038012 1055510528 257152 1992294400 134512640 135752675 4289474896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20652/statm: 257693 257152 146 303 0 257388 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 1030772 [startup+702.301 s] /proc/loadavg: 1.07 1.06 0.98 2/107 20671 /proc/meminfo: memFree=773836/2059040 swapFree=4139972/4192956 [pid=20652] ppid=20650 vsize=1082472 CPUtime=702.06 /proc/20652/stat : 20652 (wbo1.4b) R 20650 20652 20405 0 -1 4202496 270209 0 0 0 69566 640 0 0 25 0 1 0 121038012 1108451328 270072 1992294400 134512640 135752675 4289474896 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20652/statm: 270618 270072 146 303 0 270313 0 Current children cumulated CPU time (s) 702.06 Current children cumulated vsize (KiB) 1082472 [startup+762.308 s] /proc/loadavg: 1.06 1.06 0.99 2/107 20673 /proc/meminfo: memFree=714192/2059040 swapFree=4139972/4192956 [pid=20652] ppid=20650 vsize=1141932 CPUtime=762.05 /proc/20652/stat : 20652 (wbo1.4b) R 20650 20652 20405 0 -1 4202496 285029 0 0 0 75519 686 0 0 25 0 1 0 121038012 1169338368 284892 1992294400 134512640 135752675 4289474896 18446744073709551615 134638143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20652/statm: 285483 284892 146 303 0 285178 0 Current children cumulated CPU time (s) 762.05 Current children cumulated vsize (KiB) 1141932 [startup+822.301 s] /proc/loadavg: 1.06 1.06 1.00 2/107 20675 /proc/meminfo: memFree=642520/2059040 swapFree=4139972/4192956 [pid=20652] ppid=20650 vsize=1213360 CPUtime=822.03 /proc/20652/stat : 20652 (wbo1.4b) R 20650 20652 20405 0 -1 4202496 302875 0 0 0 81478 725 0 0 25 0 1 0 121038012 1242480640 302738 1992294400 134512640 135752675 4289474896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20652/statm: 303340 302738 146 303 0 303035 0 Current children cumulated CPU time (s) 822.03 Current children cumulated vsize (KiB) 1213360 [startup+882.301 s] /proc/loadavg: 1.06 1.06 1.00 2/107 20675 /proc/meminfo: memFree=641776/2059040 swapFree=4139972/4192956 [pid=20652] ppid=20650 vsize=1213360 CPUtime=882 /proc/20652/stat : 20652 (wbo1.4b) R 20650 20652 20405 0 -1 4202496 303019 0 0 0 87441 759 0 0 25 0 1 0 121038012 1242480640 302882 1992294400 134512640 135752675 4289474896 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20652/statm: 303340 302882 146 303 0 303035 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 1213360 [startup+942.3 s] /proc/loadavg: 1.13 1.08 1.01 2/107 20677 /proc/meminfo: memFree=618092/2059040 swapFree=4139972/4192956 [pid=20652] ppid=20650 vsize=1239912 CPUtime=941.98 /proc/20652/stat : 20652 (wbo1.4b) R 20650 20652 20405 0 -1 4202496 309617 0 0 0 93409 789 0 0 25 0 1 0 121038012 1269669888 309480 1992294400 134512640 135752675 4289474896 18446744073709551615 134606989 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20652/statm: 309978 309480 146 303 0 309673 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 1239912 [startup+1002.3 s] /proc/loadavg: 1.22 1.11 1.02 2/107 20679 /proc/meminfo: memFree=462224/2059040 swapFree=4139972/4192956 [pid=20652] ppid=20650 vsize=1393720 CPUtime=1001.97 /proc/20652/stat : 20652 (wbo1.4b) R 20650 20652 20405 0 -1 4202496 347991 0 0 0 99342 855 0 0 25 0 1 0 121038012 1427169280 347854 1992294400 134512640 135752675 4289474896 18446744073709551615 134604955 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20652/statm: 348430 347854 146 303 0 348125 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 1393720 [startup+1062.3 s] /proc/loadavg: 1.19 1.12 1.02 2/107 20681 /proc/meminfo: memFree=293088/2059040 swapFree=4139972/4192956 [pid=20652] ppid=20650 vsize=1564212 CPUtime=1061.95 /proc/20652/stat : 20652 (wbo1.4b) R 20650 20652 20405 0 -1 4202496 390580 0 0 0 105265 930 0 0 25 0 1 0 121038012 1601753088 390443 1992294400 134512640 135752675 4289474896 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20652/statm: 391053 390443 146 303 0 390748 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 1564212 [startup+1122.3 s] /proc/loadavg: 1.17 1.12 1.03 2/107 20683 /proc/meminfo: memFree=148380/2059040 swapFree=4139972/4192956 [pid=20652] ppid=20650 vsize=1706768 CPUtime=1121.93 /proc/20652/stat : 20652 (wbo1.4b) R 20650 20652 20405 0 -1 4202496 426208 0 0 0 111208 985 0 0 25 0 1 0 121038012 1747730432 426071 1992294400 134512640 135752675 4289474896 18446744073709551615 134603088 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20652/statm: 426692 426071 146 303 0 426387 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 1706768 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1178.8 s] /proc/loadavg: 1.06 1.10 1.02 2/107 20683 /proc/meminfo: memFree=11112/2059040 swapFree=4139972/4192956 [pid=20652] ppid=20650 vsize=1843220 CPUtime=1178.42 /proc/20652/stat : 20652 (wbo1.4b) R 20650 20652 20405 0 -1 4202496 460316 0 0 0 116806 1036 0 0 25 0 1 0 121038012 1887457280 460179 1992294400 134512640 135752675 4289474896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20652/statm: 460805 460179 146 303 0 460500 0 Current children cumulated CPU time (s) 1178.42 Current children cumulated vsize (KiB) 1843220 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1178.91 s] /proc/loadavg: 1.06 1.10 1.02 2/107 20683 /proc/meminfo: memFree=11112/2059040 swapFree=4139972/4192956 [pid=20652] ppid=20650 vsize=0 CPUtime=1178.52 /proc/20652/stat : 20652 (wbo1.4b) R 20650 20652 20405 0 -1 4203524 460316 0 0 0 116806 1046 0 0 25 0 1 0 121038012 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/20652/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1178.52 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1178.98 CPU time (s): 1178.61 CPU user time (s): 1168.07 CPU system time (s): 10.5414 CPU usage (%): 99.9682 Max. virtual memory (cumulated for all children) (KiB): 1843220 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1168.07 system time used= 10.5414 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460316 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= 41 involuntary context switches= 2733 runsolver used 2.19667 second user time and 5.35419 second system time The end
Begin job on node009 at 2010-06-25 10:26:03 IDJOB=2680707 IDBENCH=2174 IDSOLVER=1190 FILE ID=node009/2680707-1277454363 PBS_JOBID= 11188149 Free space on /tmp= 62400 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8c1.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680707-1277454363/watcher-2680707-1277454363 -o /tmp/evaluation-result-2680707-1277454363/solver-2680707-1277454363 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680707-1277454363.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 455daeae9aaa9768f332064b32a16167 RANDOM SEED=1142180924 node009.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.199 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.39 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.199 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1856520 kB Buffers: 25900 kB Cached: 73352 kB SwapCached: 5492 kB Active: 17368 kB Inactive: 94964 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1856520 kB SwapTotal: 4192956 kB SwapFree: 4139972 kB Dirty: 2744 kB Writeback: 0 kB AnonPages: 11668 kB Mapped: 11948 kB Slab: 68000 kB PageTables: 4192 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182076 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= 62396 MiB End job on node009 at 2010-06-25 10:45:43