Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-SAT4J-Maxsat-weighted_crafted-_home_jplanes_evaluation_benchmarks_weighted_crafted_RAMSEY_ram_k4_n19.ra1.wcnf Job file: /home/jplanes/evaluation/benchmarks/weighted_crafted/RAMSEY/ram_k4_n19.ra1.wcnf Job solver: /home/jplanes/evaluation/solvers/DanielLeBerre/SAT4J-Maxsat c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre c This is free software under the dual EPL/GNU LGPL licenses. c See www.sat4j.org for details. c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. c version 2.1.0.v20090425 c sun.arch.data.model 64 c java.version 1.5.0 c os.name Linux c os.version 2.6.9-5.0.5.ELsmp c os.arch amd64 c Free memory 403233816 c Max memory 405471232 c Total memory 405471232 c Number of processors 2 c c --- Begin Solver configuration --- c Stops conflict analysis at the first Unique Implication Point c org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure@31d520c4 c Learn all clauses as in MiniSAT c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function c Expensive reason simplification c MiniSAT restarts strategy c Memory based learned constraints deletion strategy c timeout=2147483s c DB Simplification allowed=false c --- End Solver configuration --- c solving /home/jplanes/evaluation/benchmarks/weighted_crafted/RAMSEY/ram_k4_n19.ra1.wcnf c reading problem ... c ... done. Wall clock time 0.537s. c #vars 7923 c #constraints 7752 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalHTClause => 7752 c OPTIMIZING... c Got one! Elapsed wall clock time (in seconds):1.907 o 130139 c Got one! Elapsed wall clock time (in seconds):3.145 o 98722 c Got one! Elapsed wall clock time (in seconds):4.006 o 89787 c Got one! Elapsed wall clock time (in seconds):4.867 o 89785 c Got one! Elapsed wall clock time (in seconds):6.24 o 89748 c Got one! Elapsed wall clock time (in seconds):7.579 o 89747 c Got one! Elapsed wall clock time (in seconds):9.367 o 89716 c Got one! Elapsed wall clock time (in seconds):10.753 o 72064 c Got one! Elapsed wall clock time (in seconds):12.524 o 72062 c Got one! Elapsed wall clock time (in seconds):14.415 o 72055 c Got one! Elapsed wall clock time (in seconds):15.318 o 72048 c Got one! Elapsed wall clock time (in seconds):16.697 o 72023 c Got one! Elapsed wall clock time (in seconds):18.428 o 72017 c Got one! Elapsed wall clock time (in seconds):19.865 o 72014 c Got one! Elapsed wall clock time (in seconds):21.694 o 72009 c Got one! Elapsed wall clock time (in seconds):22.921 o 72007 c Got one! Elapsed wall clock time (in seconds):24.608 o 72005 c Got one! Elapsed wall clock time (in seconds):27.177 o 71998 c Got one! Elapsed wall clock time (in seconds):28.729 o 71991 c Got one! Elapsed wall clock time (in seconds):31.53 o 71987 c Got one! Elapsed wall clock time (in seconds):33.346 o 71981 c Got one! Elapsed wall clock time (in seconds):36.115 o 71979 c Got one! Elapsed wall clock time (in seconds):37.63 o 71955 c Got one! Elapsed wall clock time (in seconds):39.011 o 71942 c Got one! Elapsed wall clock time (in seconds):40.771 o 71924 c Got one! Elapsed wall clock time (in seconds):41.74 o 71920 c Got one! Elapsed wall clock time (in seconds):42.744 o 71916 c Got one! Elapsed wall clock time (in seconds):43.574 o 71913 c Got one! Elapsed wall clock time (in seconds):45.071 o 71911 c Got one! Elapsed wall clock time (in seconds):47.859 o 71901 c Got one! Elapsed wall clock time (in seconds):51.235 o 71897 c Got one! Elapsed wall clock time (in seconds):53.006 o 71895 c Got one! Elapsed wall clock time (in seconds):54.406 o 71894 c Got one! Elapsed wall clock time (in seconds):56.2 o 71865 c Got one! Elapsed wall clock time (in seconds):57.235 o 71836 c Got one! Elapsed wall clock time (in seconds):58.156 o 71834 c Got one! Elapsed wall clock time (in seconds):59.848 o 71825 c Got one! Elapsed wall clock time (in seconds):61.607 o 71823 c Got one! Elapsed wall clock time (in seconds):64.216 o 71822 c Got one! Elapsed wall clock time (in seconds):66.538 o 71820 c Got one! Elapsed wall clock time (in seconds):68.132 o 71778 c Got one! Elapsed wall clock time (in seconds):69.99 o 71748 c Got one! Elapsed wall clock time (in seconds):71.772 o 71744 c Got one! Elapsed wall clock time (in seconds):74.877 o 71740 c Got one! Elapsed wall clock time (in seconds):76.402 o 71739 c Got one! Elapsed wall clock time (in seconds):78.298 o 71725 c Got one! Elapsed wall clock time (in seconds):80.041 o 71724 c Got one! Elapsed wall clock time (in seconds):83.465 o 71722 c Got one! Elapsed wall clock time (in seconds):84.532 o 71721 c Got one! Elapsed wall clock time (in seconds):86.051 o 71719 c Got one! Elapsed wall clock time (in seconds):87.279 o 71717 c Got one! Elapsed wall clock time (in seconds):88.909 o 71712 c Got one! Elapsed wall clock time (in seconds):90.653 o 71708 c Got one! Elapsed wall clock time (in seconds):91.772 o 71705 c Got one! Elapsed wall clock time (in seconds):93.656 o 71703 c Got one! Elapsed wall clock time (in seconds):95.365 o 71702 c Got one! Elapsed wall clock time (in seconds):96.469 o 71691 c Got one! Elapsed wall clock time (in seconds):98.103 o 71689 c Got one! Elapsed wall clock time (in seconds):100.017 o 71688 c Got one! Elapsed wall clock time (in seconds):101.863 o 71674 c Got one! Elapsed wall clock time (in seconds):106.571 o 71671 c Got one! Elapsed wall clock time (in seconds):108.965 o 71667 c Got one! Elapsed wall clock time (in seconds):110.987 o 71654 c Got one! Elapsed wall clock time (in seconds):112.752 o 71652 c Got one! Elapsed wall clock time (in seconds):114.463 o 71646 c Got one! Elapsed wall clock time (in seconds):117.263 o 71630 c Got one! Elapsed wall clock time (in seconds):118.902 o 71627 c Got one! Elapsed wall clock time (in seconds):120.644 o 71616 c Got one! Elapsed wall clock time (in seconds):122.654 o 71613 c Got one! Elapsed wall clock time (in seconds):124.402 o 71612 c Got one! Elapsed wall clock time (in seconds):126.127 o 71610 c Got one! Elapsed wall clock time (in seconds):127.007 o 71609 c Got one! Elapsed wall clock time (in seconds):128.232 o 71607 c Got one! Elapsed wall clock time (in seconds):130.838 o 71606 c Got one! Elapsed wall clock time (in seconds):132.534 o 71605 c Got one! Elapsed wall clock time (in seconds):134.419 o 71595 c Got one! Elapsed wall clock time (in seconds):136.377 o 71590 c Got one! Elapsed wall clock time (in seconds):138.291 o 71588 c Got one! Elapsed wall clock time (in seconds):140.026 o 71585 c Got one! Elapsed wall clock time (in seconds):144.628 o 71579 c Got one! Elapsed wall clock time (in seconds):146.458 o 71578 c Got one! Elapsed wall clock time (in seconds):148.139 o 71576 c Got one! Elapsed wall clock time (in seconds):149.934 o 71575 c Got one! Elapsed wall clock time (in seconds):153.03 o 71568 c Got one! Elapsed wall clock time (in seconds):154.444 o 71564 c Got one! Elapsed wall clock time (in seconds):155.494 o 71563 c Got one! Elapsed wall clock time (in seconds):157.328 o 71562 c Got one! Elapsed wall clock time (in seconds):159.798 o 71560 c Got one! Elapsed wall clock time (in seconds):160.997 o 71559 c Got one! Elapsed wall clock time (in seconds):162.177 o 71558 c Got one! Elapsed wall clock time (in seconds):164.011 o 71542 c Got one! Elapsed wall clock time (in seconds):165.902 o 71541 c Got one! Elapsed wall clock time (in seconds):167.689 o 71540 c Got one! Elapsed wall clock time (in seconds):169.1 o 71539 c Got one! Elapsed wall clock time (in seconds):170.935 o 71538 c Got one! Elapsed wall clock time (in seconds):173.716 o 71536 c Got one! Elapsed wall clock time (in seconds):175.61 o 71535 c Got one! Elapsed wall clock time (in seconds):177.291 o 71534 c Got one! Elapsed wall clock time (in seconds):179.38 o 71528 c Got one! Elapsed wall clock time (in seconds):186.645 o 71526 c Got one! Elapsed wall clock time (in seconds):188.346 o 71522 c Got one! Elapsed wall clock time (in seconds):190.492 o 71521 c Got one! Elapsed wall clock time (in seconds):192.222 o 71513 c Got one! Elapsed wall clock time (in seconds):194.029 o 71512 c Got one! Elapsed wall clock time (in seconds):196.0 o 71509 c Got one! Elapsed wall clock time (in seconds):197.93 o 71500 c Got one! Elapsed wall clock time (in seconds):199.843 o 71499 c Got one! Elapsed wall clock time (in seconds):201.728 o 71498 c Got one! Elapsed wall clock time (in seconds):203.473 o 71495 c Got one! Elapsed wall clock time (in seconds):205.724 o 71488 c Got one! Elapsed wall clock time (in seconds):208.559 o 71486 c Got one! Elapsed wall clock time (in seconds):211.445 o 71476 c Got one! Elapsed wall clock time (in seconds):213.253 o 71474 c Got one! Elapsed wall clock time (in seconds):214.979 o 71471 c Got one! Elapsed wall clock time (in seconds):216.594 o 71470 c Got one! Elapsed wall clock time (in seconds):218.473 o 71467 c Got one! Elapsed wall clock time (in seconds):220.504 o 71435 c Got one! Elapsed wall clock time (in seconds):222.141 o 71430 c Got one! Elapsed wall clock time (in seconds):223.962 o 71423 c Got one! Elapsed wall clock time (in seconds):225.726 o 71415 c Got one! Elapsed wall clock time (in seconds):226.872 o 71414 c Got one! Elapsed wall clock time (in seconds):228.904 o 71413 c Got one! Elapsed wall clock time (in seconds):230.057 o 71410 c Got one! Elapsed wall clock time (in seconds):231.956 o 71393 c Got one! Elapsed wall clock time (in seconds):234.804 o 71377 c Got one! Elapsed wall clock time (in seconds):236.502 o 71373 c Got one! Elapsed wall clock time (in seconds):238.371 o 71366 c Got one! Elapsed wall clock time (in seconds):240.382 o 71357 c Got one! Elapsed wall clock time (in seconds):241.545 o 71354 c Got one! Elapsed wall clock time (in seconds):243.043 o 71334 c Got one! Elapsed wall clock time (in seconds):244.843 o 71324 c Got one! Elapsed wall clock time (in seconds):247.672 o 71303 c Got one! Elapsed wall clock time (in seconds):249.903 o 71298 c Got one! Elapsed wall clock time (in seconds):251.248 o 71296 c Got one! Elapsed wall clock time (in seconds):252.858 o 71294 c Got one! Elapsed wall clock time (in seconds):254.283 o 71292 c Got one! Elapsed wall clock time (in seconds):256.998 o 71290 c Got one! Elapsed wall clock time (in seconds):258.087 o 71289 c Got one! Elapsed wall clock time (in seconds):260.486 o 71286 c Got one! Elapsed wall clock time (in seconds):262.384 o 71285 c Got one! Elapsed wall clock time (in seconds):264.288 o 71283 c Got one! Elapsed wall clock time (in seconds):266.363 o 71282 c Got one! Elapsed wall clock time (in seconds):267.217 o 71281 c Got one! Elapsed wall clock time (in seconds):269.13 o 71270 c Got one! Elapsed wall clock time (in seconds):270.962 o 71266 c Got one! Elapsed wall clock time (in seconds):273.173 o 71264 c Got one! Elapsed wall clock time (in seconds):275.296 o 71261 c Got one! Elapsed wall clock time (in seconds):277.24 o 71258 c Got one! Elapsed wall clock time (in seconds):279.109 o 71255 c Got one! Elapsed wall clock time (in seconds):281.101 o 71254 c Got one! Elapsed wall clock time (in seconds):282.985 o 71253 c Got one! Elapsed wall clock time (in seconds):286.294 o 71252 c Got one! Elapsed wall clock time (in seconds):346.523 o 71247 c Got one! Elapsed wall clock time (in seconds):347.601 o 71246 c Got one! Elapsed wall clock time (in seconds):349.3 o 71242 c Got one! Elapsed wall clock time (in seconds):360.217 o 71241 c Got one! Elapsed wall clock time (in seconds):362.205 o 71239 c Got one! Elapsed wall clock time (in seconds):364.233 o 71236 c Got one! Elapsed wall clock time (in seconds):366.928 o 71232 c Got one! Elapsed wall clock time (in seconds):369.018 o 71229 c Got one! Elapsed wall clock time (in seconds):371.058 o 71225 c Got one! Elapsed wall clock time (in seconds):373.036 o 71222 c Got one! Elapsed wall clock time (in seconds):374.122 o 71216 c Got one! Elapsed wall clock time (in seconds):375.995 o 71213 c Got one! Elapsed wall clock time (in seconds):377.742 o 71199 c Got one! Elapsed wall clock time (in seconds):381.708 o 71198 c Got one! Elapsed wall clock time (in seconds):383.521 o 71192 c Got one! Elapsed wall clock time (in seconds):385.542 o 71186 c Got one! Elapsed wall clock time (in seconds):387.445 o 71185 c Got one! Elapsed wall clock time (in seconds):389.122 o 71181 c Got one! Elapsed wall clock time (in seconds):391.062 o 71180 c Got one! Elapsed wall clock time (in seconds):392.631 o 71179 c Got one! Elapsed wall clock time (in seconds):394.497 o 71172 c Got one! Elapsed wall clock time (in seconds):397.288 o 71164 c Got one! Elapsed wall clock time (in seconds):399.561 o 71163 c Got one! Elapsed wall clock time (in seconds):401.428 o 71161 c Got one! Elapsed wall clock time (in seconds):403.433 o 71160 c Got one! Elapsed wall clock time (in seconds):405.653 o 71156 c Got one! Elapsed wall clock time (in seconds):408.861 o 71155 c Got one! Elapsed wall clock time (in seconds):411.146 o 71153 c Got one! Elapsed wall clock time (in seconds):413.184 o 71149 c Got one! Elapsed wall clock time (in seconds):415.027 o 71147 c Got one! Elapsed wall clock time (in seconds):416.129 o 71144 c Got one! Elapsed wall clock time (in seconds):418.697 o 71138 c Got one! Elapsed wall clock time (in seconds):420.587 o 71136 c Got one! Elapsed wall clock time (in seconds):422.062 o 71122 c Got one! Elapsed wall clock time (in seconds):423.622 o 71112 c Got one! Elapsed wall clock time (in seconds):425.416 o 71110 c Got one! Elapsed wall clock time (in seconds):427.362 o 71100 c Got one! Elapsed wall clock time (in seconds):430.516 o 71098 c Got one! Elapsed wall clock time (in seconds):432.428 o 71092 c Got one! Elapsed wall clock time (in seconds):434.687 o 71087 c Got one! Elapsed wall clock time (in seconds):435.969 o 71080 c Got one! Elapsed wall clock time (in seconds):437.689 o 71079 c Got one! Elapsed wall clock time (in seconds):439.819 o 71068 c Got one! Elapsed wall clock time (in seconds):441.738 o 71066 c Got one! Elapsed wall clock time (in seconds):444.961 o 71064 c Got one! Elapsed wall clock time (in seconds):447.007 o 71060 c Got one! Elapsed wall clock time (in seconds):450.536 o 71056 c Got one! Elapsed wall clock time (in seconds):452.696 o 71055 c Got one! Elapsed wall clock time (in seconds):454.857 o 71050 c Got one! Elapsed wall clock time (in seconds):456.861 o 71049 c Got one! Elapsed wall clock time (in seconds):459.099 o 71043 c Got one! Elapsed wall clock time (in seconds):461.894 o 71042 c Got one! Elapsed wall clock time (in seconds):464.036 o 71041 c Got one! Elapsed wall clock time (in seconds):466.018 o 71038 c Got one! Elapsed wall clock time (in seconds):468.253 o 71034 c Got one! Elapsed wall clock time (in seconds):470.636 o 71032 c Got one! Elapsed wall clock time (in seconds):472.729 o 71031 c Got one! Elapsed wall clock time (in seconds):475.862 o 71019 c Got one! Elapsed wall clock time (in seconds):477.877 o 71015 c Got one! Elapsed wall clock time (in seconds):485.438 o 71014 c Got one! Elapsed wall clock time (in seconds):487.389 o 71011 c Got one! Elapsed wall clock time (in seconds):489.111 o 71010 c Got one! Elapsed wall clock time (in seconds):491.3 o 71005 c Got one! Elapsed wall clock time (in seconds):493.331 o 70999 c Got one! Elapsed wall clock time (in seconds):495.428 o 70996 c Got one! Elapsed wall clock time (in seconds):497.358 o 70986 c Got one! Elapsed wall clock time (in seconds):499.551 o 70982 c Got one! Elapsed wall clock time (in seconds):502.87 o 70980 c Got one! Elapsed wall clock time (in seconds):513.966 o 70977 c Got one! Elapsed wall clock time (in seconds):517.024 o 70976 c Got one! Elapsed wall clock time (in seconds):519.203 o 70969 c Got one! Elapsed wall clock time (in seconds):521.267 o 70966 c Got one! Elapsed wall clock time (in seconds):523.389 o 70965 c Got one! Elapsed wall clock time (in seconds):525.829 o 70962 c Got one! Elapsed wall clock time (in seconds):527.903 o 70961 c Got one! Elapsed wall clock time (in seconds):530.048 o 70958 c Got one! Elapsed wall clock time (in seconds):531.897 o 70957 c Got one! Elapsed wall clock time (in seconds):535.19 o 70956 c Got one! Elapsed wall clock time (in seconds):537.807 o 70954 c Got one! Elapsed wall clock time (in seconds):540.77 o 70952 c Got one! Elapsed wall clock time (in seconds):543.045 o 70946 c Got one! Elapsed wall clock time (in seconds):546.634 o 70945 c Got one! Elapsed wall clock time (in seconds):549.626 o 70942 c Got one! Elapsed wall clock time (in seconds):551.732 o 70939 c Got one! Elapsed wall clock time (in seconds):553.883 o 70936 c Got one! Elapsed wall clock time (in seconds):577.286 o 70928 c Got one! Elapsed wall clock time (in seconds):579.587 o 70927 c Got one! Elapsed wall clock time (in seconds):582.772 o 70909 c Got one! Elapsed wall clock time (in seconds):584.397 o 70905 c Got one! Elapsed wall clock time (in seconds):586.78 o 70895 c Got one! Elapsed wall clock time (in seconds):588.977 o 70894 c Got one! Elapsed wall clock time (in seconds):591.19 o 70879 c Got one! Elapsed wall clock time (in seconds):593.234 o 70872 c Got one! Elapsed wall clock time (in seconds):595.426 o 70871 c Got one! Elapsed wall clock time (in seconds):597.747 o 70865 c Got one! Elapsed wall clock time (in seconds):614.454 o 70864 c Got one! Elapsed wall clock time (in seconds):616.624 o 70863 c Got one! Elapsed wall clock time (in seconds):619.08 o 70862 c Got one! Elapsed wall clock time (in seconds):621.907 o 70861 c Got one! Elapsed wall clock time (in seconds):623.997 o 70859 c Got one! Elapsed wall clock time (in seconds):626.258 o 70855 c Got one! Elapsed wall clock time (in seconds):627.618 o 70853 c Got one! Elapsed wall clock time (in seconds):629.73 o 70836 c Got one! Elapsed wall clock time (in seconds):633.004 o 70835 c Got one! Elapsed wall clock time (in seconds):634.945 o 70833 c Got one! Elapsed wall clock time (in seconds):636.17 o 70826 c Got one! Elapsed wall clock time (in seconds):637.884 o 70825 c Got one! Elapsed wall clock time (in seconds):639.403 o 70820 c Got one! Elapsed wall clock time (in seconds):641.6 o 70818 c Got one! Elapsed wall clock time (in seconds):643.762 o 70787 c Got one! Elapsed wall clock time (in seconds):646.328 o 70785 c Got one! Elapsed wall clock time (in seconds):648.568 o 70783 c Got one! Elapsed wall clock time (in seconds):651.031 o 70782 c Got one! Elapsed wall clock time (in seconds):653.402 o 70780 c Got one! Elapsed wall clock time (in seconds):655.212 o 70779 c Got one! Elapsed wall clock time (in seconds):660.061 o 70773 c Got one! Elapsed wall clock time (in seconds):663.04 o 70772 c Got one! Elapsed wall clock time (in seconds):665.26 o 70769 c Got one! Elapsed wall clock time (in seconds):668.802 o 70767 c Got one! Elapsed wall clock time (in seconds):672.444 o 70765 c Got one! Elapsed wall clock time (in seconds):674.937 o 70762 c Got one! Elapsed wall clock time (in seconds):677.162 o 70761 c Got one! Elapsed wall clock time (in seconds):679.409 o 70758 c Got one! Elapsed wall clock time (in seconds):681.529 o 70752 c Got one! Elapsed wall clock time (in seconds):683.807 o 70747 c Got one! Elapsed wall clock time (in seconds):686.319 o 70746 c Got one! Elapsed wall clock time (in seconds):689.255 o 70744 c Got one! Elapsed wall clock time (in seconds):691.702 o 70743 c Got one! Elapsed wall clock time (in seconds):693.761 o 70740 c Got one! Elapsed wall clock time (in seconds):696.578 o 70737 c Got one! Elapsed wall clock time (in seconds):699.494 o 70732 c Got one! Elapsed wall clock time (in seconds):701.666 o 70731 c Got one! Elapsed wall clock time (in seconds):703.588 o 70730 c Got one! Elapsed wall clock time (in seconds):705.687 o 70723 c Got one! Elapsed wall clock time (in seconds):706.818 o 70720 c Got one! Elapsed wall clock time (in seconds):708.803 o 70719 c Got one! Elapsed wall clock time (in seconds):711.086 o 70717 c Got one! Elapsed wall clock time (in seconds):712.891 o 70713 c Got one! Elapsed wall clock time (in seconds):716.096 o 70712 c Got one! Elapsed wall clock time (in seconds):718.366 o 70710 c Got one! Elapsed wall clock time (in seconds):720.244 o 70702 c Got one! Elapsed wall clock time (in seconds):722.468 o 70699 c Got one! Elapsed wall clock time (in seconds):725.118 o 70698 c Got one! Elapsed wall clock time (in seconds):727.921 o 70692 c Got one! Elapsed wall clock time (in seconds):731.613 o 70688 c Got one! Elapsed wall clock time (in seconds):733.711 o 70685 c Got one! Elapsed wall clock time (in seconds):736.009 o 70671 c Got one! Elapsed wall clock time (in seconds):737.603 o 70666 c Got one! Elapsed wall clock time (in seconds):739.897 o 70661 c Got one! Elapsed wall clock time (in seconds):742.057 o 70659 c Got one! Elapsed wall clock time (in seconds):745.264 o 70650 c Got one! Elapsed wall clock time (in seconds):746.505 o 70648 c Got one! Elapsed wall clock time (in seconds):748.664 o 70631 c Got one! Elapsed wall clock time (in seconds):751.541 o 70628 c Got one! Elapsed wall clock time (in seconds):752.766 o 70627 c Got one! Elapsed wall clock time (in seconds):755.749 o 70617 c Got one! Elapsed wall clock time (in seconds):756.924 o 70615 c Got one! Elapsed wall clock time (in seconds):759.768 o 70613 c Got one! Elapsed wall clock time (in seconds):762.07 o 70612 c Got one! Elapsed wall clock time (in seconds):764.57 o 70611 c Got one! Elapsed wall clock time (in seconds):766.721 o 70608 c Got one! Elapsed wall clock time (in seconds):769.627 o 70593 c Got one! Elapsed wall clock time (in seconds):771.764 o 70592 c Got one! Elapsed wall clock time (in seconds):778.746 o 70587 c Got one! Elapsed wall clock time (in seconds):780.852 o 70585 c Got one! Elapsed wall clock time (in seconds):783.185 o 70583 c Got one! Elapsed wall clock time (in seconds):800.383 o 70581 c Got one! Elapsed wall clock time (in seconds):803.028 o 70578 c Got one! Elapsed wall clock time (in seconds):805.306 o 70577 c Got one! Elapsed wall clock time (in seconds):808.011 o 70576 c Got one! Elapsed wall clock time (in seconds):810.272 o 70575 c Got one! Elapsed wall clock time (in seconds):812.433 o 70574 c Got one! Elapsed wall clock time (in seconds):814.856 o 70573 c Got one! Elapsed wall clock time (in seconds):895.026 o 70572 c Got one! Elapsed wall clock time (in seconds):908.238 o 70567 c Got one! Elapsed wall clock time (in seconds):914.347 o 70566 c Got one! Elapsed wall clock time (in seconds):917.777 o 70560 c Got one! Elapsed wall clock time (in seconds):920.089 o 70559 c Got one! Elapsed wall clock time (in seconds):922.202 o 70548 c Got one! Elapsed wall clock time (in seconds):924.312 o 70547 c Got one! Elapsed wall clock time (in seconds):927.021 o 70546 c Got one! Elapsed wall clock time (in seconds):930.86 o 70545 c Got one! Elapsed wall clock time (in seconds):933.29 o 70543 c Got one! Elapsed wall clock time (in seconds):938.476 o 70542 c Got one! Elapsed wall clock time (in seconds):941.88 o 70540 c Got one! Elapsed wall clock time (in seconds):949.592 o 70539 c Got one! Elapsed wall clock time (in seconds):952.026 o 70533 c Got one! Elapsed wall clock time (in seconds):954.192 o 70530 c Got one! Elapsed wall clock time (in seconds):956.996 o 70527 c Got one! Elapsed wall clock time (in seconds):959.418 o 70526 c Got one! Elapsed wall clock time (in seconds):961.714 o 70525 c Got one! Elapsed wall clock time (in seconds):963.976 o 70521 c Got one! Elapsed wall clock time (in seconds):965.518 o 70519 c Got one! Elapsed wall clock time (in seconds):967.821 o 70516 c Got one! Elapsed wall clock time (in seconds):970.164 o 70513 c Got one! Elapsed wall clock time (in seconds):972.552 o 70509 c Got one! Elapsed wall clock time (in seconds):976.307 o 70508 c Got one! Elapsed wall clock time (in seconds):980.244 o 70506 c Got one! Elapsed wall clock time (in seconds):982.439 o 70501 c Got one! Elapsed wall clock time (in seconds):994.724 o 70498 c Got one! Elapsed wall clock time (in seconds):996.946 o 70497 c Got one! Elapsed wall clock time (in seconds):999.413 o 70496 c Got one! Elapsed wall clock time (in seconds):1011.683 o 70494 c Got one! Elapsed wall clock time (in seconds):1017.958 o 70493 c Got one! Elapsed wall clock time (in seconds):1020.193 o 70491 c Got one! Elapsed wall clock time (in seconds):1022.643 o 70489 c Got one! Elapsed wall clock time (in seconds):1024.865 o 70487 c Got one! Elapsed wall clock time (in seconds):1027.022 o 70483 c Got one! Elapsed wall clock time (in seconds):1030.521 o 70482 c Got one! Elapsed wall clock time (in seconds):1032.953 o 70480 c Got one! Elapsed wall clock time (in seconds):1035.327 o 70476 c Got one! Elapsed wall clock time (in seconds):1038.077 o 70472 c Got one! Elapsed wall clock time (in seconds):1040.437 o 70471 c Got one! Elapsed wall clock time (in seconds):1042.185 o 70470 c Got one! Elapsed wall clock time (in seconds):1043.905 o 70468 c Got one! Elapsed wall clock time (in seconds):1046.035 o 70466 c Got one! Elapsed wall clock time (in seconds):1048.262 o 70457 c Got one! Elapsed wall clock time (in seconds):1049.876 o 70454 c Got one! Elapsed wall clock time (in seconds):1051.379 o 70452 c Got one! Elapsed wall clock time (in seconds):1054.378 o 70451 c Got one! Elapsed wall clock time (in seconds):1056.753 o 70445 c Got one! Elapsed wall clock time (in seconds):1059.261 o 70443 c Got one! Elapsed wall clock time (in seconds):1061.401 o 70442 c Got one! Elapsed wall clock time (in seconds):1063.828 o 70440 c Got one! Elapsed wall clock time (in seconds):1066.216 o 70439 c Got one! Elapsed wall clock time (in seconds):1069.734 o 70429 c Got one! Elapsed wall clock time (in seconds):1071.939 o 70425 c Got one! Elapsed wall clock time (in seconds):1074.749 o 70424 c Got one! Elapsed wall clock time (in seconds):1077.238 o 70423 c Got one! Elapsed wall clock time (in seconds):1079.715 o 70421 c Got one! Elapsed wall clock time (in seconds):1082.223 o 70420 c Got one! Elapsed wall clock time (in seconds):1084.121 o 70419 c Got one! Elapsed wall clock time (in seconds):1086.536 o 70411 c Got one! Elapsed wall clock time (in seconds):1090.01 o 70404 c Got one! Elapsed wall clock time (in seconds):1092.154 o 70403 c Got one! Elapsed wall clock time (in seconds):1094.696 o 70400 c Got one! Elapsed wall clock time (in seconds):1097.2 o 70399 c Got one! Elapsed wall clock time (in seconds):1099.612 o 70395 c Got one! Elapsed wall clock time (in seconds):1102.133 o 70394 c Got one! Elapsed wall clock time (in seconds):1104.665 o 70392 c Got one! Elapsed wall clock time (in seconds):1107.137 o 70391 c Got one! Elapsed wall clock time (in seconds):1109.579 o 70390 c Got one! Elapsed wall clock time (in seconds):1114.211 o 70388 c Got one! Elapsed wall clock time (in seconds):1116.229 o 70387 c Got one! Elapsed wall clock time (in seconds):1118.7 o 70386 c Got one! Elapsed wall clock time (in seconds):1121.012 o 70381 c Got one! Elapsed wall clock time (in seconds):1123.343 o 70375 c Got one! Elapsed wall clock time (in seconds):1125.878 o 70374 c Got one! Elapsed wall clock time (in seconds):1128.553 o 70370 c Got one! Elapsed wall clock time (in seconds):1130.968 o 70369 c Got one! Elapsed wall clock time (in seconds):1144.014 o 70368 c Got one! Elapsed wall clock time (in seconds):1146.431 o 70361 c Got one! Elapsed wall clock time (in seconds):1148.706 o 70360 c Got one! Elapsed wall clock time (in seconds):1151.202 o 70354 c Got one! Elapsed wall clock time (in seconds):1153.524 o 70353 c Got one! Elapsed wall clock time (in seconds):1156.06 o 70349 c Got one! Elapsed wall clock time (in seconds):1157.519 o 70346 c Got one! Elapsed wall clock time (in seconds):1159.997 o 70344 c Got one! Elapsed wall clock time (in seconds):1162.814 o 70338 c Got one! Elapsed wall clock time (in seconds):1164.193 o 70337 c Got one! Elapsed wall clock time (in seconds):1166.3 o 70336 c Got one! Elapsed wall clock time (in seconds):1168.776 o 70333 c Got one! Elapsed wall clock time (in seconds):1171.136 o 70332 c Got one! Elapsed wall clock time (in seconds):1172.652 o 70331 c Got one! Elapsed wall clock time (in seconds):1175.266 o 70330 c Got one! Elapsed wall clock time (in seconds):1177.72 o 70314 c Got one! Elapsed wall clock time (in seconds):1180.361 o 70312 c Got one! Elapsed wall clock time (in seconds):1183.147 o 70309 c Got one! Elapsed wall clock time (in seconds):1186.271 o 70308 c Got one! Elapsed wall clock time (in seconds):1188.534 o 70307 c Got one! Elapsed wall clock time (in seconds):1191.15 o 70305 c Got one! Elapsed wall clock time (in seconds):1192.71 o 70304 c Got one! Elapsed wall clock time (in seconds):1195.123 o 70303 c Got one! Elapsed wall clock time (in seconds):1197.849 o 70302 c Got one! Elapsed wall clock time (in seconds):1200.656 o 70301 c Got one! Elapsed wall clock time (in seconds):1203.041 o 70299 c Got one! Elapsed wall clock time (in seconds):1205.492 o 70298 c Got one! Elapsed wall clock time (in seconds):1235.039 o 70297 c Got one! Elapsed wall clock time (in seconds):1237.47 o 70296 c Got one! Elapsed wall clock time (in seconds):1240.093 o 70295 c Got one! Elapsed wall clock time (in seconds):1242.517 o 70291 c Got one! Elapsed wall clock time (in seconds):1248.053 o 70289 c Got one! Elapsed wall clock time (in seconds):1250.462 o 70287 c Got one! Elapsed wall clock time (in seconds):1252.966 o 70284 c Got one! Elapsed wall clock time (in seconds):1254.737 o 70283 c Got one! Elapsed wall clock time (in seconds):1256.451 o 70282 c Got one! Elapsed wall clock time (in seconds):1259.302 o 70280 c Got one! Elapsed wall clock time (in seconds):1261.854 o 70278 c Got one! Elapsed wall clock time (in seconds):1265.609 o 70274 c Got one! Elapsed wall clock time (in seconds):1268.475 o 70272 c Got one! Elapsed wall clock time (in seconds):1270.909 o 70271 c Got one! Elapsed wall clock time (in seconds):1274.081 o 70265 c Got one! Elapsed wall clock time (in seconds):1276.084 o 70263 c Got one! Elapsed wall clock time (in seconds):1278.039 o 70260 c Got one! Elapsed wall clock time (in seconds):1280.84 o 70259 c Got one! Elapsed wall clock time (in seconds):1282.441 o 70256 c Got one! Elapsed wall clock time (in seconds):1284.964 o 70252 c Got one! Elapsed wall clock time (in seconds):1287.781 o 70251 c Got one! Elapsed wall clock time (in seconds):1290.438 o 70250 c Got one! Elapsed wall clock time (in seconds):1292.944 o 70249 c Got one! Elapsed wall clock time (in seconds):1298.357 o 70248 c Got one! Elapsed wall clock time (in seconds):1299.948 o 70235 c Got one! Elapsed wall clock time (in seconds):1302.504 o 70234 c Got one! Elapsed wall clock time (in seconds):1308.536 o 70233 c cleaning 170245 clauses out of 340500 c Got one! Elapsed wall clock time (in seconds):1314.838 o 70228 c Got one! Elapsed wall clock time (in seconds):1318.439 o 70219 c Got one! Elapsed wall clock time (in seconds):1320.428 o 70215 c Got one! Elapsed wall clock time (in seconds):1322.716 o 70206 c Got one! Elapsed wall clock time (in seconds):1324.83 o 70202 c Got one! Elapsed wall clock time (in seconds):1326.878 o 70198 c Got one! Elapsed wall clock time (in seconds):1329.01 o 70197 c Got one! Elapsed wall clock time (in seconds):1332.387 o 70195 c Got one! Elapsed wall clock time (in seconds):1334.621 o 70193 c Got one! Elapsed wall clock time (in seconds):1336.842 o 70180 c Got one! Elapsed wall clock time (in seconds):1369.726 o 70179 c Got one! Elapsed wall clock time (in seconds):1371.781 o 70178 c Got one! Elapsed wall clock time (in seconds):1374.063 o 70176 c Got one! Elapsed wall clock time (in seconds):1376.11 o 70170 c Got one! Elapsed wall clock time (in seconds):1377.966 o 70168 c Got one! Elapsed wall clock time (in seconds):1379.453 o 70167 c Got one! Elapsed wall clock time (in seconds):1381.71 o 70165 c Got one! Elapsed wall clock time (in seconds):1383.127 o 70163 c Got one! Elapsed wall clock time (in seconds):1385.205 o 70162 c Got one! Elapsed wall clock time (in seconds):1386.609 o 70161 c Got one! Elapsed wall clock time (in seconds):1388.858 o 70158 c Got one! Elapsed wall clock time (in seconds):1390.878 o 70154 c Got one! Elapsed wall clock time (in seconds):1394.132 o 70148 c Got one! Elapsed wall clock time (in seconds):1396.072 o 70143 c Got one! Elapsed wall clock time (in seconds):1398.621 o 70138 c Got one! Elapsed wall clock time (in seconds):1400.778 o 70134 c Got one! Elapsed wall clock time (in seconds):1402.82 o 70125 c Got one! Elapsed wall clock time (in seconds):1404.979 o 70122 c Got one! Elapsed wall clock time (in seconds):1406.326 o 70118 c Got one! Elapsed wall clock time (in seconds):1411.606 o 70114 c Got one! Elapsed wall clock time (in seconds):1413.908 o 70113 c Got one! Elapsed wall clock time (in seconds):1416.415 o 70111 c Got one! Elapsed wall clock time (in seconds):1421.616 o 70107 c Got one! Elapsed wall clock time (in seconds):1423.989 o 70103 c Got one! Elapsed wall clock time (in seconds):1427.731 o 70100 c Got one! Elapsed wall clock time (in seconds):1429.239 o 70098 c Got one! Elapsed wall clock time (in seconds):1431.183 o 70094 c Got one! Elapsed wall clock time (in seconds):1432.455 o 70091 c Got one! Elapsed wall clock time (in seconds):1434.602 o 70086 c Got one! Elapsed wall clock time (in seconds):1436.97 o 70084 c Got one! Elapsed wall clock time (in seconds):1439.452 o 70078 c Got one! Elapsed wall clock time (in seconds):1441.549 o 70077 c Got one! Elapsed wall clock time (in seconds):1445.191 o 70076 c Got one! Elapsed wall clock time (in seconds):1447.34 o 70075 c Got one! Elapsed wall clock time (in seconds):1449.593 o 70074 c Got one! Elapsed wall clock time (in seconds):1452.006 o 70072 c Got one! Elapsed wall clock time (in seconds):1454.286 o 70066 c Got one! Elapsed wall clock time (in seconds):1456.605 o 70065 c Got one! Elapsed wall clock time (in seconds):1459.11 o 70062 c Got one! Elapsed wall clock time (in seconds):1462.511 o 70061 c Got one! Elapsed wall clock time (in seconds):1465.696 o 70060 c Got one! Elapsed wall clock time (in seconds):1467.993 o 70059 c Got one! Elapsed wall clock time (in seconds):1469.455 o 70058 c Got one! Elapsed wall clock time (in seconds):1471.81 o 70056 c Got one! Elapsed wall clock time (in seconds):1473.289 o 70049 c Got one! Elapsed wall clock time (in seconds):1475.309 o 70048 c Got one! Elapsed wall clock time (in seconds):1479.889 o 70046 c Got one! Elapsed wall clock time (in seconds):1481.924 o 70045 c Got one! Elapsed wall clock time (in seconds):1484.123 o 70038 c Got one! Elapsed wall clock time (in seconds):1487.191 o 70037 c Got one! Elapsed wall clock time (in seconds):1489.382 o 70036 c Got one! Elapsed wall clock time (in seconds):1491.721 o 70034 c Got one! Elapsed wall clock time (in seconds):1493.609 o 70033 c Got one! Elapsed wall clock time (in seconds):1495.775 o 70031 c Got one! Elapsed wall clock time (in seconds):1498.435 o 70029 c Got one! Elapsed wall clock time (in seconds):1501.134 o 70027 c Got one! Elapsed wall clock time (in seconds):1503.127 o 70021 c Got one! Elapsed wall clock time (in seconds):1505.416 o 70020 c Got one! Elapsed wall clock time (in seconds):1507.492 o 70018 c Got one! Elapsed wall clock time (in seconds):1509.756 o 70017 c Got one! Elapsed wall clock time (in seconds):1511.934 o 70013 c Got one! Elapsed wall clock time (in seconds):1513.621 o 70012 c Got one! Elapsed wall clock time (in seconds):1516.523 o 70010 c Got one! Elapsed wall clock time (in seconds):1518.388 o 70009 c Got one! Elapsed wall clock time (in seconds):1520.398 o 70006 c Got one! Elapsed wall clock time (in seconds):1522.384 o 70005 c Got one! Elapsed wall clock time (in seconds):1524.123 o 70002 c Got one! Elapsed wall clock time (in seconds):1526.951 o 70001 c Got one! Elapsed wall clock time (in seconds):1529.511 o 69998 c Got one! Elapsed wall clock time (in seconds):1531.817 o 69997 c Got one! Elapsed wall clock time (in seconds):1534.639 o 69996 c Got one! Elapsed wall clock time (in seconds):1536.233 o 69994 c Got one! Elapsed wall clock time (in seconds):1539.679 o 69993 c Got one! Elapsed wall clock time (in seconds):1542.147 o 69992 c Got one! Elapsed wall clock time (in seconds):1546.231 o 69991 c Got one! Elapsed wall clock time (in seconds):1548.277 o 69988 c Got one! Elapsed wall clock time (in seconds):1550.504 o 69987 c Got one! Elapsed wall clock time (in seconds):1552.944 o 69985 c Got one! Elapsed wall clock time (in seconds):1555.576 o 69983 c Got one! Elapsed wall clock time (in seconds):1557.385 o 69981 c Got one! Elapsed wall clock time (in seconds):1559.659 o 69980 c Got one! Elapsed wall clock time (in seconds):1561.917 o 69979 c Got one! Elapsed wall clock time (in seconds):1564.983 o 69977 c Got one! Elapsed wall clock time (in seconds):1567.557 o 69974 c Got one! Elapsed wall clock time (in seconds):1569.808 o 69971 c Got one! Elapsed wall clock time (in seconds):1572.601 o 69969 c Got one! Elapsed wall clock time (in seconds):1575.385 o 69968 c Got one! Elapsed wall clock time (in seconds):1577.611 o 69965 c Got one! Elapsed wall clock time (in seconds):1580.419 o 69963 c Got one! Elapsed wall clock time (in seconds):1582.473 o 69962 c Got one! Elapsed wall clock time (in seconds):1584.669 o 69961 c Got one! Elapsed wall clock time (in seconds):1587.136 o 69960 c Got one! Elapsed wall clock time (in seconds):1589.504 o 69959 c Got one! Elapsed wall clock time (in seconds):1591.752 o 69938 c Got one! Elapsed wall clock time (in seconds):1594.053 o 69923 c Got one! Elapsed wall clock time (in seconds):1595.72 o 69916 c Got one! Elapsed wall clock time (in seconds):1598.043 o 69915 c Got one! Elapsed wall clock time (in seconds):1599.956 o 69914 c Got one! Elapsed wall clock time (in seconds):1602.365 o 69913 c Got one! Elapsed wall clock time (in seconds):1604.601 o 69910 c Got one! Elapsed wall clock time (in seconds):1606.919 o 69899 c Got one! Elapsed wall clock time (in seconds):1610.484 o 69898 c Got one! Elapsed wall clock time (in seconds):1613.137 o 69884 c Got one! Elapsed wall clock time (in seconds):1615.349 o 69880 c Got one! Elapsed wall clock time (in seconds):1618.926 o 69870 c Got one! Elapsed wall clock time (in seconds):1621.13 o 69869 c Got one! Elapsed wall clock time (in seconds):1623.478 o 69867 c Got one! Elapsed wall clock time (in seconds):1626.256 o 69865 c Got one! Elapsed wall clock time (in seconds):1628.458 o 69863 c Got one! Elapsed wall clock time (in seconds):1629.851 o 69853 c Got one! Elapsed wall clock time (in seconds):1631.837 o 69851 c Got one! Elapsed wall clock time (in seconds):1634.275 o 69841 c Got one! Elapsed wall clock time (in seconds):1637.87 o 69840 c Got one! Elapsed wall clock time (in seconds):1643.118 o 69838 c Got one! Elapsed wall clock time (in seconds):1645.321 o 69837 c Got one! Elapsed wall clock time (in seconds):1649.971 o 69836 c Got one! Elapsed wall clock time (in seconds):1652.166 o 69827 c Got one! Elapsed wall clock time (in seconds):1655.376 o 69824 c Got one! Elapsed wall clock time (in seconds):1657.827 o 69823 c Got one! Elapsed wall clock time (in seconds):1660.154 o 69817 c Got one! Elapsed wall clock time (in seconds):1662.336 o 69810 c Got one! Elapsed wall clock time (in seconds):1664.545 o 69807 c Got one! Elapsed wall clock time (in seconds):1666.876 o 69802 c Got one! Elapsed wall clock time (in seconds):1669.386 o 69800 c Got one! Elapsed wall clock time (in seconds):1671.903 o 69795 c Got one! Elapsed wall clock time (in seconds):1675.248 o 69794 c Got one! Elapsed wall clock time (in seconds):1677.512 o 69790 c Got one! Elapsed wall clock time (in seconds):1679.85 o 69789 c Got one! Elapsed wall clock time (in seconds):1682.083 o 69788 c Got one! Elapsed wall clock time (in seconds):1684.203 o 69785 c Got one! Elapsed wall clock time (in seconds):1686.6 o 69784 c Got one! Elapsed wall clock time (in seconds):1688.96 o 69782 c Got one! Elapsed wall clock time (in seconds):1691.705 o 69778 c Got one! Elapsed wall clock time (in seconds):1694.294 o 69777 c Got one! Elapsed wall clock time (in seconds):1714.964 o 69776 c Got one! Elapsed wall clock time (in seconds):1716.649 o 69775 c Got one! Elapsed wall clock time (in seconds):1719.241 o 69772 c Got one! Elapsed wall clock time (in seconds):1722.926 o 69771 c Got one! Elapsed wall clock time (in seconds):1725.134 o 69757 c Got one! Elapsed wall clock time (in seconds):1727.767 o 69756 c Got one! Elapsed wall clock time (in seconds):1731.036 o 69753 c Got one! Elapsed wall clock time (in seconds):1733.994 o 69751 c Got one! Elapsed wall clock time (in seconds):1736.257 o 69748 c Got one! Elapsed wall clock time (in seconds):1738.732 o 69745 c Got one! Elapsed wall clock time (in seconds):1741.04 o 69739 c Got one! Elapsed wall clock time (in seconds):1743.3 o 69738 c Got one! Elapsed wall clock time (in seconds):1746.675 o 69735 c Got one! Elapsed wall clock time (in seconds):1748.9 o 69730 c Got one! Elapsed wall clock time (in seconds):1751.146 o 69727 c Got one! Elapsed wall clock time (in seconds):1753.06 o 69725 c Got one! Elapsed wall clock time (in seconds):1754.967 o 69722 c Got one! Elapsed wall clock time (in seconds):1757.419 o 69713 c Got one! Elapsed wall clock time (in seconds):1759.63 o 69712 c Got one! Elapsed wall clock time (in seconds):1762.932 o 69708 c Got one! Elapsed wall clock time (in seconds):1766.618 o 69706 c Got one! Elapsed wall clock time (in seconds):1776.926 o 69705 c Got one! Elapsed wall clock time (in seconds):1780.748 o 69704 c Got one! Elapsed wall clock time (in seconds):1782.464 o 69703 c Got one! Elapsed wall clock time (in seconds):1784.878 o 69701 c Got one! Elapsed wall clock time (in seconds):1786.608 o 69700 c Got one! Elapsed wall clock time (in seconds):1788.856 o 69699 c Got one! Elapsed wall clock time (in seconds):1791.218 o 69698 c Got one! Elapsed wall clock time (in seconds):1792.607 o 69697 c Got one! Elapsed wall clock time (in seconds):1794.962 o 69695 c Got one! Elapsed wall clock time (in seconds):1797.463 o 69693 c Got one! Elapsed wall clock time (in seconds):1799.789 o 69691 c Got one! Elapsed wall clock time (in seconds):1805.034 o 69690 c Got one! Elapsed wall clock time (in seconds):1807.874 o 69688 c Got one! Elapsed wall clock time (in seconds):1810.409 o 69686 c Got one! Elapsed wall clock time (in seconds):1817.576 o 69685 c Got one! Elapsed wall clock time (in seconds):1820.1 o 69684 c Got one! Elapsed wall clock time (in seconds):1822.927 o 69681 c Got one! Elapsed wall clock time (in seconds):1825.315 o 69680 c Got one! Elapsed wall clock time (in seconds):1827.412 o 69678 c Got one! Elapsed wall clock time (in seconds):1830.38 o 69677 c Got one! Elapsed wall clock time (in seconds):1833.412 o 69676 c Got one! Elapsed wall clock time (in seconds):1836.353 o 69674 c Got one! Elapsed wall clock time (in seconds):1843.065 o 69673 c Got one! Elapsed wall clock time (in seconds):1846.934 o 69672 c Got one! Elapsed wall clock time (in seconds):1849.632 o 69671 Killed 1844.865u 1.227s 30:50.86 99.7% 0+0k 0+0io 1pf+0w