Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 1616.27 | 1616.79 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32d2.opb |
MD5SUM | 05a418d42b6e85967009c0fa73623d83 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 372 |
Best CPU time to get the best result obtained on this benchmark | 1789.52 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 372 |
Optimality of the best value was proved | NO |
Number of variables | 808 |
Total number of constraints | 5557 |
Number of constraints which are clauses | 5557 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 32 |
Number of terms in the objective function | 808 |
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 | 808 |
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 | 808 |
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-2680631-1277453532.opb. 0.00/0.00 c Instance file HOME/instance-2680631-1277453532.opb 0.00/0.00 c File size is 192989 bytes. 0.00/0.03 c Highest Coefficient sum: 33 0.00/0.03 c ============================[ Problem Statistics ]============================= 0.00/0.03 c | | 0.00/0.03 c | Parsing time: 0.03 s | 0.00/0.03 c | Number Variables: 808 | 0.00/0.03 c | Number Clauses: 5557 | 0.00/0.03 c | Number Cardinality: 0 | 0.00/0.03 c | Number PB Constraints: 0 | 0.00/0.05 c ============================[ Search Statistics ]============================== 0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 808 5557 18748 | 5000 0 nan | 0.000 % | 0.00/0.06 c | 101 | 808 5557 18748 | 5500 101 67 | 0.006 % | 0.00/0.07 c | 251 | 808 5557 18748 | 6050 251 70 | 0.000 % | 0.09/0.10 c | 476 | 808 5557 18748 | 6655 476 79 | 0.000 % | 0.09/0.15 c | 814 | 808 5557 18748 | 7320 814 83 | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c New solution: 396 0.09/0.18 o 396 0.09/0.18 c Elapsed CPU time: 0.184971 s Remaining CPU time: 179.815 s 0.09/0.18 c =============================================================================== 0.09/0.18 c | 1081 | 808 5558 19556 | 5000 1081 82 | 0.000 % | 0.19/0.20 c | 1183 | 808 5558 19556 | 5500 1183 82 | 0.000 % | 0.19/0.23 c | 1335 | 808 5558 19556 | 6050 1335 83 | 0.000 % | 0.19/0.27 c | 1560 | 808 5558 19556 | 6655 1560 82 | 0.000 % | 0.29/0.31 c | 1897 | 808 5558 19556 | 7320 1897 79 | 0.000 % | 0.39/0.41 c | 2403 | 808 5558 19556 | 8052 2403 80 | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c New solution: 394 0.39/0.47 o 394 0.39/0.47 c Elapsed CPU time: 0.469928 s Remaining CPU time: 179.53 s 0.39/0.47 c =============================================================================== 0.39/0.47 c | 2770 | 808 5559 20364 | 5000 2770 78 | 0.000 % | 0.39/0.49 c | 2876 | 808 5559 20364 | 5500 2876 77 | 0.000 % | 0.49/0.52 c | 3026 | 808 5559 20364 | 6050 3026 76 | 0.000 % | 0.49/0.53 c =============================================================================== 0.49/0.53 c New solution: 389 0.49/0.53 o 389 0.49/0.53 c Elapsed CPU time: 0.527919 s Remaining CPU time: 179.472 s 0.49/0.53 c =============================================================================== 0.49/0.53 c | 3105 | 808 5560 21172 | 5000 3105 75 | 0.000 % | 0.49/0.54 c =============================================================================== 0.49/0.54 c New solution: 388 0.49/0.54 o 388 0.49/0.54 c Elapsed CPU time: 0.537918 s Remaining CPU time: 179.462 s 0.49/0.54 c =============================================================================== 0.49/0.54 c | 3151 | 808 5561 21980 | 5000 3151 75 | 0.000 % | 0.49/0.56 c | 3251 | 808 5561 21980 | 5500 3251 74 | 0.000 % | 0.49/0.59 c | 3401 | 808 5561 21980 | 6050 3401 73 | 0.000 % | 0.59/0.66 c | 3626 | 808 5561 21980 | 6655 3626 73 | 0.000 % | 0.69/0.76 c | 3963 | 808 5561 21980 | 7320 3963 74 | 0.000 % | 0.79/0.87 c | 4470 | 808 5561 21980 | 8052 4470 74 | 0.000 % | 1.10/1.16 c | 5229 | 808 5561 21980 | 8857 5229 76 | 0.000 % | 1.19/1.27 c =============================================================================== 1.19/1.27 c New solution: 387 1.19/1.27 o 387 1.19/1.27 c Elapsed CPU time: 1.25981 s Remaining CPU time: 178.74 s 1.19/1.27 c =============================================================================== 1.19/1.27 c | 5558 | 808 5562 22788 | 5000 5558 76 | 0.000 % | 1.29/1.30 c | 5658 | 808 5562 22788 | 5500 2879 69 | 0.000 % | 1.29/1.33 c =============================================================================== 1.29/1.33 c New solution: 385 1.29/1.33 o 385 1.29/1.33 c Elapsed CPU time: 1.3168 s Remaining CPU time: 178.683 s 1.29/1.33 c =============================================================================== 1.29/1.33 c | 5749 | 808 5563 23596 | 5000 2970 78 | 0.000 % | 1.29/1.35 c | 5849 | 808 5563 23596 | 5500 3070 77 | 0.010 % | 1.29/1.38 c | 5999 | 808 5563 23596 | 6050 3220 85 | 0.000 % | 1.29/1.39 c =============================================================================== 1.29/1.39 c New solution: 375 1.29/1.39 o 375 1.29/1.39 c Elapsed CPU time: 1.37979 s Remaining CPU time: 178.62 s 1.29/1.39 c =============================================================================== 1.29/1.39 c | 6011 | 808 5564 24404 | 5000 3232 85 | 0.000 % | 1.39/1.42 c | 6111 | 808 5564 24404 | 5500 3332 85 | 0.007 % | 1.39/1.47 c | 6261 | 808 5564 24404 | 6050 3482 84 | 0.000 % | 1.49/1.53 c | 6489 | 808 5564 24404 | 6655 3710 82 | 0.000 % | 1.60/1.66 c | 6827 | 808 5564 24404 | 7320 4048 82 | 0.000 % | 1.79/1.82 c | 7333 | 808 5564 24404 | 8052 4554 80 | 0.000 % | 1.99/2.06 c | 8095 | 808 5564 24404 | 8857 5316 79 | 0.000 % | 2.59/2.64 c | 9235 | 808 5564 24404 | 9743 6456 80 | 0.000 % | 3.59/3.62 c | 10944 | 808 5564 24404 | 10717 8165 81 | 0.000 % | 5.50/5.53 c | 13507 | 808 5564 24404 | 11789 10728 84 | 0.000 % | 6.88/6.94 c | 17358 | 808 5564 24404 | 12968 8615 78 | 0.000 % | 8.09/8.18 c =============================================================================== 8.09/8.18 c New solution: 374 8.09/8.18 o 374 8.09/8.18 c Elapsed CPU time: 8.10577 s Remaining CPU time: 171.894 s 8.09/8.18 c =============================================================================== 8.09/8.18 c | 19728 | 808 5565 25212 | 5000 10985 79 | 0.000 % | 8.19/8.22 c | 19829 | 808 5565 25212 | 5500 2848 74 | 0.000 % | 8.19/8.26 c | 19979 | 808 5565 25212 | 6050 2998 72 | 0.010 % | 8.29/8.31 c | 20206 | 808 5565 25212 | 6655 3225 71 | 0.000 % | 8.39/8.41 c | 20543 | 808 5565 25212 | 7320 3562 71 | 0.000 % | 8.49/8.58 c | 21051 | 808 5565 25212 | 8052 4070 71 | 0.000 % | 8.79/8.87 c | 21812 | 808 5565 25212 | 8857 4831 73 | 0.000 % | 9.19/9.29 c | 22953 | 808 5565 25212 | 9743 5972 73 | 0.000 % | 9.90/9.93 c =============================================================================== 9.90/9.93 c New solution: 373 9.90/9.93 o 373 9.90/9.93 c Elapsed CPU time: 9.8395 s Remaining CPU time: 170.16 s 9.90/9.93 c =============================================================================== 9.90/9.93 c | 24390 | 808 5566 26020 | 5000 7409 110 | 0.000 % | 9.90/9.97 c | 24490 | 808 5566 26020 | 5500 3805 137 | 0.010 % | 9.99/10.00 c | 24640 | 808 5566 26020 | 6050 3955 133 | 0.000 % | 9.99/10.06 c | 24867 | 808 5566 26020 | 6655 4182 129 | 0.000 % | 10.09/10.14 c | 25204 | 808 5566 26020 | 7320 4519 127 | 0.000 % | 10.19/10.28 c | 25710 | 808 5566 26020 | 8052 5025 148 | 0.000 % | 10.48/10.53 c | 26475 | 808 5566 26020 | 8857 5790 143 | 0.000 % | 10.99/11.04 c | 27615 | 808 5566 26020 | 9743 6930 135 | 0.000 % | 12.00/12.07 c | 29324 | 808 5566 26020 | 10717 8639 126 | 0.000 % | 13.69/13.74 c | 31889 | 808 5566 26020 | 11789 5750 74 | 0.000 % | 16.28/16.33 c | 35734 | 808 5566 26020 | 12968 9595 82 | 0.000 % | 18.48/18.55 c =============================================================================== 18.48/18.55 c New solution: 372 18.48/18.55 o 372 18.48/18.55 c Elapsed CPU time: 18.4002 s Remaining CPU time: 161.6 s 18.48/18.55 c =============================================================================== 18.48/18.55 c | 41119 | 808 5567 26828 | 5000 8110 216 | 0.000 % | 18.48/18.59 c | 41220 | 808 5567 26828 | 5500 4156 330 | 0.000 % | 18.60/18.63 c | 41370 | 808 5567 26828 | 6050 4306 320 | 0.000 % | 18.70/18.73 c | 41595 | 808 5567 26828 | 6655 4531 308 | 0.000 % | 18.79/18.87 c | 41933 | 808 5567 26828 | 7320 4869 291 | 0.000 % | 18.99/19.09 c | 42439 | 808 5567 26828 | 8052 5375 273 | 0.000 % | 19.38/19.41 c | 43200 | 808 5567 26828 | 8857 6136 249 | 0.000 % | 19.70/19.70 c | 44339 | 808 5567 26828 | 9743 7275 219 | 0.000 % | 20.38/20.40 c | 46047 | 808 5567 26828 | 10717 8983 190 | 0.000 % | 21.08/21.14 c | 48612 | 808 5567 26828 | 11789 5814 200 | 0.000 % | 22.18/22.22 c | 52458 | 808 5567 26828 | 12968 9660 263 | 0.000 % | 24.38/24.45 c | 58225 | 808 5567 26828 | 14265 8580 397 | 0.005 % | 27.09/27.16 c | 66874 | 808 5567 26828 | 15692 9704 342 | 0.005 % | 31.28/31.34 c | 79849 | 808 5567 26828 | 17261 14438 382 | 0.008 % | 37.58/37.66 c | 99310 | 808 5567 26828 | 18987 15892 399 | 0.007 % | 47.47/47.56 c | 128502 | 808 5567 26828 | 20886 15490 402 | 0.008 % | 63.68/63.77 c | 172294 | 808 5567 26828 | 22974 16195 367 | 0.008 % | 94.26/94.35 c | 237981 | 808 5567 26828 | 25272 17598 409 | 0.000 % | 143.55/143.60 c | 336510 | 808 5567 26828 | 27799 25679 405 | 0.004 % | 182.04/182.10 c There are 0 assigned variables. 0 in cost function. 183.03/183.16 c core #1 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 1 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #2 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 2 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #3 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 3 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #4 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 4 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #5 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 5 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #6 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 6 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #7 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 7 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #8 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 8 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #9 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 9 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #10 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 10 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #11 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 11 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #12 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 12 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #13 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 13 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #14 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 14 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #15 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 15 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #16 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 16 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #17 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 17 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #18 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 18 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #19 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 19 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #20 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 20 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #21 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 21 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #22 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 22 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #23 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 23 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #24 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 24 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #25 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 25 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #26 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 26 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #27 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 27 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #28 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 28 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #29 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 29 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #30 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 30 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #31 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 31 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #32 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 32 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #33 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 33 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #34 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 34 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #35 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 35 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #36 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 36 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #37 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 37 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #38 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 38 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #39 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 39 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #40 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 40 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #41 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 41 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #42 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 42 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #43 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 43 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #44 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 44 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #45 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 45 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #46 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 46 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #47 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 47 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #48 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 48 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #49 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 49 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #50 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 50 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #51 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 51 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #52 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 52 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #53 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 53 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #54 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 54 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #55 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 55 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #56 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 56 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #57 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 57 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #58 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 58 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #59 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 59 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #60 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 60 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c core #61 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 3 Core Weight: 1 Total Weight: 61 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #62 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 62 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #63 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 63 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #64 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 64 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #65 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 65 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #66 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 66 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #67 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 67 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #68 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 68 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #69 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 69 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #70 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 70 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #71 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 71 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #72 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 72 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #73 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 73 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #74 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 74 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #75 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 75 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #76 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 76 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #77 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 77 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #78 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 78 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #79 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 79 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #80 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 80 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #81 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 81 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #82 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 82 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #83 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 83 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #84 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 84 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #85 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 85 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #86 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 86 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #87 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 87 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #88 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 88 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #89 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 89 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #90 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 90 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #91 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 91 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #92 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 92 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #93 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 93 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #94 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 94 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #95 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 95 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #96 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 96 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #97 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 97 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #98 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 98 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #99 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 99 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #100 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 100 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #101 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 101 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #102 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 102 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #103 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 103 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #104 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 104 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #105 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 105 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #106 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 106 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #107 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 107 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #108 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 108 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #109 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 109 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #110 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 110 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #111 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 111 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #112 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 112 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #113 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 113 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #114 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 114 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #115 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 115 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #116 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 116 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #117 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 117 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #118 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 118 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #119 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 119 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #120 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c Core size: 3 Core Weight: 1 Total Weight: 120 183.64/183.78 c 183.64/183.78 c 183.64/183.78 c core #121 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 3 Core Weight: 1 Total Weight: 121 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #122 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 3 Core Weight: 1 Total Weight: 122 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #123 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 3 Core Weight: 1 Total Weight: 123 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #124 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 3 Core Weight: 1 Total Weight: 124 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #125 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 3 Core Weight: 1 Total Weight: 125 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #126 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 3 Core Weight: 1 Total Weight: 126 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #127 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 3 Core Weight: 1 Total Weight: 127 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #128 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 3 Core Weight: 1 Total Weight: 128 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #129 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 33 Core Weight: 1 Total Weight: 129 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #130 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 33 Core Weight: 1 Total Weight: 130 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #131 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 33 Core Weight: 1 Total Weight: 131 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #132 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 33 Core Weight: 1 Total Weight: 132 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #133 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 5 Core Weight: 1 Total Weight: 133 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #134 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 5 Core Weight: 1 Total Weight: 134 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #135 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 5 Core Weight: 1 Total Weight: 135 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #136 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 5 Core Weight: 1 Total Weight: 136 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #137 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 5 Core Weight: 1 Total Weight: 137 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #138 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 5 Core Weight: 1 Total Weight: 138 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #139 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 5 Core Weight: 1 Total Weight: 139 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #140 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 5 Core Weight: 1 Total Weight: 140 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #141 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 5 Core Weight: 1 Total Weight: 141 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #142 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 5 Core Weight: 1 Total Weight: 142 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #143 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 5 Core Weight: 1 Total Weight: 143 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #144 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 5 Core Weight: 1 Total Weight: 144 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #145 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 5 Core Weight: 1 Total Weight: 145 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #146 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 5 Core Weight: 1 Total Weight: 146 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #147 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 5 Core Weight: 1 Total Weight: 147 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #148 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 5 Core Weight: 1 Total Weight: 148 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #149 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 5 Core Weight: 1 Total Weight: 149 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #150 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 5 Core Weight: 1 Total Weight: 150 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #151 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 5 Core Weight: 1 Total Weight: 151 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #152 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 5 Core Weight: 1 Total Weight: 152 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #153 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 5 Core Weight: 1 Total Weight: 153 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #154 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 5 Core Weight: 1 Total Weight: 154 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #155 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 5 Core Weight: 1 Total Weight: 155 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #156 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 5 Core Weight: 1 Total Weight: 156 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #157 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 5 Core Weight: 1 Total Weight: 157 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #158 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 5 Core Weight: 1 Total Weight: 158 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #159 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 5 Core Weight: 1 Total Weight: 159 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #160 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 5 Core Weight: 1 Total Weight: 160 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #161 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 5 Core Weight: 1 Total Weight: 161 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #162 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 5 Core Weight: 1 Total Weight: 162 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #163 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 5 Core Weight: 1 Total Weight: 163 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #164 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 5 Core Weight: 1 Total Weight: 164 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #165 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 5 Core Weight: 1 Total Weight: 165 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #166 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 5 Core Weight: 1 Total Weight: 166 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #167 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 5 Core Weight: 1 Total Weight: 167 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #168 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 5 Core Weight: 1 Total Weight: 168 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #169 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 5 Core Weight: 1 Total Weight: 169 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #170 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 45 Core Weight: 1 Total Weight: 170 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #171 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 64 Core Weight: 1 Total Weight: 171 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #172 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 66 Core Weight: 1 Total Weight: 172 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #173 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 68 Core Weight: 1 Total Weight: 173 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #174 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 71 Core Weight: 1 Total Weight: 174 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #175 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 71 Core Weight: 1 Total Weight: 175 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #176 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 71 Core Weight: 1 Total Weight: 176 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #177 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 69 Core Weight: 1 Total Weight: 177 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #178 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 45 Core Weight: 1 Total Weight: 178 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c core #179 184.43/184.50 c 184.43/184.50 c 184.43/184.50 c Core size: 64 Core Weight: 1 Total Weight: 179 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #180 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 66 Core Weight: 1 Total Weight: 180 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #181 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 68 Core Weight: 1 Total Weight: 181 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #182 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 71 Core Weight: 1 Total Weight: 182 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #183 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 71 Core Weight: 1 Total Weight: 183 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #184 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 71 Core Weight: 1 Total Weight: 184 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #185 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 69 Core Weight: 1 Total Weight: 185 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #186 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 45 Core Weight: 1 Total Weight: 186 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #187 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 64 Core Weight: 1 Total Weight: 187 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #188 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 66 Core Weight: 1 Total Weight: 188 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #189 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 68 Core Weight: 1 Total Weight: 189 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #190 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 71 Core Weight: 1 Total Weight: 190 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #191 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 71 Core Weight: 1 Total Weight: 191 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #192 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 71 Core Weight: 1 Total Weight: 192 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #193 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 69 Core Weight: 1 Total Weight: 193 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #194 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 45 Core Weight: 1 Total Weight: 194 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #195 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 64 Core Weight: 1 Total Weight: 195 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #196 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 66 Core Weight: 1 Total Weight: 196 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #197 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 68 Core Weight: 1 Total Weight: 197 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #198 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 71 Core Weight: 1 Total Weight: 198 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #199 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 71 Core Weight: 1 Total Weight: 199 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #200 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 71 Core Weight: 1 Total Weight: 200 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #201 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 69 Core Weight: 1 Total Weight: 201 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #202 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 120 Core Weight: 1 Total Weight: 202 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c ============================[ Search Statistics ]============================== 184.74/184.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.74/184.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.74/184.89 c =============================================================================== 184.74/184.89 c | 0 | 1616 6579 29253 | 5000 0 nan | 0.000 % | 184.74/184.89 c =============================================================================== 184.83/184.91 c core #203 184.83/184.91 c 184.83/184.91 c 184.83/184.91 c Core size: 69 Core Weight: 1 Total Weight: 203 184.83/184.91 c 184.83/184.91 c 184.83/184.91 c ============================[ Search Statistics ]============================== 184.83/184.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.83/184.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.83/184.91 c =============================================================================== 184.83/184.91 c | 0 | 1631 6580 29283 | 5000 0 nan | 0.000 % | 184.83/184.91 c =============================================================================== 184.83/184.93 c core #204 184.83/184.93 c 184.83/184.93 c 184.83/184.93 c Core size: 12 Core Weight: 1 Total Weight: 204 184.83/184.93 c 184.83/184.93 c 184.83/184.93 c ============================[ Search Statistics ]============================== 184.83/184.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.83/184.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.83/184.93 c =============================================================================== 184.83/184.93 c | 0 | 1638 6581 29297 | 5000 0 nan | 0.000 % | 184.83/184.94 c =============================================================================== 184.83/184.96 c core #205 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c Core size: 13 Core Weight: 1 Total Weight: 205 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c ============================[ Search Statistics ]============================== 184.83/184.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.83/184.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.83/184.96 c =============================================================================== 184.83/184.96 c | 0 | 1647 6582 29315 | 5000 0 nan | 0.000 % | 184.83/184.96 c =============================================================================== 184.83/184.98 c core #206 184.83/184.98 c 184.83/184.98 c 184.83/184.98 c Core size: 76 Core Weight: 1 Total Weight: 206 184.83/184.98 c 184.83/184.98 c 184.83/184.98 c ============================[ Search Statistics ]============================== 184.83/184.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.83/184.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.83/184.98 c =============================================================================== 184.83/184.98 c | 0 | 1657 6583 29335 | 5000 0 nan | 0.000 % | 184.83/184.98 c =============================================================================== 184.93/185.00 c core #207 184.93/185.00 c 184.93/185.00 c 184.93/185.00 c Core size: 77 Core Weight: 1 Total Weight: 207 184.93/185.00 c 184.93/185.00 c 184.93/185.00 c ============================[ Search Statistics ]============================== 184.93/185.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.93/185.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.93/185.00 c =============================================================================== 184.93/185.00 c | 0 | 1668 6584 29357 | 5000 0 nan | 0.000 % | 184.93/185.00 c =============================================================================== 184.93/185.02 c core #208 184.93/185.02 c 184.93/185.02 c 184.93/185.02 c Core size: 13 Core Weight: 1 Total Weight: 208 184.93/185.02 c 184.93/185.02 c 184.93/185.02 c ============================[ Search Statistics ]============================== 184.93/185.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.93/185.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.93/185.02 c =============================================================================== 184.93/185.02 c | 0 | 1676 6585 29373 | 5000 0 nan | 0.000 % | 184.93/185.03 c =============================================================================== 184.93/185.05 c core #209 184.93/185.05 c 184.93/185.05 c 184.93/185.05 c Core size: 22 Core Weight: 1 Total Weight: 209 184.93/185.05 c 184.93/185.05 c 184.93/185.05 c ============================[ Search Statistics ]============================== 184.93/185.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.93/185.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.93/185.05 c =============================================================================== 184.93/185.05 c | 0 | 1693 6586 29407 | 5000 0 nan | 0.000 % | 184.93/185.05 c =============================================================================== 184.93/185.07 c core #210 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c Core size: 52 Core Weight: 1 Total Weight: 210 184.93/185.07 c 184.93/185.07 c 184.93/185.07 c ============================[ Search Statistics ]============================== 184.93/185.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.93/185.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.93/185.07 c =============================================================================== 184.93/185.07 c | 0 | 1725 6587 29471 | 5000 0 nan | 0.000 % | 184.93/185.08 c =============================================================================== 184.93/185.10 c core #211 184.93/185.10 c 184.93/185.10 c 184.93/185.10 c Core size: 10 Core Weight: 1 Total Weight: 211 184.93/185.10 c 184.93/185.10 c 184.93/185.10 c ============================[ Search Statistics ]============================== 184.93/185.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.93/185.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.93/185.10 c =============================================================================== 184.93/185.10 c | 0 | 1731 6588 29483 | 5000 0 nan | 0.000 % | 185.03/185.10 c =============================================================================== 185.03/185.13 c core #212 185.03/185.13 c 185.03/185.13 c 185.03/185.13 c Core size: 26 Core Weight: 1 Total Weight: 212 185.03/185.13 c 185.03/185.13 c 185.03/185.13 c ============================[ Search Statistics ]============================== 185.03/185.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.03/185.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.03/185.13 c =============================================================================== 185.03/185.13 c | 0 | 1747 6589 29515 | 5000 0 nan | 0.000 % | 185.03/185.13 c =============================================================================== 185.03/185.15 c core #213 185.03/185.15 c 185.03/185.15 c 185.03/185.15 c Core size: 10 Core Weight: 1 Total Weight: 213 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 | 1753 6590 29527 | 5000 0 nan | 0.000 % | 185.03/185.16 c =============================================================================== 185.03/185.18 c core #214 185.03/185.18 c 185.03/185.18 c 185.03/185.18 c Core size: 12 Core Weight: 1 Total Weight: 214 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 | 1760 6591 29541 | 5000 0 nan | 0.000 % | 185.03/185.18 c =============================================================================== 185.13/185.20 c core #215 185.13/185.20 c 185.13/185.20 c 185.13/185.20 c Core size: 10 Core Weight: 1 Total Weight: 215 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 | 1766 6592 29553 | 5000 0 nan | 0.000 % | 185.13/185.21 c =============================================================================== 185.13/185.23 c core #216 185.13/185.23 c 185.13/185.23 c 185.13/185.23 c Core size: 21 Core Weight: 1 Total Weight: 216 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 | 1782 6593 29585 | 5000 0 nan | 0.000 % | 185.13/185.24 c =============================================================================== 185.13/185.25 c core #217 185.13/185.25 c 185.13/185.25 c 185.13/185.25 c Core size: 10 Core Weight: 1 Total Weight: 217 185.13/185.25 c 185.13/185.25 c 185.13/185.25 c ============================[ Search Statistics ]============================== 185.13/185.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.13/185.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.13/185.25 c =============================================================================== 185.13/185.25 c | 0 | 1788 6594 29597 | 5000 0 nan | 0.000 % | 185.13/185.26 c =============================================================================== 185.13/185.28 c core #218 185.13/185.28 c 185.13/185.28 c 185.13/185.28 c Core size: 10 Core Weight: 1 Total Weight: 218 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 | 1794 6595 29609 | 5000 0 nan | 0.000 % | 185.13/185.29 c =============================================================================== 185.23/185.31 c core #219 185.23/185.31 c 185.23/185.31 c 185.23/185.31 c Core size: 10 Core Weight: 1 Total Weight: 219 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 | 1800 6596 29621 | 5000 0 nan | 0.000 % | 185.23/185.32 c =============================================================================== 185.23/185.34 c core #220 185.23/185.34 c 185.23/185.34 c 185.23/185.34 c Core size: 21 Core Weight: 1 Total Weight: 220 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 | 1810 6597 29641 | 5000 0 nan | 0.000 % | 185.23/185.35 c =============================================================================== 185.23/185.37 c core #221 185.23/185.37 c 185.23/185.37 c 185.23/185.37 c Core size: 22 Core Weight: 1 Total Weight: 221 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 | 1823 6598 29667 | 5000 0 nan | 0.000 % | 185.23/185.38 c =============================================================================== 185.33/185.40 c core #222 185.33/185.40 c 185.33/185.40 c 185.33/185.40 c Core size: 26 Core Weight: 1 Total Weight: 222 185.33/185.40 c 185.33/185.40 c 185.33/185.40 c ============================[ Search Statistics ]============================== 185.33/185.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.33/185.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.33/185.40 c =============================================================================== 185.33/185.40 c | 0 | 1839 6599 29699 | 5000 0 nan | 0.000 % | 185.33/185.40 c =============================================================================== 185.33/185.42 c core #223 185.33/185.42 c 185.33/185.42 c 185.33/185.42 c Core size: 14 Core Weight: 1 Total Weight: 223 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 | 1847 6600 29715 | 5000 0 nan | 0.000 % | 185.33/185.43 c =============================================================================== 185.33/185.45 c core #224 185.33/185.45 c 185.33/185.45 c 185.33/185.45 c Core size: 12 Core Weight: 1 Total Weight: 224 185.33/185.45 c 185.33/185.45 c 185.33/185.45 c ============================[ Search Statistics ]============================== 185.33/185.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.33/185.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.33/185.45 c =============================================================================== 185.33/185.45 c | 0 | 1854 6601 29729 | 5000 0 nan | 0.000 % | 185.33/185.45 c =============================================================================== 185.33/185.47 c core #225 185.33/185.47 c 185.33/185.47 c 185.33/185.47 c Core size: 10 Core Weight: 1 Total Weight: 225 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 | 1860 6602 29741 | 5000 0 nan | 0.000 % | 185.33/185.48 c =============================================================================== 185.33/185.50 c core #226 185.33/185.50 c 185.33/185.50 c 185.33/185.50 c Core size: 12 Core Weight: 1 Total Weight: 226 185.33/185.50 c 185.33/185.50 c 185.33/185.50 c ============================[ Search Statistics ]============================== 185.33/185.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.33/185.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.33/185.50 c =============================================================================== 185.33/185.50 c | 0 | 1867 6603 29755 | 5000 0 nan | 0.000 % | 185.43/185.50 c =============================================================================== 185.43/185.52 c core #227 185.43/185.52 c 185.43/185.52 c 185.43/185.52 c Core size: 10 Core Weight: 1 Total Weight: 227 185.43/185.52 c 185.43/185.52 c 185.43/185.52 c ============================[ Search Statistics ]============================== 185.43/185.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.43/185.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.43/185.52 c =============================================================================== 185.43/185.52 c | 0 | 1873 6604 29767 | 5000 0 nan | 0.000 % | 185.43/185.52 c =============================================================================== 185.43/185.54 c core #228 185.43/185.54 c 185.43/185.54 c 185.43/185.54 c Core size: 10 Core Weight: 1 Total Weight: 228 185.43/185.54 c 185.43/185.54 c 185.43/185.54 c ============================[ Search Statistics ]============================== 185.43/185.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.43/185.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.43/185.54 c =============================================================================== 185.43/185.54 c | 0 | 1879 6605 29779 | 5000 0 nan | 0.000 % | 185.43/185.55 c =============================================================================== 185.43/185.57 c core #229 185.43/185.57 c 185.43/185.57 c 185.43/185.57 c Core size: 68 Core Weight: 1 Total Weight: 229 185.43/185.57 c 185.43/185.57 c 185.43/185.57 c ============================[ Search Statistics ]============================== 185.43/185.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.43/185.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.43/185.57 c =============================================================================== 185.43/185.57 c | 0 | 1912 6606 29845 | 5000 0 nan | 0.000 % | 185.43/185.58 c =============================================================================== 185.53/185.60 c core #230 185.53/185.60 c 185.53/185.60 c 185.53/185.60 c Core size: 12 Core Weight: 1 Total Weight: 230 185.53/185.60 c 185.53/185.60 c 185.53/185.60 c ============================[ Search Statistics ]============================== 185.53/185.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.53/185.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.53/185.60 c =============================================================================== 185.53/185.60 c | 0 | 1919 6607 29859 | 5000 0 nan | 0.000 % | 185.53/185.61 c =============================================================================== 185.53/185.63 c core #231 185.53/185.63 c 185.53/185.63 c 185.53/185.63 c Core size: 38 Core Weight: 1 Total Weight: 231 185.53/185.63 c 185.53/185.63 c 185.53/185.63 c ============================[ Search Statistics ]============================== 185.53/185.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.53/185.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.53/185.63 c =============================================================================== 185.53/185.63 c | 0 | 1946 6608 29913 | 5000 0 nan | 0.000 % | 185.53/185.65 c | 100 | 1946 6608 29913 | 5500 100 13 | 0.156 % | 185.53/185.65 c =============================================================================== 185.53/185.67 c core #232 185.53/185.67 c 185.53/185.67 c 185.53/185.67 c Core size: 44 Core Weight: 1 Total Weight: 232 185.53/185.67 c 185.53/185.67 c 185.53/185.67 c ============================[ Search Statistics ]============================== 185.53/185.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.53/185.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.53/185.67 c =============================================================================== 185.53/185.67 c | 0 | 1983 6609 29987 | 5000 0 nan | 0.000 % | 185.53/185.68 c =============================================================================== 185.63/185.70 c core #233 185.63/185.70 c 185.63/185.70 c 185.63/185.70 c Core size: 12 Core Weight: 1 Total Weight: 233 185.63/185.70 c 185.63/185.70 c 185.63/185.70 c ============================[ Search Statistics ]============================== 185.63/185.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.63/185.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.63/185.70 c =============================================================================== 185.63/185.70 c | 0 | 1990 6610 30001 | 5000 0 nan | 0.000 % | 185.63/185.72 c | 100 | 1990 6610 30001 | 5500 100 25 | 0.153 % | 185.63/185.73 c | 250 | 1989 6610 30001 | 6050 250 20 | 1.912 % | 185.63/185.74 c =============================================================================== 185.63/185.76 c core #234 185.63/185.76 c 185.63/185.76 c 185.63/185.76 c Core size: 10 Core Weight: 1 Total Weight: 234 185.63/185.76 c 185.63/185.76 c 185.63/185.76 c ============================[ Search Statistics ]============================== 185.63/185.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.63/185.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.63/185.76 c =============================================================================== 185.63/185.76 c | 0 | 1996 6611 30013 | 5000 0 nan | 0.000 % | 185.63/185.78 c =============================================================================== 185.74/185.80 c core #235 185.74/185.80 c 185.74/185.80 c 185.74/185.80 c Core size: 38 Core Weight: 1 Total Weight: 235 185.74/185.80 c 185.74/185.80 c 185.74/185.80 c ============================[ Search Statistics ]============================== 185.74/185.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.74/185.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.74/185.80 c =============================================================================== 185.74/185.80 c | 0 | 2018 6612 30057 | 5000 0 nan | 0.000 % | 185.74/185.82 c | 100 | 2018 6612 30057 | 5500 100 12 | 0.151 % | 185.74/185.83 c =============================================================================== 185.74/185.85 c core #236 185.74/185.85 c 185.74/185.85 c 185.74/185.85 c Core size: 46 Core Weight: 1 Total Weight: 236 185.74/185.85 c 185.74/185.85 c 185.74/185.85 c ============================[ Search Statistics ]============================== 185.74/185.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.74/185.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.74/185.85 c =============================================================================== 185.74/185.85 c | 0 | 2054 6613 30129 | 5000 0 nan | 0.000 % | 185.74/185.85 c =============================================================================== 185.74/185.88 c core #237 185.74/185.88 c 185.74/185.88 c 185.74/185.88 c Core size: 18 Core Weight: 1 Total Weight: 237 185.74/185.88 c 185.74/185.88 c 185.74/185.88 c ============================[ Search Statistics ]============================== 185.74/185.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.74/185.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.74/185.88 c =============================================================================== 185.74/185.88 c | 0 | 2065 6614 30151 | 5000 0 nan | 0.000 % | 185.74/185.88 c =============================================================================== 185.74/185.90 c core #238 185.74/185.90 c 185.74/185.90 c 185.74/185.90 c Core size: 35 Core Weight: 1 Total Weight: 238 185.74/185.90 c 185.74/185.90 c 185.74/185.90 c ============================[ Search Statistics ]============================== 185.74/185.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.74/185.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.74/185.90 c =============================================================================== 185.74/185.90 c | 0 | 2087 6615 30195 | 5000 0 nan | 0.000 % | 185.84/185.91 c =============================================================================== 185.84/185.93 c core #239 185.84/185.93 c 185.84/185.93 c 185.84/185.93 c Core size: 22 Core Weight: 1 Total Weight: 239 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 | 2099 6616 30219 | 5000 0 nan | 0.000 % | 185.84/185.94 c =============================================================================== 185.84/185.96 c core #240 185.84/185.96 c 185.84/185.96 c 185.84/185.96 c Core size: 14 Core Weight: 1 Total Weight: 240 185.84/185.96 c 185.84/185.96 c 185.84/185.96 c ============================[ Search Statistics ]============================== 185.84/185.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.84/185.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.84/185.96 c =============================================================================== 185.84/185.96 c | 0 | 2107 6617 30235 | 5000 0 nan | 0.000 % | 185.84/185.97 c =============================================================================== 185.84/185.99 c core #241 185.84/185.99 c 185.84/185.99 c 185.84/185.99 c Core size: 26 Core Weight: 1 Total Weight: 241 185.84/185.99 c 185.84/185.99 c 185.84/185.99 c ============================[ Search Statistics ]============================== 185.84/185.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.84/185.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.84/185.99 c =============================================================================== 185.84/185.99 c | 0 | 2125 6618 30271 | 5000 0 nan | 0.000 % | 185.93/186.00 c =============================================================================== 185.93/186.02 c core #242 185.93/186.02 c 185.93/186.02 c 185.93/186.02 c Core size: 22 Core Weight: 1 Total Weight: 242 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 | 2137 6619 30295 | 5000 0 nan | 0.000 % | 185.93/186.03 c =============================================================================== 185.93/186.05 c core #243 185.93/186.05 c 185.93/186.05 c 185.93/186.05 c Core size: 30 Core Weight: 1 Total Weight: 243 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 | 2160 6620 30341 | 5000 0 nan | 0.000 % | 185.93/186.07 c | 101 | 2160 6620 30341 | 5500 101 10 | 0.139 % | 185.93/186.07 c =============================================================================== 185.93/186.09 c core #244 185.93/186.09 c 185.93/186.09 c 185.93/186.09 c Core size: 44 Core Weight: 1 Total Weight: 244 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 | 2202 6621 30425 | 5000 0 nan | 0.000 % | 186.03/186.11 c | 100 | 2202 6621 30425 | 5500 100 14 | 0.137 % | 186.03/186.12 c =============================================================================== 186.03/186.15 c core #245 186.03/186.15 c 186.03/186.15 c 186.03/186.15 c Core size: 74 Core Weight: 1 Total Weight: 245 186.03/186.15 c 186.03/186.15 c 186.03/186.15 c ============================[ Search Statistics ]============================== 186.03/186.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.03/186.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.03/186.15 c =============================================================================== 186.03/186.15 c | 0 | 2261 6622 30543 | 5000 0 nan | 0.000 % | 186.03/186.15 c =============================================================================== 186.03/186.18 c core #246 186.03/186.18 c 186.03/186.18 c 186.03/186.18 c Core size: 25 Core Weight: 1 Total Weight: 246 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 | 2277 6623 30575 | 5000 0 nan | 0.000 % | 186.03/186.18 c =============================================================================== 186.13/186.21 c core #247 186.13/186.21 c 186.13/186.21 c 186.13/186.21 c Core size: 42 Core Weight: 1 Total Weight: 247 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 | 2304 6624 30629 | 5000 0 nan | 0.000 % | 186.13/186.23 c | 102 | 2304 6624 30629 | 5500 102 17 | 0.131 % | 186.13/186.24 c =============================================================================== 186.13/186.26 c core #248 186.13/186.26 c 186.13/186.26 c 186.13/186.26 c Core size: 39 Core Weight: 1 Total Weight: 248 186.13/186.26 c 186.13/186.26 c 186.13/186.26 c ============================[ Search Statistics ]============================== 186.13/186.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.13/186.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.13/186.26 c =============================================================================== 186.13/186.26 c | 0 | 2340 6625 30701 | 5000 0 nan | 0.000 % | 186.13/186.29 c =============================================================================== 186.23/186.32 c core #249 186.23/186.32 c 186.23/186.32 c 186.23/186.32 c Core size: 186 Core Weight: 1 Total Weight: 249 186.23/186.32 c 186.23/186.32 c 186.23/186.32 c ============================[ Search Statistics ]============================== 186.23/186.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.23/186.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.23/186.32 c =============================================================================== 186.23/186.32 c | 0 | 2384 6626 30792 | 5000 0 nan | 0.000 % | 186.23/186.33 c =============================================================================== 186.23/186.35 c core #250 186.23/186.35 c 186.23/186.35 c 186.23/186.35 c Core size: 31 Core Weight: 1 Total Weight: 250 186.23/186.35 c 186.23/186.35 c 186.23/186.35 c ============================[ Search Statistics ]============================== 186.23/186.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.23/186.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.23/186.35 c =============================================================================== 186.23/186.35 c | 0 | 2406 6627 30836 | 5000 0 nan | 0.000 % | 186.23/186.36 c =============================================================================== 186.23/186.38 c core #251 186.23/186.38 c 186.23/186.38 c 186.23/186.38 c Core size: 36 Core Weight: 1 Total Weight: 251 186.23/186.38 c 186.23/186.38 c 186.23/186.38 c ============================[ Search Statistics ]============================== 186.23/186.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.23/186.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.23/186.38 c =============================================================================== 186.23/186.38 c | 0 | 2415 6628 30854 | 5000 0 nan | 0.000 % | 186.33/186.40 c | 102 | 2415 6628 30854 | 5500 102 27 | 0.001 % | 186.33/186.42 c | 252 | 2415 6628 30854 | 6050 252 19 | 0.000 % | 186.33/186.43 c =============================================================================== 186.33/186.45 c core #252 186.33/186.45 c 186.33/186.45 c 186.33/186.45 c Core size: 43 Core Weight: 1 Total Weight: 252 186.33/186.45 c 186.33/186.45 c 186.33/186.45 c ============================[ Search Statistics ]============================== 186.33/186.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.33/186.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.33/186.45 c =============================================================================== 186.33/186.45 c | 0 | 2453 6629 30930 | 5000 0 nan | 0.000 % | 186.33/186.48 c | 102 | 2453 6629 30930 | 5500 102 15 | 0.001 % | 186.33/186.48 c =============================================================================== 186.43/186.50 c core #253 186.43/186.50 c 186.43/186.50 c 186.43/186.50 c Core size: 33 Core Weight: 1 Total Weight: 253 186.43/186.50 c 186.43/186.50 c 186.43/186.50 c ============================[ Search Statistics ]============================== 186.43/186.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.43/186.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.43/186.50 c =============================================================================== 186.43/186.50 c | 0 | 2473 6630 30970 | 5000 0 nan | 0.000 % | 186.43/186.52 c | 100 | 2473 6630 30970 | 5500 100 23 | 0.001 % | 186.43/186.55 c | 251 | 2473 6630 30970 | 6050 251 20 | 0.000 % | 186.43/186.56 c | 476 | 2473 6630 30970 | 6655 476 18 | 0.000 % | 186.43/186.58 c =============================================================================== 186.53/186.61 c core #254 186.53/186.61 c 186.53/186.61 c 186.53/186.61 c Core size: 53 Core Weight: 1 Total Weight: 254 186.53/186.61 c 186.53/186.61 c 186.53/186.61 c ============================[ Search Statistics ]============================== 186.53/186.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.53/186.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.53/186.61 c =============================================================================== 186.53/186.61 c | 0 | 2513 6631 31050 | 5000 0 nan | 0.000 % | 186.53/186.62 c | 101 | 2513 6631 31050 | 5500 101 14 | 0.001 % | 186.53/186.63 c | 252 | 2513 6631 31050 | 6050 252 15 | 0.080 % | 186.53/186.65 c | 478 | 2509 6631 31050 | 6655 451 17 | 0.240 % | 186.53/186.67 c =============================================================================== 186.63/186.70 c core #255 186.63/186.70 c 186.63/186.70 c 186.63/186.70 c Core size: 89 Core Weight: 1 Total Weight: 255 186.63/186.70 c 186.63/186.70 c 186.63/186.70 c ============================[ Search Statistics ]============================== 186.63/186.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.63/186.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.63/186.70 c =============================================================================== 186.63/186.70 c | 0 | 2600 6632 31224 | 5000 0 nan | 0.000 % | 186.63/186.72 c | 101 | 2600 6632 31224 | 5500 101 38 | 0.001 % | 186.63/186.73 c | 251 | 2600 6632 31224 | 6050 251 26 | 0.000 % | 186.63/186.75 c | 477 | 2600 6632 31224 | 6655 477 23 | 0.002 % | 186.63/186.77 c =============================================================================== 186.63/186.79 c core #256 186.63/186.79 c 186.63/186.79 c 186.63/186.79 c Core size: 86 Core Weight: 1 Total Weight: 256 186.63/186.79 c 186.63/186.79 c 186.63/186.79 c ============================[ Search Statistics ]============================== 186.63/186.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.63/186.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.63/186.79 c =============================================================================== 186.63/186.79 c | 0 | 2681 6633 31386 | 5000 0 nan | 0.000 % | 186.73/186.82 c | 101 | 2681 6633 31386 | 5500 101 20 | 0.001 % | 186.73/186.87 c | 252 | 2681 6633 31386 | 6050 252 17 | 0.001 % | 186.73/186.88 c =============================================================================== 186.84/186.91 c core #257 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c Core size: 164 Core Weight: 1 Total Weight: 257 186.84/186.91 c 186.84/186.91 c 186.84/186.91 c ============================[ Search Statistics ]============================== 186.84/186.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.84/186.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.84/186.91 c =============================================================================== 186.84/186.91 c | 0 | 2714 6634 31452 | 5000 0 nan | 0.000 % | 186.84/186.93 c | 101 | 2714 6634 31452 | 5500 101 29 | 0.001 % | 186.84/186.94 c | 251 | 2714 6634 31452 | 6050 251 22 | 0.000 % | 186.84/186.96 c | 481 | 2711 6634 31452 | 6655 476 22 | 0.148 % | 186.84/186.99 c | 818 | 2710 6634 31452 | 7320 813 20 | 0.221 % | 186.84/186.99 c =============================================================================== 186.93/187.02 c core #258 186.93/187.02 c 186.93/187.02 c 186.93/187.02 c Core size: 53 Core Weight: 1 Total Weight: 258 186.93/187.02 c 186.93/187.02 c 186.93/187.02 c ============================[ Search Statistics ]============================== 186.93/187.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.93/187.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.93/187.02 c =============================================================================== 186.93/187.02 c | 0 | 2766 6635 31556 | 5000 0 nan | 0.000 % | 186.93/187.05 c | 100 | 2766 6635 31556 | 5500 100 31 | 0.000 % | 187.03/187.10 c | 251 | 2766 6635 31556 | 6050 251 36 | 0.000 % | 187.03/187.15 c | 477 | 2766 6635 31556 | 6655 477 45 | 0.000 % | 187.13/187.24 c | 814 | 2766 6635 31556 | 7320 814 49 | 0.000 % | 187.23/187.30 c | 1323 | 2765 6635 31556 | 8052 1318 42 | 0.036 % | 187.23/187.31 c =============================================================================== 187.23/187.34 c core #259 187.23/187.34 c 187.23/187.34 c 187.23/187.34 c Core size: 91 Core Weight: 1 Total Weight: 259 187.23/187.34 c 187.23/187.34 c 187.23/187.34 c ============================[ Search Statistics ]============================== 187.23/187.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.23/187.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.23/187.34 c =============================================================================== 187.23/187.34 c | 0 | 2856 6636 31736 | 5000 0 nan | 0.000 % | 187.23/187.37 c | 105 | 2856 6636 31736 | 5500 105 46 | 0.000 % | 187.23/187.39 c | 256 | 2856 6636 31736 | 6050 256 46 | 0.000 % | 187.33/187.46 c | 482 | 2856 6636 31736 | 6655 482 46 | 0.000 % | 187.43/187.58 c | 821 | 2856 6636 31736 | 7320 821 49 | 0.000 % | 187.53/187.69 c | 1330 | 2856 6636 31736 | 8052 1330 57 | 0.000 % | 187.94/188.01 c | 2089 | 2856 6636 31736 | 8857 2089 62 | 0.000 % | 188.43/188.57 c | 3228 | 2844 6636 31736 | 9743 3227 73 | 0.700 % | 189.63/189.70 c | 4936 | 2781 6636 31736 | 10717 4462 82 | 2.626 % | 191.24/191.34 c | 7501 | 2761 6636 31736 | 11789 7027 85 | 3.922 % | 192.83/192.98 c =============================================================================== 192.93/193.06 c core #260 192.93/193.06 c 192.93/193.06 c 192.93/193.06 c Core size: 466 Core Weight: 1 Total Weight: 260 192.93/193.06 c 192.93/193.06 c 192.93/193.06 c ============================[ Search Statistics ]============================== 192.93/193.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.93/193.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.93/193.06 c =============================================================================== 192.93/193.06 c | 0 | 3038 6637 32100 | 5000 0 nan | 0.000 % | 192.93/193.09 c | 100 | 3038 6637 32100 | 5500 100 45 | 0.000 % | 193.03/193.14 c | 253 | 3038 6637 32100 | 6050 253 48 | 0.000 % | 193.23/193.39 c | 478 | 3038 6637 32100 | 6655 478 45 | 0.000 % | 193.33/193.47 c | 815 | 3038 6637 32100 | 7320 815 45 | 0.000 % | 193.54/193.65 c | 1321 | 3038 6637 32100 | 8052 1321 56 | 0.000 % | 193.93/194.00 c | 2082 | 3038 6637 32100 | 8857 2082 68 | 0.000 % | 194.43/194.51 c | 3222 | 3038 6637 32100 | 9743 3222 74 | 0.000 % | 195.33/195.41 c | 4930 | 3038 6637 32100 | 10717 4930 79 | 0.000 % | 197.33/197.48 c | 7498 | 3038 6637 32100 | 11789 7498 88 | 0.000 % | 201.43/201.55 c | 11342 | 3038 6637 32100 | 12968 11342 95 | 0.000 % | 206.73/206.89 c | 17108 | 3038 6637 32100 | 14265 10493 105 | 0.000 % | 216.03/216.11 c | 25758 | 3035 6637 32100 | 15692 11877 99 | 0.132 % | 230.62/230.73 c | 38733 | 3034 6637 32100 | 17261 9012 76 | 0.132 % | 246.81/246.92 c | 58196 | 3032 6637 32100 | 18987 10671 74 | 0.198 % | 262.01/262.10 c =============================================================================== 262.72/262.81 c core #261 262.72/262.81 c 262.72/262.81 c 262.72/262.81 c Core size: 302 Core Weight: 1 Total Weight: 261 262.72/262.81 c 262.72/262.81 c 262.72/262.81 c ============================[ Search Statistics ]============================== 262.72/262.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 262.72/262.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 262.72/262.81 c =============================================================================== 262.72/262.81 c | 0 | 3206 6647 32462 | 5000 0 nan | 0.000 % | 262.72/262.84 c | 101 | 3206 6647 32462 | 5500 101 11 | 0.062 % | 262.72/262.84 c =============================================================================== 262.72/262.87 c core #262 262.72/262.87 c 262.72/262.87 c 262.72/262.87 c Core size: 18 Core Weight: 1 Total Weight: 262 262.72/262.87 c 262.72/262.87 c 262.72/262.87 c ============================[ Search Statistics ]============================== 262.72/262.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 262.72/262.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 262.72/262.87 c =============================================================================== 262.72/262.87 c | 0 | 3216 6648 32482 | 5000 0 nan | 0.000 % | 262.72/262.90 c | 100 | 3216 6648 32482 | 5500 100 53 | 0.000 % | 262.81/262.95 c | 250 | 3216 6648 32482 | 6050 250 55 | 0.000 % | 262.91/263.00 c | 475 | 3216 6648 32482 | 6655 475 52 | 0.000 % | 263.00/263.13 c | 813 | 3216 6648 32482 | 7320 813 51 | 0.000 % | 263.20/263.34 c | 1319 | 3216 6648 32482 | 8052 1319 58 | 0.000 % | 263.50/263.62 c | 2078 | 3216 6648 32482 | 8857 2078 57 | 0.000 % | 264.21/264.31 c | 3217 | 3216 6648 32482 | 9743 3217 62 | 0.000 % | 265.30/265.42 c | 4925 | 3216 6648 32482 | 10717 4925 70 | 0.000 % | 267.30/267.44 c | 7488 | 3216 6648 32482 | 11789 7488 76 | 0.000 % | 270.31/270.42 c | 11336 | 3216 6648 32482 | 12968 11336 75 | 0.000 % | 276.21/276.36 c | 17105 | 3216 6648 32482 | 14265 10521 77 | 0.000 % | 285.91/286.06 c | 25755 | 3216 6648 32482 | 15692 11881 90 | 0.000 % | 299.00/299.19 c | 38730 | 3216 6648 32482 | 17261 8671 103 | 0.000 % | 314.79/314.91 c | 58193 | 3216 6648 32482 | 18987 10717 89 | 0.000 % | 328.98/329.17 c | 87387 | 3216 6648 32482 | 20886 10569 145 | 0.001 % | 375.87/376.09 c | 131176 | 3216 6648 32482 | 22974 11782 149 | 0.000 % | 403.47/403.61 c | 196868 | 3216 6648 32482 | 25272 13699 118 | 0.000 % | 453.45/453.67 c | 295394 | 3216 6648 32482 | 27799 22869 258 | 0.000 % | 549.82/550.07 c | 443185 | 3215 6648 32482 | 30579 20464 181 | 0.031 % | 676.18/676.42 c | 664870 | 3215 6648 32482 | 33637 19067 144 | 0.032 % | 868.72/869.01 c | 997395 | 3215 6648 32482 | 37001 26834 117 | 0.031 % | 1199.90/1200.34 c | 1496186 | 3215 6648 32482 | 40701 25960 117 | 0.031 % | 1568.49/1569.06 c =============================================================================== 1570.49/1571.07 c core #263 1570.49/1571.07 c 1570.49/1571.07 c 1570.49/1571.07 c Core size: 25 Core Weight: 1 Total Weight: 263 1570.49/1571.07 c 1570.49/1571.07 c 1570.49/1571.07 c ============================[ Search Statistics ]============================== 1570.49/1571.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 1570.49/1571.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1570.49/1571.07 c =============================================================================== 1570.49/1571.07 c | 0 | 3234 6651 32523 | 5000 0 nan | 0.000 % | 1570.59/1571.19 c | 102 | 3234 6651 32523 | 5500 102 59 | 0.000 % | 1570.79/1571.32 c | 252 | 3234 6651 32523 | 6050 252 62 | 0.000 % | 1570.99/1571.54 c | 478 | 3234 6651 32523 | 6655 478 60 | 0.000 % | 1571.09/1571.68 c | 816 | 3234 6651 32523 | 7320 816 66 | 0.000 % | 1571.29/1571.87 c | 1322 | 3234 6651 32523 | 8052 1322 76 | 0.000 % | 1571.69/1572.21 c | 2083 | 3234 6651 32523 | 8857 2083 79 | 0.000 % | 1572.29/1572.89 c | 3223 | 3234 6651 32523 | 9743 3223 84 | 0.000 % | 1573.50/1574.00 c | 4931 | 3234 6651 32523 | 10717 4931 85 | 0.000 % | 1575.69/1576.20 c | 7497 | 3234 6651 32523 | 11789 7497 85 | 0.000 % | 1579.99/1580.56 c | 11341 | 3234 6651 32523 | 12968 11341 87 | 0.000 % | 1584.08/1584.69 c | 17109 | 3234 6651 32523 | 14265 10473 68 | 0.001 % | 1591.09/1591.65 c | 25759 | 3234 6651 32523 | 15692 11893 62 | 0.000 % | 1599.88/1600.47 c | 38733 | 3234 6651 32523 | 17261 8700 149 | 0.000 % | 1610.58/1611.20 c | 58196 | 3234 6651 32523 | 18987 10101 185 | 0.000 % |
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-2680631-1277453532/watcher-2680631-1277453532 -o /tmp/evaluation-result-2680631-1277453532/solver-2680631-1277453532 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680631-1277453532.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.05 1.00 0.83 3/106 26898 /proc/meminfo: memFree=1854256/2059040 swapFree=4140488/4192956 [pid=26898] ppid=26896 vsize=2768 CPUtime=0 /proc/26898/stat : 26898 (wbo1.4b) R 26896 26898 26706 0 -1 4202496 295 0 0 0 0 0 0 0 17 0 1 0 86644179 2834432 214 1992294400 134512640 135752675 4286766896 18446744073709551615 135225906 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26898/statm: 692 214 140 303 0 339 0 [startup+0.0943479 s] /proc/loadavg: 1.05 1.00 0.83 3/106 26898 /proc/meminfo: memFree=1854256/2059040 swapFree=4140488/4192956 [pid=26898] ppid=26896 vsize=3368 CPUtime=0.09 /proc/26898/stat : 26898 (wbo1.4b) R 26896 26898 26706 0 -1 4202496 541 0 0 0 9 0 0 0 17 0 1 0 86644179 3448832 412 1992294400 134512640 135752675 4286766896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26898/statm: 842 412 145 303 0 537 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3368 [startup+0.101349 s] /proc/loadavg: 1.05 1.00 0.83 3/106 26898 /proc/meminfo: memFree=1854256/2059040 swapFree=4140488/4192956 [pid=26898] ppid=26896 vsize=3368 CPUtime=0.09 /proc/26898/stat : 26898 (wbo1.4b) R 26896 26898 26706 0 -1 4202496 541 0 0 0 9 0 0 0 17 0 1 0 86644179 3448832 412 1992294400 134512640 135752675 4286766896 18446744073709551615 134612112 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26898/statm: 842 412 145 303 0 537 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3368 [startup+0.301382 s] /proc/loadavg: 1.05 1.00 0.83 3/106 26898 /proc/meminfo: memFree=1854256/2059040 swapFree=4140488/4192956 [pid=26898] ppid=26896 vsize=3764 CPUtime=0.29 /proc/26898/stat : 26898 (wbo1.4b) R 26896 26898 26706 0 -1 4202496 635 0 0 0 29 0 0 0 17 0 1 0 86644179 3854336 506 1992294400 134512640 135752675 4286766896 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26898/statm: 941 506 145 303 0 636 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3764 [startup+0.701449 s] /proc/loadavg: 1.05 1.00 0.83 3/106 26898 /proc/meminfo: memFree=1854256/2059040 swapFree=4140488/4192956 [pid=26898] ppid=26896 vsize=4556 CPUtime=0.69 /proc/26898/stat : 26898 (wbo1.4b) R 26896 26898 26706 0 -1 4202496 846 0 0 0 68 1 0 0 17 0 1 0 86644179 4665344 717 1992294400 134512640 135752675 4286766896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26898/statm: 1139 717 145 303 0 834 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4556 [startup+1.50158 s] /proc/loadavg: 1.05 1.00 0.83 2/107 26899 /proc/meminfo: memFree=1851520/2059040 swapFree=4140488/4192956 [pid=26898] ppid=26896 vsize=6000 CPUtime=1.49 /proc/26898/stat : 26898 (wbo1.4b) R 26896 26898 26706 0 -1 4202496 1183 0 0 0 148 1 0 0 18 0 1 0 86644179 6144000 1054 1992294400 134512640 135752675 4286766896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26898/statm: 1500 1054 145 303 0 1195 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6000 [startup+3.10185 s] /proc/loadavg: 1.05 1.00 0.83 2/107 26899 /proc/meminfo: memFree=1849784/2059040 swapFree=4140488/4192956 [pid=26898] ppid=26896 vsize=7452 CPUtime=3.09 /proc/26898/stat : 26898 (wbo1.4b) R 26896 26898 26706 0 -1 4202496 1559 0 0 0 306 3 0 0 21 0 1 0 86644179 7630848 1430 1992294400 134512640 135752675 4286766896 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26898/statm: 1863 1430 145 303 0 1558 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7452 [startup+6.30138 s] /proc/loadavg: 1.05 1.00 0.83 2/107 26899 /proc/meminfo: memFree=1847180/2059040 swapFree=4140488/4192956 [pid=26898] ppid=26896 vsize=9700 CPUtime=6.29 /proc/26898/stat : 26898 (wbo1.4b) R 26896 26898 26706 0 -1 4202496 2120 0 0 0 624 5 0 0 25 0 1 0 86644179 9932800 1991 1992294400 134512640 135752675 4286766896 18446744073709551615 134605394 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26898/statm: 2425 1991 145 303 0 2120 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9700 [startup+12.7014 s] /proc/loadavg: 1.04 1.00 0.83 2/107 26899 /proc/meminfo: memFree=1838872/2059040 swapFree=4140488/4192956 [pid=26898] ppid=26896 vsize=17672 CPUtime=12.69 /proc/26898/stat : 26898 (wbo1.4b) R 26896 26898 26706 0 -1 4202496 4114 0 0 0 1258 11 0 0 25 0 1 0 86644179 18096128 3985 1992294400 134512640 135752675 4286766896 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26898/statm: 4418 3985 145 303 0 4113 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17672 [startup+25.5006 s] /proc/loadavg: 1.03 1.00 0.83 2/107 26901 /proc/meminfo: memFree=1805764/2059040 swapFree=4140488/4192956 [pid=26898] ppid=26896 vsize=52240 CPUtime=25.48 /proc/26898/stat : 26898 (wbo1.4b) R 26896 26898 26706 0 -1 4202496 12745 0 0 0 2523 25 0 0 25 0 1 0 86644179 53493760 12616 1992294400 134512640 135752675 4286766896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26898/statm: 13060 12616 145 303 0 12755 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 52240 [startup+51.1008 s] /proc/loadavg: 1.02 1.00 0.83 2/107 26901 /proc/meminfo: memFree=1679780/2059040 swapFree=4140488/4192956 [pid=26898] ppid=26896 vsize=178884 CPUtime=51.07 /proc/26898/stat : 26898 (wbo1.4b) R 26896 26898 26706 0 -1 4202496 44389 0 0 0 5046 61 0 0 25 0 1 0 86644179 183177216 44260 1992294400 134512640 135752675 4286766896 18446744073709551615 134611626 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26898/statm: 44721 44260 145 303 0 44416 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 178884 [startup+102.308 s] /proc/loadavg: 1.01 1.00 0.84 2/107 26903 /proc/meminfo: memFree=1481876/2059040 swapFree=4140488/4192956 [pid=26898] ppid=26896 vsize=373868 CPUtime=102.26 /proc/26898/stat : 26898 (wbo1.4b) R 26896 26898 26706 0 -1 4202496 93135 0 0 0 10108 118 0 0 25 0 1 0 86644179 382840832 93006 1992294400 134512640 135752675 4286766896 18446744073709551615 134518726 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26898/statm: 93467 93006 145 303 0 93162 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 373868 [startup+162.3 s] /proc/loadavg: 1.00 1.00 0.84 2/107 26903 /proc/meminfo: memFree=1284592/2059040 swapFree=4140488/4192956 [pid=26898] ppid=26896 vsize=573476 CPUtime=162.24 /proc/26898/stat : 26898 (wbo1.4b) R 26896 26898 26706 0 -1 4202496 143014 0 0 0 16042 182 0 0 25 0 1 0 86644179 587239424 142885 1992294400 134512640 135752675 4286766896 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26898/statm: 143369 142885 145 303 0 143064 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 573476 [startup+222.3 s] /proc/loadavg: 1.00 1.00 0.85 2/107 26905 /proc/meminfo: memFree=1214408/2059040 swapFree=4140488/4192956 [pid=26898] ppid=26896 vsize=640204 CPUtime=222.22 /proc/26898/stat : 26898 (wbo1.4b) R 26896 26898 26706 0 -1 4202496 159777 0 0 0 22001 221 0 0 25 0 1 0 86644179 655568896 159620 1992294400 134512640 135752675 4286766896 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26898/statm: 160051 159620 146 303 0 159746 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 640204 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.85 2/107 26907 /proc/meminfo: memFree=1209572/2059040 swapFree=4140488/4192956 [pid=26898] ppid=26896 vsize=644800 CPUtime=282.2 /proc/26898/stat : 26898 (wbo1.4b) R 26896 26898 26706 0 -1 4202496 160968 0 0 0 27974 246 0 0 25 0 1 0 86644179 660275200 160785 1992294400 134512640 135752675 4286766896 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26898/statm: 161200 160785 146 303 0 160895 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 644800 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.86 3/107 26909 /proc/meminfo: memFree=1172868/2059040 swapFree=4140488/4192956 [pid=26898] ppid=26896 vsize=681684 CPUtime=342.18 /proc/26898/stat : 26898 (wbo1.4b) R 26896 26898 26706 0 -1 4202496 170174 0 0 0 33936 282 0 0 25 0 1 0 86644179 698044416 169991 1992294400 134512640 135752675 4286766896 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26898/statm: 170421 169991 146 303 0 170116 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 681684 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.87 2/107 26911 /proc/meminfo: memFree=1121904/2059040 swapFree=4140488/4192956 [pid=26898] ppid=26896 vsize=733300 CPUtime=402.16 /proc/26898/stat : 26898 (wbo1.4b) R 26896 26898 26706 0 -1 4202496 183079 0 0 0 39895 321 0 0 25 0 1 0 86644179 750899200 182896 1992294400 134512640 135752675 4286766896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26898/statm: 183325 182896 146 303 0 183020 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 733300 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.87 2/107 26911 /proc/meminfo: memFree=1029400/2059040 swapFree=4140488/4192956 [pid=26898] ppid=26896 vsize=824940 CPUtime=462.15 /proc/26898/stat : 26898 (wbo1.4b) R 26896 26898 26706 0 -1 4202496 205939 0 0 0 45844 371 0 0 25 0 1 0 86644179 844738560 205756 1992294400 134512640 135752675 4286766896 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26898/statm: 206235 205756 146 303 0 205930 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 824940 [startup+522.3 s] /proc/loadavg: 1.00 1.00 0.88 2/107 26913 /proc/meminfo: memFree=977320/2059040 swapFree=4140488/4192956 [pid=26898] ppid=26896 vsize=878328 CPUtime=522.13 /proc/26898/stat : 26898 (wbo1.4b) R 26896 26898 26706 0 -1 4202496 219284 0 0 0 51808 405 0 0 25 0 1 0 86644179 899407872 219101 1992294400 134512640 135752675 4286766896 18446744073709551615 134518465 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26898/statm: 219582 219101 146 303 0 219277 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 878328 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.88 2/107 26915 /proc/meminfo: memFree=902672/2059040 swapFree=4140488/4192956 [pid=26898] ppid=26896 vsize=952096 CPUtime=582.1 /proc/26898/stat : 26898 (wbo1.4b) R 26896 26898 26706 0 -1 4202496 237724 0 0 0 57765 445 0 0 25 0 1 0 86644179 974946304 237541 1992294400 134512640 135752675 4286766896 18446744073709551615 134606868 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26898/statm: 238024 237541 146 303 0 237719 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 952096 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.89 2/107 26917 /proc/meminfo: memFree=834100/2059040 swapFree=4140488/4192956 [pid=26898] ppid=26896 vsize=1019740 CPUtime=642.09 /proc/26898/stat : 26898 (wbo1.4b) R 26896 26898 26706 0 -1 4202496 254610 0 0 0 63717 492 0 0 25 0 1 0 86644179 1044213760 254427 1992294400 134512640 135752675 4286766896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26898/statm: 254935 254427 146 303 0 254630 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 1019740 [startup+702.301 s] /proc/loadavg: 1.00 1.00 0.90 2/107 26919 /proc/meminfo: memFree=768256/2059040 swapFree=4140488/4192956 [pid=26898] ppid=26896 vsize=1086060 CPUtime=702.07 /proc/26898/stat : 26898 (wbo1.4b) R 26896 26898 26706 0 -1 4202496 271154 0 0 0 69670 537 0 0 25 0 1 0 86644179 1112125440 270971 1992294400 134512640 135752675 4286766896 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26898/statm: 271515 270971 146 303 0 271210 0 Current children cumulated CPU time (s) 702.07 Current children cumulated vsize (KiB) 1086060 [startup+762.308 s] /proc/loadavg: 1.00 1.00 0.90 2/107 26919 /proc/meminfo: memFree=715060/2059040 swapFree=4140488/4192956 [pid=26898] ppid=26896 vsize=1138580 CPUtime=762.05 /proc/26898/stat : 26898 (wbo1.4b) R 26896 26898 26706 0 -1 4202496 284268 0 0 0 75633 572 0 0 25 0 1 0 86644179 1165905920 284085 1992294400 134512640 135752675 4286766896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26898/statm: 284645 284085 146 303 0 284340 0 Current children cumulated CPU time (s) 762.05 Current children cumulated vsize (KiB) 1138580 [startup+822.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 26921 /proc/meminfo: memFree=660128/2059040 swapFree=4140488/4192956 [pid=26898] ppid=26896 vsize=1194208 CPUtime=822.02 /proc/26898/stat : 26898 (wbo1.4b) R 26896 26898 26706 0 -1 4202496 298178 0 0 0 81590 612 0 0 25 0 1 0 86644179 1222868992 297995 1992294400 134512640 135752675 4286766896 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26898/statm: 298552 297995 146 303 0 298247 0 Current children cumulated CPU time (s) 822.02 Current children cumulated vsize (KiB) 1194208 [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 26923 /proc/meminfo: memFree=599740/2059040 swapFree=4140488/4192956 [pid=26898] ppid=26896 vsize=1253884 CPUtime=882.01 /proc/26898/stat : 26898 (wbo1.4b) R 26896 26898 26706 0 -1 4202496 313082 0 0 0 87549 652 0 0 25 0 1 0 86644179 1283977216 312899 1992294400 134512640 135752675 4286766896 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26898/statm: 313471 312899 146 303 0 313166 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 1253884 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 26925 /proc/meminfo: memFree=545180/2059040 swapFree=4140488/4192956 [pid=26898] ppid=26896 vsize=1308796 CPUtime=941.99 /proc/26898/stat : 26898 (wbo1.4b) R 26896 26898 26706 0 -1 4202496 326798 0 0 0 93506 693 0 0 25 0 1 0 86644179 1340207104 326615 1992294400 134512640 135752675 4286766896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26898/statm: 327199 326615 146 303 0 326894 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 1308796 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 26927 /proc/meminfo: memFree=499796/2059040 swapFree=4140488/4192956 [pid=26898] ppid=26896 vsize=1353760 CPUtime=1001.97 /proc/26898/stat : 26898 (wbo1.4b) R 26896 26898 26706 0 -1 4202496 337997 0 0 0 99463 734 0 0 25 0 1 0 86644179 1386250240 337814 1992294400 134512640 135752675 4286766896 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26898/statm: 338440 337814 146 303 0 338135 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 1353760 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 26927 /proc/meminfo: memFree=457512/2059040 swapFree=4140488/4192956 [pid=26898] ppid=26896 vsize=1396344 CPUtime=1061.95 /proc/26898/stat : 26898 (wbo1.4b) R 26896 26898 26706 0 -1 4202496 348640 0 0 0 105423 772 0 0 25 0 1 0 86644179 1429856256 348457 1992294400 134512640 135752675 4286766896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26898/statm: 349086 348457 146 303 0 348781 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 1396344 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 26929 /proc/meminfo: memFree=413740/2059040 swapFree=4140488/4192956 [pid=26898] ppid=26896 vsize=1439576 CPUtime=1121.93 /proc/26898/stat : 26898 (wbo1.4b) R 26896 26898 26706 0 -1 4202496 359480 0 0 0 111384 809 0 0 25 0 1 0 86644179 1474125824 359297 1992294400 134512640 135752675 4286766896 18446744073709551615 134603238 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26898/statm: 359894 359297 146 303 0 359589 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 1439576 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 26931 /proc/meminfo: memFree=366496/2059040 swapFree=4140488/4192956 [pid=26898] ppid=26896 vsize=1487452 CPUtime=1181.91 /proc/26898/stat : 26898 (wbo1.4b) R 26896 26898 26706 0 -1 4202496 371406 0 0 0 117343 848 0 0 25 0 1 0 86644179 1523150848 371223 1992294400 134512640 135752675 4286766896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26898/statm: 371863 371223 146 303 0 371558 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 1487452 [startup+1242.3 s] /proc/loadavg: 1.19 1.06 0.93 2/107 26936 /proc/meminfo: memFree=271044/2059040 swapFree=4140488/4192956 [pid=26898] ppid=26896 vsize=1538936 CPUtime=1241.89 /proc/26898/stat : 26898 (wbo1.4b) R 26896 26898 26706 0 -1 4202496 384265 0 0 0 123298 891 0 0 25 0 1 0 86644179 1575870464 384082 1992294400 134512640 135752675 4286766896 18446744073709551615 134603204 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26898/statm: 384734 384082 146 303 0 384429 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 1538936 [startup+1302.3 s] /proc/loadavg: 1.10 1.06 0.94 2/107 26938 /proc/meminfo: memFree=226528/2059040 swapFree=4140488/4192956 [pid=26898] ppid=26896 vsize=1583460 CPUtime=1301.88 /proc/26898/stat : 26898 (wbo1.4b) R 26896 26898 26706 0 -1 4202496 395393 0 0 0 129256 932 0 0 25 0 1 0 86644179 1621463040 395210 1992294400 134512640 135752675 4286766896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26898/statm: 395865 395210 146 303 0 395560 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 1583460 [startup+1362.3 s] /proc/loadavg: 1.07 1.06 0.94 2/107 26938 /proc/meminfo: memFree=185360/2059040 swapFree=4140488/4192956 [pid=26898] ppid=26896 vsize=1625208 CPUtime=1361.86 /proc/26898/stat : 26898 (wbo1.4b) R 26896 26898 26706 0 -1 4202496 405806 0 0 0 135214 972 0 0 25 0 1 0 86644179 1664212992 405623 1992294400 134512640 135752675 4286766896 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26898/statm: 406302 405623 146 303 0 405997 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 1625208 [startup+1422.31 s] /proc/loadavg: 1.05 1.06 0.95 2/107 26940 /proc/meminfo: memFree=140348/2059040 swapFree=4140488/4192956 [pid=26898] ppid=26896 vsize=1669608 CPUtime=1421.84 /proc/26898/stat : 26898 (wbo1.4b) R 26896 26898 26706 0 -1 4202496 416919 0 0 0 141171 1013 0 0 25 0 1 0 86644179 1709678592 416736 1992294400 134512640 135752675 4286766896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26898/statm: 417402 416736 146 303 0 417097 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 1669608 [startup+1482.3 s] /proc/loadavg: 1.02 1.05 0.95 2/107 26942 /proc/meminfo: memFree=86780/2059040 swapFree=4140488/4192956 [pid=26898] ppid=26896 vsize=1723688 CPUtime=1481.81 /proc/26898/stat : 26898 (wbo1.4b) R 26896 26898 26706 0 -1 4202496 430428 0 0 0 147124 1057 0 0 25 0 1 0 86644179 1765056512 430245 1992294400 134512640 135752675 4286766896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26898/statm: 430922 430245 146 303 0 430617 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 1723688 [startup+1542.3 s] /proc/loadavg: 1.00 1.03 0.95 2/107 26944 /proc/meminfo: memFree=13496/2059040 swapFree=4140488/4192956 [pid=26898] ppid=26896 vsize=1796228 CPUtime=1541.8 /proc/26898/stat : 26898 (wbo1.4b) R 26896 26898 26706 0 -1 4202496 448566 0 0 0 153074 1106 0 0 25 0 1 0 86644179 1839337472 448383 1992294400 134512640 135752675 4286766896 18446744073709551615 134611647 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26898/statm: 449057 448383 146 303 0 448752 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 1796228 [startup+1602.3 s] /proc/loadavg: 1.00 1.03 0.95 2/107 26946 /proc/meminfo: memFree=9860/2059040 swapFree=4140488/4192956 [pid=26898] ppid=26896 vsize=1840384 CPUtime=1601.77 /proc/26898/stat : 26898 (wbo1.4b) R 26896 26898 26706 0 -1 4202496 459885 0 0 0 159034 1143 0 0 25 0 1 0 86644179 1884553216 459661 1992294400 134512640 135752675 4286766896 18446744073709551615 134606976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26898/statm: 460096 459661 146 303 0 459791 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 1840384 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1616.6 s] /proc/loadavg: 1.00 1.02 0.95 2/107 26946 /proc/meminfo: memFree=10128/2059040 swapFree=4140488/4192956 [pid=26898] ppid=26896 vsize=1843296 CPUtime=1616.08 /proc/26898/stat : 26898 (wbo1.4b) R 26896 26898 26706 0 -1 4202496 460586 0 0 0 160455 1153 0 0 25 0 1 0 86644179 1887535104 460362 1992294400 134512640 135752675 4286766896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26898/statm: 460824 460362 146 303 0 460519 0 Current children cumulated CPU time (s) 1616.08 Current children cumulated vsize (KiB) 1843296 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1616.71 s] /proc/loadavg: 1.00 1.02 0.95 2/107 26946 /proc/meminfo: memFree=10128/2059040 swapFree=4140488/4192956 [pid=26898] ppid=26896 vsize=0 CPUtime=1616.18 /proc/26898/stat : 26898 (wbo1.4b) R 26896 26898 26706 0 -1 4203524 460586 0 0 0 160455 1163 0 0 25 0 1 0 86644179 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/26898/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1616.18 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1616.79 CPU time (s): 1616.27 CPU user time (s): 1604.55 CPU system time (s): 11.7142 CPU usage (%): 99.9678 Max. virtual memory (cumulated for all children) (KiB): 1843296 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1604.55 system time used= 11.7142 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460586 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= 32 involuntary context switches= 1499 runsolver used 2.66059 second user time and 7.67183 second system time The end
Begin job on node055 at 2010-06-25 10:12:12 IDJOB=2680631 IDBENCH=2106 IDSOLVER=1190 FILE ID=node055/2680631-1277453532 PBS_JOBID= 11188114 Free space on /tmp= 62360 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32d2.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680631-1277453532/watcher-2680631-1277453532 -o /tmp/evaluation-result-2680631-1277453532/solver-2680631-1277453532 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680631-1277453532.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 05a418d42b6e85967009c0fa73623d83 RANDOM SEED=2052467025 node055.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.258 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.51 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.258 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: 1854908 kB Buffers: 40568 kB Cached: 63948 kB SwapCached: 5324 kB Active: 13224 kB Inactive: 104244 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1854908 kB SwapTotal: 4192956 kB SwapFree: 4140488 kB Dirty: 2876 kB Writeback: 0 kB AnonPages: 11636 kB Mapped: 12004 kB Slab: 64732 kB PageTables: 4096 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182068 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= 62360 MiB End job on node055 at 2010-06-25 10:39:11