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_n13.ra1.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weighted_crafted/RAMSEY/ram_k3_n13.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_n13.ra1.wcnf
c reading problem ... 
c ... done. Wall clock time 0.153s.
c #vars     1079
c #constraints  1001
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalHTClause => 1001
c OPTIMIZING...
c Got one! Elapsed wall clock time (in seconds):0.65
o 65142
c Got one! Elapsed wall clock time (in seconds):1.194
o 42534
c Got one! Elapsed wall clock time (in seconds):1.712
o 42217
c Got one! Elapsed wall clock time (in seconds):1.967
o 42215
c Got one! Elapsed wall clock time (in seconds):2.17
o 42203
c Got one! Elapsed wall clock time (in seconds):2.363
o 42202
c Got one! Elapsed wall clock time (in seconds):2.494
o 42127
c Got one! Elapsed wall clock time (in seconds):2.626
o 42116
c Got one! Elapsed wall clock time (in seconds):2.744
o 42114
c Got one! Elapsed wall clock time (in seconds):2.864
o 42111
c Got one! Elapsed wall clock time (in seconds):3.002
o 42102
c Got one! Elapsed wall clock time (in seconds):3.155
o 42088
c Got one! Elapsed wall clock time (in seconds):3.338
o 42084
c Got one! Elapsed wall clock time (in seconds):3.457
o 42078
c Got one! Elapsed wall clock time (in seconds):3.582
o 42071
c Got one! Elapsed wall clock time (in seconds):3.731
o 42067
c Got one! Elapsed wall clock time (in seconds):3.848
o 42057
c Got one! Elapsed wall clock time (in seconds):3.961
o 42053
c Got one! Elapsed wall clock time (in seconds):4.072
o 42045
c Got one! Elapsed wall clock time (in seconds):4.182
o 42031
c Got one! Elapsed wall clock time (in seconds):4.299
o 42030
c Got one! Elapsed wall clock time (in seconds):4.437
o 42028
c Got one! Elapsed wall clock time (in seconds):4.562
o 42027
c Got one! Elapsed wall clock time (in seconds):4.683
o 42026
c Got one! Elapsed wall clock time (in seconds):4.791
o 42000
c Got one! Elapsed wall clock time (in seconds):4.95
o 41997
c Got one! Elapsed wall clock time (in seconds):5.186
o 41990
c Got one! Elapsed wall clock time (in seconds):5.326
o 41988
c Got one! Elapsed wall clock time (in seconds):5.454
o 41983
c Got one! Elapsed wall clock time (in seconds):5.58
o 41980
c Got one! Elapsed wall clock time (in seconds):5.734
o 41979
c Got one! Elapsed wall clock time (in seconds):5.882
o 41973
c Got one! Elapsed wall clock time (in seconds):6.063
o 41971
c Got one! Elapsed wall clock time (in seconds):6.24
o 41961
c Got one! Elapsed wall clock time (in seconds):6.376
o 41959
c Got one! Elapsed wall clock time (in seconds):6.518
o 41953
c Got one! Elapsed wall clock time (in seconds):6.678
o 41951
c Got one! Elapsed wall clock time (in seconds):6.856
o 41948
c Got one! Elapsed wall clock time (in seconds):6.993
o 41945
c Got one! Elapsed wall clock time (in seconds):7.141
o 41906
c Got one! Elapsed wall clock time (in seconds):7.284
o 41905
c Got one! Elapsed wall clock time (in seconds):7.461
o 41901
c Got one! Elapsed wall clock time (in seconds):7.612
o 41898
c Got one! Elapsed wall clock time (in seconds):7.757
o 41881
c Got one! Elapsed wall clock time (in seconds):7.903
o 41880
c Got one! Elapsed wall clock time (in seconds):8.067
o 41873
c Got one! Elapsed wall clock time (in seconds):8.241
o 41872
c Got one! Elapsed wall clock time (in seconds):8.421
o 41871
c Got one! Elapsed wall clock time (in seconds):8.569
o 41854
c Got one! Elapsed wall clock time (in seconds):8.722
o 41850
c Got one! Elapsed wall clock time (in seconds):8.868
o 41846
c Got one! Elapsed wall clock time (in seconds):9.017
o 41822
c Got one! Elapsed wall clock time (in seconds):9.165
o 41811
c Got one! Elapsed wall clock time (in seconds):9.347
o 41810
c Got one! Elapsed wall clock time (in seconds):9.592
o 41785
c Got one! Elapsed wall clock time (in seconds):9.816
o 41782
c Got one! Elapsed wall clock time (in seconds):9.962
o 41744
c Got one! Elapsed wall clock time (in seconds):10.111
o 41736
c Got one! Elapsed wall clock time (in seconds):10.272
o 41705
c Got one! Elapsed wall clock time (in seconds):10.434
o 41702
c Got one! Elapsed wall clock time (in seconds):10.632
o 41701
c Got one! Elapsed wall clock time (in seconds):10.818
o 41696
c Got one! Elapsed wall clock time (in seconds):10.977
o 41692
c Got one! Elapsed wall clock time (in seconds):11.134
o 41680
c Got one! Elapsed wall clock time (in seconds):11.294
o 41678
c Got one! Elapsed wall clock time (in seconds):11.524
o 41675
c Got one! Elapsed wall clock time (in seconds):11.68
o 41667
c Got one! Elapsed wall clock time (in seconds):11.846
o 41651
c Got one! Elapsed wall clock time (in seconds):12.035
o 41647
c Got one! Elapsed wall clock time (in seconds):12.224
o 41646
c Got one! Elapsed wall clock time (in seconds):12.42
o 41644
c Got one! Elapsed wall clock time (in seconds):12.532
o 41641
c Got one! Elapsed wall clock time (in seconds):12.735
o 41639
c Got one! Elapsed wall clock time (in seconds):12.945
o 41636
c Got one! Elapsed wall clock time (in seconds):13.159
o 41633
c Got one! Elapsed wall clock time (in seconds):13.36
o 41632
c Got one! Elapsed wall clock time (in seconds):13.642
o 41619
c Got one! Elapsed wall clock time (in seconds):13.774
o 41609
c Got one! Elapsed wall clock time (in seconds):13.97
o 41608
c Got one! Elapsed wall clock time (in seconds):14.171
o 41601
c Got one! Elapsed wall clock time (in seconds):14.344
o 41599
c Got one! Elapsed wall clock time (in seconds):14.537
o 41594
c Got one! Elapsed wall clock time (in seconds):14.73
o 41589
c Got one! Elapsed wall clock time (in seconds):14.894
o 41570
c Got one! Elapsed wall clock time (in seconds):15.057
o 41568
c Got one! Elapsed wall clock time (in seconds):15.232
o 41565
c Got one! Elapsed wall clock time (in seconds):15.429
o 41562
c Got one! Elapsed wall clock time (in seconds):15.622
o 41560
c Got one! Elapsed wall clock time (in seconds):15.837
o 41557
c Got one! Elapsed wall clock time (in seconds):16.077
o 41555
c Got one! Elapsed wall clock time (in seconds):16.351
o 41546
c Got one! Elapsed wall clock time (in seconds):16.586
o 41545
c Got one! Elapsed wall clock time (in seconds):16.927
o 41540
c Got one! Elapsed wall clock time (in seconds):17.219
o 41539
c Got one! Elapsed wall clock time (in seconds):17.591
o 41538
c Got one! Elapsed wall clock time (in seconds):17.938
o 41536
c Got one! Elapsed wall clock time (in seconds):18.266
o 41534
c Got one! Elapsed wall clock time (in seconds):18.567
o 41530
c Got one! Elapsed wall clock time (in seconds):18.884
o 41528
c Got one! Elapsed wall clock time (in seconds):19.134
o 41527
c Got one! Elapsed wall clock time (in seconds):19.47
o 41524
c Got one! Elapsed wall clock time (in seconds):19.778
o 41523
c Got one! Elapsed wall clock time (in seconds):20.074
o 41522
c Got one! Elapsed wall clock time (in seconds):20.447
o 41514
c Got one! Elapsed wall clock time (in seconds):20.767
o 41513
c Got one! Elapsed wall clock time (in seconds):21.037
o 41511
c Got one! Elapsed wall clock time (in seconds):21.281
o 41497
c Got one! Elapsed wall clock time (in seconds):21.538
o 41494
c Got one! Elapsed wall clock time (in seconds):21.793
o 41493
c Got one! Elapsed wall clock time (in seconds):22.201
o 41487
c Got one! Elapsed wall clock time (in seconds):22.469
o 41484
c Got one! Elapsed wall clock time (in seconds):22.743
o 41480
c Got one! Elapsed wall clock time (in seconds):22.974
o 41470
c Got one! Elapsed wall clock time (in seconds):23.279
o 41469
c Got one! Elapsed wall clock time (in seconds):23.591
o 41467
c Got one! Elapsed wall clock time (in seconds):23.842
o 41465
c Got one! Elapsed wall clock time (in seconds):24.108
o 41464
c Got one! Elapsed wall clock time (in seconds):24.42
o 41462
c Got one! Elapsed wall clock time (in seconds):24.714
o 41460
c Got one! Elapsed wall clock time (in seconds):25.057
o 41458
c Got one! Elapsed wall clock time (in seconds):25.346
o 41456
c Got one! Elapsed wall clock time (in seconds):25.748
o 41455
c Got one! Elapsed wall clock time (in seconds):26.075
o 41452
c Got one! Elapsed wall clock time (in seconds):26.497
o 41449
c Got one! Elapsed wall clock time (in seconds):26.868
o 41446
c Got one! Elapsed wall clock time (in seconds):27.302
o 41445
c Got one! Elapsed wall clock time (in seconds):27.748
o 41444
c Got one! Elapsed wall clock time (in seconds):28.084
o 41441
c Got one! Elapsed wall clock time (in seconds):28.473
o 41440
c Got one! Elapsed wall clock time (in seconds):28.829
o 41439
c Got one! Elapsed wall clock time (in seconds):29.229
o 41437
c Got one! Elapsed wall clock time (in seconds):29.622
o 41434
c Got one! Elapsed wall clock time (in seconds):30.095
o 41433
c Got one! Elapsed wall clock time (in seconds):30.5
o 41432
c Got one! Elapsed wall clock time (in seconds):30.964
o 41431
c Got one! Elapsed wall clock time (in seconds):31.468
o 41430
c Got one! Elapsed wall clock time (in seconds):31.858
o 41425
c Got one! Elapsed wall clock time (in seconds):32.224
o 41423
c Got one! Elapsed wall clock time (in seconds):32.671
o 41422
c Got one! Elapsed wall clock time (in seconds):33.085
o 41421
c Got one! Elapsed wall clock time (in seconds):33.499
o 41420
c Got one! Elapsed wall clock time (in seconds):33.962
o 41417
c Got one! Elapsed wall clock time (in seconds):34.484
o 41415
c Got one! Elapsed wall clock time (in seconds):34.937
o 41413
c Got one! Elapsed wall clock time (in seconds):35.38
o 41411
c Got one! Elapsed wall clock time (in seconds):35.744
o 41408
c Got one! Elapsed wall clock time (in seconds):36.131
o 41407
c Got one! Elapsed wall clock time (in seconds):36.547
o 41406
c Got one! Elapsed wall clock time (in seconds):36.959
o 41402
c Got one! Elapsed wall clock time (in seconds):37.552
o 41401
c Got one! Elapsed wall clock time (in seconds):38.025
o 41400
c Got one! Elapsed wall clock time (in seconds):38.591
o 41399
c Got one! Elapsed wall clock time (in seconds):39.01
o 41397
c Got one! Elapsed wall clock time (in seconds):39.467
o 41396
c Got one! Elapsed wall clock time (in seconds):39.986
o 41393
c Got one! Elapsed wall clock time (in seconds):40.408
o 41391
c Got one! Elapsed wall clock time (in seconds):40.882
o 41390
c Got one! Elapsed wall clock time (in seconds):41.414
o 41389
c Got one! Elapsed wall clock time (in seconds):41.985
o 41388
c Got one! Elapsed wall clock time (in seconds):42.593
o 41380
c Got one! Elapsed wall clock time (in seconds):43.247
o 41374
c Got one! Elapsed wall clock time (in seconds):43.744
o 41370
c Got one! Elapsed wall clock time (in seconds):44.37
o 41367
c Got one! Elapsed wall clock time (in seconds):44.897
o 41364
c Got one! Elapsed wall clock time (in seconds):45.44
o 41362
c Got one! Elapsed wall clock time (in seconds):45.879
o 41357
c Got one! Elapsed wall clock time (in seconds):46.315
o 41351
c Got one! Elapsed wall clock time (in seconds):46.804
o 41348
c Got one! Elapsed wall clock time (in seconds):47.237
o 41347
c Got one! Elapsed wall clock time (in seconds):47.605
o 41346
c Got one! Elapsed wall clock time (in seconds):48.03
o 41345
c Got one! Elapsed wall clock time (in seconds):48.554
o 41343
c Got one! Elapsed wall clock time (in seconds):49.178
o 41341
c Got one! Elapsed wall clock time (in seconds):49.603
o 41335
c Got one! Elapsed wall clock time (in seconds):50.067
o 41333
c Got one! Elapsed wall clock time (in seconds):50.567
o 41329
c Got one! Elapsed wall clock time (in seconds):51.095
o 41327
c Got one! Elapsed wall clock time (in seconds):51.633
o 41324
c Got one! Elapsed wall clock time (in seconds):52.197
o 41322
c Got one! Elapsed wall clock time (in seconds):52.693
o 41318
c Got one! Elapsed wall clock time (in seconds):53.315
o 41316
c Got one! Elapsed wall clock time (in seconds):53.897
o 41315
c Got one! Elapsed wall clock time (in seconds):54.453
o 41310
c Got one! Elapsed wall clock time (in seconds):55.075
o 41304
c Got one! Elapsed wall clock time (in seconds):55.636
o 41298
c Got one! Elapsed wall clock time (in seconds):56.206
o 41291
c Got one! Elapsed wall clock time (in seconds):56.676
o 41288
c Got one! Elapsed wall clock time (in seconds):57.368
o 41286
c Got one! Elapsed wall clock time (in seconds):57.713
o 41285
c Got one! Elapsed wall clock time (in seconds):58.125
o 41284
c Got one! Elapsed wall clock time (in seconds):58.699
o 41283
c Got one! Elapsed wall clock time (in seconds):59.254
o 41281
c Got one! Elapsed wall clock time (in seconds):59.774
o 41277
c Got one! Elapsed wall clock time (in seconds):60.291
o 41275
c Got one! Elapsed wall clock time (in seconds):60.922
o 41274
c Got one! Elapsed wall clock time (in seconds):61.51
o 41273
c Got one! Elapsed wall clock time (in seconds):62.146
o 41272
c Got one! Elapsed wall clock time (in seconds):62.658
o 41271
c Got one! Elapsed wall clock time (in seconds):63.241
o 41268
c Got one! Elapsed wall clock time (in seconds):63.744
o 41267
c Got one! Elapsed wall clock time (in seconds):64.293
o 41265
c Got one! Elapsed wall clock time (in seconds):64.835
o 41264
c Got one! Elapsed wall clock time (in seconds):65.416
o 41256
c Got one! Elapsed wall clock time (in seconds):66.073
o 41254
c Got one! Elapsed wall clock time (in seconds):66.63
o 41251
c Got one! Elapsed wall clock time (in seconds):67.223
o 41250
c Got one! Elapsed wall clock time (in seconds):67.902
o 41249
c Got one! Elapsed wall clock time (in seconds):68.621
o 41248
c Got one! Elapsed wall clock time (in seconds):69.293
o 41246
c Got one! Elapsed wall clock time (in seconds):70.138
o 41245
c Got one! Elapsed wall clock time (in seconds):70.757
o 41244
c Got one! Elapsed wall clock time (in seconds):71.285
o 41241
c Got one! Elapsed wall clock time (in seconds):72.005
o 41238
c Got one! Elapsed wall clock time (in seconds):72.561
o 41237
c Got one! Elapsed wall clock time (in seconds):73.312
o 41236
c Got one! Elapsed wall clock time (in seconds):73.919
o 41233
c Got one! Elapsed wall clock time (in seconds):74.652
o 41231
c Got one! Elapsed wall clock time (in seconds):75.492
o 41229
c Got one! Elapsed wall clock time (in seconds):76.152
o 41228
c Got one! Elapsed wall clock time (in seconds):76.868
o 41227
c Got one! Elapsed wall clock time (in seconds):77.477
o 41226
c Got one! Elapsed wall clock time (in seconds):78.356
o 41225
c Got one! Elapsed wall clock time (in seconds):79.077
o 41220
c Got one! Elapsed wall clock time (in seconds):79.632
o 41218
c Got one! Elapsed wall clock time (in seconds):80.213
o 41217
c Got one! Elapsed wall clock time (in seconds):80.912
o 41216
c Got one! Elapsed wall clock time (in seconds):81.514
o 41214
c Got one! Elapsed wall clock time (in seconds):82.154
o 41209
c Got one! Elapsed wall clock time (in seconds):82.598
o 41202
c Got one! Elapsed wall clock time (in seconds):83.317
o 41199
c Got one! Elapsed wall clock time (in seconds):84.119
o 41198
c Got one! Elapsed wall clock time (in seconds):84.74
o 41197
c Got one! Elapsed wall clock time (in seconds):85.382
o 41194
c Got one! Elapsed wall clock time (in seconds):85.971
o 41191
c Got one! Elapsed wall clock time (in seconds):86.719
o 41181
c Got one! Elapsed wall clock time (in seconds):87.19
o 41176
c Got one! Elapsed wall clock time (in seconds):87.936
o 41173
c Got one! Elapsed wall clock time (in seconds):88.439
o 41168
c Got one! Elapsed wall clock time (in seconds):89.359
o 41164
c Got one! Elapsed wall clock time (in seconds):89.963
o 41159
c Got one! Elapsed wall clock time (in seconds):90.71
o 41158
c Got one! Elapsed wall clock time (in seconds):91.295
o 41155
c Got one! Elapsed wall clock time (in seconds):91.895
o 41154
c Got one! Elapsed wall clock time (in seconds):92.574
o 41153
c Got one! Elapsed wall clock time (in seconds):93.333
o 41152
c Got one! Elapsed wall clock time (in seconds):93.852
o 41148
c Got one! Elapsed wall clock time (in seconds):94.586
o 41145
c Got one! Elapsed wall clock time (in seconds):95.291
o 41142
c Got one! Elapsed wall clock time (in seconds):95.934
o 41140
c Got one! Elapsed wall clock time (in seconds):96.605
o 41139
c Got one! Elapsed wall clock time (in seconds):97.482
o 41135
c Got one! Elapsed wall clock time (in seconds):98.184
o 41134
c Got one! Elapsed wall clock time (in seconds):98.778
o 41133
c Got one! Elapsed wall clock time (in seconds):99.41
o 41131
c Got one! Elapsed wall clock time (in seconds):100.352
o 41129
c Got one! Elapsed wall clock time (in seconds):101.027
o 41128
c Got one! Elapsed wall clock time (in seconds):101.802
o 41123
c Got one! Elapsed wall clock time (in seconds):102.467
o 41120
c Got one! Elapsed wall clock time (in seconds):103.092
o 41119
c Got one! Elapsed wall clock time (in seconds):103.787
o 41118
c Got one! Elapsed wall clock time (in seconds):104.497
o 41116
c Got one! Elapsed wall clock time (in seconds):105.127
o 41114
c Got one! Elapsed wall clock time (in seconds):105.79
o 41112
c Got one! Elapsed wall clock time (in seconds):106.439
o 41106
c Got one! Elapsed wall clock time (in seconds):107.137
o 41101
c Got one! Elapsed wall clock time (in seconds):107.732
o 41097
c Got one! Elapsed wall clock time (in seconds):108.367
o 41092
c Got one! Elapsed wall clock time (in seconds):109.183
o 41090
c Got one! Elapsed wall clock time (in seconds):110.0
o 41089
c Got one! Elapsed wall clock time (in seconds):110.649
o 41079
c Got one! Elapsed wall clock time (in seconds):111.451
o 41077
c Got one! Elapsed wall clock time (in seconds):112.225
o 41076
c Got one! Elapsed wall clock time (in seconds):113.233
o 41074
c Got one! Elapsed wall clock time (in seconds):114.1
o 41070
c Got one! Elapsed wall clock time (in seconds):114.841
o 41067
c Got one! Elapsed wall clock time (in seconds):115.544
o 41063
c Got one! Elapsed wall clock time (in seconds):116.281
o 41060
c Got one! Elapsed wall clock time (in seconds):117.112
o 41058
c Got one! Elapsed wall clock time (in seconds):118.351
o 41057
c Got one! Elapsed wall clock time (in seconds):119.162
o 41056
c Got one! Elapsed wall clock time (in seconds):119.983
o 41054
c Got one! Elapsed wall clock time (in seconds):120.817
o 41053
c Got one! Elapsed wall clock time (in seconds):121.732
o 41051
c Got one! Elapsed wall clock time (in seconds):122.551
o 41050
c Got one! Elapsed wall clock time (in seconds):123.241
o 41046
c Got one! Elapsed wall clock time (in seconds):123.862
o 41040
c Got one! Elapsed wall clock time (in seconds):124.699
o 41034
c Got one! Elapsed wall clock time (in seconds):125.407
o 41024
c Got one! Elapsed wall clock time (in seconds):126.054
o 41023
c Got one! Elapsed wall clock time (in seconds):126.778
o 41018
c Got one! Elapsed wall clock time (in seconds):127.309
o 41016
c Got one! Elapsed wall clock time (in seconds):127.869
o 41012
c Got one! Elapsed wall clock time (in seconds):128.561
o 41006
c Got one! Elapsed wall clock time (in seconds):129.421
o 41005
c Got one! Elapsed wall clock time (in seconds):130.223
o 40998
c Got one! Elapsed wall clock time (in seconds):131.117
o 40997
c Got one! Elapsed wall clock time (in seconds):131.706
o 40995
c Got one! Elapsed wall clock time (in seconds):132.772
o 40994
c Got one! Elapsed wall clock time (in seconds):133.517
o 40993
c Got one! Elapsed wall clock time (in seconds):134.379
o 40990
c Got one! Elapsed wall clock time (in seconds):135.125
o 40987
c Got one! Elapsed wall clock time (in seconds):136.072
o 40986
c Got one! Elapsed wall clock time (in seconds):136.922
o 40979
c Got one! Elapsed wall clock time (in seconds):137.841
o 40976
c Got one! Elapsed wall clock time (in seconds):138.717
o 40975
c Got one! Elapsed wall clock time (in seconds):139.517
o 40973
c Got one! Elapsed wall clock time (in seconds):140.285
o 40971
c Got one! Elapsed wall clock time (in seconds):140.809
o 40965
c Got one! Elapsed wall clock time (in seconds):141.487
o 40958
c Got one! Elapsed wall clock time (in seconds):142.419
o 40955
c Got one! Elapsed wall clock time (in seconds):143.345
o 40953
c Got one! Elapsed wall clock time (in seconds):144.372
o 40949
c Got one! Elapsed wall clock time (in seconds):145.077
o 40946
c Got one! Elapsed wall clock time (in seconds):146.026
o 40944
c Got one! Elapsed wall clock time (in seconds):146.714
o 40927
c Got one! Elapsed wall clock time (in seconds):147.574
o 40923
c Got one! Elapsed wall clock time (in seconds):148.288
o 40911
c Got one! Elapsed wall clock time (in seconds):149.192
o 40905
c Got one! Elapsed wall clock time (in seconds):150.198
o 40904
c Got one! Elapsed wall clock time (in seconds):151.053
o 40900
c Got one! Elapsed wall clock time (in seconds):151.789
o 40893
c Got one! Elapsed wall clock time (in seconds):152.812
o 40891
c Got one! Elapsed wall clock time (in seconds):153.728
o 40890
c Got one! Elapsed wall clock time (in seconds):154.756
o 40889
c Got one! Elapsed wall clock time (in seconds):155.811
o 40887
c Got one! Elapsed wall clock time (in seconds):156.713
o 40885
c Got one! Elapsed wall clock time (in seconds):157.63
o 40881
c Got one! Elapsed wall clock time (in seconds):158.607
o 40880
c Got one! Elapsed wall clock time (in seconds):159.696
o 40878
c Got one! Elapsed wall clock time (in seconds):160.89
o 40874
c Got one! Elapsed wall clock time (in seconds):161.807
o 40870
c Got one! Elapsed wall clock time (in seconds):162.755
o 40867
c Got one! Elapsed wall clock time (in seconds):163.807
o 40862
c Got one! Elapsed wall clock time (in seconds):164.742
o 40860
c Got one! Elapsed wall clock time (in seconds):165.709
o 40858
c Got one! Elapsed wall clock time (in seconds):166.785
o 40857
c Got one! Elapsed wall clock time (in seconds):167.792
o 40855
c Got one! Elapsed wall clock time (in seconds):168.556
o 40853
c Got one! Elapsed wall clock time (in seconds):169.462
o 40845
c Got one! Elapsed wall clock time (in seconds):170.401
o 40844
c Got one! Elapsed wall clock time (in seconds):171.203
o 40840
c Got one! Elapsed wall clock time (in seconds):172.072
o 40831
c Got one! Elapsed wall clock time (in seconds):172.972
o 40830
c Got one! Elapsed wall clock time (in seconds):174.0
o 40828
c Got one! Elapsed wall clock time (in seconds):175.203
o 40827
c Got one! Elapsed wall clock time (in seconds):176.127
o 40825
c Got one! Elapsed wall clock time (in seconds):177.14
o 40821
c Got one! Elapsed wall clock time (in seconds):178.158
o 40811
c Got one! Elapsed wall clock time (in seconds):179.486
o 40808
c Got one! Elapsed wall clock time (in seconds):180.534
o 40804
c Got one! Elapsed wall clock time (in seconds):181.472
o 40802
c Got one! Elapsed wall clock time (in seconds):182.619
o 40801
c Got one! Elapsed wall clock time (in seconds):183.53
o 40800
c Got one! Elapsed wall clock time (in seconds):184.553
o 40792
c Got one! Elapsed wall clock time (in seconds):185.423
o 40791
c Got one! Elapsed wall clock time (in seconds):186.887
o 40786
c Got one! Elapsed wall clock time (in seconds):187.922
o 40782
c Got one! Elapsed wall clock time (in seconds):188.881
o 40775
c Got one! Elapsed wall clock time (in seconds):189.862
o 40773
c Got one! Elapsed wall clock time (in seconds):190.998
o 40768
c Got one! Elapsed wall clock time (in seconds):192.534
o 40767
c Got one! Elapsed wall clock time (in seconds):193.803
o 40762
c Got one! Elapsed wall clock time (in seconds):194.86
o 40759
c Got one! Elapsed wall clock time (in seconds):195.9
o 40756
c Got one! Elapsed wall clock time (in seconds):196.832
o 40755
c Got one! Elapsed wall clock time (in seconds):197.871
o 40744
c Got one! Elapsed wall clock time (in seconds):199.359
o 40743
c Got one! Elapsed wall clock time (in seconds):200.363
o 40742
c Got one! Elapsed wall clock time (in seconds):201.508
o 40741
c Got one! Elapsed wall clock time (in seconds):202.683
o 40734
c Got one! Elapsed wall clock time (in seconds):203.585
o 40728
c Got one! Elapsed wall clock time (in seconds):204.652
o 40721
c Got one! Elapsed wall clock time (in seconds):205.654
o 40720
c Got one! Elapsed wall clock time (in seconds):206.753
o 40716
c Got one! Elapsed wall clock time (in seconds):207.595
o 40710
c Got one! Elapsed wall clock time (in seconds):208.498
o 40706
c Got one! Elapsed wall clock time (in seconds):210.408
o 40704
c Got one! Elapsed wall clock time (in seconds):211.668
o 40702
c Got one! Elapsed wall clock time (in seconds):212.66
o 40700
c Got one! Elapsed wall clock time (in seconds):213.854
o 40694
c Got one! Elapsed wall clock time (in seconds):214.953
o 40692
c Got one! Elapsed wall clock time (in seconds):216.013
o 40689
c Got one! Elapsed wall clock time (in seconds):217.213
o 40688
c Got one! Elapsed wall clock time (in seconds):218.188
o 40685
c Got one! Elapsed wall clock time (in seconds):219.595
o 40684
c Got one! Elapsed wall clock time (in seconds):220.816
o 40682
c Got one! Elapsed wall clock time (in seconds):221.657
o 40680
c Got one! Elapsed wall clock time (in seconds):222.694
o 40679
c Got one! Elapsed wall clock time (in seconds):223.273
o 40649
c Got one! Elapsed wall clock time (in seconds):225.001
o 40640
c Got one! Elapsed wall clock time (in seconds):226.385
o 40635
c Got one! Elapsed wall clock time (in seconds):227.385
o 40632
c Got one! Elapsed wall clock time (in seconds):228.478
o 40630
c Got one! Elapsed wall clock time (in seconds):229.456
o 40628
c Got one! Elapsed wall clock time (in seconds):230.855
o 40627
c Got one! Elapsed wall clock time (in seconds):231.987
o 40626
c Got one! Elapsed wall clock time (in seconds):233.018
o 40624
c Got one! Elapsed wall clock time (in seconds):234.228
o 40621
c Got one! Elapsed wall clock time (in seconds):235.151
o 40612
c Got one! Elapsed wall clock time (in seconds):236.465
o 40611
c Got one! Elapsed wall clock time (in seconds):237.535
o 40608
c Got one! Elapsed wall clock time (in seconds):238.989
o 40605
c Got one! Elapsed wall clock time (in seconds):240.201
o 40576
c Got one! Elapsed wall clock time (in seconds):241.486
o 40569
c Got one! Elapsed wall clock time (in seconds):242.692
o 40568
c Got one! Elapsed wall clock time (in seconds):243.804
o 40563
c Got one! Elapsed wall clock time (in seconds):244.908
o 40561
c Got one! Elapsed wall clock time (in seconds):246.023
o 40560
c Got one! Elapsed wall clock time (in seconds):248.039
o 40558
c Got one! Elapsed wall clock time (in seconds):249.174
o 40552
c Got one! Elapsed wall clock time (in seconds):249.953
o 40548
c Got one! Elapsed wall clock time (in seconds):251.086
o 40540
c Got one! Elapsed wall clock time (in seconds):252.095
o 40516
c Got one! Elapsed wall clock time (in seconds):253.368
o 40514
c Got one! Elapsed wall clock time (in seconds):254.215
o 40507
c Got one! Elapsed wall clock time (in seconds):255.298
o 40505
c Got one! Elapsed wall clock time (in seconds):256.384
o 40503
c Got one! Elapsed wall clock time (in seconds):257.667
o 40499
c Got one! Elapsed wall clock time (in seconds):258.593
o 40494
c Got one! Elapsed wall clock time (in seconds):260.529
o 40488
c Got one! Elapsed wall clock time (in seconds):262.127
o 40482
c Got one! Elapsed wall clock time (in seconds):263.361
o 40481
c Got one! Elapsed wall clock time (in seconds):264.524
o 40477
c Got one! Elapsed wall clock time (in seconds):265.64
o 40461
c Got one! Elapsed wall clock time (in seconds):266.785
o 40456
c Got one! Elapsed wall clock time (in seconds):267.998
o 40451
c Got one! Elapsed wall clock time (in seconds):269.186
o 40449
c Got one! Elapsed wall clock time (in seconds):270.772
o 40439
c Got one! Elapsed wall clock time (in seconds):272.338
o 40437
c Got one! Elapsed wall clock time (in seconds):273.202
o 40427
c Got one! Elapsed wall clock time (in seconds):275.302
o 40426
c Got one! Elapsed wall clock time (in seconds):276.47
o 40424
c Got one! Elapsed wall clock time (in seconds):277.607
o 40423
c Got one! Elapsed wall clock time (in seconds):278.883
o 40420
c Got one! Elapsed wall clock time (in seconds):280.525
o 40415
c Got one! Elapsed wall clock time (in seconds):281.721
o 40412
c Got one! Elapsed wall clock time (in seconds):282.779
o 40408
c Got one! Elapsed wall clock time (in seconds):283.961
o 40407
c Got one! Elapsed wall clock time (in seconds):284.922
o 40402
c Got one! Elapsed wall clock time (in seconds):286.132
o 40390
c Got one! Elapsed wall clock time (in seconds):288.503
o 40388
c Got one! Elapsed wall clock time (in seconds):289.709
o 40381
c Got one! Elapsed wall clock time (in seconds):290.839
o 40374
c Got one! Elapsed wall clock time (in seconds):291.833
o 40349
c Got one! Elapsed wall clock time (in seconds):293.239
o 40346
c Got one! Elapsed wall clock time (in seconds):294.287
o 40338
c Got one! Elapsed wall clock time (in seconds):295.452
o 40337
c Got one! Elapsed wall clock time (in seconds):296.698
o 40336
c Got one! Elapsed wall clock time (in seconds):298.09
o 40326
c Got one! Elapsed wall clock time (in seconds):300.615
o 40325
c Got one! Elapsed wall clock time (in seconds):301.929
o 40320
c Got one! Elapsed wall clock time (in seconds):303.309
o 40316
c Got one! Elapsed wall clock time (in seconds):304.629
o 40314
c Got one! Elapsed wall clock time (in seconds):305.679
o 40313
c Got one! Elapsed wall clock time (in seconds):306.655
o 40309
c Got one! Elapsed wall clock time (in seconds):308.495
o 40308
c Got one! Elapsed wall clock time (in seconds):309.653
o 40305
c Got one! Elapsed wall clock time (in seconds):311.353
o 40300
c Got one! Elapsed wall clock time (in seconds):312.473
o 40272
c Got one! Elapsed wall clock time (in seconds):314.031
o 40269
c Got one! Elapsed wall clock time (in seconds):315.354
o 40268
c Got one! Elapsed wall clock time (in seconds):316.445
o 40261
c Got one! Elapsed wall clock time (in seconds):317.822
o 40260
c Got one! Elapsed wall clock time (in seconds):319.091
o 40253
c Got one! Elapsed wall clock time (in seconds):320.717
o 40247
c Got one! Elapsed wall clock time (in seconds):321.767
o 40246
c Got one! Elapsed wall clock time (in seconds):323.213
o 40236
c Got one! Elapsed wall clock time (in seconds):324.32
o 40228
c Got one! Elapsed wall clock time (in seconds):326.142
o 40223
c Got one! Elapsed wall clock time (in seconds):327.647
o 40222
c Got one! Elapsed wall clock time (in seconds):329.06
o 40212
c Got one! Elapsed wall clock time (in seconds):330.603
o 40207
c Got one! Elapsed wall clock time (in seconds):331.745
o 40201
c Got one! Elapsed wall clock time (in seconds):333.249
o 40196
c Got one! Elapsed wall clock time (in seconds):334.329
o 40190
c Got one! Elapsed wall clock time (in seconds):335.647
o 40188
c Got one! Elapsed wall clock time (in seconds):336.702
o 40182
c Got one! Elapsed wall clock time (in seconds):337.81
o 40175
c Got one! Elapsed wall clock time (in seconds):338.842
o 40164
c Got one! Elapsed wall clock time (in seconds):340.048
o 40160
c Got one! Elapsed wall clock time (in seconds):341.179
o 40158
c Got one! Elapsed wall clock time (in seconds):342.524
o 40155
c Got one! Elapsed wall clock time (in seconds):343.604
o 40152
c Got one! Elapsed wall clock time (in seconds):344.793
o 40144
c Got one! Elapsed wall clock time (in seconds):346.075
o 40143
c Got one! Elapsed wall clock time (in seconds):346.983
o 40129
c Got one! Elapsed wall clock time (in seconds):347.976
o 40127
c Got one! Elapsed wall clock time (in seconds):349.034
o 40125
c Got one! Elapsed wall clock time (in seconds):350.061
o 40119
c Got one! Elapsed wall clock time (in seconds):351.194
o 40112
c Got one! Elapsed wall clock time (in seconds):352.4
o 40108
c Got one! Elapsed wall clock time (in seconds):353.446
o 40106
c Got one! Elapsed wall clock time (in seconds):354.847
o 40103
c Got one! Elapsed wall clock time (in seconds):355.869
o 40095
c Got one! Elapsed wall clock time (in seconds):356.846
o 40083
c Got one! Elapsed wall clock time (in seconds):357.87
o 40077
c Got one! Elapsed wall clock time (in seconds):358.789
o 40067
c Got one! Elapsed wall clock time (in seconds):360.511
o 40066
c Got one! Elapsed wall clock time (in seconds):361.791
o 40035
c Got one! Elapsed wall clock time (in seconds):362.975
o 39980
c Got one! Elapsed wall clock time (in seconds):365.135
o 39977
c Got one! Elapsed wall clock time (in seconds):366.402
o 39943
c Got one! Elapsed wall clock time (in seconds):367.529
o 39902
c Got one! Elapsed wall clock time (in seconds):369.071
o 39900
c Got one! Elapsed wall clock time (in seconds):370.243
o 39867
c Got one! Elapsed wall clock time (in seconds):371.34
o 39856
c Got one! Elapsed wall clock time (in seconds):373.053
o 39855
c Got one! Elapsed wall clock time (in seconds):374.497
o 39854
c Got one! Elapsed wall clock time (in seconds):375.545
o 39852
c Got one! Elapsed wall clock time (in seconds):376.672
o 39847
c Got one! Elapsed wall clock time (in seconds):378.096
o 39825
c Got one! Elapsed wall clock time (in seconds):380.325
o 39823
c Got one! Elapsed wall clock time (in seconds):381.747
o 39819
c Got one! Elapsed wall clock time (in seconds):383.056
o 39817
c Got one! Elapsed wall clock time (in seconds):384.247
o 39801
c Got one! Elapsed wall clock time (in seconds):386.992
o 39800
c Got one! Elapsed wall clock time (in seconds):388.709
o 39797
c Got one! Elapsed wall clock time (in seconds):390.014
o 39789
c Got one! Elapsed wall clock time (in seconds):391.252
o 39785
c Got one! Elapsed wall clock time (in seconds):392.43
o 39773
c Got one! Elapsed wall clock time (in seconds):393.558
o 39710
c Got one! Elapsed wall clock time (in seconds):394.734
o 39699
c Got one! Elapsed wall clock time (in seconds):396.124
o 39694
c Got one! Elapsed wall clock time (in seconds):397.185
o 39690
c Got one! Elapsed wall clock time (in seconds):398.638
o 39676
c Got one! Elapsed wall clock time (in seconds):400.282
o 39675
c Got one! Elapsed wall clock time (in seconds):401.433
o 39656
c Got one! Elapsed wall clock time (in seconds):403.696
o 39650
c Got one! Elapsed wall clock time (in seconds):405.757
o 39645
c Got one! Elapsed wall clock time (in seconds):407.102
o 39642
c Got one! Elapsed wall clock time (in seconds):408.356
o 39641
c Got one! Elapsed wall clock time (in seconds):409.679
o 39630
c Got one! Elapsed wall clock time (in seconds):410.919
o 39626
c Got one! Elapsed wall clock time (in seconds):412.552
o 39621
c Got one! Elapsed wall clock time (in seconds):414.14
o 39619
c Got one! Elapsed wall clock time (in seconds):415.283
o 39614
c Got one! Elapsed wall clock time (in seconds):417.21
o 39594
c Got one! Elapsed wall clock time (in seconds):419.216
o 39582
c Got one! Elapsed wall clock time (in seconds):420.721
o 39572
c Got one! Elapsed wall clock time (in seconds):422.547
o 39569
c Got one! Elapsed wall clock time (in seconds):424.158
o 39564
c Got one! Elapsed wall clock time (in seconds):425.763
o 39530
c Got one! Elapsed wall clock time (in seconds):427.131
o 39486
c Got one! Elapsed wall clock time (in seconds):428.044
o 39473
c Got one! Elapsed wall clock time (in seconds):429.582
o 39471
c Got one! Elapsed wall clock time (in seconds):431.148
o 39469
c Got one! Elapsed wall clock time (in seconds):433.017
o 39465
c Got one! Elapsed wall clock time (in seconds):434.135
o 39452
c Got one! Elapsed wall clock time (in seconds):435.414
o 39446
c Got one! Elapsed wall clock time (in seconds):436.739
o 39442
c Got one! Elapsed wall clock time (in seconds):438.916
o 39432
c Got one! Elapsed wall clock time (in seconds):440.172
o 39424
c Got one! Elapsed wall clock time (in seconds):441.885
o 39414
c Got one! Elapsed wall clock time (in seconds):443.274
o 39405
c Got one! Elapsed wall clock time (in seconds):444.745
o 39401
c Got one! Elapsed wall clock time (in seconds):446.14
o 39393
c Got one! Elapsed wall clock time (in seconds):447.344
o 39386
c Got one! Elapsed wall clock time (in seconds):448.452
o 39375
c Got one! Elapsed wall clock time (in seconds):449.828
o 39374
c Got one! Elapsed wall clock time (in seconds):451.989
o 39372
c Got one! Elapsed wall clock time (in seconds):453.759
o 39371
c Got one! Elapsed wall clock time (in seconds):455.367
o 39361
c Got one! Elapsed wall clock time (in seconds):456.826
o 39355
c Got one! Elapsed wall clock time (in seconds):458.173
o 39352
c Got one! Elapsed wall clock time (in seconds):459.687
o 39351
c Got one! Elapsed wall clock time (in seconds):461.022
o 39342
c Got one! Elapsed wall clock time (in seconds):462.112
o 39322
c Got one! Elapsed wall clock time (in seconds):463.545
o 39320
c Got one! Elapsed wall clock time (in seconds):464.658
o 39319
c Got one! Elapsed wall clock time (in seconds):465.65
o 39315
c Got one! Elapsed wall clock time (in seconds):466.853
o 39308
c Got one! Elapsed wall clock time (in seconds):468.274
o 39297
c Got one! Elapsed wall clock time (in seconds):469.522
o 39296
c Got one! Elapsed wall clock time (in seconds):470.561
o 39291
c Got one! Elapsed wall clock time (in seconds):471.943
o 39290
c Got one! Elapsed wall clock time (in seconds):473.521
o 39289
c Got one! Elapsed wall clock time (in seconds):476.496
o 39288
c Got one! Elapsed wall clock time (in seconds):478.084
o 39281
c Got one! Elapsed wall clock time (in seconds):479.718
o 39271
c Got one! Elapsed wall clock time (in seconds):481.0
o 39270
c Got one! Elapsed wall clock time (in seconds):482.711
o 39210
c Got one! Elapsed wall clock time (in seconds):484.272
o 39206
c Got one! Elapsed wall clock time (in seconds):486.252
o 39205
c Got one! Elapsed wall clock time (in seconds):487.997
o 39158
c Got one! Elapsed wall clock time (in seconds):490.2
o 39153
c Got one! Elapsed wall clock time (in seconds):491.747
o 39126
c Got one! Elapsed wall clock time (in seconds):493.452
o 39122
c Got one! Elapsed wall clock time (in seconds):494.824
o 39120
c Got one! Elapsed wall clock time (in seconds):496.508
o 39118
c Got one! Elapsed wall clock time (in seconds):498.008
o 39113
c Got one! Elapsed wall clock time (in seconds):499.584
o 39091
c Got one! Elapsed wall clock time (in seconds):501.916
o 39083
c Got one! Elapsed wall clock time (in seconds):503.61
o 39081
c Got one! Elapsed wall clock time (in seconds):505.304
o 39077
c Got one! Elapsed wall clock time (in seconds):507.073
o 39076
c Got one! Elapsed wall clock time (in seconds):508.671
o 39071
c Got one! Elapsed wall clock time (in seconds):510.153
o 39069
c Got one! Elapsed wall clock time (in seconds):511.715
o 39063
c Got one! Elapsed wall clock time (in seconds):513.034
o 39045
c Got one! Elapsed wall clock time (in seconds):514.199
o 38997
c Got one! Elapsed wall clock time (in seconds):516.185
o 38994
c Got one! Elapsed wall clock time (in seconds):518.143
o 38990
c Got one! Elapsed wall clock time (in seconds):519.832
o 38989
c Got one! Elapsed wall clock time (in seconds):521.334
o 38988
c Got one! Elapsed wall clock time (in seconds):523.196
o 38986
c Got one! Elapsed wall clock time (in seconds):525.21
o 38979
c Got one! Elapsed wall clock time (in seconds):526.903
o 38967
c Got one! Elapsed wall clock time (in seconds):528.729
o 38962
c Got one! Elapsed wall clock time (in seconds):530.174
o 38956
c Got one! Elapsed wall clock time (in seconds):531.836
o 38952
c Got one! Elapsed wall clock time (in seconds):532.914
o 38948
c Got one! Elapsed wall clock time (in seconds):534.895
o 38947
c Got one! Elapsed wall clock time (in seconds):536.258
o 38944
c Got one! Elapsed wall clock time (in seconds):538.442
o 38937
c Got one! Elapsed wall clock time (in seconds):540.038
o 38936
c Got one! Elapsed wall clock time (in seconds):541.464
o 38935
c Got one! Elapsed wall clock time (in seconds):542.834
o 38929
c Got one! Elapsed wall clock time (in seconds):544.226
o 38920
c Got one! Elapsed wall clock time (in seconds):545.95
o 38914
c Got one! Elapsed wall clock time (in seconds):547.466
o 38871
c Got one! Elapsed wall clock time (in seconds):550.044
o 38870
c Got one! Elapsed wall clock time (in seconds):551.398
o 38866
c Got one! Elapsed wall clock time (in seconds):553.192
o 38862
c Got one! Elapsed wall clock time (in seconds):554.964
o 38857
c Got one! Elapsed wall clock time (in seconds):556.663
o 38777
c Got one! Elapsed wall clock time (in seconds):558.705
o 38756
c Got one! Elapsed wall clock time (in seconds):560.347
o 38720
c Got one! Elapsed wall clock time (in seconds):562.134
o 38707
c Got one! Elapsed wall clock time (in seconds):564.898
o 38704
c Got one! Elapsed wall clock time (in seconds):567.057
o 38694
c Got one! Elapsed wall clock time (in seconds):569.716
o 38690
c Got one! Elapsed wall clock time (in seconds):571.628
o 38684
c Got one! Elapsed wall clock time (in seconds):573.323
o 38674
c Got one! Elapsed wall clock time (in seconds):575.134
o 38666
c Got one! Elapsed wall clock time (in seconds):577.518
o 38663
c Got one! Elapsed wall clock time (in seconds):579.445
o 38657
c Got one! Elapsed wall clock time (in seconds):580.64
o 38631
c Got one! Elapsed wall clock time (in seconds):582.253
o 38627
c Got one! Elapsed wall clock time (in seconds):583.885
o 38626
c Got one! Elapsed wall clock time (in seconds):586.094
o 38621
c Got one! Elapsed wall clock time (in seconds):588.086
o 38619
c Got one! Elapsed wall clock time (in seconds):589.65
o 38614
c Got one! Elapsed wall clock time (in seconds):591.225
o 38613
c Got one! Elapsed wall clock time (in seconds):592.938
o 38608
c Got one! Elapsed wall clock time (in seconds):594.69
o 38607
c Got one! Elapsed wall clock time (in seconds):596.426
o 38595
c Got one! Elapsed wall clock time (in seconds):598.125
o 38560
c Got one! Elapsed wall clock time (in seconds):599.864
o 38547
c Got one! Elapsed wall clock time (in seconds):601.562
o 38498
c Got one! Elapsed wall clock time (in seconds):603.664
o 38497
c Got one! Elapsed wall clock time (in seconds):605.119
o 38484
c Got one! Elapsed wall clock time (in seconds):606.797
o 38457
c Got one! Elapsed wall clock time (in seconds):608.508
o 38455
c Got one! Elapsed wall clock time (in seconds):610.18
o 38450
c Got one! Elapsed wall clock time (in seconds):611.869
o 38442
c Got one! Elapsed wall clock time (in seconds):613.34
o 38390
c Got one! Elapsed wall clock time (in seconds):615.047
o 38384
c Got one! Elapsed wall clock time (in seconds):616.371
o 38378
c Got one! Elapsed wall clock time (in seconds):618.15
o 38365
c Got one! Elapsed wall clock time (in seconds):619.788
o 38293
c Got one! Elapsed wall clock time (in seconds):622.148
o 38288
c Got one! Elapsed wall clock time (in seconds):623.885
o 38279
c Got one! Elapsed wall clock time (in seconds):625.84
o 38277
c Got one! Elapsed wall clock time (in seconds):627.648
o 38271
c Got one! Elapsed wall clock time (in seconds):630.147
o 38265
c Got one! Elapsed wall clock time (in seconds):631.954
o 38262
c Got one! Elapsed wall clock time (in seconds):633.625
o 38259
c Got one! Elapsed wall clock time (in seconds):635.043
o 38240
c Got one! Elapsed wall clock time (in seconds):637.124
o 38236
c Got one! Elapsed wall clock time (in seconds):640.717
o 38234
c Got one! Elapsed wall clock time (in seconds):642.68
o 38185
c Got one! Elapsed wall clock time (in seconds):644.7
o 38182
c Got one! Elapsed wall clock time (in seconds):646.361
o 38141
c Got one! Elapsed wall clock time (in seconds):648.341
o 38140
c Got one! Elapsed wall clock time (in seconds):650.186
o 38138
c Got one! Elapsed wall clock time (in seconds):651.813
o 38133
c Got one! Elapsed wall clock time (in seconds):654.087
o 38130
c Got one! Elapsed wall clock time (in seconds):655.699
o 38126
c Got one! Elapsed wall clock time (in seconds):657.692
o 38125
c Got one! Elapsed wall clock time (in seconds):660.15
o 38114
c Got one! Elapsed wall clock time (in seconds):661.688
o 38108
c Got one! Elapsed wall clock time (in seconds):663.66
o 38098
c Got one! Elapsed wall clock time (in seconds):665.082
o 38092
c Got one! Elapsed wall clock time (in seconds):666.982
o 38080
c Got one! Elapsed wall clock time (in seconds):668.473
o 38012
c Got one! Elapsed wall clock time (in seconds):670.612
o 38009
c Got one! Elapsed wall clock time (in seconds):673.851
o 38008
c Got one! Elapsed wall clock time (in seconds):675.471
o 37999
c Got one! Elapsed wall clock time (in seconds):676.646
o 37981
c Got one! Elapsed wall clock time (in seconds):677.76
o 37942
c Got one! Elapsed wall clock time (in seconds):679.306
o 37938
c Got one! Elapsed wall clock time (in seconds):680.489
o 37920
c Got one! Elapsed wall clock time (in seconds):681.777
o 37908
c Got one! Elapsed wall clock time (in seconds):683.282
o 37907
c Got one! Elapsed wall clock time (in seconds):684.438
o 37841
c Got one! Elapsed wall clock time (in seconds):686.337
o 37840
c Got one! Elapsed wall clock time (in seconds):688.675
o 37828
c Got one! Elapsed wall clock time (in seconds):690.573
o 37802
c Got one! Elapsed wall clock time (in seconds):692.029
o 37773
c Got one! Elapsed wall clock time (in seconds):695.96
o 37770
c Got one! Elapsed wall clock time (in seconds):698.628
o 37769
c Got one! Elapsed wall clock time (in seconds):700.6
o 37762
c Got one! Elapsed wall clock time (in seconds):702.646
o 37756
c Got one! Elapsed wall clock time (in seconds):704.427
o 37755
c Got one! Elapsed wall clock time (in seconds):706.369
o 37751
c Got one! Elapsed wall clock time (in seconds):708.667
o 37745
c Got one! Elapsed wall clock time (in seconds):710.948
o 37739
c Got one! Elapsed wall clock time (in seconds):712.723
o 37731
c Got one! Elapsed wall clock time (in seconds):714.553
o 37726
c Got one! Elapsed wall clock time (in seconds):716.072
o 37717
c Got one! Elapsed wall clock time (in seconds):718.044
o 37715
c Got one! Elapsed wall clock time (in seconds):719.519
o 37702
c Got one! Elapsed wall clock time (in seconds):721.391
o 37700
c Got one! Elapsed wall clock time (in seconds):722.961
o 37690
c Got one! Elapsed wall clock time (in seconds):724.693
o 37686
c Got one! Elapsed wall clock time (in seconds):726.489
o 37676
c Got one! Elapsed wall clock time (in seconds):729.376
o 37675
c Got one! Elapsed wall clock time (in seconds):730.71
o 37674
c Got one! Elapsed wall clock time (in seconds):732.622
o 37610
c Got one! Elapsed wall clock time (in seconds):734.28
o 37591
c Got one! Elapsed wall clock time (in seconds):735.885
o 37584
c Got one! Elapsed wall clock time (in seconds):738.469
o 37563
c Got one! Elapsed wall clock time (in seconds):740.168
o 37553
c Got one! Elapsed wall clock time (in seconds):741.793
o 37548
c Got one! Elapsed wall clock time (in seconds):743.838
o 37547
c Got one! Elapsed wall clock time (in seconds):745.556
o 37530
c Got one! Elapsed wall clock time (in seconds):748.798
o 37523
c Got one! Elapsed wall clock time (in seconds):751.491
o 37522
c Got one! Elapsed wall clock time (in seconds):753.986
o 37518
c Got one! Elapsed wall clock time (in seconds):755.299
o 37495
c Got one! Elapsed wall clock time (in seconds):757.68
o 37470
c Got one! Elapsed wall clock time (in seconds):759.913
o 37449
c Got one! Elapsed wall clock time (in seconds):762.379
o 37443
c Got one! Elapsed wall clock time (in seconds):764.091
o 37428
c Got one! Elapsed wall clock time (in seconds):767.461
o 37416
c Got one! Elapsed wall clock time (in seconds):769.138
o 37414
c Got one! Elapsed wall clock time (in seconds):771.179
o 37411
c Got one! Elapsed wall clock time (in seconds):773.634
o 37394
c Got one! Elapsed wall clock time (in seconds):775.404
o 37393
c Got one! Elapsed wall clock time (in seconds):778.455
o 37326
c Got one! Elapsed wall clock time (in seconds):780.515
o 37318
c Got one! Elapsed wall clock time (in seconds):782.595
o 37295
c Got one! Elapsed wall clock time (in seconds):784.62
o 37287
c Got one! Elapsed wall clock time (in seconds):786.966
o 37285
c Got one! Elapsed wall clock time (in seconds):789.359
o 37282
c Got one! Elapsed wall clock time (in seconds):793.214
o 37280
c Got one! Elapsed wall clock time (in seconds):794.567
o 37263
c Got one! Elapsed wall clock time (in seconds):797.073
o 37262
c Got one! Elapsed wall clock time (in seconds):799.037
o 37258
c Got one! Elapsed wall clock time (in seconds):800.961
o 37257
c Got one! Elapsed wall clock time (in seconds):803.126
o 37230
c Got one! Elapsed wall clock time (in seconds):807.734
o 37224
c Got one! Elapsed wall clock time (in seconds):811.111
o 37222
c Got one! Elapsed wall clock time (in seconds):814.028
o 37211
c Got one! Elapsed wall clock time (in seconds):816.915
o 37210
c Got one! Elapsed wall clock time (in seconds):819.233
o 37203
c Got one! Elapsed wall clock time (in seconds):821.297
o 37196
c Got one! Elapsed wall clock time (in seconds):823.246
o 37194
c Got one! Elapsed wall clock time (in seconds):825.071
o 37190
c Got one! Elapsed wall clock time (in seconds):827.315
o 37188
c Got one! Elapsed wall clock time (in seconds):830.202
o 37184
c Got one! Elapsed wall clock time (in seconds):832.401
o 37162
c Got one! Elapsed wall clock time (in seconds):834.777
o 37156
c Got one! Elapsed wall clock time (in seconds):836.579
o 37154
c Got one! Elapsed wall clock time (in seconds):838.102
o 37126
c Got one! Elapsed wall clock time (in seconds):839.974
o 37118
c Got one! Elapsed wall clock time (in seconds):841.675
o 37051
c Got one! Elapsed wall clock time (in seconds):843.495
o 37046
c Got one! Elapsed wall clock time (in seconds):845.171
o 37045
c Got one! Elapsed wall clock time (in seconds):846.806
o 37011
c Got one! Elapsed wall clock time (in seconds):848.944
o 36958
c Got one! Elapsed wall clock time (in seconds):850.307
o 36930
c Got one! Elapsed wall clock time (in seconds):853.123
o 36929
c Got one! Elapsed wall clock time (in seconds):855.286
o 36923
c Got one! Elapsed wall clock time (in seconds):856.914
o 36878
c Got one! Elapsed wall clock time (in seconds):858.491
o 36868
c Got one! Elapsed wall clock time (in seconds):860.379
o 36863
c Got one! Elapsed wall clock time (in seconds):862.173
o 36861
c Got one! Elapsed wall clock time (in seconds):864.131
o 36856
c Got one! Elapsed wall clock time (in seconds):866.408
o 36855
c Got one! Elapsed wall clock time (in seconds):868.91
o 36849
c Got one! Elapsed wall clock time (in seconds):871.032
o 36840
c Got one! Elapsed wall clock time (in seconds):873.677
o 36832
c Got one! Elapsed wall clock time (in seconds):875.764
o 36806
c Got one! Elapsed wall clock time (in seconds):878.032
o 36802
c Got one! Elapsed wall clock time (in seconds):880.406
o 36798
c Got one! Elapsed wall clock time (in seconds):881.873
o 36740
c Got one! Elapsed wall clock time (in seconds):884.661
o 36732
c Got one! Elapsed wall clock time (in seconds):886.535
o 36708
c Got one! Elapsed wall clock time (in seconds):888.738
o 36707
c Got one! Elapsed wall clock time (in seconds):892.482
o 36696
c Got one! Elapsed wall clock time (in seconds):894.344
o 36674
c Got one! Elapsed wall clock time (in seconds):895.978
o 36668
c Got one! Elapsed wall clock time (in seconds):897.767
o 36666
c Got one! Elapsed wall clock time (in seconds):899.429
o 36663
c Got one! Elapsed wall clock time (in seconds):902.757
o 36630
c Got one! Elapsed wall clock time (in seconds):905.243
o 36626
c Got one! Elapsed wall clock time (in seconds):906.674
o 36604
c Got one! Elapsed wall clock time (in seconds):911.564
o 36600
c Got one! Elapsed wall clock time (in seconds):915.51
o 36599
c Got one! Elapsed wall clock time (in seconds):919.363
o 36597
c Got one! Elapsed wall clock time (in seconds):922.335
o 36589
c Got one! Elapsed wall clock time (in seconds):925.286
o 36586
c Got one! Elapsed wall clock time (in seconds):928.542
o 36583
c Got one! Elapsed wall clock time (in seconds):931.33
o 36556
c Got one! Elapsed wall clock time (in seconds):933.801
o 36550
c Got one! Elapsed wall clock time (in seconds):935.808
o 36539
c Got one! Elapsed wall clock time (in seconds):938.207
o 36523
c Got one! Elapsed wall clock time (in seconds):940.331
o 36518
c Got one! Elapsed wall clock time (in seconds):942.758
o 36510
c Got one! Elapsed wall clock time (in seconds):944.553
o 36508
c Got one! Elapsed wall clock time (in seconds):946.58
o 36488
c Got one! Elapsed wall clock time (in seconds):949.399
o 36486
c Got one! Elapsed wall clock time (in seconds):951.309
o 36482
c Got one! Elapsed wall clock time (in seconds):953.947
o 36478
c Got one! Elapsed wall clock time (in seconds):956.195
o 36477
c Got one! Elapsed wall clock time (in seconds):959.534
o 36476
c Got one! Elapsed wall clock time (in seconds):961.907
o 36474
c Got one! Elapsed wall clock time (in seconds):964.494
o 36448
c Got one! Elapsed wall clock time (in seconds):967.293
o 36445
c Got one! Elapsed wall clock time (in seconds):970.417
o 36438
c Got one! Elapsed wall clock time (in seconds):972.273
o 36437
c Got one! Elapsed wall clock time (in seconds):974.562
o 36436
c Got one! Elapsed wall clock time (in seconds):977.541
o 36434
c Got one! Elapsed wall clock time (in seconds):979.538
o 36414
c Got one! Elapsed wall clock time (in seconds):981.698
o 36413
c Got one! Elapsed wall clock time (in seconds):983.951
o 36365
c Got one! Elapsed wall clock time (in seconds):985.658
o 36297
c Got one! Elapsed wall clock time (in seconds):988.552
o 36284
c Got one! Elapsed wall clock time (in seconds):991.829
o 36282
c Got one! Elapsed wall clock time (in seconds):993.777
o 36280
c Got one! Elapsed wall clock time (in seconds):995.92
o 36275
c Got one! Elapsed wall clock time (in seconds):998.066
o 36270
c Got one! Elapsed wall clock time (in seconds):1000.522
o 36259
c Got one! Elapsed wall clock time (in seconds):1006.316
o 36253
c Got one! Elapsed wall clock time (in seconds):1008.661
o 36242
c Got one! Elapsed wall clock time (in seconds):1011.292
o 36224
c Got one! Elapsed wall clock time (in seconds):1014.029
o 36216
c Got one! Elapsed wall clock time (in seconds):1016.797
o 36193
c Got one! Elapsed wall clock time (in seconds):1019.183
o 36190
c Got one! Elapsed wall clock time (in seconds):1021.312
o 36187
c Got one! Elapsed wall clock time (in seconds):1023.456
o 36181
c Got one! Elapsed wall clock time (in seconds):1025.698
o 36174
c Got one! Elapsed wall clock time (in seconds):1027.882
o 36165
c Got one! Elapsed wall clock time (in seconds):1030.697
o 36163
c Got one! Elapsed wall clock time (in seconds):1032.704
o 36133
c Got one! Elapsed wall clock time (in seconds):1034.429
o 36124
c Got one! Elapsed wall clock time (in seconds):1036.673
o 36109
c Got one! Elapsed wall clock time (in seconds):1039.979
o 36106
c Got one! Elapsed wall clock time (in seconds):1041.972
o 36105
c Got one! Elapsed wall clock time (in seconds):1044.293
o 36052
c Got one! Elapsed wall clock time (in seconds):1046.319
o 36042
c Got one! Elapsed wall clock time (in seconds):1048.872
o 36037
c Got one! Elapsed wall clock time (in seconds):1050.738
o 35994
c Got one! Elapsed wall clock time (in seconds):1055.863
o 35993
c Got one! Elapsed wall clock time (in seconds):1058.947
o 35987
c Got one! Elapsed wall clock time (in seconds):1061.671
o 35944
c Got one! Elapsed wall clock time (in seconds):1063.639
o 35935
c Got one! Elapsed wall clock time (in seconds):1065.488
o 35913
c Got one! Elapsed wall clock time (in seconds):1067.746
o 35911
c Got one! Elapsed wall clock time (in seconds):1070.16
o 35902
c Got one! Elapsed wall clock time (in seconds):1072.681
o 35898
c Got one! Elapsed wall clock time (in seconds):1075.287
o 35890
c Got one! Elapsed wall clock time (in seconds):1077.261
o 35889
c Got one! Elapsed wall clock time (in seconds):1079.214
o 35882
c Got one! Elapsed wall clock time (in seconds):1081.347
o 35877
c Got one! Elapsed wall clock time (in seconds):1083.673
o 35875
c Got one! Elapsed wall clock time (in seconds):1085.836
o 35846
c Got one! Elapsed wall clock time (in seconds):1088.164
o 35835
c Got one! Elapsed wall clock time (in seconds):1090.515
o 35827
c Got one! Elapsed wall clock time (in seconds):1092.349
o 35797
c Got one! Elapsed wall clock time (in seconds):1094.582
o 35789
c Got one! Elapsed wall clock time (in seconds):1097.803
o 35786
c Got one! Elapsed wall clock time (in seconds):1100.162
o 35783
c Got one! Elapsed wall clock time (in seconds):1101.833
o 35773
c Got one! Elapsed wall clock time (in seconds):1103.974
o 35763
c Got one! Elapsed wall clock time (in seconds):1106.424
o 35757
c Got one! Elapsed wall clock time (in seconds):1112.108
o 35751
c Got one! Elapsed wall clock time (in seconds):1115.822
o 35747
c Got one! Elapsed wall clock time (in seconds):1118.481
o 35745
c Got one! Elapsed wall clock time (in seconds):1122.289
o 35735
c Got one! Elapsed wall clock time (in seconds):1124.676
o 35677
c Got one! Elapsed wall clock time (in seconds):1127.42
o 35671
c Got one! Elapsed wall clock time (in seconds):1130.13
o 35664
c Got one! Elapsed wall clock time (in seconds):1132.416
o 35660
c Got one! Elapsed wall clock time (in seconds):1134.745
o 35651
c Got one! Elapsed wall clock time (in seconds):1137.459
o 35650
c Got one! Elapsed wall clock time (in seconds):1140.605
o 35627
c Got one! Elapsed wall clock time (in seconds):1143.027
o 35618
c Got one! Elapsed wall clock time (in seconds):1144.944
o 35615
c Got one! Elapsed wall clock time (in seconds):1147.329
o 35611
c Got one! Elapsed wall clock time (in seconds):1149.23
o 35609
c Got one! Elapsed wall clock time (in seconds):1151.791
o 35607
c Got one! Elapsed wall clock time (in seconds):1154.152
o 35587
c Got one! Elapsed wall clock time (in seconds):1156.597
o 35579
c Got one! Elapsed wall clock time (in seconds):1158.993
o 35572
c Got one! Elapsed wall clock time (in seconds):1161.174
o 35570
c Got one! Elapsed wall clock time (in seconds):1163.754
o 35564
c Got one! Elapsed wall clock time (in seconds):1166.78
o 35562
c Got one! Elapsed wall clock time (in seconds):1169.135
o 35556
c Got one! Elapsed wall clock time (in seconds):1172.003
o 35538
c Got one! Elapsed wall clock time (in seconds):1174.109
o 35535
c Got one! Elapsed wall clock time (in seconds):1176.584
o 35533
c Got one! Elapsed wall clock time (in seconds):1182.396
o 35532
c Got one! Elapsed wall clock time (in seconds):1186.341
o 35531
c Got one! Elapsed wall clock time (in seconds):1189.539
o 35518
c Got one! Elapsed wall clock time (in seconds):1192.982
o 35509
c Got one! Elapsed wall clock time (in seconds):1196.577
o 35501
c Got one! Elapsed wall clock time (in seconds):1199.852
o 35500
c Got one! Elapsed wall clock time (in seconds):1202.166
o 35498
c Got one! Elapsed wall clock time (in seconds):1204.561
o 35464
c Got one! Elapsed wall clock time (in seconds):1207.094
o 35454
c Got one! Elapsed wall clock time (in seconds):1210.484
o 35450
c Got one! Elapsed wall clock time (in seconds):1213.139
o 35436
c Got one! Elapsed wall clock time (in seconds):1215.589
o 35411
c Got one! Elapsed wall clock time (in seconds):1217.801
o 35407
c Got one! Elapsed wall clock time (in seconds):1220.13
o 35395
c Got one! Elapsed wall clock time (in seconds):1222.65
o 35394
c Got one! Elapsed wall clock time (in seconds):1224.744
o 35384
c Got one! Elapsed wall clock time (in seconds):1227.438
o 35375
c Got one! Elapsed wall clock time (in seconds):1229.981
o 35370
c Got one! Elapsed wall clock time (in seconds):1232.89
o 35366
c Got one! Elapsed wall clock time (in seconds):1235.996
o 35365
c Got one! Elapsed wall clock time (in seconds):1238.837
o 35364
c Got one! Elapsed wall clock time (in seconds):1241.735
o 35356
c Got one! Elapsed wall clock time (in seconds):1245.174
o 35353
c Got one! Elapsed wall clock time (in seconds):1247.449
o 35351
c Got one! Elapsed wall clock time (in seconds):1250.35
o 35301
c Got one! Elapsed wall clock time (in seconds):1252.735
o 35293
c Got one! Elapsed wall clock time (in seconds):1254.932
o 35287
c Got one! Elapsed wall clock time (in seconds):1257.274
o 35279
c Got one! Elapsed wall clock time (in seconds):1260.555
o 35270
c Got one! Elapsed wall clock time (in seconds):1262.818
o 35227
c Got one! Elapsed wall clock time (in seconds):1265.564
o 35226
c Got one! Elapsed wall clock time (in seconds):1268.437
o 35223
c Got one! Elapsed wall clock time (in seconds):1271.148
o 35211
c Got one! Elapsed wall clock time (in seconds):1273.324
o 35206
c Got one! Elapsed wall clock time (in seconds):1275.898
o 35202
c Got one! Elapsed wall clock time (in seconds):1278.444
o 35174
c Got one! Elapsed wall clock time (in seconds):1285.041
o 35165
c Got one! Elapsed wall clock time (in seconds):1288.347
o 35126
c Got one! Elapsed wall clock time (in seconds):1292.672
o 35118
c Got one! Elapsed wall clock time (in seconds):1297.296
o 35114
c Got one! Elapsed wall clock time (in seconds):1299.93
o 35099
c Got one! Elapsed wall clock time (in seconds):1303.345
o 35098
c Got one! Elapsed wall clock time (in seconds):1305.875
o 35093
c Got one! Elapsed wall clock time (in seconds):1308.366
o 35091
c Got one! Elapsed wall clock time (in seconds):1310.13
o 35059
c Got one! Elapsed wall clock time (in seconds):1312.343
o 34980
c Got one! Elapsed wall clock time (in seconds):1315.845
o 34978
c Got one! Elapsed wall clock time (in seconds):1319.092
o 34976
c Got one! Elapsed wall clock time (in seconds):1323.051
o 34975
c Got one! Elapsed wall clock time (in seconds):1326.198
o 34969
c Got one! Elapsed wall clock time (in seconds):1329.054
o 34962
c Got one! Elapsed wall clock time (in seconds):1331.303
o 34955
c Got one! Elapsed wall clock time (in seconds):1334.475
o 34947
c Got one! Elapsed wall clock time (in seconds):1337.073
o 34937
c Got one! Elapsed wall clock time (in seconds):1340.881
o 34936
c Got one! Elapsed wall clock time (in seconds):1343.528
o 34931
c Got one! Elapsed wall clock time (in seconds):1346.609
o 34926
c Got one! Elapsed wall clock time (in seconds):1349.022
o 34925
c Got one! Elapsed wall clock time (in seconds):1352.725
o 34923
c Got one! Elapsed wall clock time (in seconds):1354.69
o 34914
c Got one! Elapsed wall clock time (in seconds):1356.828
o 34912
c Got one! Elapsed wall clock time (in seconds):1358.753
o 34911
c Got one! Elapsed wall clock time (in seconds):1361.37
o 34901
c Got one! Elapsed wall clock time (in seconds):1365.105
o 34900
c Got one! Elapsed wall clock time (in seconds):1367.681
o 34895
c Got one! Elapsed wall clock time (in seconds):1370.213
o 34894
c Got one! Elapsed wall clock time (in seconds):1372.969
o 34891
c Got one! Elapsed wall clock time (in seconds):1375.121
o 34887
c Got one! Elapsed wall clock time (in seconds):1379.705
o 34885
c Got one! Elapsed wall clock time (in seconds):1381.837
o 34880
c Got one! Elapsed wall clock time (in seconds):1384.142
o 34848
c Got one! Elapsed wall clock time (in seconds):1386.597
o 34845
c Got one! Elapsed wall clock time (in seconds):1389.372
o 34843
c Got one! Elapsed wall clock time (in seconds):1391.941
o 34841
c Got one! Elapsed wall clock time (in seconds):1394.553
o 34815
c Got one! Elapsed wall clock time (in seconds):1396.593
o 34780
c Got one! Elapsed wall clock time (in seconds):1402.955
o 34779
c Got one! Elapsed wall clock time (in seconds):1407.466
o 34778
c Got one! Elapsed wall clock time (in seconds):1411.98
o 34757
c Got one! Elapsed wall clock time (in seconds):1415.91
o 34746
c Got one! Elapsed wall clock time (in seconds):1419.599
o 34736
c Got one! Elapsed wall clock time (in seconds):1423.374
o 34730
c Got one! Elapsed wall clock time (in seconds):1426.789
o 34715
c Got one! Elapsed wall clock time (in seconds):1429.957
o 34674
c Got one! Elapsed wall clock time (in seconds):1434.084
o 34670
c Got one! Elapsed wall clock time (in seconds):1436.599
o 34666
c Got one! Elapsed wall clock time (in seconds):1438.837
o 34665
c Got one! Elapsed wall clock time (in seconds):1442.332
o 34661
c Got one! Elapsed wall clock time (in seconds):1446.091
o 34604
c Got one! Elapsed wall clock time (in seconds):1448.87
o 34560
c Got one! Elapsed wall clock time (in seconds):1451.911
o 34548
c Got one! Elapsed wall clock time (in seconds):1454.994
o 34545
c Got one! Elapsed wall clock time (in seconds):1457.84
o 34539
c Got one! Elapsed wall clock time (in seconds):1460.84
o 34522
c Got one! Elapsed wall clock time (in seconds):1463.849
o 34518
c Got one! Elapsed wall clock time (in seconds):1466.602
o 34515
c Got one! Elapsed wall clock time (in seconds):1469.141
o 34470
c Got one! Elapsed wall clock time (in seconds):1472.335
o 34468
c Got one! Elapsed wall clock time (in seconds):1475.354
o 34462
c Got one! Elapsed wall clock time (in seconds):1478.836
o 34452
c Got one! Elapsed wall clock time (in seconds):1481.321
o 34423
c Got one! Elapsed wall clock time (in seconds):1483.597
o 34416
c Got one! Elapsed wall clock time (in seconds):1486.761
o 34394
c Got one! Elapsed wall clock time (in seconds):1490.208
o 34391
c Got one! Elapsed wall clock time (in seconds):1492.805
o 34365
c Got one! Elapsed wall clock time (in seconds):1495.221
o 34358
c Got one! Elapsed wall clock time (in seconds):1497.664
o 34291
c Got one! Elapsed wall clock time (in seconds):1501.052
o 34234
c Got one! Elapsed wall clock time (in seconds):1505.143
o 34230
c Got one! Elapsed wall clock time (in seconds):1508.446
o 34226
c Got one! Elapsed wall clock time (in seconds):1511.37
o 34224
c Got one! Elapsed wall clock time (in seconds):1514.478
o 34221
c Got one! Elapsed wall clock time (in seconds):1517.293
o 34217
c Got one! Elapsed wall clock time (in seconds):1519.77
o 34209
c Got one! Elapsed wall clock time (in seconds):1522.315
o 34177
c Got one! Elapsed wall clock time (in seconds):1525.31
o 34176
c Got one! Elapsed wall clock time (in seconds):1527.964
o 34156
c Got one! Elapsed wall clock time (in seconds):1530.659
o 34149
c Got one! Elapsed wall clock time (in seconds):1533.168
o 34147
c Got one! Elapsed wall clock time (in seconds):1535.724
o 34146
c Got one! Elapsed wall clock time (in seconds):1537.865
o 34125
c Got one! Elapsed wall clock time (in seconds):1541.293
o 34111
c Got one! Elapsed wall clock time (in seconds):1545.741
o 34104
c Got one! Elapsed wall clock time (in seconds):1549.232
o 34094
c Got one! Elapsed wall clock time (in seconds):1552.021
o 34092
c Got one! Elapsed wall clock time (in seconds):1554.485
o 34075
c Got one! Elapsed wall clock time (in seconds):1557.643
o 34072
c Got one! Elapsed wall clock time (in seconds):1560.071
o 33997
c Got one! Elapsed wall clock time (in seconds):1564.43
o 33995
c Got one! Elapsed wall clock time (in seconds):1567.147
o 33994
c Got one! Elapsed wall clock time (in seconds):1569.794
o 33989
c Got one! Elapsed wall clock time (in seconds):1572.593
o 33987
c Got one! Elapsed wall clock time (in seconds):1575.22
o 33961
c Got one! Elapsed wall clock time (in seconds):1579.412
o 33956
c Got one! Elapsed wall clock time (in seconds):1582.299
o 33950
c Got one! Elapsed wall clock time (in seconds):1586.803
o 33948
c Got one! Elapsed wall clock time (in seconds):1589.689
o 33942
c Got one! Elapsed wall clock time (in seconds):1592.518
o 33888
c Got one! Elapsed wall clock time (in seconds):1595.008
o 33879
c Got one! Elapsed wall clock time (in seconds):1597.361
o 33875
c Got one! Elapsed wall clock time (in seconds):1599.866
o 33873
c Got one! Elapsed wall clock time (in seconds):1602.387
o 33830
c Got one! Elapsed wall clock time (in seconds):1606.159
o 33804
c Got one! Elapsed wall clock time (in seconds):1609.514
o 33795
c Got one! Elapsed wall clock time (in seconds):1612.619
o 33794
c Got one! Elapsed wall clock time (in seconds):1615.789
o 33793
c Got one! Elapsed wall clock time (in seconds):1618.763
o 33791
c Got one! Elapsed wall clock time (in seconds):1621.982
o 33771
c Got one! Elapsed wall clock time (in seconds):1626.541
o 33770
c Got one! Elapsed wall clock time (in seconds):1629.455
o 33767
c Got one! Elapsed wall clock time (in seconds):1632.328
o 33764
c Got one! Elapsed wall clock time (in seconds):1635.353
o 33758
c Got one! Elapsed wall clock time (in seconds):1638.217
o 33754
c Got one! Elapsed wall clock time (in seconds):1640.831
o 33752
c Got one! Elapsed wall clock time (in seconds):1644.023
o 33748
c Got one! Elapsed wall clock time (in seconds):1646.421
o 33738
c Got one! Elapsed wall clock time (in seconds):1649.157
o 33733
c Got one! Elapsed wall clock time (in seconds):1651.499
o 33720
c Got one! Elapsed wall clock time (in seconds):1654.014
o 33677
c Got one! Elapsed wall clock time (in seconds):1659.697
o 33676
c Got one! Elapsed wall clock time (in seconds):1662.701
o 33657
c Got one! Elapsed wall clock time (in seconds):1665.194
o 33615
c Got one! Elapsed wall clock time (in seconds):1668.288
o 33603
c Got one! Elapsed wall clock time (in seconds):1674.467
o 33600
c Got one! Elapsed wall clock time (in seconds):1678.476
o 33598
c Got one! Elapsed wall clock time (in seconds):1682.747
o 33589
c Got one! Elapsed wall clock time (in seconds):1685.344
o 33585
c cleaning 163246 clauses out of 326504
c Got one! Elapsed wall clock time (in seconds):1696.538
o 33582
c Got one! Elapsed wall clock time (in seconds):1698.253
o 33572
c Got one! Elapsed wall clock time (in seconds):1700.338
o 33565
c Got one! Elapsed wall clock time (in seconds):1702.449
o 33559
c Got one! Elapsed wall clock time (in seconds):1704.646
o 33558
c Got one! Elapsed wall clock time (in seconds):1706.622
o 33545
c Got one! Elapsed wall clock time (in seconds):1708.978
o 33537
c Got one! Elapsed wall clock time (in seconds):1712.148
o 33536
c Got one! Elapsed wall clock time (in seconds):1714.288
o 33522
c Got one! Elapsed wall clock time (in seconds):1716.649
o 33503
c Got one! Elapsed wall clock time (in seconds):1718.844
o 33499
c Got one! Elapsed wall clock time (in seconds):1720.588
o 33495
c Got one! Elapsed wall clock time (in seconds):1722.563
o 33489
c Got one! Elapsed wall clock time (in seconds):1723.705
o 33478
c Got one! Elapsed wall clock time (in seconds):1725.563
o 33473
c Got one! Elapsed wall clock time (in seconds):1727.36
o 33461
c Got one! Elapsed wall clock time (in seconds):1729.018
o 33431
c Got one! Elapsed wall clock time (in seconds):1730.52
o 33430
c Got one! Elapsed wall clock time (in seconds):1731.94
o 33420
c Got one! Elapsed wall clock time (in seconds):1733.369
o 33412
c Got one! Elapsed wall clock time (in seconds):1734.954
o 33404
c Got one! Elapsed wall clock time (in seconds):1736.483
o 33401
c Got one! Elapsed wall clock time (in seconds):1738.652
o 33395
c Got one! Elapsed wall clock time (in seconds):1740.534
o 33390
c Got one! Elapsed wall clock time (in seconds):1743.251
o 33380
c Got one! Elapsed wall clock time (in seconds):1744.717
o 33355
c Got one! Elapsed wall clock time (in seconds):1750.188
o 33350
c Got one! Elapsed wall clock time (in seconds):1752.321
o 33346
c Got one! Elapsed wall clock time (in seconds):1754.454
o 33335
c Got one! Elapsed wall clock time (in seconds):1756.69
o 33334
c Got one! Elapsed wall clock time (in seconds):1759.46
o 33324
c Got one! Elapsed wall clock time (in seconds):1762.744
o 33323
c Got one! Elapsed wall clock time (in seconds):1764.859
o 33314
c Got one! Elapsed wall clock time (in seconds):1766.101
o 33299
c Got one! Elapsed wall clock time (in seconds):1767.845
o 33297
c Got one! Elapsed wall clock time (in seconds):1770.054
o 33293
c Got one! Elapsed wall clock time (in seconds):1772.669
o 33289
c Got one! Elapsed wall clock time (in seconds):1775.044
o 33226
c Got one! Elapsed wall clock time (in seconds):1776.957
o 33224
c Got one! Elapsed wall clock time (in seconds):1778.951
o 33204
c Got one! Elapsed wall clock time (in seconds):1781.192
o 33198
c Got one! Elapsed wall clock time (in seconds):1783.847
o 33196
c Got one! Elapsed wall clock time (in seconds):1785.376
o 33194
c Got one! Elapsed wall clock time (in seconds):1787.195
o 33163
c Got one! Elapsed wall clock time (in seconds):1788.822
o 33158
c Got one! Elapsed wall clock time (in seconds):1790.355
o 33148
c Got one! Elapsed wall clock time (in seconds):1793.874
o 33139
c Got one! Elapsed wall clock time (in seconds):1796.052
o 33128
c Got one! Elapsed wall clock time (in seconds):1797.537
o 33117
c Got one! Elapsed wall clock time (in seconds):1801.01
o 33114
c Got one! Elapsed wall clock time (in seconds):1804.337
o 33111
c Got one! Elapsed wall clock time (in seconds):1806.992
o 33095
c Got one! Elapsed wall clock time (in seconds):1809.327
o 33090
c Got one! Elapsed wall clock time (in seconds):1813.11
o 33089
c Got one! Elapsed wall clock time (in seconds):1815.553
o 33073
c Got one! Elapsed wall clock time (in seconds):1817.576
o 33068
c Got one! Elapsed wall clock time (in seconds):1820.031
o 33053
c Got one! Elapsed wall clock time (in seconds):1821.926
o 33045
c Got one! Elapsed wall clock time (in seconds):1824.626
o 33039
c Got one! Elapsed wall clock time (in seconds):1826.843
o 33031
c Got one! Elapsed wall clock time (in seconds):1830.324
o 33025
Killed
1829.993u 0.647s 30:30.95 99.9%	0+0k 0+0io 1pf+0w