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_n14.ra1.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weighted_crafted/RAMSEY/ram_k3_n14.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_n14.ra1.wcnf
c reading problem ... 
c ... done. Wall clock time 0.135s.
c #vars     1456
c #constraints  1365
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalHTClause => 1365
c OPTIMIZING...
c Got one! Elapsed wall clock time (in seconds):0.479
o 100857
c Got one! Elapsed wall clock time (in seconds):0.919
o 41568
c Got one! Elapsed wall clock time (in seconds):1.116
o 41545
c Got one! Elapsed wall clock time (in seconds):1.387
o 41544
c Got one! Elapsed wall clock time (in seconds):1.607
o 41499
c Got one! Elapsed wall clock time (in seconds):1.854
o 41476
c Got one! Elapsed wall clock time (in seconds):2.074
o 41449
c Got one! Elapsed wall clock time (in seconds):2.286
o 41447
c Got one! Elapsed wall clock time (in seconds):2.534
o 41440
c Got one! Elapsed wall clock time (in seconds):2.83
o 41439
c Got one! Elapsed wall clock time (in seconds):3.009
o 41437
c Got one! Elapsed wall clock time (in seconds):3.3
o 41433
c Got one! Elapsed wall clock time (in seconds):3.513
o 41413
c Got one! Elapsed wall clock time (in seconds):3.752
o 41253
c Got one! Elapsed wall clock time (in seconds):4.019
o 41246
c Got one! Elapsed wall clock time (in seconds):4.254
o 41241
c Got one! Elapsed wall clock time (in seconds):4.483
o 41228
c Got one! Elapsed wall clock time (in seconds):4.746
o 41214
c Got one! Elapsed wall clock time (in seconds):5.003
o 41207
c Got one! Elapsed wall clock time (in seconds):5.236
o 41205
c Got one! Elapsed wall clock time (in seconds):5.47
o 41193
c Got one! Elapsed wall clock time (in seconds):5.733
o 41187
c Got one! Elapsed wall clock time (in seconds):5.907
o 41186
c Got one! Elapsed wall clock time (in seconds):6.164
o 41182
c Got one! Elapsed wall clock time (in seconds):6.403
o 41172
c Got one! Elapsed wall clock time (in seconds):6.637
o 41143
c Got one! Elapsed wall clock time (in seconds):6.913
o 41109
c Got one! Elapsed wall clock time (in seconds):7.288
o 41089
c Got one! Elapsed wall clock time (in seconds):7.573
o 41087
c Got one! Elapsed wall clock time (in seconds):7.745
o 41072
c Got one! Elapsed wall clock time (in seconds):8.002
o 41066
c Got one! Elapsed wall clock time (in seconds):8.241
o 41063
c Got one! Elapsed wall clock time (in seconds):8.429
o 41043
c Got one! Elapsed wall clock time (in seconds):8.688
o 41030
c Got one! Elapsed wall clock time (in seconds):8.888
o 41018
c Got one! Elapsed wall clock time (in seconds):9.079
o 40996
c Got one! Elapsed wall clock time (in seconds):9.276
o 40988
c Got one! Elapsed wall clock time (in seconds):9.549
o 40982
c Got one! Elapsed wall clock time (in seconds):9.874
o 40981
c Got one! Elapsed wall clock time (in seconds):10.16
o 40976
c Got one! Elapsed wall clock time (in seconds):10.424
o 40974
c Got one! Elapsed wall clock time (in seconds):10.694
o 40973
c Got one! Elapsed wall clock time (in seconds):10.903
o 40951
c Got one! Elapsed wall clock time (in seconds):11.164
o 40944
c Got one! Elapsed wall clock time (in seconds):11.371
o 40942
c Got one! Elapsed wall clock time (in seconds):11.536
o 40938
c Got one! Elapsed wall clock time (in seconds):11.811
o 40937
c Got one! Elapsed wall clock time (in seconds):11.985
o 40934
c Got one! Elapsed wall clock time (in seconds):12.225
o 40922
c Got one! Elapsed wall clock time (in seconds):12.436
o 40915
c Got one! Elapsed wall clock time (in seconds):12.707
o 40908
c Got one! Elapsed wall clock time (in seconds):12.987
o 40906
c Got one! Elapsed wall clock time (in seconds):13.175
o 40905
c Got one! Elapsed wall clock time (in seconds):13.343
o 40898
c Got one! Elapsed wall clock time (in seconds):13.623
o 40891
c Got one! Elapsed wall clock time (in seconds):13.862
o 40890
c Got one! Elapsed wall clock time (in seconds):14.174
o 40881
c Got one! Elapsed wall clock time (in seconds):14.531
o 40879
c Got one! Elapsed wall clock time (in seconds):14.85
o 40868
c Got one! Elapsed wall clock time (in seconds):15.15
o 40866
c Got one! Elapsed wall clock time (in seconds):15.466
o 40861
c Got one! Elapsed wall clock time (in seconds):15.724
o 40858
c Got one! Elapsed wall clock time (in seconds):15.959
o 40847
c Got one! Elapsed wall clock time (in seconds):16.317
o 40844
c Got one! Elapsed wall clock time (in seconds):16.657
o 40842
c Got one! Elapsed wall clock time (in seconds):16.965
o 40832
c Got one! Elapsed wall clock time (in seconds):17.276
o 40828
c Got one! Elapsed wall clock time (in seconds):17.595
o 40826
c Got one! Elapsed wall clock time (in seconds):17.833
o 40825
c Got one! Elapsed wall clock time (in seconds):18.25
o 40820
c Got one! Elapsed wall clock time (in seconds):18.504
o 40818
c Got one! Elapsed wall clock time (in seconds):18.814
o 40789
c Got one! Elapsed wall clock time (in seconds):19.099
o 40780
c Got one! Elapsed wall clock time (in seconds):19.342
o 40779
c Got one! Elapsed wall clock time (in seconds):19.588
o 40778
c Got one! Elapsed wall clock time (in seconds):19.895
o 40777
c Got one! Elapsed wall clock time (in seconds):20.217
o 40776
c Got one! Elapsed wall clock time (in seconds):20.568
o 40772
c Got one! Elapsed wall clock time (in seconds):20.962
o 40770
c Got one! Elapsed wall clock time (in seconds):21.304
o 40768
c Got one! Elapsed wall clock time (in seconds):21.522
o 40758
c Got one! Elapsed wall clock time (in seconds):21.82
o 40744
c Got one! Elapsed wall clock time (in seconds):22.192
o 40735
c Got one! Elapsed wall clock time (in seconds):22.522
o 40729
c Got one! Elapsed wall clock time (in seconds):22.88
o 40725
c Got one! Elapsed wall clock time (in seconds):23.211
o 40722
c Got one! Elapsed wall clock time (in seconds):23.56
o 40719
c Got one! Elapsed wall clock time (in seconds):23.823
o 40718
c Got one! Elapsed wall clock time (in seconds):24.155
o 40717
c Got one! Elapsed wall clock time (in seconds):24.406
o 40715
c Got one! Elapsed wall clock time (in seconds):24.753
o 40714
c Got one! Elapsed wall clock time (in seconds):25.117
o 40713
c Got one! Elapsed wall clock time (in seconds):25.418
o 40709
c Got one! Elapsed wall clock time (in seconds):25.663
o 40702
c Got one! Elapsed wall clock time (in seconds):25.936
o 40701
c Got one! Elapsed wall clock time (in seconds):26.182
o 40696
c Got one! Elapsed wall clock time (in seconds):26.552
o 40694
c Got one! Elapsed wall clock time (in seconds):26.99
o 40689
c Got one! Elapsed wall clock time (in seconds):27.4
o 40687
c Got one! Elapsed wall clock time (in seconds):27.723
o 40683
c Got one! Elapsed wall clock time (in seconds):28.131
o 40681
c Got one! Elapsed wall clock time (in seconds):28.514
o 40673
c Got one! Elapsed wall clock time (in seconds):28.877
o 40671
c Got one! Elapsed wall clock time (in seconds):29.313
o 40669
c Got one! Elapsed wall clock time (in seconds):29.771
o 40668
c Got one! Elapsed wall clock time (in seconds):30.216
o 40658
c Got one! Elapsed wall clock time (in seconds):30.59
o 40657
c Got one! Elapsed wall clock time (in seconds):30.88
o 40656
c Got one! Elapsed wall clock time (in seconds):31.31
o 40643
c Got one! Elapsed wall clock time (in seconds):31.854
o 40641
c Got one! Elapsed wall clock time (in seconds):32.314
o 40637
c Got one! Elapsed wall clock time (in seconds):32.631
o 40636
c Got one! Elapsed wall clock time (in seconds):33.231
o 40632
c Got one! Elapsed wall clock time (in seconds):33.65
o 40629
c Got one! Elapsed wall clock time (in seconds):34.072
o 40627
c Got one! Elapsed wall clock time (in seconds):34.527
o 40625
c Got one! Elapsed wall clock time (in seconds):34.969
o 40620
c Got one! Elapsed wall clock time (in seconds):35.568
o 40619
c Got one! Elapsed wall clock time (in seconds):36.054
o 40615
c Got one! Elapsed wall clock time (in seconds):36.662
o 40614
c Got one! Elapsed wall clock time (in seconds):37.175
o 40613
c Got one! Elapsed wall clock time (in seconds):37.609
o 40611
c Got one! Elapsed wall clock time (in seconds):38.018
o 40605
c Got one! Elapsed wall clock time (in seconds):38.345
o 40604
c Got one! Elapsed wall clock time (in seconds):38.848
o 40601
c Got one! Elapsed wall clock time (in seconds):39.252
o 40593
c Got one! Elapsed wall clock time (in seconds):39.751
o 40591
c Got one! Elapsed wall clock time (in seconds):40.36
o 40589
c Got one! Elapsed wall clock time (in seconds):40.949
o 40588
c Got one! Elapsed wall clock time (in seconds):41.486
o 40585
c Got one! Elapsed wall clock time (in seconds):42.069
o 40583
c Got one! Elapsed wall clock time (in seconds):42.511
o 40581
c Got one! Elapsed wall clock time (in seconds):43.059
o 40578
c Got one! Elapsed wall clock time (in seconds):43.683
o 40576
c Got one! Elapsed wall clock time (in seconds):44.28
o 40573
c Got one! Elapsed wall clock time (in seconds):44.99
o 40571
c Got one! Elapsed wall clock time (in seconds):45.517
o 40570
c Got one! Elapsed wall clock time (in seconds):46.177
o 40569
c Got one! Elapsed wall clock time (in seconds):46.665
o 40568
c Got one! Elapsed wall clock time (in seconds):47.252
o 40566
c Got one! Elapsed wall clock time (in seconds):47.92
o 40564
c Got one! Elapsed wall clock time (in seconds):48.351
o 40563
c Got one! Elapsed wall clock time (in seconds):48.992
o 40561
c Got one! Elapsed wall clock time (in seconds):49.774
o 40560
c Got one! Elapsed wall clock time (in seconds):50.266
o 40556
c Got one! Elapsed wall clock time (in seconds):50.91
o 40555
c Got one! Elapsed wall clock time (in seconds):51.746
o 40554
c Got one! Elapsed wall clock time (in seconds):52.245
o 40552
c Got one! Elapsed wall clock time (in seconds):52.887
o 40549
c Got one! Elapsed wall clock time (in seconds):53.698
o 40548
c Got one! Elapsed wall clock time (in seconds):54.317
o 40547
c Got one! Elapsed wall clock time (in seconds):54.981
o 40546
c Got one! Elapsed wall clock time (in seconds):55.61
o 40545
c Got one! Elapsed wall clock time (in seconds):56.583
o 40543
c Got one! Elapsed wall clock time (in seconds):57.494
o 40542
c Got one! Elapsed wall clock time (in seconds):58.109
o 40541
c Got one! Elapsed wall clock time (in seconds):58.833
o 40540
c Got one! Elapsed wall clock time (in seconds):59.648
o 40539
c Got one! Elapsed wall clock time (in seconds):60.165
o 40537
c Got one! Elapsed wall clock time (in seconds):60.706
o 40536
c Got one! Elapsed wall clock time (in seconds):61.519
o 40534
c Got one! Elapsed wall clock time (in seconds):62.157
o 40533
c Got one! Elapsed wall clock time (in seconds):62.641
o 40531
c Got one! Elapsed wall clock time (in seconds):63.337
o 40530
c Got one! Elapsed wall clock time (in seconds):64.024
o 40529
c Got one! Elapsed wall clock time (in seconds):64.745
o 40528
c Got one! Elapsed wall clock time (in seconds):65.358
o 40527
c Got one! Elapsed wall clock time (in seconds):66.041
o 40524
c Got one! Elapsed wall clock time (in seconds):66.746
o 40523
c Got one! Elapsed wall clock time (in seconds):67.319
o 40522
c Got one! Elapsed wall clock time (in seconds):67.981
o 40516
c Got one! Elapsed wall clock time (in seconds):68.725
o 40510
c Got one! Elapsed wall clock time (in seconds):69.482
o 40507
c Got one! Elapsed wall clock time (in seconds):70.25
o 40506
c Got one! Elapsed wall clock time (in seconds):70.75
o 40505
c Got one! Elapsed wall clock time (in seconds):71.429
o 40503
c Got one! Elapsed wall clock time (in seconds):72.095
o 40502
c Got one! Elapsed wall clock time (in seconds):72.66
o 40498
c Got one! Elapsed wall clock time (in seconds):73.075
o 40479
c Got one! Elapsed wall clock time (in seconds):73.72
o 40478
c Got one! Elapsed wall clock time (in seconds):74.235
o 40477
c Got one! Elapsed wall clock time (in seconds):74.812
o 40476
c Got one! Elapsed wall clock time (in seconds):75.492
o 40474
c Got one! Elapsed wall clock time (in seconds):76.063
o 40473
c Got one! Elapsed wall clock time (in seconds):76.979
o 40472
c Got one! Elapsed wall clock time (in seconds):77.584
o 40470
c Got one! Elapsed wall clock time (in seconds):78.33
o 40465
c Got one! Elapsed wall clock time (in seconds):79.119
o 40463
c Got one! Elapsed wall clock time (in seconds):79.936
o 40462
c Got one! Elapsed wall clock time (in seconds):80.706
o 40461
c Got one! Elapsed wall clock time (in seconds):81.34
o 40459
c Got one! Elapsed wall clock time (in seconds):82.189
o 40457
c Got one! Elapsed wall clock time (in seconds):82.811
o 40456
c Got one! Elapsed wall clock time (in seconds):83.796
o 40455
c Got one! Elapsed wall clock time (in seconds):84.551
o 40454
c Got one! Elapsed wall clock time (in seconds):85.146
o 40452
c Got one! Elapsed wall clock time (in seconds):86.084
o 40451
c Got one! Elapsed wall clock time (in seconds):86.626
o 40445
c Got one! Elapsed wall clock time (in seconds):87.415
o 40442
c Got one! Elapsed wall clock time (in seconds):88.101
o 40439
c Got one! Elapsed wall clock time (in seconds):88.895
o 40435
c Got one! Elapsed wall clock time (in seconds):89.583
o 40433
c Got one! Elapsed wall clock time (in seconds):90.332
o 40431
c Got one! Elapsed wall clock time (in seconds):90.938
o 40430
c Got one! Elapsed wall clock time (in seconds):91.747
o 40429
c Got one! Elapsed wall clock time (in seconds):92.424
o 40428
c Got one! Elapsed wall clock time (in seconds):93.246
o 40418
c Got one! Elapsed wall clock time (in seconds):93.879
o 40417
c Got one! Elapsed wall clock time (in seconds):94.534
o 40415
c Got one! Elapsed wall clock time (in seconds):95.129
o 40413
c Got one! Elapsed wall clock time (in seconds):95.857
o 40410
c Got one! Elapsed wall clock time (in seconds):96.681
o 40408
c Got one! Elapsed wall clock time (in seconds):97.62
o 40407
c Got one! Elapsed wall clock time (in seconds):98.999
o 40406
c Got one! Elapsed wall clock time (in seconds):100.107
o 40405
c Got one! Elapsed wall clock time (in seconds):101.221
o 40404
c Got one! Elapsed wall clock time (in seconds):102.084
o 40402
c Got one! Elapsed wall clock time (in seconds):102.986
o 40400
c Got one! Elapsed wall clock time (in seconds):103.902
o 40398
c Got one! Elapsed wall clock time (in seconds):104.855
o 40397
c Got one! Elapsed wall clock time (in seconds):105.735
o 40395
c Got one! Elapsed wall clock time (in seconds):106.471
o 40394
c Got one! Elapsed wall clock time (in seconds):107.095
o 40390
c Got one! Elapsed wall clock time (in seconds):107.962
o 40385
c Got one! Elapsed wall clock time (in seconds):108.714
o 40384
c Got one! Elapsed wall clock time (in seconds):109.425
o 40383
c Got one! Elapsed wall clock time (in seconds):110.085
o 40382
c Got one! Elapsed wall clock time (in seconds):110.914
o 40381
c Got one! Elapsed wall clock time (in seconds):111.74
o 40380
c Got one! Elapsed wall clock time (in seconds):112.426
o 40379
c Got one! Elapsed wall clock time (in seconds):113.215
o 40378
c Got one! Elapsed wall clock time (in seconds):115.445
o 40376
c Got one! Elapsed wall clock time (in seconds):116.628
o 40375
c Got one! Elapsed wall clock time (in seconds):117.528
o 40373
c Got one! Elapsed wall clock time (in seconds):118.528
o 40372
c Got one! Elapsed wall clock time (in seconds):119.613
o 40371
c Got one! Elapsed wall clock time (in seconds):120.529
o 40370
c Got one! Elapsed wall clock time (in seconds):121.41
o 40367
c Got one! Elapsed wall clock time (in seconds):122.554
o 40366
c Got one! Elapsed wall clock time (in seconds):123.472
o 40364
c Got one! Elapsed wall clock time (in seconds):124.193
o 40362
c Got one! Elapsed wall clock time (in seconds):124.902
o 40361
c Got one! Elapsed wall clock time (in seconds):125.739
o 40360
c Got one! Elapsed wall clock time (in seconds):126.664
o 40359
c Got one! Elapsed wall clock time (in seconds):127.55
o 40358
c Got one! Elapsed wall clock time (in seconds):128.394
o 40356
c Got one! Elapsed wall clock time (in seconds):129.481
o 40355
c Got one! Elapsed wall clock time (in seconds):130.286
o 40354
c Got one! Elapsed wall clock time (in seconds):131.39
o 40353
c Got one! Elapsed wall clock time (in seconds):132.316
o 40351
c Got one! Elapsed wall clock time (in seconds):133.689
o 40350
c Got one! Elapsed wall clock time (in seconds):134.525
o 40348
c Got one! Elapsed wall clock time (in seconds):135.367
o 40347
c Got one! Elapsed wall clock time (in seconds):136.34
o 40346
c Got one! Elapsed wall clock time (in seconds):137.354
o 40345
c Got one! Elapsed wall clock time (in seconds):138.403
o 40344
c Got one! Elapsed wall clock time (in seconds):139.521
o 40343
c Got one! Elapsed wall clock time (in seconds):140.6
o 40342
c Got one! Elapsed wall clock time (in seconds):141.575
o 40341
c Got one! Elapsed wall clock time (in seconds):142.736
o 40340
c Got one! Elapsed wall clock time (in seconds):143.818
o 40335
c Got one! Elapsed wall clock time (in seconds):144.545
o 40334
c Got one! Elapsed wall clock time (in seconds):145.565
o 40333
c Got one! Elapsed wall clock time (in seconds):146.265
o 40332
c Got one! Elapsed wall clock time (in seconds):147.277
o 40329
c Got one! Elapsed wall clock time (in seconds):148.243
o 40326
c Got one! Elapsed wall clock time (in seconds):149.246
o 40325
c Got one! Elapsed wall clock time (in seconds):150.633
o 40322
c Got one! Elapsed wall clock time (in seconds):151.92
o 40321
c Got one! Elapsed wall clock time (in seconds):153.432
o 40320
c Got one! Elapsed wall clock time (in seconds):154.634
o 40318
c Got one! Elapsed wall clock time (in seconds):155.528
o 40317
c Got one! Elapsed wall clock time (in seconds):156.825
o 40316
c Got one! Elapsed wall clock time (in seconds):158.198
o 40315
c Got one! Elapsed wall clock time (in seconds):159.496
o 40314
c Got one! Elapsed wall clock time (in seconds):160.637
o 40311
c Got one! Elapsed wall clock time (in seconds):162.034
o 40310
c Got one! Elapsed wall clock time (in seconds):163.143
o 40308
c Got one! Elapsed wall clock time (in seconds):164.479
o 40306
c Got one! Elapsed wall clock time (in seconds):165.859
o 40305
c Got one! Elapsed wall clock time (in seconds):167.235
o 40304
c Got one! Elapsed wall clock time (in seconds):168.788
o 40303
c Got one! Elapsed wall clock time (in seconds):169.904
o 40301
c Got one! Elapsed wall clock time (in seconds):170.983
o 40298
c Got one! Elapsed wall clock time (in seconds):171.875
o 40295
c Got one! Elapsed wall clock time (in seconds):173.276
o 40294
c Got one! Elapsed wall clock time (in seconds):174.615
o 40292
c Got one! Elapsed wall clock time (in seconds):175.803
o 40290
c Got one! Elapsed wall clock time (in seconds):177.412
o 40289
c Got one! Elapsed wall clock time (in seconds):178.444
o 40285
c Got one! Elapsed wall clock time (in seconds):179.718
o 40281
c Got one! Elapsed wall clock time (in seconds):180.85
o 40272
c Got one! Elapsed wall clock time (in seconds):182.168
o 40269
c Got one! Elapsed wall clock time (in seconds):183.614
o 40268
c Got one! Elapsed wall clock time (in seconds):184.909
o 40267
c Got one! Elapsed wall clock time (in seconds):186.039
o 40253
c Got one! Elapsed wall clock time (in seconds):187.268
o 40250
c Got one! Elapsed wall clock time (in seconds):188.747
o 40248
c Got one! Elapsed wall clock time (in seconds):190.034
o 40247
c Got one! Elapsed wall clock time (in seconds):191.017
o 40246
c Got one! Elapsed wall clock time (in seconds):192.383
o 40245
c Got one! Elapsed wall clock time (in seconds):193.789
o 40243
c Got one! Elapsed wall clock time (in seconds):195.205
o 40242
c Got one! Elapsed wall clock time (in seconds):196.803
o 40241
c Got one! Elapsed wall clock time (in seconds):197.982
o 40238
c Got one! Elapsed wall clock time (in seconds):199.042
o 40237
c Got one! Elapsed wall clock time (in seconds):201.803
o 40236
c Got one! Elapsed wall clock time (in seconds):203.034
o 40234
c Got one! Elapsed wall clock time (in seconds):204.09
o 40230
c Got one! Elapsed wall clock time (in seconds):205.502
o 40229
c Got one! Elapsed wall clock time (in seconds):206.629
o 40228
c Got one! Elapsed wall clock time (in seconds):208.018
o 40225
c Got one! Elapsed wall clock time (in seconds):209.391
o 40224
c Got one! Elapsed wall clock time (in seconds):211.459
o 40222
c Got one! Elapsed wall clock time (in seconds):212.632
o 40220
c Got one! Elapsed wall clock time (in seconds):213.575
o 40216
c Got one! Elapsed wall clock time (in seconds):214.601
o 40214
c Got one! Elapsed wall clock time (in seconds):215.902
o 40213
c Got one! Elapsed wall clock time (in seconds):217.205
o 40204
c Got one! Elapsed wall clock time (in seconds):218.687
o 40203
c Got one! Elapsed wall clock time (in seconds):219.735
o 40202
c Got one! Elapsed wall clock time (in seconds):220.872
o 40201
c Got one! Elapsed wall clock time (in seconds):222.117
o 40195
c Got one! Elapsed wall clock time (in seconds):223.247
o 40189
c Got one! Elapsed wall clock time (in seconds):224.301
o 40187
c Got one! Elapsed wall clock time (in seconds):225.174
o 40183
c Got one! Elapsed wall clock time (in seconds):225.948
o 40181
c Got one! Elapsed wall clock time (in seconds):227.335
o 40180
c Got one! Elapsed wall clock time (in seconds):228.367
o 40178
c Got one! Elapsed wall clock time (in seconds):229.365
o 40177
c Got one! Elapsed wall clock time (in seconds):230.377
o 40175
c Got one! Elapsed wall clock time (in seconds):231.307
o 40174
c Got one! Elapsed wall clock time (in seconds):232.432
o 40173
c Got one! Elapsed wall clock time (in seconds):233.607
o 40171
c Got one! Elapsed wall clock time (in seconds):235.052
o 40170
c Got one! Elapsed wall clock time (in seconds):236.492
o 40167
c Got one! Elapsed wall clock time (in seconds):237.453
o 40166
c Got one! Elapsed wall clock time (in seconds):238.815
o 40165
c Got one! Elapsed wall clock time (in seconds):240.267
o 40163
c Got one! Elapsed wall clock time (in seconds):241.324
o 40160
c Got one! Elapsed wall clock time (in seconds):242.412
o 40159
c Got one! Elapsed wall clock time (in seconds):243.295
o 40158
c Got one! Elapsed wall clock time (in seconds):244.056
o 40157
c Got one! Elapsed wall clock time (in seconds):245.56
o 40156
c Got one! Elapsed wall clock time (in seconds):246.883
o 40155
c Got one! Elapsed wall clock time (in seconds):248.246
o 40154
c Got one! Elapsed wall clock time (in seconds):249.48
o 40153
c Got one! Elapsed wall clock time (in seconds):250.488
o 40151
c Got one! Elapsed wall clock time (in seconds):252.143
o 40150
c Got one! Elapsed wall clock time (in seconds):253.279
o 40149
c Got one! Elapsed wall clock time (in seconds):254.536
o 40147
c Got one! Elapsed wall clock time (in seconds):255.539
o 40146
c Got one! Elapsed wall clock time (in seconds):256.912
o 40145
c Got one! Elapsed wall clock time (in seconds):258.088
o 40141
c Got one! Elapsed wall clock time (in seconds):259.373
o 40140
c Got one! Elapsed wall clock time (in seconds):260.593
o 40138
c Got one! Elapsed wall clock time (in seconds):262.081
o 40137
c Got one! Elapsed wall clock time (in seconds):263.347
o 40136
c Got one! Elapsed wall clock time (in seconds):264.457
o 40131
c Got one! Elapsed wall clock time (in seconds):265.33
o 40124
c Got one! Elapsed wall clock time (in seconds):266.557
o 40122
c Got one! Elapsed wall clock time (in seconds):267.752
o 40121
c Got one! Elapsed wall clock time (in seconds):268.934
o 40116
c Got one! Elapsed wall clock time (in seconds):270.658
o 40115
c Got one! Elapsed wall clock time (in seconds):271.952
o 40112
c Got one! Elapsed wall clock time (in seconds):273.356
o 40106
c Got one! Elapsed wall clock time (in seconds):275.576
o 40105
c Got one! Elapsed wall clock time (in seconds):277.227
o 40103
c Got one! Elapsed wall clock time (in seconds):278.823
o 40102
c Got one! Elapsed wall clock time (in seconds):280.221
o 40101
c Got one! Elapsed wall clock time (in seconds):281.566
o 40100
c Got one! Elapsed wall clock time (in seconds):283.33
o 40099
c Got one! Elapsed wall clock time (in seconds):284.927
o 40098
c Got one! Elapsed wall clock time (in seconds):286.813
o 40097
c Got one! Elapsed wall clock time (in seconds):288.495
o 40096
c Got one! Elapsed wall clock time (in seconds):290.003
o 40095
c Got one! Elapsed wall clock time (in seconds):291.387
o 40092
c Got one! Elapsed wall clock time (in seconds):292.98
o 40090
c Got one! Elapsed wall clock time (in seconds):295.035
o 40089
c Got one! Elapsed wall clock time (in seconds):296.744
o 40088
c Got one! Elapsed wall clock time (in seconds):298.438
o 40084
c Got one! Elapsed wall clock time (in seconds):299.805
o 40083
c Got one! Elapsed wall clock time (in seconds):301.102
o 40082
c Got one! Elapsed wall clock time (in seconds):302.829
o 40080
c Got one! Elapsed wall clock time (in seconds):304.138
o 40076
c Got one! Elapsed wall clock time (in seconds):305.661
o 40075
c Got one! Elapsed wall clock time (in seconds):307.304
o 40074
c Got one! Elapsed wall clock time (in seconds):308.892
o 40072
c Got one! Elapsed wall clock time (in seconds):310.38
o 40071
c Got one! Elapsed wall clock time (in seconds):312.317
o 40069
c Got one! Elapsed wall clock time (in seconds):314.316
o 40068
c Got one! Elapsed wall clock time (in seconds):316.053
o 40067
c Got one! Elapsed wall clock time (in seconds):318.05
o 40055
c Got one! Elapsed wall clock time (in seconds):319.748
o 40054
c Got one! Elapsed wall clock time (in seconds):321.246
o 40052
c Got one! Elapsed wall clock time (in seconds):322.469
o 40048
c Got one! Elapsed wall clock time (in seconds):323.955
o 40047
c Got one! Elapsed wall clock time (in seconds):325.32
o 40045
c Got one! Elapsed wall clock time (in seconds):326.697
o 40044
c Got one! Elapsed wall clock time (in seconds):328.484
o 40043
c Got one! Elapsed wall clock time (in seconds):330.468
o 40042
c Got one! Elapsed wall clock time (in seconds):331.791
o 40040
c Got one! Elapsed wall clock time (in seconds):333.611
o 40037
c Got one! Elapsed wall clock time (in seconds):335.256
o 40035
c Got one! Elapsed wall clock time (in seconds):337.151
o 40034
c Got one! Elapsed wall clock time (in seconds):339.557
o 40021
c Got one! Elapsed wall clock time (in seconds):341.139
o 40010
c Got one! Elapsed wall clock time (in seconds):344.083
o 40009
c Got one! Elapsed wall clock time (in seconds):345.802
o 40008
c Got one! Elapsed wall clock time (in seconds):347.777
o 40007
c Got one! Elapsed wall clock time (in seconds):349.706
o 40006
c Got one! Elapsed wall clock time (in seconds):351.387
o 40003
c Got one! Elapsed wall clock time (in seconds):353.094
o 39988
c Got one! Elapsed wall clock time (in seconds):354.834
o 39987
c Got one! Elapsed wall clock time (in seconds):357.042
o 39985
c Got one! Elapsed wall clock time (in seconds):358.649
o 39980
c Got one! Elapsed wall clock time (in seconds):360.019
o 39978
c Got one! Elapsed wall clock time (in seconds):362.202
o 39976
c Got one! Elapsed wall clock time (in seconds):363.972
o 39974
c Got one! Elapsed wall clock time (in seconds):365.707
o 39972
c Got one! Elapsed wall clock time (in seconds):367.229
o 39971
c Got one! Elapsed wall clock time (in seconds):368.522
o 39969
c Got one! Elapsed wall clock time (in seconds):369.673
o 39960
c Got one! Elapsed wall clock time (in seconds):371.316
o 39948
c Got one! Elapsed wall clock time (in seconds):372.893
o 39946
c Got one! Elapsed wall clock time (in seconds):375.661
o 39945
c Got one! Elapsed wall clock time (in seconds):377.666
o 39944
c Got one! Elapsed wall clock time (in seconds):379.329
o 39943
c Got one! Elapsed wall clock time (in seconds):380.964
o 39941
c Got one! Elapsed wall clock time (in seconds):382.645
o 39932
c Got one! Elapsed wall clock time (in seconds):384.303
o 39931
c Got one! Elapsed wall clock time (in seconds):386.012
o 39927
c Got one! Elapsed wall clock time (in seconds):388.349
o 39926
c Got one! Elapsed wall clock time (in seconds):390.224
o 39925
c Got one! Elapsed wall clock time (in seconds):392.329
o 39923
c Got one! Elapsed wall clock time (in seconds):394.312
o 39921
c Got one! Elapsed wall clock time (in seconds):396.112
o 39919
c Got one! Elapsed wall clock time (in seconds):398.55
o 39918
c Got one! Elapsed wall clock time (in seconds):400.536
o 39917
c Got one! Elapsed wall clock time (in seconds):402.437
o 39914
c Got one! Elapsed wall clock time (in seconds):404.208
o 39913
c Got one! Elapsed wall clock time (in seconds):405.775
o 39911
c Got one! Elapsed wall clock time (in seconds):407.601
o 39907
c Got one! Elapsed wall clock time (in seconds):409.478
o 39902
c Got one! Elapsed wall clock time (in seconds):411.669
o 39901
c Got one! Elapsed wall clock time (in seconds):413.525
o 39890
c Got one! Elapsed wall clock time (in seconds):415.831
o 39889
c Got one! Elapsed wall clock time (in seconds):417.891
o 39888
c Got one! Elapsed wall clock time (in seconds):420.431
o 39881
c Got one! Elapsed wall clock time (in seconds):422.095
o 39877
c Got one! Elapsed wall clock time (in seconds):424.295
o 39875
c Got one! Elapsed wall clock time (in seconds):425.715
o 39873
c Got one! Elapsed wall clock time (in seconds):427.529
o 39871
c Got one! Elapsed wall clock time (in seconds):429.443
o 39869
c Got one! Elapsed wall clock time (in seconds):430.917
o 39868
c Got one! Elapsed wall clock time (in seconds):432.747
o 39867
c Got one! Elapsed wall clock time (in seconds):434.066
o 39860
c Got one! Elapsed wall clock time (in seconds):435.992
o 39859
c Got one! Elapsed wall clock time (in seconds):437.766
o 39858
c Got one! Elapsed wall clock time (in seconds):439.188
o 39857
c Got one! Elapsed wall clock time (in seconds):440.689
o 39850
c Got one! Elapsed wall clock time (in seconds):442.698
o 39847
c Got one! Elapsed wall clock time (in seconds):444.167
o 39836
c Got one! Elapsed wall clock time (in seconds):445.796
o 39832
c Got one! Elapsed wall clock time (in seconds):447.823
o 39831
c Got one! Elapsed wall clock time (in seconds):449.934
o 39830
c Got one! Elapsed wall clock time (in seconds):451.49
o 39827
c Got one! Elapsed wall clock time (in seconds):453.483
o 39826
c Got one! Elapsed wall clock time (in seconds):454.842
o 39824
c Got one! Elapsed wall clock time (in seconds):457.476
o 39823
c Got one! Elapsed wall clock time (in seconds):459.445
o 39822
c Got one! Elapsed wall clock time (in seconds):460.828
o 39820
c Got one! Elapsed wall clock time (in seconds):462.447
o 39819
c Got one! Elapsed wall clock time (in seconds):464.106
o 39810
c Got one! Elapsed wall clock time (in seconds):465.761
o 39807
c Got one! Elapsed wall clock time (in seconds):467.603
o 39806
c Got one! Elapsed wall clock time (in seconds):469.516
o 39803
c Got one! Elapsed wall clock time (in seconds):470.499
o 39802
c Got one! Elapsed wall clock time (in seconds):471.922
o 39800
c Got one! Elapsed wall clock time (in seconds):474.038
o 39798
c Got one! Elapsed wall clock time (in seconds):475.643
o 39795
c Got one! Elapsed wall clock time (in seconds):477.25
o 39782
c Got one! Elapsed wall clock time (in seconds):479.221
o 39781
c Got one! Elapsed wall clock time (in seconds):480.852
o 39780
c Got one! Elapsed wall clock time (in seconds):482.749
o 39779
c Got one! Elapsed wall clock time (in seconds):485.284
o 39778
c Got one! Elapsed wall clock time (in seconds):487.124
o 39777
c Got one! Elapsed wall clock time (in seconds):490.071
o 39776
c Got one! Elapsed wall clock time (in seconds):492.4
o 39775
c Got one! Elapsed wall clock time (in seconds):494.074
o 39774
c Got one! Elapsed wall clock time (in seconds):496.393
o 39773
c Got one! Elapsed wall clock time (in seconds):498.27
o 39772
c Got one! Elapsed wall clock time (in seconds):500.235
o 39770
c Got one! Elapsed wall clock time (in seconds):501.976
o 39769
c Got one! Elapsed wall clock time (in seconds):503.96
o 39768
c Got one! Elapsed wall clock time (in seconds):505.871
o 39762
c Got one! Elapsed wall clock time (in seconds):507.947
o 39761
c Got one! Elapsed wall clock time (in seconds):510.16
o 39750
c Got one! Elapsed wall clock time (in seconds):512.66
o 39749
c Got one! Elapsed wall clock time (in seconds):514.093
o 39745
c Got one! Elapsed wall clock time (in seconds):516.013
o 39731
c Got one! Elapsed wall clock time (in seconds):519.644
o 39730
c Got one! Elapsed wall clock time (in seconds):522.111
o 39728
c Got one! Elapsed wall clock time (in seconds):524.297
o 39727
c Got one! Elapsed wall clock time (in seconds):526.458
o 39726
c Got one! Elapsed wall clock time (in seconds):528.268
o 39725
c Got one! Elapsed wall clock time (in seconds):530.235
o 39724
c Got one! Elapsed wall clock time (in seconds):531.973
o 39723
c Got one! Elapsed wall clock time (in seconds):533.498
o 39721
c Got one! Elapsed wall clock time (in seconds):535.655
o 39717
c Got one! Elapsed wall clock time (in seconds):537.296
o 39715
c Got one! Elapsed wall clock time (in seconds):539.088
o 39710
c Got one! Elapsed wall clock time (in seconds):540.981
o 39703
c Got one! Elapsed wall clock time (in seconds):543.416
o 39702
c Got one! Elapsed wall clock time (in seconds):544.996
o 39699
c Got one! Elapsed wall clock time (in seconds):546.687
o 39692
c Got one! Elapsed wall clock time (in seconds):549.738
o 39691
c Got one! Elapsed wall clock time (in seconds):551.855
o 39689
c Got one! Elapsed wall clock time (in seconds):554.337
o 39683
c Got one! Elapsed wall clock time (in seconds):556.182
o 39682
c Got one! Elapsed wall clock time (in seconds):557.518
o 39668
c Got one! Elapsed wall clock time (in seconds):559.674
o 39667
c Got one! Elapsed wall clock time (in seconds):561.316
o 39665
c Got one! Elapsed wall clock time (in seconds):562.989
o 39654
c Got one! Elapsed wall clock time (in seconds):566.961
o 39653
c Got one! Elapsed wall clock time (in seconds):569.093
o 39651
c Got one! Elapsed wall clock time (in seconds):571.176
o 39646
c Got one! Elapsed wall clock time (in seconds):572.979
o 39644
c Got one! Elapsed wall clock time (in seconds):574.681
o 39643
c Got one! Elapsed wall clock time (in seconds):576.234
o 39637
c Got one! Elapsed wall clock time (in seconds):580.06
o 39636
c Got one! Elapsed wall clock time (in seconds):583.179
o 39629
c Got one! Elapsed wall clock time (in seconds):585.405
o 39628
c Got one! Elapsed wall clock time (in seconds):587.345
o 39624
c Got one! Elapsed wall clock time (in seconds):589.714
o 39615
c Got one! Elapsed wall clock time (in seconds):591.697
o 39602
c Got one! Elapsed wall clock time (in seconds):593.816
o 39601
c Got one! Elapsed wall clock time (in seconds):595.936
o 39579
c Got one! Elapsed wall clock time (in seconds):598.37
o 39570
c Got one! Elapsed wall clock time (in seconds):599.931
o 39554
c Got one! Elapsed wall clock time (in seconds):602.103
o 39553
c Got one! Elapsed wall clock time (in seconds):604.367
o 39551
c Got one! Elapsed wall clock time (in seconds):605.786
o 39543
c Got one! Elapsed wall clock time (in seconds):607.933
o 39542
c Got one! Elapsed wall clock time (in seconds):610.595
o 39541
c Got one! Elapsed wall clock time (in seconds):612.448
o 39533
c Got one! Elapsed wall clock time (in seconds):614.304
o 39532
c Got one! Elapsed wall clock time (in seconds):616.82
o 39530
c Got one! Elapsed wall clock time (in seconds):618.872
o 39529
c Got one! Elapsed wall clock time (in seconds):620.881
o 39528
c Got one! Elapsed wall clock time (in seconds):622.697
o 39525
c Got one! Elapsed wall clock time (in seconds):624.876
o 39522
c Got one! Elapsed wall clock time (in seconds):627.972
o 39514
c Got one! Elapsed wall clock time (in seconds):629.782
o 39512
c Got one! Elapsed wall clock time (in seconds):632.192
o 39511
c Got one! Elapsed wall clock time (in seconds):633.992
o 39510
c Got one! Elapsed wall clock time (in seconds):635.755
o 39506
c Got one! Elapsed wall clock time (in seconds):637.737
o 39504
c Got one! Elapsed wall clock time (in seconds):639.454
o 39488
c Got one! Elapsed wall clock time (in seconds):641.77
o 39487
c Got one! Elapsed wall clock time (in seconds):643.601
o 39483
c Got one! Elapsed wall clock time (in seconds):647.09
o 39482
c Got one! Elapsed wall clock time (in seconds):649.44
o 39481
c Got one! Elapsed wall clock time (in seconds):651.987
o 39476
c Got one! Elapsed wall clock time (in seconds):654.358
o 39457
c Got one! Elapsed wall clock time (in seconds):656.818
o 39456
c Got one! Elapsed wall clock time (in seconds):658.951
o 39455
c Got one! Elapsed wall clock time (in seconds):660.989
o 39452
c Got one! Elapsed wall clock time (in seconds):662.827
o 39449
c Got one! Elapsed wall clock time (in seconds):664.975
o 39444
c Got one! Elapsed wall clock time (in seconds):668.982
o 39443
c Got one! Elapsed wall clock time (in seconds):671.871
o 39440
c Got one! Elapsed wall clock time (in seconds):674.48
o 39439
c Got one! Elapsed wall clock time (in seconds):676.379
o 39438
c Got one! Elapsed wall clock time (in seconds):678.726
o 39436
c Got one! Elapsed wall clock time (in seconds):680.592
o 39424
c Got one! Elapsed wall clock time (in seconds):682.271
o 39415
c Got one! Elapsed wall clock time (in seconds):683.837
o 39413
c Got one! Elapsed wall clock time (in seconds):685.839
o 39412
c Got one! Elapsed wall clock time (in seconds):687.499
o 39387
c Got one! Elapsed wall clock time (in seconds):690.787
o 39386
c Got one! Elapsed wall clock time (in seconds):694.134
o 39377
c Got one! Elapsed wall clock time (in seconds):697.081
o 39370
c Got one! Elapsed wall clock time (in seconds):699.386
o 39357
c Got one! Elapsed wall clock time (in seconds):701.166
o 39352
c Got one! Elapsed wall clock time (in seconds):703.066
o 39351
c Got one! Elapsed wall clock time (in seconds):705.135
o 39350
c Got one! Elapsed wall clock time (in seconds):707.276
o 39344
c Got one! Elapsed wall clock time (in seconds):710.569
o 39341
c Got one! Elapsed wall clock time (in seconds):711.999
o 39337
c Got one! Elapsed wall clock time (in seconds):714.328
o 39336
c Got one! Elapsed wall clock time (in seconds):717.381
o 39334
c Got one! Elapsed wall clock time (in seconds):720.457
o 39333
c Got one! Elapsed wall clock time (in seconds):723.236
o 39330
c Got one! Elapsed wall clock time (in seconds):726.477
o 39328
c Got one! Elapsed wall clock time (in seconds):728.334
o 39326
c Got one! Elapsed wall clock time (in seconds):730.497
o 39320
c Got one! Elapsed wall clock time (in seconds):733.015
o 39317
c Got one! Elapsed wall clock time (in seconds):735.576
o 39307
c Got one! Elapsed wall clock time (in seconds):738.01
o 39302
c Got one! Elapsed wall clock time (in seconds):740.438
o 39300
c Got one! Elapsed wall clock time (in seconds):742.487
o 39296
c Got one! Elapsed wall clock time (in seconds):744.548
o 39293
c Got one! Elapsed wall clock time (in seconds):747.718
o 39289
c Got one! Elapsed wall clock time (in seconds):749.777
o 39283
c Got one! Elapsed wall clock time (in seconds):752.05
o 39280
c Got one! Elapsed wall clock time (in seconds):753.973
o 39277
c Got one! Elapsed wall clock time (in seconds):756.077
o 39272
c Got one! Elapsed wall clock time (in seconds):759.113
o 39263
c Got one! Elapsed wall clock time (in seconds):761.667
o 39262
c Got one! Elapsed wall clock time (in seconds):763.369
o 39261
c Got one! Elapsed wall clock time (in seconds):765.782
o 39260
c Got one! Elapsed wall clock time (in seconds):767.518
o 39246
c Got one! Elapsed wall clock time (in seconds):770.039
o 39235
c Got one! Elapsed wall clock time (in seconds):772.179
o 39224
c Got one! Elapsed wall clock time (in seconds):774.553
o 39216
c Got one! Elapsed wall clock time (in seconds):777.262
o 39215
c Got one! Elapsed wall clock time (in seconds):779.402
o 39213
c Got one! Elapsed wall clock time (in seconds):781.529
o 39212
c Got one! Elapsed wall clock time (in seconds):784.67
o 39211
c Got one! Elapsed wall clock time (in seconds):788.075
o 39210
c Got one! Elapsed wall clock time (in seconds):790.451
o 39208
c Got one! Elapsed wall clock time (in seconds):793.184
o 39207
c Got one! Elapsed wall clock time (in seconds):797.147
o 39206
c Got one! Elapsed wall clock time (in seconds):800.37
o 39205
c Got one! Elapsed wall clock time (in seconds):802.92
o 39202
c Got one! Elapsed wall clock time (in seconds):805.405
o 39200
c Got one! Elapsed wall clock time (in seconds):807.835
o 39199
c Got one! Elapsed wall clock time (in seconds):810.252
o 39197
c Got one! Elapsed wall clock time (in seconds):813.278
o 39196
c Got one! Elapsed wall clock time (in seconds):816.686
o 39188
c Got one! Elapsed wall clock time (in seconds):819.49
o 39161
c Got one! Elapsed wall clock time (in seconds):821.556
o 39158
c Got one! Elapsed wall clock time (in seconds):823.627
o 39155
c Got one! Elapsed wall clock time (in seconds):825.965
o 39154
c Got one! Elapsed wall clock time (in seconds):828.347
o 39153
c Got one! Elapsed wall clock time (in seconds):830.863
o 39152
c Got one! Elapsed wall clock time (in seconds):832.695
o 39144
c Got one! Elapsed wall clock time (in seconds):834.616
o 39143
c Got one! Elapsed wall clock time (in seconds):837.549
o 39142
c Got one! Elapsed wall clock time (in seconds):839.712
o 39140
c Got one! Elapsed wall clock time (in seconds):842.448
o 39139
c Got one! Elapsed wall clock time (in seconds):846.223
o 39132
c Got one! Elapsed wall clock time (in seconds):849.709
o 39131
c Got one! Elapsed wall clock time (in seconds):851.652
o 39128
c Got one! Elapsed wall clock time (in seconds):855.037
o 39127
c Got one! Elapsed wall clock time (in seconds):857.142
o 39125
c Got one! Elapsed wall clock time (in seconds):859.221
o 39124
c Got one! Elapsed wall clock time (in seconds):861.906
o 39118
c Got one! Elapsed wall clock time (in seconds):864.73
o 39117
c Got one! Elapsed wall clock time (in seconds):866.894
o 39115
c Got one! Elapsed wall clock time (in seconds):869.601
o 39114
c Got one! Elapsed wall clock time (in seconds):871.758
o 39113
c Got one! Elapsed wall clock time (in seconds):873.939
o 39110
c Got one! Elapsed wall clock time (in seconds):876.414
o 39109
c Got one! Elapsed wall clock time (in seconds):878.513
o 39082
c Got one! Elapsed wall clock time (in seconds):880.637
o 39073
c Got one! Elapsed wall clock time (in seconds):883.498
o 39072
c Got one! Elapsed wall clock time (in seconds):885.009
o 39070
c Got one! Elapsed wall clock time (in seconds):887.523
o 39069
c Got one! Elapsed wall clock time (in seconds):890.937
o 39067
c Got one! Elapsed wall clock time (in seconds):894.233
o 39065
c Got one! Elapsed wall clock time (in seconds):896.588
o 39063
c Got one! Elapsed wall clock time (in seconds):898.522
o 39056
c Got one! Elapsed wall clock time (in seconds):900.525
o 39055
c Got one! Elapsed wall clock time (in seconds):902.784
o 39048
c Got one! Elapsed wall clock time (in seconds):904.808
o 39045
c Got one! Elapsed wall clock time (in seconds):906.959
o 39044
c Got one! Elapsed wall clock time (in seconds):910.102
o 39043
c Got one! Elapsed wall clock time (in seconds):912.032
o 39041
c Got one! Elapsed wall clock time (in seconds):914.97
o 39030
c Got one! Elapsed wall clock time (in seconds):918.37
o 39026
c Got one! Elapsed wall clock time (in seconds):920.939
o 39025
c Got one! Elapsed wall clock time (in seconds):923.277
o 39023
c Got one! Elapsed wall clock time (in seconds):927.405
o 39021
c Got one! Elapsed wall clock time (in seconds):930.445
o 39018
c Got one! Elapsed wall clock time (in seconds):933.164
o 39017
c Got one! Elapsed wall clock time (in seconds):936.099
o 39016
c Got one! Elapsed wall clock time (in seconds):938.215
o 39007
c Got one! Elapsed wall clock time (in seconds):941.026
o 39006
c Got one! Elapsed wall clock time (in seconds):943.098
o 39002
c Got one! Elapsed wall clock time (in seconds):945.339
o 39001
c Got one! Elapsed wall clock time (in seconds):947.75
o 38976
c Got one! Elapsed wall clock time (in seconds):950.585
o 38974
c Got one! Elapsed wall clock time (in seconds):952.839
o 38967
c Got one! Elapsed wall clock time (in seconds):959.672
o 38964
c Got one! Elapsed wall clock time (in seconds):963.463
o 38962
c Got one! Elapsed wall clock time (in seconds):965.815
o 38946
c Got one! Elapsed wall clock time (in seconds):968.433
o 38933
c Got one! Elapsed wall clock time (in seconds):970.495
o 38932
c Got one! Elapsed wall clock time (in seconds):975.429
o 38931
c Got one! Elapsed wall clock time (in seconds):978.288
o 38927
c Got one! Elapsed wall clock time (in seconds):980.776
o 38924
c Got one! Elapsed wall clock time (in seconds):983.057
o 38908
c Got one! Elapsed wall clock time (in seconds):986.032
o 38904
c Got one! Elapsed wall clock time (in seconds):988.121
o 38901
c Got one! Elapsed wall clock time (in seconds):990.202
o 38878
c Got one! Elapsed wall clock time (in seconds):993.828
o 38877
c Got one! Elapsed wall clock time (in seconds):996.078
o 38869
c Got one! Elapsed wall clock time (in seconds):998.703
o 38868
c Got one! Elapsed wall clock time (in seconds):1001.451
o 38862
c Got one! Elapsed wall clock time (in seconds):1005.037
o 38861
c Got one! Elapsed wall clock time (in seconds):1009.292
o 38855
c Got one! Elapsed wall clock time (in seconds):1012.416
o 38854
c Got one! Elapsed wall clock time (in seconds):1014.517
o 38848
c Got one! Elapsed wall clock time (in seconds):1019.543
o 38847
c Got one! Elapsed wall clock time (in seconds):1026.194
o 38846
c Got one! Elapsed wall clock time (in seconds):1029.951
o 38845
c Got one! Elapsed wall clock time (in seconds):1033.513
o 38844
c Got one! Elapsed wall clock time (in seconds):1036.632
o 38840
c Got one! Elapsed wall clock time (in seconds):1040.229
o 38836
c Got one! Elapsed wall clock time (in seconds):1043.041
o 38835
c Got one! Elapsed wall clock time (in seconds):1046.164
o 38832
c Got one! Elapsed wall clock time (in seconds):1048.426
o 38828
c Got one! Elapsed wall clock time (in seconds):1051.296
o 38825
c Got one! Elapsed wall clock time (in seconds):1053.35
o 38817
c Got one! Elapsed wall clock time (in seconds):1056.644
o 38816
c Got one! Elapsed wall clock time (in seconds):1062.255
o 38815
c Got one! Elapsed wall clock time (in seconds):1067.51
o 38814
c Got one! Elapsed wall clock time (in seconds):1070.826
o 38806
c Got one! Elapsed wall clock time (in seconds):1074.744
o 38804
c Got one! Elapsed wall clock time (in seconds):1077.932
o 38796
c Got one! Elapsed wall clock time (in seconds):1080.935
o 38792
c Got one! Elapsed wall clock time (in seconds):1084.632
o 38762
c Got one! Elapsed wall clock time (in seconds):1087.05
o 38745
c Got one! Elapsed wall clock time (in seconds):1089.06
o 38744
c Got one! Elapsed wall clock time (in seconds):1091.257
o 38727
c Got one! Elapsed wall clock time (in seconds):1094.623
o 38726
c Got one! Elapsed wall clock time (in seconds):1096.733
o 38725
c Got one! Elapsed wall clock time (in seconds):1099.425
o 38723
c Got one! Elapsed wall clock time (in seconds):1102.496
o 38722
c Got one! Elapsed wall clock time (in seconds):1105.484
o 38713
c Got one! Elapsed wall clock time (in seconds):1110.727
o 38710
c Got one! Elapsed wall clock time (in seconds):1114.771
o 38709
c Got one! Elapsed wall clock time (in seconds):1117.169
o 38674
c Got one! Elapsed wall clock time (in seconds):1119.882
o 38640
c Got one! Elapsed wall clock time (in seconds):1122.065
o 38629
c Got one! Elapsed wall clock time (in seconds):1124.685
o 38626
c Got one! Elapsed wall clock time (in seconds):1128.328
o 38624
c Got one! Elapsed wall clock time (in seconds):1132.502
o 38622
c Got one! Elapsed wall clock time (in seconds):1134.536
o 38621
c Got one! Elapsed wall clock time (in seconds):1136.828
o 38595
c Got one! Elapsed wall clock time (in seconds):1140.544
o 38594
c Got one! Elapsed wall clock time (in seconds):1143.669
o 38584
c Got one! Elapsed wall clock time (in seconds):1147.063
o 38569
c Got one! Elapsed wall clock time (in seconds):1149.908
o 38567
c Got one! Elapsed wall clock time (in seconds):1152.845
o 38559
c Got one! Elapsed wall clock time (in seconds):1156.461
o 38556
c Got one! Elapsed wall clock time (in seconds):1158.974
o 38546
c Got one! Elapsed wall clock time (in seconds):1161.415
o 38545
c Got one! Elapsed wall clock time (in seconds):1164.011
o 38525
c Got one! Elapsed wall clock time (in seconds):1168.0
o 38520
c Got one! Elapsed wall clock time (in seconds):1170.466
o 38519
c Got one! Elapsed wall clock time (in seconds):1173.495
o 38515
c Got one! Elapsed wall clock time (in seconds):1176.061
o 38513
c Got one! Elapsed wall clock time (in seconds):1179.277
o 38511
c Got one! Elapsed wall clock time (in seconds):1182.622
o 38510
c Got one! Elapsed wall clock time (in seconds):1184.948
o 38492
c Got one! Elapsed wall clock time (in seconds):1187.478
o 38488
c Got one! Elapsed wall clock time (in seconds):1194.233
o 38487
c Got one! Elapsed wall clock time (in seconds):1197.94
o 38486
c Got one! Elapsed wall clock time (in seconds):1201.131
o 38481
c Got one! Elapsed wall clock time (in seconds):1204.06
o 38480
c Got one! Elapsed wall clock time (in seconds):1206.577
o 38477
c Got one! Elapsed wall clock time (in seconds):1209.106
o 38451
c Got one! Elapsed wall clock time (in seconds):1211.443
o 38405
c Got one! Elapsed wall clock time (in seconds):1215.478
o 38403
c Got one! Elapsed wall clock time (in seconds):1217.773
o 38400
c Got one! Elapsed wall clock time (in seconds):1220.471
o 38399
c Got one! Elapsed wall clock time (in seconds):1222.972
o 38378
c Got one! Elapsed wall clock time (in seconds):1226.621
o 38374
c Got one! Elapsed wall clock time (in seconds):1228.401
o 38373
c Got one! Elapsed wall clock time (in seconds):1233.437
o 38371
c Got one! Elapsed wall clock time (in seconds):1237.125
o 38370
c Got one! Elapsed wall clock time (in seconds):1241.868
o 38366
c Got one! Elapsed wall clock time (in seconds):1244.932
o 38363
c Got one! Elapsed wall clock time (in seconds):1247.236
o 38357
c Got one! Elapsed wall clock time (in seconds):1249.936
o 38354
c Got one! Elapsed wall clock time (in seconds):1253.61
o 38353
c Got one! Elapsed wall clock time (in seconds):1256.152
o 38351
c Got one! Elapsed wall clock time (in seconds):1257.913
o 38336
c Got one! Elapsed wall clock time (in seconds):1260.14
o 38324
c Got one! Elapsed wall clock time (in seconds):1262.482
o 38317
c Got one! Elapsed wall clock time (in seconds):1264.794
o 38312
c Got one! Elapsed wall clock time (in seconds):1267.585
o 38311
c Got one! Elapsed wall clock time (in seconds):1270.653
o 38310
c Got one! Elapsed wall clock time (in seconds):1273.237
o 38305
c Got one! Elapsed wall clock time (in seconds):1276.439
o 38303
c cleaning 173496 clauses out of 347000
c Got one! Elapsed wall clock time (in seconds):1285.981
o 38301
c Got one! Elapsed wall clock time (in seconds):1287.848
o 38295
c Got one! Elapsed wall clock time (in seconds):1290.072
o 38293
c Got one! Elapsed wall clock time (in seconds):1291.522
o 38274
c Got one! Elapsed wall clock time (in seconds):1293.947
o 38270
c Got one! Elapsed wall clock time (in seconds):1297.618
o 38269
c Got one! Elapsed wall clock time (in seconds):1298.98
o 38268
c Got one! Elapsed wall clock time (in seconds):1300.371
o 38253
c Got one! Elapsed wall clock time (in seconds):1301.533
o 38252
c Got one! Elapsed wall clock time (in seconds):1304.153
o 38246
c Got one! Elapsed wall clock time (in seconds):1305.988
o 38229
c Got one! Elapsed wall clock time (in seconds):1307.58
o 38212
c Got one! Elapsed wall clock time (in seconds):1310.818
o 38208
c Got one! Elapsed wall clock time (in seconds):1312.511
o 38181
c Got one! Elapsed wall clock time (in seconds):1315.333
o 38180
c Got one! Elapsed wall clock time (in seconds):1316.886
o 38176
c Got one! Elapsed wall clock time (in seconds):1318.415
o 38167
c Got one! Elapsed wall clock time (in seconds):1320.735
o 38163
c Got one! Elapsed wall clock time (in seconds):1322.622
o 38161
c Got one! Elapsed wall clock time (in seconds):1324.165
o 38160
c Got one! Elapsed wall clock time (in seconds):1326.355
o 38152
c Got one! Elapsed wall clock time (in seconds):1327.474
o 38147
c Got one! Elapsed wall clock time (in seconds):1328.984
o 38138
c Got one! Elapsed wall clock time (in seconds):1330.591
o 38120
c Got one! Elapsed wall clock time (in seconds):1334.632
o 38117
c Got one! Elapsed wall clock time (in seconds):1337.109
o 38114
c Got one! Elapsed wall clock time (in seconds):1340.699
o 38111
c Got one! Elapsed wall clock time (in seconds):1343.491
o 38109
c Got one! Elapsed wall clock time (in seconds):1345.751
o 38091
c Got one! Elapsed wall clock time (in seconds):1347.749
o 38085
c Got one! Elapsed wall clock time (in seconds):1349.788
o 38084
c Got one! Elapsed wall clock time (in seconds):1351.786
o 38083
c Got one! Elapsed wall clock time (in seconds):1353.155
o 38079
c Got one! Elapsed wall clock time (in seconds):1355.091
o 38068
c Got one! Elapsed wall clock time (in seconds):1357.362
o 38067
c Got one! Elapsed wall clock time (in seconds):1359.313
o 38052
c Got one! Elapsed wall clock time (in seconds):1361.677
o 38051
c Got one! Elapsed wall clock time (in seconds):1363.673
o 38050
c Got one! Elapsed wall clock time (in seconds):1365.253
o 38028
c Got one! Elapsed wall clock time (in seconds):1367.622
o 38027
c Got one! Elapsed wall clock time (in seconds):1368.935
o 38021
c Got one! Elapsed wall clock time (in seconds):1371.368
o 38019
c Got one! Elapsed wall clock time (in seconds):1373.943
o 38018
c Got one! Elapsed wall clock time (in seconds):1375.193
o 38016
c Got one! Elapsed wall clock time (in seconds):1377.575
o 38009
c Got one! Elapsed wall clock time (in seconds):1379.496
o 38008
c Got one! Elapsed wall clock time (in seconds):1381.544
o 37990
c Got one! Elapsed wall clock time (in seconds):1385.761
o 37987
c Got one! Elapsed wall clock time (in seconds):1387.356
o 37966
c Got one! Elapsed wall clock time (in seconds):1390.342
o 37965
c Got one! Elapsed wall clock time (in seconds):1391.974
o 37955
c Got one! Elapsed wall clock time (in seconds):1394.999
o 37954
c Got one! Elapsed wall clock time (in seconds):1397.257
o 37952
c Got one! Elapsed wall clock time (in seconds):1399.063
o 37951
c Got one! Elapsed wall clock time (in seconds):1400.876
o 37944
c Got one! Elapsed wall clock time (in seconds):1402.799
o 37943
c Got one! Elapsed wall clock time (in seconds):1404.571
o 37916
c Got one! Elapsed wall clock time (in seconds):1406.96
o 37889
c Got one! Elapsed wall clock time (in seconds):1410.068
o 37861
c Got one! Elapsed wall clock time (in seconds):1411.765
o 37860
c Got one! Elapsed wall clock time (in seconds):1415.936
o 37859
c Got one! Elapsed wall clock time (in seconds):1418.843
o 37856
c Got one! Elapsed wall clock time (in seconds):1421.704
o 37855
c Got one! Elapsed wall clock time (in seconds):1423.493
o 37849
c Got one! Elapsed wall clock time (in seconds):1425.059
o 37815
c Got one! Elapsed wall clock time (in seconds):1426.615
o 37806
c Got one! Elapsed wall clock time (in seconds):1428.6
o 37804
c Got one! Elapsed wall clock time (in seconds):1430.385
o 37796
c Got one! Elapsed wall clock time (in seconds):1431.729
o 37789
c Got one! Elapsed wall clock time (in seconds):1433.109
o 37782
c Got one! Elapsed wall clock time (in seconds):1435.187
o 37781
c Got one! Elapsed wall clock time (in seconds):1436.637
o 37773
c Got one! Elapsed wall clock time (in seconds):1438.907
o 37772
c Got one! Elapsed wall clock time (in seconds):1441.101
o 37742
c Got one! Elapsed wall clock time (in seconds):1444.325
o 37730
c Got one! Elapsed wall clock time (in seconds):1446.517
o 37729
c Got one! Elapsed wall clock time (in seconds):1449.005
o 37715
c Got one! Elapsed wall clock time (in seconds):1456.019
o 37714
c Got one! Elapsed wall clock time (in seconds):1460.193
o 37713
c Got one! Elapsed wall clock time (in seconds):1463.877
o 37712
c Got one! Elapsed wall clock time (in seconds):1466.577
o 37710
c Got one! Elapsed wall clock time (in seconds):1469.24
o 37708
c Got one! Elapsed wall clock time (in seconds):1471.821
o 37701
c Got one! Elapsed wall clock time (in seconds):1474.216
o 37682
c Got one! Elapsed wall clock time (in seconds):1476.851
o 37681
c Got one! Elapsed wall clock time (in seconds):1479.114
o 37676
c Got one! Elapsed wall clock time (in seconds):1481.584
o 37668
c Got one! Elapsed wall clock time (in seconds):1484.534
o 37667
c Got one! Elapsed wall clock time (in seconds):1487.022
o 37666
c Got one! Elapsed wall clock time (in seconds):1489.262
o 37661
c Got one! Elapsed wall clock time (in seconds):1490.885
o 37657
c Got one! Elapsed wall clock time (in seconds):1493.911
o 37646
c Got one! Elapsed wall clock time (in seconds):1497.151
o 37645
c Got one! Elapsed wall clock time (in seconds):1499.121
o 37638
c Got one! Elapsed wall clock time (in seconds):1500.706
o 37632
c Got one! Elapsed wall clock time (in seconds):1502.278
o 37625
c Got one! Elapsed wall clock time (in seconds):1504.024
o 37609
c Got one! Elapsed wall clock time (in seconds):1506.935
o 37602
c Got one! Elapsed wall clock time (in seconds):1509.699
o 37598
c Got one! Elapsed wall clock time (in seconds):1512.73
o 37597
c Got one! Elapsed wall clock time (in seconds):1514.201
o 37590
c Got one! Elapsed wall clock time (in seconds):1516.924
o 37589
c Got one! Elapsed wall clock time (in seconds):1518.441
o 37567
c Got one! Elapsed wall clock time (in seconds):1521.117
o 37563
c Got one! Elapsed wall clock time (in seconds):1525.183
o 37558
c Got one! Elapsed wall clock time (in seconds):1527.354
o 37538
c Got one! Elapsed wall clock time (in seconds):1532.457
o 37526
c Got one! Elapsed wall clock time (in seconds):1535.379
o 37511
c Got one! Elapsed wall clock time (in seconds):1537.279
o 37475
c Got one! Elapsed wall clock time (in seconds):1540.631
o 37474
c Got one! Elapsed wall clock time (in seconds):1542.168
o 37451
c Got one! Elapsed wall clock time (in seconds):1545.042
o 37450
c Got one! Elapsed wall clock time (in seconds):1546.915
o 37449
c Got one! Elapsed wall clock time (in seconds):1548.749
o 37434
c Got one! Elapsed wall clock time (in seconds):1550.98
o 37391
c Got one! Elapsed wall clock time (in seconds):1553.468
o 37380
c Got one! Elapsed wall clock time (in seconds):1555.824
o 37378
c Got one! Elapsed wall clock time (in seconds):1557.699
o 37328
c Got one! Elapsed wall clock time (in seconds):1564.234
o 37327
c Got one! Elapsed wall clock time (in seconds):1566.659
o 37325
c Got one! Elapsed wall clock time (in seconds):1568.505
o 37319
c Got one! Elapsed wall clock time (in seconds):1570.698
o 37318
c Got one! Elapsed wall clock time (in seconds):1573.281
o 37316
c Got one! Elapsed wall clock time (in seconds):1575.913
o 37315
c Got one! Elapsed wall clock time (in seconds):1578.055
o 37310
c Got one! Elapsed wall clock time (in seconds):1580.504
o 37307
c Got one! Elapsed wall clock time (in seconds):1582.924
o 37306
c Got one! Elapsed wall clock time (in seconds):1585.166
o 37300
c Got one! Elapsed wall clock time (in seconds):1589.145
o 37299
c Got one! Elapsed wall clock time (in seconds):1591.154
o 37298
c Got one! Elapsed wall clock time (in seconds):1593.475
o 37292
c Got one! Elapsed wall clock time (in seconds):1596.613
o 37277
c Got one! Elapsed wall clock time (in seconds):1599.172
o 37264
c Got one! Elapsed wall clock time (in seconds):1601.75
o 37260
c Got one! Elapsed wall clock time (in seconds):1604.599
o 37237
c Got one! Elapsed wall clock time (in seconds):1606.836
o 37231
c Got one! Elapsed wall clock time (in seconds):1609.075
o 37225
c Got one! Elapsed wall clock time (in seconds):1610.543
o 37220
c Got one! Elapsed wall clock time (in seconds):1616.557
o 37219
c Got one! Elapsed wall clock time (in seconds):1619.295
o 37216
c Got one! Elapsed wall clock time (in seconds):1621.522
o 37213
c Got one! Elapsed wall clock time (in seconds):1623.879
o 37196
c Got one! Elapsed wall clock time (in seconds):1626.621
o 37188
c Got one! Elapsed wall clock time (in seconds):1628.865
o 37185
c Got one! Elapsed wall clock time (in seconds):1630.89
o 37184
c Got one! Elapsed wall clock time (in seconds):1633.006
o 37175
c Got one! Elapsed wall clock time (in seconds):1636.057
o 37174
c Got one! Elapsed wall clock time (in seconds):1638.16
o 37173
c Got one! Elapsed wall clock time (in seconds):1639.702
o 37160
c Got one! Elapsed wall clock time (in seconds):1641.656
o 37158
c Got one! Elapsed wall clock time (in seconds):1644.073
o 37145
c Got one! Elapsed wall clock time (in seconds):1647.761
o 37144
c Got one! Elapsed wall clock time (in seconds):1649.269
o 37143
c Got one! Elapsed wall clock time (in seconds):1652.081
o 37140
c Got one! Elapsed wall clock time (in seconds):1658.387
o 37139
c Got one! Elapsed wall clock time (in seconds):1660.76
o 37126
c Got one! Elapsed wall clock time (in seconds):1662.911
o 37120
c Got one! Elapsed wall clock time (in seconds):1665.467
o 37116
c Got one! Elapsed wall clock time (in seconds):1667.707
o 37115
c Got one! Elapsed wall clock time (in seconds):1669.372
o 37114
c Got one! Elapsed wall clock time (in seconds):1672.031
o 37113
c Got one! Elapsed wall clock time (in seconds):1673.84
o 37095
c Got one! Elapsed wall clock time (in seconds):1677.23
o 37086
c Got one! Elapsed wall clock time (in seconds):1679.381
o 37055
c Got one! Elapsed wall clock time (in seconds):1682.129
o 37054
c Got one! Elapsed wall clock time (in seconds):1684.239
o 37038
c Got one! Elapsed wall clock time (in seconds):1689.259
o 37020
c Got one! Elapsed wall clock time (in seconds):1691.407
o 37016
c Got one! Elapsed wall clock time (in seconds):1693.099
o 36996
c Got one! Elapsed wall clock time (in seconds):1695.384
o 36995
c Got one! Elapsed wall clock time (in seconds):1697.42
o 36991
c Got one! Elapsed wall clock time (in seconds):1698.852
o 36970
c Got one! Elapsed wall clock time (in seconds):1702.999
o 36968
c Got one! Elapsed wall clock time (in seconds):1704.748
o 36963
c Got one! Elapsed wall clock time (in seconds):1706.622
o 36908
c Got one! Elapsed wall clock time (in seconds):1708.67
o 36892
c Got one! Elapsed wall clock time (in seconds):1711.222
o 36887
c Got one! Elapsed wall clock time (in seconds):1713.805
o 36883
c Got one! Elapsed wall clock time (in seconds):1718.016
o 36869
c Got one! Elapsed wall clock time (in seconds):1720.422
o 36868
c Got one! Elapsed wall clock time (in seconds):1722.281
o 36862
c Got one! Elapsed wall clock time (in seconds):1724.618
o 36858
c Got one! Elapsed wall clock time (in seconds):1728.622
o 36852
c Got one! Elapsed wall clock time (in seconds):1731.122
o 36831
c Got one! Elapsed wall clock time (in seconds):1733.709
o 36829
c Got one! Elapsed wall clock time (in seconds):1735.63
o 36822
c Got one! Elapsed wall clock time (in seconds):1741.403
o 36821
c Got one! Elapsed wall clock time (in seconds):1746.812
o 36820
c Got one! Elapsed wall clock time (in seconds):1749.685
o 36816
c Got one! Elapsed wall clock time (in seconds):1754.222
o 36815
c Got one! Elapsed wall clock time (in seconds):1757.453
o 36808
c Got one! Elapsed wall clock time (in seconds):1759.775
o 36804
c Got one! Elapsed wall clock time (in seconds):1762.197
o 36797
c Got one! Elapsed wall clock time (in seconds):1765.181
o 36796
c Got one! Elapsed wall clock time (in seconds):1767.089
o 36778
c Got one! Elapsed wall clock time (in seconds):1769.094
o 36769
c Got one! Elapsed wall clock time (in seconds):1770.879
o 36766
c Got one! Elapsed wall clock time (in seconds):1774.041
o 36765
c Got one! Elapsed wall clock time (in seconds):1776.246
o 36750
c Got one! Elapsed wall clock time (in seconds):1778.925
o 36746
c Got one! Elapsed wall clock time (in seconds):1781.319
o 36738
c Got one! Elapsed wall clock time (in seconds):1784.94
o 36735
c Got one! Elapsed wall clock time (in seconds):1787.33
o 36734
c Got one! Elapsed wall clock time (in seconds):1789.85
o 36731
c Got one! Elapsed wall clock time (in seconds):1791.788
o 36720
c Got one! Elapsed wall clock time (in seconds):1793.708
o 36710
c Got one! Elapsed wall clock time (in seconds):1795.588
o 36702
c Got one! Elapsed wall clock time (in seconds):1799.232
o 36698
c Got one! Elapsed wall clock time (in seconds):1801.43
o 36692
c Got one! Elapsed wall clock time (in seconds):1803.371
o 36690
c Got one! Elapsed wall clock time (in seconds):1805.104
o 36670
c Got one! Elapsed wall clock time (in seconds):1808.595
o 36665
c Got one! Elapsed wall clock time (in seconds):1814.979
o 36663
c Got one! Elapsed wall clock time (in seconds):1817.428
o 36661
c Got one! Elapsed wall clock time (in seconds):1820.359
o 36660
c Got one! Elapsed wall clock time (in seconds):1822.477
o 36655
c Got one! Elapsed wall clock time (in seconds):1825.001
o 36640
c cleaning 137993 clauses out of 276004
Killed
1832.535u 0.653s 30:32.38 100.0%	0+0k 0+0io 1pf+0w