/data/SAT/sat-2002-beta/submitted/goldberg/fpga_routing/too_large_gr_rcs_w9.shuffled.cnf
WARNING: for repeatability, setting FPU to use double precision
============================[ Problem Statistics ]=============================
|                                                                             |
|  Number of variables:          4671                                         |
|  Number of clauses:           64617                                         |
|  Parse time:                   0.01 s                                       |
|                                                                             |
============================[ Search Statistics ]==============================
| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
===============================================================================

iso times: 1.096431 1.190111 2.422937 1.551861 1.199392 1.265284 1.439084 2.025450 2.249651 1.525712 1.422219 1.233724 3.813474 4.377618 3.402960 3.354018 4.294867 6.652022 3.338908 2.910160 3.144421 3.578636 2.592518 2.099921 2.580281 2.197489 1.931063 2.156770 1.707731 4.622779 3.596552 4.242356 4.212466 4.209773 3.478606 5.016428 3.581917 2.253076 2.025389 2.253200 1.867050 2.894744 1.782567 1.753260 2.224395 1.991504 1.749590 1.346618 1.439464 1.594013 1.351357 1.526199 1.502347 1.500024 1.408864 1.403638 1.407102 1.402346 1.138524 1.212499 1.335155 1.343607 1.230938 1.901865 1.398121 1.883670 2.273846 1.982504 1.947840 2.346490 2.021508 1.893892 1.971657 2.429481 2.060330 1.140598 2.104699 1.992526 2.262665 1.815339 1.155422 1.771084 1.153325 1.653637 1.711823 1.746158 1.741645 1.107590 0.846626 0.610760 1.187881 0.704605 1.211552 0.675127 1.108495 1.266950 1.072328 1.147144 0.829822 0.642870 0.615641 0.576480 0.570658 0.564775 1.070294 1.005608 0.956563 0.747812 0.505280 0.728520 0.837074 0.855895 0.639972 0.830743 0.793800 0.712038 0.785962 0.618663 0.720579 0.553163 0.417681 0.647178 0.523867 0.704158 0.667071 0.538315 0.400256 0.365650 0.320283 0.350750 0.302599 0.272358 0.290793 0.316626 0.313156 0.315805 0.579329 0.471090 0.637692 0.632895 0.583410 0.671031 0.517239 0.383106 0.354316 0.336310 0.644389 0.617147 0.481676 0.384443 0.338618 0.648276 0.580114 0.641626 0.657810 0.585774 0.573568 0.573124 0.573641 0.523586 0.491458 0.548896 0.467223 0.560775 0.507133 0.469396 0.540656 0.443988 0.340823 0.271376 0.211411 0.398080 0.362514 0.329164 0.414436 0.386973 0.392462 0.393085 0.375870 0.331575 0.281278 0.253959 0.345675 0.353871 0.319630 0.292987 0.349464 0.336873 0.352498 0.333656 0.353732 0.335600 0.349068 0.292602 0.315478 0.333004 0.294655 0.336874 0.322566 0.317968 0.314417 0.322832 0.325920 0.288359 0.323368 0.316804 0.317316 0.306170 0.315162 0.293062 0.277088 0.282807 0.292536 0.290287 0.285821 0.254626 0.282711 0.281757 0.285432 0.282844 0.253477 0.237280 0.263825 0.274275 0.274541 0.275758 0.275856 0.267189 0.274265 0.257478 0.260740 0.264497 0.252831 0.253791 0.265953 0.257519 0.242040 0.241464 0.220211 0.233728 0.239017 0.221405 0.234056 0.230392 0.211505 0.232543 0.230668 0.203256 0.207585 0.209754 0.220960 0.210813 0.210898 0.175709 0.202136 0.204953 0.191374 0.190223 0.197248 0.173734 0.156400 0.153743 0.143884 0.183817 0.166646 0.164741 0.162709 0.177158 0.167277 0.173263 0.170160 0.154521 0.157824 0.140660 0.139072 0.136513 0.172400 0.171920 0.160296 0.163692 0.156383 0.156416 0.151408 0.141700 0.123651 0.140837 0.128845 0.137623 0.147106 0.149011 0.142669 0.140580 0.140388 0.139801 0.151230 0.121707 0.110770 0.108730 0.124454 0.128156 0.119121 0.121301 0.121827 0.123259 0.119479 0.133982 0.135727 0.133875 0.134183 0.124090 0.122397 0.120644 0.121153 0.118322 0.117018 0.111018 0.096563 0.101042 0.100323 0.110572 0.106065 0.094006 0.093244 0.100695 0.119055 0.108231 0.107907 0.109045 0.106128 0.109245 0.102972 0.101359 0.102372 0.109748 0.098679 0.095860 0.089853 0.093635 0.097353 0.095101 0.094865 0.096406 0.096266 0.095908 0.094104 0.103835 0.095127 0.089615 0.089306 0.088155 0.087516 0.086799 0.085581 0.083443 0.082286 0.082399 0.083318 0.082700 0.088159 0.080199 0.084626 0.088024 0.088594 0.088819 0.089227 0.086812 0.085265 0.085291 0.086588 0.085345 0.080562 0.080752 0.080762 0.080725 0.081231 0.080281 0.081004 0.080525 0.078581 0.077134 0.079617 0.076621 0.074615 0.073962 0.077944 0.077580 0.076392 0.076864 0.077065 0.077406 0.073109 0.072341 0.074005 0.071593 0.072248 0.071172 0.071790 0.070484 0.070816 0.071652 0.071840 0.071176 0.069113 0.070495 0.071129 0.069950 0.068820 0.070112 0.070006 0.069770 0.069965 0.069669 0.068162 0.067555 0.064388 0.066059 0.066100 0.063580 0.064976 0.064212 0.064235 0.063655 0.063768 0.063050 0.059718 0.058636 0.058750 0.058966 0.058907 0.060017 0.057820 0.059536 0.057795 0.057807 0.057625 0.056752 0.056283 0.055797 0.055211 0.055378 0.057428 0.055149 0.054671 0.054664 0.054576 0.054503 0.054146 0.054648 0.055683 0.056065 0.053566 0.053359 0.054755 0.054737 0.052812 0.052857 0.051481 0.052392 0.050842 0.052024 0.052190 0.050543 0.051910 0.050659 0.050298 0.051859 0.051657 0.050572 0.051299 0.051657 0.049477 0.049506 0.051012 0.048784 0.048535 0.048069 0.049074 0.049172 0.048305 0.049106 0.048220 0.046523 0.046961 0.047682 0.047763 0.047810 0.047599 0.047693 0.047154 0.047637 0.047012 0.047369 0.046559 0.046522 0.046289 0.046649 0.046121 0.045202 0.045125 0.045256 0.045089 0.045178 0.045176 0.045039 0.045059 0.043852 0.044212 0.044160 0.043822 0.044230 0.043798 0.043766 0.044265 0.043992 0.043729 0.043356 0.043263 0.043349 0.042776 0.042802 0.042909 0.042410 0.042278 0.041875 0.042003 0.042349 0.042199 0.042249 0.041869 0.041338 0.041261 0.040690 0.041154 0.040822 0.040513 0.040548 0.040840 0.040575 0.040343 0.039936 0.039850 0.039634 0.039847 0.040075 0.040164 0.039947 0.039737 0.039681 0.039719 0.039807 0.039395 0.039074 0.038818 0.039011 0.038799 0.038681 0.038440 0.038410 0.038403 0.038636 0.038264 0.038116 0.038071 0.037753 0.037745 0.037900 0.037700 0.037908 0.037694 0.037488 0.037107 0.037537 0.036818 0.036790 0.036591 0.036710 0.036179 0.036073 0.035837 0.035839 0.036088 0.035511 0.035411 0.035311 0.035680 0.035493 0.035282 0.035022 0.034696 0.034599 0.034203 0.034052 0.033779 0.034102 0.033634 0.033704 0.033558 0.033618 0.033548 0.033506 0.033456 0.033178 0.034646 0.033092 0.032829 0.032802 0.032737 0.032631 0.032669 0.032696 0.032557 0.032534 0.032517 0.032471 0.032716 0.032144 0.032178 0.032281 0.032127 0.031994 0.032551 0.031860 0.031827 0.031689 0.031685 0.031650 0.031629 0.031620 0.031445 0.031537 0.031823 0.030960 0.030846 0.030906 0.030787 0.030870 0.030949 0.030878 0.030614 0.030421 0.030656 0.030799 0.030375 0.030507 0.030311 0.030522 0.030392 0.030314 0.030205 0.030427 0.030075 0.030166 0.030589 0.030190 0.030208 0.030174 0.030118 0.030040 0.030206 0.031160 0.030318 0.030351 0.029912 0.030010 0.029970 0.029900 0.029888 0.029960 0.029960 0.029998 0.030054 0.029986 0.029877 0.030057 0.029730 0.029935 0.029664 0.029972 0.029750 0.029733 0.029560 0.029714 0.029535 0.029506 0.029390 0.029363 0.029294 0.029496 0.029322 0.029399 0.029429 0.029407 0.029383 0.029387 0.029383 0.029374 0.029693 0.029545 0.029269 0.030173 0.029309 0.029327 0.029205 0.029232 0.029355 0.029254 0.029273 0.029617 0.029088 0.029183 0.028887 0.029068 0.028968 0.029085 0.029170 0.029052 0.029009 0.028945 0.029542 0.029021 0.029382 0.029057 0.028996 0.029031 0.029051 0.028979 0.029096 0.028973 0.028986 0.029030 0.028973 0.028983 0.028887 0.028791 0.028947 0.028699 0.028751 0.028881 0.028742 0.028806 0.028687 0.028984 0.028577 0.028632 0.028450 0.028499

total iso time: 299.081663
===============================================================================

print the content of the cache: 
c id: 1, level: 241, literals: 27, clauses: 17, size: 34, afterHit: 0, saved: 1, hits: 0, levelHits: [], isos: 1, levelIsos: [191]

restarts              : 1
conflicts             : 10             (1 /sec)
decisions             : 1152           (0.00 % random) (123 /sec)
propagations          : 6643           (710 /sec)
conflict literals     : 206            (0.00 % deleted)
components created    : 895
components cached     : 1
components hit        : 0
isomorphisms          : 1
conflicts saved       : 1
conflicts remaining   : 10
glasgow calls         : 746
aborted calls         : 34
Memory used           : 528.00 MB
CPU time              : 9.35561 s

SATISFIABLE
