Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz+-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_random-net_random-net-100-2_network-3.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-3.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 290 2056 3868214
WARNING: Ubcsat not found.
o 3868214
o 342201
o 342076
o 341659
o 341076
o 340100
o 339975
o 339558
o 338975
o 338645
o 338256
o 338131
o 337714
o 337131
o 336801
o 336545
o 336470
o 336370
o 336140
o 336040
o 335651
o 335526
o 335109
o 334526
o 334296
o 334196
o 334040
o 333940
o 333927
o 333827
o 333597
o 333497
o 333341
o 333241
o 333197
o 333097
o 332984
o 332884
o 332654
o 332554
o 332398
o 332298
o 332285
o 332185
o 331955
o 331855
o 331699
o 331599
o 331555
o 331455
o 331421
o 330938
o 330838
o 330608
o 330508
o 330352
o 330252
o 330239
o 330139
o 329909
o 329809
o 329653
o 329553
o 329509
o 329409
o 329331
o 329231
o 329001
o 328901
o 328745
o 328645
o 328632
o 328532
o 328302
o 328202
o 328046
o 327946
o 327902
o 327802
o 327768
o 327285
o 327185
o 326955
o 326855
o 326699
o 326599
o 326586
o 326486
o 326256
o 326156
o 326000
o 325900
o 325856
o 325756
o 325705
o 325605
o 325449
o 325349
o 325336
o 325236
o 325006
o 324906
o 324750
o 324650
o 324606
o 324506
o 324403
o 324303
o 324290
o 324190
o 323960
o 323860
o 323704
o 323604
o 323560
o 323460
o 323426
o 322943
o 322843
o 322613
o 322513
o 322357
o 322257
o 322244
o 322144
o 321914
o 321814
o 321658
o 321558
o 321514
o 321414
o 321373
o 321273
o 321229
o 321129
o 321026
o 320926
o 320913
o 320813
o 320583
o 320483
o 320327
o 320227
o 320183
o 320083
o 320049
o 319566
o 319466
o 319236
o 319136
o 318980
o 318880
o 318867
o 318767
o 318537
o 318437
o 318281
o 318181
o 318137
o 318037
o 317942
o 317712
o 317612
o 317456
o 317356
o 317343
o 317243
o 317013
o 316913
o 316757
o 316657
o 316613
o 316513
o 316462
o 316232
o 316132
o 315976
o 315876
o 315832
o 315732
o 315637
o 315407
o 315307
o 315151
o 315051
o 315038
o 314938
o 314708
o 314608
o 314452
o 314352
o 314308
o 314208
o 314112
o 314012
o 313968
o 313868
o 313861
o 313761
o 313717
o 313617
o 313555
o 313336
o 313236
o 313080
o 312980
o 312936
o 312836
o 312818
o 312774
o 312674
o 312531
o 312431
o 312275
o 312175
o 312131
o 312031
o 311812
o 311712
o 311556
o 311456
o 311412
o 311312
o 311216
o 311116
o 311072
o 310972
o 310913
o 310869
o 310769
o 310762
o 310662
o 310618
o 310518
o 310493
o 310393
o 310237
o 310137
o 310093
o 309993
o 309981
o 309881
o 309837
o 309737
o 309688
o 309588
o 309432
o 309332
o 309288
o 309188
o 308969
o 308869
o 308713
o 308613
o 308569
o 308469
o 308457
o 308357
o 308313
o 308213
o 308129
o 308117
o 308017
o 307973
o 307873
o 307871
o 307827
o 307727
o 307584
o 307484
o 307328
o 307228
o 307184
o 307084
o 306865
o 306765
o 306609
o 306509
o 306465
o 306365
o 306269
o 306169
o 306125
o 306025
o 305966
o 305922
o 305822
o 305815
o 305715
o 305671
o 305571
o 305546
o 305446
o 305290
o 305190
o 305146
o 305046
o 305034
o 304934
o 304890
o 304790
o 304741
o 304641
o 304485
o 304385
o 304341
o 304241
o 304022
o 303922
o 303766
o 303666
o 303622
o 303522
o 303510
o 303410
o 303366
o 303266
o 303182
o 303170
o 303070
o 303026
o 302926
o 302922
o 302878
o 302778
o 302699
o 302694
o 302682
o 302582
o 302538
o 302438
o 302359
o 302292
o 302149
o 302049
o 301893
o 301793
o 301749
o 301649
o 301430
o 301330
o 301174
o 301074
o 301030
o 300930
o 300851
o 300834
o 300734
o 300690
o 300590
o 300511
o 300487
o 300387
o 300308
o 300280
o 300236
o 300136
o 300057
o 300011
o 299855
o 299755
o 299711
o 299611
o 299599
o 299499
o 299455
o 299355
o 299306
o 299206
o 299050
o 298950
o 298906
o 298806
o 298587
o 298487
o 298331
o 298231
o 298187
o 298087
o 298075
o 297975
o 297931
o 297831
o 297752
o 297747
o 297735
o 297635
o 297591
o 297491
o 297412
o 297368
o 297324
o 297224
o 297141
o 297005
o 296905
o 296885
o 296749
o 296649
o 296605
o 296505
o 296426
o 296409
o 296309
o 296265
o 296165
o 296086
o 296062
o 295962
o 295883
o 295855
o 295811
o 295711
o 295632
o 295586
o 295566
o 295430
o 295330
o 295286
o 295186
o 295174
o 295074
o 295030
o 294930
o 294881
o 294781
o 294761
o 294625
o 294525
o 294481
o 294381
o 294298
o 294162
o 294062
o 294042
o 293906
o 293806
o 293762
o 293662
o 293650
o 293550
o 293506
o 293406
o 293327
o 293322
o 293310
o 293210
o 293166
o 293066
o 292987
o 292955
o 292855
o 292811
o 292711
o 292699
o 292599
o 292555
o 292455
o 292406
o 292306
o 292150
o 292050
o 292006
o 291906
o 291885
o 291687
o 291587
o 291431
o 291331
o 291287
o 291187
o 291175
o 291075
o 291031
o 290931
o 290852
o 290847
o 290835
o 290735
o 290691
o 290591
o 290512
o 290468
o 290424
o 290324
o 290303
o 290241
o 290105
o 290005
o 289985
o 289849
o 289749
o 289705
o 289605
o 289526
o 289509
o 289409
o 289365
o 289265
o 289186
o 289162
o 289062
o 288983
o 288955
o 288911
o 288811
o 288732
o 288686
o 288666
o 288530
o 288430
o 288386
o 288286
o 288274
o 288174
o 288130
o 288030
o 287981
o 287881
o 287861
o 287725
o 287625
o 287581
o 287481
o 287460
o 287398
o 287262
o 287162
o 287142
o 287006
o 286906
o 286862
o 286762
o 286750
o 286650
o 286606
o 286506
o 286427
o 286422
o 286410
o 286310
o 286266
o 286166
o 286087
o 286068
o 286034
o 286014
o 285878
o 285778
o 285734
o 285634
o 285622
o 285522
o 285478
o 285378
o 285299
o 285294
o 285282
o 285182
o 285138
o 285038
o 284959
o 284911
o 284867
o 284767
o 284688
o 284678
o 284578
o 284557
o 284495
o 284359
o 284259
o 284239
o 284103
o 284003
o 283959
o 283859
o 283780
o 283763
o 283663
o 283619
o 283519
o 283440
o 283416
o 283316
o 283237
o 283209
o 283165
o 283065
o 282986
o 282940
o 282920
o 282784
o 282684
o 282640
o 282540
o 282528
o 282428
o 282384
o 282284
o 282235
o 282135
o 282115
o 281979
o 281879
o 281835
o 281735
o 281714
o 281652
o 281516
o 281416
o 281396
o 281260
o 281160
o 281116
o 281016
o 281004
o 280904
o 280860
o 280760
o 280681
o 280676
o 280664
o 280564
o 280520
o 280420
o 280341
o 280322
o 280288
o 280268
o 280132
o 280032
o 279988
o 279888
o 279876
o 279776
o 279732
o 279632
o 279553
o 279548
o 279536
o 279436
o 279392
o 279292
o 279213
o 279165
o 279121
o 279021
o 278942
o 278883
o 278804
o 278799
o 278787
o 278687
o 278643
o 278543
o 278464
o 278416
o 278372
o 278272
o 278193
o 278109
o 278065
o 277965
o 277953
o 277853
o 277809
o 277709
o 277660
o 277560
o 277540
o 277404
o 277304
o 277260
o 277160
o 277139
o 277077
o 276941
o 276841
o 276821
o 276685
o 276585
o 276541
o 276441
o 276429
o 276329
o 276285
o 276185
o 276106
o 276101
o 276089
o 275989
o 275945
o 275845
o 275766
o 275740
o 275640
o 275620
o 275484
o 275384
o 275340
o 275240
o 275219
o 275157
o 275021
o 274921
o 274901
o 274765
o 274665
o 274621
o 274521
o 274509
o 274409
o 274365
o 274265
o 274186
o 274181
o 274169
o 274069
o 274025
o 273925
o 273846
o 273827
o 273793
o 273773
o 273637
o 273537
o 273493
o 273393
o 273381
o 273281
o 273237
o 273137
o 273058
o 273053
o 273041
o 272941
o 272897
o 272797
o 272718
o 272670
o 272626
o 272526
o 272447
o 272397
o 272318
o 272270
o 272226
o 272126
o 272047
o 271963
o 271919
o 271819
o 271807
o 271707
o 271663
o 271563
o 271514
o 271414
o 271394
o 271258
o 271158
o 271114
o 271014
o 270993
o 270931
o 270795
o 270695
o 270675
o 270539
o 270439
o 270395
o 270295
o 270283
o 270183
o 270139
o 270039
o 269960
o 269955
o 269943
o 269843
o 269799
o 269699
o 269620
o 269594
o 269494
o 269474
o 269338
o 269238
o 269194
o 269094
o 269073
o 269011
o 268875
o 268775
o 268755
o 268619
o 268519
o 268475
o 268375
o 268363
o 268263
o 268219
o 268119
o 268040
o 268035
o 268023
o 267923
o 267879
o 267779
o 267700
o 267681
o 267647
o 267627
o 267491
o 267391
o 267347
o 267247
o 267235
o 267135
o 267091
o 266991
o 266912
o 266907
o 266895
o 266795
o 266751
o 266651
o 266572
o 266524
o 266480
o 266380
o 266301
o 266284
o 266205
o 266157
o 266113
o 266013
o 265934
o 265850
o 265806
o 265706
o 265694
o 265594
o 265550
o 265450
o 265401
o 265301
o 265281
o 265145
o 265045
o 265001
o 264901
o 264880
o 264829
o 264818
o 264682
o 264582
o 264562
o 264426
o 264326
o 264282
o 264182
o 264170
o 264070
o 264026
o 263926
o 263847
o 263842
o 263830
o 263730
o 263686
o 263586
o 263507
o 263481
o 263381
o 263361
o 263225
o 263125
o 263081
o 262981
o 262960
o 262909
o 262898
o 262762
o 262662
o 262642
o 262506
o 262406
o 262362
o 262262
o 262250
o 262150
o 262106
o 262006
o 261927
o 261922
o 261910
o 261810
o 261766
o 261666
o 261587
o 261568
o 261534
o 261514
o 261378
o 261278
o 261234
o 261134
o 261122
o 261022
o 260978
o 260878
o 260799
o 260794
o 260782
o 260682
o 260638
o 260538
o 260459
o 260411
o 260367
o 260267
o 260188
o 260168
o 260068
o 260048
o 259912
o 259812
o 259768
o 259668
o 259656
o 259556
o 259512
o 259412
o 259333
o 259328
o 259316
o 259216
o 259172
o 259072
o 258993
o 258974
o 258940
o 258920
o 258784
o 258684
o 258640
o 258540
o 258528
o 258428
o 258384
o 258284
o 258205
o 258200
o 258188
o 258088
o 258044
o 257944
o 257865
o 257817
o 257773
o 257673
o 257594
o 257514
o 257414
o 257394
o 257258
o 257158
o 257114
o 257014
o 257002
o 256902
o 256858
o 256758
o 256679
o 256674
o 256662
o 256562
o 256518
o 256418
o 256339
o 256320
o 256286
o 256266
o 256130
o 256030
o 255986
o 255886
o 255874
o 255774
o 255730
o 255630
o 255551
o 255546
o 255534
o 255434
o 255390
o 255290
o 255211
o 255163
o 255119
o 255019
o 254940
o 254879
o 254800
o 254741
o 254641
o 254597
o 254497
o 254485
o 254385
o 254341
o 254241
o 254162
o 254157
o 254145
o 254045
o 254001
o 253901
o 253822
o 253803
o 253769
o 253749
o 253613
o 253513
o 253469
o 253369
o 253357
o 253257
o 253213
o 253113
o 253034
o 253029
o 253017
o 252917
o 252873
o 252773
o 252694
o 252646
o 252602
o 252502
o 252423
o 252385
o 252285
o 252206
o 252147
o 252047
o 252003
o 251903
o 251891
o 251791
o 251747
o 251647
o 251568
o 251563
o 251551
o 251451
o 251407
o 251307
o 251228
o 251209
o 251175
o 251155
o 251019
o 250919
o 250875
o 250775
o 250763
o 250663
o 250619
o 250519
o 250440
o 250435
o 250423
o 250323
o 250279
o 250179
o 250100
o 250052
o 250008
o 249908
o 249829
o 249823
o 249775
o 249731
o 249631
o 249552
o 249493
o 249393
o 249349
o 249249
o 249237
o 249137
o 249093
o 248993
o 248914
o 248909
o 248897
o 248797
o 248753
o 248653
o 248574
o 248555
o 248521
o 248501
o 248365
o 248265
o 248221
o 248121
o 248109
o 248009
o 247965
o 247865
o 247786
o 247781
o 247769
o 247669
o 247625
o 247525
o 247446
o 247398
o 247354
o 247254
o 247175
o 247146
o 247046
o 247002
o 246902
o 246890
o 246790
o 246746
o 246646
o 246567
o 246562
o 246550
o 246450
o 246406
o 246306
o 246227
o 246208
o 246174
o 246154
o 246018
o 245918
o 245874
o 245774
o 245762
o 245662
o 245618
o 245518
o 245439
o 245434
o 245422
o 245322
o 245278
o 245178
o 245099
o 245051
o 245007
o 244907
o 244828
o 244767
o 244688
o 244629
o 244529
o 244485
o 244385
o 244373
o 244273
o 244229
o 244129
o 244050
o 244045
o 244033
o 243933
o 243889
o 243789
o 243710
o 243691
o 243657
o 243637
o 243501
o 243401
o 243357
o 243257
o 243245
o 243145
o 243101
o 243001
o 242922
o 242917
o 242905
o 242805
o 242761
o 242661
o 242582
o 242534
o 242490
o 242390
o 242311
o 242273
o 242173
o 242094
o 242035
o 241935
o 241891
o 241791
o 241779
o 241679
o 241635
o 241535
o 241456
o 241451
o 241439
o 241339
o 241295
o 241195
o 241116
o 241097
o 241063
o 241043
o 240907
o 240807
o 240763
o 240663
o 240651
o 240551
o 240507
o 240407
o 240328
o 240323
o 240311
o 240211
o 240167
o 240067
o 239988
o 239940
o 239896
o 239796
o 239717
o 239711
o 239663
o 239619
o 239519
o 239440
o 239381
o 239281
o 239237
o 239137
o 239125
o 239025
o 238981
o 238881
o 238802
o 238797
o 238785
o 238685
o 238641
o 238541
o 238462
o 238443
o 238409
o 238389
o 238253
o 238153
o 238109
o 238009
o 237997
o 237897
o 237853
o 237753
o 237674
o 237669
o 237657
o 237557
o 237513
o 237413
o 237334
o 237286
o 237242
o 237142
o 237063
o 237050
o 237006
o 236906
o 236827
o 236779
o 236735
o 236635
o 236556
o 236527
o 236427
o 236383
o 236283
o 236271
o 236171
o 236127
o 236027
o 235948
o 235943
o 235931
o 235831
o 235787
o 235687
o 235608
o 235589
o 235555
o 235535
o 235399
o 235299
o 235255
o 235155
o 235143
o 235043
o 234999
o 234899
o 234820
o 234815
o 234803
o 234703
o 234659
o 234559
o 234480
o 234432
o 234388
o 234288
o 234209
o 234148
o 234069
o 234010
o 233910
o 233866
o 233766
o 233754
o 233654
o 233610
o 233510
o 233431
o 233426
o 233414
o 233314
o 233270
o 233170
o 233091
o 233072
o 233038
o 233018
o 232882
o 232782
o 232738
o 232638
o 232626
o 232526
o 232482
o 232382
o 232303
o 232298
o 232286
o 232186
o 232142
o 232042
o 231963
o 231915
o 231871
o 231771
o 231692
o 231654
o 231554
o 231475
o 231416
o 231316
o 231272
o 231172
o 231160
o 231060
o 231016
o 230916
o 230837
o 230832
o 230820
o 230720
o 230676
o 230576
o 230497
o 230478
o 230444
o 230424
o 230288
o 230188
o 230144
o 230044
o 230032
o 229932
o 229888
o 229788
o 229709
o 229704
o 229692
o 229592
o 229548
o 229448
o 229369
o 229321
o 229277
o 229177
o 229098
o 229092
o 229044
o 229000
o 228900
o 228821
o 228762
o 228662
o 228618
o 228518
o 228506
o 228406
o 228362
o 228262
o 228183
o 228178
o 228166
o 228066
o 228022
o 227922
o 227843
o 227824
o 227790
o 227770
o 227634
o 227534
o 227490
o 227390
o 227378
o 227278
o 227234
o 227134
o 227055
o 227050
o 227038
o 226938
o 226894
o 226794
o 226715
o 226667
o 226623
o 226523
o 226444
o 226428
o 226384
o 226284
o 226205
o 226200
o 226188
o 226088
o 226044
o 225944
o 225865
o 225817
o 225773
o 225673
o 225594
o 225576
o 225571
o 225559
o 225459
o 225415
o 225315
o 225236
o 225217
o 225183
o 225163
o 225027
o 224927
o 224883
o 224783
o 224771
o 224671
o 224627
o 224527
o 224448
o 224443
o 224431
o 224331
o 224287
o 224187
o 224108
o 224060
o 224016
o 223916
o 223837
o 223799
o 223699
o 223620
o 223561
o 223461
o 223417
o 223317
o 223305
o 223205
o 223161
o 223061
o 222982
o 222977
o 222965
o 222865
o 222821
o 222721
o 222642
o 222623
o 222589
o 222569
o 222433
o 222333
o 222289
o 222189
o 222177
o 222077
o 222033
o 221933
o 221854
o 221849
o 221837
o 221737
o 221693
o 221593
o 221514
o 221466
o 221422
o 221322
o 221243
o 221237
o 221189
o 221145
o 221045
o 220966
o 220907
o 220807
o 220763
o 220663
o 220651
o 220551
o 220507
o 220407
o 220328
o 220323
o 220311
o 220211
o 220167
o 220067
o 219988
o 219969
o 219935
o 219915
o 219779
o 219679
o 219635
o 219535
o 219523
o 219423
o 219379
o 219279
o 219200
o 219195
o 219183
o 219083
o 219039
o 218939
o 218860
o 218812
o 218768
o 218668
o 218589
o 218547
o 218542
o 218530
o 218430
o 218386
o 218286
o 218207
o 218159
o 218115
o 218015
o 217936
o 217905
o 217861
o 217761
o 217682
o 217677
o 217665
o 217565
o 217521
o 217421
o 217342
o 217294
o 217250
o 217150
o 217071
o 217055
o 217011
o 216911
o 216832
o 216827
o 216815
o 216715
o 216671
o 216571
o 216492
o 216444
o 216400
o 216300
o 216221
o 216203
o 216198
o 216186
o 216086
o 216042
o 215942
o 215863
o 215844
o 215810
o 215790
o 215654
o 215554
o 215510
o 215410
o 215398
o 215298
o 215254
o 215154
o 215075
o 215070
o 215058
o 214958
o 214914
o 214814
o 214735
o 214687
o 214643
o 214543
o 214464
o 214426
o 214326
o 214247
o 214188
o 214088
o 214044
o 213944
o 213932
o 213832
o 213788
o 213688
o 213609
o 213604
o 213592
o 213492
o 213448
o 213348
o 213269
o 213250
o 213216
o 213196
o 213060
o 212960
o 212916
o 212816
o 212804
o 212704
o 212660
o 212560
o 212481
o 212476
o 212464
o 212364
o 212320
o 212220
o 212141
o 212093
o 212049
o 211949
o 211870
o 211864
o 211816
o 211772
o 211672
o 211593
o 211534
o 211434
o 211390
o 211290
o 211278
o 211178
o 211134
o 211034
o 210955
o 210950
o 210938
o 210838
o 210794
o 210694
o 210615
o 210596
o 210562
o 210542
o 210406
o 210306
o 210262
o 210162
o 210150
o 210050
o 210006
o 209906
o 209827
o 209822
o 209810
o 209710
o 209666
o 209566
o 209487
o 209439
o 209395
o 209295
o 209216
o 209174
o 209169
o 209157
o 209057
o 209013
o 208913
o 208834
o 208786
o 208742
o 208642
o 208563
o 208505
o 208405
o 208361
o 208261
o 208249
o 208149
o 208105
o 208005
o 207926
o 207921
o 207909
o 207809
o 207765
o 207665
o 207586
o 207538
o 207494
o 207394
o 207315
o 207273
o 207268
o 207256
o 207156
o 207112
o 207012
o 206933
o 206885
o 206841
o 206741
o 206662
o 206614
o 206602
o 206502
o 206458
o 206358
o 206279
o 206274
o 206262
o 206162
o 206118
o 206018
o 205939
o 205891
o 205847
o 205747
o 205668
o 205626
o 205621
o 205609
o 205509
o 205465
o 205365
o 205286
o 205238
o 205194
o 205094
o 205015
o 204957
o 204857
o 204813
o 204713
o 204701
o 204601
o 204557
o 204457
o 204378
o 204373
o 204361
o 204261
o 204217
o 204117
o 204038
o 203990
o 203946
o 203846
o 203767
o 203725
o 203720
o 203708
o 203608
o 203564
o 203464
o 203385
o 203337
o 203293
o 203193
o 203114
o 203099
o 203020
o 203015
o 203003
o 202903
o 202859
o 202759
o 202680
o 202632
o 202588
o 202488
o 202409
o 202367
o 202362
o 202350
o 202250
o 202206
o 202106
o 202027
o 201979
o 201935
o 201835
o 201756
o 201698
o 201598
o 201554
o 201454
o 201442
o 201342
o 201298
o 201198
o 201119
o 201114
o 201102
o 201002
o 200958
o 200858
o 200779
o 200731
o 200687
o 200587
o 200508
o 200466
o 200461
o 200449
o 200349
o 200305
o 200205
o 200126
o 200078
o 200034
o 199934
o 199855
o 199828
o 199813
o 199769
o 199669
o 199590
o 199542
o 199498
o 199398
o 199319
o 199313
o 199265
o 199221
o 199121
o 199042
o 198983
o 198883
o 198839
o 198739
o 198727
o 198627
o 198583
o 198483
o 198404
o 198399
o 198387
o 198287
o 198243
o 198143
o 198064
o 198045
o 198011
o 197991
o 197855
o 197755
o 197711
o 197611
o 197599
o 197499
o 197455
o 197355
o 197276
o 197271
o 197259
o 197159
o 197115
o 197015
o 196936
o 196888
o 196844
o 196744
o 196665
o 196623
o 196618
o 196606
o 196506
o 196462
o 196362
o 196283
o 196235
o 196191
o 196091
o 196012
o 195928
o 195849
o 195844
o 195832
o 195732
o 195688
o 195588
o 195509
o 195490
o 195456
o 195436
o 195300
o 195200
o 195156
o 195056
o 195044
o 194944
o 194900
o 194800
o 194721
o 194716
o 194704
o 194604
o 194560
o 194460
o 194381
o 194333
o 194289
o 194189
o 194110
o 194068
o 194063
o 194051
o 193951
o 193907
o 193807
o 193728
o 193680
o 193636
o 193536
o 193457
o 193399
o 193299
o 193255
o 193155
o 193143
o 193043
o 192999
o 192899
o 192820
o 192815
o 192803
o 192703
o 192659
o 192559
o 192480
o 192432
o 192388
o 192288
o 192209
o 192167
o 192162
o 192150
o 192050
o 192006
o 191906
o 191827
o 191779
o 191735
o 191635
o 191556
o 191508
o 191496
o 191396
o 191352
o 191252
o 191173
o 191168
o 191156
o 191056
o 191012
o 190912
o 190833
o 190785
o 190741
o 190641
o 190562
o 190520
o 190515
o 190503
o 190403
o 190359
o 190259
o 190180
o 190132
o 190088
o 189988
o 189909
o 189851
o 189751
o 189707
o 189607
o 189595
o 189495
o 189451
o 189351
o 189272
o 189267
o 189255
o 189155
o 189111
o 189011
o 188932
o 188884
o 188840
o 188740
o 188661
o 188619
o 188614
o 188602
o 188502
o 188458
o 188358
o 188279
o 188231
o 188187
o 188087
o 188008
o 187993
o 187914
o 187909
o 187897
o 187797
o 187753
o 187653
o 187574
o 187526
o 187482
o 187382
o 187303
o 187261
o 187256
o 187244
o 187144
o 187100
o 187000
o 186921
o 186873
o 186829
o 186729
o 186650
o 186592
o 186492
o 186448
o 186348
o 186336
o 186236
o 186192
o 186092
o 186013
o 186008
o 185996
o 185896
o 185852
o 185752
o 185673
o 185625
o 185581
o 185481
o 185402
o 185360
o 185355
o 185343
o 185243
o 185199
o 185099
o 185020
o 184972
o 184928
o 184828
o 184749
o 184722
o 184678
o 184634
o 184534
o 184455
o 184428
o 184345
o 184266
o 184261
o 184241
o 184105
o 184005
o 183926
o 183834
o 183734
o 183655
o 183613
o 183608
o 183588
o 183452
o 183352
o 183273
o 183181
o 183081
o 183002
o 182975
o 182887
o 182787
o 182708
o 182681
o 182668
o 182532
o 182432
o 182353
o 182261
o 182161
o 182082
o 182055
o 181967
o 181867
o 181788
o 181761
o 181759
o 181747
o 181647
o 181603
o 181503
o 181424
o 181376
o 181332
o 181232
o 181153
o 181126
o 181082
o 181038
o 180938
o 180859
o 180832
o 180749
o 180670
o 180665
o 180645
o 180509
o 180409
o 180330
o 180238
o 180138
o 180059
o 180017
o 180012
o 179992
o 179856
o 179756
o 179677
o 179585
o 179485
o 179406
o 179379
o 179291
o 179191
o 179112
o 179085
o 179072
o 178936
o 178836
o 178757
o 178665
o 178565
o 178486
o 178459
o 178371
o 178271
o 178192
o 178165
o 178159
o 178080
o 178053
o 177967
o 177888
o 177796
o 177696
o 177617
o 177575
o 177570
o 177550
o 177414
o 177314
o 177235
o 177143
o 177043
o 176964
o 176937
o 176849
o 176749
o 176670
o 176643
o 176630
o 176494
o 176394
o 176315
o 176223
o 176123
o 176044
o 176017
o 175929
o 175829
o 175750
o 175723
o 175721
o 175709
o 175609
o 175565
o 175465
o 175386
o 175338
o 175294
o 175194
o 175115
o 175088
o 175Killed
1979.595u 0.104s 33:12.04 99.3%	0+0k 0+0io 0pf+0w