Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-claspMaxSat-wms_crafted-_home_maxsat_benchmarks_wms_crafted_ramsey_ram_k3_n16.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/ramsey/ram_k3_n16.ra1.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...wms_crafted/ramsey/ram_k3_n16.ra1.wcnf
c Solving...
o 272736
o 271862
o 255069
o 254931
o 253735
o 253731
o 253660
o 203427
o 201543
o 91200
o 67431
o 65043
o 65022
o 65019
o 65015
o 65013
o 65012
o 65011
o 65010
o 65009
o 65007
o 65006
o 65002
o 65000
o 64999
o 64997
o 64995
o 64994
o 64992
o 64991
o 64990
o 64989
o 64988
o 64986
o 64979
o 64975
o 64973
o 64971
o 64968
o 64967
o 64966
o 64964
o 64963
o 64962
o 64957
o 64956
o 64955
o 64950
o 64949
o 64945
o 64942
o 64940
o 64937
o 64934
o 64926
o 64918
o 64914
o 64911
o 64908
o 64905
o 64904
o 64903
o 64901
o 64899
o 64893
o 64892
o 64885
o 64884
o 64883
o 64879
o 64877
o 64876
o 64864
o 64857
o 64844
o 64836
o 64823
o 64822
o 64821
o 64808
o 64807
o 64799
o 64783
o 64779
o 64770
o 64768
o 64752
o 64748
o 64746
o 64742
o 64738
o 64725
o 64723
o 64717
o 64714
o 64713
o 64712
o 64710
o 64708
o 64706
o 64704
o 64702
o 64700
o 64699
o 64697
o 64695
o 64693
o 64692
o 64689
o 64688
o 64686
o 64683
o 64682
o 64679
o 64678
o 64677
o 64675
o 64674
o 64672
o 64671
o 64668
o 64665
o 64663
o 64658
o 64657
o 64652
o 64651
o 64649
o 64648
o 64647
o 64645
o 64642
o 64640
o 64638
o 64637
o 64635
o 64627
o 64623
o 64619
o 64617
o 64616
o 64614
o 64604
o 64593
o 64592
o 64587
o 64583
o 64578
o 64576
o 64573
o 64569
o 64563
o 64557
o 64556
o 64553
o 64552
o 64538
o 64534
o 64527
o 64522
o 64517
o 64513
o 64512
o 64511
o 64509
o 64506
o 64505
o 64502
o 64500
o 64497
o 64495
o 64493
o 64490
o 64488
o 64485
o 64482
o 64478
o 64477
o 64473
o 64472
o 64471
o 64470
o 64468
o 64467
o 64462
o 64459
o 64457
o 64454
o 64452
o 64450
o 64445
o 64443
o 64441
o 64440
o 64437
o 64436
o 64435
o 64434
o 64432
o 64429
o 64426
o 64425
o 64423
o 64421
o 64419
o 64416
o 64415
o 64414
o 64413
o 64411
o 64410
o 64409
o 64408
o 64406
o 64405
o 64404
o 64403
o 64400
o 64398
o 64397
o 64395
o 64392
o 64391
o 64387
o 64383
o 64381
o 64380
o 64377
o 64375
o 64372
o 64371
o 64369
o 64366
o 64364
o 64362
o 64359
o 64358
o 64355
o 64353
o 64349
o 64348
o 64346
o 64344
o 64343
o 64340
o 64336
o 64334
o 64333
o 64330
o 64329
o 64328
o 64325
o 64322
o 64321
o 64319
o 64318
o 64313
o 64312
o 64309
o 64307
o 64304
o 64300
o 64298
o 64296
o 64295
o 64293
o 64290
o 64288
o 64286
o 64285
o 64283
o 64282
o 64281
o 64280
o 64279
o 64277
o 64275
o 64274
o 64273
o 64271
o 64269
o 64268
o 64266
o 64264
o 64262
o 64261
o 64259
o 64257
o 64256
o 64255
o 64253
o 64250
o 64248
o 64243
o 64241
o 64240
o 64237
o 64236
o 64235
o 64233
o 64232
o 64230
o 64229
o 64228
o 64227
o 64225
o 64223
o 64222
o 64221
o 64219
o 64218
o 64217
o 64214
o 64212
o 64210
o 64207
o 64206
o 64204
o 64202
o 64201
o 64200
o 64199
o 64198
o 64197
o 64196
o 64195
o 64194
o 64192
o 64190
o 64189
o 64188
o 64186
o 64184
o 64182
o 64181
o 64177
o 64176
o 64173
o 64170
o 64169
o 64168
o 64167
o 64166
o 64164
o 64162
o 64159
o 64158
o 64157
o 64155
o 64153
o 64152
o 64147
o 64142
o 64140
o 64138
o 64137
o 64132
o 64126
o 64124
o 64114
o 64112
o 64110
o 64101
o 64099
o 64091
o 64089
o 64088
o 64087
o 64077
o 64076
o 64073
o 64063
o 64061
o 64050
o 64048
o 64045
o 64044
o 64037
o 64036
o 64032
o 64029
o 64020
o 64011
o 64007
o 63999
o 63997
o 63995
o 63986
o 63984
o 63975
o 63968
o 63963
o 63962
o 63960
o 63958
o 63957
o 63953
o 63951
o 63944
o 63936
o 63935
o 63925
o 63922
o 63913
o 63905
o 63904
o 63901
o 63899
o 63898
o 63897
o 63895
o 63893
o 63892
o 63891
o 63886
o 63884
o 63883
o 63876
o 63875
o 63873
o 63871
o 63869
o 63867
o 63866
o 63863
o 63862
o 63859
o 63856
o 63854
o 63853
o 63851
o 63850
o 63848
o 63847
o 63845
o 63844
o 63841
o 63840
o 63839
o 63838
o 63836
o 63831
o 63826
o 63824
o 63822
o 63821
o 63818
o 63817
o 63815
o 63809
o 63808
o 63807
o 63805
o 63803
o 63802
o 63801
o 63799
o 63798
o 63792
o 63791
o 63789
o 63787
o 63783
o 63779
o 63777
o 63771
o 63769
o 63767
o 63766
o 63761
o 63759
o 63757
o 63753
o 63751
o 63748
o 63745
o 63743
o 63738
o 63726
o 63721
o 63718
o 63715
o 63710
o 63703
o 63700
o 63698
o 63696
o 63695
o 63693
o 63692
o 63690
o 63686
o 63684
o 63683
o 63681
o 63680
o 63678
o 63677
o 63675
o 63674
o 63670
o 63668
o 63666
o 63664
o 63663
o 63659
o 63658
o 63657
o 63656
o 63655
o 63654
o 63652
o 63651
o 63649
o 63647
o 63645
o 63640
o 63631
o 63629
o 63620
o 63619
o 63617
o 63616
o 63615
o 63613
o 63612
o 63602
o 63592
o 63582
o 63577
o 63571
o 63570
o 63568
o 63566
o 63560
o 63557
o 63555
o 63553
o 63545
o 63542
o 63541
o 63540
o 63537
o 63535
o 63533
o 63528
o 63523
o 63521
o 63520
o 63518
o 63517
o 63516
o 63514
o 63513
o 63510
o 63508
o 63506
o 63504
o 63502
o 63501
o 63499
o 63496
o 63494
o 63493
o 63491
o 63488
o 63485
o 63480
o 63478
o 63476
o 63474
o 63472
o 63470
o 63468
o 63463
o 63462
o 63461
o 63459
o 63457
o 63456
o 63454
o 63449
o 63447
o 63445
o 63444
o 63443
o 63442
o 63440
o 63439
o 63438
o 63434
o 63433
o 63431
o 63429
o 63428
o 63426
o 63424
o 63422
o 63420
o 63419
o 63417
o 63414
o 63412
o 63409
o 63408
o 63406
o 63405
o 63404
o 63403
o 63401
o 63400
o 63399
o 63398
o 63396
o 63395
o 63391
o 63385
o 63377
o 63369
o 63360
o 63357
o 63353
o 63350
o 63349
o 63340
o 63330
o 63328
o 63327
o 63315
o 63310
o 63303
o 63292
o 63291
o 63281
o 63274
o 63262
o 63250
o 63242
o 63237
o 63235
o 63234
o 63233
o 63232
o 63227
o 63225
o 63223
o 63218
o 63215
o 63212
o 63197
o 63191
o 63187
o 63184
o 63180
o 63179
o 63174
o 63171
o 63168
o 63165
o 63162
o 63161
o 63160
o 63159
o 63156
o 63149
o 63144
o 63143
o 63141
o 63136
o 63132
o 63129
o 63128
o 63124
o 63121
o 63116
o 63114
o 63113
o 63110
o 63107
o 63106
o 63105
o 63098
o 63095
o 63094
o 63086
o 63084
o 63078
o 63076
o 63075
o 63072
o 63070
o 63069
o 63063
o 63055
o 63052
o 63051
o 63042
o 63040
o 63038
o 63035
o 63033
o 63024
o 63023
o 63022
o 63021
o 63019
o 63018
o 63017
o 63008
o 62999
o 62998
o 62997
o 62994
o 62993
o 62992
o 62991
o 62990
o 62987
o 62985
o 62979
o 62974
o 62970
o 62966
o 62961
o 62960
o 62958
o 62950
o 62944
o 62943
o 62934
o 62932
o 62928
o 62927
o 62926
o 62923
o 62922
o 62919
o 62915
o 62914
o 62911
o 62909
o 62906
o 62902
o 62899
o 62896
o 62895
o 62893
o 62892
o 62888
o 62887
o 62886
o 62885
o 62883
o 62882
o 62881
o 62879
o 62877
o 62875
o 62872
o 62871
o 62869
o 62868
o 62867
o 62865
o 62863
o 62861
o 62859
o 62857
o 62856
o 62854
o 62853
o 62851
o 62847
o 62844
o 62843
o 62840
o 62838
o 62834
o 62832
o 62831
o 62827
o 62826
o 62823
o 62821
o 62818
o 62817
o 62815
o 62814
o 62813
o 62809
o 62806
o 62805
o 62802
o 62799
o 62797
o 62796
o 62795
o 62792
o 62791
o 62789
o 62786
o 62785
o 62784
o 62783
o 62782
o 62779
o 62775
o 62772
o 62771
o 62769
o 62765
o 62764
o 62763
o 62762
o 62759
o 62757
o 62756
o 62753
o 62751
o 62747
o 62744
o 62741
o 62739
o 62736
o 62734
o 62733
o 62731
o 62729
o 62728
o 62725
o 62722
o 62721
o 62718
o 62714
o 62711
o 62710
o 62693
o 62690
o 62688
o 62685
o 62684
o 62683
o 62676
o 62674
o 62669
o 62667
o 62665
o 62661
o 62659
o 62657
o 62656
o 62653
o 62649
o 62648
o 62644
o 62642
o 62638
o 62633
o 62629
o 62628
o 62625
o 62624
o 62622
o 62617
o 62613
o 62612
o 62610
o 62607
o 62606
o 62604
o 62602
o 62600
o 62597
o 62595
o 62592
o 62591
o 62590
o 62587
o 62586
o 62585
o 62582
o 62580
o 62577
o 62576
o 62574
o 62573
o 62570
o 62567
o 62566
o 62565
o 62563
o 62562
o 62559
o 62556
o 62554
o 62551
o 62550
o 62549
o 62545
o 62544
o 62543
o 62542
o 62541
o 62540
o 62538
o 62537
o 62533
o 62531
o 62529
o 62523
o 62520
o 62517
o 62512
o 62505
o 62501
o 62500
o 62498
o 62497
o 62496
o 62495
o 62494
o 62491
o 62487
o 62484
o 62482
o 62481
o 62477
o 62470
o 62465
o 62461
o 62460
o 62458
o 62456
o 62451
o 62449
o 62447
o 62445
o 62440
o 62438
o 62437
o 62436
o 62427
o 62424
o 62421
o 62419
o 62418
o 62414
o 62413
o 62407
o 62399
o 62396
o 62395
o 62386
o 62385
o 62383
o 62382
o 62377
o 62374
o 62369
o 62365
o 62361
o 62360
o 62358
o 62350
o 62343
o 62337
o 62336
o 62333
o 62329
o 62323
o 62321
o 62316
o 62314
o 62312
o 62308
o 62304
o 62301
o 62295
o 62292
o 62288
o 62287
o 62286
o 62285
o 62281
o 62280
o 62277
o 62274
o 62268
o 62263
o 62262
o 62258
o 62257
o 62256
o 62255
o 62254
o 62250
o 62247
o 62246
o 62244
o 62239
o 62236
o 62232
o 62228
o 62227
o 62223
o 62220
o 62207
o 62190
o 62188
o 62184
o 62177
o 62165
o 62162
o 62150
o 62142
o 62132
o 62116
o 62114
o 62103
o 62088
o 62087
o 62084
o 62077
o 62068
o 62061
o 62046
o 62029
o 62026
o 62009
o 62006
o 61995
o 61989
o 61987
o 61986
o 61984
o 61983
o 61981
o 61979
o 61976
o 61975
o 61973
o 61972
o 61970
o 61967
o 61966
o 61965
o 61963
o 61961
o 61960
o 61958
o 61957
o 61956
o 61954
o 61952
o 61951
o 61949
o 61947
o 61946
o 61945
o 61944
o 61941
o 61939
o 61926
o 61924
o 61918
o 61916
o 61897
o 61890
o 61871
o 61854
o 61847
o 61831
o 61829
o 61815
o 61809
o 61782
o 61780
o 61747
o 61731
o 61730
o 61729
o 61700
o 61662
o 61654
o 61635
o 61595
o 61589
o 61560
o 61521
o 61497
o 61488
o 61470
o 61451
o 61449
o 61427
o 61426
o 61380
o 61376
o 61358
o 61355
o 61350
o 61335
o 61305
o 61304
o 61284
o 61282
o 61271
o 61250
o 61243
o 61209
o 61182
o 61156
o 61131
o 61097
o 61093
o 61079
o 61071
o 61067
o 61062
o 61009
o 60987
o 60966
o 60949
o 60917
o 60896
o 60894
o 60876
o 60873
o 60855
o 60820
o 60808
o 60793
o 60768
o 60734
o 60722
o 60715
o 60710
o 60673
o 60665
o 60633
o 60605
o 60587
o 60575
o 60571
o 60570
o 60565
o 60553
o 60550
o 60540
o 60520
o 60497
o 60492
o 60490
o 60463
o 60451
o 60449
o 60447
o 60441
o 60424
o 60421
o 60419
o 60407
o 60401
o 60386
o 60377
o 60356
o 60354
o 60335
o 60316
o 60296
o 60293
o 60278
o 60261
o 60260
o 60257
o 60239
o 60220
o 60218
o 60206
o 60183
o 60167
o 60165
o 60152
o 60133
o 60130
o 60127
o 60115
o 60106
o 60103
o 60099
o 60091
o 60086
o 60078
o 60076
o 60070
o 60061
o 60053
o 60048
o 60040
o 60028
o 60018
o 60009
o 60002
o 59996
o 59987
o 59985
o 59979
o 59977
o 59970
o 59964
o 59958
o 59954
o 59949
o 59941
o 59934
o 59929
o 59924
o 59922
o 59920
o 59917
o 59908
o 59907
o 59904
o 59902
o 59897
o 59896
o 59895
o 59891
o 59890
o 59887
o 59884
o 59880
o 59876
o 59874
o 59868
o 59860
o 59859
o 59852
o 59849
o 59843
o 59837
o 59836
o 59831
o 59822
o 59819
o 59816
o 59813
o 59810
o 59803
o 59802
o 59801
o 59796
o 59795
o 59790
o 59785
o 59783
o 59778
o 59775
o 59769
o 59768
o 59760
o 59757
o 59752
o 59736
o 59717
o 59704
o 59687
o 59661
o 59651
o 59635
o 59634
o 59616
o 59604
o 59591
o 59583
o 59582
o 59568
o 59536
o 59535
o 59521
o 59516
o 59506
o 59499
o 59490
o 59486
o 59480
o 59447
o 59446
o 59441
o 59436
o 59431
o 59422
o 59421
o 59395
o 59385
o 59368
o 59357
o 59352
o 59351
o 59350
o 59349
o 59341
o 59338
o 59320
o 59311
o 59287
o 59271
o 59266
o 59259
o 59241
o 59231
o 59215
o 59192
o 59187
o 59180
o 59171
o 59169
o 59161
o 59150
o 59148
o 59139
o 59117
o 59111
o 59091
o 59089
o 59076
o 59073
o 59059
o 59044
o 59038
o 59017
o 59002
o 58989
o 58983
o 58970
o 58958
o 58950
o 58940
o 58927
o 58913
o 58871
o 58868
o 58865
o 58837
o 58800
o 58799
o 58797
o 58787
o 58784
o 58783
o 58780
o 58765
o 58754
o 58743
o 58706
o 58705
o 58698
o 58682
o 58661
o 58653
o 58614
o 58577
o 58576
o 58565
o 58555
o 58534
o 58519
o 58505
o 58496
o 58491
o 58460
o 58459
o 58449
o 58443
o 58431
o 58422
o 58407
o 58385
o 58384
o 58374
o 58363
o 58357
o 58345
o 58322
o 58312
o 58279
o 58260
o 58255
o 58219
o 58218
o 58194
o 58188
o 58164
o 58145
o 58114
o 58084
o 58074
o 58039
o 58038
o 58028
o 58026
o 58020
o 58019
o 57985
o 57974
o 57970
o 57969
o 57953
o 57926
o 57913
o 57911
o 57880
o 57846
o 57840
o 57809
o 57801
o 57772
o 57768
o 57750
o 57744
o 57716
o 57697
o 57672
o 57671
o 57667
o 57636
o 57634
o 57624
o 57619
o 57594
o 57573
o 57569
o 57534
o 57502
o 57497
o 57473
o 57462
o 57433
o 57409
o 57401
o 57390
o 57383
o 57355
o 57346
o 57325
o 57323
o 57322
o 57293
o 57260
o 57257
o 57235
o 57233
o 57201
o 57195
o 57184
o 57179
o 57161
o 57130
o 57126
o 57092
o 57079
o 57072
o 57054
o 57041
o 57028
o 57020
o 56995
o 56994
o 56991
o 56980
o 56972
o 56958
o 56951
o 56949
o 56942
o 56941
o 56933
o 56927
o 56926
o 56921
o 56920
o 56913
o 56904
o 56903
o 56900
o 56898
o 56897
o 56886
o 56879
o 56876
o 56873
o 56872
o 56866
o 56859
o 56851
o 56844
o 56837
o 56830
o 56826
o 56824
o 56823
o 56818
o 56813
o 56799
o 56797
o 56796
o 56794
o 56788
o 56787
o 56773
o 56769
o 56767
o 56760
o 56758
o 56757
o 56752
o 56743
o 56740
o 56733
o 56730
o 56713
o 56712
o 56711
o 56710
o 56706
o 56704
o 56701
o 56697
o 56694
o 56691
o 56684
o 56681
o 56678
o 56677
o 56667
o 56655
o 56640
o 56638
o 56633
o 56628
o 56627
o 56615
o 56603
o 56601
o 56584
o 56579
o 56576
o 56572
o 56566
o 56561
o 56548
o 56537
o 56530
o 56522
o 56517
o 56500
o 56499
o 56488
o 56476
o 56471
o 56469
o 56457
o 56445
o 56444
o 56441
o 56431
o 56423
o 56421
o 56417
o 56407
o 56396
o 56391
o 56382
o 56376
o 56368
o 56365
o 56360
o 56355
o 56343
o 56341
o 56331
o 56324
o 56322
o 56315
o 56302
o 56298
o 56284
o 56281
o 56280
o 56279
o 56272
o 56267
o 56258
o 56253
o 56242
o 56238
o 56231
o 56216
o 56207
o 56202
o 56199
o 56198
o 56182
o 56179
o 56178
o 56171
o 56167
o 56166
o 56149
o 56148
o 56141
o 56133
o 56127
o 56121
o 56120
o 56103
o 56099
o 56093
o 56090
o 56082
o 56070
o 56058
o 56042
o 56037
o 56025
o 56018
o 56013
o 56012
o 56003
o 55981
o 55965
o 55944
o 55927
o 55924
o 55907
o 55890
o 55865
o 55842
o 55837
o 55833
o 55828
o 55825
o 55822
o 55820
o 55818
o 55815
o 55807
o 55803
o 55798
o 55791
o 55767
o 55766
o 55746
o 55742
o 55740
o 55738
o 55719
o 55716
o 55685
o 55679
o 55678
o 55670
o 55648
o 55641
o 55638
o 55635
o 55631
o 55622
o 55620
o 55616
o 55597
o 55563
o 55535
o 55506
o 55500
o 55463
o 55449
o 55406
o 55366
o 55363
o 55311
o 55284
o 55225
o 55200
o 55144
o 55140
o 55136
o 55124
o 55080
o 55006
o 54947
o 54892
o 54827
o 54771
o 54743
o 54666
o 54570
o 54493
o 54478
o 54407
o 54402
o 54381
o 54343
o 54332
o 54287
o 54281
o 54250
o 54244
o 54242
o 54218
o 54199
o 54176
o 54168
o 54128
o 54098
o 54092
o 54083
o 54075
o 54051
o 54020
o 54008
o 54003
o 53987
o 53969
o 53959
o 53955
o 53945
o 53926
o 53921
o 53889
o 53868
o 53856
o 53836
o 53807
o 53775
o 53737
o 53722
o 53696
o 53682
o 53680
o 53675
o 53648
o 53643
o 53633
o 53611
o 53607
o 53593
o 53588
o 53587
o 53583
o 53582
o 53579
o 53576
o 53560
o 53543
o 53541
o 53527
o 53520
o 53501
o 53493
o 53475
o 53461
o 53448
o 53444
o 53431
o 53419
o 53406
o 53402
o 53392
o 53379
o 53378
o 53357
o 53356
o 53346
o 53329
o 53324
o 53316
o 53307
o 53299
o 53287
o 53267
o 53257
o 53250
o 53211
o 53190
o 53178
o 53159
o 53141
o 53117
o 53105
o 53089
o 53085
o 53083
o 53065
o 53029
o 53003
o 52981
o 52954
o 52942
o 52909
o 52892
o 52891
o 52888
o 52883
o 52872
o 52833
o 52803
o 52767
o 52705
o 52677
o 52667
o 52555
o 52524
o 52492
o 52465
o 52438
o 52434
o 52432
o 52427
o 52401
o 52397
o 52384
o 52379
o 52366
o 52350
o 52321
o 52264
o 52246
o 52238
o 52196
o 52183
o 52171
o 52151
o 52141
o 52125
o 52120
o 52106
o 52075
o 52056
o 52046
o 51982
o 51960
o 51954
o 51902
o 51890
o 51843
o 51842
o 51812
o 51791
o 51766
o 51754
o 51749
o 51728
o 51722
o 51710
o 51691
o 51669
o 51660
o 51647
o 51617
o 51601
o 51589
o 51557
o 51532
o 51523
o 51501
o 51471
o 51466
o 51445
o 51440
o 51394
o 51365
o 51334
o 51327
o 51307
o 51294
o 51283
o 51264
o 51254
o 51243
o 51235
o 51232
o 51226
o 51222
o 51205
o 51203
o 51192
o 51184
o 51171
o 51166
o 51148
o 51135
o 51121
o 51104
o 51091
o 51085
o 51047
o 51046
o 51040
o 51038
o 51018
o 51012
o 51008
o 51002
o 50987
o 50978
o 50961
o 50957
o 50953
o 50946
o 50942
o 50924
o 50907
o 50889
o 50880
o 50845
o 50839
o 50832
o 50827
o 50819
o 50817
o 50812
o 50804
o 50794
o 50786
o 50772
o 50768
o 50766
o 50751
o 50744
o 50715
o 50699
o 50679
o 50663
o 50658
o 50645
o 50642
o 50637
o 50614
o 50597
o 50588
o 50575
o 50564
o 50555
o 50550
o 50540
o 50532
o 50529
o 50522
o 50512
o 50507
o 50506
o 50496
o 50480
o 50470
o 50468
o 50456
o 50455
o 50454
o 50443
o 50442
o 50435
o 50426
o 50419
o 50415
o 50409
o 50397
o 50391
o 50379
o 50363
o 50358
o 50351
o 50348
o 50335
o 50328
o 50313
o 50310
o 50304
o 50284
o 50271
o 50264
o 50260
o 50251
o 50246
o 50232
o 50224
o 50203
o 50201
o 50190
o 50174
o 50165
o 50164
o 50144
o 50137
o 50136
o 50123
o 50116
o 50109
o 50106
o 50099
o 50096
o 50094
o 50092
o 50091
o 50090
o 50086
o 50083
o 50081
o 50070
o 50065
o 50064
o 50054
o 50052
o 50050
o 50046
o 50036
o 50026
o 50025
o 50018
o 50012
o 50003
o 50002
o 50001
o 49986
o 49975
o 49970
o 49969
o 49959
o 49951
o 49949
o 49945
o 49943
o 49931
o 49924
o 49911
o 49904
o 49902
o 49891
o 49878
o 49873
o 49867
o 49851
o 49818
o 49806
o 49793
o 49764
o 49734
o 49717
o 49706
o 49671
o 49668
o 49665
o 49638
o 49625
o 49614
o 49610
o 49607
o 49573
o 49563
o 49559
o 49534
o 49530
o 49515
o 49480
o 49466
o 49457
o 49453
o 49446
o 49410
o 49394
o 49389
o 49384
o 49380
o 49376
o 49367
o 49366
o 49350
o 49348
o 49331
o 49322
o 49321
o 49318
o 49315
o 49310
o 49308
o 49304
o 49302
o 49297
o 49295
o 49289
o 49288
o 49278
o 49269
o 49252
o 49240
o 49223
o 49215
o 49209
o 49205
o 49202
o 49186
o 49182
o 49168
o 49164
o 49161
o 49129
o 49095
o 49086
o 49074
o 49068
o 49058
o 49056
o 49055
o 49045
o 49014
o 49008
o 48989
o 48967
o 48949
o 48928
o 48913
o 48888
o 48875
o 48854
o 48832
o 48814
o 48806
o 48801
o 48787
o 48771
o 48760
o 48735
o 48711
o 48678
o 48670
o 48663
o 48655
o 48635
o 48633
o 48625
o 48618
o 48603
o 48595
o 48590
o 48565
o 48560
o 48550
o 48538
o 48526
o 48515
o 48513
o 48503
o 48482
o 48477
o 48458
o 48453
o 48445
o 48439
o 48423
o 48419
o 48395
o 48373
o 48372
o 48366
o 48359
o 48351
o 48340
o 48339
o 48327
o 48312
o 48308
o 48307
o 48286
o 48263
o 48240
o 48224
o 48205
o 48199
o 48198
o 48187
o 48155
o 48115
o 48113
o 48108
o 48086
o 48055
o 48049
o 48034
o 48031
o 48017
o 48008
o 48004
o 47987
o 47980
o 47979
o 47974
o 47952
o 47939
o 47937
o 47936
o 47932
o 47926
o 47921
o 47916
o 47914
o 47913
o 47904
o 47901
o 47882
o 47874
o 47872
o 47871
o 47868
o 47866
o 47861
o 47839
o 47825
o 47794
o 47765
o 47760
o 47744
o 47743
o 47741
o 47740
o 47724
o 47704
o 47685
o 47682
o 47676
o 47675
o 47643
o 47641
o 47633
o 47612
o 47610
o 47605
o 47581
o 47579
o 47545
o 47541
o 47533
o 47525
o 47492
o 47486
o 47469
o 47468
o 47458
o 47452
o 47450
o 47411
o 47387
o 47384
o 47373
o 47336
o 47293
o 47253
o 47243
o 47221
o 47217
o 47215
o 47214
o 47184
o 47180
o 47178
o 47159
o 47157
o 47156
o 47124
o 47101
o 47098
o 47093
o 47090
o 47079
o 47062
o 47061
o 47059
o 47027
o 47026
o 47009
o 47007
o 47004
o 47002
o 46984
o 46974
o 46968
o 46953
o 46947
o 46941
o 46931
o 46925
o 46921
o 46916
o 46881
o 46876
o 46874
o 46872
o 46870
o 46865
o 46846
o 46837
o 46834
o 46832
o 46818
o 46816
o 46802
o 46800
o 46798
o 46791
o 46772
o 46734
o 46731
o 46730
o 46722
o 46717
o 46692
o 46685
o 46680
o 46679
o 46678
o 46666
o 46656
o 46654
o 46621
o 46618
o 46604
o 46572
o 46551
o 46546
o 46509
o 46498
o 46494
o 46474
o 46463
o 46419
o 46404
o 46381
o 46357
o 46355
o 46347
o 46342
o 46340
o 46338
o 46289
o 46283
o 46278
o 46247
o 46244
o 46213
o 46208
o 46167
o 46132
o 46130
o 46091
o 46079
o 46049
o 45999
o 45986
o 45972
o 45945
o 45911
o 45908
o 45903
o 45873
o 45864
o 45800
o 45793
o 45783
o 45744
o 45734
o 45729
o 45697
o 45668
o 45622
o 45599
o 45583
o 45568
o 45551
o 45546
o 45502
o 45493
o 45473
o 45472
o 45452
o 45439
o 45401
o 45387
o 45378
o 45358
o 45336
o 45317
o 45293
o 45285
o 45275
o 45257
o 45248
o 45230
o 45218
o 45211
o 45202
o 45184
o 45170
o 45134
o 45113
o 45100
o 45094
o 45077
o 45056
o 45048
o 45029
o 45022
o 45006
o 44997
o 44977
o 44882
o 44865
o 44853
o 44839
o 44817
o 44807
o 44786
o 44784
o 44764
o 44754
o 44721
o 44703
o 44668
o 44601
o 44589
o 44572
o 44569
o 44561
o 44425
o 44389
o 44327
o 44301
o 44242
o 44169
o 44088
o 44050
o 44005
o 43964
o 43932
o 43891
o 43885
o 43849
o 43774
o 43768
o 43751
o 43738
o 43737
o 43731
o 43686
o 43659
o 43624
o 43597
o 43569
o 43559
o 43538
o 43531
o 43500
o 43468
o 43454
o 43426
o 43404
o 43395
o 43349
o 43320
o 43304
o 43280
o 43239
o 43199
o 43160
o 43158
o 43146
o 43136
o 43133
o 43125
o 43088
o 43083
o 43058
o 43051
o 43033
o 43023
o 42989
o 42958
o 42929
o 42927
o 42919
o 42910
o 42855
o 42810
o 42791
o 42747
o 42737
o 42676
o 42640
o 42636
o 42632
o 42604
o 42555
o 42545
o 42508
o 42487
o 42453
o 42434
o 42374
o 42317
o 42279
o 42202
o 42103
o 42036
o 41985
o 41852
o 41801
o 41682
o 41628
o 41517
o 41473
o 41461
o 41342
o 41293
o 41231
o 41167
o 41151
o 41046
o 40949
o 40799
o 40738
o 40683
o 40601
o 40502
o 40426
o 40418
o 40334
o 40222
o 40187
o 40171
o 40129
o 40071
o 39896
o 39822
o 39564
o 39517
o 39505
o 39415
o 39361
o 39198
o 39118
o 39084
o 38863
o 38855
o 38726
o 38690
o 38662
o 38659
o 38646
o 38634
o 38597
o 38571
o 38563
o 38557
o 38553
o 38552
o 38534
o 38521
o 38512
o 38455
o 38416
o 38386
o 38370
o 38352
o 38307
o 38277
o 38246
o 38239
o 38237
o 38221
o 38206
o 38179
o 38171
o 38162
o 38148
o 38142
o 38124
o 38111
o 38093
o 38090
o 38066
o 38056
o 38049
o 38046
o 38043
o 38029
o 38025
o 37969
o 37950
o 37937
o 37920
o 37816
o 37795
o 37667
o 37650
o 37624
o 37617
o 37585
o 37550
o 37530
o 37517
o 37512
o 37441
o 37423
o 37397
o 37293
o 37204
o 37116
o 37080
o 37001
o 36906
o 36850
o 36716
o 36706
o 36672
o 36648
o 36627
o 36576
o 36556
o 36553
o 36536
o 36517
o 36470
o 36447
o 36445
o 36432
o 36414
o 36411
o 36326
o 36277
o 36271
o 36240
o 36202
o 36039
o 35943
o 35935
o 35866
o 35770
o 35674
o 35658
o 35560
o 35470
o 35439
o 35378
o 35203
o 35176
o 35163
o 35027
o 34949
o 34921
o 34867
o 34820
o 34706
o 34666
o 34462
o 34447
o 34405
o 34340
o 34265
o 34213
o 34198
o 34102
o 34070
o 33924
o 33886
o 33877
1979.587u 0.118s 33:05.44 99.7%	0+0k 0+0io 0pf+0w