Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-IncWMaxSatz-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_random-net_random-net-80-2_network-4.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-4.net.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 3392199
o 269404
o 269217
o 266777
o 265426
o 265070
o 264441
o 264085
o 264057
o 263701
o 262784
o 261433
o 261077
o 260448
o 260092
o 260064
o 259708
o 259629
o 259562
o 259329
o 258973
o 258344
o 257988
o 257960
o 257604
o 257525
o 257439
o 257360
o 257055
o 256976
o 256258
o 255874
o 255518
o 255439
o 255046
o 254690
o 254611
o 254583
o 254306
o 254227
o 253869
o 253513
o 253434
o 253406
o 253129
o 253050
o 252506
o 252150
o 252122
o 251766
o 251687
o 251294
o 251215
o 250938
o 250859
o 250831
o 250554
o 250475
o 250117
o 250038
o 249761
o 249682
o 249654
o 249377
o 249298
o 249245
o 249166
o 249129
o 249101
o 248808
o 248771
o 248729
o 248692
o 248452
o 248415
o 248373
o 248336
o 248308
o 248068
o 248031
o 247989
o 247952
o 247565
o 247486
o 247209
o 247130
o 247102
o 246825
o 246746
o 246353
o 246274
o 245997
o 245918
o 245613
o 245534
o 245176
o 245097
o 244820
o 244741
o 244713
o 244436
o 244357
o 244304
o 244225
o 244188
o 244160
o 243867
o 243830
o 243804
o 243511
o 243474
o 243432
o 243395
o 243127
o 243090
o 243048
o 243011
o 242789
o 242752
o 242710
o 242673
o 242667
o 242374
o 242337
o 242295
o 242258
o 242018
o 241981
o 241939
o 241902
o 241874
o 241634
o 241597
o 241555
o 241518
o 241404
o 241325
o 241272
o 241193
o 241156
o 241128
o 240835
o 240798
o 240772
o 240479
o 240442
o 240400
o 240363
o 240095
o 240058
o 240016
o 239979
o 239975
o 239947
o 239650
o 239591
o 239213
o 239154
o 238857
o 238798
o 238770
o 238473
o 238414
o 238394
o 238335
o 238262
o 238203
o 238166
o 237904
o 237867
o 237841
o 237548
o 237511
o 237469
o 237432
o 237410
o 237373
o 237164
o 237105
o 237068
o 237026
o 236989
o 236826
o 236747
o 236710
o 236688
o 236651
o 236411
o 236374
o 236332
o 236295
o 236273
o 236236
o 236055
o 235976
o 235939
o 235917
o 235880
o 235852
o 235671
o 235592
o 235555
o 235533
o 235496
o 235309
o 235250
o 235213
o 235165
o 234872
o 234835
o 234813
o 234776
o 234488
o 234451
o 234429
o 234392
o 234132
o 234095
o 234073
o 234036
o 233994
o 233957
o 233883
o 233824
o 233796
o 233578
o 233499
o 233440
o 233367
o 233308
o 233271
o 233009
o 232972
o 232930
o 232893
o 232871
o 232834
o 232653
o 232574
o 232537
o 232515
o 232478
o 232450
o 232269
o 232210
o 232173
o 232131
o 232094
o 231931
o 231872
o 231835
o 231793
o 231756
o 231516
o 231479
o 231437
o 231400
o 231378
o 231341
o 231160
o 231081
o 231044
o 231022
o 230985
o 230957
o 230776
o 230697
o 230660
o 230638
o 230601
o 230414
o 230355
o 230318
o 230270
o 229977
o 229940
o 229918
o 229881
o 229621
o 229584
o 229562
o 229525
o 229497
o 229237
o 229200
o 229178
o 229141
o 229099
o 229062
o 228980
o 228901
o 228842
o 228805
o 228624
o 228545
o 228508
o 228486
o 228449
o 228421
o 228240
o 228161
o 228124
o 228102
o 228065
o 228033
o 227974
o 227937
o 227898
o 227861
o 227855
o 227558
o 227499
o 227426
o 227367
o 227330
o 227282
o 226989
o 226952
o 226930
o 226893
o 226633
o 226596
o 226574
o 226537
o 226509
o 226249
o 226212
o 226190
o 226153
o 226111
o 226074
o 226058
o 226021
o 226014
o 225977
o 225964
o 225927
o 225665
o 225628
o 225586
o 225549
o 225527
o 225490
o 225309
o 225230
o 225193
o 225171
o 225134
o 225106
o 224925
o 224866
o 224829
o 224787
o 224750
o 224697
o 224660
o 224526
o 224467
o 224394
o 224335
o 224298
o 224250
o 223957
o 223920
o 223898
o 223861
o 223601
o 223564
o 223542
o 223505
o 223477
o 223217
o 223180
o 223158
o 223121
o 223079
o 223042
o 222960
o 222881
o 222822
o 222785
o 222604
o 222525
o 222488
o 222466
o 222429
o 222401
o 222220
o 222141
o 222104
o 222082
o 222045
o 221974
o 221915
o 221878
o 221669
o 221610
o 221573
o 221531
o 221494
o 221462
o 221403
o 221366
o 221307
o 221248
o 221211
o 220987
o 220928
o 220855
o 220796
o 220759
o 220711
o 220418
o 220381
o 220359
o 220322
o 220062
o 220025
o 220003
o 219966
o 219938
o 219678
o 219641
o 219619
o 219582
o 219540
o 219503
o 219502
o 219443
o 219406
o 219393
o 219356
o 219094
o 219057
o 219015
o 218978
o 218956
o 218919
o 218738
o 218659
o 218622
o 218600
o 218563
o 218535
o 218354
o 218295
o 218258
o 218216
o 218179
o 218126
o 218089
o 217955
o 217896
o 217823
o 217764
o 217727
o 217679
o 217386
o 217349
o 217327
o 217290
o 217030
o 216993
o 216971
o 216934
o 216906
o 216646
o 216609
o 216587
o 216550
o 216508
o 216471
o 216389
o 216310
o 216251
o 216214
o 216033
o 215954
o 215917
o 215895
o 215858
o 215830
o 215649
o 215570
o 215533
o 215511
o 215474
o 215450
o 215427
o 215390
o 215209
o 215130
o 215093
o 215071
o 215034
o 215006
o 214825
o 214746
o 214709
o 214687
o 214650
o 214649
o 214590
o 214553
o 214540
o 214503
o 214482
o 214301
o 214242
o 214205
o 214163
o 214126
o 214125
o 213885
o 213848
o 213806
o 213769
o 213747
o 213710
o 213682
o 213501
o 213422
o 213385
o 213363
o 213326
o 213273
o 213236
o 212977
o 212940
o 212918
o 212881
o 212853
o 212593
o 212556
o 212534
o 212497
o 212474
o 212437
o 212177
o 212140
o 212118
o 212081
o 212053
o 211793
o 211756
o 211734
o 211697
o 211655
o 211618
o 211596
o 211517
o 211458
o 211421
o 211180
o 211143
o 211121
o 211084
o 211042
o 211005
o 210796
o 210717
o 210680
o 210658
o 210621
o 210605
o 210568
o 210387
o 210308
o 210271
o 210249
o 210212
o 210184
o 210003
o 209924
o 209887
o 209865
o 209828
o 209804
o 209781
o 209744
o 209563
o 209484
o 209447
o 209425
o 209388
o 209360
o 209179
o 209100
o 209063
o 209041
o 209004
o 209003
o 208944
o 208907
o 208894
o 208857
o 208595
o 208558
o 208516
o 208479
o 208457
o 208420
o 208239
o 208160
o 208123
o 208101
o 208064
o 208036
o 207855
o 207796
o 207759
o 207717
o 207680
o 207536
o 207457
o 207398
o 207361
o 207324
o 207245
o 207186
o 207149
o 206887
o 206850
o 206808
o 206771
o 206749
o 206712
o 206531
o 206452
o 206415
o 206393
o 206356
o 206328
o 206147
o 206088
o 206051
o 206009
o 205972
o 205950
o 205871
o 205812
o 205775
o 205752
o 205715
o 205534
o 205455
o 205418
o 205396
o 205359
o 205331
o 205150
o 205071
o 205034
o 205012
o 204975
o 204861
o 204782
o 204723
o 204686
o 204477
o 204418
o 204381
o 204339
o 204302
o 204158
o 204079
o 204020
o 203983
o 203946
o 203867
o 203808
o 203771
o 203509
o 203472
o 203446
o 203153
o 203116
o 203094
o 203057
o 203015
o 202978
o 202769
o 202710
o 202673
o 202631
o 202594
o 202572
o 202493
o 202434
o 202397
o 202156
o 202119
o 202097
o 202060
o 202018
o 201981
o 201772
o 201693
o 201656
o 201634
o 201597
o 201582
o 201503
o 201444
o 201407
o 201198
o 201139
o 201102
o 201060
o 201023
o 201001
o 200922
o 200863
o 200826
o 200803
o 200766
o 200585
o 200506
o 200469
o 200447
o 200410
o 200382
o 200201
o 200122
o 200085
o 200063
o 200026
o 199912
o 199833
o 199774
o 199737
o 199528
o 199469
o 199432
o 199390
o 199353
o 199300
o 199241
o 199204
o 198995
o 198936
o 198899
o 198857
o 198820
o 198560
o 198523
o 198481
o 198444
o 198422
o 198385
o 198204
o 198145
o 198108
o 198066
o 198029
o 197820
o 197761
o 197724
o 197682
o 197645
o 197623
o 197544
o 197485
o 197448
o 197207
o 197170
o 197148
o 197111
o 197069
o 197032
o 196823
o 196744
o 196707
o 196685
o 196648
o 196617
o 196408
o 196349
o 196312
o 196270
o 196233
o 196196
o 196117
o 196058
o 196021
o 195759
o 195722
o 195680
o 195643
o 195621
o 195584
o 195403
o 195324
o 195287
o 195265
o 195228
o 195200
o 195019
o 194960
o 194923
o 194881
o 194844
o 194822
o 194743
o 194684
o 194647
o 194406
o 194369
o 194347
o 194310
o 194268
o 194231
o 194022
o 193943
o 193906
o 193884
o 193847
o 193832
o 193753
o 193694
o 193657
o 193448
o 193389
o 193352
o 193310
o 193273
o 193251
o 193172
o 193113
o 193076
o 193053
o 193016
o 192835
o 192756
o 192719
o 192697
o 192660
o 192632
o 192451
o 192372
o 192335
o 192313
o 192276
o 192255
o 192162
o 192083
o 192024
o 191987
o 191959
o 191778
o 191699
o 191662
o 191640
o 191603
o 191550
o 191491
o 191454
o 191245
o 191186
o 191149
o 191107
o 191070
o 190810
o 190773
o 190731
o 190694
o 190672
o 190635
o 190454
o 190375
o 190338
o 190316
o 190279
o 190251
o 190070
o 190011
o 189974
o 189932
o 189895
o 189873
o 189794
o 189735
o 189698
o 189457
o 189420
o 189398
o 189361
o 189319
o 189282
o 189073
o 188994
o 188957
o 188935
o 188898
o 188874
o 188795
o 188736
o 188699
o 188490
o 188431
o 188394
o 188352
o 188315
o 188284
o 188075
o 188016
o 187979
o 187937
o 187900
o 187867
o 187686
o 187627
o 187590
o 187548
o 187511
o 187486
o 187407
o 187348
o 187311
o 187288
o 187251
o 187070
o 186991
o 186954
o 186932
o 186895
o 186867
o 186686
o 186607
o 186570
o 186548
o 186511
o 186489
o 186410
o 186351
o 186314
o 186073
o 186036
o 186014
o 185977
o 185935
o 185898
o 185689
o 185610
o 185573
o 185551
o 185514
o 185507
o 185428
o 185369
o 185332
o 185295
o 185216
o 185157
o 185120
o 184858
o 184821
o 184779
o 184742
o 184720
o 184683
o 184474
o 184395
o 184358
o 184336
o 184299
o 184118
o 184039
o 184002
o 183980
o 183943
o 183922
o 183829
o 183750
o 183691
o 183654
o 183626
o 183445
o 183366
o 183329
o 183307
o 183270
o 183126
o 183047
o 182988
o 182951
o 182914
o 182835
o 182776
o 182739
o 182477
o 182440
o 182398
o 182361
o 182339
o 182302
o 182093
o 182014
o 181977
o 181955
o 181918
o 181737
o 181658
o 181621
o 181599
o 181562
o 181540
o 181461
o 181402
o 181365
o 181342
o 181305
o 181124
o 181045
o 181008
o 180986
o 180949
o 180921
o 180740
o 180661
o 180624
o 180602
o 180565
o 180512
o 180453
o 180416
o 180379
o 180300
o 180241
o 180204
o 179942
o 179905
o 179863
o 179826
o 179804
o 179767
o 179558
o 179499
o 179462
o 179420
o 179383
o 179202
o 179143
o 179106
o 179064
o 179027
o 179005
o 178926
o 178867
o 178830
o 178807
o 178770
o 178589
o 178510
o 178473
o 178451
o 178414
o 178386
o 178205
o 178126
o 178089
o 178067
o 178030
o 178006
o 177927
o 177868
o 177831
o 177622
o 177563
o 177526
o 177484
o 177447
o 177416
o 177207
o 177148
o 177111
o 177069
o 177032
o 176995
o 176916
o 176857
o 176820
o 176558
o 176521
o 176479
o 176442
o 176420
o 176383
o 176174
o 176115
o 176078
o 176036
o 175999
o 175818
o 175759
o 175722
o 175680
o 175643
o 175621
o 175542
o 175483
o 175446
o 175423
o 175386
o 175205
o 175126
o 175089
o 175067
o 175030
o 175002
o 174821
o 174742
o 174705
o 174683
o 174646
o 174639
o 174560
o 174501
o 174464
o 174427
o 174348
o 174289
o 174252
o 174247
o 174168
o 174109
o 174072
o 173990
o 173911
o 173874
o 173606
o 173569
o 173527
o 173490
o 173468
o 173431
o 173250
o 173191
o 173154
o 173112
o 173075
o 173054
o 173032
o 172953
o 172894
o 172857
o 172856
o 172616
o 172579
o 172537
o 172500
o 172472
o 172232
o 172195
o 172153
o 172116
o 172094
o 172057
o 171964
o 171885
o 171826
o 171789
o 171580
o 171521
o 171484
o 171442
o 171405
o 171261
o 171182
o 171123
o 171086
o 171049
o 170970
o 170911
o 170874
o 170612
o 170575
o 170533
o 170496
o 170474
o 170437
o 170228
o 170169
o 170132
o 170090
o 170053
o 169872
o 169813
o 169776
o 169734
o 169697
o 169663
o 169626
o 169603
o 169566
o 169385
o 169306
o 169269
o 169247
o 169210
o 169182
o 169001
o 168922
o 168885
o 168863
o 168826
o 168773
o 168714
o 168677
o 168640
o 168561
o 168502
o 168465
o 168203
o 168166
o 168124
o 168087
o 168065
o 168028
o 167819
o 167760
o 167723
o 167681
o 167644
o 167463
o 167404
o 167367
o 167325
o 167288
o 167266
o 167187
o 167128
o 167091
o 167068
o 167031
o 166850
o 166771
o 166734
o 166712
o 166675
o 166647
o 166466
o 166387
o 166350
o 166328
o 166291
o 166267
o 166208
o 166188
o 166129
o 166092
o 165883
o 165804
o 165767
o 165745
o 165708
o 165688
o 165651
o 165442
o 165383
o 165346
o 165304
o 165267
o 165174
o 165095
o 165036
o 164999
o 164971
o 164790
o 164711
o 164674
o 164652
o 164615
o 164471
o 164392
o 164333
o 164296
o 164259
o 164180
o 164121
o 164084
o 163822
o 163785
o 163743
o 163706
o 163684
o 163647
o 163438
o 163359
o 163322
o 163300
o 163263
o 163082
o 163003
o 162966
o 162944
o 162907
o 162895
o 162686
o 162627
o 162590
o 162548
o 162511
o 162251
o 162214
o 162172
o 162135
o 162113
o 162076
o 161895
o 161816
o 161779
o 161757
o 161720
o 161692
o 161511
o 161452
o 161415
o 161373
o 161336
o 161315
o 161293
o 161214
o 161155
o 161118
o 161117
o 160877
o 160840
o 160798
o 160761
o 160733
o 160493
o 160456
o 160414
o 160377
o 160355
o 160318
o 160225
o 160146
o 160087
o 160050
o 159841
o 159782
o 159745
o 159703
o 159666
o 159613
o 159554
o 159517
o 159489
o 159308
o 159229
o 159192
o 159170
o 159133
o 158873
o 158836
o 158794
o 158757
o 158735
o 158698
o 158517
o 158458
o 158421
o 158379
o 158342
o 158133
o 158074
o 158037
o 157995
o 157958
o 157814
o 157735
o 157676
o 157639
o 157615
o 157536
o 157477
o 157440
o 157231
o 157152
o 157115
o 157093
o 157056
o 157001
o 156942
o 156905
o 156643
o 156606
o 156564
o 156527
o 156505
o 156468
o 156287
o 156228
o 156191
o 156149
o 156112
o 156084
o 155903
o 155844
o 155807
o 155765
o 155728
o 155681
o 155644
o 155611
o 155608
o 155586
o 155507
o 155448
o 155411
o 155170
o 155133
o 155091
o 155054
o 155032
o 154995
o 154786
o 154707
o 154670
o 154648
o 154611
o 154430
o 154371
o 154334
o 154292
o 154255
o 154243
o 154034
o 153975
o 153938
o 153896
o 153859
o 153599
o 153562
o 153520
o 153483
o 153461
o 153424
o 153243
o 153164
o 153127
o 153105
o 153068
o 153040
o 152859
o 152800
o 152763
o 152721
o 152684
o 152663
o 152641
o 152562
o 152503
o 152466
o 152465
o 152225
o 152188
o 152146
o 152109
o 152081
o 151841
o 151804
o 151762
o 151725
o 151703
o 151666
o 151616
o 151579
o 151338
o 151301
o 151279
o 151242
o 151200
o 151163
o 150954
o 150875
o 150838
o 150816
o 150779
o 150656
o 150577
o 150518
o 150481
o 150221
o 150184
o 150142
o 150105
o 150083
o 150046
o 149865
o 149786
o 149749
o 149727
o 149690
o 149662
o 149481
o 149422
o 149385
o 149343
o 149306
o 149302
o 149223
o 149164
o 149127
o 148918
o 148859
o 148822
o 148780
o 148743
o 148724
o 148645
o 148586
o 148549
o 148521
o 148340
o 148261
o 148224
o 148202
o 148165
o 147905
o 147868
o 147826
o 147789
o 147767
o 147730
o 147549
o 147470
o 147433
o 147411
o 147374
o 147346
o 147165
o 147106
o 147069
o 147027
o 146990
o 146968
o 146889
o 146830
o 146793
o 146552
o 146515
o 146493
o 146456
o 146414
o 146377
o 146168
o 146089
o 146052
o 146030
o 145993
o 145849
o 145770
o 145711
o 145674
o 145650
o 145571
o 145512
o 145475
o 145266
o 145207
o 145170
o 145128
o 145091
o 145077
o 145040
o 145036
o 144977
o 144940
o 144678
o 144641
o 144599
o 144562
o 144540
o 144503
o 144322
o 144263
o 144226
o 144184
o 144147
o 144119
o 143938
o 143879
o 143842
o 143800
o 143763
o 143716
o 143679
o 143646
o 143643
o 143621
o 143542
o 143483
o 143446
o 143205
o 143168
o 143126
o 143089
o 143067
o 143030
o 142821
o 142742
o 142705
o 142683
o 142646
o 142465
o 142406
o 142369
o 142327
o 142290
o 142123
o 142044
o 142007
o 141985
o 141948
o 141739
o 141680
o 141643
o 141601
o 141564
o 141441
o 141362
o 141303
o 141266
o 141006
o 140969
o 140927
o 140890
o 140868
o 140831
o 140650
o 140591
o 140554
o 140512
o 140475
o 140447
o 140266
o 140207
o 140170
o 140128
o 140091
o 140085
o 140026
o 139989
o 139729
o 139692
o 139650
o 139613
o 139591
o 139554
o 139373
o 139314
o 139277
o 139235
o 139198
o 139170
o 138989
o 138930
o 138893
o 138851
o 138814
o 138691
o 138612
o 138553
o 138516
o 138256
o 138219
o 138177
o 138140
o 138118
o 138081
o 137900
o 137841
o 137804
o 137762
o 137725
o 137697
o 137516
o 137457
o 137420
o 137378
o 137341
o 137296
o 137259
o 137050
o 136991
o 136954
o 136912
o 136875
o 136853
o 136774
o 136715
o 136678
o 136437
o 136400
o 136378
o 136341
o 136299
o 136262
o 136053
o 135974
o 135937
o 135915
o 135878
o 135850
o 135609
o 135572
o 135550
o 135513
o 135471
o 135434
o 135225
o 135146
o 135109
o 135087
o 135050
o 135028
o 134819
o 134760
o 134723
o 134681
o 134644
o 134636
o 134557
o 134498
o 134461
o 134449
o 134438
o 134401
o 134220
o 134141
o 134104
o 134082
o 134045
o 133836
o 133777
o 133740
o 133698
o 133661
o 133649
o 133612
o 133584
o 133478
o 133399
o 133340
o 133303
o 133265
o 133228
o 133202
o 133143
o 133106
o 133068
o 133031
o 133008
o 132971
o 132865
o 132786
o 132727
o 132690
o 132652
o 132615
o 132587
o 132481
o 132402
o 132343
o 132306
o 132268
o 132231
o 132201
o 132142
o 132115
o 132056
o 132044
o 131864
o 131785
o 131726
o 131699
o 131640
o 131480
o 131401
o 131342
o 131315
o 131256
o 131221
o 131162
o 131135
o 131076
o 131060
o 131001
o 130969
o 130865
o 130786
o 130727
o 130509
o 130430
o 130371
o 130355
o 130296
o 130285
o 130269
o 130210
o 130125
o 130046
o 129987
o 129971
o 129912
o 129901
o 129885
o 129826
o 129749
o 129690
o 129674
o 129615
o 129614
o 129555
o 129412
o 129333
o 129274
o 129258
o 129199
o 129171
o 129028
o 128949
o 128890
o 128874
o 128815
o 128786
o 128758
o 128518
o 128481
o 128439
o 128402
o 128380
o 128352
o 128112
o 128075
o 128033
o 127996
o 127814
o 127735
o 127698
o 127669
o 127429
o 127392
o 127350
o 127313
o 127285
o 127045
o 127008
o 126966
o 126929
o 126907
o 126879
o 126639
o 126602
o 126560
o 126523
o 126467
o 126466
o 126430
o 126429
o 126401
o 126400
o 126161
o 126124
o 126082
o 126045
o 126044
o 126032
o 126031
o 125995
o 125994
o 125755
o 125718
o 125676
o 125639
o 125638
o 125611
o 125610
o 125371
o 125334
o 125292
o 125255
o 125254
o 125073
o 124994
o 124993
o 124957
o 124956
o 124928
o 124927
o 124688
o 124651
o 124609
o 124572
o 124571
o 124544
o 124543
o 124304
o 124267
o 124225
o 124188
o 124187
o 124166
o 124165
o 124138
o 124137
o 123898
o 123861
o 123819
o 123782
o 123781
o 123715
o 123636
o 123635
o 123599
o 123598
o 123587
o 123586
o 123559
o 123558
o 123319
o 123282
o 123240
o 123203
o 123202
o 123183
o 123182
o 122915
o 122914
o 122878
o 122877
o 122836
o 122835
o 122799
o 122798
o 122735
o 122656
o 122655
o 122619
o 122618
o 122581
o 122580
o 122544
o 122543
o 122300
o 122263
o 122221
o 122184
o 122183
o 122146
o 122145
o 122109
o 122108
o 121944
o 121865
o 121864
o 121828
o 121827
o 121790
o 121789
o 121753
o 121752
o 121725
o 121724
o 121560
o 121481
o 121480
o 121444
o 121443
o 121406
o 121405
o 121369
o 121368
o 121299
o 121220
o 121219
o 121213
o 121134
o 121133
o 120915
o 120836
o 120835
o 120829
o 120750
o 120749
o 120559
o 120558
o 120480
o 120479
o 120473
o 120472
o 120394
o 120393
o 120379
o 120300
o 120299
o 120293
o 120214
o 120213
o 120139
o 120138
o 119944
o 119865
o 119864
o 119790
o 119789
o 119588
o 119509
o 119508
o 119434
o 119433
o 119423
o 119422
o 119348
o 119347
o 119204
o 119125
o 119124
o 119050
o 119049
o 119039
o 119038
o 118964
o 118963
o 118950
o 118949
o 118907
o 118906
o 118832
o 118831
o 118828
o 118827
o 118753
o 118752
o 118491
o 118490
o 118416
o 118415
o 118412
o 118411
o 118337
o 118336
o 118107
o 118106
o 118032
o 118031
o 118028
o 118027
o 117953
o 117952
o 117880
o 117879
o 117815
o 117814
o 117762
o 117683
o 117682
o 117608
o 117607
o 117597
o 117596
o 117522
o 117521
o 117457
o 117456
o 117255
o 117176
o 117175
o 117101
o 117100
o 117090
o 117089
o 117015
o 117014
o 117001
o 117000
o 116958
o 116957
o 116883
o 116882
o 116879
o 116878
o 116804
o 116803
o 116665
o 116664
o 116590
o 116589
o 116586
o 116585
o 116511
o 116510
o 116439
o 116438
o 116158
o 116157
o 116083
o 116082
o 116079
o 116078
o 116004
o 116003
o 115931
o 115930
o 115877
o 115876
o 115802
o 115801
o 115600
o 115521
o 115520
o 115446
o 115445
o 115373
o 115372
o 115349
o 115348
o 115274
o 115273
o 115072
o 114993
o 114992
o 114918
o 114917
o 114845
o 114844
o 114791
o 114790
o 114716
o 114715
o 114514
o 114435
o 114434
o 114360
o 114359
o 114287
o 114286
o 114220
o 114219
o 113996
o 113995
o 113921
o 113920
o 113917
o 113916
o 113842
o 113841
o 113769
o 113768
o 113749
o 113748
o 113468
o 113467
o 113393
o 113392
o 113389
o 113388
o 113314
o 113313
o 113241
o 113240
o 113177
o 113176
o 113112
o 113111
o 112910
o 112831
o 112830
o 112756
o 112755
o 112683
o 112682
o 112588
o 112587
o 112513
o 112512
o 112509
o 112508
o 112434
o 112433
o 112361
o 112360
o 112333
o 112254
o 112253
o 112179
o 112178
o 112060
o 112059
o 111985
o 111984
o 111981
o 111980
o 111906
o 111905
o 111833
o 111832
o 111769
o 111768
o 111696
o 111695
o 111621
o 111620
o 111502
o 111423
o 111422
o 111348
o 111347
o 111275
o 111274
o 111189
o 111188
o 111114
o 111113
o 111110
o 111109
o 111035
o 111034
o 110962
o 110961
o 110898
o 110897
o 110825
o 110824
o 110750
o 110749
o 110631
o 110552
o 110551
o 110477
o 110476
o 110404
o 110403
o 110381
o 110380
o 110306
o 110305
o 110302
o 110301
o 110227
o 110226
o 110154
o 110153
o 110090
o 110089
o 110017
o 110016
o 109942
o 109941
o 109823
o 109744
o 109743
o 109669
o 109668
o 109596
o 109595
o 109525
o 109524
o 109520
o 109519
o 109447
o 109446
o 109337
o 109258
o 109257
o 109183
o 109182
o 109149
o 109148
o 109110
o 109109
o 109076
o 109075
o 108980
o 108979
o 108905
o 108904
o 108901
o 108900
o 108826
o 108825
o 108753
o 108752
o 108733
o 108732
o 108452
o 108451
o 108377
o 108376
o 108373
o 108372
o 108298
o 108297
o 108225
o 108224
o 108161
o 108160
o 108096
o 108095
o 107894
o 107815
o 107814
o 107740
o 107739
o 107667
o 107666
o 107572
o 107571
o 107497
o 107496
o 107493
o 107492
o 107418
o 107417
o 107345
o 107344
o 107317
o 107238
o 107237
o 107163
o 107162
o 107044
o 107043
o 106969
o 106968
o 106965
o 106964
o 106890
o 106889
o 106817
o 106816
o 106753
o 106752
o 106680
o 106679
o 106605
o 106604
o 106486
o 106407
o 106406
o 106332
o 106331
o 106259
o 106258
o 106173
o 106172
o 106098
o 106097
o 106094
o 106093
o 106019
o 106018
o 105946
o 105945
o 105882
o 105881
o 105809
o 105808
o 105734
o 105733
o 105615
o 105536
o 105535
o 105461
o 105460
o 105388
o 105387
o 105365
o 105364
o 105290
o 105289
o 105286
o 105285
o 105211
o 105210
o 105138
o 105137
o 105074
o 105073
o 105001
o 105000
o 104926
o 104925
o 104807
o 104728
o 104727
o 104653
o 104652
o 104580
o 104579
o 104509
o 104508
o 104504
o 104503
o 104431
o 104430
o 104321
o 104320
o 104246
o 104245
o 104242
o 104241
o 104167
o 104166
o 104133
o 104132
o 104094
o 104093
o 104060
o 104059
o 104056
o 104055
o 104050
o 104049
o 103970
o 103969
o 103895
o 103894
o 103891
o 103890
o 103816
o 103815
o 103743
o 103742
o 103646
o 103645
o 103571
o 103570
o 103567
o 103566
o 103492
o 103491
o 103412
o 103411
o 103337
o 103336
o 103333
o 103332
o 103258
o 103257
o 103185
o 103184
o 103162
o 103161
o 103087
o 103086
o 103083
o 103082
o 103008
o 103007
o 102935
o 102934
o 102838
o 102837
o 102763
o 102762
o 102759
o 102758
o 102684
o 102683
o 102604
o 102603
o 102529
o 102528
o 102525
o 102524
o 102450
o 102449
o 102377
o 102376
o 102306
o 102305
o 102301
o 102300
o 102228
o 102227
o 102198
o 102197
o 102164
o 102163
o 102118
o 102039
o 102038
o 101964
o 101963
o 101930
o 101929
o 101891
o 101890
o 101857
o 101856
o 101841
o 101840
o 101761
o 101760
o 101686
o 101685
o 101682
o 101681
o 101607
o 101606
o 101534
o 101533
o 101467
o 101388
o 101387
o 101313
o 101312
o 101233
o 101232
o 101158
o 101157
o 101154
o 101153
o 101079
o 101078
o 101006
o 101005
o 100909
o 100830
o 100829
o 100755
o 100754
o 100675
o 100596
o 100595
o 100521
o 100520
o 100448
o 100447
o 100433
o 100432
o 100353
o 100352
o 100278
o 100277
o 100274
o 100273
o 100199
o 100198
o 100126
o 100125
o 100059
o 99980
o 99979
o 99905
o 99904
o 99825
o 99824
o 99750
o 99749
o 99746
o 99745
o 99671
o 99670
o 99598
o 99597
o 99501
o 99422
o 99421
o 99347
o 99346
o 99267
o 99188
o 99187
o 99113
o 99112
o 99040
o 99039
o 99034
o 99033
o 98954
o 98953
o 98879
o 98878
o 98875
o 98874
o 98800
o 98799
o 98727
o 98726
o 98630
o 98551
o 98550
o 98476
o 98475
o 98396
o 98317
o 98316
o 98242
o 98241
o 98169
o 98168
o 98146
o 98145
o 98071
o 98070
o 98067
o 98066
o 97992
o 97991
o 97919
o 97918
o 97822
o 97743
o 97742
o 97668
o 97667
o 97588
o 97509
o 97508
o 97434
o 97433
o 97361
o 97360
o 97290
o 97289
o 97285
o 97284
o 97212
o 97211
o 97182
o 97181
o 97148
o 97147
o 97102
o 97101
o 97027
o 97026
o 97023
o 97022
o 96948
o 96947
o 96914
o 96913
o 96875
o 96874
o 96841
o 96840
o 96777
o 96776
o 96667
o 96666
o 96592
o 96591
o 96588
o 96587
o 96513
o 96512
o 96479
o 96478
o 96440
o 96439
o 96406
o 96405
o 96383
o 96382
o 96310
o 96309
o 96246
o 96245
o 96173
o 96172
o 96098
o 96097
o 95979
o 95900
o 95899
o 95825
o 95824
o 95752
o 95751
o 95721
o 95720
o 95602
o 95601
o 95527
o 95526
o 95523
o 95522
o 95448
o 95447
o 95375
o 95374
o 95311
o 95310
o 95238
o 95237
o 95163
o 95162
o 95044
o 94965
o 94964
o 94890
o 94889
o 94817
o 94816
o 94746
o 94745
o 94741
o 94740
o 94668
o 94667
o 94558
o 94557
o 94483
o 94482
o 94479
o 94478
o 94404
o 94403
o 94370
o 94369
o 94331
o 94330
o 94297
o 94296
o 94271
o 94270
o 94237
o 94236
o 94198
o 94197
o 94164
o 94163
o 94133
o 94132
o 94094
o 94093
o 94060
o 94059
o 94034
o 94033
o 94000
o 93999
o 93961
o 93960
o 93927
o 9392Killed
1979.434u 0.264s 33:08.35 99.5%	0+0k 0+0io 0pf+0w