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_n12.ra1.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weighted_crafted/RAMSEY/ram_k3_n12.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_n12.ra1.wcnf
c reading problem ... 
c ... done. Wall clock time 0.146s.
c #vars     781
c #constraints  715
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalHTClause => 715
c OPTIMIZING...
c Got one! Elapsed wall clock time (in seconds):0.448
o 85686
c Got one! Elapsed wall clock time (in seconds):0.829
o 85683
c Got one! Elapsed wall clock time (in seconds):1.226
o 85681
c Got one! Elapsed wall clock time (in seconds):1.496
o 85674
c Got one! Elapsed wall clock time (in seconds):1.575
o 85671
c Got one! Elapsed wall clock time (in seconds):1.653
o 85669
c Got one! Elapsed wall clock time (in seconds):1.76
o 85666
c Got one! Elapsed wall clock time (in seconds):1.821
o 85663
c Got one! Elapsed wall clock time (in seconds):1.853
o 85660
c Got one! Elapsed wall clock time (in seconds):1.93
o 77233
c Got one! Elapsed wall clock time (in seconds):2.012
o 77231
c Got one! Elapsed wall clock time (in seconds):2.051
o 77223
c Got one! Elapsed wall clock time (in seconds):2.094
o 77217
c Got one! Elapsed wall clock time (in seconds):2.12
o 77199
c Got one! Elapsed wall clock time (in seconds):2.144
o 77198
c Got one! Elapsed wall clock time (in seconds):2.2
o 77191
c Got one! Elapsed wall clock time (in seconds):2.348
o 59936
c Got one! Elapsed wall clock time (in seconds):2.395
o 59928
c Got one! Elapsed wall clock time (in seconds):2.422
o 59921
c Got one! Elapsed wall clock time (in seconds):2.463
o 59910
c Got one! Elapsed wall clock time (in seconds):2.532
o 59893
c Got one! Elapsed wall clock time (in seconds):2.604
o 59883
c Got one! Elapsed wall clock time (in seconds):2.689
o 59854
c Got one! Elapsed wall clock time (in seconds):2.766
o 59839
c Got one! Elapsed wall clock time (in seconds):2.811
o 59833
c Got one! Elapsed wall clock time (in seconds):2.903
o 59825
c Got one! Elapsed wall clock time (in seconds):2.937
o 59823
c Got one! Elapsed wall clock time (in seconds):2.972
o 59822
c Got one! Elapsed wall clock time (in seconds):3.037
o 59821
c Got one! Elapsed wall clock time (in seconds):3.068
o 59818
c Got one! Elapsed wall clock time (in seconds):3.156
o 59815
c Got one! Elapsed wall clock time (in seconds):3.245
o 59814
c Got one! Elapsed wall clock time (in seconds):3.331
o 59811
c Got one! Elapsed wall clock time (in seconds):3.381
o 59810
c Got one! Elapsed wall clock time (in seconds):3.492
o 59807
c Got one! Elapsed wall clock time (in seconds):3.521
o 59806
c Got one! Elapsed wall clock time (in seconds):3.635
o 59805
c Got one! Elapsed wall clock time (in seconds):3.678
o 59803
c Got one! Elapsed wall clock time (in seconds):3.761
o 59800
c Got one! Elapsed wall clock time (in seconds):3.857
o 59793
c Got one! Elapsed wall clock time (in seconds):3.888
o 59792
c Got one! Elapsed wall clock time (in seconds):3.926
o 59789
c Got one! Elapsed wall clock time (in seconds):3.972
o 59787
c Got one! Elapsed wall clock time (in seconds):4.074
o 59764
c Got one! Elapsed wall clock time (in seconds):4.114
o 59763
c Got one! Elapsed wall clock time (in seconds):4.169
o 59757
c Got one! Elapsed wall clock time (in seconds):4.209
o 59754
c Got one! Elapsed wall clock time (in seconds):4.252
o 59745
c Got one! Elapsed wall clock time (in seconds):4.288
o 59739
c Got one! Elapsed wall clock time (in seconds):4.389
o 59723
c Got one! Elapsed wall clock time (in seconds):4.448
o 59715
c Got one! Elapsed wall clock time (in seconds):4.482
o 59708
c Got one! Elapsed wall clock time (in seconds):4.573
o 59686
c Got one! Elapsed wall clock time (in seconds):4.665
o 59671
c Got one! Elapsed wall clock time (in seconds):4.712
o 59663
c Got one! Elapsed wall clock time (in seconds):4.838
o 59662
c Got one! Elapsed wall clock time (in seconds):4.973
o 59661
c Got one! Elapsed wall clock time (in seconds):5.067
o 59631
c Got one! Elapsed wall clock time (in seconds):5.184
o 59622
c Got one! Elapsed wall clock time (in seconds):5.285
o 59620
c Got one! Elapsed wall clock time (in seconds):5.391
o 59614
c Got one! Elapsed wall clock time (in seconds):5.503
o 59610
c Got one! Elapsed wall clock time (in seconds):5.54
o 59609
c Got one! Elapsed wall clock time (in seconds):5.584
o 59606
c Got one! Elapsed wall clock time (in seconds):5.674
o 59600
c Got one! Elapsed wall clock time (in seconds):5.795
o 59578
c Got one! Elapsed wall clock time (in seconds):5.832
o 59576
c Got one! Elapsed wall clock time (in seconds):5.874
o 59574
c Got one! Elapsed wall clock time (in seconds):5.973
o 59365
c Got one! Elapsed wall clock time (in seconds):6.032
o 59359
c Got one! Elapsed wall clock time (in seconds):6.088
o 59357
c Got one! Elapsed wall clock time (in seconds):6.135
o 59352
c Got one! Elapsed wall clock time (in seconds):6.25
o 59342
c Got one! Elapsed wall clock time (in seconds):6.301
o 59341
c Got one! Elapsed wall clock time (in seconds):6.345
o 59321
c Got one! Elapsed wall clock time (in seconds):6.412
o 59315
c Got one! Elapsed wall clock time (in seconds):6.497
o 59314
c Got one! Elapsed wall clock time (in seconds):6.593
o 59313
c Got one! Elapsed wall clock time (in seconds):6.688
o 59309
c Got one! Elapsed wall clock time (in seconds):6.8
o 59308
c Got one! Elapsed wall clock time (in seconds):6.849
o 59301
c Got one! Elapsed wall clock time (in seconds):6.907
o 59289
c Got one! Elapsed wall clock time (in seconds):6.952
o 59287
c Got one! Elapsed wall clock time (in seconds):7.022
o 59284
c Got one! Elapsed wall clock time (in seconds):7.154
o 59265
c Got one! Elapsed wall clock time (in seconds):7.229
o 59260
c Got one! Elapsed wall clock time (in seconds):7.302
o 59254
c Got one! Elapsed wall clock time (in seconds):7.348
o 59252
c Got one! Elapsed wall clock time (in seconds):7.397
o 59251
c Got one! Elapsed wall clock time (in seconds):7.504
o 59249
c Got one! Elapsed wall clock time (in seconds):7.613
o 59245
c Got one! Elapsed wall clock time (in seconds):7.672
o 59239
c Got one! Elapsed wall clock time (in seconds):7.785
o 59226
c Got one! Elapsed wall clock time (in seconds):7.897
o 59215
c Got one! Elapsed wall clock time (in seconds):7.992
o 59214
c Got one! Elapsed wall clock time (in seconds):8.047
o 59212
c Got one! Elapsed wall clock time (in seconds):8.095
o 59198
c Got one! Elapsed wall clock time (in seconds):8.143
o 59195
c Got one! Elapsed wall clock time (in seconds):8.26
o 59191
c Got one! Elapsed wall clock time (in seconds):8.31
o 59188
c Got one! Elapsed wall clock time (in seconds):8.435
o 59185
c Got one! Elapsed wall clock time (in seconds):8.496
o 59184
c Got one! Elapsed wall clock time (in seconds):8.545
o 59180
c Got one! Elapsed wall clock time (in seconds):8.669
o 59178
c Got one! Elapsed wall clock time (in seconds):8.72
o 59175
c Got one! Elapsed wall clock time (in seconds):8.774
o 59169
c Got one! Elapsed wall clock time (in seconds):8.845
o 59168
c Got one! Elapsed wall clock time (in seconds):8.904
o 59163
c Got one! Elapsed wall clock time (in seconds):8.975
o 59159
c Got one! Elapsed wall clock time (in seconds):9.103
o 59150
c Got one! Elapsed wall clock time (in seconds):9.191
o 59149
c Got one! Elapsed wall clock time (in seconds):9.275
o 59147
c Got one! Elapsed wall clock time (in seconds):9.394
o 59143
c Got one! Elapsed wall clock time (in seconds):9.487
o 59138
c Got one! Elapsed wall clock time (in seconds):9.554
o 59137
c Got one! Elapsed wall clock time (in seconds):9.688
o 59113
c Got one! Elapsed wall clock time (in seconds):9.752
o 59110
c Got one! Elapsed wall clock time (in seconds):9.832
o 59109
c Got one! Elapsed wall clock time (in seconds):9.902
o 59108
c Got one! Elapsed wall clock time (in seconds):9.967
o 59107
c Got one! Elapsed wall clock time (in seconds):10.03
o 59104
c Got one! Elapsed wall clock time (in seconds):10.128
o 59103
c Got one! Elapsed wall clock time (in seconds):10.192
o 59097
c Got one! Elapsed wall clock time (in seconds):10.322
o 59096
c Got one! Elapsed wall clock time (in seconds):10.423
o 59087
c Got one! Elapsed wall clock time (in seconds):10.518
o 59084
c Got one! Elapsed wall clock time (in seconds):10.655
o 59083
c Got one! Elapsed wall clock time (in seconds):10.786
o 59075
c Got one! Elapsed wall clock time (in seconds):10.838
o 59074
c Got one! Elapsed wall clock time (in seconds):10.916
o 59072
c Got one! Elapsed wall clock time (in seconds):10.992
o 59071
c Got one! Elapsed wall clock time (in seconds):11.066
o 59068
c Got one! Elapsed wall clock time (in seconds):11.133
o 59063
c Got one! Elapsed wall clock time (in seconds):11.283
o 59052
c Got one! Elapsed wall clock time (in seconds):11.411
o 59048
c Got one! Elapsed wall clock time (in seconds):11.533
o 59047
c Got one! Elapsed wall clock time (in seconds):11.674
o 59046
c Got one! Elapsed wall clock time (in seconds):11.821
o 59041
c Got one! Elapsed wall clock time (in seconds):11.899
o 59035
c Got one! Elapsed wall clock time (in seconds):11.995
o 59033
c Got one! Elapsed wall clock time (in seconds):12.081
o 59032
c Got one! Elapsed wall clock time (in seconds):12.182
o 59023
c Got one! Elapsed wall clock time (in seconds):12.325
o 59022
c Got one! Elapsed wall clock time (in seconds):12.437
o 59020
c Got one! Elapsed wall clock time (in seconds):12.607
o 59019
c Got one! Elapsed wall clock time (in seconds):12.791
o 59017
c Got one! Elapsed wall clock time (in seconds):13.001
o 59016
c Got one! Elapsed wall clock time (in seconds):13.163
o 59014
c Got one! Elapsed wall clock time (in seconds):13.383
o 59012
c Got one! Elapsed wall clock time (in seconds):13.645
o 59010
c Got one! Elapsed wall clock time (in seconds):13.811
o 59008
c Got one! Elapsed wall clock time (in seconds):13.98
o 59007
c Got one! Elapsed wall clock time (in seconds):14.165
o 59004
c Got one! Elapsed wall clock time (in seconds):14.422
o 59001
c Got one! Elapsed wall clock time (in seconds):14.631
o 58997
c Got one! Elapsed wall clock time (in seconds):14.855
o 58994
c Got one! Elapsed wall clock time (in seconds):14.983
o 58993
c Got one! Elapsed wall clock time (in seconds):15.168
o 58992
c Got one! Elapsed wall clock time (in seconds):15.44
o 58991
c Got one! Elapsed wall clock time (in seconds):15.624
o 58989
c Got one! Elapsed wall clock time (in seconds):15.781
o 58988
c Got one! Elapsed wall clock time (in seconds):16.008
o 58987
c Got one! Elapsed wall clock time (in seconds):16.149
o 58985
c Got one! Elapsed wall clock time (in seconds):16.33
o 58984
c Got one! Elapsed wall clock time (in seconds):16.594
o 58983
c Got one! Elapsed wall clock time (in seconds):16.797
o 58982
c Got one! Elapsed wall clock time (in seconds):17.05
o 58979
c Got one! Elapsed wall clock time (in seconds):17.216
o 58978
c Got one! Elapsed wall clock time (in seconds):17.479
o 58977
c Got one! Elapsed wall clock time (in seconds):17.665
o 58976
c Got one! Elapsed wall clock time (in seconds):17.862
o 58973
c Got one! Elapsed wall clock time (in seconds):18.062
o 58972
c Got one! Elapsed wall clock time (in seconds):18.281
o 58971
c Got one! Elapsed wall clock time (in seconds):18.465
o 58970
c Got one! Elapsed wall clock time (in seconds):18.696
o 58969
c Got one! Elapsed wall clock time (in seconds):18.829
o 58968
c Got one! Elapsed wall clock time (in seconds):18.956
o 58966
c Got one! Elapsed wall clock time (in seconds):19.096
o 58965
c Got one! Elapsed wall clock time (in seconds):19.301
o 58955
c Got one! Elapsed wall clock time (in seconds):19.516
o 58954
c Got one! Elapsed wall clock time (in seconds):19.717
o 58950
c Got one! Elapsed wall clock time (in seconds):19.864
o 58945
c Got one! Elapsed wall clock time (in seconds):20.042
o 58939
c Got one! Elapsed wall clock time (in seconds):20.188
o 58937
c Got one! Elapsed wall clock time (in seconds):20.417
o 58933
c Got one! Elapsed wall clock time (in seconds):20.547
o 58932
c Got one! Elapsed wall clock time (in seconds):20.756
o 58930
c Got one! Elapsed wall clock time (in seconds):20.957
o 58929
c Got one! Elapsed wall clock time (in seconds):21.177
o 58928
c Got one! Elapsed wall clock time (in seconds):21.424
o 58927
c Got one! Elapsed wall clock time (in seconds):21.653
o 58926
c Got one! Elapsed wall clock time (in seconds):21.952
o 58923
c Got one! Elapsed wall clock time (in seconds):22.262
o 58922
c Got one! Elapsed wall clock time (in seconds):22.541
o 58921
c Got one! Elapsed wall clock time (in seconds):22.778
o 58919
c Got one! Elapsed wall clock time (in seconds):23.056
o 58915
c Got one! Elapsed wall clock time (in seconds):23.322
o 58914
c Got one! Elapsed wall clock time (in seconds):23.618
o 58911
c Got one! Elapsed wall clock time (in seconds):23.875
o 58910
c Got one! Elapsed wall clock time (in seconds):24.067
o 58909
c Got one! Elapsed wall clock time (in seconds):24.268
o 58907
c Got one! Elapsed wall clock time (in seconds):24.423
o 58905
c Got one! Elapsed wall clock time (in seconds):24.702
o 58903
c Got one! Elapsed wall clock time (in seconds):24.983
o 58902
c Got one! Elapsed wall clock time (in seconds):25.266
o 58901
c Got one! Elapsed wall clock time (in seconds):25.52
o 58900
c Got one! Elapsed wall clock time (in seconds):25.949
o 58899
c Got one! Elapsed wall clock time (in seconds):26.235
o 58898
c Got one! Elapsed wall clock time (in seconds):26.417
o 58897
c Got one! Elapsed wall clock time (in seconds):26.627
o 58893
c Got one! Elapsed wall clock time (in seconds):26.826
o 58892
c Got one! Elapsed wall clock time (in seconds):27.148
o 58884
c Got one! Elapsed wall clock time (in seconds):27.356
o 58881
c Got one! Elapsed wall clock time (in seconds):27.646
o 58880
c Got one! Elapsed wall clock time (in seconds):27.82
o 58879
c Got one! Elapsed wall clock time (in seconds):28.075
o 58878
c Got one! Elapsed wall clock time (in seconds):28.332
o 58876
c Got one! Elapsed wall clock time (in seconds):28.648
o 58875
c Got one! Elapsed wall clock time (in seconds):28.96
o 58874
c Got one! Elapsed wall clock time (in seconds):29.323
o 58872
c Got one! Elapsed wall clock time (in seconds):29.591
o 58870
c Got one! Elapsed wall clock time (in seconds):29.846
o 58869
c Got one! Elapsed wall clock time (in seconds):30.095
o 58867
c Got one! Elapsed wall clock time (in seconds):30.221
o 58865
c Got one! Elapsed wall clock time (in seconds):30.478
o 58856
c Got one! Elapsed wall clock time (in seconds):30.693
o 58855
c Got one! Elapsed wall clock time (in seconds):30.949
o 58853
c Got one! Elapsed wall clock time (in seconds):31.11
o 58852
c Got one! Elapsed wall clock time (in seconds):31.431
o 58850
c Got one! Elapsed wall clock time (in seconds):31.686
o 58849
c Got one! Elapsed wall clock time (in seconds):32.013
o 58848
c Got one! Elapsed wall clock time (in seconds):32.275
o 58846
c Got one! Elapsed wall clock time (in seconds):32.454
o 58845
c Got one! Elapsed wall clock time (in seconds):32.765
o 58844
c Got one! Elapsed wall clock time (in seconds):33.065
o 58843
c Got one! Elapsed wall clock time (in seconds):33.257
o 58842
c Got one! Elapsed wall clock time (in seconds):33.546
o 58838
c Got one! Elapsed wall clock time (in seconds):33.812
o 58837
c Got one! Elapsed wall clock time (in seconds):34.087
o 58835
c Got one! Elapsed wall clock time (in seconds):34.504
o 58834
c Got one! Elapsed wall clock time (in seconds):34.768
o 58833
c Got one! Elapsed wall clock time (in seconds):35.204
o 58832
c Got one! Elapsed wall clock time (in seconds):35.489
o 58831
c Got one! Elapsed wall clock time (in seconds):35.723
o 58828
c Got one! Elapsed wall clock time (in seconds):35.988
o 58827
c Got one! Elapsed wall clock time (in seconds):36.34
o 58826
c Got one! Elapsed wall clock time (in seconds):36.661
o 58825
c Got one! Elapsed wall clock time (in seconds):37.005
o 58824
c Got one! Elapsed wall clock time (in seconds):37.388
o 58823
c Got one! Elapsed wall clock time (in seconds):37.697
o 58822
c Got one! Elapsed wall clock time (in seconds):38.031
o 58821
c Got one! Elapsed wall clock time (in seconds):38.491
o 58820
c Got one! Elapsed wall clock time (in seconds):38.847
o 58819
c Got one! Elapsed wall clock time (in seconds):39.211
o 58818
c Got one! Elapsed wall clock time (in seconds):39.51
o 58817
c Got one! Elapsed wall clock time (in seconds):39.983
o 58816
c Got one! Elapsed wall clock time (in seconds):40.289
o 58814
c Got one! Elapsed wall clock time (in seconds):40.683
o 58813
c Got one! Elapsed wall clock time (in seconds):40.931
o 58812
c Got one! Elapsed wall clock time (in seconds):41.338
o 58811
c Got one! Elapsed wall clock time (in seconds):41.651
o 58810
c Got one! Elapsed wall clock time (in seconds):41.942
o 58808
c Got one! Elapsed wall clock time (in seconds):42.237
o 58807
c Got one! Elapsed wall clock time (in seconds):42.591
o 58805
c Got one! Elapsed wall clock time (in seconds):42.965
o 58804
c Got one! Elapsed wall clock time (in seconds):43.341
o 58803
c Got one! Elapsed wall clock time (in seconds):43.7
o 58802
c Got one! Elapsed wall clock time (in seconds):44.009
o 58801
c Got one! Elapsed wall clock time (in seconds):44.345
o 58800
c Got one! Elapsed wall clock time (in seconds):44.752
o 58799
c Got one! Elapsed wall clock time (in seconds):45.175
o 58798
c Got one! Elapsed wall clock time (in seconds):45.555
o 58796
c Got one! Elapsed wall clock time (in seconds):45.936
o 58795
c Got one! Elapsed wall clock time (in seconds):46.4
o 58794
c Got one! Elapsed wall clock time (in seconds):46.767
o 58793
c Got one! Elapsed wall clock time (in seconds):47.295
o 58791
c Got one! Elapsed wall clock time (in seconds):47.739
o 58789
c Got one! Elapsed wall clock time (in seconds):48.087
o 58787
c Got one! Elapsed wall clock time (in seconds):48.623
o 58786
c Got one! Elapsed wall clock time (in seconds):49.016
o 58785
c Got one! Elapsed wall clock time (in seconds):49.501
o 58784
c Got one! Elapsed wall clock time (in seconds):49.788
o 58782
c Got one! Elapsed wall clock time (in seconds):50.083
o 58780
c Got one! Elapsed wall clock time (in seconds):50.545
o 58779
c Got one! Elapsed wall clock time (in seconds):51.039
o 58778
c Got one! Elapsed wall clock time (in seconds):51.362
o 58776
c Got one! Elapsed wall clock time (in seconds):51.718
o 58775
c Got one! Elapsed wall clock time (in seconds):52.062
o 58773
c Got one! Elapsed wall clock time (in seconds):52.502
o 58772
c Got one! Elapsed wall clock time (in seconds):52.989
o 58771
c Got one! Elapsed wall clock time (in seconds):53.473
o 58770
c Got one! Elapsed wall clock time (in seconds):53.874
o 58767
c Got one! Elapsed wall clock time (in seconds):54.445
o 58766
c Got one! Elapsed wall clock time (in seconds):54.827
o 58765
c Got one! Elapsed wall clock time (in seconds):55.2
o 58763
c Got one! Elapsed wall clock time (in seconds):55.784
o 58761
c Got one! Elapsed wall clock time (in seconds):56.212
o 58760
c Got one! Elapsed wall clock time (in seconds):56.774
o 58758
c Got one! Elapsed wall clock time (in seconds):57.286
o 58757
c Got one! Elapsed wall clock time (in seconds):57.557
o 58754
c Got one! Elapsed wall clock time (in seconds):58.001
o 58753
c Got one! Elapsed wall clock time (in seconds):58.306
o 58751
c Got one! Elapsed wall clock time (in seconds):58.773
o 58750
c Got one! Elapsed wall clock time (in seconds):59.135
o 58749
c Got one! Elapsed wall clock time (in seconds):59.762
o 58747
c Got one! Elapsed wall clock time (in seconds):60.191
o 58746
c Got one! Elapsed wall clock time (in seconds):60.667
o 58745
c Got one! Elapsed wall clock time (in seconds):60.957
o 58742
c Got one! Elapsed wall clock time (in seconds):61.33
o 58741
c Got one! Elapsed wall clock time (in seconds):61.714
o 58740
c Got one! Elapsed wall clock time (in seconds):62.183
o 58736
c Got one! Elapsed wall clock time (in seconds):62.602
o 58735
c Got one! Elapsed wall clock time (in seconds):63.012
o 58733
c Got one! Elapsed wall clock time (in seconds):63.334
o 58732
c Got one! Elapsed wall clock time (in seconds):63.732
o 58731
c Got one! Elapsed wall clock time (in seconds):64.424
o 58730
c Got one! Elapsed wall clock time (in seconds):64.775
o 58729
c Got one! Elapsed wall clock time (in seconds):65.177
o 58728
c Got one! Elapsed wall clock time (in seconds):65.815
o 58726
c Got one! Elapsed wall clock time (in seconds):66.265
o 58725
c Got one! Elapsed wall clock time (in seconds):66.687
o 58724
c Got one! Elapsed wall clock time (in seconds):67.191
o 58723
c Got one! Elapsed wall clock time (in seconds):67.694
o 58722
c Got one! Elapsed wall clock time (in seconds):68.116
o 58721
c Got one! Elapsed wall clock time (in seconds):68.443
o 58720
c Got one! Elapsed wall clock time (in seconds):68.909
o 58718
c Got one! Elapsed wall clock time (in seconds):69.309
o 58717
c Got one! Elapsed wall clock time (in seconds):69.924
o 58716
c Got one! Elapsed wall clock time (in seconds):70.333
o 58715
c Got one! Elapsed wall clock time (in seconds):70.751
o 58714
c Got one! Elapsed wall clock time (in seconds):71.239
o 58713
c Got one! Elapsed wall clock time (in seconds):71.706
o 58712
c Got one! Elapsed wall clock time (in seconds):72.147
o 58711
c Got one! Elapsed wall clock time (in seconds):72.598
o 58709
c Got one! Elapsed wall clock time (in seconds):73.095
o 58708
c Got one! Elapsed wall clock time (in seconds):73.557
o 58707
c Got one! Elapsed wall clock time (in seconds):74.009
o 58705
c Got one! Elapsed wall clock time (in seconds):74.35
o 58700
c Got one! Elapsed wall clock time (in seconds):74.696
o 58699
c Got one! Elapsed wall clock time (in seconds):75.104
o 58698
c Got one! Elapsed wall clock time (in seconds):75.719
o 58697
c Got one! Elapsed wall clock time (in seconds):76.238
o 58695
c Got one! Elapsed wall clock time (in seconds):76.646
o 58692
c Got one! Elapsed wall clock time (in seconds):77.101
o 58691
c Got one! Elapsed wall clock time (in seconds):77.572
o 58690
c Got one! Elapsed wall clock time (in seconds):78.016
o 58688
c Got one! Elapsed wall clock time (in seconds):78.457
o 58687
c Got one! Elapsed wall clock time (in seconds):78.919
o 58686
c Got one! Elapsed wall clock time (in seconds):79.468
o 58685
c Got one! Elapsed wall clock time (in seconds):79.967
o 58683
c Got one! Elapsed wall clock time (in seconds):80.531
o 58681
c Got one! Elapsed wall clock time (in seconds):80.967
o 58676
c Got one! Elapsed wall clock time (in seconds):81.45
o 58675
c Got one! Elapsed wall clock time (in seconds):81.885
o 58670
c Got one! Elapsed wall clock time (in seconds):82.34
o 58668
c Got one! Elapsed wall clock time (in seconds):82.828
o 58667
c Got one! Elapsed wall clock time (in seconds):83.353
o 58666
c Got one! Elapsed wall clock time (in seconds):83.815
o 58665
c Got one! Elapsed wall clock time (in seconds):84.238
o 58659
c Got one! Elapsed wall clock time (in seconds):84.787
o 58655
c Got one! Elapsed wall clock time (in seconds):85.11
o 58654
c Got one! Elapsed wall clock time (in seconds):85.626
o 58653
c Got one! Elapsed wall clock time (in seconds):86.168
o 58650
c Got one! Elapsed wall clock time (in seconds):86.748
o 58649
c Got one! Elapsed wall clock time (in seconds):87.295
o 58648
c Got one! Elapsed wall clock time (in seconds):87.819
o 58647
c Got one! Elapsed wall clock time (in seconds):88.252
o 58646
c Got one! Elapsed wall clock time (in seconds):88.678
o 58645
c Got one! Elapsed wall clock time (in seconds):89.165
o 58644
c Got one! Elapsed wall clock time (in seconds):89.652
o 58643
c Got one! Elapsed wall clock time (in seconds):90.048
o 58637
c Got one! Elapsed wall clock time (in seconds):90.475
o 58635
c Got one! Elapsed wall clock time (in seconds):90.83
o 58631
c Got one! Elapsed wall clock time (in seconds):91.311
o 58628
c Got one! Elapsed wall clock time (in seconds):91.984
o 58626
c Got one! Elapsed wall clock time (in seconds):92.484
o 58622
c Got one! Elapsed wall clock time (in seconds):93.036
o 58621
c Got one! Elapsed wall clock time (in seconds):93.578
o 58619
c Got one! Elapsed wall clock time (in seconds):94.042
o 58617
c Got one! Elapsed wall clock time (in seconds):94.534
o 58615
c Got one! Elapsed wall clock time (in seconds):95.122
o 58613
c Got one! Elapsed wall clock time (in seconds):95.726
o 58606
c Got one! Elapsed wall clock time (in seconds):96.253
o 58605
c Got one! Elapsed wall clock time (in seconds):96.705
o 58603
c Got one! Elapsed wall clock time (in seconds):97.287
o 58596
c Got one! Elapsed wall clock time (in seconds):97.848
o 58589
c Got one! Elapsed wall clock time (in seconds):98.516
o 58588
c Got one! Elapsed wall clock time (in seconds):98.946
o 58587
c Got one! Elapsed wall clock time (in seconds):99.511
o 58584
c Got one! Elapsed wall clock time (in seconds):100.218
o 58583
c Got one! Elapsed wall clock time (in seconds):100.619
o 58580
c Got one! Elapsed wall clock time (in seconds):101.111
o 58577
c Got one! Elapsed wall clock time (in seconds):101.755
o 58576
c Got one! Elapsed wall clock time (in seconds):102.377
o 58575
c Got one! Elapsed wall clock time (in seconds):102.93
o 58571
c Got one! Elapsed wall clock time (in seconds):103.659
o 58569
c Got one! Elapsed wall clock time (in seconds):104.298
o 58567
c Got one! Elapsed wall clock time (in seconds):104.763
o 58563
c Got one! Elapsed wall clock time (in seconds):105.726
o 58562
c Got one! Elapsed wall clock time (in seconds):106.246
o 58557
c Got one! Elapsed wall clock time (in seconds):106.82
o 58554
c Got one! Elapsed wall clock time (in seconds):107.215
o 58551
c Got one! Elapsed wall clock time (in seconds):107.8
o 58549
c Got one! Elapsed wall clock time (in seconds):108.492
o 58547
c Got one! Elapsed wall clock time (in seconds):108.891
o 58545
c Got one! Elapsed wall clock time (in seconds):109.362
o 58542
c Got one! Elapsed wall clock time (in seconds):109.87
o 58540
c Got one! Elapsed wall clock time (in seconds):110.666
o 58539
c Got one! Elapsed wall clock time (in seconds):111.311
o 58538
c Got one! Elapsed wall clock time (in seconds):111.85
o 58536
c Got one! Elapsed wall clock time (in seconds):112.53
o 58535
c Got one! Elapsed wall clock time (in seconds):113.036
o 58534
c Got one! Elapsed wall clock time (in seconds):113.556
o 58533
c Got one! Elapsed wall clock time (in seconds):114.063
o 58532
c Got one! Elapsed wall clock time (in seconds):114.736
o 58531
c Got one! Elapsed wall clock time (in seconds):115.478
o 58530
c Got one! Elapsed wall clock time (in seconds):115.954
o 58528
c Got one! Elapsed wall clock time (in seconds):116.448
o 58527
c Got one! Elapsed wall clock time (in seconds):116.973
o 58526
c Got one! Elapsed wall clock time (in seconds):117.452
o 58523
c Got one! Elapsed wall clock time (in seconds):118.279
o 58522
c Got one! Elapsed wall clock time (in seconds):118.863
o 58520
c Got one! Elapsed wall clock time (in seconds):119.427
o 58515
c Got one! Elapsed wall clock time (in seconds):119.98
o 58514
c Got one! Elapsed wall clock time (in seconds):120.63
o 58513
c Got one! Elapsed wall clock time (in seconds):121.251
o 58512
c Got one! Elapsed wall clock time (in seconds):121.858
o 58507
c Got one! Elapsed wall clock time (in seconds):122.439
o 58506
c Got one! Elapsed wall clock time (in seconds):123.04
o 58504
c Got one! Elapsed wall clock time (in seconds):123.567
o 58501
c Got one! Elapsed wall clock time (in seconds):124.263
o 58499
c Got one! Elapsed wall clock time (in seconds):124.972
o 58498
c Got one! Elapsed wall clock time (in seconds):125.665
o 58497
c Got one! Elapsed wall clock time (in seconds):126.288
o 58494
c Got one! Elapsed wall clock time (in seconds):126.884
o 58492
c Got one! Elapsed wall clock time (in seconds):127.6
o 58489
c Got one! Elapsed wall clock time (in seconds):128.193
o 58488
c Got one! Elapsed wall clock time (in seconds):128.724
o 58486
c Got one! Elapsed wall clock time (in seconds):129.266
o 58475
c Got one! Elapsed wall clock time (in seconds):129.991
o 58472
c Got one! Elapsed wall clock time (in seconds):130.557
o 58470
c Got one! Elapsed wall clock time (in seconds):131.316
o 58468
c Got one! Elapsed wall clock time (in seconds):131.861
o 58465
c Got one! Elapsed wall clock time (in seconds):132.735
o 58461
c Got one! Elapsed wall clock time (in seconds):133.662
o 58460
c Got one! Elapsed wall clock time (in seconds):134.566
o 58458
c Got one! Elapsed wall clock time (in seconds):135.468
o 58457
c Got one! Elapsed wall clock time (in seconds):136.266
o 58455
c Got one! Elapsed wall clock time (in seconds):136.923
o 58454
c Got one! Elapsed wall clock time (in seconds):137.765
o 58452
c Got one! Elapsed wall clock time (in seconds):138.468
o 58450
c Got one! Elapsed wall clock time (in seconds):138.987
o 58449
c Got one! Elapsed wall clock time (in seconds):139.462
o 58446
c Got one! Elapsed wall clock time (in seconds):139.946
o 58445
c Got one! Elapsed wall clock time (in seconds):140.684
o 58444
c Got one! Elapsed wall clock time (in seconds):141.293
o 58443
c Got one! Elapsed wall clock time (in seconds):141.816
o 58442
c Got one! Elapsed wall clock time (in seconds):142.415
o 58441
c Got one! Elapsed wall clock time (in seconds):143.09
o 58440
c Got one! Elapsed wall clock time (in seconds):143.551
o 58439
c Got one! Elapsed wall clock time (in seconds):144.163
o 58437
c Got one! Elapsed wall clock time (in seconds):144.664
o 58436
c Got one! Elapsed wall clock time (in seconds):145.302
o 58434
c Got one! Elapsed wall clock time (in seconds):145.696
o 58430
c Got one! Elapsed wall clock time (in seconds):146.311
o 58426
c Got one! Elapsed wall clock time (in seconds):146.834
o 58425
c Got one! Elapsed wall clock time (in seconds):147.589
o 58424
c Got one! Elapsed wall clock time (in seconds):148.039
o 58422
c Got one! Elapsed wall clock time (in seconds):148.864
o 58421
c Got one! Elapsed wall clock time (in seconds):149.848
o 58420
c Got one! Elapsed wall clock time (in seconds):150.453
o 58419
c Got one! Elapsed wall clock time (in seconds):150.849
o 58415
c Got one! Elapsed wall clock time (in seconds):151.552
o 58414
c Got one! Elapsed wall clock time (in seconds):151.994
o 58407
c Got one! Elapsed wall clock time (in seconds):152.553
o 58406
c Got one! Elapsed wall clock time (in seconds):153.167
o 58404
c Got one! Elapsed wall clock time (in seconds):153.704
o 58403
c Got one! Elapsed wall clock time (in seconds):154.255
o 58402
c Got one! Elapsed wall clock time (in seconds):154.845
o 58401
c Got one! Elapsed wall clock time (in seconds):155.627
o 58400
c Got one! Elapsed wall clock time (in seconds):156.369
o 58399
c Got one! Elapsed wall clock time (in seconds):157.004
o 58396
c Got one! Elapsed wall clock time (in seconds):157.717
o 58394
c Got one! Elapsed wall clock time (in seconds):158.183
o 58393
c Got one! Elapsed wall clock time (in seconds):158.827
o 58389
c Got one! Elapsed wall clock time (in seconds):159.545
o 58387
c Got one! Elapsed wall clock time (in seconds):160.052
o 58385
c Got one! Elapsed wall clock time (in seconds):160.605
o 58384
c Got one! Elapsed wall clock time (in seconds):161.098
o 58383
c Got one! Elapsed wall clock time (in seconds):161.766
o 58379
c Got one! Elapsed wall clock time (in seconds):162.601
o 58378
c Got one! Elapsed wall clock time (in seconds):163.24
o 58376
c Got one! Elapsed wall clock time (in seconds):163.732
o 58372
c Got one! Elapsed wall clock time (in seconds):164.33
o 58370
c Got one! Elapsed wall clock time (in seconds):164.829
o 58369
c Got one! Elapsed wall clock time (in seconds):165.416
o 58368
c Got one! Elapsed wall clock time (in seconds):165.902
o 58365
c Got one! Elapsed wall clock time (in seconds):166.46
o 58360
c Got one! Elapsed wall clock time (in seconds):167.17
o 58359
c Got one! Elapsed wall clock time (in seconds):167.744
o 58357
c Got one! Elapsed wall clock time (in seconds):168.175
o 58356
c Got one! Elapsed wall clock time (in seconds):168.721
o 58350
c Got one! Elapsed wall clock time (in seconds):169.166
o 58349
c Got one! Elapsed wall clock time (in seconds):169.654
o 58346
c Got one! Elapsed wall clock time (in seconds):170.183
o 58343
c Got one! Elapsed wall clock time (in seconds):170.665
o 58342
c Got one! Elapsed wall clock time (in seconds):171.142
o 58332
c Got one! Elapsed wall clock time (in seconds):172.1
o 58329
c Got one! Elapsed wall clock time (in seconds):172.7
o 58328
c Got one! Elapsed wall clock time (in seconds):173.174
o 58327
c Got one! Elapsed wall clock time (in seconds):173.667
o 58324
c Got one! Elapsed wall clock time (in seconds):174.154
o 58322
c Got one! Elapsed wall clock time (in seconds):174.812
o 58320
c Got one! Elapsed wall clock time (in seconds):175.204
o 58319
c Got one! Elapsed wall clock time (in seconds):176.271
o 58318
c Got one! Elapsed wall clock time (in seconds):177.066
o 58317
c Got one! Elapsed wall clock time (in seconds):177.731
o 58315
c Got one! Elapsed wall clock time (in seconds):178.488
o 58314
c Got one! Elapsed wall clock time (in seconds):179.175
o 58311
c Got one! Elapsed wall clock time (in seconds):179.742
o 58310
c Got one! Elapsed wall clock time (in seconds):180.29
o 58303
c Got one! Elapsed wall clock time (in seconds):181.027
o 58301
c Got one! Elapsed wall clock time (in seconds):181.59
o 58300
c Got one! Elapsed wall clock time (in seconds):182.263
o 58299
c Got one! Elapsed wall clock time (in seconds):182.958
o 58298
c Got one! Elapsed wall clock time (in seconds):183.4
o 58295
c Got one! Elapsed wall clock time (in seconds):184.145
o 58292
c Got one! Elapsed wall clock time (in seconds):184.989
o 58291
c Got one! Elapsed wall clock time (in seconds):185.562
o 58290
c Got one! Elapsed wall clock time (in seconds):185.967
o 58288
c Got one! Elapsed wall clock time (in seconds):186.517
o 58279
c Got one! Elapsed wall clock time (in seconds):186.994
o 58277
c Got one! Elapsed wall clock time (in seconds):187.696
o 58276
c Got one! Elapsed wall clock time (in seconds):188.492
o 58275
c Got one! Elapsed wall clock time (in seconds):189.356
o 58274
c Got one! Elapsed wall clock time (in seconds):190.192
o 58271
c Got one! Elapsed wall clock time (in seconds):190.867
o 58270
c Got one! Elapsed wall clock time (in seconds):191.519
o 58269
c Got one! Elapsed wall clock time (in seconds):192.074
o 58265
c Got one! Elapsed wall clock time (in seconds):192.559
o 58264
c Got one! Elapsed wall clock time (in seconds):193.21
o 58263
c Got one! Elapsed wall clock time (in seconds):193.87
o 58260
c Got one! Elapsed wall clock time (in seconds):194.516
o 58259
c Got one! Elapsed wall clock time (in seconds):195.321
o 58258
c Got one! Elapsed wall clock time (in seconds):195.895
o 58253
c Got one! Elapsed wall clock time (in seconds):196.451
o 58252
c Got one! Elapsed wall clock time (in seconds):197.291
o 58250
c Got one! Elapsed wall clock time (in seconds):197.763
o 58249
c Got one! Elapsed wall clock time (in seconds):198.566
o 58248
c Got one! Elapsed wall clock time (in seconds):199.095
o 58247
c Got one! Elapsed wall clock time (in seconds):199.783
o 58245
c Got one! Elapsed wall clock time (in seconds):200.426
o 58244
c Got one! Elapsed wall clock time (in seconds):201.056
o 58240
c Got one! Elapsed wall clock time (in seconds):201.806
o 58236
c Got one! Elapsed wall clock time (in seconds):202.299
o 58235
c Got one! Elapsed wall clock time (in seconds):202.833
o 58234
c Got one! Elapsed wall clock time (in seconds):203.737
o 58232
c Got one! Elapsed wall clock time (in seconds):204.414
o 58231
c Got one! Elapsed wall clock time (in seconds):205.178
o 58225
c Got one! Elapsed wall clock time (in seconds):205.791
o 58221
c Got one! Elapsed wall clock time (in seconds):206.448
o 58219
c Got one! Elapsed wall clock time (in seconds):207.24
o 58218
c Got one! Elapsed wall clock time (in seconds):207.879
o 58213
c Got one! Elapsed wall clock time (in seconds):208.652
o 58210
c Got one! Elapsed wall clock time (in seconds):209.874
o 58209
c Got one! Elapsed wall clock time (in seconds):210.441
o 58208
c Got one! Elapsed wall clock time (in seconds):210.956
o 58203
c Got one! Elapsed wall clock time (in seconds):211.493
o 58202
c Got one! Elapsed wall clock time (in seconds):212.428
o 58201
c Got one! Elapsed wall clock time (in seconds):212.924
o 58182
c Got one! Elapsed wall clock time (in seconds):213.39
o 58174
c Got one! Elapsed wall clock time (in seconds):214.16
o 58166
c Got one! Elapsed wall clock time (in seconds):214.669
o 58160
c Got one! Elapsed wall clock time (in seconds):215.534
o 58159
c Got one! Elapsed wall clock time (in seconds):216.48
o 58158
c Got one! Elapsed wall clock time (in seconds):217.401
o 58157
c Got one! Elapsed wall clock time (in seconds):218.268
o 58155
c Got one! Elapsed wall clock time (in seconds):219.269
o 58154
c Got one! Elapsed wall clock time (in seconds):219.921
o 58153
c Got one! Elapsed wall clock time (in seconds):220.681
o 58151
c Got one! Elapsed wall clock time (in seconds):221.462
o 58150
c Got one! Elapsed wall clock time (in seconds):222.243
o 58149
c Got one! Elapsed wall clock time (in seconds):222.824
o 58139
c Got one! Elapsed wall clock time (in seconds):223.551
o 58138
c Got one! Elapsed wall clock time (in seconds):224.069
o 58133
c Got one! Elapsed wall clock time (in seconds):224.852
o 58131
c Got one! Elapsed wall clock time (in seconds):225.355
o 58130
c Got one! Elapsed wall clock time (in seconds):226.26
o 58129
c Got one! Elapsed wall clock time (in seconds):226.831
o 58127
c Got one! Elapsed wall clock time (in seconds):227.448
o 58121
c Got one! Elapsed wall clock time (in seconds):228.259
o 58118
c Got one! Elapsed wall clock time (in seconds):228.85
o 58115
c Got one! Elapsed wall clock time (in seconds):229.567
o 58114
c Got one! Elapsed wall clock time (in seconds):230.131
o 58113
c Got one! Elapsed wall clock time (in seconds):230.604
o 58110
c Got one! Elapsed wall clock time (in seconds):231.059
o 58109
c Got one! Elapsed wall clock time (in seconds):231.594
o 58108
c Got one! Elapsed wall clock time (in seconds):232.06
o 58104
c Got one! Elapsed wall clock time (in seconds):232.85
o 58103
c Got one! Elapsed wall clock time (in seconds):233.549
o 58102
c Got one! Elapsed wall clock time (in seconds):234.049
o 58101
c Got one! Elapsed wall clock time (in seconds):234.72
o 58099
c Got one! Elapsed wall clock time (in seconds):235.514
o 58091
c Got one! Elapsed wall clock time (in seconds):235.995
o 58089
c Got one! Elapsed wall clock time (in seconds):236.586
o 58088
c Got one! Elapsed wall clock time (in seconds):237.618
o 58087
c Got one! Elapsed wall clock time (in seconds):238.075
o 58085
c Got one! Elapsed wall clock time (in seconds):238.635
o 58076
c Got one! Elapsed wall clock time (in seconds):239.729
o 58073
c Got one! Elapsed wall clock time (in seconds):240.815
o 58071
c Got one! Elapsed wall clock time (in seconds):241.778
o 58070
c Got one! Elapsed wall clock time (in seconds):242.668
o 58067
c Got one! Elapsed wall clock time (in seconds):243.6
o 58066
c Got one! Elapsed wall clock time (in seconds):244.324
o 58064
c Got one! Elapsed wall clock time (in seconds):245.218
o 58063
c Got one! Elapsed wall clock time (in seconds):245.923
o 58059
c Got one! Elapsed wall clock time (in seconds):246.915
o 58058
c Got one! Elapsed wall clock time (in seconds):247.404
o 58057
c Got one! Elapsed wall clock time (in seconds):248.051
o 58055
c Got one! Elapsed wall clock time (in seconds):248.827
o 58054
c Got one! Elapsed wall clock time (in seconds):249.411
o 58050
c Got one! Elapsed wall clock time (in seconds):250.076
o 58049
c Got one! Elapsed wall clock time (in seconds):251.035
o 58043
c Got one! Elapsed wall clock time (in seconds):251.677
o 58042
c Got one! Elapsed wall clock time (in seconds):252.495
o 58041
c Got one! Elapsed wall clock time (in seconds):253.396
o 58040
c Got one! Elapsed wall clock time (in seconds):254.328
o 58039
c Got one! Elapsed wall clock time (in seconds):255.177
o 58037
c Got one! Elapsed wall clock time (in seconds):256.061
o 58036
c Got one! Elapsed wall clock time (in seconds):256.693
o 58035
c Got one! Elapsed wall clock time (in seconds):257.704
o 58033
c Got one! Elapsed wall clock time (in seconds):258.698
o 58032
c Got one! Elapsed wall clock time (in seconds):259.288
o 58026
c Got one! Elapsed wall clock time (in seconds):259.952
o 58019
c Got one! Elapsed wall clock time (in seconds):260.551
o 58018
c Got one! Elapsed wall clock time (in seconds):261.104
o 58015
c Got one! Elapsed wall clock time (in seconds):261.601
o 58012
c Got one! Elapsed wall clock time (in seconds):262.15
o 58011
c Got one! Elapsed wall clock time (in seconds):262.872
o 58009
c Got one! Elapsed wall clock time (in seconds):263.528
o 58008
c Got one! Elapsed wall clock time (in seconds):264.146
o 58007
c Got one! Elapsed wall clock time (in seconds):264.825
o 58006
c Got one! Elapsed wall clock time (in seconds):265.358
o 58005
c Got one! Elapsed wall clock time (in seconds):266.11
o 58001
c Got one! Elapsed wall clock time (in seconds):266.658
o 57999
c Got one! Elapsed wall clock time (in seconds):267.349
o 57994
c Got one! Elapsed wall clock time (in seconds):267.983
o 57991
c Got one! Elapsed wall clock time (in seconds):268.509
o 57985
c Got one! Elapsed wall clock time (in seconds):268.97
o 57984
c Got one! Elapsed wall clock time (in seconds):269.426
o 57982
c Got one! Elapsed wall clock time (in seconds):270.026
o 57981
c Got one! Elapsed wall clock time (in seconds):270.452
o 57966
c Got one! Elapsed wall clock time (in seconds):271.576
o 57965
c Got one! Elapsed wall clock time (in seconds):272.483
o 57964
c Got one! Elapsed wall clock time (in seconds):273.133
o 57963
c Got one! Elapsed wall clock time (in seconds):273.673
o 57962
c Got one! Elapsed wall clock time (in seconds):274.292
o 57961
c Got one! Elapsed wall clock time (in seconds):275.014
o 57959
c Got one! Elapsed wall clock time (in seconds):275.696
o 57955
c Got one! Elapsed wall clock time (in seconds):276.498
o 57954
c Got one! Elapsed wall clock time (in seconds):276.988
o 57953
c Got one! Elapsed wall clock time (in seconds):277.554
o 57945
c Got one! Elapsed wall clock time (in seconds):278.142
o 57939
c Got one! Elapsed wall clock time (in seconds):279.107
o 57938
c Got one! Elapsed wall clock time (in seconds):279.674
o 57917
c Got one! Elapsed wall clock time (in seconds):280.224
o 57886
c Got one! Elapsed wall clock time (in seconds):281.704
o 57885
c Got one! Elapsed wall clock time (in seconds):282.485
o 57883
c Got one! Elapsed wall clock time (in seconds):283.119
o 57876
c Got one! Elapsed wall clock time (in seconds):283.732
o 57869
c Got one! Elapsed wall clock time (in seconds):284.621
o 57868
c Got one! Elapsed wall clock time (in seconds):285.115
o 57856
c Got one! Elapsed wall clock time (in seconds):285.821
o 57855
c Got one! Elapsed wall clock time (in seconds):286.374
o 57854
c Got one! Elapsed wall clock time (in seconds):286.904
o 57850
c Got one! Elapsed wall clock time (in seconds):287.694
o 57847
c Got one! Elapsed wall clock time (in seconds):288.237
o 57846
c Got one! Elapsed wall clock time (in seconds):289.318
o 57844
c Got one! Elapsed wall clock time (in seconds):290.078
o 57843
c Got one! Elapsed wall clock time (in seconds):290.668
o 57841
c Got one! Elapsed wall clock time (in seconds):291.816
o 57839
c Got one! Elapsed wall clock time (in seconds):292.829
o 57838
c Got one! Elapsed wall clock time (in seconds):293.778
o 57837
c Got one! Elapsed wall clock time (in seconds):294.385
o 57834
c Got one! Elapsed wall clock time (in seconds):295.119
o 57823
c Got one! Elapsed wall clock time (in seconds):295.784
o 57818
c Got one! Elapsed wall clock time (in seconds):296.574
o 57815
c Got one! Elapsed wall clock time (in seconds):297.183
o 57808
c Got one! Elapsed wall clock time (in seconds):297.992
o 57806
c Got one! Elapsed wall clock time (in seconds):298.703
o 57805
c Got one! Elapsed wall clock time (in seconds):299.453
o 57796
c Got one! Elapsed wall clock time (in seconds):300.236
o 57788
c Got one! Elapsed wall clock time (in seconds):300.892
o 57785
c Got one! Elapsed wall clock time (in seconds):301.874
o 57774
c Got one! Elapsed wall clock time (in seconds):302.443
o 57771
c Got one! Elapsed wall clock time (in seconds):302.846
o 57767
c Got one! Elapsed wall clock time (in seconds):303.526
o 57766
c Got one! Elapsed wall clock time (in seconds):304.406
o 57765
c Got one! Elapsed wall clock time (in seconds):305.279
o 57764
c Got one! Elapsed wall clock time (in seconds):305.962
o 57762
c Got one! Elapsed wall clock time (in seconds):306.534
o 57761
c Got one! Elapsed wall clock time (in seconds):307.336
o 57760
c Got one! Elapsed wall clock time (in seconds):308.157
o 57757
c Got one! Elapsed wall clock time (in seconds):308.839
o 57753
c Got one! Elapsed wall clock time (in seconds):309.443
o 57751
c Got one! Elapsed wall clock time (in seconds):310.084
o 57744
c Got one! Elapsed wall clock time (in seconds):310.808
o 57743
c Got one! Elapsed wall clock time (in seconds):311.384
o 57741
c Got one! Elapsed wall clock time (in seconds):312.054
o 57735
c Got one! Elapsed wall clock time (in seconds):312.823
o 57733
c Got one! Elapsed wall clock time (in seconds):313.499
o 57724
c Got one! Elapsed wall clock time (in seconds):314.011
o 57722
c Got one! Elapsed wall clock time (in seconds):314.771
o 57719
c Got one! Elapsed wall clock time (in seconds):315.413
o 57706
c Got one! Elapsed wall clock time (in seconds):315.991
o 57699
c Got one! Elapsed wall clock time (in seconds):316.986
o 57697
c Got one! Elapsed wall clock time (in seconds):317.866
o 57695
c Got one! Elapsed wall clock time (in seconds):318.461
o 57694
c Got one! Elapsed wall clock time (in seconds):319.068
o 57693
c Got one! Elapsed wall clock time (in seconds):319.655
o 57692
c Got one! Elapsed wall clock time (in seconds):320.198
o 57689
c Got one! Elapsed wall clock time (in seconds):320.78
o 57685
c Got one! Elapsed wall clock time (in seconds):321.47
o 57682
c Got one! Elapsed wall clock time (in seconds):322.135
o 57681
c Got one! Elapsed wall clock time (in seconds):322.989
o 57680
c Got one! Elapsed wall clock time (in seconds):324.322
o 57679
c Got one! Elapsed wall clock time (in seconds):325.082
o 57675
c Got one! Elapsed wall clock time (in seconds):325.816
o 57666
c Got one! Elapsed wall clock time (in seconds):326.507
o 57659
c Got one! Elapsed wall clock time (in seconds):327.471
o 57652
c Got one! Elapsed wall clock time (in seconds):328.233
o 57648
c Got one! Elapsed wall clock time (in seconds):328.939
o 57643
c Got one! Elapsed wall clock time (in seconds):329.936
o 57642
c Got one! Elapsed wall clock time (in seconds):330.751
o 57641
c Got one! Elapsed wall clock time (in seconds):331.731
o 57639
c Got one! Elapsed wall clock time (in seconds):332.743
o 57638
c Got one! Elapsed wall clock time (in seconds):333.754
o 57637
c Got one! Elapsed wall clock time (in seconds):334.454
o 57631
c Got one! Elapsed wall clock time (in seconds):335.078
o 57628
c Got one! Elapsed wall clock time (in seconds):335.677
o 57627
c Got one! Elapsed wall clock time (in seconds):336.297
o 57624
c Got one! Elapsed wall clock time (in seconds):337.157
o 57622
c Got one! Elapsed wall clock time (in seconds):337.755
o 57619
c Got one! Elapsed wall clock time (in seconds):338.601
o 57616
c Got one! Elapsed wall clock time (in seconds):339.791
o 57615
c Got one! Elapsed wall clock time (in seconds):340.629
o 57614
c Got one! Elapsed wall clock time (in seconds):341.179
o 57609
c Got one! Elapsed wall clock time (in seconds):341.82
o 57607
c Got one! Elapsed wall clock time (in seconds):342.387
o 57601
c Got one! Elapsed wall clock time (in seconds):342.961
o 57592
c Got one! Elapsed wall clock time (in seconds):343.606
o 57591
c Got one! Elapsed wall clock time (in seconds):344.173
o 57586
c Got one! Elapsed wall clock time (in seconds):344.731
o 57583
c Got one! Elapsed wall clock time (in seconds):345.326
o 57582
c Got one! Elapsed wall clock time (in seconds):345.907
o 57572
c Got one! Elapsed wall clock time (in seconds):346.586
o 57562
c Got one! Elapsed wall clock time (in seconds):347.859
o 57561
c Got one! Elapsed wall clock time (in seconds):348.635
o 57556
c Got one! Elapsed wall clock time (in seconds):349.459
o 57552
c Got one! Elapsed wall clock time (in seconds):350.107
o 57550
c Got one! Elapsed wall clock time (in seconds):350.754
o 57547
c Got one! Elapsed wall clock time (in seconds):351.36
o 57531
c Got one! Elapsed wall clock time (in seconds):352.093
o 57529
c Got one! Elapsed wall clock time (in seconds):353.044
o 57525
c Got one! Elapsed wall clock time (in seconds):353.727
o 57524
c Got one! Elapsed wall clock time (in seconds):354.528
o 57520
c Got one! Elapsed wall clock time (in seconds):355.024
o 57504
c Got one! Elapsed wall clock time (in seconds):356.059
o 57503
c Got one! Elapsed wall clock time (in seconds):356.514
o 57496
c Got one! Elapsed wall clock time (in seconds):357.035
o 57491
c Got one! Elapsed wall clock time (in seconds):357.602
o 57490
c Got one! Elapsed wall clock time (in seconds):358.146
o 57489
c Got one! Elapsed wall clock time (in seconds):359.119
o 57486
c Got one! Elapsed wall clock time (in seconds):359.835
o 57485
c Got one! Elapsed wall clock time (in seconds):360.438
o 57484
c Got one! Elapsed wall clock time (in seconds):361.088
o 57474
c Got one! Elapsed wall clock time (in seconds):361.84
o 57472
c Got one! Elapsed wall clock time (in seconds):363.351
o 57471
c Got one! Elapsed wall clock time (in seconds):364.098
o 57469
c Got one! Elapsed wall clock time (in seconds):364.976
o 57468
c Got one! Elapsed wall clock time (in seconds):365.658
o 57463
c Got one! Elapsed wall clock time (in seconds):366.52
o 57422
c Got one! Elapsed wall clock time (in seconds):367.893
o 57421
c Got one! Elapsed wall clock time (in seconds):368.856
o 57420
c Got one! Elapsed wall clock time (in seconds):369.852
o 57419
c Got one! Elapsed wall clock time (in seconds):370.689
o 57418
c Got one! Elapsed wall clock time (in seconds):371.715
o 57417
c Got one! Elapsed wall clock time (in seconds):372.789
o 57416
c Got one! Elapsed wall clock time (in seconds):373.558
o 57413
c Got one! Elapsed wall clock time (in seconds):374.768
o 57412
c Got one! Elapsed wall clock time (in seconds):375.587
o 57411
c Got one! Elapsed wall clock time (in seconds):376.237
o 57410
c Got one! Elapsed wall clock time (in seconds):377.149
o 57408
c Got one! Elapsed wall clock time (in seconds):377.996
o 57405
c Got one! Elapsed wall clock time (in seconds):378.828
o 57399
c Got one! Elapsed wall clock time (in seconds):379.391
o 57391
c Got one! Elapsed wall clock time (in seconds):380.196
o 57388
c Got one! Elapsed wall clock time (in seconds):380.741
o 57381
c Got one! Elapsed wall clock time (in seconds):381.448
o 57376
c Got one! Elapsed wall clock time (in seconds):382.425
o 57375
c Got one! Elapsed wall clock time (in seconds):383.062
o 57374
c Got one! Elapsed wall clock time (in seconds):384.119
o 57373
c Got one! Elapsed wall clock time (in seconds):385.377
o 57372
c Got one! Elapsed wall clock time (in seconds):386.278
o 57371
c Got one! Elapsed wall clock time (in seconds):386.91
o 57366
c Got one! Elapsed wall clock time (in seconds):389.076
o 57365
c Got one! Elapsed wall clock time (in seconds):390.067
o 57363
c Got one! Elapsed wall clock time (in seconds):390.905
o 57362
c Got one! Elapsed wall clock time (in seconds):391.823
o 57360
c Got one! Elapsed wall clock time (in seconds):392.599
o 57359
c Got one! Elapsed wall clock time (in seconds):394.084
o 57358
c Got one! Elapsed wall clock time (in seconds):394.837
o 57351
c Got one! Elapsed wall clock time (in seconds):395.88
o 57346
c Got one! Elapsed wall clock time (in seconds):396.739
o 57343
c Got one! Elapsed wall clock time (in seconds):397.25
o 57309
c Got one! Elapsed wall clock time (in seconds):398.13
o 57308
c Got one! Elapsed wall clock time (in seconds):398.764
o 57307
c Got one! Elapsed wall clock time (in seconds):399.581
o 57298
c Got one! Elapsed wall clock time (in seconds):400.357
o 57292
c Got one! Elapsed wall clock time (in seconds):400.823
o 57264
c Got one! Elapsed wall clock time (in seconds):402.192
o 57263
c Got one! Elapsed wall clock time (in seconds):402.952
o 57260
c Got one! Elapsed wall clock time (in seconds):403.866
o 57259
c Got one! Elapsed wall clock time (in seconds):404.776
o 57256
c Got one! Elapsed wall clock time (in seconds):405.661
o 57255
c Got one! Elapsed wall clock time (in seconds):406.366
o 57253
c Got one! Elapsed wall clock time (in seconds):406.843
o 57251
c Got one! Elapsed wall clock time (in seconds):407.522
o 57243
c Got one! Elapsed wall clock time (in seconds):408.449
o 57241
c Got one! Elapsed wall clock time (in seconds):409.277
o 57239
c Got one! Elapsed wall clock time (in seconds):410.369
o 57237
c Got one! Elapsed wall clock time (in seconds):411.111
o 57217
c Got one! Elapsed wall clock time (in seconds):411.781
o 57216
c Got one! Elapsed wall clock time (in seconds):412.348
o 57205
c Got one! Elapsed wall clock time (in seconds):413.124
o 57204
c Got one! Elapsed wall clock time (in seconds):413.803
o 57201
c Got one! Elapsed wall clock time (in seconds):414.669
o 57200
c Got one! Elapsed wall clock time (in seconds):415.297
o 57197
c Got one! Elapsed wall clock time (in seconds):415.834
o 57188
c Got one! Elapsed wall clock time (in seconds):416.435
o 57185
c Got one! Elapsed wall clock time (in seconds):417.157
o 57184
c Got one! Elapsed wall clock time (in seconds):418.512
o 57183
c Got one! Elapsed wall clock time (in seconds):419.461
o 57173
c Got one! Elapsed wall clock time (in seconds):420.944
o 57172
c Got one! Elapsed wall clock time (in seconds):421.826
o 57170
c Got one! Elapsed wall clock time (in seconds):422.68
o 57169
c Got one! Elapsed wall clock time (in seconds):423.853
o 57165
c Got one! Elapsed wall clock time (in seconds):424.693
o 57164
c Got one! Elapsed wall clock time (in seconds):425.513
o 57162
c Got one! Elapsed wall clock time (in seconds):426.118
o 57150
c Got one! Elapsed wall clock time (in seconds):428.009
o 57149
c Got one! Elapsed wall clock time (in seconds):428.862
o 57145
c Got one! Elapsed wall clock time (in seconds):429.925
o 57144
c Got one! Elapsed wall clock time (in seconds):430.663
o 57138
c Got one! Elapsed wall clock time (in seconds):431.378
o 57134
c Got one! Elapsed wall clock time (in seconds):432.386
o 57133
c Got one! Elapsed wall clock time (in seconds):433.099
o 57131
c Got one! Elapsed wall clock time (in seconds):433.723
o 57122
c Got one! Elapsed wall clock time (in seconds):434.472
o 57117
c Got one! Elapsed wall clock time (in seconds):435.38
o 57116
c Got one! Elapsed wall clock time (in seconds):436.171
o 57115
c Got one! Elapsed wall clock time (in seconds):437.035
o 57113
c Got one! Elapsed wall clock time (in seconds):437.7
o 57112
c Got one! Elapsed wall clock time (in seconds):438.542
o 57111
c Got one! Elapsed wall clock time (in seconds):439.173
o 57109
c Got one! Elapsed wall clock time (in seconds):439.93
o 57104
c Got one! Elapsed wall clock time (in seconds):441.4
o 57099
c Got one! Elapsed wall clock time (in seconds):442.122
o 57097
c Got one! Elapsed wall clock time (in seconds):442.852
o 57096
c Got one! Elapsed wall clock time (in seconds):443.552
o 57095
c Got one! Elapsed wall clock time (in seconds):444.806
o 57094
c Got one! Elapsed wall clock time (in seconds):445.711
o 57081
c Got one! Elapsed wall clock time (in seconds):446.371
o 57075
c Got one! Elapsed wall clock time (in seconds):447.125
o 57069
c Got one! Elapsed wall clock time (in seconds):448.031
o 57067
c Got one! Elapsed wall clock time (in seconds):448.789
o 57054
c Got one! Elapsed wall clock time (in seconds):449.365
o 57049
c Got one! Elapsed wall clock time (in seconds):451.643
o 57048
c Got one! Elapsed wall clock time (in seconds):452.566
o 57046
c Got one! Elapsed wall clock time (in seconds):453.348
o 57042
c Got one! Elapsed wall clock time (in seconds):454.397
o 57040
c Got one! Elapsed wall clock time (in seconds):455.273
o 57038
c Got one! Elapsed wall clock time (in seconds):456.028
o 57037
c Got one! Elapsed wall clock time (in seconds):456.857
o 57035
c Got one! Elapsed wall clock time (in seconds):457.84
o 57034
c Got one! Elapsed wall clock time (in seconds):458.635
o 57033
c Got one! Elapsed wall clock time (in seconds):459.358
o 57002
c Got one! Elapsed wall clock time (in seconds):459.887
o 56949
c Got one! Elapsed wall clock time (in seconds):462.137
o 56948
c Got one! Elapsed wall clock time (in seconds):463.033
o 56941
c Got one! Elapsed wall clock time (in seconds):463.976
o 56937
c Got one! Elapsed wall clock time (in seconds):464.913
o 56935
c Got one! Elapsed wall clock time (in seconds):465.614
o 56901
c Got one! Elapsed wall clock time (in seconds):466.635
o 56900
c Got one! Elapsed wall clock time (in seconds):467.37
o 56899
c Got one! Elapsed wall clock time (in seconds):469.357
o 56898
c Got one! Elapsed wall clock time (in seconds):470.731
o 56894
c Got one! Elapsed wall clock time (in seconds):471.591
o 56893
c Got one! Elapsed wall clock time (in seconds):472.55
o 56892
c Got one! Elapsed wall clock time (in seconds):473.6
o 56887
c Got one! Elapsed wall clock time (in seconds):474.767
o 56884
c Got one! Elapsed wall clock time (in seconds):475.483
o 56878
c Got one! Elapsed wall clock time (in seconds):476.295
o 56877
c Got one! Elapsed wall clock time (in seconds):477.055
o 56874
c Got one! Elapsed wall clock time (in seconds):477.985
o 56871
c Got one! Elapsed wall clock time (in seconds):478.654
o 56863
c Got one! Elapsed wall clock time (in seconds):479.95
o 56862
c Got one! Elapsed wall clock time (in seconds):480.785
o 56852
c Got one! Elapsed wall clock time (in seconds):481.528
o 56843
c Got one! Elapsed wall clock time (in seconds):482.348
o 56839
c Got one! Elapsed wall clock time (in seconds):483.263
o 56832
c Got one! Elapsed wall clock time (in seconds):484.052
o 56831
c Got one! Elapsed wall clock time (in seconds):484.752
o 56826
c Got one! Elapsed wall clock time (in seconds):485.52
o 56825
c Got one! Elapsed wall clock time (in seconds):486.443
o 56824
c Got one! Elapsed wall clock time (in seconds):487.321
o 56822
c Got one! Elapsed wall clock time (in seconds):488.197
o 56818
c Got one! Elapsed wall clock time (in seconds):488.87
o 56817
c Got one! Elapsed wall clock time (in seconds):489.86
o 56816
c Got one! Elapsed wall clock time (in seconds):490.509
o 56812
c Got one! Elapsed wall clock time (in seconds):491.08
o 56810
c Got one! Elapsed wall clock time (in seconds):491.628
o 56808
c Got one! Elapsed wall clock time (in seconds):492.46
o 56804
c Got one! Elapsed wall clock time (in seconds):492.866
o 56794
c Got one! Elapsed wall clock time (in seconds):493.553
o 56792
c Got one! Elapsed wall clock time (in seconds):494.467
o 56791
c Got one! Elapsed wall clock time (in seconds):495.132
o 56789
c Got one! Elapsed wall clock time (in seconds):496.039
o 56785
c Got one! Elapsed wall clock time (in seconds):496.806
o 56780
c Got one! Elapsed wall clock time (in seconds):497.391
o 56778
c Got one! Elapsed wall clock time (in seconds):498.066
o 56775
c Got one! Elapsed wall clock time (in seconds):498.682
o 56771
c Got one! Elapsed wall clock time (in seconds):499.271
o 56754
c Got one! Elapsed wall clock time (in seconds):500.233
o 56753
c Got one! Elapsed wall clock time (in seconds):500.832
o 56742
c Got one! Elapsed wall clock time (in seconds):501.531
o 56739
c Got one! Elapsed wall clock time (in seconds):502.286
o 56733
c Got one! Elapsed wall clock time (in seconds):503.583
o 56730
c Got one! Elapsed wall clock time (in seconds):504.298
o 56727
c Got one! Elapsed wall clock time (in seconds):504.992
o 56725
c Got one! Elapsed wall clock time (in seconds):505.581
o 56715
c Got one! Elapsed wall clock time (in seconds):506.232
o 56712
c Got one! Elapsed wall clock time (in seconds):507.008
o 56711
c Got one! Elapsed wall clock time (in seconds):507.64
o 56710
c Got one! Elapsed wall clock time (in seconds):508.543
o 56707
c Got one! Elapsed wall clock time (in seconds):509.116
o 56704
c Got one! Elapsed wall clock time (in seconds):509.727
o 56702
c Got one! Elapsed wall clock time (in seconds):510.41
o 56697
c Got one! Elapsed wall clock time (in seconds):511.531
o 56695
c Got one! Elapsed wall clock time (in seconds):512.327
o 56693
c Got one! Elapsed wall clock time (in seconds):513.684
o 56691
c Got one! Elapsed wall clock time (in seconds):514.418
o 56689
c Got one! Elapsed wall clock time (in seconds):515.126
o 56687
c Got one! Elapsed wall clock time (in seconds):516.256
o 56684
c Got one! Elapsed wall clock time (in seconds):516.9
o 56680
c Got one! Elapsed wall clock time (in seconds):517.523
o 56671
c Got one! Elapsed wall clock time (in seconds):518.763
o 56670
c Got one! Elapsed wall clock time (in seconds):519.468
o 56661
c Got one! Elapsed wall clock time (in seconds):520.474
o 56658
c Got one! Elapsed wall clock time (in seconds):521.271
o 56656
c Got one! Elapsed wall clock time (in seconds):522.261
o 56653
c Got one! Elapsed wall clock time (in seconds):523.226
o 56652
c Got one! Elapsed wall clock time (in seconds):523.965
o 56647
c Got one! Elapsed wall clock time (in seconds):524.614
o 56637
c Got one! Elapsed wall clock time (in seconds):525.612
o 56628
c Got one! Elapsed wall clock time (in seconds):526.388
o 56624
c Got one! Elapsed wall clock time (in seconds):527.164
o 56621
c Got one! Elapsed wall clock time (in seconds):527.893
o 56619
c Got one! Elapsed wall clock time (in seconds):528.884
o 56613
c Got one! Elapsed wall clock time (in seconds):530.166
o 56612
c Got one! Elapsed wall clock time (in seconds):530.89
o 56605
c Got one! Elapsed wall clock time (in seconds):531.677
o 56596
c Got one! Elapsed wall clock time (in seconds):532.491
o 56594
c Got one! Elapsed wall clock time (in seconds):533.065
o 56593
c Got one! Elapsed wall clock time (in seconds):533.787
o 56591
c Got one! Elapsed wall clock time (in seconds):534.718
o 56589
c Got one! Elapsed wall clock time (in seconds):535.283
o 56585
c Got one! Elapsed wall clock time (in seconds):536.236
o 56583
c Got one! Elapsed wall clock time (in seconds):536.924
o 56579
c Got one! Elapsed wall clock time (in seconds):537.683
o 56571
c Got one! Elapsed wall clock time (in seconds):538.447
o 56566
c Got one! Elapsed wall clock time (in seconds):539.826
o 56557
c Got one! Elapsed wall clock time (in seconds):541.979
o 56555
c Got one! Elapsed wall clock time (in seconds):543.371
o 56554
c Got one! Elapsed wall clock time (in seconds):544.67
o 56548
c Got one! Elapsed wall clock time (in seconds):545.745
o 56543
c Got one! Elapsed wall clock time (in seconds):546.566
o 56536
c Got one! Elapsed wall clock time (in seconds):547.303
o 56531
c Got one! Elapsed wall clock time (in seconds):548.52
o 56527
c Got one! Elapsed wall clock time (in seconds):549.449
o 56523
c Got one! Elapsed wall clock time (in seconds):550.184
o 56515
c Got one! Elapsed wall clock time (in seconds):551.362
o 56497
c Got one! Elapsed wall clock time (in seconds):552.302
o 56457
c Got one! Elapsed wall clock time (in seconds):553.136
o 56446
c Got one! Elapsed wall clock time (in seconds):554.112
o 56442
c Got one! Elapsed wall clock time (in seconds):554.855
o 56441
c Got one! Elapsed wall clock time (in seconds):556.102
o 56431
c Got one! Elapsed wall clock time (in seconds):556.945
o 56421
c Got one! Elapsed wall clock time (in seconds):558.252
o 56417
c Got one! Elapsed wall clock time (in seconds):559.068
o 56406
c Got one! Elapsed wall clock time (in seconds):560.121
o 56402
c Got one! Elapsed wall clock time (in seconds):561.754
o 56399
c Got one! Elapsed wall clock time (in seconds):562.766
o 56396
c Got one! Elapsed wall clock time (in seconds):563.945
o 56395
c Got one! Elapsed wall clock time (in seconds):564.838
o 56394
c Got one! Elapsed wall clock time (in seconds):565.561
o 56385
c Got one! Elapsed wall clock time (in seconds):566.747
o 56384
c Got one! Elapsed wall clock time (in seconds):567.69
o 56381
c Got one! Elapsed wall clock time (in seconds):568.817
o 56378
c Got one! Elapsed wall clock time (in seconds):569.874
o 56370
c Got one! Elapsed wall clock time (in seconds):570.737
o 56368
c Got one! Elapsed wall clock time (in seconds):571.581
o 56353
c Got one! Elapsed wall clock time (in seconds):572.696
o 56351
c Got one! Elapsed wall clock time (in seconds):573.545
o 56344
c Got one! Elapsed wall clock time (in seconds):574.858
o 56341
c Got one! Elapsed wall clock time (in seconds):575.74
o 56336
c Got one! Elapsed wall clock time (in seconds):576.754
o 56335
c Got one! Elapsed wall clock time (in seconds):577.853
o 56331
c Got one! Elapsed wall clock time (in seconds):578.431
o 56328
c Got one! Elapsed wall clock time (in seconds):579.66
o 56315
c Got one! Elapsed wall clock time (in seconds):580.493
o 56305
c Got one! Elapsed wall clock time (in seconds):581.19
o 56303
c Got one! Elapsed wall clock time (in seconds):581.857
o 56302
c Got one! Elapsed wall clock time (in seconds):582.953
o 56301
c Got one! Elapsed wall clock time (in seconds):583.925
o 56296
c Got one! Elapsed wall clock time (in seconds):584.941
o 56294
c Got one! Elapsed wall clock time (in seconds):585.746
o 56291
c Got one! Elapsed wall clock time (in seconds):586.641
o 56285
c Got one! Elapsed wall clock time (in seconds):587.573
o 56284
c Got one! Elapsed wall clock time (in seconds):588.714
o 56283
c Got one! Elapsed wall clock time (in seconds):589.523
o 56282
c Got one! Elapsed wall clock time (in seconds):590.266
o 56281
c Got one! Elapsed wall clock time (in seconds):590.995
o 56267
c Got one! Elapsed wall clock time (in seconds):591.925
o 56265
c Got one! Elapsed wall clock time (in seconds):592.899
o 56262
c Got one! Elapsed wall clock time (in seconds):593.74
o 56254
c Got one! Elapsed wall clock time (in seconds):594.53
o 56250
c Got one! Elapsed wall clock time (in seconds):595.254
o 56245
c Got one! Elapsed wall clock time (in seconds):596.013
o 56244
c Got one! Elapsed wall clock time (in seconds):596.716
o 56200
c Got one! Elapsed wall clock time (in seconds):598.498
o 56195
c Got one! Elapsed wall clock time (in seconds):599.489
o 56187
c Got one! Elapsed wall clock time (in seconds):600.257
o 56174
c Got one! Elapsed wall clock time (in seconds):601.358
o 56173
c Got one! Elapsed wall clock time (in seconds):602.064
o 56171
c Got one! Elapsed wall clock time (in seconds):602.901
o 56164
c Got one! Elapsed wall clock time (in seconds):603.692
o 56163
c Got one! Elapsed wall clock time (in seconds):604.485
o 56151
c Got one! Elapsed wall clock time (in seconds):607.305
o 56150
c Got one! Elapsed wall clock time (in seconds):609.224
o 56148
c Got one! Elapsed wall clock time (in seconds):610.745
o 56146
c Got one! Elapsed wall clock time (in seconds):612.238
o 56137
c Got one! Elapsed wall clock time (in seconds):613.412
o 56126
c Got one! Elapsed wall clock time (in seconds):614.911
o 56125
c Got one! Elapsed wall clock time (in seconds):616.115
o 56124
c Got one! Elapsed wall clock time (in seconds):617.163
o 56117
c Got one! Elapsed wall clock time (in seconds):618.685
o 56116
c Got one! Elapsed wall clock time (in seconds):620.133
o 56114
c Got one! Elapsed wall clock time (in seconds):621.24
o 56113
c Got one! Elapsed wall clock time (in seconds):622.817
o 56111
c Got one! Elapsed wall clock time (in seconds):623.796
o 56110
c Got one! Elapsed wall clock time (in seconds):625.184
o 56109
c Got one! Elapsed wall clock time (in seconds):626.594
o 56108
c Got one! Elapsed wall clock time (in seconds):627.944
o 56105
c Got one! Elapsed wall clock time (in seconds):628.746
o 56095
c Got one! Elapsed wall clock time (in seconds):629.782
o 56092
c Got one! Elapsed wall clock time (in seconds):630.738
o 56088
c Got one! Elapsed wall clock time (in seconds):631.971
o 56085
c Got one! Elapsed wall clock time (in seconds):632.95
o 56084
c Got one! Elapsed wall clock time (in seconds):634.746
o 56083
c Got one! Elapsed wall clock time (in seconds):635.563
o 56073
c Got one! Elapsed wall clock time (in seconds):636.688
o 56072
c Got one! Elapsed wall clock time (in seconds):637.355
o 56068
c Got one! Elapsed wall clock time (in seconds):638.128
o 56066
c Got one! Elapsed wall clock time (in seconds):639.384
o 56065
c Got one! Elapsed wall clock time (in seconds):640.161
o 56058
c Got one! Elapsed wall clock time (in seconds):641.234
o 56047
c Got one! Elapsed wall clock time (in seconds):642.297
o 56042
c Got one! Elapsed wall clock time (in seconds):643.29
o 56039
c Got one! Elapsed wall clock time (in seconds):644.024
o 56038
c Got one! Elapsed wall clock time (in seconds):644.8
o 56030
c Got one! Elapsed wall clock time (in seconds):645.694
o 56026
c Got one! Elapsed wall clock time (in seconds):646.542
o 56020
c Got one! Elapsed wall clock time (in seconds):647.587
o 56018
c Got one! Elapsed wall clock time (in seconds):648.329
o 55997
c Got one! Elapsed wall clock time (in seconds):650.008
o 55996
c Got one! Elapsed wall clock time (in seconds):650.897
o 55988
c Got one! Elapsed wall clock time (in seconds):651.736
o 55977
c Got one! Elapsed wall clock time (in seconds):652.567
o 55956
c Got one! Elapsed wall clock time (in seconds):653.19
o 55954
c Got one! Elapsed wall clock time (in seconds):655.214
o 55952
c Got one! Elapsed wall clock time (in seconds):656.887
o 55944
c Got one! Elapsed wall clock time (in seconds):658.095
o 55942
c Got one! Elapsed wall clock time (in seconds):659.026
o 55937
c Got one! Elapsed wall clock time (in seconds):660.179
o 55936
c Got one! Elapsed wall clock time (in seconds):661.303
o 55935
c Got one! Elapsed wall clock time (in seconds):662.212
o 55930
c Got one! Elapsed wall clock time (in seconds):663.299
o 55927
c Got one! Elapsed wall clock time (in seconds):664.022
o 55921
c Got one! Elapsed wall clock time (in seconds):664.654
o 55920
c Got one! Elapsed wall clock time (in seconds):665.496
o 55915
c Got one! Elapsed wall clock time (in seconds):666.329
o 55887
c Got one! Elapsed wall clock time (in seconds):667.371
o 55886
c Got one! Elapsed wall clock time (in seconds):668.428
o 55874
c Got one! Elapsed wall clock time (in seconds):669.614
o 55873
c Got one! Elapsed wall clock time (in seconds):670.587
o 55870
c Got one! Elapsed wall clock time (in seconds):671.65
o 55869
c Got one! Elapsed wall clock time (in seconds):672.295
o 55864
c Got one! Elapsed wall clock time (in seconds):673.123
o 55855
c Got one! Elapsed wall clock time (in seconds):674.014
o 55854
c Got one! Elapsed wall clock time (in seconds):674.783
o 55848
c Got one! Elapsed wall clock time (in seconds):675.77
o 55847
c Got one! Elapsed wall clock time (in seconds):676.627
o 55843
c Got one! Elapsed wall clock time (in seconds):677.758
o 55840
c Got one! Elapsed wall clock time (in seconds):679.123
o 55838
c Got one! Elapsed wall clock time (in seconds):680.185
o 55834
c Got one! Elapsed wall clock time (in seconds):681.06
o 55826
c Got one! Elapsed wall clock time (in seconds):682.16
o 55824
c Got one! Elapsed wall clock time (in seconds):683.076
o 55823
c Got one! Elapsed wall clock time (in seconds):684.255
o 55822
c Got one! Elapsed wall clock time (in seconds):685.616
o 55820
c Got one! Elapsed wall clock time (in seconds):687.65
o 55818
c Got one! Elapsed wall clock time (in seconds):689.08
o 55817
c Got one! Elapsed wall clock time (in seconds):690.549
o 55811
c Got one! Elapsed wall clock time (in seconds):691.837
o 55810
c Got one! Elapsed wall clock time (in seconds):693.017
o 55808
c Got one! Elapsed wall clock time (in seconds):694.114
o 55807
c Got one! Elapsed wall clock time (in seconds):695.136
o 55804
c Got one! Elapsed wall clock time (in seconds):696.061
o 55798
c Got one! Elapsed wall clock time (in seconds):698.127
o 55796
c Got one! Elapsed wall clock time (in seconds):699.482
o 55780
c Got one! Elapsed wall clock time (in seconds):700.663
o 55747
c Got one! Elapsed wall clock time (in seconds):701.823
o 55746
c Got one! Elapsed wall clock time (in seconds):702.983
o 55737
c Got one! Elapsed wall clock time (in seconds):704.262
o 55729
c Got one! Elapsed wall clock time (in seconds):705.168
o 55719
c Got one! Elapsed wall clock time (in seconds):706.101
o 55704
c Got one! Elapsed wall clock time (in seconds):707.282
o 55701
c Got one! Elapsed wall clock time (in seconds):708.178
o 55700
c Got one! Elapsed wall clock time (in seconds):709.01
o 55697
c Got one! Elapsed wall clock time (in seconds):710.378
o 55693
c Got one! Elapsed wall clock time (in seconds):711.4
o 55677
c Got one! Elapsed wall clock time (in seconds):712.254
o 55670
c Got one! Elapsed wall clock time (in seconds):713.211
o 55668
c Got one! Elapsed wall clock time (in seconds):714.116
o 55653
c Got one! Elapsed wall clock time (in seconds):715.396
o 55649
c Got one! Elapsed wall clock time (in seconds):717.052
o 55647
c Got one! Elapsed wall clock time (in seconds):718.074
o 55605
c Got one! Elapsed wall clock time (in seconds):719.257
o 55604
c Got one! Elapsed wall clock time (in seconds):720.313
o 55603
c Got one! Elapsed wall clock time (in seconds):721.413
o 55600
c Got one! Elapsed wall clock time (in seconds):722.415
o 55593
c Got one! Elapsed wall clock time (in seconds):723.459
o 55587
c Got one! Elapsed wall clock time (in seconds):724.627
o 55575
c Got one! Elapsed wall clock time (in seconds):725.335
o 55563
c Got one! Elapsed wall clock time (in seconds):726.195
o 55561
c Got one! Elapsed wall clock time (in seconds):727.331
o 55560
c Got one! Elapsed wall clock time (in seconds):728.392
o 55506
c Got one! Elapsed wall clock time (in seconds):729.916
o 55503
c Got one! Elapsed wall clock time (in seconds):731.675
o 55494
c Got one! Elapsed wall clock time (in seconds):732.655
o 55493
c Got one! Elapsed wall clock time (in seconds):733.56
o 55485
c Got one! Elapsed wall clock time (in seconds):734.966
o 55484
c Got one! Elapsed wall clock time (in seconds):736.169
o 55480
c Got one! Elapsed wall clock time (in seconds):737.227
o 55476
c Got one! Elapsed wall clock time (in seconds):738.164
o 55420
c Got one! Elapsed wall clock time (in seconds):739.682
o 55417
c Got one! Elapsed wall clock time (in seconds):740.777
o 55412
c Got one! Elapsed wall clock time (in seconds):741.65
o 55411
c Got one! Elapsed wall clock time (in seconds):742.568
o 55406
c Got one! Elapsed wall clock time (in seconds):743.497
o 55403
c Got one! Elapsed wall clock time (in seconds):744.262
o 55394
c Got one! Elapsed wall clock time (in seconds):745.559
o 55375
c Got one! Elapsed wall clock time (in seconds):746.464
o 55372
c Got one! Elapsed wall clock time (in seconds):747.341
o 55370
c Got one! Elapsed wall clock time (in seconds):748.359
o 55367
c Got one! Elapsed wall clock time (in seconds):749.339
o 55362
c Got one! Elapsed wall clock time (in seconds):750.456
o 55361
c Got one! Elapsed wall clock time (in seconds):751.229
o 55358
c Got one! Elapsed wall clock time (in seconds):752.03
o 55356
c Got one! Elapsed wall clock time (in seconds):752.844
o 55349
c Got one! Elapsed wall clock time (in seconds):753.781
o 55324
c Got one! Elapsed wall clock time (in seconds):754.844
o 55308
c Got one! Elapsed wall clock time (in seconds):755.979
o 55307
c Got one! Elapsed wall clock time (in seconds):757.565
o 55306
c Got one! Elapsed wall clock time (in seconds):758.502
o 55303
c Got one! Elapsed wall clock time (in seconds):759.599
o 55302
c Got one! Elapsed wall clock time (in seconds):760.771
o 55275
c Got one! Elapsed wall clock time (in seconds):762.182
o 55274
c Got one! Elapsed wall clock time (in seconds):763.308
o 55273
c Got one! Elapsed wall clock time (in seconds):764.176
o 55246
c Got one! Elapsed wall clock time (in seconds):765.387
o 55244
c Got one! Elapsed wall clock time (in seconds):766.545
o 55243
c Got one! Elapsed wall clock time (in seconds):767.566
o 55236
c Got one! Elapsed wall clock time (in seconds):768.985
o 55232
c Got one! Elapsed wall clock time (in seconds):770.003
o 55230
c Got one! Elapsed wall clock time (in seconds):770.724
o 55228
c Got one! Elapsed wall clock time (in seconds):771.382
o 55227
c Got one! Elapsed wall clock time (in seconds):772.32
o 55226
c Got one! Elapsed wall clock time (in seconds):773.158
o 55220
c Got one! Elapsed wall clock time (in seconds):774.104
o 55218
c Got one! Elapsed wall clock time (in seconds):774.954
o 55217
c Got one! Elapsed wall clock time (in seconds):776.075
o 55215
c Got one! Elapsed wall clock time (in seconds):777.542
o 55211
c Got one! Elapsed wall clock time (in seconds):778.529
o 55205
c Got one! Elapsed wall clock time (in seconds):779.158
o 55182
c Got one! Elapsed wall clock time (in seconds):780.15
o 55170
c Got one! Elapsed wall clock time (in seconds):781.316
o 55165
c Got one! Elapsed wall clock time (in seconds):782.176
o 55157
c Got one! Elapsed wall clock time (in seconds):783.182
o 55156
c Got one! Elapsed wall clock time (in seconds):784.057
o 55154
c Got one! Elapsed wall clock time (in seconds):785.259
o 55150
c Got one! Elapsed wall clock time (in seconds):786.504
o 55143
c Got one! Elapsed wall clock time (in seconds):787.471
o 55135
c Got one! Elapsed wall clock time (in seconds):788.276
o 55133
c Got one! Elapsed wall clock time (in seconds):789.115
o 55120
c Got one! Elapsed wall clock time (in seconds):790.121
o 55079
c Got one! Elapsed wall clock time (in seconds):791.507
o 55077
c Got one! Elapsed wall clock time (in seconds):792.676
o 55065
c Got one! Elapsed wall clock time (in seconds):793.972
o 55063
c Got one! Elapsed wall clock time (in seconds):795.191
o 55060
c Got one! Elapsed wall clock time (in seconds):796.143
o 55053
c Got one! Elapsed wall clock time (in seconds):797.502
o 55052
c Got one! Elapsed wall clock time (in seconds):798.574
o 55050
c Got one! Elapsed wall clock time (in seconds):799.617
o 55041
c Got one! Elapsed wall clock time (in seconds):801.281
o 55031
c Got one! Elapsed wall clock time (in seconds):803.081
o 55023
c Got one! Elapsed wall clock time (in seconds):804.947
o 55011
c Got one! Elapsed wall clock time (in seconds):806.245
o 55010
c Got one! Elapsed wall clock time (in seconds):807.27
o 54995
c Got one! Elapsed wall clock time (in seconds):808.241
o 54961
c Got one! Elapsed wall clock time (in seconds):809.145
o 54944
c Got one! Elapsed wall clock time (in seconds):810.427
o 54938
c Got one! Elapsed wall clock time (in seconds):813.391
o 54937
c Got one! Elapsed wall clock time (in seconds):814.97
o 54934
c Got one! Elapsed wall clock time (in seconds):816.532
o 54931
c Got one! Elapsed wall clock time (in seconds):818.41
o 54930
c Got one! Elapsed wall clock time (in seconds):819.688
o 54929
c Got one! Elapsed wall clock time (in seconds):820.912
o 54914
c Got one! Elapsed wall clock time (in seconds):822.641
o 54911
c Got one! Elapsed wall clock time (in seconds):823.607
o 54905
c Got one! Elapsed wall clock time (in seconds):824.872
o 54903
c Got one! Elapsed wall clock time (in seconds):826.352
o 54896
c Got one! Elapsed wall clock time (in seconds):828.254
o 54891
c Got one! Elapsed wall clock time (in seconds):829.658
o 54888
c Got one! Elapsed wall clock time (in seconds):831.052
o 54886
c Got one! Elapsed wall clock time (in seconds):832.604
o 54885
c Got one! Elapsed wall clock time (in seconds):833.768
o 54884
c Got one! Elapsed wall clock time (in seconds):834.712
o 54873
c Got one! Elapsed wall clock time (in seconds):836.281
o 54870
c Got one! Elapsed wall clock time (in seconds):837.81
o 54866
c Got one! Elapsed wall clock time (in seconds):839.019
o 54865
c Got one! Elapsed wall clock time (in seconds):840.341
o 54864
c Got one! Elapsed wall clock time (in seconds):841.958
o 54860
c Got one! Elapsed wall clock time (in seconds):843.058
o 54856
c Got one! Elapsed wall clock time (in seconds):843.973
o 54849
c Got one! Elapsed wall clock time (in seconds):845.024
o 54848
c Got one! Elapsed wall clock time (in seconds):846.364
o 54844
c Got one! Elapsed wall clock time (in seconds):847.224
o 54839
c Got one! Elapsed wall clock time (in seconds):848.078
o 54832
c Got one! Elapsed wall clock time (in seconds):848.948
o 54831
c Got one! Elapsed wall clock time (in seconds):849.82
o 54829
c Got one! Elapsed wall clock time (in seconds):850.891
o 54827
c Got one! Elapsed wall clock time (in seconds):852.412
o 54826
c Got one! Elapsed wall clock time (in seconds):853.649
o 54825
c Got one! Elapsed wall clock time (in seconds):854.627
o 54821
c Got one! Elapsed wall clock time (in seconds):856.121
o 54797
c Got one! Elapsed wall clock time (in seconds):857.169
o 54795
c Got one! Elapsed wall clock time (in seconds):858.158
o 54791
c Got one! Elapsed wall clock time (in seconds):859.317
o 54788
c Got one! Elapsed wall clock time (in seconds):860.321
o 54780
c Got one! Elapsed wall clock time (in seconds):861.351
o 54777
c Got one! Elapsed wall clock time (in seconds):862.081
o 54772
c Got one! Elapsed wall clock time (in seconds):862.939
o 54764
c Got one! Elapsed wall clock time (in seconds):864.393
o 54762
c Got one! Elapsed wall clock time (in seconds):865.258
o 54759
c Got one! Elapsed wall clock time (in seconds):866.072
o 54743
c Got one! Elapsed wall clock time (in seconds):867.941
o 54742
c Got one! Elapsed wall clock time (in seconds):869.159
o 54741
c Got one! Elapsed wall clock time (in seconds):870.187
o 54725
c Got one! Elapsed wall clock time (in seconds):871.203
o 54723
c Got one! Elapsed wall clock time (in seconds):872.495
o 54696
c Got one! Elapsed wall clock time (in seconds):874.831
o 54694
c Got one! Elapsed wall clock time (in seconds):876.608
o 54693
c Got one! Elapsed wall clock time (in seconds):877.786
o 54685
c Got one! Elapsed wall clock time (in seconds):878.923
o 54678
c Got one! Elapsed wall clock time (in seconds):879.819
o 54675
c Got one! Elapsed wall clock time (in seconds):881.0
o 54674
c Got one! Elapsed wall clock time (in seconds):882.02
o 54665
c Got one! Elapsed wall clock time (in seconds):883.89
o 54661
c Got one! Elapsed wall clock time (in seconds):884.953
o 54653
c Got one! Elapsed wall clock time (in seconds):885.983
o 54647
c Got one! Elapsed wall clock time (in seconds):887.002
o 54646
c Got one! Elapsed wall clock time (in seconds):887.885
o 54641
c Got one! Elapsed wall clock time (in seconds):889.008
o 54640
c Got one! Elapsed wall clock time (in seconds):889.963
o 54628
c Got one! Elapsed wall clock time (in seconds):890.948
o 54624
c Got one! Elapsed wall clock time (in seconds):892.012
o 54612
c Got one! Elapsed wall clock time (in seconds):893.469
o 54610
c Got one! Elapsed wall clock time (in seconds):895.185
o 54608
c Got one! Elapsed wall clock time (in seconds):896.657
o 54580
c Got one! Elapsed wall clock time (in seconds):897.742
o 54566
c Got one! Elapsed wall clock time (in seconds):899.822
o 54565
c Got one! Elapsed wall clock time (in seconds):901.059
o 54563
c Got one! Elapsed wall clock time (in seconds):902.19
o 54560
c Got one! Elapsed wall clock time (in seconds):903.133
o 54551
c Got one! Elapsed wall clock time (in seconds):904.247
o 54545
c Got one! Elapsed wall clock time (in seconds):906.053
o 54544
c Got one! Elapsed wall clock time (in seconds):907.206
o 54542
c Got one! Elapsed wall clock time (in seconds):908.168
o 54541
c Got one! Elapsed wall clock time (in seconds):909.308
o 54540
c Got one! Elapsed wall clock time (in seconds):910.33
o 54535
c Got one! Elapsed wall clock time (in seconds):911.382
o 54524
c Got one! Elapsed wall clock time (in seconds):912.541
o 54523
c Got one! Elapsed wall clock time (in seconds):913.47
o 54519
c Got one! Elapsed wall clock time (in seconds):914.43
o 54517
c Got one! Elapsed wall clock time (in seconds):915.763
o 54515
c Got one! Elapsed wall clock time (in seconds):916.603
o 54511
c Got one! Elapsed wall clock time (in seconds):917.441
o 54507
c Got one! Elapsed wall clock time (in seconds):918.371
o 54493
c Got one! Elapsed wall clock time (in seconds):919.134
o 54474
c Got one! Elapsed wall clock time (in seconds):920.056
o 54470
c Got one! Elapsed wall clock time (in seconds):920.997
o 54469
c Got one! Elapsed wall clock time (in seconds):922.837
o 54468
c Got one! Elapsed wall clock time (in seconds):923.79
o 54459
c Got one! Elapsed wall clock time (in seconds):924.724
o 54453
c Got one! Elapsed wall clock time (in seconds):925.868
o 54450
c Got one! Elapsed wall clock time (in seconds):927.067
o 54442
c Got one! Elapsed wall clock time (in seconds):928.217
o 54440
c Got one! Elapsed wall clock time (in seconds):929.53
o 54439
c Got one! Elapsed wall clock time (in seconds):930.817
o 54437
c Got one! Elapsed wall clock time (in seconds):931.697
o 54432
c Got one! Elapsed wall clock time (in seconds):932.437
o 54425
c Got one! Elapsed wall clock time (in seconds):933.765
o 54421
c Got one! Elapsed wall clock time (in seconds):934.731
o 54413
c Got one! Elapsed wall clock time (in seconds):936.025
o 54412
c Got one! Elapsed wall clock time (in seconds):937.388
o 54393
c Got one! Elapsed wall clock time (in seconds):938.494
o 54391
c Got one! Elapsed wall clock time (in seconds):939.593
o 54382
c Got one! Elapsed wall clock time (in seconds):940.837
o 54380
c Got one! Elapsed wall clock time (in seconds):942.039
o 54377
c Got one! Elapsed wall clock time (in seconds):943.048
o 54370
c Got one! Elapsed wall clock time (in seconds):944.196
o 54367
c Got one! Elapsed wall clock time (in seconds):945.354
o 54358
c Got one! Elapsed wall clock time (in seconds):946.326
o 54334
c Got one! Elapsed wall clock time (in seconds):948.139
o 54321
c Got one! Elapsed wall clock time (in seconds):949.138
o 54317
c Got one! Elapsed wall clock time (in seconds):950.188
o 54315
c Got one! Elapsed wall clock time (in seconds):951.342
o 54314
c Got one! Elapsed wall clock time (in seconds):952.456
o 54305
c Got one! Elapsed wall clock time (in seconds):953.349
o 54304
c Got one! Elapsed wall clock time (in seconds):954.14
o 54302
c Got one! Elapsed wall clock time (in seconds):955.412
o 54300
c Got one! Elapsed wall clock time (in seconds):956.596
o 54296
c Got one! Elapsed wall clock time (in seconds):957.691
o 54288
c Got one! Elapsed wall clock time (in seconds):958.769
o 54286
c Got one! Elapsed wall clock time (in seconds):959.665
o 54284
c Got one! Elapsed wall clock time (in seconds):962.662
o 54283
c Got one! Elapsed wall clock time (in seconds):964.639
o 54278
c Got one! Elapsed wall clock time (in seconds):966.895
o 54276
c Got one! Elapsed wall clock time (in seconds):968.602
o 54274
c Got one! Elapsed wall clock time (in seconds):969.92
o 54268
c Got one! Elapsed wall clock time (in seconds):971.443
o 54264
c Got one! Elapsed wall clock time (in seconds):972.696
o 54263
c Got one! Elapsed wall clock time (in seconds):973.901
o 54260
c Got one! Elapsed wall clock time (in seconds):975.727
o 54259
c Got one! Elapsed wall clock time (in seconds):977.397
o 54255
c Got one! Elapsed wall clock time (in seconds):978.732
o 54250
c Got one! Elapsed wall clock time (in seconds):979.941
o 54249
c Got one! Elapsed wall clock time (in seconds):981.118
o 54233
c Got one! Elapsed wall clock time (in seconds):982.173
o 54228
c Got one! Elapsed wall clock time (in seconds):983.83
o 54227
c Got one! Elapsed wall clock time (in seconds):984.854
o 54210
c Got one! Elapsed wall clock time (in seconds):986.279
o 54206
c Got one! Elapsed wall clock time (in seconds):987.386
o 54205
c Got one! Elapsed wall clock time (in seconds):988.978
o 54190
c Got one! Elapsed wall clock time (in seconds):990.28
o 54184
c Got one! Elapsed wall clock time (in seconds):991.512
o 54183
c Got one! Elapsed wall clock time (in seconds):992.416
o 54176
c Got one! Elapsed wall clock time (in seconds):993.828
o 54172
c Got one! Elapsed wall clock time (in seconds):995.129
o 54171
c Got one! Elapsed wall clock time (in seconds):996.312
o 54167
c Got one! Elapsed wall clock time (in seconds):997.865
o 54165
c Got one! Elapsed wall clock time (in seconds):998.782
o 54161
c Got one! Elapsed wall clock time (in seconds):999.968
o 54155
c Got one! Elapsed wall clock time (in seconds):1001.261
o 54154
c Got one! Elapsed wall clock time (in seconds):1002.28
o 54142
c Got one! Elapsed wall clock time (in seconds):1003.479
o 54140
c Got one! Elapsed wall clock time (in seconds):1004.616
o 54132
c Got one! Elapsed wall clock time (in seconds):1005.688
o 54130
c Got one! Elapsed wall clock time (in seconds):1007.223
o 54129
c Got one! Elapsed wall clock time (in seconds):1008.377
o 54127
c Got one! Elapsed wall clock time (in seconds):1009.738
o 54125
c Got one! Elapsed wall clock time (in seconds):1011.162
o 54121
c Got one! Elapsed wall clock time (in seconds):1012.057
o 54114
c Got one! Elapsed wall clock time (in seconds):1013.482
o 54112
c Got one! Elapsed wall clock time (in seconds):1014.969
o 54105
c Got one! Elapsed wall clock time (in seconds):1015.858
o 54101
c Got one! Elapsed wall clock time (in seconds):1017.533
o 54098
c Got one! Elapsed wall clock time (in seconds):1018.451
o 54091
c Got one! Elapsed wall clock time (in seconds):1019.478
o 54067
c Got one! Elapsed wall clock time (in seconds):1021.498
o 54064
c Got one! Elapsed wall clock time (in seconds):1022.831
o 54062
c Got one! Elapsed wall clock time (in seconds):1024.022
o 54054
c Got one! Elapsed wall clock time (in seconds):1024.847
o 54050
c Got one! Elapsed wall clock time (in seconds):1026.075
o 54046
c Got one! Elapsed wall clock time (in seconds):1027.231
o 54039
c Got one! Elapsed wall clock time (in seconds):1028.347
o 54037
c Got one! Elapsed wall clock time (in seconds):1029.917
o 54036
c Got one! Elapsed wall clock time (in seconds):1030.994
o 54031
c Got one! Elapsed wall clock time (in seconds):1032.136
o 54030
c Got one! Elapsed wall clock time (in seconds):1033.646
o 53977
c Got one! Elapsed wall clock time (in seconds):1035.064
o 53970
c Got one! Elapsed wall clock time (in seconds):1037.028
o 53969
c Got one! Elapsed wall clock time (in seconds):1038.554
o 53967
c Got one! Elapsed wall clock time (in seconds):1039.516
o 53954
c Got one! Elapsed wall clock time (in seconds):1040.312
o 53941
c Got one! Elapsed wall clock time (in seconds):1041.428
o 53937
c Got one! Elapsed wall clock time (in seconds):1043.199
o 53928
c Got one! Elapsed wall clock time (in seconds):1044.28
o 53924
c Got one! Elapsed wall clock time (in seconds):1045.404
o 53919
c Got one! Elapsed wall clock time (in seconds):1046.55
o 53915
c Got one! Elapsed wall clock time (in seconds):1048.566
o 53912
c Got one! Elapsed wall clock time (in seconds):1049.972
o 53911
c Got one! Elapsed wall clock time (in seconds):1051.515
o 53908
c Got one! Elapsed wall clock time (in seconds):1052.506
o 53899
c Got one! Elapsed wall clock time (in seconds):1053.538
o 53897
c Got one! Elapsed wall clock time (in seconds):1054.46
o 53896
c Got one! Elapsed wall clock time (in seconds):1055.653
o 53895
c Got one! Elapsed wall clock time (in seconds):1057.305
o 53887
c Got one! Elapsed wall clock time (in seconds):1058.296
o 53886
c Got one! Elapsed wall clock time (in seconds):1059.143
o 53858
c Got one! Elapsed wall clock time (in seconds):1059.946
o 53841
c Got one! Elapsed wall clock time (in seconds):1061.151
o 53833
c Got one! Elapsed wall clock time (in seconds):1062.095
o 53787
c Got one! Elapsed wall clock time (in seconds):1065.682
o 53786
c Got one! Elapsed wall clock time (in seconds):1067.936
o 53784
c Got one! Elapsed wall clock time (in seconds):1070.046
o 53782
c Got one! Elapsed wall clock time (in seconds):1071.476
o 53775
c Got one! Elapsed wall clock time (in seconds):1072.797
o 53748
c Got one! Elapsed wall clock time (in seconds):1074.219
o 53745
c Got one! Elapsed wall clock time (in seconds):1075.832
o 53742
c cleaning 122240 clauses out of 244501
c Got one! Elapsed wall clock time (in seconds):1082.59
o 53733
c Got one! Elapsed wall clock time (in seconds):1083.509
o 53732
c Got one! Elapsed wall clock time (in seconds):1084.651
o 53731
c Got one! Elapsed wall clock time (in seconds):1085.328
o 53730
c Got one! Elapsed wall clock time (in seconds):1085.911
o 53729
c Got one! Elapsed wall clock time (in seconds):1086.568
o 53728
c Got one! Elapsed wall clock time (in seconds):1087.459
o 53725
c Got one! Elapsed wall clock time (in seconds):1088.146
o 53719
c Got one! Elapsed wall clock time (in seconds):1088.882
o 53660
c Got one! Elapsed wall clock time (in seconds):1089.77
o 53659
c Got one! Elapsed wall clock time (in seconds):1091.075
o 53657
c Got one! Elapsed wall clock time (in seconds):1091.874
o 53654
c Got one! Elapsed wall clock time (in seconds):1092.459
o 53653
c Got one! Elapsed wall clock time (in seconds):1093.136
o 53649
c Got one! Elapsed wall clock time (in seconds):1093.571
o 53597
c Got one! Elapsed wall clock time (in seconds):1094.286
o 53593
c Got one! Elapsed wall clock time (in seconds):1094.854
o 53592
c Got one! Elapsed wall clock time (in seconds):1097.877
o 53591
c Got one! Elapsed wall clock time (in seconds):1099.221
o 53588
c Got one! Elapsed wall clock time (in seconds):1100.79
o 53586
c Got one! Elapsed wall clock time (in seconds):1101.649
o 53585
c Got one! Elapsed wall clock time (in seconds):1102.505
o 53583
c Got one! Elapsed wall clock time (in seconds):1104.034
o 53582
c Got one! Elapsed wall clock time (in seconds):1105.253
o 53580
c Got one! Elapsed wall clock time (in seconds):1106.091
o 53579
c Got one! Elapsed wall clock time (in seconds):1106.978
o 53571
c Got one! Elapsed wall clock time (in seconds):1107.829
o 53565
c Got one! Elapsed wall clock time (in seconds):1108.794
o 53554
c Got one! Elapsed wall clock time (in seconds):1109.547
o 53553
c Got one! Elapsed wall clock time (in seconds):1110.494
o 53550
c Got one! Elapsed wall clock time (in seconds):1111.067
o 53546
c Got one! Elapsed wall clock time (in seconds):1111.971
o 53538
c Got one! Elapsed wall clock time (in seconds):1112.457
o 53537
c Got one! Elapsed wall clock time (in seconds):1112.936
o 53534
c Got one! Elapsed wall clock time (in seconds):1114.173
o 53531
c Got one! Elapsed wall clock time (in seconds):1114.73
o 53528
c Got one! Elapsed wall clock time (in seconds):1116.199
o 53525
c Got one! Elapsed wall clock time (in seconds):1116.839
o 53524
c Got one! Elapsed wall clock time (in seconds):1117.466
o 53522
c Got one! Elapsed wall clock time (in seconds):1118.05
o 53518
c Got one! Elapsed wall clock time (in seconds):1118.513
o 53517
c Got one! Elapsed wall clock time (in seconds):1118.978
o 53507
c Got one! Elapsed wall clock time (in seconds):1119.39
o 53501
c Got one! Elapsed wall clock time (in seconds):1120.072
o 53499
c Got one! Elapsed wall clock time (in seconds):1120.622
o 53497
c Got one! Elapsed wall clock time (in seconds):1121.678
o 53496
c Got one! Elapsed wall clock time (in seconds):1122.256
o 53494
c Got one! Elapsed wall clock time (in seconds):1123.352
o 53491
c Got one! Elapsed wall clock time (in seconds):1124.682
o 53487
c Got one! Elapsed wall clock time (in seconds):1125.389
o 53486
c Got one! Elapsed wall clock time (in seconds):1125.93
o 53485
c Got one! Elapsed wall clock time (in seconds):1126.82
o 53483
c Got one! Elapsed wall clock time (in seconds):1127.234
o 53474
c Got one! Elapsed wall clock time (in seconds):1128.486
o 53472
c Got one! Elapsed wall clock time (in seconds):1129.401
o 53466
c Got one! Elapsed wall clock time (in seconds):1130.065
o 53458
c Got one! Elapsed wall clock time (in seconds):1130.664
o 53457
c Got one! Elapsed wall clock time (in seconds):1131.412
o 53454
c Got one! Elapsed wall clock time (in seconds):1132.007
o 53448
c Got one! Elapsed wall clock time (in seconds):1132.585
o 53444
c Got one! Elapsed wall clock time (in seconds):1133.731
o 53436
c Got one! Elapsed wall clock time (in seconds):1135.455
o 53433
c Got one! Elapsed wall clock time (in seconds):1136.135
o 53432
c Got one! Elapsed wall clock time (in seconds):1136.796
o 53421
c Got one! Elapsed wall clock time (in seconds):1137.578
o 53420
c Got one! Elapsed wall clock time (in seconds):1138.258
o 53419
c Got one! Elapsed wall clock time (in seconds):1138.903
o 53415
c Got one! Elapsed wall clock time (in seconds):1139.77
o 53414
c Got one! Elapsed wall clock time (in seconds):1140.371
o 53409
c Got one! Elapsed wall clock time (in seconds):1140.946
o 53408
c Got one! Elapsed wall clock time (in seconds):1141.594
o 53401
c Got one! Elapsed wall clock time (in seconds):1142.007
o 53400
c Got one! Elapsed wall clock time (in seconds):1142.56
o 53396
c Got one! Elapsed wall clock time (in seconds):1143.949
o 53394
c Got one! Elapsed wall clock time (in seconds):1144.697
o 53392
c Got one! Elapsed wall clock time (in seconds):1145.379
o 53384
c Got one! Elapsed wall clock time (in seconds):1146.185
o 53381
c Got one! Elapsed wall clock time (in seconds):1146.727
o 53379
c Got one! Elapsed wall clock time (in seconds):1147.341
o 53378
c Got one! Elapsed wall clock time (in seconds):1148.037
o 53371
c Got one! Elapsed wall clock time (in seconds):1148.626
o 53369
c Got one! Elapsed wall clock time (in seconds):1149.128
o 53365
c Got one! Elapsed wall clock time (in seconds):1149.765
o 53358
c Got one! Elapsed wall clock time (in seconds):1150.154
o 53351
c Got one! Elapsed wall clock time (in seconds):1151.308
o 53350
c Got one! Elapsed wall clock time (in seconds):1151.953
o 53347
c Got one! Elapsed wall clock time (in seconds):1154.824
o 53345
c Got one! Elapsed wall clock time (in seconds):1156.192
o 53339
c Got one! Elapsed wall clock time (in seconds):1157.474
o 53338
c Got one! Elapsed wall clock time (in seconds):1158.919
o 53337
c Got one! Elapsed wall clock time (in seconds):1159.909
o 53329
c Got one! Elapsed wall clock time (in seconds):1160.774
o 53327
c Got one! Elapsed wall clock time (in seconds):1161.664
o 53320
c Got one! Elapsed wall clock time (in seconds):1162.881
o 53315
c Got one! Elapsed wall clock time (in seconds):1163.728
o 53313
c Got one! Elapsed wall clock time (in seconds):1164.346
o 53295
c Got one! Elapsed wall clock time (in seconds):1165.235
o 53288
c Got one! Elapsed wall clock time (in seconds):1165.986
o 53287
c Got one! Elapsed wall clock time (in seconds):1166.878
o 53283
c Got one! Elapsed wall clock time (in seconds):1167.61
o 53282
c Got one! Elapsed wall clock time (in seconds):1168.401
o 53281
c Got one! Elapsed wall clock time (in seconds):1169.129
o 53278
c Got one! Elapsed wall clock time (in seconds):1169.791
o 53266
c Got one! Elapsed wall clock time (in seconds):1170.606
o 53262
c Got one! Elapsed wall clock time (in seconds):1171.452
o 53261
c Got one! Elapsed wall clock time (in seconds):1172.398
o 53259
c Got one! Elapsed wall clock time (in seconds):1173.289
o 53258
c Got one! Elapsed wall clock time (in seconds):1174.044
o 53254
c Got one! Elapsed wall clock time (in seconds):1175.31
o 53252
c Got one! Elapsed wall clock time (in seconds):1176.589
o 53243
c Got one! Elapsed wall clock time (in seconds):1177.309
o 53237
c Got one! Elapsed wall clock time (in seconds):1177.99
o 53234
c Got one! Elapsed wall clock time (in seconds):1178.553
o 53215
c Got one! Elapsed wall clock time (in seconds):1179.252
o 53212
c Got one! Elapsed wall clock time (in seconds):1179.703
o 53163
c Got one! Elapsed wall clock time (in seconds):1180.704
o 53161
c Got one! Elapsed wall clock time (in seconds):1181.26
o 53148
c Got one! Elapsed wall clock time (in seconds):1182.483
o 53146
c Got one! Elapsed wall clock time (in seconds):1183.347
o 53136
c Got one! Elapsed wall clock time (in seconds):1184.018
o 53130
c Got one! Elapsed wall clock time (in seconds):1184.62
o 53124
c Got one! Elapsed wall clock time (in seconds):1185.415
o 53122
c Got one! Elapsed wall clock time (in seconds):1185.975
o 53120
c Got one! Elapsed wall clock time (in seconds):1186.627
o 53116
c Got one! Elapsed wall clock time (in seconds):1187.381
o 53115
c Got one! Elapsed wall clock time (in seconds):1188.259
o 53113
c Got one! Elapsed wall clock time (in seconds):1191.175
o 53112
c Got one! Elapsed wall clock time (in seconds):1192.306
o 53110
c Got one! Elapsed wall clock time (in seconds):1193.336
o 53109
c Got one! Elapsed wall clock time (in seconds):1194.503
o 53090
c Got one! Elapsed wall clock time (in seconds):1195.73
o 53088
c Got one! Elapsed wall clock time (in seconds):1196.521
o 53078
c Got one! Elapsed wall clock time (in seconds):1197.75
o 53077
c Got one! Elapsed wall clock time (in seconds):1198.618
o 53072
c Got one! Elapsed wall clock time (in seconds):1199.307
o 53067
c Got one! Elapsed wall clock time (in seconds):1200.308
o 53066
c Got one! Elapsed wall clock time (in seconds):1201.395
o 53060
c Got one! Elapsed wall clock time (in seconds):1202.695
o 53059
c Got one! Elapsed wall clock time (in seconds):1203.704
o 53055
c Got one! Elapsed wall clock time (in seconds):1204.53
o 53053
c Got one! Elapsed wall clock time (in seconds):1205.298
o 53046
c Got one! Elapsed wall clock time (in seconds):1206.216
o 53043
c Got one! Elapsed wall clock time (in seconds):1207.706
o 53040
c Got one! Elapsed wall clock time (in seconds):1208.597
o 53036
c Got one! Elapsed wall clock time (in seconds):1209.317
o 53033
c Got one! Elapsed wall clock time (in seconds):1210.129
o 53032
c Got one! Elapsed wall clock time (in seconds):1210.92
o 53024
c Got one! Elapsed wall clock time (in seconds):1211.939
o 53022
c Got one! Elapsed wall clock time (in seconds):1213.1
o 53018
c Got one! Elapsed wall clock time (in seconds):1214.158
o 53013
c Got one! Elapsed wall clock time (in seconds):1215.316
o 53010
c Got one! Elapsed wall clock time (in seconds):1216.036
o 53009
c Got one! Elapsed wall clock time (in seconds):1217.337
o 53008
c Got one! Elapsed wall clock time (in seconds):1218.125
o 53005
c Got one! Elapsed wall clock time (in seconds):1218.836
o 53003
c Got one! Elapsed wall clock time (in seconds):1220.005
o 52999
c Got one! Elapsed wall clock time (in seconds):1220.755
o 52995
c Got one! Elapsed wall clock time (in seconds):1221.697
o 52982
c Got one! Elapsed wall clock time (in seconds):1222.458
o 52969
c Got one! Elapsed wall clock time (in seconds):1223.452
o 52944
c Got one! Elapsed wall clock time (in seconds):1224.047
o 52911
c Got one! Elapsed wall clock time (in seconds):1225.227
o 52907
c Got one! Elapsed wall clock time (in seconds):1225.791
o 52891
c Got one! Elapsed wall clock time (in seconds):1227.126
o 52887
c Got one! Elapsed wall clock time (in seconds):1228.037
o 52884
c Got one! Elapsed wall clock time (in seconds):1228.843
o 52875
c Got one! Elapsed wall clock time (in seconds):1230.615
o 52874
c Got one! Elapsed wall clock time (in seconds):1231.505
o 52870
c Got one! Elapsed wall clock time (in seconds):1232.3
o 52869
c Got one! Elapsed wall clock time (in seconds):1233.084
o 52868
c Got one! Elapsed wall clock time (in seconds):1233.766
o 52856
c Got one! Elapsed wall clock time (in seconds):1234.515
o 52854
c Got one! Elapsed wall clock time (in seconds):1235.273
o 52853
c Got one! Elapsed wall clock time (in seconds):1236.005
o 52847
c Got one! Elapsed wall clock time (in seconds):1236.769
o 52841
c Got one! Elapsed wall clock time (in seconds):1237.636
o 52838
c Got one! Elapsed wall clock time (in seconds):1238.401
o 52834
c Got one! Elapsed wall clock time (in seconds):1239.189
o 52833
c Got one! Elapsed wall clock time (in seconds):1239.844
o 52832
c Got one! Elapsed wall clock time (in seconds):1240.759
o 52829
c Got one! Elapsed wall clock time (in seconds):1241.395
o 52827
c Got one! Elapsed wall clock time (in seconds):1242.015
o 52822
c Got one! Elapsed wall clock time (in seconds):1243.611
o 52819
c Got one! Elapsed wall clock time (in seconds):1244.275
o 52815
c Got one! Elapsed wall clock time (in seconds):1244.853
o 52814
c Got one! Elapsed wall clock time (in seconds):1245.816
o 52809
c Got one! Elapsed wall clock time (in seconds):1246.626
o 52807
c Got one! Elapsed wall clock time (in seconds):1247.187
o 52804
c Got one! Elapsed wall clock time (in seconds):1247.702
o 52795
c Got one! Elapsed wall clock time (in seconds):1248.381
o 52792
c Got one! Elapsed wall clock time (in seconds):1249.018
o 52785
c Got one! Elapsed wall clock time (in seconds):1249.864
o 52783
c Got one! Elapsed wall clock time (in seconds):1250.583
o 52780
c Got one! Elapsed wall clock time (in seconds):1251.266
o 52774
c Got one! Elapsed wall clock time (in seconds):1251.802
o 52773
c Got one! Elapsed wall clock time (in seconds):1252.617
o 52770
c Got one! Elapsed wall clock time (in seconds):1253.125
o 52739
c Got one! Elapsed wall clock time (in seconds):1253.667
o 52737
c Got one! Elapsed wall clock time (in seconds):1255.033
o 52732
c Got one! Elapsed wall clock time (in seconds):1255.735
o 52730
c Got one! Elapsed wall clock time (in seconds):1256.411
o 52728
c Got one! Elapsed wall clock time (in seconds):1258.189
o 52727
c Got one! Elapsed wall clock time (in seconds):1258.945
o 52726
c Got one! Elapsed wall clock time (in seconds):1259.6
o 52725
c Got one! Elapsed wall clock time (in seconds):1260.273
o 52721
c Got one! Elapsed wall clock time (in seconds):1260.903
o 52714
c Got one! Elapsed wall clock time (in seconds):1261.639
o 52706
c Got one! Elapsed wall clock time (in seconds):1262.307
o 52703
c Got one! Elapsed wall clock time (in seconds):1262.966
o 52701
c Got one! Elapsed wall clock time (in seconds):1263.672
o 52697
c Got one! Elapsed wall clock time (in seconds):1264.247
o 52691
c Got one! Elapsed wall clock time (in seconds):1265.787
o 52683
c Got one! Elapsed wall clock time (in seconds):1266.402
o 52680
c Got one! Elapsed wall clock time (in seconds):1266.897
o 52664
c Got one! Elapsed wall clock time (in seconds):1267.539
o 52657
c Got one! Elapsed wall clock time (in seconds):1268.188
o 52654
c Got one! Elapsed wall clock time (in seconds):1271.623
o 52650
c Got one! Elapsed wall clock time (in seconds):1273.066
o 52646
c Got one! Elapsed wall clock time (in seconds):1274.494
o 52642
c Got one! Elapsed wall clock time (in seconds):1275.95
o 52635
c Got one! Elapsed wall clock time (in seconds):1277.458
o 52634
c Got one! Elapsed wall clock time (in seconds):1278.56
o 52632
c Got one! Elapsed wall clock time (in seconds):1280.124
o 52631
c Got one! Elapsed wall clock time (in seconds):1281.635
o 52630
c Got one! Elapsed wall clock time (in seconds):1282.638
o 52629
c Got one! Elapsed wall clock time (in seconds):1284.062
o 52623
c Got one! Elapsed wall clock time (in seconds):1284.701
o 52608
c Got one! Elapsed wall clock time (in seconds):1285.907
o 52607
c Got one! Elapsed wall clock time (in seconds):1286.743
o 52601
c Got one! Elapsed wall clock time (in seconds):1288.204
o 52600
c Got one! Elapsed wall clock time (in seconds):1289.014
o 52576
c Got one! Elapsed wall clock time (in seconds):1289.866
o 52561
c Got one! Elapsed wall clock time (in seconds):1291.058
o 52539
c Got one! Elapsed wall clock time (in seconds):1292.35
o 52511
c Got one! Elapsed wall clock time (in seconds):1293.439
o 52508
c Got one! Elapsed wall clock time (in seconds):1294.962
o 52507
c Got one! Elapsed wall clock time (in seconds):1295.542
o 52505
c Got one! Elapsed wall clock time (in seconds):1296.896
o 52491
c Got one! Elapsed wall clock time (in seconds):1298.105
o 52490
c Got one! Elapsed wall clock time (in seconds):1298.825
o 52484
c Got one! Elapsed wall clock time (in seconds):1300.239
o 52480
c Got one! Elapsed wall clock time (in seconds):1300.96
o 52459
c Got one! Elapsed wall clock time (in seconds):1301.543
o 52447
c Got one! Elapsed wall clock time (in seconds):1301.999
o 52438
c Got one! Elapsed wall clock time (in seconds):1302.712
o 52415
c Got one! Elapsed wall clock time (in seconds):1303.469
o 52413
c Got one! Elapsed wall clock time (in seconds):1304.093
o 52404
c Got one! Elapsed wall clock time (in seconds):1305.003
o 52385
c Got one! Elapsed wall clock time (in seconds):1307.048
o 52384
c Got one! Elapsed wall clock time (in seconds):1308.371
o 52379
c Got one! Elapsed wall clock time (in seconds):1309.573
o 52377
c Got one! Elapsed wall clock time (in seconds):1310.416
o 52376
c Got one! Elapsed wall clock time (in seconds):1311.057
o 52371
c Got one! Elapsed wall clock time (in seconds):1311.74
o 52362
c Got one! Elapsed wall clock time (in seconds):1312.46
o 52354
c Got one! Elapsed wall clock time (in seconds):1313.389
o 52344
c Got one! Elapsed wall clock time (in seconds):1314.277
o 52342
c Got one! Elapsed wall clock time (in seconds):1315.135
o 52341
c Got one! Elapsed wall clock time (in seconds):1316.085
o 52338
c Got one! Elapsed wall clock time (in seconds):1316.733
o 52323
c Got one! Elapsed wall clock time (in seconds):1318.437
o 52322
c Got one! Elapsed wall clock time (in seconds):1319.165
o 52318
c Got one! Elapsed wall clock time (in seconds):1320.144
o 52317
c Got one! Elapsed wall clock time (in seconds):1320.92
o 52315
c Got one! Elapsed wall clock time (in seconds):1321.527
o 52309
c Got one! Elapsed wall clock time (in seconds):1322.59
o 52306
c Got one! Elapsed wall clock time (in seconds):1323.327
o 52301
c Got one! Elapsed wall clock time (in seconds):1324.094
o 52294
c Got one! Elapsed wall clock time (in seconds):1324.731
o 52293
c Got one! Elapsed wall clock time (in seconds):1325.323
o 52288
c Got one! Elapsed wall clock time (in seconds):1325.963
o 52270
c Got one! Elapsed wall clock time (in seconds):1326.914
o 52268
c Got one! Elapsed wall clock time (in seconds):1327.63
o 52260
c Got one! Elapsed wall clock time (in seconds):1328.203
o 52259
c Got one! Elapsed wall clock time (in seconds):1328.834
o 52256
c Got one! Elapsed wall clock time (in seconds):1329.574
o 52250
c cleaning 82129 clauses out of 164261
c Got one! Elapsed wall clock time (in seconds):1347.295
o 52249
c Got one! Elapsed wall clock time (in seconds):1348.527
o 52240
c Got one! Elapsed wall clock time (in seconds):1348.938
o 52235
c Got one! Elapsed wall clock time (in seconds):1349.324
o 52226
c Got one! Elapsed wall clock time (in seconds):1349.709
o 52224
c Got one! Elapsed wall clock time (in seconds):1350.421
o 52223
c Got one! Elapsed wall clock time (in seconds):1350.771
o 52214
c Got one! Elapsed wall clock time (in seconds):1352.067
o 52213
c Got one! Elapsed wall clock time (in seconds):1352.574
o 52209
c Got one! Elapsed wall clock time (in seconds):1353.024
o 52208
c Got one! Elapsed wall clock time (in seconds):1353.528
o 52201
c Got one! Elapsed wall clock time (in seconds):1353.989
o 52197
c Got one! Elapsed wall clock time (in seconds):1354.434
o 52194
c Got one! Elapsed wall clock time (in seconds):1354.829
o 52193
c Got one! Elapsed wall clock time (in seconds):1355.187
o 52183
c Got one! Elapsed wall clock time (in seconds):1355.688
o 52176
c Got one! Elapsed wall clock time (in seconds):1356.159
o 52170
c Got one! Elapsed wall clock time (in seconds):1356.705
o 52161
c Got one! Elapsed wall clock time (in seconds):1357.131
o 52157
c Got one! Elapsed wall clock time (in seconds):1357.463
o 52145
c Got one! Elapsed wall clock time (in seconds):1357.783
o 52142
c Got one! Elapsed wall clock time (in seconds):1358.147
o 52133
c Got one! Elapsed wall clock time (in seconds):1358.739
o 52130
c Got one! Elapsed wall clock time (in seconds):1359.134
o 52126
c Got one! Elapsed wall clock time (in seconds):1359.477
o 52112
c Got one! Elapsed wall clock time (in seconds):1359.933
o 52109
c Got one! Elapsed wall clock time (in seconds):1360.378
o 52105
c Got one! Elapsed wall clock time (in seconds):1360.831
o 52101
c Got one! Elapsed wall clock time (in seconds):1361.199
o 52100
c Got one! Elapsed wall clock time (in seconds):1361.52
o 52098
c Got one! Elapsed wall clock time (in seconds):1361.956
o 52092
c Got one! Elapsed wall clock time (in seconds):1362.265
o 52058
c Got one! Elapsed wall clock time (in seconds):1363.786
o 52056
c Got one! Elapsed wall clock time (in seconds):1364.498
o 52051
c Got one! Elapsed wall clock time (in seconds):1364.937
o 52045
c Got one! Elapsed wall clock time (in seconds):1365.33
o 52037
c Got one! Elapsed wall clock time (in seconds):1365.919
o 52029
c Got one! Elapsed wall clock time (in seconds):1366.231
o 52019
c Got one! Elapsed wall clock time (in seconds):1366.535
o 52018
c Got one! Elapsed wall clock time (in seconds):1367.042
o 52016
c Got one! Elapsed wall clock time (in seconds):1367.394
o 52015
c Got one! Elapsed wall clock time (in seconds):1368.418
o 52013
c Got one! Elapsed wall clock time (in seconds):1368.936
o 52009
c Got one! Elapsed wall clock time (in seconds):1369.57
o 51999
c Got one! Elapsed wall clock time (in seconds):1370.152
o 51997
c Got one! Elapsed wall clock time (in seconds):1370.584
o 51995
c Got one! Elapsed wall clock time (in seconds):1371.023
o 51989
c Got one! Elapsed wall clock time (in seconds):1371.466
o 51987
c Got one! Elapsed wall clock time (in seconds):1371.942
o 51984
c Got one! Elapsed wall clock time (in seconds):1372.433
o 51981
c Got one! Elapsed wall clock time (in seconds):1372.995
o 51975
c Got one! Elapsed wall clock time (in seconds):1373.313
o 51969
c Got one! Elapsed wall clock time (in seconds):1373.722
o 51960
c Got one! Elapsed wall clock time (in seconds):1374.329
o 51954
c Got one! Elapsed wall clock time (in seconds):1374.76
o 51943
c Got one! Elapsed wall clock time (in seconds):1375.171
o 51933
c Got one! Elapsed wall clock time (in seconds):1375.714
o 51846
c Got one! Elapsed wall clock time (in seconds):1376.189
o 51839
c Got one! Elapsed wall clock time (in seconds):1376.781
o 51825
c Got one! Elapsed wall clock time (in seconds):1377.22
o 51820
c Got one! Elapsed wall clock time (in seconds):1377.588
o 51814
c Got one! Elapsed wall clock time (in seconds):1377.935
o 51808
c Got one! Elapsed wall clock time (in seconds):1378.367
o 51806
c Got one! Elapsed wall clock time (in seconds):1378.695
o 51796
c Got one! Elapsed wall clock time (in seconds):1379.08
o 51712
c Got one! Elapsed wall clock time (in seconds):1379.563
o 51699
c Got one! Elapsed wall clock time (in seconds):1380.239
o 51693
c Got one! Elapsed wall clock time (in seconds):1380.648
o 51687
c Got one! Elapsed wall clock time (in seconds):1381.052
o 51685
c Got one! Elapsed wall clock time (in seconds):1381.594
o 51673
c Got one! Elapsed wall clock time (in seconds):1381.938
o 51670
c Got one! Elapsed wall clock time (in seconds):1382.247
o 51652
c Got one! Elapsed wall clock time (in seconds):1382.725
o 51645
c Got one! Elapsed wall clock time (in seconds):1383.274
o 51587
c Got one! Elapsed wall clock time (in seconds):1383.823
o 51584
c Got one! Elapsed wall clock time (in seconds):1384.085
o 51570
c Got one! Elapsed wall clock time (in seconds):1386.366
o 51569
c Got one! Elapsed wall clock time (in seconds):1386.847
o 51561
c Got one! Elapsed wall clock time (in seconds):1387.436
o 51540
c Got one! Elapsed wall clock time (in seconds):1387.884
o 51523
c Got one! Elapsed wall clock time (in seconds):1388.324
o 51460
c Got one! Elapsed wall clock time (in seconds):1389.054
o 51457
c Got one! Elapsed wall clock time (in seconds):1389.607
o 51432
c Got one! Elapsed wall clock time (in seconds):1390.199
o 51430
c Got one! Elapsed wall clock time (in seconds):1390.658
o 51411
c Got one! Elapsed wall clock time (in seconds):1391.316
o 51401
c Got one! Elapsed wall clock time (in seconds):1391.689
o 51374
c Got one! Elapsed wall clock time (in seconds):1392.168
o 51367
c Got one! Elapsed wall clock time (in seconds):1392.914
o 51363
c Got one! Elapsed wall clock time (in seconds):1393.386
o 51349
c Got one! Elapsed wall clock time (in seconds):1393.923
o 51347
c Got one! Elapsed wall clock time (in seconds):1394.44
o 51346
c Got one! Elapsed wall clock time (in seconds):1395.311
o 51341
c Got one! Elapsed wall clock time (in seconds):1396.118
o 51335
c Got one! Elapsed wall clock time (in seconds):1396.586
o 51331
c Got one! Elapsed wall clock time (in seconds):1397.006
o 51325
c Got one! Elapsed wall clock time (in seconds):1397.425
o 51323
c Got one! Elapsed wall clock time (in seconds):1397.904
o 51321
c Got one! Elapsed wall clock time (in seconds):1398.582
o 51296
c Got one! Elapsed wall clock time (in seconds):1399.188
o 51292
c Got one! Elapsed wall clock time (in seconds):1399.647
o 51290
c Got one! Elapsed wall clock time (in seconds):1400.344
o 51283
c Got one! Elapsed wall clock time (in seconds):1402.286
o 51280
c Got one! Elapsed wall clock time (in seconds):1403.326
o 51276
c Got one! Elapsed wall clock time (in seconds):1404.024
o 51261
c Got one! Elapsed wall clock time (in seconds):1404.878
o 51257
c Got one! Elapsed wall clock time (in seconds):1405.921
o 51256
c Got one! Elapsed wall clock time (in seconds):1406.91
o 51249
c Got one! Elapsed wall clock time (in seconds):1407.631
o 51248
c Got one! Elapsed wall clock time (in seconds):1408.228
o 51243
c Got one! Elapsed wall clock time (in seconds):1408.995
o 51240
c Got one! Elapsed wall clock time (in seconds):1410.125
o 51231
c Got one! Elapsed wall clock time (in seconds):1410.881
o 51229
c Got one! Elapsed wall clock time (in seconds):1411.96
o 51228
c Got one! Elapsed wall clock time (in seconds):1412.811
o 51225
c Got one! Elapsed wall clock time (in seconds):1413.577
o 51224
c Got one! Elapsed wall clock time (in seconds):1414.135
o 51210
c Got one! Elapsed wall clock time (in seconds):1414.679
o 51203
c Got one! Elapsed wall clock time (in seconds):1415.49
o 51202
c Got one! Elapsed wall clock time (in seconds):1416.27
o 51196
c Got one! Elapsed wall clock time (in seconds):1417.358
o 51182
c Got one! Elapsed wall clock time (in seconds):1418.029
o 51177
c Got one! Elapsed wall clock time (in seconds):1418.662
o 51172
c Got one! Elapsed wall clock time (in seconds):1419.387
o 51168
c Got one! Elapsed wall clock time (in seconds):1419.917
o 51165
c Got one! Elapsed wall clock time (in seconds):1420.986
o 51162
c Got one! Elapsed wall clock time (in seconds):1421.624
o 51151
c Got one! Elapsed wall clock time (in seconds):1422.696
o 51120
c Got one! Elapsed wall clock time (in seconds):1423.296
o 51109
c Got one! Elapsed wall clock time (in seconds):1424.288
o 51101
c Got one! Elapsed wall clock time (in seconds):1424.81
o 51091
c Got one! Elapsed wall clock time (in seconds):1426.018
o 51090
c Got one! Elapsed wall clock time (in seconds):1426.871
o 51087
c Got one! Elapsed wall clock time (in seconds):1427.538
o 51081
c Got one! Elapsed wall clock time (in seconds):1427.996
o 51077
c Got one! Elapsed wall clock time (in seconds):1428.726
o 51072
c Got one! Elapsed wall clock time (in seconds):1429.139
o 51065
c Got one! Elapsed wall clock time (in seconds):1429.705
o 51064
c Got one! Elapsed wall clock time (in seconds):1430.323
o 51059
c Got one! Elapsed wall clock time (in seconds):1431.001
o 51056
c Got one! Elapsed wall clock time (in seconds):1431.499
o 51053
c Got one! Elapsed wall clock time (in seconds):1431.933
o 51046
c Got one! Elapsed wall clock time (in seconds):1432.609
o 51039
c Got one! Elapsed wall clock time (in seconds):1432.924
o 50983
c Got one! Elapsed wall clock time (in seconds):1433.476
o 50975
c Got one! Elapsed wall clock time (in seconds):1434.689
o 50974
c Got one! Elapsed wall clock time (in seconds):1435.249
o 50970
c Got one! Elapsed wall clock time (in seconds):1435.86
o 50961
c Got one! Elapsed wall clock time (in seconds):1436.314
o 50958
c Got one! Elapsed wall clock time (in seconds):1437.552
o 50955
c Got one! Elapsed wall clock time (in seconds):1438.459
o 50954
c Got one! Elapsed wall clock time (in seconds):1438.962
o 50941
c Got one! Elapsed wall clock time (in seconds):1439.68
o 50940
c Got one! Elapsed wall clock time (in seconds):1440.17
o 50933
c Got one! Elapsed wall clock time (in seconds):1440.707
o 50925
c Got one! Elapsed wall clock time (in seconds):1441.433
o 50923
c Got one! Elapsed wall clock time (in seconds):1442.716
o 50922
c Got one! Elapsed wall clock time (in seconds):1443.167
o 50921
c Got one! Elapsed wall clock time (in seconds):1443.569
o 50914
c Got one! Elapsed wall clock time (in seconds):1444.839
o 50912
c Got one! Elapsed wall clock time (in seconds):1445.49
o 50909
c Got one! Elapsed wall clock time (in seconds):1445.971
o 50855
c Got one! Elapsed wall clock time (in seconds):1446.468
o 50847
c Got one! Elapsed wall clock time (in seconds):1446.954
o 50842
c Got one! Elapsed wall clock time (in seconds):1447.514
o 50839
c Got one! Elapsed wall clock time (in seconds):1448.142
o 50829
c Got one! Elapsed wall clock time (in seconds):1448.815
o 50826
c Got one! Elapsed wall clock time (in seconds):1449.338
o 50822
c Got one! Elapsed wall clock time (in seconds):1449.862
o 50814
c Got one! Elapsed wall clock time (in seconds):1450.362
o 50808
c Got one! Elapsed wall clock time (in seconds):1451.848
o 50803
c Got one! Elapsed wall clock time (in seconds):1452.435
o 50791
c Got one! Elapsed wall clock time (in seconds):1452.955
o 50787
c Got one! Elapsed wall clock time (in seconds):1453.626
o 50785
c Got one! Elapsed wall clock time (in seconds):1454.333
o 50784
c Got one! Elapsed wall clock time (in seconds):1454.902
o 50770
c Got one! Elapsed wall clock time (in seconds):1455.53
o 50765
c Got one! Elapsed wall clock time (in seconds):1456.058
o 50760
c Got one! Elapsed wall clock time (in seconds):1456.474
o 50718
c Got one! Elapsed wall clock time (in seconds):1456.958
o 50714
c Got one! Elapsed wall clock time (in seconds):1457.345
o 50712
c Got one! Elapsed wall clock time (in seconds):1457.978
o 50709
c Got one! Elapsed wall clock time (in seconds):1458.34
o 50703
c Got one! Elapsed wall clock time (in seconds):1459.046
o 50701
c Got one! Elapsed wall clock time (in seconds):1459.944
o 50700
c Got one! Elapsed wall clock time (in seconds):1460.483
o 50694
c Got one! Elapsed wall clock time (in seconds):1461.083
o 50690
c Got one! Elapsed wall clock time (in seconds):1461.644
o 50684
c Got one! Elapsed wall clock time (in seconds):1462.121
o 50683
c Got one! Elapsed wall clock time (in seconds):1462.57
o 50677
c Got one! Elapsed wall clock time (in seconds):1462.972
o 50670
c Got one! Elapsed wall clock time (in seconds):1463.936
o 50667
c Got one! Elapsed wall clock time (in seconds):1464.414
o 50663
c Got one! Elapsed wall clock time (in seconds):1465.331
o 50650
c Got one! Elapsed wall clock time (in seconds):1466.009
o 50643
c Got one! Elapsed wall clock time (in seconds):1466.573
o 50639
c Got one! Elapsed wall clock time (in seconds):1467.718
o 50632
c Got one! Elapsed wall clock time (in seconds):1468.183
o 50627
c Got one! Elapsed wall clock time (in seconds):1468.8
o 50621
c Got one! Elapsed wall clock time (in seconds):1469.476
o 50523
c Got one! Elapsed wall clock time (in seconds):1470.38
o 50517
c Got one! Elapsed wall clock time (in seconds):1471.218
o 50514
c Got one! Elapsed wall clock time (in seconds):1472.539
o 50500
c Got one! Elapsed wall clock time (in seconds):1473.227
o 50496
c Got one! Elapsed wall clock time (in seconds):1473.694
o 50450
c Got one! Elapsed wall clock time (in seconds):1474.585
o 50449
c Got one! Elapsed wall clock time (in seconds):1475.112
o 50447
c Got one! Elapsed wall clock time (in seconds):1475.749
o 50446
c Got one! Elapsed wall clock time (in seconds):1476.508
o 50444
c Got one! Elapsed wall clock time (in seconds):1477.388
o 50442
c Got one! Elapsed wall clock time (in seconds):1478.31
o 50438
c Got one! Elapsed wall clock time (in seconds):1479.16
o 50437
c Got one! Elapsed wall clock time (in seconds):1479.993
o 50436
c Got one! Elapsed wall clock time (in seconds):1480.944
o 50406
c Got one! Elapsed wall clock time (in seconds):1481.75
o 50386
c Got one! Elapsed wall clock time (in seconds):1482.135
o 50356
c Got one! Elapsed wall clock time (in seconds):1483.048
o 50354
c Got one! Elapsed wall clock time (in seconds):1483.415
o 50352
c Got one! Elapsed wall clock time (in seconds):1483.718
o 50351
c Got one! Elapsed wall clock time (in seconds):1484.121
o 50339
c Got one! Elapsed wall clock time (in seconds):1484.592
o 50338
c Got one! Elapsed wall clock time (in seconds):1485.136
o 50330
c Got one! Elapsed wall clock time (in seconds):1485.509
o 50287
c Got one! Elapsed wall clock time (in seconds):1486.814
o 50278
c Got one! Elapsed wall clock time (in seconds):1487.513
o 50276
c Got one! Elapsed wall clock time (in seconds):1488.838
o 50263
c Got one! Elapsed wall clock time (in seconds):1489.613
o 50255
c Got one! Elapsed wall clock time (in seconds):1490.466
o 50242
c Got one! Elapsed wall clock time (in seconds):1490.93
o 50221
c Got one! Elapsed wall clock time (in seconds):1491.323
o 50216
c Got one! Elapsed wall clock time (in seconds):1491.672
o 50207
c Got one! Elapsed wall clock time (in seconds):1492.211
o 50195
c Got one! Elapsed wall clock time (in seconds):1492.91
o 50194
c Got one! Elapsed wall clock time (in seconds):1493.485
o 50193
c Got one! Elapsed wall clock time (in seconds):1494.298
o 50190
c Got one! Elapsed wall clock time (in seconds):1495.183
o 50188
c Got one! Elapsed wall clock time (in seconds):1496.478
o 50187
c Got one! Elapsed wall clock time (in seconds):1497.152
o 50186
c Got one! Elapsed wall clock time (in seconds):1497.621
o 50152
c Got one! Elapsed wall clock time (in seconds):1498.369
o 50151
c Got one! Elapsed wall clock time (in seconds):1498.968
o 50137
c Got one! Elapsed wall clock time (in seconds):1500.264
o 50124
c Got one! Elapsed wall clock time (in seconds):1500.883
o 50117
c Got one! Elapsed wall clock time (in seconds):1501.404
o 50115
c Got one! Elapsed wall clock time (in seconds):1501.841
o 50070
c Got one! Elapsed wall clock time (in seconds):1503.048
o 50059
c Got one! Elapsed wall clock time (in seconds):1503.616
o 50058
c Got one! Elapsed wall clock time (in seconds):1504.135
o 50031
c Got one! Elapsed wall clock time (in seconds):1504.986
o 50030
c Got one! Elapsed wall clock time (in seconds):1505.982
o 50020
c Got one! Elapsed wall clock time (in seconds):1506.496
o 50013
c Got one! Elapsed wall clock time (in seconds):1506.996
o 50007
c Got one! Elapsed wall clock time (in seconds):1508.273
o 50004
c Got one! Elapsed wall clock time (in seconds):1508.892
o 50003
c Got one! Elapsed wall clock time (in seconds):1509.433
o 49959
c Got one! Elapsed wall clock time (in seconds):1510.16
o 49950
c Got one! Elapsed wall clock time (in seconds):1510.763
o 49948
c Got one! Elapsed wall clock time (in seconds):1511.272
o 49942
c Got one! Elapsed wall clock time (in seconds):1511.795
o 49940
c Got one! Elapsed wall clock time (in seconds):1512.435
o 49934
c Got one! Elapsed wall clock time (in seconds):1513.054
o 49932
c Got one! Elapsed wall clock time (in seconds):1513.534
o 49929
c Got one! Elapsed wall clock time (in seconds):1514.456
o 49909
c Got one! Elapsed wall clock time (in seconds):1515.464
o 49904
c Got one! Elapsed wall clock time (in seconds):1516.102
o 49894
c Got one! Elapsed wall clock time (in seconds):1517.079
o 49882
c Got one! Elapsed wall clock time (in seconds):1518.407
o 49881
c Got one! Elapsed wall clock time (in seconds):1519.045
o 49875
c Got one! Elapsed wall clock time (in seconds):1520.614
o 49872
c Got one! Elapsed wall clock time (in seconds):1521.799
o 49869
c Got one! Elapsed wall clock time (in seconds):1522.742
o 49802
c Got one! Elapsed wall clock time (in seconds):1523.347
o 49796
c Got one! Elapsed wall clock time (in seconds):1524.467
o 49791
c Got one! Elapsed wall clock time (in seconds):1525.177
o 49789
c Got one! Elapsed wall clock time (in seconds):1525.914
o 49786
c Got one! Elapsed wall clock time (in seconds):1526.267
o 49701
c Got one! Elapsed wall clock time (in seconds):1527.076
o 49689
c Got one! Elapsed wall clock time (in seconds):1527.583
o 49671
c Got one! Elapsed wall clock time (in seconds):1528.02
o 49569
c Got one! Elapsed wall clock time (in seconds):1530.4
o 49568
c Got one! Elapsed wall clock time (in seconds):1531.874
o 49564
c Got one! Elapsed wall clock time (in seconds):1533.36
o 49561
c Got one! Elapsed wall clock time (in seconds):1534.582
o 49557
c Got one! Elapsed wall clock time (in seconds):1535.526
o 49541
c Got one! Elapsed wall clock time (in seconds):1536.301
o 49539
c Got one! Elapsed wall clock time (in seconds):1536.879
o 49507
c Got one! Elapsed wall clock time (in seconds):1537.905
o 49506
c Got one! Elapsed wall clock time (in seconds):1538.8
o 49505
c Got one! Elapsed wall clock time (in seconds):1539.847
o 49502
c Got one! Elapsed wall clock time (in seconds):1540.965
o 49495
c Got one! Elapsed wall clock time (in seconds):1542.132
o 49487
c Got one! Elapsed wall clock time (in seconds):1543.022
o 49480
c Got one! Elapsed wall clock time (in seconds):1544.008
o 49472
c Got one! Elapsed wall clock time (in seconds):1545.087
o 49438
c Got one! Elapsed wall clock time (in seconds):1545.89
o 49435
c Got one! Elapsed wall clock time (in seconds):1547.575
o 49434
c Got one! Elapsed wall clock time (in seconds):1548.306
o 49431
c Got one! Elapsed wall clock time (in seconds):1549.358
o 49429
c Got one! Elapsed wall clock time (in seconds):1550.394
o 49427
c Got one! Elapsed wall clock time (in seconds):1551.209
o 49425
c Got one! Elapsed wall clock time (in seconds):1551.851
o 49420
c Got one! Elapsed wall clock time (in seconds):1552.595
o 49411
c Got one! Elapsed wall clock time (in seconds):1554.042
o 49403
c Got one! Elapsed wall clock time (in seconds):1554.951
o 49402
c Got one! Elapsed wall clock time (in seconds):1555.681
o 49363
c Got one! Elapsed wall clock time (in seconds):1556.541
o 49362
c Got one! Elapsed wall clock time (in seconds):1557.198
o 49357
c Got one! Elapsed wall clock time (in seconds):1557.955
o 49337
c Got one! Elapsed wall clock time (in seconds):1559.296
o 49332
c Got one! Elapsed wall clock time (in seconds):1560.098
o 49329
c Got one! Elapsed wall clock time (in seconds):1560.636
o 49323
c Got one! Elapsed wall clock time (in seconds):1561.258
o 49294
c Got one! Elapsed wall clock time (in seconds):1561.976
o 49289
c Got one! Elapsed wall clock time (in seconds):1562.507
o 49280
c Got one! Elapsed wall clock time (in seconds):1563.048
o 49260
c Got one! Elapsed wall clock time (in seconds):1563.588
o 49239
c Got one! Elapsed wall clock time (in seconds):1564.075
o 49234
c Got one! Elapsed wall clock time (in seconds):1565.257
o 49227
c Got one! Elapsed wall clock time (in seconds):1566.029
o 49211
c Got one! Elapsed wall clock time (in seconds):1566.61
o 49207
c Got one! Elapsed wall clock time (in seconds):1567.063
o 49195
c Got one! Elapsed wall clock time (in seconds):1567.542
o 49190
c Got one! Elapsed wall clock time (in seconds):1568.543
o 49168
c Got one! Elapsed wall clock time (in seconds):1569.989
o 49162
c Got one! Elapsed wall clock time (in seconds):1570.727
o 49160
c Got one! Elapsed wall clock time (in seconds):1571.322
o 49139
c Got one! Elapsed wall clock time (in seconds):1571.875
o 49134
c Got one! Elapsed wall clock time (in seconds):1572.414
o 49121
c Got one! Elapsed wall clock time (in seconds):1574.007
o 49102
c Got one! Elapsed wall clock time (in seconds):1574.644
o 49094
c Got one! Elapsed wall clock time (in seconds):1575.436
o 49093
c Got one! Elapsed wall clock time (in seconds):1576.082
o 49091
c Got one! Elapsed wall clock time (in seconds):1576.882
o 49090
c Got one! Elapsed wall clock time (in seconds):1578.371
o 49089
c Got one! Elapsed wall clock time (in seconds):1579.096
o 49087
c Got one! Elapsed wall clock time (in seconds):1579.622
o 49085
c Got one! Elapsed wall clock time (in seconds):1580.999
o 49082
c Got one! Elapsed wall clock time (in seconds):1581.511
o 49077
c Got one! Elapsed wall clock time (in seconds):1582.268
o 49072
c Got one! Elapsed wall clock time (in seconds):1582.927
o 49070
c Got one! Elapsed wall clock time (in seconds):1583.472
o 49051
c Got one! Elapsed wall clock time (in seconds):1584.801
o 49049
c Got one! Elapsed wall clock time (in seconds):1585.354
o 49042
c Got one! Elapsed wall clock time (in seconds):1585.914
o 49035
c Got one! Elapsed wall clock time (in seconds):1587.335
o 49026
c Got one! Elapsed wall clock time (in seconds):1587.886
o 49021
c Got one! Elapsed wall clock time (in seconds):1588.766
o 49020
c Got one! Elapsed wall clock time (in seconds):1590.238
o 49017
c Got one! Elapsed wall clock time (in seconds):1590.902
o 49010
c Got one! Elapsed wall clock time (in seconds):1591.475
o 49008
c Got one! Elapsed wall clock time (in seconds):1591.977
o 49004
c Got one! Elapsed wall clock time (in seconds):1592.403
o 48980
c Got one! Elapsed wall clock time (in seconds):1593.161
o 48978
c Got one! Elapsed wall clock time (in seconds):1593.739
o 48970
c Got one! Elapsed wall clock time (in seconds):1594.498
o 48967
c Got one! Elapsed wall clock time (in seconds):1595.016
o 48938
c Got one! Elapsed wall clock time (in seconds):1598.719
o 48935
c Got one! Elapsed wall clock time (in seconds):1600.253
o 48932
c Got one! Elapsed wall clock time (in seconds):1601.521
o 48927
c Got one! Elapsed wall clock time (in seconds):1602.319
o 48918
c Got one! Elapsed wall clock time (in seconds):1603.426
o 48914
c cleaning 70063 clauses out of 140132
c Got one! Elapsed wall clock time (in seconds):1615.739
o 48913
c Got one! Elapsed wall clock time (in seconds):1616.185
o 48907
c Got one! Elapsed wall clock time (in seconds):1616.678
o 48903
c Got one! Elapsed wall clock time (in seconds):1617.553
o 48889
c Got one! Elapsed wall clock time (in seconds):1618.081
o 48887
c Got one! Elapsed wall clock time (in seconds):1618.546
o 48882
c Got one! Elapsed wall clock time (in seconds):1619.609
o 48876
c Got one! Elapsed wall clock time (in seconds):1620.502
o 48875
c Got one! Elapsed wall clock time (in seconds):1621.024
o 48852
c Got one! Elapsed wall clock time (in seconds):1621.723
o 48845
c Got one! Elapsed wall clock time (in seconds):1622.047
o 48838
c Got one! Elapsed wall clock time (in seconds):1623.001
o 48836
c Got one! Elapsed wall clock time (in seconds):1623.782
o 48835
c Got one! Elapsed wall clock time (in seconds):1624.224
o 48823
c Got one! Elapsed wall clock time (in seconds):1624.613
o 48814
c Got one! Elapsed wall clock time (in seconds):1625.044
o 48813
c Got one! Elapsed wall clock time (in seconds):1625.589
o 48807
c Got one! Elapsed wall clock time (in seconds):1626.366
o 48804
c Got one! Elapsed wall clock time (in seconds):1626.976
o 48795
c Got one! Elapsed wall clock time (in seconds):1627.556
o 48776
c Got one! Elapsed wall clock time (in seconds):1628.281
o 48772
c Got one! Elapsed wall clock time (in seconds):1628.599
o 48769
c Got one! Elapsed wall clock time (in seconds):1629.037
o 48729
c Got one! Elapsed wall clock time (in seconds):1629.315
o 48709
c Got one! Elapsed wall clock time (in seconds):1629.694
o 48701
c Got one! Elapsed wall clock time (in seconds):1630.616
o 48695
c Got one! Elapsed wall clock time (in seconds):1631.193
o 48686
c Got one! Elapsed wall clock time (in seconds):1631.536
o 48683
c Got one! Elapsed wall clock time (in seconds):1631.837
o 48681
c Got one! Elapsed wall clock time (in seconds):1632.117
o 48679
c Got one! Elapsed wall clock time (in seconds):1632.577
o 48674
c Got one! Elapsed wall clock time (in seconds):1632.823
o 48672
c Got one! Elapsed wall clock time (in seconds):1633.22
o 48664
c Got one! Elapsed wall clock time (in seconds):1633.526
o 48657
c Got one! Elapsed wall clock time (in seconds):1633.865
o 48656
c Got one! Elapsed wall clock time (in seconds):1634.227
o 48653
c Got one! Elapsed wall clock time (in seconds):1634.621
o 48643
c Got one! Elapsed wall clock time (in seconds):1634.914
o 48642
c Got one! Elapsed wall clock time (in seconds):1635.208
o 48639
c Got one! Elapsed wall clock time (in seconds):1635.558
o 48632
c Got one! Elapsed wall clock time (in seconds):1635.965
o 48624
c Got one! Elapsed wall clock time (in seconds):1636.299
o 48601
c Got one! Elapsed wall clock time (in seconds):1636.675
o 48596
c Got one! Elapsed wall clock time (in seconds):1637.053
o 48593
c Got one! Elapsed wall clock time (in seconds):1637.313
o 48591
c Got one! Elapsed wall clock time (in seconds):1637.787
o 48576
c Got one! Elapsed wall clock time (in seconds):1638.663
o 48575
c Got one! Elapsed wall clock time (in seconds):1639.111
o 48571
c Got one! Elapsed wall clock time (in seconds):1639.909
o 48568
c Got one! Elapsed wall clock time (in seconds):1640.64
o 48563
c Got one! Elapsed wall clock time (in seconds):1641.144
o 48561
c Got one! Elapsed wall clock time (in seconds):1641.524
o 48551
c Got one! Elapsed wall clock time (in seconds):1641.927
o 48540
c Got one! Elapsed wall clock time (in seconds):1642.347
o 48531
c Got one! Elapsed wall clock time (in seconds):1643.257
o 48524
c Got one! Elapsed wall clock time (in seconds):1643.9
o 48523
c Got one! Elapsed wall clock time (in seconds):1644.373
o 48515
c Got one! Elapsed wall clock time (in seconds):1644.9
o 48494
c Got one! Elapsed wall clock time (in seconds):1645.301
o 48492
c Got one! Elapsed wall clock time (in seconds):1645.668
o 48490
c Got one! Elapsed wall clock time (in seconds):1646.155
o 48488
c Got one! Elapsed wall clock time (in seconds):1646.576
o 48484
c Got one! Elapsed wall clock time (in seconds):1647.043
o 48478
c Got one! Elapsed wall clock time (in seconds):1647.308
o 48477
c Got one! Elapsed wall clock time (in seconds):1647.767
o 48442
c Got one! Elapsed wall clock time (in seconds):1648.376
o 48440
c Got one! Elapsed wall clock time (in seconds):1648.731
o 48427
c Got one! Elapsed wall clock time (in seconds):1649.344
o 48421
c Got one! Elapsed wall clock time (in seconds):1649.801
o 48414
c Got one! Elapsed wall clock time (in seconds):1650.284
o 48374
c Got one! Elapsed wall clock time (in seconds):1651.182
o 48334
c Got one! Elapsed wall clock time (in seconds):1651.571
o 48330
c Got one! Elapsed wall clock time (in seconds):1652.017
o 48329
c Got one! Elapsed wall clock time (in seconds):1652.984
o 48328
c Got one! Elapsed wall clock time (in seconds):1653.492
o 48315
c Got one! Elapsed wall clock time (in seconds):1654.444
o 48307
c Got one! Elapsed wall clock time (in seconds):1654.971
o 48297
c Got one! Elapsed wall clock time (in seconds):1655.561
o 48294
c Got one! Elapsed wall clock time (in seconds):1656.733
o 48291
c Got one! Elapsed wall clock time (in seconds):1657.032
o 48287
c Got one! Elapsed wall clock time (in seconds):1657.38
o 48281
c Got one! Elapsed wall clock time (in seconds):1657.858
o 48278
c Got one! Elapsed wall clock time (in seconds):1659.11
o 48277
c Got one! Elapsed wall clock time (in seconds):1659.646
o 48267
c Got one! Elapsed wall clock time (in seconds):1660.201
o 48266
c Got one! Elapsed wall clock time (in seconds):1660.507
o 48260
c Got one! Elapsed wall clock time (in seconds):1661.186
o 48247
c Got one! Elapsed wall clock time (in seconds):1661.631
o 48225
c Got one! Elapsed wall clock time (in seconds):1662.274
o 48221
c Got one! Elapsed wall clock time (in seconds):1662.773
o 48214
c Got one! Elapsed wall clock time (in seconds):1663.16
o 48211
c Got one! Elapsed wall clock time (in seconds):1663.512
o 48199
c Got one! Elapsed wall clock time (in seconds):1663.938
o 48198
c Got one! Elapsed wall clock time (in seconds):1664.339
o 48193
c Got one! Elapsed wall clock time (in seconds):1664.754
o 48163
c Got one! Elapsed wall clock time (in seconds):1665.04
o 48157
c Got one! Elapsed wall clock time (in seconds):1665.565
o 48084
c Got one! Elapsed wall clock time (in seconds):1666.119
o 48081
c Got one! Elapsed wall clock time (in seconds):1666.47
o 48075
c Got one! Elapsed wall clock time (in seconds):1666.798
o 48070
c Got one! Elapsed wall clock time (in seconds):1667.444
o 48065
c Got one! Elapsed wall clock time (in seconds):1667.928
o 48023
c Got one! Elapsed wall clock time (in seconds):1668.328
o 48017
c Got one! Elapsed wall clock time (in seconds):1669.009
o 48009
c Got one! Elapsed wall clock time (in seconds):1669.386
o 47994
c Got one! Elapsed wall clock time (in seconds):1669.795
o 47990
c Got one! Elapsed wall clock time (in seconds):1671.007
o 47987
c Got one! Elapsed wall clock time (in seconds):1671.659
o 47978
c Got one! Elapsed wall clock time (in seconds):1673.041
o 47971
c Got one! Elapsed wall clock time (in seconds):1673.56
o 47968
c Got one! Elapsed wall clock time (in seconds):1674.664
o 47964
c Got one! Elapsed wall clock time (in seconds):1675.044
o 47952
c Got one! Elapsed wall clock time (in seconds):1675.747
o 47950
c Got one! Elapsed wall clock time (in seconds):1676.336
o 47910
c Got one! Elapsed wall clock time (in seconds):1677.477
o 47902
c Got one! Elapsed wall clock time (in seconds):1677.817
o 47897
c Got one! Elapsed wall clock time (in seconds):1678.227
o 47896
c Got one! Elapsed wall clock time (in seconds):1678.776
o 47879
c Got one! Elapsed wall clock time (in seconds):1680.11
o 47870
c Got one! Elapsed wall clock time (in seconds):1680.64
o 47869
c Got one! Elapsed wall clock time (in seconds):1681.231
o 47805
c Got one! Elapsed wall clock time (in seconds):1682.452
o 47803
c Got one! Elapsed wall clock time (in seconds):1682.913
o 47797
c Got one! Elapsed wall clock time (in seconds):1683.364
o 47768
c Got one! Elapsed wall clock time (in seconds):1683.91
o 47743
c Got one! Elapsed wall clock time (in seconds):1684.358
o 47739
c Got one! Elapsed wall clock time (in seconds):1684.736
o 47709
c Got one! Elapsed wall clock time (in seconds):1686.195
o 47704
c Got one! Elapsed wall clock time (in seconds):1687.333
o 47698
c Got one! Elapsed wall clock time (in seconds):1688.1
o 47695
c Got one! Elapsed wall clock time (in seconds):1688.858
o 47680
c Got one! Elapsed wall clock time (in seconds):1689.228
o 47664
c Got one! Elapsed wall clock time (in seconds):1690.098
o 47657
c Got one! Elapsed wall clock time (in seconds):1690.572
o 47655
c Got one! Elapsed wall clock time (in seconds):1691.168
o 47643
c Got one! Elapsed wall clock time (in seconds):1691.837
o 47641
c Got one! Elapsed wall clock time (in seconds):1692.704
o 47637
c Got one! Elapsed wall clock time (in seconds):1693.152
o 47631
c Got one! Elapsed wall clock time (in seconds):1693.649
o 47624
c Got one! Elapsed wall clock time (in seconds):1694.274
o 47618
c Got one! Elapsed wall clock time (in seconds):1695.397
o 47614
c Got one! Elapsed wall clock time (in seconds):1695.998
o 47613
c Got one! Elapsed wall clock time (in seconds):1696.587
o 47606
c Got one! Elapsed wall clock time (in seconds):1697.024
o 47597
c Got one! Elapsed wall clock time (in seconds):1697.771
o 47591
c Got one! Elapsed wall clock time (in seconds):1698.234
o 47580
c Got one! Elapsed wall clock time (in seconds):1698.832
o 47565
c Got one! Elapsed wall clock time (in seconds):1699.922
o 47560
c Got one! Elapsed wall clock time (in seconds):1700.409
o 47540
c Got one! Elapsed wall clock time (in seconds):1700.948
o 47539
c Got one! Elapsed wall clock time (in seconds):1701.877
o 47531
c Got one! Elapsed wall clock time (in seconds):1702.43
o 47529
c Got one! Elapsed wall clock time (in seconds):1703.653
o 47528
c Got one! Elapsed wall clock time (in seconds):1704.213
o 47526
c Got one! Elapsed wall clock time (in seconds):1704.709
o 47524
c Got one! Elapsed wall clock time (in seconds):1705.248
o 47518
c Got one! Elapsed wall clock time (in seconds):1705.687
o 47485
c Got one! Elapsed wall clock time (in seconds):1706.142
o 47470
c Got one! Elapsed wall clock time (in seconds):1706.798
o 47469
c Got one! Elapsed wall clock time (in seconds):1707.362
o 47458
c Got one! Elapsed wall clock time (in seconds):1707.738
o 47452
c Got one! Elapsed wall clock time (in seconds):1708.771
o 47447
c Got one! Elapsed wall clock time (in seconds):1709.159
o 47445
c Got one! Elapsed wall clock time (in seconds):1709.523
o 47427
c Got one! Elapsed wall clock time (in seconds):1710.105
o 47422
c Got one! Elapsed wall clock time (in seconds):1710.638
o 47419
c Got one! Elapsed wall clock time (in seconds):1711.035
o 47412
c Got one! Elapsed wall clock time (in seconds):1711.436
o 47404
c Got one! Elapsed wall clock time (in seconds):1712.061
o 47381
c Got one! Elapsed wall clock time (in seconds):1713.145
o 47379
c Got one! Elapsed wall clock time (in seconds):1713.631
o 47372
c Got one! Elapsed wall clock time (in seconds):1714.16
o 47365
c Got one! Elapsed wall clock time (in seconds):1714.636
o 47357
c Got one! Elapsed wall clock time (in seconds):1715.763
o 47354
c Got one! Elapsed wall clock time (in seconds):1716.308
o 47349
c Got one! Elapsed wall clock time (in seconds):1716.738
o 47346
c Got one! Elapsed wall clock time (in seconds):1717.275
o 47303
c Got one! Elapsed wall clock time (in seconds):1717.785
o 47302
c Got one! Elapsed wall clock time (in seconds):1718.381
o 47300
c Got one! Elapsed wall clock time (in seconds):1718.839
o 47293
c Got one! Elapsed wall clock time (in seconds):1719.371
o 47291
c Got one! Elapsed wall clock time (in seconds):1719.709
o 47272
c Got one! Elapsed wall clock time (in seconds):1720.298
o 47269
c Got one! Elapsed wall clock time (in seconds):1720.737
o 47268
c Got one! Elapsed wall clock time (in seconds):1721.687
o 47257
c Got one! Elapsed wall clock time (in seconds):1722.162
o 47249
c Got one! Elapsed wall clock time (in seconds):1722.591
o 47232
c Got one! Elapsed wall clock time (in seconds):1723.752
o 47212
c Got one! Elapsed wall clock time (in seconds):1724.282
o 47209
c Got one! Elapsed wall clock time (in seconds):1724.615
o 47208
c Got one! Elapsed wall clock time (in seconds):1725.021
o 47206
c Got one! Elapsed wall clock time (in seconds):1725.417
o 47205
c Got one! Elapsed wall clock time (in seconds):1725.889
o 47195
c Got one! Elapsed wall clock time (in seconds):1726.402
o 47185
c Got one! Elapsed wall clock time (in seconds):1726.863
o 47180
c Got one! Elapsed wall clock time (in seconds):1727.273
o 47175
c Got one! Elapsed wall clock time (in seconds):1727.987
o 47170
c Got one! Elapsed wall clock time (in seconds):1728.409
o 47169
c Got one! Elapsed wall clock time (in seconds):1728.952
o 47168
c Got one! Elapsed wall clock time (in seconds):1729.558
o 47088
c Got one! Elapsed wall clock time (in seconds):1730.589
o 47080
c Got one! Elapsed wall clock time (in seconds):1731.339
o 47077
c Got one! Elapsed wall clock time (in seconds):1731.722
o 47057
c Got one! Elapsed wall clock time (in seconds):1732.353
o 47054
c Got one! Elapsed wall clock time (in seconds):1732.766
o 47044
c Got one! Elapsed wall clock time (in seconds):1733.353
o 47039
c Got one! Elapsed wall clock time (in seconds):1734.065
o 47031
c Got one! Elapsed wall clock time (in seconds):1735.075
o 47030
c Got one! Elapsed wall clock time (in seconds):1736.12
o 47029
c Got one! Elapsed wall clock time (in seconds):1736.533
o 47019
c Got one! Elapsed wall clock time (in seconds):1737.058
o 47017
c Got one! Elapsed wall clock time (in seconds):1737.43
o 46957
c Got one! Elapsed wall clock time (in seconds):1737.794
o 46944
c Got one! Elapsed wall clock time (in seconds):1738.158
o 46942
c Got one! Elapsed wall clock time (in seconds):1738.723
o 46926
c Got one! Elapsed wall clock time (in seconds):1739.094
o 46919
c Got one! Elapsed wall clock time (in seconds):1740.204
o 46914
c Got one! Elapsed wall clock time (in seconds):1740.823
o 46911
c Got one! Elapsed wall clock time (in seconds):1741.332
o 46904
c Got one! Elapsed wall clock time (in seconds):1741.79
o 46903
c Got one! Elapsed wall clock time (in seconds):1742.561
o 46868
c Got one! Elapsed wall clock time (in seconds):1743.123
o 46861
c Got one! Elapsed wall clock time (in seconds):1743.699
o 46858
c Got one! Elapsed wall clock time (in seconds):1744.164
o 46857
c Got one! Elapsed wall clock time (in seconds):1744.701
o 46822
c Got one! Elapsed wall clock time (in seconds):1746.023
o 46818
c Got one! Elapsed wall clock time (in seconds):1746.524
o 46807
c Got one! Elapsed wall clock time (in seconds):1746.945
o 46803
c Got one! Elapsed wall clock time (in seconds):1747.555
o 46798
c Got one! Elapsed wall clock time (in seconds):1747.937
o 46788
c Got one! Elapsed wall clock time (in seconds):1748.411
o 46781
c Got one! Elapsed wall clock time (in seconds):1748.794
o 46709
c Got one! Elapsed wall clock time (in seconds):1749.255
o 46702
c Got one! Elapsed wall clock time (in seconds):1749.909
o 46682
c Got one! Elapsed wall clock time (in seconds):1750.584
o 46681
c Got one! Elapsed wall clock time (in seconds):1751.399
o 46660
c Got one! Elapsed wall clock time (in seconds):1751.892
o 46657
c Got one! Elapsed wall clock time (in seconds):1752.323
o 46644
c Got one! Elapsed wall clock time (in seconds):1754.792
o 46643
c Got one! Elapsed wall clock time (in seconds):1755.844
o 46637
c Got one! Elapsed wall clock time (in seconds):1756.807
o 46634
c Got one! Elapsed wall clock time (in seconds):1758.025
o 46631
c Got one! Elapsed wall clock time (in seconds):1759.309
o 46628
c Got one! Elapsed wall clock time (in seconds):1760.604
o 46625
c Got one! Elapsed wall clock time (in seconds):1761.248
o 46617
c Got one! Elapsed wall clock time (in seconds):1761.698
o 46578
c Got one! Elapsed wall clock time (in seconds):1762.956
o 46577
c Got one! Elapsed wall clock time (in seconds):1763.53
o 46547
c Got one! Elapsed wall clock time (in seconds):1764.402
o 46542
c Got one! Elapsed wall clock time (in seconds):1765.616
o 46540
c Got one! Elapsed wall clock time (in seconds):1766.144
o 46465
c Got one! Elapsed wall clock time (in seconds):1767.665
o 46455
c Got one! Elapsed wall clock time (in seconds):1768.526
o 46454
c Got one! Elapsed wall clock time (in seconds):1769.145
o 46453
c Got one! Elapsed wall clock time (in seconds):1769.629
o 46388
c Got one! Elapsed wall clock time (in seconds):1770.219
o 46377
c Got one! Elapsed wall clock time (in seconds):1771.054
o 46374
c Got one! Elapsed wall clock time (in seconds):1771.941
o 46371
c Got one! Elapsed wall clock time (in seconds):1772.514
o 46366
c Got one! Elapsed wall clock time (in seconds):1773.004
o 46359
c Got one! Elapsed wall clock time (in seconds):1773.71
o 46358
c Got one! Elapsed wall clock time (in seconds):1774.714
o 46339
c Got one! Elapsed wall clock time (in seconds):1775.575
o 46322
c Got one! Elapsed wall clock time (in seconds):1776.645
o 46320
c Got one! Elapsed wall clock time (in seconds):1777.249
o 46319
c Got one! Elapsed wall clock time (in seconds):1777.776
o 46309
c Got one! Elapsed wall clock time (in seconds):1778.432
o 46294
c Got one! Elapsed wall clock time (in seconds):1779.041
o 46292
c Got one! Elapsed wall clock time (in seconds):1779.634
o 46288
c Got one! Elapsed wall clock time (in seconds):1781.932
o 46287
c Got one! Elapsed wall clock time (in seconds):1783.443
o 46286
c Got one! Elapsed wall clock time (in seconds):1784.464
o 46284
c Got one! Elapsed wall clock time (in seconds):1785.443
o 46278
c Got one! Elapsed wall clock time (in seconds):1786.256
o 46275
c Got one! Elapsed wall clock time (in seconds):1787.456
o 46271
c Got one! Elapsed wall clock time (in seconds):1788.483
o 46266
c Got one! Elapsed wall clock time (in seconds):1789.268
o 46260
c Got one! Elapsed wall clock time (in seconds):1790.473
o 46251
c Got one! Elapsed wall clock time (in seconds):1791.647
o 46250
c Got one! Elapsed wall clock time (in seconds):1792.899
o 46249
c Got one! Elapsed wall clock time (in seconds):1793.565
o 46246
c Got one! Elapsed wall clock time (in seconds):1794.82
o 46243
c Got one! Elapsed wall clock time (in seconds):1795.631
o 46237
c Got one! Elapsed wall clock time (in seconds):1796.269
o 46235
c Got one! Elapsed wall clock time (in seconds):1797.155
o 46230
c Got one! Elapsed wall clock time (in seconds):1798.072
o 46228
c Got one! Elapsed wall clock time (in seconds):1799.232
o 46225
c Got one! Elapsed wall clock time (in seconds):1799.84
o 46218
c Got one! Elapsed wall clock time (in seconds):1800.387
o 46214
c Got one! Elapsed wall clock time (in seconds):1801.045
o 46209
c Got one! Elapsed wall clock time (in seconds):1801.683
o 46200
c Got one! Elapsed wall clock time (in seconds):1802.274
o 46199
c Got one! Elapsed wall clock time (in seconds):1803.609
o 46197
c Got one! Elapsed wall clock time (in seconds):1804.084
o 46189
c Got one! Elapsed wall clock time (in seconds):1804.65
o 46188
c Got one! Elapsed wall clock time (in seconds):1805.663
o 46177
c Got one! Elapsed wall clock time (in seconds):1806.347
o 46173
c Got one! Elapsed wall clock time (in seconds):1807.124
o 46168
c Got one! Elapsed wall clock time (in seconds):1808.687
o 46163
c Got one! Elapsed wall clock time (in seconds):1809.161
o 46161
c Got one! Elapsed wall clock time (in seconds):1810.385
o 46158
c Got one! Elapsed wall clock time (in seconds):1810.922
o 46146
c Got one! Elapsed wall clock time (in seconds):1811.441
o 46135
c Got one! Elapsed wall clock time (in seconds):1812.056
o 46134
c Got one! Elapsed wall clock time (in seconds):1812.481
o 46129
c Got one! Elapsed wall clock time (in seconds):1813.501
o 46123
c Got one! Elapsed wall clock time (in seconds):1814.085
o 46122
c Got one! Elapsed wall clock time (in seconds):1816.093
o 46119
c Got one! Elapsed wall clock time (in seconds):1816.874
o 46116
c Got one! Elapsed wall clock time (in seconds):1817.586
o 46113
c Got one! Elapsed wall clock time (in seconds):1818.037
o 46110
c Got one! Elapsed wall clock time (in seconds):1819.011
o 46109
c Got one! Elapsed wall clock time (in seconds):1819.684
o 46108
c Got one! Elapsed wall clock time (in seconds):1820.261
o 46082
c Got one! Elapsed wall clock time (in seconds):1821.08
o 46080
c Got one! Elapsed wall clock time (in seconds):1822.104
o 46070
c Got one! Elapsed wall clock time (in seconds):1822.676
o 46066
c Got one! Elapsed wall clock time (in seconds):1823.265
o 46057
c Got one! Elapsed wall clock time (in seconds):1824.426
o 46049
c Got one! Elapsed wall clock time (in seconds):1825.108
o 46042
c Got one! Elapsed wall clock time (in seconds):1825.624
o 46041
c Got one! Elapsed wall clock time (in seconds):1826.857
o 46039
c Got one! Elapsed wall clock time (in seconds):1827.431
o 46006
c Got one! Elapsed wall clock time (in seconds):1828.45
o 46004
c Got one! Elapsed wall clock time (in seconds):1829.0
o 46000
c Got one! Elapsed wall clock time (in seconds):1829.742
o 45994
c Got one! Elapsed wall clock time (in seconds):1830.271
o 45988
c Got one! Elapsed wall clock time (in seconds):1830.972
o 45983
c Got one! Elapsed wall clock time (in seconds):1832.024
o 45978
c Got one! Elapsed wall clock time (in seconds):1832.83
o 45930
c Got one! Elapsed wall clock time (in seconds):1833.855
o 45921
c Got one! Elapsed wall clock time (in seconds):1834.441
o 45915
c Got one! Elapsed wall clock time (in seconds):1834.909
o 45911
c Got one! Elapsed wall clock time (in seconds):1836.224
o 45910
Killed
1831.158u 1.204s 30:36.96 99.7%	0+0k 0+0io 1pf+0w