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-100-2_network-4.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-4.net.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 3654859
o 329591
o 329558
o 328296
o 328102
o 327891
o 327609
o 327576
o 326807
o 326596
o 326314
o 326296
o 326207
o 325925
o 325892
o 325123
o 324912
o 324630
o 324061
o 323850
o 323568
o 323543
o 323261
o 323017
o 322840
o 322692
o 322481
o 322199
o 321955
o 321827
o 321616
o 321334
o 321309
o 321027
o 320783
o 320606
o 320458
o 320247
o 319965
o 319721
o 319540
o 319258
o 319014
o 318833
o 318551
o 318307
o 318126
o 317844
o 317600
o 317387
o 317206
o 316924
o 316680
o 316646
o 316640
o 316358
o 316114
o 315933
o 315651
o 315407
o 315226
o 314944
o 314700
o 314487
o 314306
o 314024
o 313780
o 313708
o 313495
o 313314
o 313032
o 312788
o 312569
o 312325
o 312310
o 312275
o 312127
o 311916
o 311634
o 311390
o 311248
o 311213
o 311065
o 310854
o 310572
o 310328
o 310147
o 309865
o 309621
o 309549
o 309336
o 309155
o 308873
o 308629
o 308478
o 308196
o 307952
o 307810
o 307775
o 307627
o 307416
o 307134
o 306890
o 306709
o 306427
o 306183
o 306111
o 305898
o 305717
o 305435
o 305191
o 305026
o 304782
o 304747
o 304599
o 304388
o 304106
o 303862
o 303681
o 303399
o 303155
o 303034
o 302883
o 302601
o 302357
o 302215
o 302180
o 302032
o 301821
o 301539
o 301295
o 301114
o 300832
o 300588
o 300516
o 300303
o 300122
o 299840
o 299596
o 299590
o 299308
o 299064
o 298851
o 298670
o 298388
o 298144
o 298069
o 297999
o 297892
o 297744
o 297533
o 297251
o 297007
o 296972
o 296824
o 296613
o 296331
o 296087
o 295906
o 295624
o 295380
o 295227
o 295221
o 294939
o 294695
o 294482
o 294301
o 294019
o 293775
o 293700
o 293630
o 293396
o 293375
o 293164
o 292882
o 292638
o 292476
o 292455
o 292244
o 291962
o 291718
o 291537
o 291255
o 291011
o 290831
o 290549
o 290305
o 290152
o 290146
o 289864
o 289620
o 289458
o 289407
o 289226
o 288944
o 288700
o 288625
o 288578
o 288334
o 288300
o 288089
o 287807
o 287563
o 287401
o 287380
o 287169
o 286887
o 286643
o 286462
o 286180
o 285936
o 285696
o 285483
o 285302
o 285020
o 284776
o 284612
o 284450
o 284399
o 284218
o 283936
o 283692
o 283669
o 283425
o 283367
o 283261
o 283203
o 283048
o 282990
o 282867
o 282809
o 282585
o 282527
o 282341
o 282283
o 282265
o 282207
o 282179
o 282128
o 281947
o 281665
o 281421
o 281259
o 281208
o 281027
o 280745
o 280501
o 280478
o 280234
o 280176
o 280070
o 280012
o 279908
o 279850
o 279799
o 279676
o 279618
o 279394
o 279336
o 279150
o 279092
o 278969
o 278911
o 278725
o 278667
o 278512
o 278454
o 278331
o 278273
o 278049
o 277991
o 277805
o 277747
o 277729
o 277671
o 277622
o 277378
o 277320
o 277267
o 277245
o 277233
o 277175
o 276999
o 276941
o 276838
o 276767
o 276485
o 276241
o 276183
o 276079
o 276021
o 275918
o 275847
o 275565
o 275321
o 275263
o 275140
o 275082
o 274858
o 274800
o 274614
o 274556
o 274408
o 274350
o 274341
o 274059
o 274001
o 273815
o 273757
o 273704
o 273682
o 273670
o 273612
o 273436
o 273378
o 273275
o 273204
o 272922
o 272678
o 272620
o 272516
o 272458
o 272355
o 272284
o 272002
o 271758
o 271700
o 271577
o 271519
o 271295
o 271237
o 271051
o 270993
o 270845
o 270787
o 270709
o 270651
o 270626
o 270604
o 270592
o 270534
o 270358
o 270300
o 270197
o 270126
o 269844
o 269600
o 269542
o 269438
o 269380
o 269277
o 269206
o 268924
o 268680
o 268622
o 268499
o 268441
o 268217
o 268159
o 267973
o 267915
o 267767
o 267709
o 267705
o 267700
o 267418
o 267360
o 267174
o 267116
o 267063
o 267041
o 267029
o 266971
o 266795
o 266737
o 266634
o 266563
o 266281
o 266037
o 265979
o 265875
o 265817
o 265714
o 265643
o 265361
o 265117
o 265059
o 264936
o 264878
o 264654
o 264596
o 264410
o 264352
o 264204
o 264146
o 264068
o 264010
o 263975
o 263917
o 263690
o 263632
o 263509
o 263451
o 263227
o 263169
o 262983
o 262925
o 262770
o 262712
o 262589
o 262531
o 262307
o 262249
o 262063
o 262005
o 261857
o 261799
o 261795
o 261790
o 261508
o 261450
o 261264
o 261206
o 261058
o 261000
o 260957
o 260899
o 260796
o 260725
o 260443
o 260199
o 260141
o 259993
o 259935
o 259736
o 259678
o 259492
o 259434
o 259286
o 259228
o 259207
o 259149
o 259001
o 258943
o 258744
o 258686
o 258500
o 258442
o 258294
o 258236
o 258158
o 258100
o 258076
o 258025
o 257902
o 257844
o 257620
o 257562
o 257376
o 257318
o 257170
o 257112
o 257034
o 256976
o 256804
o 256746
o 256598
o 256540
o 256478
o 256420
o 256369
o 256246
o 256188
o 255964
o 255906
o 255720
o 255662
o 255514
o 255456
o 255447
o 255165
o 255107
o 254921
o 254863
o 254715
o 254657
o 254595
o 254313
o 254255
o 254069
o 254011
o 253856
o 253798
o 253675
o 253617
o 253393
o 253335
o 253149
o 253091
o 252943
o 252885
o 252864
o 252806
o 252658
o 252600
o 252401
o 252343
o 252157
o 252099
o 251951
o 251893
o 251815
o 251757
o 251733
o 251682
o 251559
o 251501
o 251277
o 251219
o 251033
o 250975
o 250827
o 250769
o 250691
o 250633
o 250618
o 250501
o 250443
o 250365
o 250307
o 250252
o 250135
o 250077
o 249929
o 249871
o 249809
o 249751
o 249700
o 249470
o 249412
o 249226
o 249168
o 249051
o 248993
o 248845
o 248787
o 248671
o 248613
o 248427
o 248369
o 248252
o 248194
o 248046
o 247988
o 247819
o 247761
o 247575
o 247517
o 247400
o 247342
o 247187
o 247129
o 246899
o 246841
o 246655
o 246597
o 246480
o 246422
o 246274
o 246216
o 246195
o 246137
o 245989
o 245931
o 245907
o 245701
o 245643
o 245605
o 245457
o 245399
o 245282
o 245224
o 245146
o 245088
o 245064
o 245013
o 244783
o 244725
o 244539
o 244481
o 244364
o 244306
o 244158
o 244100
o 244022
o 243964
o 243924
o 243738
o 243680
o 243602
o 243544
o 243525
o 243389
o 243331
o 243062
o 243004
o 242818
o 242760
o 242682
o 242624
o 242533
o 242397
o 242339
o 242070
o 242012
o 241826
o 241768
o 241690
o 241632
o 241620
o 241484
o 241426
o 241294
o 241236
o 241158
o 241100
o 241099
o 241041
o 240924
o 240866
o 240718
o 240660
o 240598
o 240540
o 240489
o 240259
o 240201
o 240015
o 239957
o 239840
o 239782
o 239634
o 239576
o 239498
o 239440
o 239406
o 239220
o 239162
o 239045
o 238987
o 238839
o 238781
o 238703
o 238645
o 238532
o 238357
o 238299
o 238193
o 238135
o 238031
o 237973
o 237922
o 237692
o 237634
o 237448
o 237390
o 237273
o 237215
o 237163
o 236988
o 236930
o 236700
o 236642
o 236456
o 236398
o 236281
o 236223
o 236075
o 236017
o 235939
o 235881
o 235841
o 235806
o 235576
o 235518
o 235332
o 235274
o 235157
o 235099
o 234951
o 234893
o 234815
o 234757
o 234719
o 234661
o 234505
o 234447
o 234395
o 234220
o 234162
o 233932
o 233874
o 233688
o 233630
o 233513
o 233455
o 233300
o 233242
o 233012
o 232954
o 232768
o 232710
o 232593
o 232535
o 232387
o 232329
o 232251
o 232193
o 232169
o 232118
o 231888
o 231830
o 231644
o 231586
o 231469
o 231411
o 231263
o 231205
o 231127
o 231069
o 231031
o 230973
o 230971
o 230936
o 230706
o 230648
o 230462
o 230404
o 230287
o 230229
o 230081
o 230023
o 229945
o 229887
o 229853
o 229667
o 229609
o 229492
o 229434
o 229286
o 229228
o 229150
o 229092
o 228979
o 228804
o 228746
o 228640
o 228582
o 228478
o 228420
o 228369
o 228139
o 228081
o 227895
o 227837
o 227720
o 227662
o 227610
o 227435
o 227377
o 227147
o 227089
o 226903
o 226845
o 226728
o 226670
o 226522
o 226464
o 226386
o 226328
o 226304
o 226253
o 226023
o 225965
o 225779
o 225721
o 225604
o 225546
o 225398
o 225340
o 225262
o 225204
o 225166
o 225108
o 225105
o 224971
o 224913
o 224727
o 224669
o 224552
o 224494
o 224456
o 224398
o 224339
o 224243
o 224185
o 224051
o 223993
o 223807
o 223749
o 223632
o 223574
o 223536
o 223478
o 223426
o 223330
o 223272
o 223194
o 223136
o 223134
o 223099
o 222869
o 222811
o 222625
o 222567
o 222450
o 222392
o 222244
o 222186
o 222108
o 222050
o 222016
o 221830
o 221772
o 221655
o 221597
o 221449
o 221391
o 221313
o 221255
o 221142
o 220967
o 220909
o 220803
o 220745
o 220641
o 220583
o 220532
o 220302
o 220244
o 220058
o 220000
o 219883
o 219825
o 219773
o 219598
o 219540
o 219310
o 219252
o 219066
o 219008
o 218891
o 218833
o 218685
o 218627
o 218549
o 218491
o 218453
o 218395
o 218371
o 218320
o 218186
o 218128
o 217942
o 217884
o 217767
o 217709
o 217671
o 217613
o 217561
o 217465
o 217407
o 217329
o 217271
o 217197
o 217139
o 217118
o 217022
o 216964
o 216886
o 216828
o 216789
o 216731
o 216614
o 216556
o 216408
o 216350
o 216288
o 216230
o 216179
o 215949
o 215891
o 215705
o 215647
o 215530
o 215472
o 215324
o 215266
o 215188
o 215130
o 215096
o 214910
o 214852
o 214735
o 214677
o 214529
o 214471
o 214393
o 214335
o 214222
o 214047
o 213989
o 213883
o 213825
o 213721
o 213663
o 213612
o 213382
o 213324
o 213138
o 213080
o 212963
o 212905
o 212853
o 212678
o 212620
o 212390
o 212332
o 212146
o 212088
o 211971
o 211913
o 211765
o 211707
o 211629
o 211571
o 211531
o 211496
o 211266
o 211208
o 211022
o 210964
o 210847
o 210789
o 210641
o 210583
o 210505
o 210447
o 210409
o 210351
o 210277
o 210219
o 210198
o 210102
o 210044
o 209966
o 209908
o 209905
o 209847
o 209763
o 209627
o 209569
o 209519
o 209461
o 209383
o 209325
o 209208
o 209150
o 209138
o 209002
o 208944
o 208904
o 208846
o 208771
o 208713
o 208527
o 208469
o 208352
o 208294
o 208146
o 208088
o 208010
o 207952
o 207912
o 207877
o 207647
o 207589
o 207403
o 207345
o 207228
o 207170
o 207022
o 206964
o 206886
o 206828
o 206790
o 206732
o 206658
o 206600
o 206579
o 206483
o 206425
o 206347
o 206289
o 206249
o 206175
o 206117
o 206096
o 206000
o 205942
o 205864
o 205806
o 205769
o 205711
o 205659
o 205563
o 205505
o 205484
o 205388
o 205330
o 205252
o 205194
o 205155
o 205097
o 205045
o 204949
o 204891
o 204870
o 204774
o 204716
o 204638
o 204580
o 204546
o 204456
o 204360
o 204302
o 204281
o 204185
o 204127
o 204075
o 203979
o 203921
o 203843
o 203785
o 203768
o 203672
o 203593
o 203497
o 203439
o 203429
o 203333
o 203275
o 203267
o 203171
o 203113
o 203062
o 202928
o 202870
o 202684
o 202626
o 202509
o 202451
o 202413
o 202355
o 202303
o 202224
o 202128
o 202070
o 201936
o 201878
o 201692
o 201634
o 201517
o 201459
o 201421
o 201363
o 201311
o 201215
o 201157
o 201079
o 201021
o 200988
o 200930
o 200909
o 200813
o 200755
o 200703
o 200607
o 200549
o 200487
o 200429
o 200378
o 200244
o 200186
o 200000
o 199942
o 199825
o 199767
o 199729
o 199671
o 199619
o 199523
o 199465
o 199387
o 199329
o 199286
o 199228
o 199176
o 199080
o 199022
o 198944
o 198886
o 198828
o 198776
o 198680
o 198622
o 198560
o 198502
o 198451
o 198317
o 198259
o 198073
o 198015
o 197898
o 197840
o 197802
o 197744
o 197692
o 197596
o 197538
o 197534
o 197476
o 197455
o 197359
o 197301
o 197249
o 197153
o 197095
o 197017
o 196959
o 196930
o 196847
o 196751
o 196693
o 196662
o 196641
o 196545
o 196487
o 196471
o 196381
o 196285
o 196227
o 196206
o 196110
o 196052
o 196000
o 195904
o 195846
o 195842
o 195784
o 195763
o 195667
o 195609
o 195557
o 195461
o 195403
o 195325
o 195267
o 195139
o 195081
o 194933
o 194875
o 194813
o 194755
o 194704
o 194474
o 194416
o 194230
o 194172
o 194055
o 193997
o 193849
o 193791
o 193713
o 193655
o 193644
o 193458
o 193400
o 193283
o 193225
o 193147
o 193089
o 192985
o 192927
o 192876
o 192782
o 192724
o 192538
o 192480
o 192363
o 192305
o 192227
o 192169
o 192157
o 192021
o 191963
o 191889
o 191831
o 191714
o 191656
o 191578
o 191520
o 191482
o 191424
o 191366
o 191314
o 191218
o 191160
o 191098
o 191040
o 190989
o 190855
o 190797
o 190611
o 190553
o 190436
o 190378
o 190340
o 190282
o 190230
o 190134
o 190076
o 189998
o 189940
o 189866
o 189808
o 189787
o 189691
o 189633
o 189555
o 189497
o 189464
o 189406
o 189385
o 189289
o 189231
o 189179
o 189083
o 189025
o 188963
o 188905
o 188854
o 188823
o 188765
o 188744
o 188648
o 188590
o 188583
o 188476
o 188301
o 188243
o 188205
o 188147
o 188095
o 187999
o 187941
o 187863
o 187805
o 187796
o 187738
o 187655
o 187559
o 187501
o 187470
o 187449
o 187353
o 187295
o 187279
o 187189
o 187093
o 187035
o 187014
o 186918
o 186860
o 186808
o 186712
o 186654
o 186650
o 186592
o 186571
o 186475
o 186417
o 186365
o 186269
o 186211
o 186133
o 186075
o 185965
o 185907
o 185845
o 185787
o 185736
o 185506
o 185448
o 185262
o 185204
o 185087
o 185029
o 184881
o 184823
o 184745
o 184687
o 184676
o 184490
o 184432
o 184315
o 184257
o 184179
o 184121
o 184017
o 183959
o 183908
o 183814
o 183756
o 183570
o 183512
o 183395
o 183337
o 183259
o 183201
o 183189
o 183053
o 182995
o 182921
o 182863
o 182746
o 182688
o 182610
o 182552
o 182514
o 182456
o 182453
o 182357
o 182299
o 182273
o 182191
o 182112
o 182016
o 181958
o 181844
o 181786
o 181669
o 181611
o 181573
o 181515
o 181437
o 181379
o 181367
o 181327
o 181231
o 181173
o 181118
o 181068
o 180972
o 180932
o 180836
o 180778
o 180594
o 180536
o 180419
o 180361
o 180213
o 180155
o 180077
o 180019
o 179964
o 179906
o 179696
o 179638
o 179521
o 179463
o 179315
o 179257
o 179207
o 179090
o 179032
o 178822
o 178764
o 178647
o 178589
o 178441
o 178383
o 178323
o 178265
o 178067
o 178009
o 177892
o 177834
o 177830
o 177624
o 177566
o 177449
o 177391
o 177313
o 177255
o 177217
o 177159
o 177154
o 177096
o 177092
o 177040
o 176944
o 176886
o 176836
o 176815
o 176719
o 176661
o 176547
o 176451
o 176393
o 176372
o 176276
o 176218
o 176166
o 176070
o 176012
o 175934
o 175876
o 175716
o 175658
o 175510
o 175452
o 175414
o 175356
o 175334
o 175276
o 175268
o 175172
o 175114
o 174960
o 174902
o 174716
o 174658
o 174510
o 174452
o 174414
o 174356
o 174278
o 174220
o 174213
o 174067
o 173931
o 173873
o 173835
o 173777
o 173730
o 173672
o 173614
o 173556
o 173549
o 173473
o 173267
o 173209
o 173171
o 173023
o 172965
o 172952
o 172894
o 172856
o 172798
o 172791
o 172720
o 172662
o 172655
o 172580
o 172509
o 172444
o 172373
o 172315
o 172290
o 172277
o 172219
o 172196
o 172133
o 171927
o 171869
o 171831
o 171683
o 171625
o 171612
o 171554
o 171516
o 171458
o 171451
o 171380
o 171322
o 171277
o 171237
o 171141
o 171083
o 171025
o 170969
o 170873
o 170815
o 170757
o 170699
o 170514
o 170456
o 170270
o 170212
o 170095
o 170037
o 169999
o 169941
o 169889
o 169793
o 169735
o 169657
o 169599
o 169525
o 169446
o 169350
o 169292
o 169214
o 169156
o 169129
o 169072
o 168955
o 168897
o 168893
o 168687
o 168629
o 168512
o 168454
o 168416
o 168358
o 168276
o 168197
o 168101
o 168043
o 168039
o 167981
o 167960
o 167864
o 167806
o 167754
o 167658
o 167600
o 167522
o 167464
o 167428
o 167222
o 167164
o 167086
o 167028
o 166984
o 166954
o 166710
o 166652
o 166548
o 166490
o 166304
o 166246
o 166168
o 166110
o 166098
o 165962
o 165904
o 165866
o 165808
o 165801
o 165655
o 165519
o 165461
o 165423
o 165365
o 165318
o 165260
o 165223
o 165127
o 165069
o 165056
o 164998
o 164965
o 164817
o 164721
o 164663
o 164650
o 164592
o 164515
o 164444
o 164386
o 164379
o 164308
o 164250
o 164168
o 164072
o 164001
o 163943
o 163936
o 163878
o 163865
o 163807
o 163784
o 163713
o 163688
o 163617
o 163559
o 163547
o 163489
o 163482
o 163424
o 163411
o 163353
o 163341
o 163270
o 163245
o 163174
o 163116
o 163104
o 163046
o 163039
o 162981
o 162968
o 162910
o 162846
o 162788
o 162786
o 162728
o 162672
o 162545
o 162449
o 162378
o 162320
o 162139
o 162081
o 162068
o 162010
o 161972
o 161914
o 161907
o 161836
o 161778
o 161696
o 161600
o 161529
o 161471
o 161464
o 161406
o 161393
o 161335
o 161312
o 161242
o 161184
o 161171
o 161113
o 161081
o 161043
o 160799
o 160741
o 160728
o 160670
o 160632
o 160574
o 160567
o 160496
o 160438
o 160383
o 160312
o 160254
o 160205
o 160134
o 160076
o 159877
o 159781
o 159723
o 159633
o 159537
o 159479
o 159466
o 159408
o 159331
o 159260
o 159202
o 159195
o 159124
o 159066
o 158984
o 158913
o 158848
o 158777
o 158719
o 158694
o 158681
o 158623
o 158540
o 158469
o 158411
o 158385
o 158258
o 158162
o 158091
o 158033
o 157852
o 157794
o 157781
o 157723
o 157685
o 157627
o 157620
o 157549
o 157491
o 157423
o 157365
o 157199
o 157103
o 157045
o 156955
o 156859
o 156801
o 156788
o 156730
o 156723
o 156652
o 156594
o 156512
o 156416
o 156345
o 156287
o 156280
o 156222
o 156209
o 156151
o 156096
o 156025
o 155967
o 155954
o 155906
o 155899
o 155841
o 155828
o 155770
o 155767
o 155724
o 155689
o 155631
o 155588
o 155570
o 155567
o 155560
o 155502
o 155489
o 155431
o 155388
o 155346
o 155339
o 155281
o 155268
o 155210
o 155162
o 155104
o 155091
o 155033
o 155017
o 154980
o 154962
o 154891
o 154833
o 154815
o 154719
o 154679
o 154583
o 154525
o 154475
o 154417
o 154339
o 154281
o 154268
o 154210
o 154140
o 154082
o 154032
o 153992
o 153896
o 153838
o 153825
o 153767
o 153719
o 153712
o 153641
o 153583
o 153570
o 153515
o 153457
o 153444
o 153386
o 153383
o 153340
o 153305
o 153247
o 153204
o 153186
o 153176
o 153118
o 153105
o 153047
o 153004
o 152962
o 152955
o 152897
o 152884
o 152826
o 152778
o 152720
o 152707
o 152649
o 152633
o 152596
o 152578
o 152507
o 152449
o 152382
o 152324
o 152303
o 152285
o 152275
o 152217
o 152204
o 152146
o 152103
o 152054
o 151996
o 151983
o 151925
o 151877
o 151819
o 151806
o 151748
o 151732
o 151677
o 151619
o 151606
o 151548
o 151483
o 151412
o 151387
o 151316
o 151258
o 151203
o 151132
o 151074
o 151061
o 151006
o 150948
o 150935
o 150877
o 150867
o 150796
o 150738
o 150695
o 150677
o 150667
o 150609
o 150596
o 150538
o 150495
o 150446
o 150388
o 150375
o 150317
o 150269
o 150211
o 150198
o 150140
o 150124
o 150069
o 150011
o 149998
o 149940
o 149919
o 149901
o 149891
o 149833
o 149820
o 149762
o 149719
o 149670
o 149612
o 149599
o 149541
o 149493
o 149435
o 149422
o 149364
o 149348
o 149293
o 149235
o 149222
o 149164
o 149134
o 149121
o 149063
o 149047
o 148992
o 148934
o 148921
o 148863
o 148831
o 148773
o 148725
o 148667
o 148654
o 148596
o 148580
o 148543
o 148525
o 148454
o 148396
o 148364
o 148351
o 148293
o 148250
o 148201
o 148143
o 148130
o 148072
o 148024
o 147966
o 147953
o 147895
o 147879
o 147824
o 147766
o 147753
o 147695
o 147653
o 147598
o 147540
o 147527
o 147469
o 147452
o 147394
o 147378
o 147320
o 147307
o 147249
o 147233
o 147178
o 147120
o 147107
o 147049
o 147010
o 146974
o 146916
o 146861
o 146803
o 146790
o 146732
o 146677
o 146619
o 146606
o 146548
o 146532
o 146477
o 146419
o 146406
o 146348
o 146306
o 146251
o 146193
o 146180
o 146122
o 146104
o 146072
o 146059
o 146001
o 145958
o 145909
o 145851
o 145838
o 145780
o 145732
o 145674
o 145661
o 145603
o 145587
o 145532
o 145474
o 145461
o 145403
o 145361
o 145306
o 145248
o 145235
o 145177
o 145160
o 145102
o 145086
o 145028
o 145015
o 144957
o 144941
o 144886
o 144828
o 144815
o 144757
o 144718
o 144682
o 144624
o 144569
o 144511
o 144498
o 144440
o 144385
o 144327
o 144314
o 144256
o 144240
o 144185
o 144127
o 144114
o 144056
o 144014
o 143959
o 143901
o 143888
o 143830
o 143805
o 143792
o 143734
o 143718
o 143663
o 143605
o 143592
o 143534
o 143502
o 143489
o 143431
o 143388
o 143339
o 143281
o 143268
o 143210
o 143162
o 143104
o 143091
o 143033
o 143017
o 142962
o 142904
o 142891
o 142833
o 142791
o 142736
o 142678
o 142665
o 142607
o 142590
o 142532
o 142516
o 142458
o 142445
o 142387
o 142371
o 142316
o 142258
o 142245
o 142187
o 142148
o 142112
o 142054
o 141999
o 141941
o 141928
o 141870
o 141815
o 141757
o 141744
o 141686
o 141670
o 141615
o 141557
o 141544
o 141486
o 141444
o 141389
o 141331
o 141318
o 141260
o 141239
o 141221
o 141150
o 141125
o 141054
o 141038
o 141014
o 140925
o 140854
o 140822
o 140751
o 140708
o 140601
o 140530
o 140513
o 140424
o 140353
o 140337
o 140313
o 140224
o 140153
o 140111
o 140087
o 139998
o 139927
o 139910
o 139852
o 139778
o 139707
o 139691
o 139667
o 139578
o 139507
o 139468
o 139445
o 139374
o 139350
o 139279
o 139261
o 139190
o 139166
o 139095
o 139077
o 139006
o 138990
o 138966
o 138877
o 138806
o 138764
o 138740
o 138669
o 138651
o 138580
o 138572
o 138501
o 138484
o 138426
o 138361
o 138345
o 138321
o 138232
o 138161
o 138126
o 138108
o 138037
o 138013
o 137942
o 137924
o 137853
o 137837
o 137813
o 137724
o 137653
o 137651
o 137580
o 137564
o 137540
o 137451
o 137380
o 137338
o 137314
o 137243
o 137225
o 137154
o 137136
o 137127
o 137120
o 137070
o 137061
o 137054
o 136981
o 136974
o 136972
o 136965
o 136910
o 136901
o 136894
o 136874
o 136865
o 136856
o 136847
o 136785
o 136776
o 136768
o 136706
o 136697
o 136689
o 136680
o 136631
o 136622
o 136566
o 136557
o 136526
o 136517
o 136437
o 136428
o 136366
o 136357
o 136323
o 136314
o 136252
o 136243
o 136234
o 136225
o 136163
o 136154
o 136147
o 136138
o 136129
o 136120
o 136058
o 136049
o 136018
o 136009
o 135929
o 135920
o 135858
o 135849
o 135847
o 135785
o 135776
o 135745
o 135736
o 135656
o 135647
o 135585
o 135576
o 135519
o 135510
o 135430
o 135421
o 135359
o 135350
o 135277
o 135246
o 135167
o 135150
o 135092
o 135069
o 135020
o 134958
o 134869
o 134796
o 134747
o 134685
o 134596Killed
1979.266u 0.432s 33:11.15 99.4%	0+0k 0+0io 3pf+0w