Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-IncWMaxSatz-wpms_industrial-_home_maxsat_benchmarks_wpms_industrial_upgradeability-problem_mancoosi-test-i2000d0u98-25.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i2000d0u98-25.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 31540812410
o 5441733522
o 5426706933
o 5411680344
o 5396653755
o 5381627166
o 5366600577
o 5351573988
o 5336547399
o 5321520810
o 5306494221
o 5291467632
o 5276441043
o 5261414454
o 5246387865
o 5231361276
o 5216334687
o 5201308098
o 5186281509
o 5171254920
o 5156228331
o 5141201742
o 5126175153
o 5111148564
o 5111148563
o 5096121974
o 5081095385
o 5066068796
o 5051042207
o 5036015618
o 5020989029
o 5005962440
o 4990935851
o 4975909262
o 4960882673
o 4945856084
o 4930829495
o 4915802906
o 4900776317
o 4885749728
o 4870723139
o 4855696550
o 4840669961
o 4825643372
o 4825643371
o 4810616782
o 4810616781
o 4795590192
o 4795590191
o 4780563602
o 4780563601
o 4765537012
o 4765537011
o 4750510422
o 4750510421
o 4735483832
o 4735483831
o 4720457242
o 4720457241
o 4705430652
o 4705430651
o 4690404062
o 4690404061
o 4675377472
o 4675377471
o 4660350882
o 4660350881
o 4645324292
o 4645324291
o 4630297702
o 4615271113
o 4600244524
o 4585217935
o 4585217934
o 4570191345
o 4555164756
o 4540138167
o 4525111578
o 4525111577
o 4510084988
o 4495058399
o 4495058398
o 4480031809
o 4480031808
o 4465005219
o 4449978630
o 4434952041
o 4419925452
o 4404898863
o 4404898862
o 4389872273
o 4374845684
o 4359819095
o 4344792506
o 4329765917
o 4314739328
o 4299712739
o 4284686150
o 4269659561
o 4254632972
o 4239606383
o 4224579794
o 4209553205
o 4194526616
o 4179500027
o 4164473438
o 4149446849
o 4134420260
o 4119393671
o 4104367082
o 4089340493
o 4074313904
o 4059287315
o 4044260726
o 4029234137
o 4014207548
o 3999180959
o 3984154370
o 3969127781
o 3954101192
o 3939074603
o 3924048014
o 3909021425
o 3893994836
o 3878968247
o 3863941658
o 3848915069
o 3833888480
o 3818861891
o 3818861890
o 3803835301
o 3788808712
o 3773782123
o 3758755534
o 3743728945
o 3728702356
o 3713675767
o 3698649178
o 3683622589
o 3668596000
o 3653569411
o 3638542822
o 3623516233
o 3608489644
o 3593463055
o 3578436466
o 3563409877
o 3548383288
o 3533356699
o 3518330110
o 3518330109
o 3503303520
o 3488276931
o 3473250342
o 3458223753
o 3458223752
o 3443197163
o 3428170574
o 3428170573
o 3413143984
o 3413143983
o 3398117394
o 3383090805
o 3368064216
o 3353037627
o 3338011038
o 3338011037
o 3322984448
o 3307957859
o 3292931270
o 3277904681
o 3262878092
o 3247851503
o 3232824914
o 3217798325
o 3217798324
o 3202771735
o 3187745146
o 3172718557
o 3157691968
o 3142665379
o 3127638790
o 3112612201
o 3097585612
o 3082559023
o 3067532434
o 3052505845
o 3037479256
o 3022452667
o 3007426078
o 2992399489
o 2977372900
o 2962346311
o 2947319722
o 2932293133
o 2917266544
o 2902239955
o 2887213366
o 2872186777
o 2857160188
o 2842133599
o 2827107010
o 2812080421
o 2797053832
o 2782027243
o 2767000654
o 2751974065
o 2736947476
o 2721920887
o 2706894298
o 2691867709
o 2676841120
o 2661814531
o 2646787942
o 2631761353
o 2616734764
o 2601708175
o 2601708174
o 2586681585
o 2571654996
o 2556628407
o 2541601819
o 2541601818
o 2526575230
o 2526575229
o 2511548641
o 2496522053
o 2481495465
o 2466468877
o 2451442289
o 2436415701
o 2436415699
o 2421389111
o 2406362523
o 2391335935
o 2376309347
o 2361282759
o 2346256171
o 2331229583
o 2316202995
o 2301176407
o 2286149819
o 2286149817
o 2271123229
o 2271123228
o 2256096640
o 2241070052
o 2241070051
o 2226043463
o 2211016875
o 2195990287
o 2180963699
o 2180963697
o 2165937109
o 2150910521
o 2135883933
o 2120857345
o 2105830757
o 2090804169
o 2075777581
o 2060750994
o 2045724407
o 2030697820
o 2015671233
o 2000644646
o 2000644645
o 1985618058
o 1970591471
o 1955564884
o 1940538297
o 1925511710
o 1910485125
o 1910485119
o 1895458534
o 1895458529
o 1880431944
o 1880431942
o 1880431941
o 1880431939
o 1880431937
o 1865405353
o 1865405351
o 1865405350
o 1865405348
o 1865405346
o 1865405344
o 1850378762
o 1850378760
o 1850378759
o 1850378757
o 1850378755
o 1850378753
o 1835352172
o 1835352170
o 1835352169
o 1835352167
o 1835352165
o 1835352163
o 1820325584
o 1820325582
o 1820325581
o 1820325579
o 1820325577
o 1820325575
o 1820325574
o 1805298995
o 1805298993
o 1805298992
o 1805298990
o 1805298988
o 1805298986
o 1790272407
o 1790272405
o 1790272404
o 1790272402
o 1790272400
o 1790272398
o 1775245819
o 1775245817
o 1775245816
o 1775245814
o 1775245812
o 1775245810
o 1760219233
o 1760219231
o 1760219230
o 1760219228
o 1760219226
o 1760219224
o 1760219222
o 1745192645
o 1745192643
o 1745192642
o 1745192640
o 1745192638
o 1745192636
o 1745192635
o 1745192633
o 1730166056
o 1730166054
o 1730166053
o 1730166051
o 1730166049
o 1730166047
o 1730166045
o 1715139468
o 1715139466
o 1715139465
o 1715139463
o 1715139461
o 1715139459
o 1715139457
o 1700112880
o 1700112878
o 1700112877
o 1700112875
o 1700112873
o 1700112871
o 1700112869
o 1685086292
o 1685086290
o 1685086289
o 1685086287
o 1685086285
o 1685086283
o 1685086282
o 1670059705
o 1670059703
o 1670059702
o 1670059700
o 1670059698
o 1670059696
o 1670059694
o 1670059693
o 1655033116
o 1655033114
o 1655033113
o 1655033111
o 1655033109
o 1655033107
o 1655033106
o 1640006529
o 1640006527
o 1640006526
o 1640006524
o 1640006522
o 1640006520
o 1640006518
o 1640006517
o 1624979940
o 1624979938
o 1624979937
o 1624979935
o 1624979933
o 1624979931
o 1624979930
o 1624979929
o 1609953352
o 1609953350
o 1609953349
o 1609953347
o 1609953345
o 1609953343
o 1609953342
o 1609953341
o 1594926764
o 1594926762
o 1594926761
o 1594926759
o 1594926757
o 1594926755
o 1594926754
o 1594926753
o 1579900176
o 1579900174
o 1579900173
o 1579900171
o 1579900169
o 1579900167
o 1579900166
o 1564873589
o 1564873587
o 1564873586
o 1564873584
o 1564873582
o 1564873580
o 1564873579
o 1564873578
o 1549847001
o 1549846999
o 1549846998
o 1549846996
o 1549846994
o 1549846992
o 1549846991
o 1549846990
o 1549846989
o 1534820412
o 1534820410
o 1534820409
o 1534820407
o 1534820405
o 1534820403
o 1534820402
o 1534820401
o 1534820400
o 1519793823
o 1519793821
o 1519793820
o 1519793818
o 1519793816
o 1519793814
o 1519793813
o 1504767236
o 1504767234
o 1504767233
o 1504767231
o 1504767229
o 1504767227
o 1504767226
o 1504767225
o 1489740648
o 1489740646
o 1489740645
o 1489740643
o 1489740641
o 1489740639
o 1489740638
o 1489740637
o 1489740636
o 1474714059
o 1474714057
o 1474714056
o 1474714054
o 1474714052
o 1474714050
o 1474714049
o 1474714048
o 1459687471
o 1459687469
o 1459687468
o 1459687466
o 1459687464
o 1459687462
o 1444660885
o 1444660883
o 1444660882
o 1444660880
o 1444660878
o 1444660876
o 1429634315
o 1429634313
o 1429634312
o 1429634310
o 1429634308
o 1429634306
o 1429634297
o 1429634295
o 1429634294
o 1429634292
o 1429634290
o 1429634288
o 1414607727
o 1414607725
o 1414607724
o 1414607722
o 1414607720
o 1414607718
o 1414607717
o 1414607708
o 1414607706
o 1414607705
o 1414607703
o 1414607701
o 1414607699
o 1399581138
o 1399581136
o 1399581135
o 1399581133
o 1399581131
o 1399581129
o 1399581120
o 1399581118
o 1399581117
o 1399581115
o 1399581113
o 1399581111
o 1384554550
o 1384554548
o 1384554547
o 1384554545
o 1384554543
o 1384554541
o 1369546134
o 1369546132
o 1369546131
o 1369546129
o 1369546127
o 1369546125
o 1369527962
o 1369527960
o 1369527959
o 1369527957
o 1369527955
o 1369527953
o 1354519547
o 1354519545
o 1354519544
o 1354519542
o 1354519540
o 1354519538
o 1354501375
o 1354501373
o 1354501372
o 1354501370
o 1354501368
o 1354501366
o 1339492961
o 1339492959
o 1339492958
o 1339492956
o 1339492954
o 1339492952
o 1339474789
o 1339474787
o 1339474786
o 1339474784
o 1339474782
o 1339474780
o 1324466379
o 1324466377
o 1324466376
o 1324466374
o 1324466372
o 1324466370
o 1324448207
o 1324448205
o 1324448204
o 1324448202
o 1324448200
o 1324448198
o 1324448197
o 1324448195
o 1324448193
o 1309439792
o 1309439790
o 1309439789
o 1309439787
o 1309439785
o 1309439783
o 1309421620
o 1309421618
o 1309421617
o 1309421615
o 1309421613
o 1309421611
o 1294413206
o 1294413204
o 1294413203
o 1294413201
o 1294413199
o 1294413197
o 1294395034
o 1294395032
o 1294395031
o 1294395029
o 1294395027
o 1294395025
o 1294395024
o 1294395022
o 1279386617
o 1279386615
o 1279386614
o 1279386612
o 1279386610
o 1279386608
o 1279368445
o 1279368443
o 1279368442
o 1279368440
o 1279368438
o 1279368436
o 1264360031
o 1264360029
o 1264360028
o 1264360026
o 1264360024
o 1264360022
o 1264341859
o 1264341857
o 1264341856
o 1264341854
o 1264341852
o 1264341850
o 1264341848
o 1249333443
o 1249333441
o 1249333440
o 1249333438
o 1249333436
o 1249333434
o 1249315271
o 1249315269
o 1249315268
o 1249315266
o 1249315264
o 1249315262
o 1234306856
o 1234306854
o 1234306853
o 1234306851
o 1234306849
o 1234306847
o 1234288684
o 1234288682
o 1234288681
o 1234288679
o 1234288677
o 1234288675
o 1234288674
o 1219280268
o 1219280266
o 1219280265
o 1219280263
o 1219280261
o 1219280259
o 1219262096
o 1219262094
o 1219262093
o 1219262091
o 1219262089
o 1219262087
o 1219262085
o 1204253681
o 1204253679
o 1204253678
o 1204253676
o 1204253674
o 1204253672
o 1204253670
o 1204235509
o 1204235507
o 1204235506
o 1204235504
o 1204235502
o 1204235500
o 1204235498
o 1204235497
o 1189227093
o 1189227091
o 1189227090
o 1189227088
o 1189227086
o 1189227084
o 1189227082
o 1189208921
o 1189208919
o 1189208918
o 1189208916
o 1189208914
o 1189208912
o 1189208910
o 1189208908
o 1189208906
o 1174200502
o 1174200500
o 1174200499
o 1174200497
o 1174200495
o 1174200493
o 1174200491
o 1174182330
o 1174182328
o 1174182327
o 1174182325
o 1174182323
o 1174182321
o 1174182319
o 1159173914
o 1159173912
o 1159173911
o 1159173909
o 1159173907
o 1159173905
o 1159173903
o 1159155742
o 1159155740
o 1159155739
o 1159155737
o 1159155735
o 1159155733
o 1159155731
o 1159155730
o 1159155728
o 1159155727
o 1159155725
o 1159155722
o 1159155720
o 1159155719
o 1159155717
o 1159155715
o 1159155713
o 1144129152
o 1144129150
o 1144129149
o 1144129147
o 1144129145
o 1144129143
o 1144129141
o 1129120736
o 1129120734
o 1129120733
o 1129120731
o 1129120729
o 1129120727
o 1129120725
o 1129102564
o 1129102562
o 1129102561
o 1129102559
o 1129102557
o 1129102555
o 1129102553
o 1114094147
o 1114094145
o 1114094144
o 1114094142
o 1114094140
o 1114094138
o 1114094136
o 1114075975
o 1114075973
o 1114075972
o 1114075970
o 1114075968
o 1114075966
o 1114075964
o 1099067559
o 1099067557
o 1099067556
o 1099067554
o 1099067552
o 1099067550
o 1099067548
o 1099049387
o 1099049385
o 1099049384
o 1099049382
o 1099049380
o 1099049378
o 1099049376
o 1099049374
o 1084040973
o 1084040971
o 1084040970
o 1084040968
o 1084040966
o 1084040964
o 1084040962
o 1084040960
o 1084022801
o 1084022799
o 1084022798
o 1084022796
o 1084022794
o 1084022792
o 1084022790
o 1084022788
o 1069014388
o 1069014386
o 1069014385
o 1069014383
o 1069014381
o 1069014379
o 1069014377
o 1069014375
o 1068996216
o 1068996214
o 1068996213
o 1068996211
o 1068996209
o 1068996207
o 1068996205
o 1068996203
o 1068996202
o 1053987802
o 1053987800
o 1053987799
o 1053987797
o 1053987795
o 1053987793
o 1053987791
o 1053987789
o 1053969630
o 1053969628
o 1053969627
o 1053969625
o 1053969623
o 1053969621
o 1053969619
o 1053969617
o 1038961218
o 1038961216
o 1038961215
o 1038961213
o 1038961211
o 1038961209
o 1038961207
o 1038961205
o 1038943046
o 1038943044
o 1038943043
o 1038943041
o 1038943039
o 1038943037
o 1038943035
o 1038943033
o 1038943032
o 1038943030
o 1038943028
o 1038943026
o 1023934625
o 1023934623
o 1023934622
o 1023934620
o 1023934618
o 1023934616
o 1023934614
o 1023934612
o 1023916453
o 1023916451
o 1023916450
o 1023916448
o 1023916446
o 1023916444
o 1023916442
o 1023916440
o 1008908041
o 1008908039
o 1008908038
o 1008908036
o 1008908034
o 1008908032
o 1008908030
o 1008908028
o 1008889869
o 1008889867
o 1008889866
o 1008889864
o 1008889862
o 1008889860
o 1008889858
o 1008889856
o 1008889854
o 1008889852
o 1008889850
o 993881449
o 993881447
o 993881446
o 993881444
o 993881442
o 993881440
o 993881438
o 993881436
o 993863277
o 993863275
o 993863274
o 993863272
o 993863270
o 993863268
o 993863266
o 993863264
o 978854865
o 978854863
o 978854862
o 978854860
o 978854858
o 978854856
o 978854854
o 978854852
o 978836693
o 978836691
o 978836690
o 978836688
o 978836686
o 978836684
o 978836682
o 978836680
o 963846445
o 963846443
o 963846442
o 963846440
o 963846438
o 963846436
o 963846434
o 963846432
o 963828273
o 963828271
o 963828270
o 963828268
o 963828266
o 963828264
o 963828262
o 963828260
o 963810102
o 963810100
o 963810099
o 963810097
o 963810095
o 963810093
o 963810091
o 963810089
o 948819854
o 948819852
o 948819851
o 948819849
o 948819847
o 948819845
o 948819843
o 948819841
o 948801682
o 948801680
o 948801679
o 948801677
o 948801675
o 948801673
o 948801671
o 948801669
o 933811437
o 933811435
o 933811434
o 933811432
o 933811430
o 933811428
o 933811426
o 933811424
o 933811422
o 933793265
o 933793263
o 933793262
o 933793260
o 933793258
o 933793256
o 933793254
o 933793252
o 933793250
o 918803018
o 918803016
o 918803015
o 918803013
o 918803011
o 918803009
o 918803007
o 918803005
o 918803003
o 918784846
o 918784844
o 918784843
o 918784841
o 918784839
o 918784837
o 918784835
o 918784833
o 918784831
o 903812768
o 903812766
o 903812765
o 903812763
o 903812761
o 903812759
o 903812757
o 903812755
o 903812753
o 903794596
o 903794594
o 903794593
o 903794591
o 903794589
o 903794587
o 903794585
o 903794583
o 903794581
o 903776433
o 903776431
o 903776430
o 903776428
o 903776426
o 903776424
o 903776422
o 903776420
o 903776418
o 903758261
o 903758259
o 903758258
o 903758256
o 903758254
o 903758252
o 903758250
o 903758248
o 903758246
o 888786183
o 888786181
o 888786180
o 888786178
o 888786176
o 888786174
o 888786172
o 888786170
o 888786168
o 888768011
o 888768009
o 888768008
o 888768006
o 888768004
o 888768002
o 888768000
o 888767998
o 888767996
o 888749844
o 888749842
o 888749841
o 888749839
o 888749837
o 888749835
o 888749833
o 888749831
o 873759594
o 873759592
o 873759591
o 873759589
o 873759587
o 873759585
o 873759583
o 873759581
o 873759579
o 873741422
o 873741420
o 873741419
o 873741417
o 873741415
o 873741413
o 873741411
o 873741409
o 873741407
o 873723259
o 873723257
o 873723256
o 873723254
o 873723252
o 873723250
o 873723248
o 873723246
o 858733009
o 858733007
o 858733006
o 858733004
o 858733002
o 858733000
o 858732998
o 858732996
o 858732994
o 858714837
o 858714835
o 858714834
o 858714832
o 858714830
o 858714828
o 858714826
o 858714824
o 858714822
o 858696668
o 858696666
o 858696665
o 858696663
o 858696661
o 858696659
o 858696657
o 858696655
o 858696653
o 858678496
o 858678494
o 858678493
o 858678491
o 858678489
o 858678487
o 858678485
o 858678483
o 858678481
o 843706422
o 843706420
o 843706419
o 843706417
o 843706415
o 843706413
o 843706411
o 843706409
o 843706407
o 843688250
o 843688248
o 843688247
o 843688245
o 843688243
o 843688241
o 843688239
o 843688237
o 843688235
o 843670081
o 843670079
o 843670078
o 843670076
o 843670074
o 843670072
o 843670070
o 843670068
o 843670066
o 843651909
o 843651907
o 843651906
o 843651904
o 843651902
o 843651900
o 843651898
o 843651896
o 843651894
o 828679839
o 828679837
o 828679836
o 828679834
o 828679832
o 828679830
o 828679828
o 828679826
o 828679824
o 828661667
o 828661665
o 828661664
o 828661662
o 828661660
o 828661658
o 828661656
o 828661654
o 828661652
o 828643498
o 828643496
o 828643495
o 828643493
o 828643491
o 828643489
o 828643487
o 828643485
o 828643483
o 828625326
o 828625324
o 828625323
o 828625321
o 828625319
o 828625317
o 828625315
o 828625313
o 828625311
o 828607155
o 828607153
o 828607152
o 828607150
o 828607148
o 828607146
o 828607144
o 828607142
o 828607140
o 813653246
o 813653244
o 813653243
o 813653241
o 813653239
o 813653237
o 813653235
o 813653233
o 813635074
o 813635072
o 813635071
o 813635069
o 813635067
o 813635065
o 813635063
o 813635061
o 813616905
o 813616903
o 813616902
o 813616900
o 813616898
o 813616896
o 813616894
o 813616892
o 813598733
o 813598731
o 813598730
o 813598728
o 813598726
o 813598724
o 813598722
o 813598720
o 813580562
o 813580560
o 813580559
o 813580557
o 813580555
o 813580553
o 813580551
o 813580549
o 798626663
o 798626661
o 798626660
o 798626658
o 798626656
o 798626654
o 798626652
o 798626650
o 798608491
o 798608489
o 798608488
o 798608486
o 798608484
o 798608482
o 798608480
o 798608478
o 798590322
o 798590320
o 798590319
o 798590317
o 798590315
o 798590313
o 798590311
o 798590309
o 798572150
o 798572148
o 798572147
o 798572145
o 798572143
o 798572141
o 798572139
o 798572137
o 798553979
o 798553977
o 798553976
o 798553974
o 798553972
o 798553970
o 798553968
o 798553966
o 783600073
o 783600071
o 783600070
o 783600068
o 783600066
o 783600064
o 783600062
o 783600060
o 783581901
o 783581899
o 783581898
o 783581896
o 783581894
o 783581892
o 783581890
o 783581888
o 783563732
o 783563730
o 783563729
o 783563727
o 783563725
o 783563723
o 783563721
o 783563719
o 783545560
o 783545558
o 783545557
o 783545555
o 783545553
o 783545551
o 783545549
o 783545547
o 783527389
o 783527387
o 783527386
o 783527384
o 783527382
o 783527380
o 783527378
o 783527376
o 768573490
o 768573488
o 768573487
o 768573485
o 768573483
o 768573481
o 768573479
o 768573477
o 768555318
o 768555316
o 768555315
o 768555313
o 768555311
o 768555309
o 768555307
o 768555305
o 768537149
o 768537147
o 768537146
o 768537144
o 768537142
o 768537140
o 768537138
o 768537136
o 768518977
o 768518975
o 768518974
o 768518972
o 768518970
o 768518968
o 768518966
o 768518964
o 768500806
o 768500804
o 768500803
o 768500801
o 768500799
o 768500797
o 768500795
o 768500793
o 768500792
o 768500791
o 768500789
o 753546896
o 753546894
o 753546893
o 753546891
o 753546889
o 753546887
o 753546885
o 753546883
o 753528724
o 753528722
o 753528721
o 753528719
o 753528717
o 753528715
o 753528713
o 753528711
o 753510555
o 753510553
o 753510552
o 753510550
o 753510548
o 753510546
o 753510544
o 753510542
o 753492383
o 753492381
o 753492380
o 753492378
o 753492376
o 753492374
o 753492372
o 753492370
o 753474212
o 753474210
o 753474209
o 753474207
o 753474205
o 753474203
o 753474201
o 753474199
o 738520313
o 738520311
o 738520310
o 738520308
o 738520306
o 738520304
o 738520302
o 738520300
o 738502141
o 738502139
o 738502138
o 738502136
o 738502134
o 738502132
o 738502130
o 738502128
o 738483972
o 738483970
o 738483969
o 738483967
o 738483965
o 738483963
o 738483961
o 738483959
o 738465800
o 738465798
o 738465797
o 738465795
o 738465793
o 738465791
o 738465789
o 738465787
o 738447629
o 738447627
o 738447626
o 738447624
o 738447622
o 738447620
o 738447618
o 738447616
o 738447615
o 738429458
o 738429456
o 738429455
o 738429453
o 738429451
o 738429449
o 738429447
o 738429445
o 738429444
o 738411287
o 738411285
o 738411284
o 738411282
o 738411280
o 738411278
o 738411276
o 738411274
o 738411273
o 738393116
o 738393114
o 738393113
o 738393111
o 738393109
o 738393107
o 738393105
o 738393103
o 738393102
o 723530058
o 723530056
o 723530055
o 723530053
o 723530051
o 723530049
o 723530047
o 723530045
o 723511886
o 723511884
o 723511883
o 723511881
o 723511879
o 723511877
o 723511875
o 723511873
o 723493717
o 723493715
o 723493714
o 723493712
o 723493710
o 723493708
o 723493706
o 723493704
o 723475545
o 723475543
o 723475542
o 723475540
o 723475538
o 723475536
o 723475534
o 723475532
o 723457374
o 723457372
o 723457371
o 723457369
o 723457367
o 723457365
o 723457363
o 723457361
o 708503475
o 708503473
o 708503472
o 708503470
o 708503468
o 708503466
o 708503464
o 708503462
o 708485303
o 708485301
o 708485300
o 708485298
o 708485296
o 708485294
o 708485292
o 708485290
o 708467134
o 708467132
o 708467131
o 708467129
o 708467127
o 708467125
o 708467123
o 708467121
o 708448962
o 708448960
o 708448959
o 708448957
o 708448955
o 708448953
o 708448951
o 708448949
o 708430791
o 708430789
o 708430788
o 708430786
o 708430784
o 708430782
o 708430780
o 708430778
o 708430777
o 708412620
o 708412618
o 708412617
o 708412615
o 708412613
o 708412611
o 708412609
o 708412607
o 708412606
o 708394449
o 708394447
o 708394446
o 708394444
o 708394442
o 708394440
o 708394438
o 708394436
o 708394435
o 708376278
o 708376276
o 708376275
o 708376273
o 708376271
o 708376269
o 708376267
o 708376265
o 708376264
o 693476894
o 693476892
o 693476891
o 693476889
o 693476887
o 693476885
o 693476883
o 693476881
o 693458722
o 693458720
o 693458719
o 693458717
o 693458715
o 693458713
o 693458711
o 693458709
o 693440553
o 693440551
o 693440550
o 693440548
o 693440546
o 693440544
o 693440542
o 693440540
o 693422381
o 693422379
o 693422378
o 693422376
o 693422374
o 693422372
o 693422370
o 693422368
o 693404210
o 693404208
o 693404207
o 693404205
Killed
1979.601u 0.101s 33:04.11 99.7%	0+0k 0+0io 0pf+0w