/data/SAT/sat-2002-beta/submitted/vangelder/RopeBench/rope_0002.shuffled.cnf
WARNING: for repeatability, setting FPU to use double precision
============================[ Problem Statistics ]=============================
|                                                                             |
|  Number of variables:            72                                         |
|  Number of clauses:             168                                         |
|  Parse time:                   0.00 s                                       |
|                                                                             |
============================[ Search Statistics ]==============================
| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
===============================================================================
|       100 |      72      168      360 |       61       63      5 |  0.135 % |

iso times: 0.013536 0.011473 0.011793 0.012550 0.007631 0.024244 0.007622 0.010510 0.012236 0.017805 0.007571 0.009353 0.011954 0.007457 0.012448 0.011209 0.008080 0.010574 0.012075 0.017555 0.011523 0.010812 0.013824 0.017419 0.047296 0.133769 0.016862 0.127069 0.089984 0.017352 0.105211 0.114032 0.032250 0.028871 0.041310 0.072404 0.050515 0.018281 0.040840 0.035913 0.032956 0.029448 0.041184 0.058854 0.042376 0.018286 0.036342 0.031556 0.030874 0.027927 0.042074 0.042923 0.032502 0.018216 0.027977 0.024895 0.030432 0.027330 0.041011 0.036862 0.029301 0.018095 0.025575 0.024514 0.030049 0.027148 0.040589 0.037864 0.028807 0.018492 0.025468 0.024243 0.029630 0.026450 0.041154 0.033681 0.025914 0.018477 0.024727 0.023980 0.029443 0.026317 0.038539 0.030572 0.024820 0.018785 0.024867 0.023594 0.024465 0.016820 0.017131 0.016204 0.022519 0.016104 0.014778 0.013936 0.013538 0.014394 0.017414 0.056168 0.044689 0.031332 0.028885 0.039469 0.054606 0.040233 0.018136 0.034394 0.029852 0.054279 0.043050 0.030782 0.028550 0.037371 0.052605 0.039621 0.018224 0.033180 0.029541 0.036110 0.030979 0.030164 0.026935 0.038284 0.036587 0.028496 0.018387 0.024808 0.024362 0.030254 0.020052 0.019768 0.015970 0.017365 0.017617 0.014427 0.017780 0.013558 0.017899 0.024511 0.035040 0.025711 0.023670 0.016876 0.022263 0.022102 0.014462 0.015609 0.020181 0.033805 0.023954 0.023019 0.021627 0.016890 0.018219 0.018385 0.033480 0.019750 0.020981 0.018149 0.016886 0.017891 0.018154 0.014463 0.013691 0.016872 0.013617 0.017176 0.033257 0.023698 0.021914 0.021182 0.016735 0.018094 0.018653 0.023209 0.015603 0.021622 0.015887 0.020279 0.015626 0.020459 0.015611 0.014509 0.018153 0.014351 0.017996 0.017965 0.023211 0.025451 0.027277 0.031276 0.023341 0.026120 0.022882 0.029818 0.030469 0.029934 0.016696 0.017902 0.017512 0.019503 0.027530 0.018095 0.017799 0.015621 0.023221 0.013663 0.013093 0.014561 0.018089 0.015739 0.015730 0.015570 0.015856 0.022704 0.014979 0.020742 0.016222 0.023375 0.025089 0.025358 0.030451 0.020943 0.021162 0.015777 0.019527 0.019664 0.025265 0.014612 0.021958 0.013963 0.013695 0.013187 0.016193 0.021293 0.022300 0.023047 0.029442 0.020626 0.020691 0.014615 0.022026 0.014669 0.021394 0.018442 0.014394 0.021610 0.017393 0.026376 0.030989 0.036757 0.032226 0.023599 0.025958 0.029341 0.030690 0.036757 0.024717 0.031137 0.019130 0.042844 0.017266 0.023810 0.027514 0.030240 0.033009 0.023136 0.025429 0.022962 0.029828 0.019032 0.029984 0.015987 0.020749 0.022459 0.023038 0.029765 0.017972 0.017629 0.016060 0.017411 0.019725 0.018855 0.028366 0.015514 0.017406 0.016167 0.017281 0.019492 0.026986 0.017219 0.016252 0.017268 0.016834 0.026059 0.013596 0.017096 0.016066 0.020714 0.021390 0.022825 0.029246 0.020746 0.020355 0.016011 0.017410 0.019769 0.018863 0.027752 0.017706 0.017473 0.014923 0.024615 0.015167 0.022735 0.015261 0.021782 0.015814 0.020189 0.014310 0.018185 0.014375 0.018253 0.016349 0.017224 0.017044 0.023207 0.014420 0.016014 0.022520 0.014421 0.018224 0.013651 0.018274 0.024597 0.030896 0.036905 0.027292 0.024625 0.030289 0.020695 0.032189 0.035905 0.033508 0.027054 0.032394 0.018175 0.036144 0.034391 0.029801 0.031998 0.032482 0.037456 0.024777 0.030392 0.033862 0.026792 0.024088 0.029495 0.029308 0.032035 0.032107 0.025474 0.031820 0.018315 0.033187 0.029282 0.030929 0.031817 0.038575 0.018062 0.020062 0.018280 0.019778 0.021168 0.018216 0.016892 0.013728 0.036220 0.017397 0.015604 0.018897 0.019789 0.017375 0.016069 0.028852 0.015287 0.019467 0.017338 0.016130 0.026811 0.019312 0.017170 0.016217 0.026617 0.013972 0.014491 0.021956 0.014576 0.020058 0.013022 0.014655 0.020266 0.017515 0.016381 0.026717 0.018546 0.018061 0.020131 0.018304 0.019741 0.021215 0.018182 0.017027 0.013352 0.036231 0.017837 0.018135 0.019561 0.020934 0.018052 0.016812 0.033253 0.017719 0.018090 0.019496 0.020858 0.017915 0.016829 0.031620 0.014904 0.024670 0.014407 0.023826 0.017353 0.015520 0.019049 0.019750 0.017369 0.016063 0.029789 0.019099 0.017250 0.015994 0.025023 0.014131 0.013861 0.018159 0.018477 0.019731 0.017790 0.018069 0.016739 0.028326 0.017934 0.018256 0.019584 0.017552 0.017872 0.016936 0.027136 0.017765 0.017492 0.017763 0.017340 0.025858 0.017259 0.017579 0.016769 0.024446 0.013916 0.015861 0.023230 0.014331 0.018423 0.048503 0.061541 0.021484 0.078894 0.021418 0.073451 0.058683 0.077972 0.076015 0.109894 0.036201 0.067024 0.092586 0.035750 0.090245 0.065070 0.036984 0.035685 0.021048 0.063324 0.021353 0.021457 0.037276 0.021048 0.074584 0.018191 0.143324 0.105249 0.076668 0.084121 0.095164 0.034789 0.058362 0.043959 0.072561 0.058452 0.044024

total iso time: 13.478913
===============================================================================

print the content of the cache: 
c id: 8, level: 2, literals: 114, clauses: 115, size: 245, afterHit: 0, saved: 50, hits: 0, levelHits: [], isos: 2, levelIsos: [1,0]
c id: 7, level: 3, literals: 96, clauses: 94, size: 200, afterHit: 0, saved: 8, hits: 0, levelHits: [], isos: 1, levelIsos: [2]
c id: 6, level: 4, literals: 78, clauses: 76, size: 161, afterHit: 0, saved: 10, hits: 0, levelHits: [], isos: 1, levelIsos: [3]
c id: 1, level: 6, literals: 24, clauses: 15, size: 30, afterHit: 0, saved: 43, hits: 0, levelHits: [], isos: 22, levelIsos: [5,5,6,9,7,6,6,8,7,6,5,8,6,5,7,5,3,3,2,8,5,2]

restarts              : 1
conflicts             : 162            (1063 /sec)
decisions             : 222            (0.00 % random) (1457 /sec)
propagations          : 3546           (23265 /sec)
conflict literals     : 793            (10.40 % deleted)
components created    : 120
components cached     : 44
components hit        : 0
isomorphisms          : 26
conflicts saved       : 111
conflicts remaining   : 77
glasgow calls         : 513
aborted calls         : 0
Memory used           : 20.00 MB
CPU time              : 0.152415 s

UNSATISFIABLE
