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-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/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 3868214
o 343152
o 343027
o 342610
o 342027
o 341051
o 340926
o 340509
o 339926
o 339596
o 339207
o 339082
o 338665
o 338082
o 337752
o 337496
o 337421
o 337321
o 337091
o 336991
o 336702
o 336602
o 336577
o 336477
o 336160
o 336060
o 335577
o 335477
o 335247
o 335147
o 334991
o 334891
o 334878
o 334548
o 334448
o 334292
o 334192
o 334148
o 334048
o 333935
o 333679
o 333605
o 333349
o 333249
o 333236
o 332906
o 332650
o 332550
o 332506
o 332406
o 332372
o 331889
o 331789
o 331633
o 331533
o 331459
o 331303
o 331203
o 331190
o 330860
o 330604
o 330504
o 330460
o 330360
o 330282
o 330182
o 330026
o 329926
o 329583
o 329483
o 329327
o 329227
o 329183
o 329083
o 328997
o 328897
o 328853
o 328753
o 328719
o 328236
o 328136
o 327980
o 327880
o 327537
o 327437
o 327281
o 327181
o 327137
o 327037
o 326951
o 326851
o 326807
o 326707
o 326287
o 326187
o 326143
o 326043
o 326031
o 325931
o 325887
o 325787
o 325701
o 325601
o 325557
o 325457
o 325394
o 325241
o 324911
o 324811
o 324767
o 324667
o 324655
o 324555
o 324511
o 324411
o 324377
o 323894
o 323794
o 323638
o 323538
o 323195
o 323095
o 322939
o 322839
o 322795
o 322695
o 322609
o 322509
o 322465
o 322365
o 322350
o 322250
o 322206
o 322106
o 322072
o 321589
o 321489
o 321333
o 321233
o 320890
o 320790
o 320634
o 320534
o 320490
o 320390
o 320304
o 320204
o 320160
o 320060
o 319964
o 319864
o 319820
o 319720
o 319713
o 319613
o 319569
o 319469
o 319454
o 319354
o 319310
o 319210
o 319100
o 319000
o 318956
o 318856
o 318713
o 318613
o 318457
o 318357
o 318313
o 318213
o 317994
o 317894
o 317738
o 317638
o 317594
o 317494
o 317408
o 317308
o 317264
o 317164
o 317068
o 316968
o 316924
o 316824
o 316765
o 316721
o 316621
o 316614
o 316514
o 316470
o 316370
o 316367
o 316355
o 316255
o 316211
o 316111
o 316013
o 315870
o 315770
o 315614
o 315514
o 315470
o 315370
o 315151
o 315051
o 314895
o 314795
o 314751
o 314651
o 314639
o 314539
o 314495
o 314395
o 314321
o 314309
o 314209
o 314165
o 314065
o 313981
o 313969
o 313869
o 313825
o 313725
o 313666
o 313622
o 313522
o 313510
o 313410
o 313366
o 313266
o 313047
o 312791
o 312691
o 312647
o 312547
o 312461
o 312361
o 312317
o 312217
o 312121
o 312021
o 311977
o 311877
o 311818
o 311774
o 311674
o 311667
o 311567
o 311523
o 311423
o 311420
o 311320
o 311276
o 311176
o 311164
o 311066
o 310923
o 310823
o 310667
o 310567
o 310523
o 310423
o 310204
o 310104
o 309948
o 309848
o 309804
o 309704
o 309692
o 309592
o 309548
o 309448
o 309374
o 309362
o 309262
o 309218
o 309118
o 309034
o 309022
o 308922
o 308878
o 308778
o 308774
o 308695
o 308651
o 308630
o 308551
o 308546
o 308467
o 308434
o 308355
o 308290
o 308211
o 308187
o 308087
o 308075
o 307975
o 307931
o 307831
o 307612
o 307356
o 307256
o 307212
o 307112
o 307026
o 306926
o 306882
o 306782
o 306703
o 306686
o 306607
o 306586
o 306507
o 306442
o 306363
o 306304
o 306239
o 306160
o 306132
o 306088
o 305988
o 305985
o 305885
o 305841
o 305741
o 305729
o 305631
o 305488
o 305388
o 305232
o 305132
o 305088
o 304988
o 304769
o 304669
o 304513
o 304413
o 304369
o 304269
o 304257
o 304157
o 304113
o 304013
o 303939
o 303927
o 303827
o 303783
o 303683
o 303599
o 303587
o 303487
o 303443
o 303343
o 303264
o 303220
o 303176
o 303076
o 302857
o 302757
o 302713
o 302613
o 302601
o 302501
o 302457
o 302357
o 302278
o 302261
o 302182
o 302161
o 302082
o 302017
o 301938
o 301879
o 301814
o 301735
o 301707
o 301663
o 301563
o 301560
o 301460
o 301416
o 301316
o 301304
o 301206
o 301199
o 301043
o 300943
o 300807
o 300707
o 300663
o 300563
o 300480
o 300324
o 300224
o 300088
o 299988
o 299944
o 299844
o 299832
o 299732
o 299688
o 299588
o 299514
o 299502
o 299402
o 299358
o 299258
o 299174
o 299162
o 299062
o 299018
o 298918
o 298839
o 298757
o 298745
o 298645
o 298601
o 298501
o 298456
o 298311
o 298211
o 298137
o 297981
o 297881
o 297837
o 297737
o 297539
o 297439
o 297283
o 297183
o 297139
o 297039
o 297027
o 296927
o 296883
o 296783
o 296699
o 296687
o 296587
o 296543
o 296443
o 296364
o 296320
o 296276
o 296176
o 295957
o 295857
o 295813
o 295713
o 295701
o 295601
o 295557
o 295457
o 295378
o 295361
o 295282
o 295261
o 295182
o 295117
o 295038
o 295004
o 294997
o 294841
o 294741
o 294605
o 294505
o 294461
o 294361
o 294278
o 294122
o 294022
o 293886
o 293786
o 293742
o 293642
o 293630
o 293530
o 293486
o 293386
o 293312
o 293300
o 293200
o 293156
o 293056
o 292972
o 292960
o 292860
o 292816
o 292716
o 292714
o 292614
o 292602
o 292502
o 292458
o 292358
o 292274
o 292262
o 292162
o 292118
o 292018
o 291939
o 291920
o 291866
o 291730
o 291630
o 291586
o 291486
o 291474
o 291374
o 291330
o 291230
o 291146
o 291134
o 291034
o 290990
o 290890
o 290811
o 290763
o 290719
o 290619
o 290540
o 290488
o 290388
o 290252
o 290152
o 290108
o 290008
o 289929
o 289925
o 289769
o 289669
o 289533
o 289433
o 289389
o 289289
o 289210
o 289177
o 289133
o 289033
o 288954
o 288949
o 288870
o 288837
o 288758
o 288693
o 288614
o 288595
o 288545
o 288517
o 288417
o 288338
o 288305
o 288226
o 288161
o 288082
o 288049
o 288005
o 287905
o 287826
o 287821
o 287742
o 287709
o 287665
o 287565
o 287486
o 287471
o 287438
o 287394
o 287294
o 287215
o 287163
o 287079
o 287067
o 286967
o 286923
o 286823
o 286744
o 286725
o 286675
o 286647
o 286547
o 286468
o 286435
o 286356
o 286291
o 286212
o 286179
o 286135
o 286035
o 285956
o 285951
o 285872
o 285839
o 285795
o 285695
o 285616
o 285601
o 285568
o 285524
o 285424
o 285345
o 285244
o 285144
o 285129
o 285117
o 284973
o 284873
o 284794
o 284742
o 284642
o 284506
o 284406
o 284362
o 284262
o 284183
o 284120
o 284117
o 284017
o 283923
o 283787
o 283687
o 283643
o 283543
o 283464
o 283431
o 283387
o 283287
o 283208
o 283203
o 283124
o 283091
o 283012
o 282947
o 282868
o 282863
o 282851
o 282751
o 282707
o 282607
o 282523
o 282511
o 282411
o 282367
o 282267
o 282199
o 282063
o 281963
o 281919
o 281819
o 281804
o 281792
o 281692
o 281648
o 281548
o 281469
o 281438
o 281417
o 281338
o 281333
o 281254
o 281221
o 281142
o 281077
o 280998
o 280993
o 280981
o 280881
o 280837
o 280737
o 280653
o 280641
o 280541
o 280497
o 280397
o 280329
o 280193
o 280093
o 280049
o 279949
o 279934
o 279922
o 279822
o 279778
o 279678
o 279599
o 279540
o 279461
o 279456
o 279377
o 279344
o 279265
o 279200
o 279121
o 279106
o 279073
o 278994
o 278929
o 278850
o 278826
o 278793
o 278714
o 278649
o 278570
o 278555
o 278522
o 278443
o 278378
o 278299
o 278293
o 278247
o 278147
o 278011
o 277911
o 277867
o 277767
o 277746
o 277704
o 277684
o 277528
o 277428
o 277292
o 277192
o 277148
o 277048
o 277036
o 276936
o 276892
o 276792
o 276708
o 276696
o 276596
o 276552
o 276452
o 276373
o 276368
o 276356
o 276256
o 276212
o 276112
o 276028
o 276016
o 275916
o 275872
o 275772
o 275704
o 275568
o 275468
o 275424
o 275324
o 275309
o 275297
o 275197
o 275153
o 275053
o 274974
o 274943
o 274922
o 274843
o 274838
o 274759
o 274747
o 274726
o 274647
o 274603
o 274582
o 274503
o 274498
o 274486
o 274386
o 274342
o 274242
o 274158
o 274146
o 274046
o 274002
o 273902
o 273834
o 273698
o 273598
o 273554
o 273454
o 273439
o 273427
o 273327
o 273283
o 273183
o 273104
o 273063
o 272984
o 272927
o 272883
o 272783
o 272768
o 272756
o 272656
o 272612
o 272512
o 272433
o 272398
o 272354
o 272254
o 272175
o 272157
o 272078
o 272045
o 271966
o 271901
o 271822
o 271662
o 271583
o 271562
o 271483
o 271426
o 271347
o 271326
o 271247
o 271182
o 271103
o 271091
o 271070
o 270991
o 270926
o 270847
o 270842
o 270763
o 270730
o 270651
o 270586
o 270507
o 270502
o 270423
o 270375
o 270310
o 270231
o 270198
o 270119
o 270054
o 269975
o 269960
o 269927
o 269848
o 269783
o 269704
o 269692
o 269671
o 269592
o 269527
o 269448
o 269379
o 269364
o 269331
o 269252
o 269187
o 269108
o 269077
o 269056
o 268977
o 268972
o 268893
o 268881
o 268860
o 268781
o 268737
o 268716
o 268637
o 268632
o 268553
o 268505
o 268440
o 268361
o 268328
o 268249
o 268184
o 268105
o 268090
o 268057
o 267978
o 267913
o 267834
o 267822
o 267801
o 267722
o 267657
o 267578
o 267509
o 267494
o 267461
o 267382
o 267317
o 267238
o 267235
o 267214
o 267135
o 267070
o 266991
o 266950
o 266871
o 266814
o 266770
o 266670
o 266655
o 266643
o 266543
o 266499
o 266399
o 266320
o 266285
o 266241
o 266141
o 266062
o 266044
o 265965
o 265932
o 265853
o 265788
o 265709
o 265637
o 265569
o 265469
o 265425
o 265325
o 265246
o 265213
o 265134
o 265069
o 264990
o 264978
o 264957
o 264878
o 264813
o 264734
o 264729
o 264650
o 264617
o 264538
o 264473
o 264394
o 264385
o 264320
o 264241
o 264226
o 264193
o 264114
o 264049
o 263970
o 263902
o 263845
o 263745
o 263666
o 263622
o 263601
o 263522
o 263474
o 263395
o 263330
o 263251
o 263239
o 263218
o 263139
o 263074
o 262995
o 262943
o 262864
o 262859
o 262780
o 262747
o 262668
o 262603
o 262524
o 262519
o 262440
o 262427
o 262327
o 262248
o 262215
o 262136
o 262071
o 261992
o 261977
o 261944
o 261865
o 261800
o 261721
o 261688
o 261644
o 261544
o 261465
o 261460
o 261381
o 261348
o 261304
o 261204
o 261125
o 261120
o 261052
o 260995
o 260895
o 260816
o 260772
o 260751
o 260672
o 260657
o 260624
o 260545
o 260480
o 260401
o 260378
o 260278
o 260199
o 260196
o 260117
o 260102
o 260069
o 259990
o 259925
o 259846
o 259778
o 259721
o 259621
o 259542
o 259498
o 259477
o 259398
o 259350
o 259271
o 259206
o 259127
o 259115
o 259094
o 259015
o 258950
o 258871
o 258866
o 258787
o 258754
o 258675
o 258610
o 258531
o 258466
o 258437
o 258358
o 258343
o 258310
o 258231
o 258166
o 258087
o 258082
o 258003
o 257926
o 257826
o 257747
o 257724
o 257624
o 257545
o 257542
o 257463
o 257448
o 257415
o 257336
o 257271
o 257192
o 257124
o 257067
o 256967
o 256888
o 256844
o 256823
o 256744
o 256696
o 256617
o 256552
o 256473
o 256461
o 256440
o 256361
o 256296
o 256217
o 256212
o 256133
o 256100
o 256021
o 255956
o 255877
o 255816
o 255737
o 255724
o 255645
o 255580
o 255501
o 255453
o 255409
o 255309
o 255230
o 255172
o 255107
o 255028
o 255013
o 254934
o 254913
o 254834
o 254790
o 254769
o 254690
o 254675
o 254642
o 254563
o 254498
o 254419
o 254351
o 254294
o 254194
o 254115
o 254071
o 254050
o 253971
o 253956
o 253923
o 253844
o 253779
o 253700
o 253631
o 253616
o 253583
o 253504
o 253439
o 253360
o 253287
o 253222
o 253143
o 253124
o 253045
o 253040
o 252961
o 252928
o 252849
o 252784
o 252705
o 252657
o 252613
o 252513
o 252434
o 252431
o 252352
o 252337
o 252304
o 252225
o 252160
o 252081
o 252013
o 251956
o 251856
o 251777
o 251733
o 251712
o 251633
o 251585
o 251506
o 251441
o 251362
o 251350
o 251329
o 251250
o 251185
o 251106
o 251101
o 251022
o 250989
o 250910
o 250845
o 250766
o 250760
o 250745
o 250712
o 250633
o 250568
o 250489
o 250470
o 250391
o 250386
o 250307
o 250274
o 250195
o 250130
o 250051
o 250003
o 249959
o 249859
o 249780
o 249777
o 249698
o 249683
o 249650
o 249571
o 249506
o 249427
o 249359
o 249302
o 249202
o 249123
o 249079
o 249058
o 248979
o 248931
o 248852
o 248787
o 248708
o 248696
o 248675
o 248596
o 248531
o 248452
o 248447
o 248368
o 248335
o 248256
o 248191
o 248112
o 248054
o 247975
o 247906
o 247891
o 247858
o 247779
o 247714
o 247635
o 247577
o 247512
o 247433
o 247418
o 247339
o 247318
o 247239
o 247195
o 247174
o 247095
o 247080
o 247047
o 246968
o 246903
o 246824
o 246756
o 246699
o 246599
o 246520
o 246476
o 246455
o 246376
o 246361
o 246328
o 246249
o 246184
o 246105
o 246036
o 246021
o 245988
o 245909
o 245844
o 245765
o 245725
o 245704
o 245625
o 245606
o 245527
o 245522
o 245443
o 245410
o 245331
o 245266
o 245187
o 245139
o 245095
o 244995
o 244916
o 244913
o 244834
o 244819
o 244786
o 244707
o 244642
o 244563
o 244495
o 244438
o 244338
o 244259
o 244215
o 244194
o 244115
o 244067
o 243988
o 243923
o 243844
o 243832
o 243811
o 243732
o 243667
o 243588
o 243583
o 243504
o 243471
o 243392
o 243327
o 243248
o 243175
o 243110
o 243031
o 243012
o 242933
o 242928
o 242849
o 242816
o 242737
o 242672
o 242593
o 242545
o 242501
o 242401
o 242322
o 242319
o 242240
o 242225
o 242192
o 242113
o 242048
o 241969
o 241901
o 241844
o 241744
o 241665
o 241621
o 241600
o 241521
o 241473
o 241394
o 241329
o 241250
o 241238
o 241217
o 241138
o 241073
o 240994
o 240989
o 240910
o 240877
o 240798
o 240733
o 240654
o 240648
o 240633
o 240600
o 240521
o 240456
o 240377
o 240358
o 240279
o 240274
o 240195
o 240162
o 240083
o 240018
o 239939
o 239891
o 239847
o 239747
o 239668
o 239665
o 239586
o 239571
o 239538
o 239459
o 239394
o 239315
o 239247
o 239190
o 239090
o 239011
o 238967
o 238946
o 238867
o 238819
o 238740
o 238675
o 238596
o 238584
o 238563
o 238484
o 238419
o 238340
o 238335
o 238256
o 238223
o 238144
o 238079
o 238000
o 237988
o 237909
o 237865
o 237844
o 237765
o 237750
o 237717
o 237638
o 237573
o 237494
o 237426
o 237369
o 237269
o 237190
o 237146
o 237125
o 237046
o 237031
o 236998
o 236919
o 236854
o 236775
o 236769
o 236754
o 236721
o 236642
o 236577
o 236498
o 236479
o 236400
o 236395
o 236316
o 236283
o 236204
o 236139
o 236060
o 236012
o 235968
o 235868
o 235789
o 235786
o 235707
o 235692
o 235659
o 235580
o 235515
o 235436
o 235368
o 235311
o 235211
o 235132
o 235088
o 235067
o 234988
o 234940
o 234861
o 234796
o 234717
o 234705
o 234684
o 234605
o 234540
o 234461
o 234456
o 234377
o 234344
o 234265
o 234200
o 234121
o 234085
o 234070
o 234037
o 233958
o 233893
o 233814
o 233745
o 233730
o 233697
o 233618
o 233553
o 233474
o 233471
o 233392
o 233377
o 233344
o 233265
o 233200
o 233121
o 233053
o 232996
o 232896
o 232817
o 232773
o 232752
o 232673
o 232625
o 232546
o 232481
o 232402
o 232333
o 232285
o 232241
o 232141
o 232062
o 232050
o 232029
o 231950
o 231885
o 231806
o 231800
o 231785
o 231752
o 231673
o 231608
o 231529
o 231510
o 231431
o 231426
o 231347
o 231314
o 231235
o 231170
o 231091
o 231043
o 230999
o 230899
o 230820
o 230817
o 230738
o 230723
o 230690
o 230611
o 230546
o 230467
o 230399
o 230342
o 230242
o 230163
o 230119
o 230098
o 230019
o 229971
o 229892
o 229827
o 229748
o 229736
o 229715
o 229636
o 229571
o 229492
o 229487
o 229408
o 229375
o 229296
o 229231
o 229152
o 229128
o 229034
o 228934
o 228890
o 228790
o 228775
o 228763
o 228663
o 228619
o 228519
o 228451
o 228315
o 228215
o 228171
o 228071
o 228056
o 228044
o 227944
o 227900
o 227800
o 227731
o 227716
o 227704
o 227604
o 227560
o 227460
o 227381
o 227359
o 227294
o 227215
o 227210
o 227131
o 227098
o 227019
o 226954
o 226875
o 226867
o 226846
o 226767
o 226752
o 226719
o 226640
o 226575
o 226496
o 226491
o 226412
o 226379
o 226300
o 226235
o 226156
o 226150
o 226135
o 226102
o 226023
o 225958
o 225879
o 225860
o 225781
o 225776
o 225697
o 225664
o 225585
o 225520
o 225441
o 225393
o 225349
o 225249
o 225170
o 225167
o 225088
o 225073
o 225040
o 224961
o 224896
o 224817
o 224749
o 224692
o 224592
o 224513
o 224469
o 224448
o 224369
o 224321
o 224242
o 224177
o 224098
o 224086
o 224065
o 223986
o 223921
o 223842
o 223837
o 223758
o 223725
o 223646
o 223581
o 223502
o 223466
o 223451
o 223418
o 223339
o 223274
o 223195
o 223126
o 223111
o 223078
o 222999
o 222934
o 222855
o 222852
o 222773
o 222758
o 222725
o 222646
o 222581
o 222502
o 222434
o 222377
o 222277
o 222198
o 222154
o 222133
o 222054
o 222006
o 221927
o 221862
o 221783
o 221714
o 221666
o 221622
o 221522
o 221443
o 221431
o 221410
o 221331
o 221266
o 221187
o 221181
o 221166
o 221133
o 221054
o 220989
o 220910
o 220891
o 220812
o 220807
o 220728
o 220695
o 220616
o 220551
o 220472
o 220424
o 220380
o 220280
o 220201
o 220198
o 220119
o 220104
o 220071
o 219992
o 219927
o 219848
o 219780
o 219723
o 219623
o 219544
o 219500
o 219479
o 219400
o 219352
o 219273
o 219208
o 219129
o 219117
o 219096
o 219017
o 218952
o 218873
o 218868
o 218789
o 218756
o 218677
o 218612
o 218533
o 218524
o 218445
o 218401
o 218380
o 218301
o 218295
o 218247
o 218203
o 218103
o 218024
o 218005
o 217926
o 217921
o 217842
o 217830
o 217809
o 217730
o 217686
o 217665
o 217586
o 217571
o 217538
o 217459
o 217394
o 217315
o 217312
o 217233
o 217218
o 217185
o 217106
o 217041
o 216962
o 216894
o 216837
o 216737
o 216658
o 216614
o 216593
o 216514
o 216466
o 216387
o 216322
o 216243
o 216231
o 216210
o 216131
o 216066
o 215987
o 215982
o 215903
o 215870
o 215791
o 215726
o 215647
o 215621
o 215600
o 215521
o 215509
o 215488
o 215409
o 215365
o 215344
o 215265
o 215250
o 215217
o 215138
o 215073
o 214994
o 214918
o 214903
o 214870
o 214791
o 214726
o 214647
o 214579
o 214522
o 214422
o 214343
o 214278
o 214199
o 214151
o 214107
o 214007
o 213928
o 213895
o 213851
o 213751
o 213672
o 213667
o 213588
o 213555
o 213511
o 213411
o 213332
o 213326
o 213278
o 213234
o 213134
o 213055
o 213036
o 212957
o 212952
o 212873
o 212861
o 212840
o 212761
o 212717
o 212696
o 212617
o 212602
o 212569
o 212490
o 212425
o 212346
o 212343
o 212264
o 212249
o 212216
o 212137
o 212072
o 211993
o 211925
o 211868
o 211768
o 211689
o 211645
o 211624
o 211545
o 211497
o 211418
o 211353
o 211274
o 211262
o 211241
o 211162
o 211097
o 211018
o 211013
o 210934
o 210901
o 210822
o 210757
o 210678
o 210636
o 210621
o 210588
o 210509
o 210444
o 210365
o 210360
o 210281
o 210269
o 210204
o 210125
o 210104
o 210025
o 210023
o 209958
o 209879
o 209754
o 209675
o 209654
o 209575
o 209531
o 209510
o 209431
o 209416
o 209383
o 209304
o 209239
o 209160
o 209145
o 209066
o 209022
o 209001
o 208922
o 208907
o 208874
o 208795
o 208730
o 208651
o 208632
o 208553
o 208548
o 208469
o 208457
o 208436
o 208357
o 208313
o 208292
o 208213
o 208198
o 208165
o 208086
o 208021
o 207942
o 207939
o 207860
o 207845
o 207812
o 207733
o 207668
o 207589
o 207521
o 207464
o 207364
o 207285
o 207241
o 207220
o 207141
o 207093
o 207014
o 206949
o 206870
o 206858
o 206837
o 206758
o 206693
o 206614
o 206609
o 206530
o 206497
o 206418
o 206353
o 206274
o 206232
o 206227
o 206148
o 206115
o 206036
o 205971
o 205892
o 205877
o 205844
o 205765
o 205700
o 205621
o 205573
o 205529
o 205429
o 205350
o 205347
o 205268
o 205253
o 205220
o 205141
o 205076
o 204997
o 204929
o 204872
o 204772
o 204693
o 204649
o 204628
o 204549
o 204501
o 204422
o 204357
o 204278
o 204209
o 204161
o 204117
o 204017
o 203938
o 203926
o 203905
o 203826
o 203761
o 203682
o 203663
o 203584
o 203579
o 203500
o 203467
o 203388
o 203323
o 203244
o 203196
o 203152
o 203052
o 202973
o 202970
o 202891
o 202876
o 202843
o 202764
o 202699
o 202620
o 202552
o 202495
o 202395
o 202316
o 202272
o 202251
o 202172
o 202124
o 202045
o 201980
o 201901
o 201889
o 201868
o 201789
o 201724
o 201645
o 201640
o 201561
o 201528
o 201449
o 201384
o 201305
o 201263
o 201248
o 201215
o 201136
o 201071
o 200992
o 200987
o 200908
o 200831
o 200731
o 200652
o 200638
o 200617
o 200538
o 200494
o 200473
o 200394
o 200379
o 200346
o 200267
o 200202
o 200123
o 200055
o 199998
o 199898
o 199819
o 199775
o 199754
o 199675
o 199660
o 199627
o 199548
o 199483
o 199404
o 199362
o 199347
o 199314
o 199235
o 199170
o 199091
o 199022
o 199007
o 198974
o 198895
o 198830
o 198751
o 198703
o 198624
o 198576
o 198497
o 198432
o 198353
o 198320
o 198276
o 198176
o 198097
o 198092
o 198013
o 197980
o 197936
o 197836
o 197757
o 197715
o 197700
o 197667
o 197588
o 197523
o 197444
o 197439
o 197360
o 197348
o 197283
o 197204
o 197183
o 197104
o 197094
o 196994
o 196915
o 196867
o 196802
o 196723
o 196675
o 196596
o 196531
o 196452
o 196419
o 196375
o 196275
o 196196
o 196191
o 196112
o 196079
o 196035
o 195935
o 195856
o 195814
o 195799
o 195766
o 195687
o 195622
o 195543
o 195538
o 195459
o 195447
o 195382
o 195303
o 195282
o 195203
o 195188
o 195109
o 195094
o 195061
o 194982
o 194917
o 194838
o 194833
o 194754
o 194677
o 194577
o 194498
o 194456
o 194441
o 194408
o 194329
o 194264
o 194185
o 194180
o 194101
o 194024
o 193924
o 193845
o 193835
o 193735
o 193656
o 193608
o 193543
o 193464
o 193416
o 193337
o 193272
o 193193
o 193160
o 193116
o 193016
o 192937
o 192932
o 192853
o 192820
o 192776
o 192676
o 192597
o 192555
o 192540
o 192507
o 192428
o 192363
o 192284
o 192279
o 192200
o 192188
o 192123
o 192044
o 192023
o 191944
o 191917
o 191909
o 191830
o 191782
o 191717
o 191638
o 191605
o 191526
o 191461
o 191382
o 191367
o 191334
o 191255
o 191190
o 191111
o 191099
o 191078
o 190999
o 190934
o 190855
o 190850
o 190771
o 190738
o 190659
o 190594
o 190515
o 190467
o 190423
o 190323
o 190244
o 190241
o 190162
o 190147
o 190114
o 190035
o 189970
o 189891
o 189823
o 189766
o 189666
o 189587
o 189543
o 189522
o 189443
o 189395
o 189316
o 189251
o 189172
o 189103
o 189055
o 189011
o 188911
o 188832
o 188820
o 188799
o 188720
o 188655
o 188576
o 188557
o 188478
o 188473
o 188394
o 188361
o 188282
o 188217
o 188138
o 188090
o 188046
o 187946
o 187867
o 187864
o 187785
o 187770
o 187737
o 187658
o 187593
o 187514
o 187446
o 187389
o 187289
o 187210
o 187166
o 187145
o 187066
o 187018
o 186939
o 186874
o 186795
o 186783
o 186762
o 186683
o 186618
o 186539
o 186534
o 186455
o 186422
o 186343
o 186278
o 186199
o 186157
o 186142
o 186109
o 186030
o 185965
o 185886
o 185881
o 185802
o 185725
o 185625
o 185546
o 185536
o 185436
o 185357
o 185309
o 185244
o 185165
o 185117
o 185038
o 184973
o 184894
o 184861
o 184817
o 184717
o 184638
o 184633
o 184554
o 184521
o 184477
o 184377
o 184298
o 184256
o 184241
o 184208
o 184129
o 184064
o 183985
o 183980
o 183901
o 183889
o 183824
o 183745
o 183724
o 183645
o 183597
o 183518
o 183470
o 183391
o 183326
o 183247
o 183214
o 183170
o 183070
o 182991
o 182986
o 182907
o 182874
o 182830
o 182730
o 182651
o 182609
o 182594
o 182561
o 182482
o 182417
o 182338
o 182333
o 182254
o 182242
o 182177
o 182098
o 182077
o 181998
o 181988
o 181888
o 181809
o 181761
o 181696
o 181617
o 181569
o 181490
o 181425
o 181346
o 181313
o 181269
o 181169
o 181090
o 181085
o 181006
o 180973
o 180929
o 180829
o 180750
o 180708
o 180693
o 180660
o 180581
o 180516
o 180437
o 180432
o 180353
o 180341
o 180276
o 180197
o 180176
o 180097
o 180052
o 179973
o 179952
o 179873
o 179829
o 179808
o 179729
o 179714
o 179681
o 179602
o 179537
o 179458
o 179390
o 179333
o 179233
o 179154
o 179110
o 179089
o 179010
o 178995
o 178962
o 178883
o 178818
o 178739
o 178694
o 178629
o 178550
o 178545
o 178466
o 178433
o 178354
o 178289
o 178210
o 178202
o 178181
o 178102
o 178087
o 178054
o 177975
o 177910
o 177831
o 177826
o 177747
o 177714
o 177635
o 177570
o 177491
o 177449
o 177444
o 177365
o 177332
o 177253
o 177188
o 177109
o 177094
o 177061
o 176982
o 176917
o 176838
o 176811
o 176803
o 176790
o 176690
o 176611
o 176596
o 176576
o 176519
o 176419
o 176340
o 176263
o 176163
o 176084
o 176079
o 176000
o 175923
o 175823
o 175744
o 175677
o 175598
o 175541
o 175441
o 175362
o 175270
o 175170
o 175091
o 175064
o 174969
o 174890
o 174882
o 174877
o 174798
o 174778
o 174621
o 174542
o 174521
o 174442
o 174427
o 174407
o 174350
o 174250
o 174171
o 174144
o 174082
o 174034
o 173955
o 173890
o 173811
o 173778
o 173699
o 173634
o 173555
o 173550
o 173471
o 173438
o 173359
o 173294
o 173215
o 173163
o 173160
o 173081
o 173066
o 173046
o 172989
o 172889
o 172810
o 172744
o 172697
o 172618
o 172541
o 172441
o 172362
o 172327
o 172270
o 172170
o 172091
o 172014
o 171914
o 171835
o 171830
o 171751
o 171674
o 171574
o 171495
o 171468
o 171415
o 171380
o 171323
o 171223
o 171144
o 171124
o 171067
o 170967
o 170888
o 170883
o 170804
o 170784
o 170727
o 170627
o 170548
o 170393
o 170314
o 170288
o 170253
o 170096
o 170017
o 169997
o 169840
o 169761
o 169692
o 169677
o 169657
o 169500
o 169421
o 169394
o 169381
o 169374
o 169354
o 169341
o 169262
o 169197
o 169118
o 169076
o 169061
o 169028
o 168949
o 168884
o 168805
o 168800
o 168721
o 168688
o 168609
o 168544
o 168465
o 168317
o 168238
o 168203
o 168046
o 167967
o 167947
o 167790
o 167711
o 167706
o 167627
o 167607
o 167450
o 167371
o 167329
o 167314
o 167294
o 167137
o 167058
o 167053
o 166974
o 166954
o 166797
o 166718
o 166714
o 166707
o 166687
o 166530
o 166451
o 166409
o 166394
o 166374
o 166217
o 166138
o 166133
o 166054
o 166034
o 165877
o 165798
o 165788
o 165746
o 165731
o 165711
o 165554
o 165475
o 165470
o 165391
o 165371
o 165214
o 165135
o 165131
o 165124
o 165104
o 164947
o 164868
o 164826
o 164811
o 164791
o 164634
o 164555
o 164550
o 164471
o 164451
o 164294
o 164215
o 164214
o 164123
o 164044
o 164040
o 164033
o 164013
o 163856
o 163777
o 163720
o 163700
o 163543
o 163464
o 163459
o 163380
o 163360
o 163203
o 163124
o 163114
o 163057
o 163037
o 162880
o 162801
o 162796
o 162717
o 162697
o 162540
o 162461
o 162457
o 162450
o 162430
o 162273
o 162194
o 162137
o 162117
o 161960
o 161881
o 161876
o 161797
o 161777
o 161620
o 161541
o 161486
o 161479
o 161459
o 161302
o 161223
o 161213
o 161156
o 161136
o 160979
o 160900
o 160895
o 160816
o 160796
o 160639
o 160560
o 160556
o 160549
o 160529
o 160372
o 160293
o 160236
o 160216
o 160059
o 159980
o 159975
o 159896
o 159876
o 159719
o 159640
o 159639
o 159616
o 159596
o 159439
o 159360
o 159353
o 159333
o 159176
o 159097
o 159087
o 159030
o 159010
o 158853
o 158774
o 158769
o 158690
o 158670
o 158513
o 158434
o 158430
o 158423
o 158403
o 158246
o 158167
o 158110
o 158090
o 157933
o 157854
o 157849
o 157770
o 157750
o 157593
o 157514
o 157459
o 157452
o 157432
o 157275
o 157196
o 157186
o 157129
o 157109
o 156952
o 156873
o 156868
o 156789
o 156769
o 156612
o 156533
o 156529
o 156522
o 156502
o 156345
o 156266
o 156209
o 156189
o 156032
o 155953
o 155948
o 155869
o 155849
o 155692
o 155613
o 155612
o 155555
o 155476
o 155394
o 155158
o 155138
o 154902
o 154823
o 154813
o 154731
o 154652
o 154495
o 154416
o 154396
o 154239
o 154160
o 154156
o 154149
o 154129
o 153972
o 153893
o 153811
o 153732
o 153575
o 153496
o 153476
o 153319
o 153240
o 153237
o 153001
o 152922
o 152912
o 152830
o 152751
o 152594
o 152515
o 152495
o 152338
o 152259
o 152255
o 152248
o 152228
o 152071
o 151992
o 151910
o 151831
o 151674
o 151595
o 151575
o 151418
o 151339
o 151338
o 151138
o 151131
o 151111
o 150875
o 150796
o 150786
o 150704
o 150625
o 150468
o 150389
o 150369
o 150212
o 150133
o 150129
o 150122
o 150102
o 149945
o 149866
o 149784
o 149705
o 149548
o 149469
o 149449
o 149292
o 149213
o 149210
o 148974
o 148895
o 148885
o 148803
o 148724
o 148567
o 148488
o 148468
o 148311
o 148232
o 148228
o 148221
o 148201
o 148044
o 147965
o 147883
o 147804
o 147647
o 147568
o 147548
o 147391
o 147312
o 147311
o 147276
o 147197
o 147193
o 147186
o 147009
o 146930
o 146868
o 146789
o 146612
o 146533
o 146356
o 146277
o 146038
o 145959
o 145949
o 145887
o 145808
o 145631
o 145552
o 145375
o 145296
o 145292
o 145285
o 145108
o 145029
o 144967
o 144888
o 144711
o 144632
o 144455
o 144376
o 144375
o 144352
o 144175
o 144096
o 144089
o 143912
o 143833
o 143823
o 143761
o 143682
o 143505
o 143426
o 143249
o 143170
o 143166
o 143159
o 142982
o 142903
o 142841
o 142762
o 142585
o 142506
o 142329
o 142250
o 142011
o 141932
o 141922
o 141860
o 141781
o 141604
o 141525
o 141348
o 141269
o 141265
o 141258
o 141081
o 141002
o 140940
o 140861
o 140684
o 140605
o 140428
o 140349
o 140348
o 140293
o 140292
o 140168
o 140089
o 140078
o 139901
o 139822
o 139747
o 139668
o 139504
o 139425
o 139412
o 139248
o 139169
o 139107
o 138930
o 138851
o 138841
o 138766
o 138687
o 138523
o 138444
o 138431
o 138267
o 138188
o 138177
o 138000
o 137921
o 137846
o 137767
o 137603
o 137524
o 137511
o 137347
o 137268
o 137267
o 137212
o 137211
o 137140
o 137024
o 136945
o 136777
o 136698
o 136582
o 136503
o 136490
o 136326
o 136247
o 136220
o 136219
o 136164
o 136163
o 136138
o 136018
o 135775
o 135762
o 135519
o 135440
o 135413
o 135412
o 135357
o 135356
o 135288
o 135209
o 135208
o 135153
o 135152
o 135081
o 134965
o 134886
o 134718
o 134639
o 134523
o 134444
o 134431
o 134267
o 134188
o 134161
o 134160
o 134105
o 134104
o 134100
o 133923
o 133844
o 133843
o 133788
o 133787
o 133696
o 133617
o 133616
o 133561
o 133560
o 133556
o 133379
o 133300
o 133299
o 133244
o 133243
o 133172
o 133093
o 133052
o 132875
o 132796
o 132795
o 132740
o 132739
o 132737
o 132621
o 132542
o 132365
o 132286
o 132245
o 132068
o 131989
o 131988
o 131933
o 131932
o 131864
o 131785
o 131784
o 131729
o 131728
o 131564
o 131485
o 131369
o 131290
o 131277
o 131113
o 131034
o 130993
o 130816
o 130737
o 130736
o 130681
o 130680
o 130676
o 130499
o 130420
o 130419
o 130364
o 130363
o 130272
o 130193
o 130192
o 130137
o 130136
o 130132
o 129955
o 129876
o 129875
o 129820
o 129819
o 129818
o 129739
o 129720
o 129698
o 129521
o 129442
o 129423
o 129422
o 129386
o 129367
o 129366
o 129204
o 129125
o 129106
o 129105
o 129069
o 129050
o 129049
o 128977
o 128898
o 128879
o 128878
o 128842
o 128823
o 128822
o 128660
o 128581
o 128562
o 128561
o 128525
o 128506
o 128505
o 128437
o 128410
o 128398
o 128319
o 128318
o 128263
o 128262
o 128199
o 128120
o 128093
o 128081
o 128002
o 128001
oKilled
1979.637u 0.061s 33:00.46 99.9%	0+0k 0+0io 0pf+0w