/data/SAT/sat-2002-beta/submitted/zhang-hantao/qgbench/qg7-10.shuffled.cnf
WARNING: for repeatability, setting FPU to use double precision
============================[ Problem Statistics ]=============================
|                                                                             |
|  Number of variables:          1000                                         |
|  Number of clauses:           29920                                         |
|  Parse time:                   0.01 s                                       |
|                                                                             |
============================[ Search Statistics ]==============================
| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
===============================================================================

iso times: 3.629409 4.303687 3.799644 2.727661 6.165057 4.981243 4.007367 4.036331 2.914328 2.761690 2.613550 3.005289 3.108288 1.879529 1.886446 1.326186 2.098289 2.086226 2.080731 1.938919 1.224419 1.348574 2.048618 2.084850 1.992699 2.079491 2.051660 1.326326 2.049503 2.294184 2.222495 1.234717 1.895121 2.014085 2.080202 2.578050 2.430314 1.633871 1.637606 2.392510 2.060756 1.871953 1.453127 1.587354 1.835562 1.079364 1.015786 2.071427 1.252398 1.441170 1.865970 1.132020 1.110420 2.066245 1.281495 1.548329 1.925645 1.816336 1.187321 1.974215 1.156924 2.067188 2.069992 1.343382 1.114755 2.065938 1.822905 2.069240 2.068842 1.784343 1.154376 2.069251 1.204989 2.066860 1.957991 2.340539 2.011507 1.556880 1.609896 1.894752 2.287264 1.956201 2.876796 1.880500 2.272340 2.057369 2.418796 1.807390 2.560818 2.520326 2.063141 2.236946 2.320795 1.717066 1.819244 2.053877 2.045937 1.716864 2.049346 2.048315 0.746423 0.748599 1.878563 0.713240 1.106153 2.063417 2.069208 2.590356 2.056200 1.719489 2.046315 2.048105 1.707265 2.049183 2.064652 2.801438 2.571764 2.048657 2.524941 2.057802 2.578583 2.047467 2.031349 2.505267 2.486478 2.064728 1.827945 1.811006 2.055565 1.576468 2.057356 1.652834 2.044780 2.506786 2.603604 2.054959 2.512910 1.649482 1.537551 2.668393 2.701968 2.457231 2.585157 2.234955 2.698383 2.371253 2.951706 2.956448 2.921086 3.076707 2.520774 2.362775 2.058751 1.458600 2.052574 1.889401 1.461680 2.059572 2.707935 2.599550 1.836313 2.054809 1.546871 2.056847 1.621909 2.045558 2.436020 2.577015 2.043807 2.064683 1.793491 1.815199 2.056130 2.309497 2.058164 2.503376 2.048095 2.040970 1.612840 2.051658 2.060865 1.784176 1.808504 2.052846 1.547247 2.056074 1.588958 2.044958 2.043478 2.535548 2.493188 2.063558 1.766983 2.567137 2.057431 1.557794 2.055938 2.395183 2.215311 2.048683 2.478441 2.463681 3.375709 2.877555 2.045095 2.658989 2.612467 2.052565 3.066834 3.217473 2.654654 2.681685 2.489286 1.568048 2.994137 2.305026 2.644534 2.373776 2.594638 2.652286 2.216618 2.057432 2.076709 2.179123 1.385445 2.354935 2.088366 1.324707 1.287121 2.673934 2.176295 1.443880 2.056693 2.174029 2.094496 1.413384 1.965717 2.232554 2.106412 2.471625 2.262012 2.215254 2.154386 2.076125 1.511554 2.085907 1.186433 2.069368 2.074457 1.883548 1.930736 2.712758 3.121561 2.720582 2.509867 2.387731 2.580569 2.374435 2.964321 2.069433 2.275074 3.344175 3.395874 2.664345 3.022513 3.047084 3.046780 2.053019 1.850983 2.817390 2.068147 2.031705 3.190369 3.266638 1.850380 3.248217 1.878097 2.961645 3.107416 2.060534 2.071424 2.666405 2.395200 2.499359 2.350591 2.604118 1.598029 1.917004 1.877084 2.495008 2.768672 2.050292 2.770266 2.778068 2.503253 2.059933 1.789964 2.551950 2.536205 2.592174 2.848247 2.675908 2.860907 2.058757 2.550377 2.059869 2.633971 2.049620 2.049413 2.055137 2.063002 1.755624 1.731786 2.060271 1.622510 2.060904 1.565366 1.971672 1.920633 2.319402 2.067461 2.010385 2.804242 2.058452 1.871136 2.057318 1.779053 2.580561 2.560546 2.055544 2.065545 2.806037 1.991131 2.057260 1.743065 2.742056 2.471149 2.049385 2.049346 2.053603 1.288133 1.337874 2.091985 2.053685 1.621884 2.052952 1.143291 2.043381 1.721574 1.108168 1.196276 0.969940 2.036886 0.819131 0.910290 0.884836 1.965501 0.987457 1.022731 1.144989 1.049754 2.059674 2.470314 1.810462 2.057780 2.056015 2.501585 2.736119 2.760965 2.036808 2.060467 1.333172 1.254356 1.871071 1.282568 2.101002 2.088472 2.076577 2.435360 2.711255 2.079166 1.480163 1.072847 1.002547 1.583150 1.076345 1.044999 1.018771 1.897438 1.051707 1.141304 1.423840 1.107954 1.009119 0.989628 2.066031 1.173535 1.025524 1.003562 1.883686 1.766615 1.257420 1.266878 1.967630 1.831919 1.066516 1.506540 1.021600 0.988256 0.965641 1.806885 2.224732 1.366201 2.070068 1.865499

total iso time: 860.592720
===============================================================================

print the content of the cache: 

restarts              : 1
conflicts             : 42             (6 /sec)
decisions             : 62             (0.00 % random) (10 /sec)
propagations          : 5048           (779 /sec)
conflict literals     : 255            (34.78 % deleted)
components created    : 55
components cached     : 22
components hit        : 0
isomorphisms          : 0
conflicts saved       : 0
conflicts remaining   : 42
glasgow calls         : 415
aborted calls         : 254
Memory used           : 132.00 MB
CPU time              : 6.47955 s

UNSATISFIABLE
