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-3.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-3.net.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 3007711
o 266033
o 265699
o 265167
o 264838
o 264306
o 263945
o 263611
o 263079
o 262966
o 262924
o 262879
o 262605
o 262271
o 261739
o 261697
o 261652
o 261133
o 260823
o 260781
o 260736
o 260428
o 260386
o 260341
o 260325
o 260283
o 260238
o 259793
o 259751
o 259706
o 259495
o 259453
o 259408
o 258963
o 258921
o 258876
o 258854
o 258812
o 258767
o 258357
o 258248
o 258244
o 258202
o 258157
o 258135
o 258093
o 258048
o 258047
o 258005
o 257960
o 257938
o 257896
o 257851
o 257652
o 257610
o 257565
o 257543
o 257501
o 257456
o 257017
o 256975
o 256930
o 256908
o 256866
o 256821
o 256434
o 256392
o 256347
o 256325
o 256283
o 256238
o 256202
o 256157
o 256156
o 256114
o 256069
o 256047
o 256005
o 255960
o 255761
o 255719
o 255674
o 255652
o 255610
o 255565
o 255126
o 255084
o 255039
o 255017
o 254975
o 254930
o 254544
o 254502
o 254457
o 254435
o 254393
o 254348
o 254347
o 254305
o 254260
o 254238
o 254196
o 254151
o 253952
o 253910
o 253865
o 253843
o 253801
o 253756
o 253317
o 253275
o 253230
o 253208
o 253166
o 253121
o 253120
o 253075
o 253074
o 253032
o 252987
o 252965
o 252923
o 252878
o 252679
o 252637
o 252592
o 252570
o 252528
o 252483
o 252044
o 252002
o 251957
o 251935
o 251893
o 251848
o 251461
o 251419
o 251374
o 251352
o 251310
o 251265
o 251229
o 251184
o 251183
o 251141
o 251096
o 251074
o 251032
o 250987
o 250788
o 250746
o 250701
o 250679
o 250637
o 250592
o 250153
o 250111
o 250066
o 250044
o 250002
o 249957
o 249571
o 249529
o 249484
o 249462
o 249420
o 249375
o 249374
o 249332
o 249287
o 249265
o 249223
o 249178
o 248979
o 248937
o 248892
o 248870
o 248828
o 248783
o 248344
o 248302
o 248257
o 248235
o 248193
o 248148
o 247754
o 247712
o 247667
o 247645
o 247603
o 247558
o 247171
o 247129
o 247084
o 247062
o 247020
o 246975
o 246951
o 246939
o 246894
o 246893
o 246851
o 246806
o 246784
o 246742
o 246697
o 246498
o 246456
o 246411
o 246389
o 246347
o 246302
o 245863
o 245821
o 245776
o 245754
o 245712
o 245667
o 245281
o 245239
o 245194
o 245172
o 245130
o 245085
o 245084
o 245042
o 244997
o 244975
o 244933
o 244888
o 244689
o 244647
o 244602
o 244580
o 244538
o 244493
o 244054
o 244012
o 243967
o 243945
o 243903
o 243858
o 243854
o 243812
o 243767
o 243530
o 243488
o 243443
o 243421
o 243379
o 243334
o 243161
o 243119
o 243074
o 243052
o 243010
o 242965
o 242526
o 242484
o 242439
o 242417
o 242375
o 242330
o 241944
o 241902
o 241857
o 241835
o 241793
o 241748
o 241747
o 241705
o 241660
o 241638
o 241596
o 241551
o 241352
o 241310
o 241265
o 241243
o 241201
o 241156
o 240717
o 240675
o 240630
o 240608
o 240566
o 240521
o 240347
o 240305
o 240260
o 240238
o 240196
o 240151
o 239712
o 239670
o 239625
o 239603
o 239561
o 239516
o 239483
o 239441
o 239396
o 239374
o 239332
o 239287
o 239114
o 239072
o 239027
o 239005
o 238963
o 238918
o 238479
o 238437
o 238392
o 238370
o 238328
o 238283
o 237897
o 237855
o 237810
o 237788
o 237746
o 237701
o 237700
o 237658
o 237613
o 237591
o 237549
o 237504
o 237305
o 237263
o 237218
o 237196
o 237154
o 237109
o 236670
o 236628
o 236583
o 236561
o 236519
o 236474
o 236452
o 236430
o 236388
o 236343
o 235904
o 235862
o 235817
o 235795
o 235753
o 235708
o 235322
o 235280
o 235235
o 235213
o 235171
o 235126
o 235125
o 235083
o 235038
o 235016
o 234974
o 234929
o 234730
o 234688
o 234643
o 234621
o 234579
o 234534
o 234095
o 234053
o 234008
o 233986
o 233944
o 233899
o 233725
o 233683
o 233638
o 233616
o 233574
o 233529
o 233090
o 233048
o 233003
o 232981
o 232939
o 232894
o 232861
o 232819
o 232774
o 232752
o 232710
o 232665
o 232492
o 232450
o 232405
o 232383
o 232341
o 232296
o 231857
o 231815
o 231770
o 231748
o 231706
o 231661
o 231275
o 231233
o 231188
o 231166
o 231124
o 231079
o 231078
o 231036
o 230991
o 230969
o 230927
o 230882
o 230683
o 230641
o 230596
o 230574
o 230532
o 230487
o 230048
o 230006
o 229961
o 229939
o 229897
o 229852
o 229707
o 229665
o 229620
o 229563
o 229521
o 229476
o 229454
o 229412
o 229367
o 229345
o 229323
o 229281
o 229236
o 228941
o 228899
o 228854
o 228797
o 228755
o 228710
o 228688
o 228646
o 228601
o 228359
o 228317
o 228272
o 228215
o 228173
o 228128
o 228106
o 228064
o 228019
o 228011
o 227966
o 227767
o 227725
o 227680
o 227658
o 227616
o 227571
o 227132
o 227090
o 227045
o 227023
o 226981
o 226936
o 226901
o 226879
o 226837
o 226792
o 226762
o 226720
o 226675
o 226653
o 226611
o 226566
o 226127
o 226085
o 226040
o 226018
o 225976
o 225931
o 225896
o 225874
o 225832
o 225787
o 225781
o 225773
o 225728
o 225529
o 225487
o 225442
o 225420
o 225378
o 225333
o 224894
o 224852
o 224807
o 224785
o 224743
o 224698
o 224663
o 224641
o 224599
o 224554
o 224312
o 224270
o 224225
o 224168
o 224126
o 224081
o 224059
o 224017
o 223972
o 223964
o 223919
o 223720
o 223678
o 223633
o 223611
o 223569
o 223524
o 223085
o 223043
o 222998
o 222976
o 222934
o 222889
o 222854
o 222832
o 222790
o 222745
o 222730
o 222435
o 222393
o 222348
o 222291
o 222249
o 222204
o 222182
o 222140
o 222095
o 221870
o 221828
o 221783
o 221726
o 221684
o 221639
o 221617
o 221575
o 221530
o 221430
o 221388
o 221343
o 221286
o 221244
o 221199
o 221177
o 221135
o 221090
o 220865
o 220823
o 220778
o 220721
o 220679
o 220634
o 220612
o 220570
o 220525
o 220492
o 220197
o 220155
o 220110
o 220053
o 220011
o 219966
o 219944
o 219902
o 219857
o 219632
o 219590
o 219545
o 219488
o 219446
o 219401
o 219379
o 219337
o 219292
o 219275
o 219050
o 219008
o 218963
o 218906
o 218864
o 218819
o 218797
o 218755
o 218710
o 218683
o 218388
o 218346
o 218301
o 218244
o 218202
o 218157
o 218135
o 218093
o 218048
o 217823
o 217781
o 217736
o 217679
o 217637
o 217592
o 217570
o 217528
o 217483
o 217444
o 217399
o 217377
o 217335
o 217290
o 217257
o 216962
o 216920
o 216875
o 216818
o 216776
o 216731
o 216709
o 216667
o 216622
o 216397
o 216355
o 216310
o 216253
o 216211
o 216166
o 216144
o 216102
o 216057
o 216040
o 215815
o 215773
o 215728
o 215671
o 215629
o 215584
o 215562
o 215520
o 215475
o 215448
o 215153
o 215111
o 215066
o 215009
o 214967
o 214922
o 214900
o 214858
o 214813
o 214588
o 214546
o 214501
o 214444
o 214402
o 214357
o 214335
o 214293
o 214248
o 214125
o 214083
o 214038
o 213981
o 213939
o 213894
o 213872
o 213830
o 213785
o 213768
o 213543
o 213501
o 213456
o 213399
o 213357
o 213312
o 213290
o 213248
o 213203
o 213176
o 212881
o 212839
o 212794
o 212737
o 212695
o 212650
o 212628
o 212586
o 212541
o 212316
o 212274
o 212229
o 212172
o 212130
o 212085
o 212063
o 212021
o 211976
o 211936
o 211914
o 211872
o 211827
o 211602
o 211560
o 211515
o 211458
o 211416
o 211371
o 211349
o 211307
o 211262
o 211224
o 211179
o 211146
o 210851
o 210809
o 210764
o 210707
o 210665
o 210620
o 210598
o 210556
o 210511
o 210286
o 210244
o 210199
o 210142
o 210100
o 210055
o 210033
o 209991
o 209946
o 209929
o 209704
o 209662
o 209617
o 209560
o 209518
o 209473
o 209451
o 209409
o 209364
o 209337
o 209042
o 209000
o 208955
o 208898
o 208856
o 208811
o 208789
o 208747
o 208702
o 208477
o 208435
o 208390
o 208333
o 208291
o 208246
o 208224
o 208182
o 208137
o 208014
o 207972
o 207927
o 207870
o 207828
o 207783
o 207761
o 207719
o 207674
o 207657
o 207432
o 207390
o 207345
o 207288
o 207246
o 207201
o 207179
o 207137
o 207092
o 207065
o 206770
o 206728
o 206683
o 206626
o 206584
o 206539
o 206517
o 206475
o 206430
o 206205
o 206163
o 206118
o 206061
o 206019
o 205974
o 205952
o 205910
o 205865
o 205856
o 205811
o 205586
o 205544
o 205499
o 205442
o 205400
o 205355
o 205333
o 205291
o 205246
o 205208
o 205163
o 205130
o 204835
o 204793
o 204748
o 204691
o 204649
o 204604
o 204582
o 204540
o 204495
o 204270
o 204228
o 204183
o 204126
o 204084
o 204039
o 204017
o 203975
o 203930
o 203913
o 203688
o 203646
o 203601
o 203544
o 203502
o 203457
o 203435
o 203393
o 203348
o 203321
o 203026
o 202984
o 202939
o 202882
o 202840
o 202795
o 202773
o 202731
o 202686
o 202461
o 202419
o 202374
o 202317
o 202275
o 202230
o 202208
o 202166
o 202121
o 201998
o 201956
o 201911
o 201854
o 201812
o 201767
o 201745
o 201703
o 201658
o 201641
o 201416
o 201374
o 201329
o 201272
o 201230
o 201185
o 201163
o 201121
o 201076
o 201049
o 200754
o 200712
o 200667
o 200610
o 200568
o 200523
o 200501
o 200459
o 200414
o 200189
o 200147
o 200102
o 200045
o 200003
o 199958
o 199936
o 199894
o 199849
o 199778
o 199736
o 199691
o 199634
o 199592
o 199547
o 199525
o 199483
o 199438
o 199421
o 199196
o 199154
o 199109
o 199052
o 199010
o 198965
o 198943
o 198901
o 198856
o 198829
o 198534
o 198492
o 198447
o 198390
o 198348
o 198303
o 198281
o 198239
o 198194
o 197969
o 197927
o 197882
o 197825
o 197783
o 197738
o 197716
o 197674
o 197629
o 197506
o 197464
o 197419
o 197362
o 197320
o 197275
o 197253
o 197211
o 197166
o 197149
o 196924
o 196882
o 196837
o 196780
o 196738
o 196693
o 196671
o 196629
o 196584
o 196557
o 196262
o 196220
o 196175
o 196118
o 196076
o 196031
o 196009
o 195967
o 195922
o 195697
o 195655
o 195610
o 195553
o 195511
o 195466
o 195444
o 195402
o 195357
o 195182
o 195140
o 195095
o 195038
o 194996
o 194951
o 194929
o 194887
o 194842
o 194719
o 194677
o 194632
o 194575
o 194533
o 194488
o 194466
o 194424
o 194379
o 194362
o 194137
o 194095
o 194050
o 193993
o 193951
o 193906
o 193884
o 193842
o 193797
o 193770
o 193475
o 193433
o 193388
o 193331
o 193289
o 193244
o 193222
o 193180
o 193135
o 192910
o 192868
o 192823
o 192766
o 192724
o 192679
o 192657
o 192615
o 192570
o 192563
o 192506
o 192464
o 192419
o 192397
o 192355
o 192310
o 192285
o 192240
o 192183
o 192141
o 192096
o 192074
o 192032
o 191987
o 191954
o 191897
o 191855
o 191810
o 191788
o 191746
o 191701
o 191406
o 191364
o 191319
o 191262
o 191220
o 191175
o 191153
o 191111
o 191066
o 190841
o 190799
o 190754
o 190697
o 190655
o 190610
o 190588
o 190546
o 190501
o 190430
o 190388
o 190343
o 190286
o 190244
o 190199
o 190177
o 190135
o 190090
o 190065
o 190020
o 189963
o 189921
o 189876
o 189854
o 189812
o 189767
o 189734
o 189677
o 189635
o 189590
o 189568
o 189526
o 189481
o 189186
o 189144
o 189099
o 189042
o 189000
o 188955
o 188933
o 188891
o 188846
o 188621
o 188579
o 188534
o 188477
o 188435
o 188390
o 188368
o 188326
o 188281
o 188158
o 188116
o 188071
o 188014
o 187972
o 187927
o 187905
o 187863
o 187818
o 187793
o 187748
o 187691
o 187649
o 187604
o 187582
o 187540
o 187495
o 187462
o 187405
o 187363
o 187318
o 187296
o 187254
o 187209
o 186914
o 186872
o 186827
o 186770
o 186728
o 186683
o 186661
o 186619
o 186574
o 186349
o 186307
o 186262
o 186205
o 186163
o 186118
o 186096
o 186054
o 186009
o 185834
o 185792
o 185747
o 185690
o 185648
o 185603
o 185581
o 185539
o 185494
o 185371
o 185329
o 185284
o 185227
o 185185
o 185140
o 185118
o 185076
o 185031
o 185006
o 184961
o 184904
o 184862
o 184817
o 184795
o 184753
o 184708
o 184675
o 184618
o 184576
o 184531
o 184509
o 184467
o 184422
o 184127
o 184085
o 184040
o 183983
o 183941
o 183896
o 183874
o 183832
o 183787
o 183562
o 183520
o 183475
o 183418
o 183376
o 183331
o 183309
o 183267
o 183222
o 183208
o 183166
o 183121
o 183096
o 183051
o 182826
o 182784
o 182739
o 182682
o 182640
o 182595
o 182573
o 182531
o 182486
o 182478
o 182433
o 182411
o 182369
o 182324
o 182299
o 182254
o 182197
o 182155
o 182110
o 182088
o 182046
o 182001
o 181995
o 181938
o 181896
o 181851
o 181829
o 181787
o 181742
o 181715
o 181420
o 181378
o 181333
o 181276
o 181234
o 181189
o 181167
o 181125
o 181080
o 180855
o 180813
o 180768
o 180711
o 180669
o 180624
o 180602
o 180560
o 180515
o 180340
o 180298
o 180253
o 180196
o 180154
o 180109
o 180087
o 180045
o 180000
o 179877
o 179835
o 179790
o 179733
o 179691
o 179646
o 179624
o 179582
o 179537
o 179512
o 179467
o 179410
o 179368
o 179323
o 179301
o 179259
o 179214
o 179181
o 179124
o 179082
o 179037
o 179015
o 178973
o 178928
o 178633
o 178591
o 178546
o 178489
o 178447
o 178402
o 178380
o 178338
o 178293
o 178068
o 178026
o 177981
o 177924
o 177882
o 177837
o 177815
o 177773
o 177728
o 177625
o 177583
o 177538
o 177481
o 177439
o 177394
o 177372
o 177330
o 177285
o 177060
o 177018
o 176973
o 176916
o 176874
o 176829
o 176807
o 176765
o 176720
o 176545
o 176503
o 176458
o 176401
o 176359
o 176314
o 176292
o 176250
o 176205
o 176082
o 176040
o 175995
o 175938
o 175896
o 175851
o 175829
o 175787
o 175742
o 175717
o 175672
o 175615
o 175573
o 175528
o 175506
o 175464
o 175419
o 175386
o 175329
o 175287
o 175242
o 175220
o 175178
o 175133
o 174838
o 174796
o 174751
o 174694
o 174652
o 174607
o 174585
o 174543
o 174498
o 174273
o 174231
o 174186
o 174129
o 174087
o 174042
o 174020
o 173978
o 173933
o 173918
o 173861
o 173819
o 173774
o 173752
o 173710
o 173665
o 173659
o 173602
o 173560
o 173515
o 173493
o 173451
o 173406
o 173379
o 173084
o 173042
o 172997
o 172940
o 172898
o 172853
o 172831
o 172789
o 172744
o 172519
o 172477
o 172432
o 172375
o 172333
o 172288
o 172266
o 172224
o 172179
o 172165
o 172123
o 172078
o 172053
o 172008
o 171783
o 171741
o 171696
o 171639
o 171597
o 171552
o 171530
o 171488
o 171443
o 171435
o 171390
o 171368
o 171326
o 171281
o 171256
o 171211
o 171154
o 171112
o 171067
o 171045
o 171003
o 170958
o 170952
o 170895
o 170853
o 170808
o 170786
o 170744
o 170699
o 170672
o 170377
o 170335
o 170290
o 170233
o 170191
o 170146
o 170124
o 170082
o 170037
o 169812
o 169770
o 169725
o 169668
o 169626
o 169581
o 169559
o 169517
o 169472
o 169297
o 169255
o 169210
o 169153
o 169111
o 169066
o 169044
o 169002
o 168957
o 168834
o 168792
o 168747
o 168690
o 168648
o 168603
o 168581
o 168539
o 168494
o 168469
o 168424
o 168367
o 168325
o 168280
o 168258
o 168216
o 168171
o 168138
o 168081
o 168039
o 167994
o 167972
o 167930
o 167885
o 167590
o 167548
o 167503
o 167446
o 167404
o 167359
o 167337
o 167295
o 167250
o 167025
o 166983
o 166938
o 166881
o 166839
o 166794
o 166772
o 166730
o 166685
o 166582
o 166540
o 166495
o 166438
o 166396
o 166351
o 166329
o 166287
o 166242
o 166017
o 165975
o 165930
o 165873
o 165831
o 165786
o 165764
o 165722
o 165677
o 165502
o 165460
o 165415
o 165358
o 165316
o 165271
o 165249
o 165207
o 165162
o 165039
o 164997
o 164952
o 164895
o 164853
o 164808
o 164786
o 164744
o 164699
o 164674
o 164629
o 164572
o 164530
o 164485
o 164463
o 164421
o 164376
o 164343
o 164286
o 164244
o 164199
o 164177
o 164135
o 164090
o 163795
o 163753
o 163708
o 163651
o 163609
o 163564
o 163542
o 163500
o 163455
o 163230
o 163188
o 163143
o 163086
o 163044
o 162999
o 162977
o 162935
o 162890
o 162619
o 162577
o 162532
o 162475
o 162433
o 162388
o 162366
o 162324
o 162279
o 162054
o 162012
o 161967
o 161910
o 161868
o 161823
o 161801
o 161759
o 161714
o 161563
o 161521
o 161476
o 161419
o 161377
o 161332
o 161310
o 161268
o 161223
o 161048
o 161006
o 160961
o 160904
o 160862
o 160817
o 160795
o 160753
o 160708
o 160585
o 160543
o 160498
o 160441
o 160399
o 160354
o 160332
o 160290
o 160245
o 160220
o 160175
o 160118
o 160076
o 160031
o 160009
o 159967
o 159922
o 159889
o 159832
o 159790
o 159745
o 159723
o 159681
o 159636
o 159341
o 159299
o 159254
o 159197
o 159155
o 159110
o 159088
o 159046
o 159001
o 158776
o 158734
o 158689
o 158632
o 158590
o 158545
o 158523
o 158481
o 158436
o 158333
o 158291
o 158246
o 158189
o 158147
o 158102
o 158080
o 158038
o 157993
o 157768
o 157726
o 157681
o 157624
o 157582
o 157537
o 157515
o 157473
o 157428
o 157253
o 157211
o 157166
o 157109
o 157067
o 157022
o 157000
o 156958
o 156913
o 156790
o 156748
o 156703
o 156646
o 156604
o 156559
o 156537
o 156495
o 156450
o 156425
o 156380
o 156323
o 156281
o 156236
o 156214
o 156172
o 156127
o 156094
o 156037
o 155995
o 155950
o 155928
o 155886
o 155841
o 155546
o 155504
o 155459
o 155402
o 155360
o 155315
o 155293
o 155251
o 155206
o 154981
o 154939
o 154894
o 154837
o 154795
o 154750
o 154728
o 154686
o 154641
o 154637
o 154342
o 154300
o 154255
o 154198
o 154156
o 154111
o 154089
o 154047
o 154002
o 153777
o 153735
o 153690
o 153633
o 153591
o 153546
o 153524
o 153482
o 153437
o 153262
o 153220
o 153175
o 153118
o 153076
o 153031
o 153009
o 152967
o 152922
o 152799
o 152757
o 152712
o 152655
o 152613
o 152568
o 152546
o 152504
o 152459
o 152434
o 152389
o 152332
o 152290
o 152245
o 152223
o 152181
o 152136
o 152103
o 152046
o 152004
o 151959
o 151937
o 151895
o 151850
o 151555
o 151513
o 151468
o 151411
o 151369
o 151324
o 151302
o 151260
o 151215
o 150990
o 150948
o 150903
o 150846
o 150804
o 150759
o 150737
o 150695
o 150650
o 150624
o 150582
o 150537
o 150515
o 150473
o 150428
o 150403
o 150358
o 150133
o 150091
o 150046
o 149989
o 149947
o 149902
o 149880
o 149838
o 149793
o 149618
o 149576
o 149531
o 149474
o 149432
o 149387
o 149365
o 149323
o 149278
o 149155
o 149113
o 149068
o 149011
o 148969
o 148924
o 148902
o 148860
o 148815
o 148790
o 148745
o 148688
o 148646
o 148601
o 148579
o 148537
o 148492
o 148459
o 148402
o 148360
o 148315
o 148293
o 148251
o 148206
o 147911
o 147869
o 147824
o 147767
o 147725
o 147680
o 147658
o 147616
o 147571
o 147346
o 147304
o 147259
o 147202
o 147160
o 147115
o 147093
o 147051
o 147006
o 146965
o 146908
o 146866
o 146821
o 146799
o 146757
o 146712
o 146679
o 146622
o 146580
o 146535
o 146513
o 146471
o 146426
o 146131
o 146089
o 146044
o 145987
o 145945
o 145900
o 145878
o 145836
o 145791
o 145566
o 145524
o 145479
o 145422
o 145380
o 145335
o 145313
o 145271
o 145226
o 145225
o 145192
o 145135
o 145093
o 145048
o 145026
o 144984
o 144939
o 144898
o 144644
o 144602
o 144557
o 144500
o 144458
o 144413
o 144391
o 144349
o 144304
o 144079
o 144037
o 143992
o 143935
o 143893
o 143848
o 143826
o 143784
o 143739
o 143610
o 143568
o 143523
o 143466
o 143424
o 143379
o 143357
o 143315
o 143270
o 143119
o 143077
o 143032
o 142975
o 142933
o 142888
o 142866
o 142824
o 142779
o 142604
o 142562
o 142517
o 142460
o 142418
o 142373
o 142351
o 142309
o 142264
o 142141
o 142099
o 142054
o 141997
o 141955
o 141910
o 141888
o 141846
o 141801
o 141776
o 141731
o 141674
o 141632
o 141587
o 141565
o 141523
o 141478
o 141445
o 141388
o 141346
o 141301
o 141279
o 141237
o 141192
o 140897
o 140855
o 140810
o 140753
o 140711
o 140666
o 140644
o 140602
o 140557
o 140332
o 140290
o 140245
o 140188
o 140146
o 140101
o 140079
o 140037
o 139992
o 139889
o 139847
o 139802
o 139745
o 139703
o 139658
o 139636
o 139594
o 139549
o 139324
o 139282
o 139237
o 139180
o 139138
o 139093
o 139071
o 139029
o 138984
o 138809
o 138767
o 138722
o 138665
o 138623
o 138578
o 138556
o 138514
o 138469
o 138346
o 138304
o 138259
o 138202
o 138160
o 138115
o 138093
o 138051
o 138006
o 137981
o 137936
o 137879
o 137837
o 137792
o 137770
o 137728
o 137683
o 137650
o 137593
o 137551
o 137506
o 137484
o 137442
o 137397
o 137102
o 137060
o 137015
o 136958
o 136916
o 136871
o 136849
o 136807
o 136762
o 136537
o 136495
o 136450
o 136393
o 136351
o 136306
o 136284
o 136242
o 136197
o 136193
o 135898
o 135856
o 135811
o 135754
o 135712
o 135667
o 135645
o 135603
o 135558
o 135333
o 135291
o 135246
o 135189
o 135147
o 135102
o 135080
o 135038
o 134993
o 134818
o 134776
o 134731
o 134674
o 134632
o 134587
o 134565
o 134523
o 134478
o 134355
o 134313
o 134268
o 134211
o 134169
o 134124
o 134102
o 134060
o 134015
o 133990
o 133945
o 133888
o 133846
o 133801
o 133779
o 133737
o 133692
o 133659
o 133602
o 133560
o 133515
o 133493
o 133451
o 133406
o 133111
o 133069
o 133024
o 132967
o 132925
o 132880
o 132858
o 132816
o 132771
o 132546
o 132504
o 132459
o 132402
o 132360
o 132315
o 132293
o 132251
o 132206
o 132180
o 132138
o 132093
o 132071
o 132029
o 131984
o 131959
o 131914
o 131689
o 131647
o 131602
o 131545
o 131503
o 131458
o 131436
o 131394
o 131349
o 131174
o 131132
o 131087
o 131030
o 130988
o 130943
o 130921
o 130879
o 130834
o 130711
o 130669
o 130624
o 130567
o 130525
o 130480
o 130458
o 130416
o 130371
o 130346
o 130301
o 130244
o 130202
o 130157
o 130135
o 130093
o 130048
o 130015
o 129958
o 129916
o 129871
o 129849
o 129807
o 129762
o 129467
o 129425
o 129380
o 129323
o 129281
o 129236
o 129214
o 129172
o 129127
o 128902
o 128860
o 128815
o 128758
o 128716
o 128671
o 128649
o 128607
o 128562
o 128521
o 128464
o 128422
o 128377
o 128355
o 128313
o 128268
o 128235
o 128178
o 128136
o 128091
o 128069
o 128027
o 127982
o 127687
o 127645
o 127600
o 127543
o 127501
o 127456
o 127434
o 127392
o 127347
o 127122
o 127080
o 127035
o 126978
o 126936
o 126891
o 126869
o 126827
o 126782
o 126748
o 126691
o 126649
o 126604
o 126582
o 126540
o 126495
o 126200
o 126158
o 126113
o 126056
o 126014
o 125969
o 125947
o 125905
o 125860
o 125635
o 125593
o 125548
o 125491
o 125449
o 125404
o 125382
o 125340
o 125295
o 125161
o 125119
o 125074
o 125017
o 124975
o 124930
o 124908
o 124866
o 124821
o 124596
o 124554
o 124509
o 124452
o 124410
o 124365
o 124343
o 124301
o 124256
o 124208
o 124166
o 124121
o 124099
o 124057
o 124012
o 123987
o 123942
o 123717
o 123675
o 123630
o 123573
o 123531
o 123486
o 123464
o 123422
o 123377
o 123343
o 123286
o 123244
o 123199
o 123177
o 123135
o 123090
o 122795
o 122753
o 122708
o 122651
o 122609
o 122564
o 122542
o 122500
o 122455
o 122230
o 122188
o 122143
o 122086
o 122044
o 121999
o 121977
o 121935
o 121890
o 121856
o 121831
o 121786
o 121561
o 121519
o 121474
o 121417
o 121375
o 121330
o 121308
o 121266
o 121221
o 121187
o 121130
o 121088
o 121043
o 121021
o 120979
o 120934
o 120639
o 120597
o 120552
o 120495
o 120453
o 120408
o 120386
o 120344
o 120299
o 120074
o 120032
o 119987
o 119930
o 119888
o 119843
o 119821
o 119779
o 119734
o 119600
o 119558
o 119513
o 119456
o 119414
o 119369
o 119347
o 119305
o 119260
o 119035
o 118993
o 118948
o 118891
o 118849
o 118804
o 118782
o 118740
o 118695
o 118674
o 118449
o 118407
o 118362
o 118305
o 118263
o 118218
o 118196
o 118154
o 118109
o 118068
o 118011
o 117969
o 117924
o 117902
o 117860
o 117815
o 117782
o 117725
o 117683
o 117638
o 117616
o 117574
o 117529
o 117234
o 117192
o 117147
o 117090
o 117048
o 117003
o 116981
o 116939
o 116894
o 116669
o 116627
o 116582
o 116525
o 116483
o 116438
o 116416
o 116374
o 116329
o 116302
o 116257
o 116232
o 116187
o 115962
o 115920
o 115875
o 115818
o 115776
o 115731
o 115709
o 115667
o 115622
o 115581
o 115524
o 115482
o 115437
o 115415
o 115373
o 115328
o 115276
o 115234
o 115189
o 115167
o 115125
o 115080
o 115042
o 114747
o 114705
o 114660
o 114603
o 114561
o 114516
o 114494
o 114452
o 114407
o 114182
o 114140
o 114095
o 114038
o 113996
o 113951
o 113929
o 113887
o 113842
o 113798
o 113741
o 113699
o 113654
o 113632
o 113590
o 113545
o 113504
o 113447
o 113405
o 113360
o 113338
o 113296
o 113251
o 113218
o 113161
o 113119
o 113074
o 113052
o 113010
o 112965
o 112866
o 112670
o 112628
o 112583
o 112526
o 112484
o 112439
o 112417
o 112375
o 112330
o 112301
o 112259
o 112214
o 112105
o 112063
o 112018
o 111961
o 111919
o 111874
o 111852
o 111810
o 111765
o 111724
o 111682
o 111637
o 111580
o 111538
o 111493
o 111471
o 111429
o 111384
o 111360
o 111159
o 111117
o 111072
o 111015
o 110973
o 110928
o 110906
o 110864
o 110819
o 110779
o 110722
o 110680
o 110635
o 110613
o 110571
o 110526
o 110492
o 110435
o 110393
o 110348
o 110326
o 110284
o 110239
o 109944
o 109902
o 109857
o 109800
o 109758
o 109713
o 109691
o 109649
o 109604
o 109379
o 109337
o 109292
o 109235
o 109193
o 109148
o 109126
o 109084
o 109039
o 108925
o 108883
o 108838
o 108781
o 108739
o 108694
o 108672
o 108630
o 108585
o 108384
o 108342
o 108297
o 108240
o 108198
o 108153
o 108131
o 108089
o 108044
o 108003
o 107946
o 107904
o 107859
o 107837
o 107795
o 107750
o 107730
o 107688
o 107643
o 107634
o 107623
o 107566
o 107524
o 107479
o 107457
o 107415
o 107370
o 107169
o 107127
o 107082
o 107025
o 106983
o 106938
o 106916
o 106874
o 106829
o 106604
o 106562
o 106517
o 106460
o 106418
o 106373
o 106351
o 106309
o 106264
o 106203
o 106161
o 106116
o 106059
o 106017
o 105972
o 105638
o 105596
o 105551
o 105494
o 105452
o 105407
o 105378
o 105336
o 105291
o 105257
o 105200
o 105158
o 105113
o 105104
o 104803
o 104761
o 104716
o 104659
o 104617
o 104572
o 104548
o 104238
o 104196
o 104151
o 104094
o 104052
o 104007
o 103971
o 103947
o 103938
o 103637
o 103595
o 103550
o 103493
o 103451
o 103406
o 103384
o 103327
o 103285
o 103240
o 103233
o 103188
o 102906
o 102864
o 102819
o 102762
o 102720
o 102675
o 102670
o 102634
o 102610
o 102601
o 102300
o 102258
o 102213
o 102156
o 102114
o 102069
o 102047
o 101990
o 101948
o 101903
o 101896
o 101851
o 101569
o 101527
o 101482
o 101425
o 101383
o 101338
o 101211
o 101189
o 101045
o 101021
o 101012
o 100993
o 100624
o 100480
o 100233
o 100089
o 100000
o 99909
o 99765
o 99344
o 99200
o 99164
o 99140
o 99131
o 98743
o 98599
o 98577
o 98433
o 98409
o 98400
o 98381
o 980Killed
1979.657u 0.041s 33:11.91 99.3%	0+0k 0+0io 0pf+0w