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_k3_n11.ra1.wcnf Job file: /home/jplanes/evaluation/benchmarks/weighted_crafted/RAMSEY/ram_k3_n11.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_k3_n11.ra1.wcnf c reading problem ... c ... done. Wall clock time 0.098s. c #vars 550 c #constraints 495 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalHTClause => 495 c OPTIMIZING... c Got one! Elapsed wall clock time (in seconds):0.477 o 69081 c Got one! Elapsed wall clock time (in seconds):0.672 o 69067 c Got one! Elapsed wall clock time (in seconds):0.914 o 69048 c Got one! Elapsed wall clock time (in seconds):1.171 o 69042 c Got one! Elapsed wall clock time (in seconds):1.419 o 68973 c Got one! Elapsed wall clock time (in seconds):1.572 o 68950 c Got one! Elapsed wall clock time (in seconds):1.705 o 68909 c Got one! Elapsed wall clock time (in seconds):1.735 o 68898 c Got one! Elapsed wall clock time (in seconds):1.805 o 68867 c Got one! Elapsed wall clock time (in seconds):1.893 o 68853 c Got one! Elapsed wall clock time (in seconds):1.939 o 68823 c Got one! Elapsed wall clock time (in seconds):1.963 o 68822 c Got one! Elapsed wall clock time (in seconds):1.985 o 68818 c Got one! Elapsed wall clock time (in seconds):2.034 o 68806 c Got one! Elapsed wall clock time (in seconds):2.056 o 68776 c Got one! Elapsed wall clock time (in seconds):2.09 o 68773 c Got one! Elapsed wall clock time (in seconds):2.124 o 68769 c Got one! Elapsed wall clock time (in seconds):2.144 o 68720 c Got one! Elapsed wall clock time (in seconds):2.176 o 68678 c Got one! Elapsed wall clock time (in seconds):2.204 o 68666 c Got one! Elapsed wall clock time (in seconds):2.222 o 68642 c Got one! Elapsed wall clock time (in seconds):2.249 o 68621 c Got one! Elapsed wall clock time (in seconds):2.272 o 68566 c Got one! Elapsed wall clock time (in seconds):2.292 o 68544 c Got one! Elapsed wall clock time (in seconds):2.352 o 68521 c Got one! Elapsed wall clock time (in seconds):2.372 o 68517 c Got one! Elapsed wall clock time (in seconds):2.391 o 68501 c Got one! Elapsed wall clock time (in seconds):2.412 o 68495 c Got one! Elapsed wall clock time (in seconds):2.434 o 68493 c Got one! Elapsed wall clock time (in seconds):2.456 o 68460 c Got one! Elapsed wall clock time (in seconds):2.476 o 68432 c Got one! Elapsed wall clock time (in seconds):2.522 o 68428 c Got one! Elapsed wall clock time (in seconds):2.574 o 68405 c Got one! Elapsed wall clock time (in seconds):2.604 o 68400 c Got one! Elapsed wall clock time (in seconds):2.626 o 68394 c Got one! Elapsed wall clock time (in seconds):2.649 o 68391 c Got one! Elapsed wall clock time (in seconds):2.672 o 68384 c Got one! Elapsed wall clock time (in seconds):2.693 o 68226 c Got one! Elapsed wall clock time (in seconds):2.719 o 68209 c Got one! Elapsed wall clock time (in seconds):2.75 o 68203 c Got one! Elapsed wall clock time (in seconds):2.787 o 68199 c Got one! Elapsed wall clock time (in seconds):2.818 o 68188 c Got one! Elapsed wall clock time (in seconds):2.849 o 68180 c Got one! Elapsed wall clock time (in seconds):2.882 o 68160 c Got one! Elapsed wall clock time (in seconds):2.909 o 68159 c Got one! Elapsed wall clock time (in seconds):2.934 o 68157 c Got one! Elapsed wall clock time (in seconds):2.958 o 68137 c Got one! Elapsed wall clock time (in seconds):2.984 o 68132 c Got one! Elapsed wall clock time (in seconds):3.011 o 68121 c Got one! Elapsed wall clock time (in seconds):3.039 o 68098 c Got one! Elapsed wall clock time (in seconds):3.074 o 68071 c Got one! Elapsed wall clock time (in seconds):3.101 o 68068 c Got one! Elapsed wall clock time (in seconds):3.126 o 68013 c Got one! Elapsed wall clock time (in seconds):3.151 o 67953 c Got one! Elapsed wall clock time (in seconds):3.186 o 67944 c Got one! Elapsed wall clock time (in seconds):3.213 o 67920 c Got one! Elapsed wall clock time (in seconds):3.241 o 67908 c Got one! Elapsed wall clock time (in seconds):3.308 o 67816 c Got one! Elapsed wall clock time (in seconds):3.335 o 67807 c Got one! Elapsed wall clock time (in seconds):3.364 o 67789 c Got one! Elapsed wall clock time (in seconds):3.392 o 67783 c Got one! Elapsed wall clock time (in seconds):3.429 o 67756 c Got one! Elapsed wall clock time (in seconds):3.461 o 67751 c Got one! Elapsed wall clock time (in seconds):3.496 o 67743 c Got one! Elapsed wall clock time (in seconds):3.53 o 67738 c Got one! Elapsed wall clock time (in seconds):3.561 o 67730 c Got one! Elapsed wall clock time (in seconds):3.594 o 67725 c Got one! Elapsed wall clock time (in seconds):3.626 o 67712 c Got one! Elapsed wall clock time (in seconds):3.657 o 67709 c Got one! Elapsed wall clock time (in seconds):3.698 o 67683 c Got one! Elapsed wall clock time (in seconds):3.739 o 67674 c Got one! Elapsed wall clock time (in seconds):3.778 o 67672 c Got one! Elapsed wall clock time (in seconds):3.81 o 67662 c Got one! Elapsed wall clock time (in seconds):3.85 o 67661 c Got one! Elapsed wall clock time (in seconds):3.893 o 67659 c Got one! Elapsed wall clock time (in seconds):3.966 o 67658 c Got one! Elapsed wall clock time (in seconds):4.012 o 67654 c Got one! Elapsed wall clock time (in seconds):4.059 o 67628 c Got one! Elapsed wall clock time (in seconds):4.107 o 67625 c Got one! Elapsed wall clock time (in seconds):4.152 o 67610 c Got one! Elapsed wall clock time (in seconds):4.192 o 67607 c Got one! Elapsed wall clock time (in seconds):4.24 o 67593 c Got one! Elapsed wall clock time (in seconds):4.298 o 67580 c Got one! Elapsed wall clock time (in seconds):4.345 o 67575 c Got one! Elapsed wall clock time (in seconds):4.396 o 67552 c Got one! Elapsed wall clock time (in seconds):4.445 o 67547 c Got one! Elapsed wall clock time (in seconds):4.517 o 67545 c Got one! Elapsed wall clock time (in seconds):4.58 o 67535 c Got one! Elapsed wall clock time (in seconds):4.639 o 67534 c Got one! Elapsed wall clock time (in seconds):4.689 o 67501 c Got one! Elapsed wall clock time (in seconds):4.779 o 67492 c Got one! Elapsed wall clock time (in seconds):4.823 o 67486 c Got one! Elapsed wall clock time (in seconds):4.867 o 67473 c Got one! Elapsed wall clock time (in seconds):4.918 o 67472 c Got one! Elapsed wall clock time (in seconds):4.967 o 67466 c Got one! Elapsed wall clock time (in seconds):5.017 o 67460 c Got one! Elapsed wall clock time (in seconds):5.058 o 67459 c Got one! Elapsed wall clock time (in seconds):5.112 o 67454 c Got one! Elapsed wall clock time (in seconds):5.16 o 67435 c Got one! Elapsed wall clock time (in seconds):5.204 o 67405 c Got one! Elapsed wall clock time (in seconds):5.254 o 67384 c Got one! Elapsed wall clock time (in seconds):5.3 o 67383 c Got one! Elapsed wall clock time (in seconds):5.351 o 67365 c Got one! Elapsed wall clock time (in seconds):5.412 o 67360 c Got one! Elapsed wall clock time (in seconds):5.485 o 67353 c Got one! Elapsed wall clock time (in seconds):5.55 o 67337 c Got one! Elapsed wall clock time (in seconds):5.614 o 67334 c Got one! Elapsed wall clock time (in seconds):5.684 o 67329 c Got one! Elapsed wall clock time (in seconds):5.753 o 67321 c Got one! Elapsed wall clock time (in seconds):5.823 o 67315 c Got one! Elapsed wall clock time (in seconds):5.888 o 67295 c Got one! Elapsed wall clock time (in seconds):5.96 o 67292 c Got one! Elapsed wall clock time (in seconds):6.091 o 67281 c Got one! Elapsed wall clock time (in seconds):6.156 o 67274 c Got one! Elapsed wall clock time (in seconds):6.226 o 67273 c Got one! Elapsed wall clock time (in seconds):6.307 o 67266 c Got one! Elapsed wall clock time (in seconds):6.384 o 67254 c Got one! Elapsed wall clock time (in seconds):6.447 o 67245 c Got one! Elapsed wall clock time (in seconds):6.523 o 67238 c Got one! Elapsed wall clock time (in seconds):6.609 o 67229 c Got one! Elapsed wall clock time (in seconds):6.676 o 67223 c Got one! Elapsed wall clock time (in seconds):6.734 o 67215 c Got one! Elapsed wall clock time (in seconds):6.81 o 67212 c Got one! Elapsed wall clock time (in seconds):6.898 o 67201 c Got one! Elapsed wall clock time (in seconds):6.979 o 67189 c Got one! Elapsed wall clock time (in seconds):7.051 o 67183 c Got one! Elapsed wall clock time (in seconds):7.134 o 67182 c Got one! Elapsed wall clock time (in seconds):7.211 o 67164 c Got one! Elapsed wall clock time (in seconds):7.298 o 67163 c Got one! Elapsed wall clock time (in seconds):7.386 o 67160 c Got one! Elapsed wall clock time (in seconds):7.487 o 67153 c Got one! Elapsed wall clock time (in seconds):7.565 o 67150 c Got one! Elapsed wall clock time (in seconds):7.644 o 67135 c Got one! Elapsed wall clock time (in seconds):7.735 o 67125 c Got one! Elapsed wall clock time (in seconds):7.829 o 67121 c Got one! Elapsed wall clock time (in seconds):7.912 o 67099 c Got one! Elapsed wall clock time (in seconds):7.997 o 67079 c Got one! Elapsed wall clock time (in seconds):8.086 o 67072 c Got one! Elapsed wall clock time (in seconds):8.176 o 67051 c Got one! Elapsed wall clock time (in seconds):8.265 o 67050 c Got one! Elapsed wall clock time (in seconds):8.377 o 67038 c Got one! Elapsed wall clock time (in seconds):8.485 o 67037 c Got one! Elapsed wall clock time (in seconds):8.556 o 67034 c Got one! Elapsed wall clock time (in seconds):8.652 o 67027 c Got one! Elapsed wall clock time (in seconds):8.76 o 67024 c Got one! Elapsed wall clock time (in seconds):8.85 o 67018 c Got one! Elapsed wall clock time (in seconds):8.942 o 67011 c Got one! Elapsed wall clock time (in seconds):9.033 o 67010 c Got one! Elapsed wall clock time (in seconds):9.11 o 67009 c Got one! Elapsed wall clock time (in seconds):9.197 o 67002 c Got one! Elapsed wall clock time (in seconds):9.289 o 66979 c Got one! Elapsed wall clock time (in seconds):9.375 o 66975 c Got one! Elapsed wall clock time (in seconds):9.482 o 66957 c Got one! Elapsed wall clock time (in seconds):9.578 o 66954 c Got one! Elapsed wall clock time (in seconds):9.663 o 66945 c Got one! Elapsed wall clock time (in seconds):9.742 o 66928 c Got one! Elapsed wall clock time (in seconds):9.828 o 66925 c Got one! Elapsed wall clock time (in seconds):9.912 o 66912 c Got one! Elapsed wall clock time (in seconds):10.027 o 66909 c Got one! Elapsed wall clock time (in seconds):10.116 o 66895 c Got one! Elapsed wall clock time (in seconds):10.208 o 66891 c Got one! Elapsed wall clock time (in seconds):10.321 o 66882 c Got one! Elapsed wall clock time (in seconds):10.444 o 66878 c Got one! Elapsed wall clock time (in seconds):10.567 o 66869 c Got one! Elapsed wall clock time (in seconds):10.677 o 66865 c Got one! Elapsed wall clock time (in seconds):10.79 o 66854 c Got one! Elapsed wall clock time (in seconds):10.9 o 66846 c Got one! Elapsed wall clock time (in seconds):11.017 o 66842 c Got one! Elapsed wall clock time (in seconds):11.144 o 66838 c Got one! Elapsed wall clock time (in seconds):11.264 o 66830 c Got one! Elapsed wall clock time (in seconds):11.39 o 66826 c Got one! Elapsed wall clock time (in seconds):11.518 o 66814 c Got one! Elapsed wall clock time (in seconds):11.638 o 66813 c Got one! Elapsed wall clock time (in seconds):11.766 o 66812 c Got one! Elapsed wall clock time (in seconds):11.93 o 66810 c Got one! Elapsed wall clock time (in seconds):12.046 o 66802 c Got one! Elapsed wall clock time (in seconds):12.158 o 66800 c Got one! Elapsed wall clock time (in seconds):12.274 o 66798 c Got one! Elapsed wall clock time (in seconds):12.383 o 66795 c Got one! Elapsed wall clock time (in seconds):12.504 o 66790 c Got one! Elapsed wall clock time (in seconds):12.643 o 66789 c Got one! Elapsed wall clock time (in seconds):12.762 o 66788 c Got one! Elapsed wall clock time (in seconds):12.895 o 66777 c Got one! Elapsed wall clock time (in seconds):12.997 o 66773 c Got one! Elapsed wall clock time (in seconds):13.084 o 66770 c Got one! Elapsed wall clock time (in seconds):13.195 o 66768 c Got one! Elapsed wall clock time (in seconds):13.341 o 66763 c Got one! Elapsed wall clock time (in seconds):13.442 o 66753 c Got one! Elapsed wall clock time (in seconds):13.539 o 66748 c Got one! Elapsed wall clock time (in seconds):13.659 o 66747 c Got one! Elapsed wall clock time (in seconds):13.774 o 66740 c Got one! Elapsed wall clock time (in seconds):13.912 o 66733 c Got one! Elapsed wall clock time (in seconds):14.013 o 66730 c Got one! Elapsed wall clock time (in seconds):14.174 o 66725 c Got one! Elapsed wall clock time (in seconds):14.337 o 66718 c Got one! Elapsed wall clock time (in seconds):14.487 o 66715 c Got one! Elapsed wall clock time (in seconds):14.615 o 66712 c Got one! Elapsed wall clock time (in seconds):14.774 o 66711 c Got one! Elapsed wall clock time (in seconds):14.919 o 66707 c Got one! Elapsed wall clock time (in seconds):15.064 o 66703 c Got one! Elapsed wall clock time (in seconds):15.188 o 66702 c Got one! Elapsed wall clock time (in seconds):15.323 o 66688 c Got one! Elapsed wall clock time (in seconds):15.475 o 66676 c Got one! Elapsed wall clock time (in seconds):15.618 o 66673 c Got one! Elapsed wall clock time (in seconds):15.759 o 66659 c Got one! Elapsed wall clock time (in seconds):15.889 o 66653 c Got one! Elapsed wall clock time (in seconds):16.031 o 66650 c Got one! Elapsed wall clock time (in seconds):16.155 o 66643 c Got one! Elapsed wall clock time (in seconds):16.297 o 66635 c Got one! Elapsed wall clock time (in seconds):16.4 o 66631 c Got one! Elapsed wall clock time (in seconds):16.531 o 66630 c Got one! Elapsed wall clock time (in seconds):16.659 o 66626 c Got one! Elapsed wall clock time (in seconds):16.825 o 66625 c Got one! Elapsed wall clock time (in seconds):16.952 o 66624 c Got one! Elapsed wall clock time (in seconds):17.119 o 66617 c Got one! Elapsed wall clock time (in seconds):17.245 o 66615 c Got one! Elapsed wall clock time (in seconds):17.374 o 66595 c Got one! Elapsed wall clock time (in seconds):17.539 o 66588 c Got one! Elapsed wall clock time (in seconds):17.716 o 66579 c Got one! Elapsed wall clock time (in seconds):17.88 o 66576 c Got one! Elapsed wall clock time (in seconds):18.062 o 66574 c Got one! Elapsed wall clock time (in seconds):18.233 o 66562 c Got one! Elapsed wall clock time (in seconds):18.437 o 66556 c Got one! Elapsed wall clock time (in seconds):18.577 o 66554 c Got one! Elapsed wall clock time (in seconds):18.848 o 66549 c Got one! Elapsed wall clock time (in seconds):19.013 o 66548 c Got one! Elapsed wall clock time (in seconds):19.245 o 66547 c Got one! Elapsed wall clock time (in seconds):19.489 o 66540 c Got one! Elapsed wall clock time (in seconds):19.67 o 66538 c Got one! Elapsed wall clock time (in seconds):19.872 o 66537 c Got one! Elapsed wall clock time (in seconds):20.071 o 66530 c Got one! Elapsed wall clock time (in seconds):20.237 o 66529 c Got one! Elapsed wall clock time (in seconds):20.488 o 66528 c Got one! Elapsed wall clock time (in seconds):20.658 o 66521 c Got one! Elapsed wall clock time (in seconds):20.853 o 66520 c Got one! Elapsed wall clock time (in seconds):21.085 o 66519 c Got one! Elapsed wall clock time (in seconds):21.33 o 66518 c Got one! Elapsed wall clock time (in seconds):21.538 o 66516 c Got one! Elapsed wall clock time (in seconds):21.733 o 66513 c Got one! Elapsed wall clock time (in seconds):21.923 o 66506 c Got one! Elapsed wall clock time (in seconds):22.073 o 66504 c Got one! Elapsed wall clock time (in seconds):22.244 o 66498 c Got one! Elapsed wall clock time (in seconds):22.408 o 66495 c Got one! Elapsed wall clock time (in seconds):22.543 o 66494 c Got one! Elapsed wall clock time (in seconds):22.691 o 66491 c Got one! Elapsed wall clock time (in seconds):22.874 o 66484 c Got one! Elapsed wall clock time (in seconds):23.045 o 66483 c Got one! Elapsed wall clock time (in seconds):23.209 o 66481 c Got one! Elapsed wall clock time (in seconds):23.386 o 66479 c Got one! Elapsed wall clock time (in seconds):23.626 o 66471 c Got one! Elapsed wall clock time (in seconds):23.826 o 66464 c Got one! Elapsed wall clock time (in seconds):24.02 o 66462 c Got one! Elapsed wall clock time (in seconds):24.221 o 66455 c Got one! Elapsed wall clock time (in seconds):24.398 o 66451 c Got one! Elapsed wall clock time (in seconds):24.576 o 66449 c Got one! Elapsed wall clock time (in seconds):24.787 o 66443 c Got one! Elapsed wall clock time (in seconds):24.937 o 66442 c Got one! Elapsed wall clock time (in seconds):25.108 o 66434 c Got one! Elapsed wall clock time (in seconds):25.275 o 66431 c Got one! Elapsed wall clock time (in seconds):25.515 o 66428 c Got one! Elapsed wall clock time (in seconds):25.702 o 66425 c Got one! Elapsed wall clock time (in seconds):25.919 o 66418 c Got one! Elapsed wall clock time (in seconds):26.107 o 66416 c Got one! Elapsed wall clock time (in seconds):26.299 o 66414 c Got one! Elapsed wall clock time (in seconds):26.485 o 66413 c Got one! Elapsed wall clock time (in seconds):26.677 o 66406 c Got one! Elapsed wall clock time (in seconds):26.853 o 66403 c Got one! Elapsed wall clock time (in seconds):27.02 o 66401 c Got one! Elapsed wall clock time (in seconds):27.191 o 66400 c Got one! Elapsed wall clock time (in seconds):27.392 o 66391 c Got one! Elapsed wall clock time (in seconds):27.57 o 66390 c Got one! Elapsed wall clock time (in seconds):27.767 o 66389 c Got one! Elapsed wall clock time (in seconds):27.902 o 66385 c Got one! Elapsed wall clock time (in seconds):28.1 o 66383 c Got one! Elapsed wall clock time (in seconds):28.326 o 66379 c Got one! Elapsed wall clock time (in seconds):28.509 o 66375 c Got one! Elapsed wall clock time (in seconds):28.731 o 66374 c Got one! Elapsed wall clock time (in seconds):28.94 o 66372 c Got one! Elapsed wall clock time (in seconds):29.158 o 66370 c Got one! Elapsed wall clock time (in seconds):29.378 o 66366 c Got one! Elapsed wall clock time (in seconds):29.513 o 66359 c Got one! Elapsed wall clock time (in seconds):29.674 o 66353 c Got one! Elapsed wall clock time (in seconds):29.824 o 66349 c Got one! Elapsed wall clock time (in seconds):30.047 o 66345 c Got one! Elapsed wall clock time (in seconds):30.276 o 66344 c Got one! Elapsed wall clock time (in seconds):30.443 o 66336 c Got one! Elapsed wall clock time (in seconds):30.703 o 66332 c Got one! Elapsed wall clock time (in seconds):30.927 o 66325 c Got one! Elapsed wall clock time (in seconds):31.112 o 66324 c Got one! Elapsed wall clock time (in seconds):31.362 o 66322 c Got one! Elapsed wall clock time (in seconds):31.549 o 66317 c Got one! Elapsed wall clock time (in seconds):31.767 o 66313 c Got one! Elapsed wall clock time (in seconds):31.96 o 66303 c Got one! Elapsed wall clock time (in seconds):32.156 o 66297 c Got one! Elapsed wall clock time (in seconds):32.397 o 66288 c Got one! Elapsed wall clock time (in seconds):32.611 o 66286 c Got one! Elapsed wall clock time (in seconds):32.952 o 66281 c Got one! Elapsed wall clock time (in seconds):33.169 o 66275 c Got one! Elapsed wall clock time (in seconds):33.416 o 66274 c Got one! Elapsed wall clock time (in seconds):33.66 o 66270 c Got one! Elapsed wall clock time (in seconds):33.858 o 66266 c Got one! Elapsed wall clock time (in seconds):34.012 o 66260 c Got one! Elapsed wall clock time (in seconds):34.243 o 66257 c Got one! Elapsed wall clock time (in seconds):34.436 o 66250 c Got one! Elapsed wall clock time (in seconds):34.668 o 66248 c Got one! Elapsed wall clock time (in seconds):34.966 o 66247 c Got one! Elapsed wall clock time (in seconds):35.146 o 66246 c Got one! Elapsed wall clock time (in seconds):35.346 o 66245 c Got one! Elapsed wall clock time (in seconds):35.468 o 66244 c Got one! Elapsed wall clock time (in seconds):35.636 o 66241 c Got one! Elapsed wall clock time (in seconds):35.825 o 66229 c Got one! Elapsed wall clock time (in seconds):35.994 o 66226 c Got one! Elapsed wall clock time (in seconds):36.148 o 66223 c Got one! Elapsed wall clock time (in seconds):36.307 o 66217 c Got one! Elapsed wall clock time (in seconds):36.483 o 66215 c Got one! Elapsed wall clock time (in seconds):36.705 o 66212 c Got one! Elapsed wall clock time (in seconds):36.933 o 66205 c Got one! Elapsed wall clock time (in seconds):37.103 o 66197 c Got one! Elapsed wall clock time (in seconds):37.291 o 66190 c Got one! Elapsed wall clock time (in seconds):37.518 o 66178 c Got one! Elapsed wall clock time (in seconds):37.712 o 66171 c Got one! Elapsed wall clock time (in seconds):37.922 o 66166 c Got one! Elapsed wall clock time (in seconds):38.116 o 66161 c Got one! Elapsed wall clock time (in seconds):38.329 o 66156 c Got one! Elapsed wall clock time (in seconds):38.594 o 66151 c Got one! Elapsed wall clock time (in seconds):38.825 o 66149 c Got one! Elapsed wall clock time (in seconds):39.056 o 66140 c Got one! Elapsed wall clock time (in seconds):39.278 o 66133 c Got one! Elapsed wall clock time (in seconds):39.543 o 66130 c Got one! Elapsed wall clock time (in seconds):39.725 o 66121 c Got one! Elapsed wall clock time (in seconds):39.96 o 66114 c Got one! Elapsed wall clock time (in seconds):40.172 o 66113 c Got one! Elapsed wall clock time (in seconds):40.555 o 66109 c Got one! Elapsed wall clock time (in seconds):40.807 o 66105 c Got one! Elapsed wall clock time (in seconds):41.063 o 66100 c Got one! Elapsed wall clock time (in seconds):41.315 o 66098 c Got one! Elapsed wall clock time (in seconds):41.536 o 66097 c Got one! Elapsed wall clock time (in seconds):41.776 o 66090 c Got one! Elapsed wall clock time (in seconds):42.035 o 66087 c Got one! Elapsed wall clock time (in seconds):42.206 o 66084 c Got one! Elapsed wall clock time (in seconds):42.41 o 66080 c Got one! Elapsed wall clock time (in seconds):42.689 o 66077 c Got one! Elapsed wall clock time (in seconds):42.939 o 66071 c Got one! Elapsed wall clock time (in seconds):43.353 o 66064 c Got one! Elapsed wall clock time (in seconds):43.654 o 66062 c Got one! Elapsed wall clock time (in seconds):44.009 o 66061 c Got one! Elapsed wall clock time (in seconds):44.374 o 66059 c Got one! Elapsed wall clock time (in seconds):44.59 o 66045 c Got one! Elapsed wall clock time (in seconds):44.893 o 66043 c Got one! Elapsed wall clock time (in seconds):45.162 o 66038 c Got one! Elapsed wall clock time (in seconds):45.357 o 66036 c Got one! Elapsed wall clock time (in seconds):45.593 o 66035 c Got one! Elapsed wall clock time (in seconds):45.829 o 66025 c Got one! Elapsed wall clock time (in seconds):46.031 o 66020 c Got one! Elapsed wall clock time (in seconds):46.296 o 66017 c Got one! Elapsed wall clock time (in seconds):46.538 o 66015 c Got one! Elapsed wall clock time (in seconds):46.733 o 66011 c Got one! Elapsed wall clock time (in seconds):46.986 o 66007 c Got one! Elapsed wall clock time (in seconds):47.282 o 66002 c Got one! Elapsed wall clock time (in seconds):47.566 o 65996 c Got one! Elapsed wall clock time (in seconds):47.844 o 65992 c Got one! Elapsed wall clock time (in seconds):48.09 o 65983 c Got one! Elapsed wall clock time (in seconds):48.366 o 65982 c Got one! Elapsed wall clock time (in seconds):48.607 o 65980 c Got one! Elapsed wall clock time (in seconds):48.899 o 65978 c Got one! Elapsed wall clock time (in seconds):49.172 o 65970 c Got one! Elapsed wall clock time (in seconds):49.477 o 65965 c Got one! Elapsed wall clock time (in seconds):49.671 o 65960 c Got one! Elapsed wall clock time (in seconds):49.941 o 65957 c Got one! Elapsed wall clock time (in seconds):50.344 o 65953 c Got one! Elapsed wall clock time (in seconds):50.621 o 65951 c Got one! Elapsed wall clock time (in seconds):50.871 o 65950 c Got one! Elapsed wall clock time (in seconds):51.237 o 65943 c Got one! Elapsed wall clock time (in seconds):51.552 o 65942 c Got one! Elapsed wall clock time (in seconds):51.848 o 65940 c Got one! Elapsed wall clock time (in seconds):52.07 o 65936 c Got one! Elapsed wall clock time (in seconds):52.448 o 65932 c Got one! Elapsed wall clock time (in seconds):52.857 o 65930 c Got one! Elapsed wall clock time (in seconds):53.117 o 65926 c Got one! Elapsed wall clock time (in seconds):53.404 o 65920 c Got one! Elapsed wall clock time (in seconds):53.692 o 65912 c Got one! Elapsed wall clock time (in seconds):53.902 o 65910 c Got one! Elapsed wall clock time (in seconds):54.288 o 65909 c Got one! Elapsed wall clock time (in seconds):54.619 o 65908 c Got one! Elapsed wall clock time (in seconds):54.869 o 65899 c Got one! Elapsed wall clock time (in seconds):55.256 o 65892 c Got one! Elapsed wall clock time (in seconds):55.557 o 65888 c Got one! Elapsed wall clock time (in seconds):55.918 o 65885 c Got one! Elapsed wall clock time (in seconds):56.23 o 65884 c Got one! Elapsed wall clock time (in seconds):56.567 o 65879 c Got one! Elapsed wall clock time (in seconds):56.911 o 65878 c Got one! Elapsed wall clock time (in seconds):57.221 o 65871 c Got one! Elapsed wall clock time (in seconds):57.514 o 65866 c Got one! Elapsed wall clock time (in seconds):57.78 o 65859 c Got one! Elapsed wall clock time (in seconds):58.04 o 65856 c Got one! Elapsed wall clock time (in seconds):58.341 o 65854 c Got one! Elapsed wall clock time (in seconds):58.671 o 65850 c Got one! Elapsed wall clock time (in seconds):58.915 o 65840 c Got one! Elapsed wall clock time (in seconds):59.231 o 65838 c Got one! Elapsed wall clock time (in seconds):59.461 o 65836 c Got one! Elapsed wall clock time (in seconds):59.797 o 65834 c Got one! Elapsed wall clock time (in seconds):60.015 o 65827 c Got one! Elapsed wall clock time (in seconds):60.285 o 65816 c Got one! Elapsed wall clock time (in seconds):60.54 o 65814 c Got one! Elapsed wall clock time (in seconds):60.787 o 65813 c Got one! Elapsed wall clock time (in seconds):61.054 o 65806 c Got one! Elapsed wall clock time (in seconds):61.339 o 65803 c Got one! Elapsed wall clock time (in seconds):61.649 o 65802 c Got one! Elapsed wall clock time (in seconds):61.964 o 65801 c Got one! Elapsed wall clock time (in seconds):62.258 o 65794 c Got one! Elapsed wall clock time (in seconds):62.588 o 65792 c Got one! Elapsed wall clock time (in seconds):62.885 o 65785 c Got one! Elapsed wall clock time (in seconds):63.225 o 65778 c Got one! Elapsed wall clock time (in seconds):63.495 o 65775 c Got one! Elapsed wall clock time (in seconds):63.848 o 65773 c Got one! Elapsed wall clock time (in seconds):64.141 o 65768 c Got one! Elapsed wall clock time (in seconds):64.415 o 65765 c Got one! Elapsed wall clock time (in seconds):64.756 o 65763 c Got one! Elapsed wall clock time (in seconds):65.062 o 65760 c Got one! Elapsed wall clock time (in seconds):65.372 o 65752 c Got one! Elapsed wall clock time (in seconds):65.708 o 65748 c Got one! Elapsed wall clock time (in seconds):65.988 o 65747 c Got one! Elapsed wall clock time (in seconds):66.274 o 65746 c Got one! Elapsed wall clock time (in seconds):66.491 o 65745 c Got one! Elapsed wall clock time (in seconds):66.716 o 65741 c Got one! Elapsed wall clock time (in seconds):67.028 o 65736 c Got one! Elapsed wall clock time (in seconds):67.336 o 65735 c Got one! Elapsed wall clock time (in seconds):67.646 o 65733 c Got one! Elapsed wall clock time (in seconds):67.911 o 65731 c Got one! Elapsed wall clock time (in seconds):68.183 o 65727 c Got one! Elapsed wall clock time (in seconds):68.416 o 65720 c Got one! Elapsed wall clock time (in seconds):68.727 o 65719 c Got one! Elapsed wall clock time (in seconds):69.014 o 65709 c Got one! Elapsed wall clock time (in seconds):69.382 o 65708 c Got one! Elapsed wall clock time (in seconds):69.663 o 65705 c Got one! Elapsed wall clock time (in seconds):69.998 o 65702 c Got one! Elapsed wall clock time (in seconds):70.198 o 65700 c Got one! Elapsed wall clock time (in seconds):70.595 o 65693 c Got one! Elapsed wall clock time (in seconds):71.058 o 65688 c Got one! Elapsed wall clock time (in seconds):71.42 o 65686 c Got one! Elapsed wall clock time (in seconds):71.778 o 65680 c Got one! Elapsed wall clock time (in seconds):72.175 o 65669 c Got one! Elapsed wall clock time (in seconds):72.468 o 65665 c Got one! Elapsed wall clock time (in seconds):72.77 o 65657 c Got one! Elapsed wall clock time (in seconds):73.09 o 65656 c Got one! Elapsed wall clock time (in seconds):73.453 o 65654 c Got one! Elapsed wall clock time (in seconds):73.777 o 65649 c Got one! Elapsed wall clock time (in seconds):74.098 o 65647 c Got one! Elapsed wall clock time (in seconds):74.55 o 65643 c Got one! Elapsed wall clock time (in seconds):74.971 o 65638 c Got one! Elapsed wall clock time (in seconds):75.339 o 65636 c Got one! Elapsed wall clock time (in seconds):75.723 o 65633 c Got one! Elapsed wall clock time (in seconds):75.98 o 65628 c Got one! Elapsed wall clock time (in seconds):76.401 o 65626 c Got one! Elapsed wall clock time (in seconds):76.641 o 65625 c Got one! Elapsed wall clock time (in seconds):76.944 o 65620 c Got one! Elapsed wall clock time (in seconds):77.188 o 65618 c Got one! Elapsed wall clock time (in seconds):77.491 o 65615 c Got one! Elapsed wall clock time (in seconds):77.704 o 65614 c Got one! Elapsed wall clock time (in seconds):77.984 o 65611 c Got one! Elapsed wall clock time (in seconds):78.319 o 65608 c Got one! Elapsed wall clock time (in seconds):78.565 o 65587 c Got one! Elapsed wall clock time (in seconds):78.801 o 65579 c Got one! Elapsed wall clock time (in seconds):79.163 o 65576 c Got one! Elapsed wall clock time (in seconds):79.406 o 65575 c Got one! Elapsed wall clock time (in seconds):79.938 o 65570 c Got one! Elapsed wall clock time (in seconds):80.355 o 65565 c Got one! Elapsed wall clock time (in seconds):80.728 o 65562 c Got one! Elapsed wall clock time (in seconds):81.176 o 65559 c Got one! Elapsed wall clock time (in seconds):81.611 o 65557 c Got one! Elapsed wall clock time (in seconds):82.104 o 65552 c Got one! Elapsed wall clock time (in seconds):82.425 o 65551 c Got one! Elapsed wall clock time (in seconds):82.901 o 65550 c Got one! Elapsed wall clock time (in seconds):83.354 o 65547 c Got one! Elapsed wall clock time (in seconds):83.685 o 65542 c Got one! Elapsed wall clock time (in seconds):84.017 o 65538 c Got one! Elapsed wall clock time (in seconds):84.341 o 65531 c Got one! Elapsed wall clock time (in seconds):84.812 o 65530 c Got one! Elapsed wall clock time (in seconds):85.068 o 65520 c Got one! Elapsed wall clock time (in seconds):85.427 o 65506 c Got one! Elapsed wall clock time (in seconds):85.73 o 65505 c Got one! Elapsed wall clock time (in seconds):85.998 o 65496 c Got one! Elapsed wall clock time (in seconds):86.353 o 65495 c Got one! Elapsed wall clock time (in seconds):86.631 o 65494 c Got one! Elapsed wall clock time (in seconds):86.905 o 65485 c Got one! Elapsed wall clock time (in seconds):87.239 o 65484 c Got one! Elapsed wall clock time (in seconds):87.462 o 65478 c Got one! Elapsed wall clock time (in seconds):87.968 o 65474 c Got one! Elapsed wall clock time (in seconds):88.337 o 65471 c Got one! Elapsed wall clock time (in seconds):88.743 o 65469 c Got one! Elapsed wall clock time (in seconds):89.022 o 65468 c Got one! Elapsed wall clock time (in seconds):89.313 o 65464 c Got one! Elapsed wall clock time (in seconds):89.632 o 65463 c Got one! Elapsed wall clock time (in seconds):89.837 o 65460 c Got one! Elapsed wall clock time (in seconds):90.227 o 65455 c Got one! Elapsed wall clock time (in seconds):90.585 o 65452 c Got one! Elapsed wall clock time (in seconds):90.919 o 65446 c Got one! Elapsed wall clock time (in seconds):91.243 o 65443 c Got one! Elapsed wall clock time (in seconds):91.597 o 65431 c Got one! Elapsed wall clock time (in seconds):91.903 o 65427 c Got one! Elapsed wall clock time (in seconds):92.194 o 65421 c Got one! Elapsed wall clock time (in seconds):92.486 o 65418 c Got one! Elapsed wall clock time (in seconds):92.942 o 65414 c Got one! Elapsed wall clock time (in seconds):93.216 o 65409 c Got one! Elapsed wall clock time (in seconds):93.509 o 65407 c Got one! Elapsed wall clock time (in seconds):93.85 o 65402 c Got one! Elapsed wall clock time (in seconds):94.273 o 65400 c Got one! Elapsed wall clock time (in seconds):94.644 o 65398 c Got one! Elapsed wall clock time (in seconds):94.897 o 65393 c Got one! Elapsed wall clock time (in seconds):95.227 o 65385 c Got one! Elapsed wall clock time (in seconds):95.495 o 65360 c Got one! Elapsed wall clock time (in seconds):95.788 o 65346 c Got one! Elapsed wall clock time (in seconds):96.351 o 65340 c Got one! Elapsed wall clock time (in seconds):96.718 o 65337 c Got one! Elapsed wall clock time (in seconds):96.973 o 65323 c Got one! Elapsed wall clock time (in seconds):97.327 o 65311 c Got one! Elapsed wall clock time (in seconds):97.644 o 65303 c Got one! Elapsed wall clock time (in seconds):97.935 o 65301 c Got one! Elapsed wall clock time (in seconds):98.176 o 65294 c Got one! Elapsed wall clock time (in seconds):98.419 o 65276 c Got one! Elapsed wall clock time (in seconds):98.729 o 65271 c Got one! Elapsed wall clock time (in seconds):99.024 o 65265 c Got one! Elapsed wall clock time (in seconds):99.232 o 65262 c Got one! Elapsed wall clock time (in seconds):99.68 o 65260 c Got one! Elapsed wall clock time (in seconds):100.047 o 65251 c Got one! Elapsed wall clock time (in seconds):100.324 o 65249 c Got one! Elapsed wall clock time (in seconds):100.612 o 65244 c Got one! Elapsed wall clock time (in seconds):100.95 o 65237 c Got one! Elapsed wall clock time (in seconds):101.25 o 65234 c Got one! Elapsed wall clock time (in seconds):101.516 o 65232 c Got one! Elapsed wall clock time (in seconds):101.887 o 65223 c Got one! Elapsed wall clock time (in seconds):102.22 o 65222 c Got one! Elapsed wall clock time (in seconds):102.559 o 65215 c Got one! Elapsed wall clock time (in seconds):102.81 o 65200 c Got one! Elapsed wall clock time (in seconds):103.081 o 65196 c Got one! Elapsed wall clock time (in seconds):103.363 o 65192 c Got one! Elapsed wall clock time (in seconds):103.652 o 65165 c Got one! Elapsed wall clock time (in seconds):103.891 o 65160 c Got one! Elapsed wall clock time (in seconds):104.182 o 65152 c Got one! Elapsed wall clock time (in seconds):104.493 o 65142 c Got one! Elapsed wall clock time (in seconds):104.759 o 65124 c Got one! Elapsed wall clock time (in seconds):104.961 o 65106 c Got one! Elapsed wall clock time (in seconds):105.304 o 65102 c Got one! Elapsed wall clock time (in seconds):105.66 o 65074 c Got one! Elapsed wall clock time (in seconds):106.022 o 65066 c Got one! Elapsed wall clock time (in seconds):106.331 o 65052 c Got one! Elapsed wall clock time (in seconds):106.614 o 65051 c Got one! Elapsed wall clock time (in seconds):106.913 o 65046 c Got one! Elapsed wall clock time (in seconds):107.248 o 65041 c Got one! Elapsed wall clock time (in seconds):107.542 o 65030 c Got one! Elapsed wall clock time (in seconds):107.831 o 65016 c Got one! Elapsed wall clock time (in seconds):108.043 o 64981 c Got one! Elapsed wall clock time (in seconds):108.453 o 64977 c Got one! Elapsed wall clock time (in seconds):108.797 o 64974 c Got one! Elapsed wall clock time (in seconds):109.126 o 64972 c Got one! Elapsed wall clock time (in seconds):109.431 o 64966 c Got one! Elapsed wall clock time (in seconds):109.704 o 64960 c Got one! Elapsed wall clock time (in seconds):110.009 o 64958 c Got one! Elapsed wall clock time (in seconds):110.334 o 64954 c Got one! Elapsed wall clock time (in seconds):110.636 o 64952 c Got one! Elapsed wall clock time (in seconds):110.908 o 64950 c Got one! Elapsed wall clock time (in seconds):111.203 o 64944 c Got one! Elapsed wall clock time (in seconds):111.69 o 64932 c Got one! Elapsed wall clock time (in seconds):112.023 o 64920 c Got one! Elapsed wall clock time (in seconds):112.305 o 64917 c Got one! Elapsed wall clock time (in seconds):112.628 o 64914 c Got one! Elapsed wall clock time (in seconds):112.956 o 64913 c Got one! Elapsed wall clock time (in seconds):113.285 o 64912 c Got one! Elapsed wall clock time (in seconds):113.608 o 64905 c Got one! Elapsed wall clock time (in seconds):113.923 o 64898 c Got one! Elapsed wall clock time (in seconds):114.281 o 64893 c Got one! Elapsed wall clock time (in seconds):114.657 o 64890 c Got one! Elapsed wall clock time (in seconds):114.908 o 64888 c Got one! Elapsed wall clock time (in seconds):115.272 o 64887 c Got one! Elapsed wall clock time (in seconds):115.559 o 64886 c Got one! Elapsed wall clock time (in seconds):115.905 o 64885 c Got one! Elapsed wall clock time (in seconds):116.272 o 64880 c Got one! Elapsed wall clock time (in seconds):116.521 o 64870 c Got one! Elapsed wall clock time (in seconds):116.828 o 64869 c Got one! Elapsed wall clock time (in seconds):117.127 o 64846 c Got one! Elapsed wall clock time (in seconds):117.408 o 64842 c Got one! Elapsed wall clock time (in seconds):117.73 o 64839 c Got one! Elapsed wall clock time (in seconds):118.195 o 64824 c Got one! Elapsed wall clock time (in seconds):118.601 o 64823 c Got one! Elapsed wall clock time (in seconds):119.013 o 64819 c Got one! Elapsed wall clock time (in seconds):119.32 o 64812 c Got one! Elapsed wall clock time (in seconds):119.625 o 64805 c Got one! Elapsed wall clock time (in seconds):119.939 o 64790 c Got one! Elapsed wall clock time (in seconds):120.26 o 64785 c Got one! Elapsed wall clock time (in seconds):120.565 o 64784 c Got one! Elapsed wall clock time (in seconds):120.898 o 64777 c Got one! Elapsed wall clock time (in seconds):121.228 o 64767 c Got one! Elapsed wall clock time (in seconds):121.565 o 64762 c Got one! Elapsed wall clock time (in seconds):121.859 o 64749 c Got one! Elapsed wall clock time (in seconds):122.106 o 64744 c Got one! Elapsed wall clock time (in seconds):122.419 o 64738 c Got one! Elapsed wall clock time (in seconds):122.724 o 64736 c Got one! Elapsed wall clock time (in seconds):123.015 o 64724 c Got one! Elapsed wall clock time (in seconds):123.272 o 64722 c Got one! Elapsed wall clock time (in seconds):123.606 o 64720 c Got one! Elapsed wall clock time (in seconds):123.825 o 64714 c Got one! Elapsed wall clock time (in seconds):124.116 o 64709 c Got one! Elapsed wall clock time (in seconds):124.38 o 64704 c Got one! Elapsed wall clock time (in seconds):124.645 o 64691 c Got one! Elapsed wall clock time (in seconds):125.1 o 64690 c Got one! Elapsed wall clock time (in seconds):125.402 o 64686 c Got one! Elapsed wall clock time (in seconds):125.708 o 64682 c Got one! Elapsed wall clock time (in seconds):126.042 o 64672 c Got one! Elapsed wall clock time (in seconds):126.353 o 64671 c Got one! Elapsed wall clock time (in seconds):126.632 o 64669 c Got one! Elapsed wall clock time (in seconds):127.062 o 64656 c Got one! Elapsed wall clock time (in seconds):127.336 o 64637 c Got one! Elapsed wall clock time (in seconds):127.716 o 64630 c Got one! Elapsed wall clock time (in seconds):128.496 o 64627 c Got one! Elapsed wall clock time (in seconds):129.04 o 64622 c Got one! Elapsed wall clock time (in seconds):129.502 o 64617 c Got one! Elapsed wall clock time (in seconds):130.012 o 64609 c Got one! Elapsed wall clock time (in seconds):130.438 o 64604 c Got one! Elapsed wall clock time (in seconds):130.831 o 64596 c Got one! Elapsed wall clock time (in seconds):131.38 o 64595 c Got one! Elapsed wall clock time (in seconds):131.788 o 64593 c Got one! Elapsed wall clock time (in seconds):132.21 o 64589 c Got one! Elapsed wall clock time (in seconds):132.772 o 64583 c Got one! Elapsed wall clock time (in seconds):133.222 o 64576 c Got one! Elapsed wall clock time (in seconds):133.559 o 64571 c Got one! Elapsed wall clock time (in seconds):133.933 o 64549 c Got one! Elapsed wall clock time (in seconds):134.324 o 64545 c Got one! Elapsed wall clock time (in seconds):134.634 o 64536 c Got one! Elapsed wall clock time (in seconds):135.143 o 64526 c Got one! Elapsed wall clock time (in seconds):135.462 o 64521 c Got one! Elapsed wall clock time (in seconds):135.89 o 64520 c Got one! Elapsed wall clock time (in seconds):136.128 o 64514 c Got one! Elapsed wall clock time (in seconds):136.354 o 64490 c Got one! Elapsed wall clock time (in seconds):136.774 o 64480 c Got one! Elapsed wall clock time (in seconds):137.087 o 64467 c Got one! Elapsed wall clock time (in seconds):137.402 o 64465 c Got one! Elapsed wall clock time (in seconds):137.673 o 64462 c Got one! Elapsed wall clock time (in seconds):137.927 o 64450 c Got one! Elapsed wall clock time (in seconds):138.157 o 64440 c Got one! Elapsed wall clock time (in seconds):138.392 o 64413 c Got one! Elapsed wall clock time (in seconds):138.703 o 64409 c Got one! Elapsed wall clock time (in seconds):138.986 o 64402 c Got one! Elapsed wall clock time (in seconds):139.461 o 64378 c Got one! Elapsed wall clock time (in seconds):140.197 o 64372 c Got one! Elapsed wall clock time (in seconds):140.619 o 64365 c Got one! Elapsed wall clock time (in seconds):141.147 o 64364 c Got one! Elapsed wall clock time (in seconds):141.556 o 64362 c Got one! Elapsed wall clock time (in seconds):142.162 o 64361 c Got one! Elapsed wall clock time (in seconds):142.739 o 64356 c Got one! Elapsed wall clock time (in seconds):143.164 o 64331 c Got one! Elapsed wall clock time (in seconds):143.714 o 64325 c Got one! Elapsed wall clock time (in seconds):144.054 o 64321 c Got one! Elapsed wall clock time (in seconds):144.37 o 64314 c Got one! Elapsed wall clock time (in seconds):144.826 o 64313 c Got one! Elapsed wall clock time (in seconds):145.135 o 64311 c Got one! Elapsed wall clock time (in seconds):145.532 o 64306 c Got one! Elapsed wall clock time (in seconds):145.969 o 64304 c Got one! Elapsed wall clock time (in seconds):146.335 o 64298 c Got one! Elapsed wall clock time (in seconds):146.585 o 64272 c Got one! Elapsed wall clock time (in seconds):147.372 o 64266 c Got one! Elapsed wall clock time (in seconds):147.966 o 64261 c Got one! Elapsed wall clock time (in seconds):148.446 o 64252 c Got one! Elapsed wall clock time (in seconds):149.06 o 64250 c Got one! Elapsed wall clock time (in seconds):149.591 o 64245 c Got one! Elapsed wall clock time (in seconds):150.157 o 64239 c Got one! Elapsed wall clock time (in seconds):150.685 o 64235 c Got one! Elapsed wall clock time (in seconds):151.299 o 64234 c Got one! Elapsed wall clock time (in seconds):151.879 o 64228 c Got one! Elapsed wall clock time (in seconds):152.536 o 64223 c Got one! Elapsed wall clock time (in seconds):152.949 o 64213 c Got one! Elapsed wall clock time (in seconds):153.517 o 64211 c Got one! Elapsed wall clock time (in seconds):154.081 o 64208 c Got one! Elapsed wall clock time (in seconds):154.803 o 64205 c Got one! Elapsed wall clock time (in seconds):155.368 o 64201 c Got one! Elapsed wall clock time (in seconds):155.904 o 64196 c Got one! Elapsed wall clock time (in seconds):156.336 o 64192 c Got one! Elapsed wall clock time (in seconds):156.912 o 64191 c Got one! Elapsed wall clock time (in seconds):157.401 o 64190 c Got one! Elapsed wall clock time (in seconds):157.836 o 64188 c Got one! Elapsed wall clock time (in seconds):158.239 o 64182 c Got one! Elapsed wall clock time (in seconds):158.682 o 64178 c Got one! Elapsed wall clock time (in seconds):159.018 o 64175 c Got one! Elapsed wall clock time (in seconds):159.356 o 64173 c Got one! Elapsed wall clock time (in seconds):159.612 o 64163 c Got one! Elapsed wall clock time (in seconds):160.188 o 64161 c Got one! Elapsed wall clock time (in seconds):160.656 o 64155 c Got one! Elapsed wall clock time (in seconds):161.226 o 64147 c Got one! Elapsed wall clock time (in seconds):161.656 o 64142 c Got one! Elapsed wall clock time (in seconds):162.082 o 64134 c Got one! Elapsed wall clock time (in seconds):162.62 o 64129 c Got one! Elapsed wall clock time (in seconds):163.074 o 64128 c Got one! Elapsed wall clock time (in seconds):163.615 o 64127 c Got one! Elapsed wall clock time (in seconds):163.954 o 64125 c Got one! Elapsed wall clock time (in seconds):164.293 o 64124 c Got one! Elapsed wall clock time (in seconds):164.605 o 64122 c Got one! Elapsed wall clock time (in seconds):165.021 o 64112 c Got one! Elapsed wall clock time (in seconds):165.552 o 64111 c Got one! Elapsed wall clock time (in seconds):165.921 o 64110 c Got one! Elapsed wall clock time (in seconds):166.639 o 64109 c Got one! Elapsed wall clock time (in seconds):167.191 o 64107 c Got one! Elapsed wall clock time (in seconds):167.602 o 64101 c Got one! Elapsed wall clock time (in seconds):167.993 o 64094 c Got one! Elapsed wall clock time (in seconds):168.41 o 64092 c Got one! Elapsed wall clock time (in seconds):168.821 o 64079 c Got one! Elapsed wall clock time (in seconds):169.265 o 64078 c Got one! Elapsed wall clock time (in seconds):169.68 o 64077 c Got one! Elapsed wall clock time (in seconds):170.123 o 64071 c Got one! Elapsed wall clock time (in seconds):170.419 o 64058 c Got one! Elapsed wall clock time (in seconds):170.686 o 64041 c Got one! Elapsed wall clock time (in seconds):171.042 o 64007 c Got one! Elapsed wall clock time (in seconds):171.594 o 64004 c Got one! Elapsed wall clock time (in seconds):171.895 o 64000 c Got one! Elapsed wall clock time (in seconds):172.22 o 63996 c Got one! Elapsed wall clock time (in seconds):172.551 o 63982 c Got one! Elapsed wall clock time (in seconds):172.954 o 63961 c Got one! Elapsed wall clock time (in seconds):173.868 o 63955 c Got one! Elapsed wall clock time (in seconds):174.5 o 63948 c Got one! Elapsed wall clock time (in seconds):175.119 o 63942 c Got one! Elapsed wall clock time (in seconds):175.676 o 63939 c Got one! Elapsed wall clock time (in seconds):176.094 o 63931 c Got one! Elapsed wall clock time (in seconds):176.709 o 63925 c Got one! Elapsed wall clock time (in seconds):177.188 o 63919 c Got one! Elapsed wall clock time (in seconds):177.64 o 63916 c Got one! Elapsed wall clock time (in seconds):178.111 o 63914 c Got one! Elapsed wall clock time (in seconds):178.76 o 63907 c Got one! Elapsed wall clock time (in seconds):179.103 o 63892 c Got one! Elapsed wall clock time (in seconds):179.658 o 63890 c Got one! Elapsed wall clock time (in seconds):180.012 o 63889 c Got one! Elapsed wall clock time (in seconds):180.509 o 63885 c Got one! Elapsed wall clock time (in seconds):180.881 o 63883 c Got one! Elapsed wall clock time (in seconds):181.432 o 63880 c Got one! Elapsed wall clock time (in seconds):181.927 o 63879 c Got one! Elapsed wall clock time (in seconds):182.321 o 63877 c Got one! Elapsed wall clock time (in seconds):182.862 o 63870 c Got one! Elapsed wall clock time (in seconds):183.137 o 63868 c Got one! Elapsed wall clock time (in seconds):183.471 o 63867 c Got one! Elapsed wall clock time (in seconds):184.693 o 63866 c Got one! Elapsed wall clock time (in seconds):185.545 o 63864 c Got one! Elapsed wall clock time (in seconds):186.153 o 63863 c Got one! Elapsed wall clock time (in seconds):186.864 o 63858 c Got one! Elapsed wall clock time (in seconds):187.421 o 63855 c Got one! Elapsed wall clock time (in seconds):188.33 o 63852 c Got one! Elapsed wall clock time (in seconds):188.803 o 63842 c Got one! Elapsed wall clock time (in seconds):189.284 o 63841 c Got one! Elapsed wall clock time (in seconds):189.776 o 63840 c Got one! Elapsed wall clock time (in seconds):190.282 o 63832 c Got one! Elapsed wall clock time (in seconds):190.875 o 63827 c Got one! Elapsed wall clock time (in seconds):191.305 o 63823 c Got one! Elapsed wall clock time (in seconds):191.754 o 63821 c Got one! Elapsed wall clock time (in seconds):192.402 o 63816 c Got one! Elapsed wall clock time (in seconds):193.226 o 63815 c Got one! Elapsed wall clock time (in seconds):193.766 o 63810 c Got one! Elapsed wall clock time (in seconds):194.401 o 63805 c Got one! Elapsed wall clock time (in seconds):195.013 o 63804 c Got one! Elapsed wall clock time (in seconds):195.435 o 63781 c Got one! Elapsed wall clock time (in seconds):195.784 o 63768 c Got one! Elapsed wall clock time (in seconds):196.161 o 63767 c Got one! Elapsed wall clock time (in seconds):196.622 o 63765 c Got one! Elapsed wall clock time (in seconds):197.237 o 63763 c Got one! Elapsed wall clock time (in seconds):197.653 o 63757 c Got one! Elapsed wall clock time (in seconds):198.924 o 63756 c Got one! Elapsed wall clock time (in seconds):199.547 o 63752 c Got one! Elapsed wall clock time (in seconds):200.184 o 63746 c Got one! Elapsed wall clock time (in seconds):200.728 o 63745 c Got one! Elapsed wall clock time (in seconds):201.214 o 63729 c Got one! Elapsed wall clock time (in seconds):201.909 o 63728 c Got one! Elapsed wall clock time (in seconds):202.35 o 63727 c Got one! Elapsed wall clock time (in seconds):202.855 o 63721 c Got one! Elapsed wall clock time (in seconds):203.449 o 63720 c Got one! Elapsed wall clock time (in seconds):203.897 o 63717 c Got one! Elapsed wall clock time (in seconds):204.308 o 63713 c Got one! Elapsed wall clock time (in seconds):204.787 o 63705 c Got one! Elapsed wall clock time (in seconds):205.098 o 63700 c Got one! Elapsed wall clock time (in seconds):206.019 o 63694 c Got one! Elapsed wall clock time (in seconds):206.481 o 63656 c Got one! Elapsed wall clock time (in seconds):206.944 o 63653 c Got one! Elapsed wall clock time (in seconds):207.414 o 63649 c Got one! Elapsed wall clock time (in seconds):207.728 o 63647 c Got one! Elapsed wall clock time (in seconds):208.786 o 63644 c Got one! Elapsed wall clock time (in seconds):209.466 o 63642 c Got one! Elapsed wall clock time (in seconds):210.062 o 63640 c Got one! Elapsed wall clock time (in seconds):210.561 o 63636 c Got one! Elapsed wall clock time (in seconds):211.36 o 63633 c Got one! Elapsed wall clock time (in seconds):212.082 o 63632 c Got one! Elapsed wall clock time (in seconds):212.804 o 63630 c Got one! Elapsed wall clock time (in seconds):213.495 o 63627 c Got one! Elapsed wall clock time (in seconds):213.923 o 63620 c Got one! Elapsed wall clock time (in seconds):214.426 o 63582 c Got one! Elapsed wall clock time (in seconds):215.053 o 63580 c Got one! Elapsed wall clock time (in seconds):215.396 o 63579 c Got one! Elapsed wall clock time (in seconds):215.76 o 63573 c Got one! Elapsed wall clock time (in seconds):216.523 o 63572 c Got one! Elapsed wall clock time (in seconds):217.027 o 63568 c Got one! Elapsed wall clock time (in seconds):217.438 o 63567 c Got one! Elapsed wall clock time (in seconds):217.878 o 63565 c Got one! Elapsed wall clock time (in seconds):218.2 o 63549 c Got one! Elapsed wall clock time (in seconds):218.913 o 63545 c Got one! Elapsed wall clock time (in seconds):219.541 o 63538 c Got one! Elapsed wall clock time (in seconds):220.086 o 63536 c Got one! Elapsed wall clock time (in seconds):220.551 o 63535 c Got one! Elapsed wall clock time (in seconds):221.088 o 63530 c Got one! Elapsed wall clock time (in seconds):221.744 o 63529 c Got one! Elapsed wall clock time (in seconds):222.319 o 63527 c Got one! Elapsed wall clock time (in seconds):222.78 o 63521 c Got one! Elapsed wall clock time (in seconds):223.333 o 63520 c Got one! Elapsed wall clock time (in seconds):223.724 o 63514 c Got one! Elapsed wall clock time (in seconds):224.108 o 63511 c Got one! Elapsed wall clock time (in seconds):224.556 o 63510 c Got one! Elapsed wall clock time (in seconds):225.034 o 63502 c Got one! Elapsed wall clock time (in seconds):225.535 o 63498 c Got one! Elapsed wall clock time (in seconds):226.66 o 63497 c Got one! Elapsed wall clock time (in seconds):227.458 o 63493 c Got one! Elapsed wall clock time (in seconds):228.324 o 63491 c Got one! Elapsed wall clock time (in seconds):229.048 o 63487 c Got one! Elapsed wall clock time (in seconds):229.862 o 63483 c Got one! Elapsed wall clock time (in seconds):230.276 o 63482 c Got one! Elapsed wall clock time (in seconds):231.225 o 63480 c Got one! Elapsed wall clock time (in seconds):231.938 o 63477 c Got one! Elapsed wall clock time (in seconds):232.864 o 63475 c Got one! Elapsed wall clock time (in seconds):233.384 o 63468 c Got one! Elapsed wall clock time (in seconds):234.273 o 63465 c Got one! Elapsed wall clock time (in seconds):234.911 o 63461 c Got one! Elapsed wall clock time (in seconds):235.687 o 63460 c Got one! Elapsed wall clock time (in seconds):236.293 o 63458 c Got one! Elapsed wall clock time (in seconds):236.849 o 63457 c Got one! Elapsed wall clock time (in seconds):237.238 o 63453 c Got one! Elapsed wall clock time (in seconds):237.678 o 63452 c Got one! Elapsed wall clock time (in seconds):238.131 o 63446 c Got one! Elapsed wall clock time (in seconds):238.794 o 63444 c Got one! Elapsed wall clock time (in seconds):239.358 o 63443 c Got one! Elapsed wall clock time (in seconds):240.151 o 63436 c Got one! Elapsed wall clock time (in seconds):240.715 o 63432 c Got one! Elapsed wall clock time (in seconds):241.39 o 63427 c Got one! Elapsed wall clock time (in seconds):241.821 o 63421 c Got one! Elapsed wall clock time (in seconds):242.271 o 63420 c Got one! Elapsed wall clock time (in seconds):242.668 o 63415 c Got one! Elapsed wall clock time (in seconds):243.087 o 63412 c Got one! Elapsed wall clock time (in seconds):243.796 o 63408 c Got one! Elapsed wall clock time (in seconds):244.46 o 63402 c Got one! Elapsed wall clock time (in seconds):244.906 o 63400 c Got one! Elapsed wall clock time (in seconds):245.852 o 63397 c Got one! Elapsed wall clock time (in seconds):246.342 o 63382 c Got one! Elapsed wall clock time (in seconds):246.999 o 63376 c Got one! Elapsed wall clock time (in seconds):247.574 o 63374 c Got one! Elapsed wall clock time (in seconds):248.41 o 63369 c Got one! Elapsed wall clock time (in seconds):248.977 o 63367 c Got one! Elapsed wall clock time (in seconds):249.467 o 63362 c Got one! Elapsed wall clock time (in seconds):250.311 o 63360 c Got one! Elapsed wall clock time (in seconds):250.757 o 63354 c Got one! Elapsed wall clock time (in seconds):251.122 o 63314 c Got one! Elapsed wall clock time (in seconds):251.642 o 63312 c Got one! Elapsed wall clock time (in seconds):252.253 o 63306 c Got one! Elapsed wall clock time (in seconds):252.632 o 63283 c Got one! Elapsed wall clock time (in seconds):254.006 o 63281 c Got one! Elapsed wall clock time (in seconds):255.044 o 63277 c Got one! Elapsed wall clock time (in seconds):256.375 o 63276 c Got one! Elapsed wall clock time (in seconds):257.07 o 63269 c Got one! Elapsed wall clock time (in seconds):257.952 o 63264 c Got one! Elapsed wall clock time (in seconds):258.784 o 63261 c Got one! Elapsed wall clock time (in seconds):259.283 o 63238 c Got one! Elapsed wall clock time (in seconds):260.115 o 63234 c Got one! Elapsed wall clock time (in seconds):260.697 o 63210 c Got one! Elapsed wall clock time (in seconds):261.398 o 63206 c Got one! Elapsed wall clock time (in seconds):262.234 o 63203 c Got one! Elapsed wall clock time (in seconds):263.517 o 63202 c Got one! Elapsed wall clock time (in seconds):264.197 o 63199 c Got one! Elapsed wall clock time (in seconds):265.009 o 63197 c Got one! Elapsed wall clock time (in seconds):266.137 o 63194 c Got one! Elapsed wall clock time (in seconds):266.726 o 63188 c Got one! Elapsed wall clock time (in seconds):267.223 o 63179 c Got one! Elapsed wall clock time (in seconds):268.017 o 63170 c Got one! Elapsed wall clock time (in seconds):268.791 o 63164 c Got one! Elapsed wall clock time (in seconds):269.53 o 63160 c Got one! Elapsed wall clock time (in seconds):269.991 o 63118 c Got one! Elapsed wall clock time (in seconds):270.989 o 63111 c Got one! Elapsed wall clock time (in seconds):271.709 o 63110 c Got one! Elapsed wall clock time (in seconds):272.275 o 63093 c Got one! Elapsed wall clock time (in seconds):273.65 o 63092 c Got one! Elapsed wall clock time (in seconds):274.628 o 63090 c Got one! Elapsed wall clock time (in seconds):275.356 o 63082 c Got one! Elapsed wall clock time (in seconds):276.231 o 63078 c Got one! Elapsed wall clock time (in seconds):276.779 o 63048 c Got one! Elapsed wall clock time (in seconds):277.402 o 63045 c Got one! Elapsed wall clock time (in seconds):277.814 o 63039 c Got one! Elapsed wall clock time (in seconds):279.765 o 63038 c Got one! Elapsed wall clock time (in seconds):281.067 o 63037 c Got one! Elapsed wall clock time (in seconds):281.972 o 63034 c Got one! Elapsed wall clock time (in seconds):283.689 o 63031 c Got one! Elapsed wall clock time (in seconds):285.163 o 63024 c Got one! Elapsed wall clock time (in seconds):286.122 o 63012 c Got one! Elapsed wall clock time (in seconds):287.301 o 63011 c Got one! Elapsed wall clock time (in seconds):288.226 o 63006 c Got one! Elapsed wall clock time (in seconds):289.688 o 63001 c Got one! Elapsed wall clock time (in seconds):290.774 o 63000 c Got one! Elapsed wall clock time (in seconds):291.904 o 62993 c Got one! Elapsed wall clock time (in seconds):293.048 o 62987 c Got one! Elapsed wall clock time (in seconds):293.991 o 62983 c Got one! Elapsed wall clock time (in seconds):294.751 o 62981 c Got one! Elapsed wall clock time (in seconds):296.047 o 62979 c Got one! Elapsed wall clock time (in seconds):296.908 o 62970 c Got one! Elapsed wall clock time (in seconds):297.717 o 62969 c Got one! Elapsed wall clock time (in seconds):298.797 o 62968 c Got one! Elapsed wall clock time (in seconds):299.585 o 62961 c Got one! Elapsed wall clock time (in seconds):300.799 o 62960 c Got one! Elapsed wall clock time (in seconds):301.43 o 62950 c Got one! Elapsed wall clock time (in seconds):302.211 o 62949 c Got one! Elapsed wall clock time (in seconds):302.837 o 62940 c Got one! Elapsed wall clock time (in seconds):303.475 o 62937 c Got one! Elapsed wall clock time (in seconds):304.408 o 62935 c Got one! Elapsed wall clock time (in seconds):305.068 o 62913 c Got one! Elapsed wall clock time (in seconds):305.938 o 62912 c Got one! Elapsed wall clock time (in seconds):306.993 o 62909 c Got one! Elapsed wall clock time (in seconds):307.48 o 62900 c Got one! Elapsed wall clock time (in seconds):308.004 o 62891 c Got one! Elapsed wall clock time (in seconds):308.838 o 62890 c Got one! Elapsed wall clock time (in seconds):309.5 o 62884 c Got one! Elapsed wall clock time (in seconds):310.86 o 62883 c Got one! Elapsed wall clock time (in seconds):311.892 o 62881 c Got one! Elapsed wall clock time (in seconds):312.417 o 62855 c Got one! Elapsed wall clock time (in seconds):313.983 o 62852 c Got one! Elapsed wall clock time (in seconds):314.91 o 62848 c Got one! Elapsed wall clock time (in seconds):315.64 o 62837 c Got one! Elapsed wall clock time (in seconds):316.229 o 62830 c Got one! Elapsed wall clock time (in seconds):317.101 o 62829 c Got one! Elapsed wall clock time (in seconds):317.732 o 62823 c Got one! Elapsed wall clock time (in seconds):318.266 o 62805 c Got one! Elapsed wall clock time (in seconds):319.554 o 62803 c Got one! Elapsed wall clock time (in seconds):320.461 o 62802 c Got one! Elapsed wall clock time (in seconds):321.304 o 62799 c Got one! Elapsed wall clock time (in seconds):321.858 o 62797 c Got one! Elapsed wall clock time (in seconds):322.372 o 62795 c Got one! Elapsed wall clock time (in seconds):323.22 o 62791 c Got one! Elapsed wall clock time (in seconds):323.844 o 62774 c Got one! Elapsed wall clock time (in seconds):324.453 o 62773 c Got one! Elapsed wall clock time (in seconds):325.777 o 62772 c Got one! Elapsed wall clock time (in seconds):326.739 o 62771 c Got one! Elapsed wall clock time (in seconds):327.746 o 62769 c Got one! Elapsed wall clock time (in seconds):328.441 o 62746 c Got one! Elapsed wall clock time (in seconds):329.024 o 62736 c Got one! Elapsed wall clock time (in seconds):329.688 o 62705 c Got one! Elapsed wall clock time (in seconds):330.336 o 62689 c Got one! Elapsed wall clock time (in seconds):331.107 o 62686 c Got one! Elapsed wall clock time (in seconds):331.909 o 62683 c Got one! Elapsed wall clock time (in seconds):332.506 o 62682 c Got one! Elapsed wall clock time (in seconds):333.408 o 62674 c Got one! Elapsed wall clock time (in seconds):334.071 o 62673 c Got one! Elapsed wall clock time (in seconds):334.557 o 62662 c Got one! Elapsed wall clock time (in seconds):335.198 o 62657 c Got one! Elapsed wall clock time (in seconds):336.076 o 62655 c Got one! Elapsed wall clock time (in seconds):336.67 o 62639 c Got one! Elapsed wall clock time (in seconds):337.313 o 62636 c Got one! Elapsed wall clock time (in seconds):338.022 o 62635 c Got one! Elapsed wall clock time (in seconds):339.77 o 62631 c Got one! Elapsed wall clock time (in seconds):340.724 o 62630 c Got one! Elapsed wall clock time (in seconds):341.46 o 62629 c Got one! Elapsed wall clock time (in seconds):342.638 o 62628 c Got one! Elapsed wall clock time (in seconds):343.553 o 62623 c Got one! Elapsed wall clock time (in seconds):344.25 o 62622 c Got one! Elapsed wall clock time (in seconds):345.226 o 62621 c Got one! Elapsed wall clock time (in seconds):345.873 o 62618 c Got one! Elapsed wall clock time (in seconds):346.974 o 62615 c Got one! Elapsed wall clock time (in seconds):347.701 o 62607 c Got one! Elapsed wall clock time (in seconds):348.447 o 62604 c Got one! Elapsed wall clock time (in seconds):349.027 o 62592 c Got one! Elapsed wall clock time (in seconds):349.542 o 62588 c Got one! Elapsed wall clock time (in seconds):350.296 o 62583 c Got one! Elapsed wall clock time (in seconds):350.905 o 62582 c Got one! Elapsed wall clock time (in seconds):351.866 o 62581 c Got one! Elapsed wall clock time (in seconds):352.768 o 62580 c Got one! Elapsed wall clock time (in seconds):353.503 o 62577 c Got one! Elapsed wall clock time (in seconds):354.131 o 62572 c Got one! Elapsed wall clock time (in seconds):354.935 o 62568 c Got one! Elapsed wall clock time (in seconds):355.573 o 62562 c Got one! Elapsed wall clock time (in seconds):356.509 o 62559 c Got one! Elapsed wall clock time (in seconds):357.299 o 62558 c Got one! Elapsed wall clock time (in seconds):357.754 o 62532 c Got one! Elapsed wall clock time (in seconds):359.13 o 62529 c Got one! Elapsed wall clock time (in seconds):359.942 o 62519 c Got one! Elapsed wall clock time (in seconds):360.77 o 62510 c Got one! Elapsed wall clock time (in seconds):361.722 o 62505 c Got one! Elapsed wall clock time (in seconds):362.891 o 62504 c Got one! Elapsed wall clock time (in seconds):363.821 o 62500 c Got one! Elapsed wall clock time (in seconds):364.845 o 62493 c Got one! Elapsed wall clock time (in seconds):365.573 o 62490 c Got one! Elapsed wall clock time (in seconds):366.484 o 62484 c Got one! Elapsed wall clock time (in seconds):367.387 o 62478 c Got one! Elapsed wall clock time (in seconds):368.359 o 62476 c Got one! Elapsed wall clock time (in seconds):369.289 o 62469 c Got one! Elapsed wall clock time (in seconds):370.094 o 62466 c Got one! Elapsed wall clock time (in seconds):371.039 o 62457 c Got one! Elapsed wall clock time (in seconds):372.122 o 62452 c Got one! Elapsed wall clock time (in seconds):373.007 o 62449 c Got one! Elapsed wall clock time (in seconds):373.774 o 62448 c Got one! Elapsed wall clock time (in seconds):374.635 o 62445 c Got one! Elapsed wall clock time (in seconds):375.387 o 62444 c Got one! Elapsed wall clock time (in seconds):376.658 o 62441 c Got one! Elapsed wall clock time (in seconds):377.532 o 62435 c Got one! Elapsed wall clock time (in seconds):378.588 o 62428 c Got one! Elapsed wall clock time (in seconds):379.464 o 62424 c Got one! Elapsed wall clock time (in seconds):380.018 o 62415 c Got one! Elapsed wall clock time (in seconds):380.789 o 62409 c Got one! Elapsed wall clock time (in seconds):381.601 o 62404 c Got one! Elapsed wall clock time (in seconds):382.169 o 62401 c Got one! Elapsed wall clock time (in seconds):382.767 o 62399 c Got one! Elapsed wall clock time (in seconds):383.284 o 62398 c Got one! Elapsed wall clock time (in seconds):383.878 o 62393 c Got one! Elapsed wall clock time (in seconds):384.391 o 62389 c Got one! Elapsed wall clock time (in seconds):385.092 o 62379 c Got one! Elapsed wall clock time (in seconds):385.727 o 62377 c Got one! Elapsed wall clock time (in seconds):386.346 o 62374 c Got one! Elapsed wall clock time (in seconds):386.914 o 62368 c Got one! Elapsed wall clock time (in seconds):387.593 o 62363 c Got one! Elapsed wall clock time (in seconds):388.159 o 62361 c Got one! Elapsed wall clock time (in seconds):388.751 o 62354 c Got one! Elapsed wall clock time (in seconds):389.324 o 62350 c Got one! Elapsed wall clock time (in seconds):390.093 o 62346 c Got one! Elapsed wall clock time (in seconds):390.604 o 62343 c Got one! Elapsed wall clock time (in seconds):391.215 o 62342 c Got one! Elapsed wall clock time (in seconds):391.778 o 62338 c Got one! Elapsed wall clock time (in seconds):392.298 o 62337 c Got one! Elapsed wall clock time (in seconds):392.975 o 62332 c Got one! Elapsed wall clock time (in seconds):393.588 o 62329 c Got one! Elapsed wall clock time (in seconds):394.347 o 62325 c Got one! Elapsed wall clock time (in seconds):394.9 o 62306 c Got one! Elapsed wall clock time (in seconds):395.617 o 62303 c Got one! Elapsed wall clock time (in seconds):396.113 o 62301 c Got one! Elapsed wall clock time (in seconds):396.899 o 62296 c Got one! Elapsed wall clock time (in seconds):397.494 o 62295 c Got one! Elapsed wall clock time (in seconds):398.169 o 62294 c Got one! Elapsed wall clock time (in seconds):398.833 o 62284 c Got one! Elapsed wall clock time (in seconds):399.329 o 62279 c Got one! Elapsed wall clock time (in seconds):400.342 o 62274 c Got one! Elapsed wall clock time (in seconds):401.074 o 62272 c Got one! Elapsed wall clock time (in seconds):402.338 o 62271 c Got one! Elapsed wall clock time (in seconds):403.172 o 62265 c Got one! Elapsed wall clock time (in seconds):404.031 o 62258 c Got one! Elapsed wall clock time (in seconds):405.249 o 62257 c Got one! Elapsed wall clock time (in seconds):406.125 o 62252 c Got one! Elapsed wall clock time (in seconds):407.1 o 62248 c Got one! Elapsed wall clock time (in seconds):407.844 o 62236 c Got one! Elapsed wall clock time (in seconds):408.635 o 62231 c Got one! Elapsed wall clock time (in seconds):409.403 o 62186 c Got one! Elapsed wall clock time (in seconds):410.638 o 62183 c Got one! Elapsed wall clock time (in seconds):411.344 o 62182 c Got one! Elapsed wall clock time (in seconds):412.098 o 62174 c Got one! Elapsed wall clock time (in seconds):412.768 o 62134 c Got one! Elapsed wall clock time (in seconds):414.349 o 62132 c Got one! Elapsed wall clock time (in seconds):415.011 o 62127 c Got one! Elapsed wall clock time (in seconds):415.83 o 62124 c Got one! Elapsed wall clock time (in seconds):416.481 o 62109 c Got one! Elapsed wall clock time (in seconds):417.124 o 62108 c Got one! Elapsed wall clock time (in seconds):418.425 o 62107 c Got one! Elapsed wall clock time (in seconds):419.088 o 62093 c Got one! Elapsed wall clock time (in seconds):420.236 o 62084 c Got one! Elapsed wall clock time (in seconds):421.199 o 62080 c Got one! Elapsed wall clock time (in seconds):421.804 o 62077 c Got one! Elapsed wall clock time (in seconds):422.537 o 62076 c Got one! Elapsed wall clock time (in seconds):423.354 o 62071 c Got one! Elapsed wall clock time (in seconds):423.967 o 62057 c Got one! Elapsed wall clock time (in seconds):424.581 o 62050 c Got one! Elapsed wall clock time (in seconds):425.541 o 62046 c Got one! Elapsed wall clock time (in seconds):426.507 o 62040 c Got one! Elapsed wall clock time (in seconds):427.954 o 62034 c Got one! Elapsed wall clock time (in seconds):428.977 o 62029 c Got one! Elapsed wall clock time (in seconds):429.974 o 62022 c Got one! Elapsed wall clock time (in seconds):430.725 o 62001 c Got one! Elapsed wall clock time (in seconds):431.655 o 61997 c Got one! Elapsed wall clock time (in seconds):432.627 o 61994 c Got one! Elapsed wall clock time (in seconds):433.553 o 61988 c Got one! Elapsed wall clock time (in seconds):434.144 o 61968 c Got one! Elapsed wall clock time (in seconds):434.888 o 61964 c Got one! Elapsed wall clock time (in seconds):435.727 o 61963 c Got one! Elapsed wall clock time (in seconds):436.798 o 61962 c Got one! Elapsed wall clock time (in seconds):437.532 o 61928 c Got one! Elapsed wall clock time (in seconds):438.618 o 61926 c Got one! Elapsed wall clock time (in seconds):439.331 o 61898 c Got one! Elapsed wall clock time (in seconds):440.056 o 61894 c Got one! Elapsed wall clock time (in seconds):441.74 o 61892 c Got one! Elapsed wall clock time (in seconds):442.559 o 61886 c Got one! Elapsed wall clock time (in seconds):443.53 o 61880 c Got one! Elapsed wall clock time (in seconds):444.118 o 61846 c Got one! Elapsed wall clock time (in seconds):445.028 o 61844 c Got one! Elapsed wall clock time (in seconds):445.69 o 61833 c Got one! Elapsed wall clock time (in seconds):446.697 o 61831 c Got one! Elapsed wall clock time (in seconds):447.272 o 61824 c Got one! Elapsed wall clock time (in seconds):448.015 o 61823 c Got one! Elapsed wall clock time (in seconds):448.598 o 61822 c Got one! Elapsed wall clock time (in seconds):449.713 o 61818 c Got one! Elapsed wall clock time (in seconds):450.398 o 61796 c Got one! Elapsed wall clock time (in seconds):451.91 o 61792 c Got one! Elapsed wall clock time (in seconds):452.942 o 61789 c Got one! Elapsed wall clock time (in seconds):454.045 o 61783 c Got one! Elapsed wall clock time (in seconds):455.037 o 61782 c Got one! Elapsed wall clock time (in seconds):455.9 o 61780 c Got one! Elapsed wall clock time (in seconds):456.796 o 61769 c Got one! Elapsed wall clock time (in seconds):457.645 o 61765 c Got one! Elapsed wall clock time (in seconds):458.392 o 61761 c Got one! Elapsed wall clock time (in seconds):459.121 o 61757 c Got one! Elapsed wall clock time (in seconds):459.925 o 61724 c Got one! Elapsed wall clock time (in seconds):460.578 o 61722 c Got one! Elapsed wall clock time (in seconds):461.41 o 61720 c Got one! Elapsed wall clock time (in seconds):461.946 o 61715 c Got one! Elapsed wall clock time (in seconds):462.901 o 61709 c Got one! Elapsed wall clock time (in seconds):464.244 o 61706 c Got one! Elapsed wall clock time (in seconds):465.025 o 61704 c Got one! Elapsed wall clock time (in seconds):465.625 o 61703 c Got one! Elapsed wall clock time (in seconds):466.418 o 61700 c Got one! Elapsed wall clock time (in seconds):467.377 o 61699 c Got one! Elapsed wall clock time (in seconds):468.384 o 61697 c Got one! Elapsed wall clock time (in seconds):469.001 o 61696 c Got one! Elapsed wall clock time (in seconds):469.845 o 61689 c Got one! Elapsed wall clock time (in seconds):470.494 o 61654 c Got one! Elapsed wall clock time (in seconds):471.306 o 61653 c Got one! Elapsed wall clock time (in seconds):471.883 o 61647 c Got one! Elapsed wall clock time (in seconds):472.792 o 61646 c Got one! Elapsed wall clock time (in seconds):473.509 o 61639 c Got one! Elapsed wall clock time (in seconds):474.113 o 61618 c Got one! Elapsed wall clock time (in seconds):476.301 o 61615 c Got one! Elapsed wall clock time (in seconds):477.625 o 61613 c Got one! Elapsed wall clock time (in seconds):478.65 o 61611 c Got one! Elapsed wall clock time (in seconds):480.19 o 61608 c Got one! Elapsed wall clock time (in seconds):481.536 o 61606 c Got one! Elapsed wall clock time (in seconds):482.763 o 61593 c Got one! Elapsed wall clock time (in seconds):484.287 o 61590 c Got one! Elapsed wall clock time (in seconds):485.273 o 61586 c Got one! Elapsed wall clock time (in seconds):486.145 o 61570 c Got one! Elapsed wall clock time (in seconds):487.342 o 61569 c Got one! Elapsed wall clock time (in seconds):488.22 o 61567 c Got one! Elapsed wall clock time (in seconds):489.152 o 61552 c Got one! Elapsed wall clock time (in seconds):490.532 o 61545 c Got one! Elapsed wall clock time (in seconds):491.498 o 61536 c Got one! Elapsed wall clock time (in seconds):492.399 o 61533 c Got one! Elapsed wall clock time (in seconds):493.216 o 61532 c Got one! Elapsed wall clock time (in seconds):494.777 o 61530 c Got one! Elapsed wall clock time (in seconds):496.194 o 61529 c Got one! Elapsed wall clock time (in seconds):497.157 o 61528 c Got one! Elapsed wall clock time (in seconds):498.286 o 61522 c Got one! Elapsed wall clock time (in seconds):499.302 o 61521 c Got one! Elapsed wall clock time (in seconds):501.226 o 61516 c Got one! Elapsed wall clock time (in seconds):502.592 o 61511 c Got one! Elapsed wall clock time (in seconds):503.738 o 61503 c Got one! Elapsed wall clock time (in seconds):504.705 o 61496 c Got one! Elapsed wall clock time (in seconds):505.534 o 61483 c Got one! Elapsed wall clock time (in seconds):506.871 o 61482 c Got one! Elapsed wall clock time (in seconds):507.835 o 61480 c Got one! Elapsed wall clock time (in seconds):508.62 o 61475 c Got one! Elapsed wall clock time (in seconds):509.741 o 61474 c Got one! Elapsed wall clock time (in seconds):510.686 o 61470 c Got one! Elapsed wall clock time (in seconds):511.311 o 61463 c Got one! Elapsed wall clock time (in seconds):513.032 o 61461 c Got one! Elapsed wall clock time (in seconds):513.821 o 61458 c Got one! Elapsed wall clock time (in seconds):515.9 o 61457 c Got one! Elapsed wall clock time (in seconds):517.199 o 61450 c Got one! Elapsed wall clock time (in seconds):518.269 o 61441 c Got one! Elapsed wall clock time (in seconds):518.959 o 61404 c Got one! Elapsed wall clock time (in seconds):519.758 o 61401 c Got one! Elapsed wall clock time (in seconds):520.602 o 61395 c Got one! Elapsed wall clock time (in seconds):522.473 o 61394 c Got one! Elapsed wall clock time (in seconds):523.647 o 61370 c Got one! Elapsed wall clock time (in seconds):524.541 o 61361 c Got one! Elapsed wall clock time (in seconds):525.835 o 61355 c Got one! Elapsed wall clock time (in seconds):526.655 o 61352 c Got one! Elapsed wall clock time (in seconds):527.944 o 61351 c Got one! Elapsed wall clock time (in seconds):528.854 o 61348 c Got one! Elapsed wall clock time (in seconds):529.797 o 61347 c Got one! Elapsed wall clock time (in seconds):530.969 o 61341 c Got one! Elapsed wall clock time (in seconds):531.938 o 61339 c Got one! Elapsed wall clock time (in seconds):532.642 o 61313 c Got one! Elapsed wall clock time (in seconds):534.044 o 61309 c Got one! Elapsed wall clock time (in seconds):535.136 o 61307 c Got one! Elapsed wall clock time (in seconds):536.139 o 61303 c Got one! Elapsed wall clock time (in seconds):537.011 o 61299 c Got one! Elapsed wall clock time (in seconds):539.025 o 61298 c Got one! Elapsed wall clock time (in seconds):539.912 o 61294 c Got one! Elapsed wall clock time (in seconds):541.16 o 61285 c Got one! Elapsed wall clock time (in seconds):542.338 o 61284 c Got one! Elapsed wall clock time (in seconds):543.235 o 61282 c Got one! Elapsed wall clock time (in seconds):543.93 o 61277 c Got one! Elapsed wall clock time (in seconds):545.184 o 61276 c Got one! Elapsed wall clock time (in seconds):546.128 o 61275 c Got one! Elapsed wall clock time (in seconds):546.945 o 61273 c Got one! Elapsed wall clock time (in seconds):547.85 o 61267 c Got one! Elapsed wall clock time (in seconds):548.686 o 635 c Got one! Elapsed wall clock time (in seconds):549.144 o 632 c Got one! Elapsed wall clock time (in seconds):549.595 o 625 c Got one! Elapsed wall clock time (in seconds):549.615 o 394 c Got one! Elapsed wall clock time (in seconds):710.88 o 393 c Got one! Elapsed wall clock time (in seconds):731.335 o 384 c Got one! Elapsed wall clock time (in seconds):740.585 o 379 c Got one! Elapsed wall clock time (in seconds):890.1 o 370 c Got one! Elapsed wall clock time (in seconds):951.081 o 368 c Got one! Elapsed wall clock time (in seconds):986.249 o 367 c Got one! Elapsed wall clock time (in seconds):1148.526 o 354 c Got one! Elapsed wall clock time (in seconds):1211.22 o 347 c Got one! Elapsed wall clock time (in seconds):1294.017 o 337 c Got one! Elapsed wall clock time (in seconds):1325.619 o 335 c Got one! Elapsed wall clock time (in seconds):1342.638 o 334 c Got one! Elapsed wall clock time (in seconds):1390.739 o 328 c Got one! Elapsed wall clock time (in seconds):1411.738 o 319 c Got one! Elapsed wall clock time (in seconds):1497.971 o 318 c starts : 2518 c conflicts : 271925 c decisions : 1084844 c propagations : 10813893 c inspects : 2217611670 c learnt literals : 12 c learnt binary clauses : 64 c learnt ternary clauses : 209 c learnt clauses : 271912 c ignored clauses : 0 c root simplifications : 0 c removed literals (reason simplification) : 882848 c reason swapping (by a shorter reason) : 0 c Calls to reduceDB : 0 c speed (assignments/second) : 109790.17422027291 c non guided choices 4872 c learnt constraints type c org.sat4j.minisat.constraints.cnf.LearntHTClause => 271848 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 64 c constraints type c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 c org.sat4j.minisat.constraints.cnf.OriginalHTClause => 495 s OPTIMUM FOUND v -1 -2 3 -4 5 6 7 8 9 -10 11 12 -13 -14 -15 16 17 18 19 20 21 22 -23 -24 -25 26 27 28 -29 -30 31 -32 33 -34 35 36 37 -38 -39 40 41 -42 -43 44 -45 46 47 -48 49 50 -51 -52 53 54 -55 0 c objective function=318 c Total wall clock time (in seconds): 1596.63 1595.557u 0.618s 26:37.16 99.9% 0+0k 0+0io 1pf+0w