Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz-2009-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/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 228 1638 3007711
WARNING: Ubcsat not found.
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 259793
o 259751
o 259706
o 259495
o 258963
o 258921
o 258876
o 258854
o 258812
o 258767
o 258357
o 258248
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 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 254657
o 254548
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 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 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 249684
o 249575
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 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 245338
o 245296
o 245251
o 245229
o 245187
o 245142
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 242001
o 241959
o 241914
o 241892
o 241850
o 241805
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 237954
o 237912
o 237867
o 237845
o 237803
o 237758
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 235379
o 235337
o 235292
o 235270
o 235228
o 235183
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 231332
o 231290
o 231245
o 231223
o 231181
o 231136
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 228416
o 228374
o 228329
o 228272
o 228230
o 228185
o 228163
o 228121
o 228076
o 228075
o 228018
o 227976
o 227931
o 227909
o 227867
o 227822
o 227767
o 227725
o 227680
o 227623
o 227581
o 227536
o 227514
o 227472
o 227427
o 227132
o 227090
o 227045
o 226988
o 226946
o 226901
o 226879
o 226837
o 226792
o 226762
o 226720
o 226675
o 226618
o 226576
o 226531
o 226509
o 226467
o 226422
o 226127
o 226085
o 226040
o 225983
o 225941
o 225896
o 225874
o 225832
o 225787
o 225754
o 225712
o 225667
o 225645
o 225603
o 225558
o 225529
o 225487
o 225442
o 225385
o 225343
o 225298
o 225276
o 225234
o 225189
o 224894
o 224852
o 224807
o 224750
o 224708
o 224663
o 224641
o 224599
o 224554
o 224369
o 224327
o 224282
o 224225
o 224183
o 224138
o 224116
o 224074
o 224029
o 224028
o 223971
o 223929
o 223884
o 223862
o 223820
o 223775
o 223720
o 223678
o 223633
o 223576
o 223534
o 223489
o 223467
o 223425
o 223380
o 223085
o 223043
o 222998
o 222941
o 222899
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 220450
o 220405
o 220383
o 220341
o 220296
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 219274
o 219232
o 219187
o 219165
o 219123
o 219078
o 219023
o 218981
o 218936
o 218879
o 218837
o 218792
o 218770
o 218728
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 217215
o 217170
o 217148
o 217106
o 217061
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 216039
o 215997
o 215952
o 215930
o 215888
o 215843
o 215788
o 215746
o 215701
o 215644
o 215602
o 215557
o 215535
o 215493
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 213767
o 213725
o 213680
o 213658
o 213616
o 213571
o 213516
o 213474
o 213429
o 213372
o 213330
o 213285
o 213263
o 213221
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 211104
o 211059
o 211037
o 210995
o 210950
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 209928
o 209886
o 209841
o 209819
o 209777
o 209732
o 209677
o 209635
o 209590
o 209533
o 209491
o 209446
o 209424
o 209382
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 207656
o 207614
o 207569
o 207547
o 207505
o 207460
o 207405
o 207363
o 207318
o 207261
o 207219
o 207174
o 207152
o 207110
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 205157
o 205112
o 204887
o 204845
o 204800
o 204743
o 204701
o 204656
o 204634
o 204592
o 204547
o 204540
o 204495
o 204270
o 204228
o 204183
o 204126
o 204084
o 204039
o 204017
o 203975
o 203930
o 203912
o 203870
o 203825
o 203803
o 203761
o 203716
o 203661
o 203619
o 203574
o 203517
o 203475
o 203430
o 203408
o 203366
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 201640
o 201598
o 201553
o 201531
o 201489
o 201444
o 201389
o 201347
o 201302
o 201245
o 201203
o 201158
o 201136
o 201094
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 199420
o 199378
o 199333
o 199311
o 199269
o 199224
o 199169
o 199127
o 199082
o 199025
o 198983
o 198938
o 198916
o 198874
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 197148
o 197106
o 197061
o 197039
o 196997
o 196952
o 196897
o 196855
o 196810
o 196753
o 196711
o 196666
o 196644
o 196602
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 194361
o 194319
o 194274
o 194252
o 194210
o 194165
o 194110
o 194068
o 194023
o 193966
o 193924
o 193879
o 193857
o 193815
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 192552
o 192327
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 190486
o 190441
o 190419
o 190377
o 190332
o 190107
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 188256
o 188214
o 188169
o 188147
o 188105
o 188060
o 187835
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 185469
o 185427
o 185382
o 185360
o 185318
o 185273
o 185048
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 183205
o 183160
o 183138
o 183096
o 183051
o 182826
o 182784
o 182739
o 182682
o 182640
o 182595
o 182573
o 182531
o 182486
o 182341
o 182299
o 182254
o 182197
o 182155
o 182110
o 182088
o 182046
o 182001
o 181968
o 181911
o 181869
o 181824
o 181802
o 181760
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 179975
o 179933
o 179888
o 179866
o 179824
o 179779
o 179554
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 176180
o 176138
o 176093
o 176071
o 176029
o 175984
o 175759
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 173632
o 173575
o 173533
o 173488
o 173466
o 173424
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 172162
o 172117
o 172095
o 172053
o 172008
o 171783
o 171741
o 171696
o 171639
o 171597
o 171552
o 171530
o 171488
o 171443
o 171298
o 171256
o 171211
o 171154
o 171112
o 171067
o 171045
o 171003
o 170958
o 170925
o 170868
o 170826
o 170781
o 170759
o 170717
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 168932
o 168890
o 168845
o 168823
o 168781
o 168736
o 168511
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 165137
o 165095
o 165050
o 165028
o 164986
o 164941
o 164716
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 160683
o 160641
o 160596
o 160574
o 160532
o 160487
o 160262
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 156888
o 156846
o 156801
o 156779
o 156737
o 156692
o 156467
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 154599
o 154554
o 154532
o 154490
o 154445
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 152897
o 152855
o 152810
o 152788
o 152746
o 152701
o 152476
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 150611
o 150554
o 150512
o 150467
o 150445
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 149253
o 149211
o 149166
o 149144
o 149102
o 149057
o 148832
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 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 142239
o 142197
o 142152
o 142130
o 142088
o 142043
o 141818
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 138444
o 138402
o 138357
o 138335
o 138293
o 138248
o 138023
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 136155
o 136110
o 136088
o 136046
o 136001
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 134453
o 134411
o 134366
o 134344
o 134302
o 134257
o 134032
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 132167
o 132110
o 132068
o 132023
o 132001
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 130809
o 130767
o 130722
o 130700
o 130658
o 130613
o 130388
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 126781
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 124240
o 124195
o 124138
o 124096
o 124051
o 124029
o 123987
o 123942
o 123717
o 123675
o 123630
o 123573
o 123531
o 123486
o 123464
o 123422
o 123377
o 123376
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 121873
o 121831
o 121786
o 121561
o 121519
o 121474
o 121417
o 121375
o 121330
o 121308
o 121266
o 121221
o 121220
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 118679
o 118634
o 118577
o 118535
o 118490
o 118468
o 118426
o 118381
o 118156
o 118114
o 118069
o 118012
o 117970
o 117925
o 117903
o 117861
o 117816
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 116317
o 116295
o 116253
o 116208
o 116192
o 116147
o 116090
o 116048
o 116003
o 115981
o 115939
o 115894
o 115669
o 115627
o 115582
o 115525
o 115483
o 115438
o 115416
o 115374
o 115329
o 115328
o 115295
o 115238
o 115196
o 115151
o 115129
o 115087
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 113817
o 113788
o 113592
o 113550
o 113505
o 113448
o 113406
o 113361
o 113339
o 113297
o 113252
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 112105
o 112063
o 112018
o 111961
o 111919
o 111874
o 111852
o 111810
o 111765
o 111745
o 111703
o 111658
o 111601
o 111559
o 111514
o 111492
o 111450
o 111405
o 111389
o 111344
o 111287
o 111245
o 111200
o 111178
o 111136
o 111091
o 111067
o 110866
o 110824
o 110779
o 110722
o 110680
o 110635
o 110613
o 110571
o 110526
o 110525
o 110485
o 110443
o 110398
o 110341
o 110299
o 110254
o 110232
o 110190
o 110145
o 109944
o 109902
o 109857
o 109800
o 109758
o 109713
o 109691
o 109649
o 109604
o 109580
o 109379
o 109337
o 109292
o 109235
o 109193
o 109148
o 109126
o 109084
o 109039
o 109035
o 108990
o 108970
o 108928
o 108883
o 108826
o 108784
o 108739
o 108717
o 108675
o 108630
o 108614
o 108569
o 108512
o 108470
o 108425
o 108403
o 108361
o 108316
o 108292
o 108091
o 108049
o 108004
o 107947
o 107905
o 107860
o 107838
o 107796
o 107751
o 107750
o 107743
o 107721
o 107679
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 106805
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 105948
o 105638
o 105596
o 105551
o 105494
o 105452
o 105407
o 105377
o 105344
o 105302
o 105257
o 105200
o 105158
o 105113
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 103637
o 103595
o 103550
o 103493
o 103451
o 103406
o 103384
o 103327
o 103285
o 103240
o 103216
o 103188
o 102906
o 102864
o 102819
o 102762
o 102720
o 102675
o 102670
o 102634
o 102610
o 102300
o 102258
o 102213
o 102156
o 102114
o 102069
o 102047
o 101990
o 101948
o 101903
o 101879
o 101851
o 1015Killed
1979.628u 0.071s 33:00.70 99.9%	0+0k 0+0io 0pf+0w