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-80-2_network-2.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-2.net.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 3022350
o 245795
o 244958
o 244399
o 244185
o 243494
o 242935
o 242316
o 241479
o 240920
o 240706
o 240015
o 239456
o 239358
o 239226
o 238799
o 238747
o 238320
o 238188
o 237761
o 237547
o 237283
o 236856
o 236724
o 236297
o 236077
o 235518
o 235039
o 234480
o 234454
o 234322
o 233895
o 233771
o 233344
o 233212
o 232785
o 232571
o 232307
o 231880
o 231748
o 231321
o 231158
o 231026
o 230599
o 230547
o 230120
o 229988
o 229561
o 229362
o 229238
o 228811
o 228679
o 228252
o 228038
o 227774
o 227347
o 227215
o 226788
o 226670
o 226377
o 226245
o 225818
o 225604
o 225340
o 224913
o 224781
o 224354
o 223938
o 223886
o 223459
o 223327
o 222900
o 222701
o 222659
o 222554
o 222422
o 221995
o 221579
o 221527
o 221100
o 220968
o 220541
o 220415
o 220069
o 219937
o 219510
o 219094
o 219042
o 218615
o 218483
o 218056
o 217817
o 217614
o 217323
o 217191
o 216764
o 216583
o 216292
o 216160
o 215733
o 215688
o 215556
o 215129
o 214838
o 214706
o 214279
o 214040
o 214022
o 213595
o 213499
o 213072
o 212700
o 212568
o 212141
o 211902
o 211699
o 211408
o 211276
o 210849
o 210668
o 210377
o 210245
o 209818
o 209402
o 209214
o 208923
o 208791
o 208364
o 208125
o 208014
o 207587
o 207348
o 207028
o 206789
o 206450
o 206318
o 205891
o 205600
o 205468
o 205041
o 204802
o 204660
o 204528
o 204101
o 203810
o 203678
o 203251
o 203012
o 202676
o 202437
o 202098
o 201966
o 201539
o 201248
o 201116
o 200689
o 200450
o 200308
o 200176
o 199749
o 199458
o 199326
o 198899
o 198660
o 198239
o 198000
o 197858
o 197726
o 197299
o 197008
o 196876
o 196449
o 196210
o 196073
o 195834
o 195702
o 195514
o 195275
o 195142
o 195090
o 194958
o 194531
o 194292
o 194094
o 193962
o 193535
o 193296
o 192931
o 192640
o 192508
o 192081
o 191842
o 191689
o 191377
o 191138
o 190759
o 190610
o 190520
o 190371
o 190335
o 190203
o 189776
o 189627
o 189537
o 189388
o 189162
o 188735
o 188603
o 188176
o 188027
o 187885
o 187753
o 187326
o 187177
o 187087
o 186938
o 186934
o 186785
o 186622
o 186473
o 186383
o 186234
o 186118
o 185879
o 185726
o 185414
o 185175
o 184796
o 184647
o 184557
o 184408
o 184226
o 184094
o 184049
o 183667
o 183518
o 183376
o 183227
o 183199
o 182817
o 182668
o 182578
o 182429
o 182213
o 182064
o 181745
o 181363
o 181214
o 181124
o 180975
o 180971
o 180822
o 180659
o 180510
o 180420
o 180271
o 180227
o 180182
o 179800
o 179651
o 179561
o 179412
o 179186
o 179141
o 178759
o 178627
o 178582
o 178200
o 178051
o 177909
o 177777
o 177732
o 177350
o 177201
o 177111
o 176962
o 176958
o 176809
o 176646
o 176497
o 176407
o 176258
o 176222
o 176073
o 176004
o 175854
o 175730
o 175685
o 175303
o 175154
o 175064
o 174915
o 174699
o 174550
o 174400
o 174276
o 174231
o 173849
o 173700
o 173610
o 173461
o 173107
o 172958
o 172868
o 172719
o 172562
o 172413
o 172263
o 172139
o 172094
o 171712
o 171563
o 171473
o 171324
o 171108
o 170959
o 170809
o 170685
o 170640
o 170258
o 170109
o 170019
o 169870
o 169834
o 169685
o 169646
o 169616
o 169466
o 169342
o 169297
o 168915
o 168766
o 168676
o 168527
o 168311
o 168162
o 168012
o 167888
o 167843
o 167461
o 167312
o 167222
o 167073
o 166719
o 166570
o 166480
o 166331
o 166302
o 165948
o 165799
o 165709
o 165560
o 165549
o 165400
o 165310
o 165161
o 165040
o 165020
o 164638
o 164489
o 164399
o 164250
o 164137
o 163898
o 163481
o 163099
o 162860
o 162711
o 162675
o 162526
o 162392
o 162223
o 161841
o 161692
o 161602
o 161453
o 161340
o 161101
o 160684
o 160302
o 160063
o 159914
o 159560
o 159411
o 159321
o 159172
o 159074
o 158925
o 158835
o 158686
o 158639
o 158631
o 158443
o 158294
o 158204
o 158055
o 158026
o 157868
o 157860
o 157672
o 157523
o 157433
o 157284
o 157127
o 156978
o 156828
o 156659
o 156473
o 156465
o 156277
o 156128
o 156038
o 155889
o 155869
o 155861
o 155673
o 155524
o 155374
o 155205
o 155019
o 155011
o 154823
o 154674
o 154584
o 154435
o 154327
o 154237
o 154088
o 153930
o 153922
o 153734
o 153585
o 153495
o 153346
o 153326
o 153177
o 153072
o 153064
o 152876
o 152727
o 152604
o 152596
o 152408
o 152259
o 152222
o 152214
o 152026
o 151877
o 151787
o 151638
o 151480
o 151472
o 151284
o 151135
o 151045
o 150896
o 150798
o 150649
o 150559
o 150410
o 150354
o 150269
o 150255
o 150247
o 150059
o 149905
o 149873
o 149865
o 149677
o 149523
o 149515
o 149391
o 149314
o 149306
o 149118
o 148964
o 148815
o 148665
o 148650
o 148496
o 148464
o 148456
o 148268
o 148114
o 147965
o 147880
o 147875
o 147726
o 147620
o 147472
o 147322
o 147198
o 147121
o 147113
o 146925
o 146771
o 146622
o 146532
o 146383
o 146379
o 146371
o 146183
o 146029
o 145880
o 145790
o 145641
o 145471
o 145317
o 145168
o 145078
o 144929
o 144925
o 144917
o 144729
o 144575
o 144426
o 144336
o 144187
o 144094
o 144004
o 143855
o 143850
o 143701
o 143697
o 143547
o 143378
o 143192
o 143184
o 142996
o 142847
o 142757
o 142608
o 142450
o 142442
o 142254
o 142105
o 142015
o 141866
o 141768
o 141619
o 141529
o 141380
o 141324
o 141239
o 141217
o 141068
o 141063
o 140914
o 140895
o 140875
o 140843
o 140835
o 140647
o 140493
o 140344
o 140336
o 140316
o 140284
o 140276
o 140088
o 139934
o 139785
o 139635
o 139620
o 139466
o 139434
o 139426
o 139238
o 139084
o 138935
o 138850
o 138845
o 138696
o 138590
o 138442
o 138292
o 138168
o 138091
o 138083
o 137895
o 137741
o 137592
o 137502
o 137353
o 137349
o 137341
o 137153
o 136999
o 136850
o 136765
o 136760
o 136611
o 136441
o 136287
o 136138
o 136048
o 135899
o 135895
o 135887
o 135699
o 135545
o 135396
o 135306
o 135157
o 135064
o 135059
o 134910
o 134820
o 134671
o 134603
o 134518
o 134513
o 134364
o 134297
o 134292
o 134143
o 134053
o 133904
o 133836
o 133746
o 133597
o 133451
o 133361
o 133212
o 133144
o 133054
o 132905
o 132838
o 132833
o 132684
o 132594
o 132445
o 132377
o 132287
o 132138
o 132024
o 131959
o 131866
o 131861
o 131712
o 131622
o 131473
o 131323
o 131169
o 131020
o 130930
o 130781
o 130739
o 130649
o 130500
o 130354
o 130317
o 130168
o 130163
o 130014
o 129895
o 129890
o 129741
o 129675
o 129526
o 129412
o 129333
o 129249
o 129100
o 129094
o 129010
o 128861
o 128770
o 128680
o 128531
o 128514
o 128506
o 128318
o 128169
o 128127
o 128023
o 127976
o 127790
o 127641
o 127635
o 127551
o 127402
o 127368
o 127278
o 127129
o 127039
o 126944
o 126860
o 126711
o 126705
o 126621
o 126472
o 126432
o 126348
o 126199
o 126109
o 126078
o 125984
o 125954
o 125800
o 125651
o 125566
o 125561
o 125412
o 125293
o 125288
o 125139
o 125073
o 124924
o 124845
o 124696
o 124550
o 124503
o 124317
o 124168
o 124162
o 124078
o 123929
o 123912
o 123904
o 123716
o 123567
o 123421
o 123374
o 123188
o 123039
o 123033
o 122949
o 122800
o 122760
o 122676
o 122527
o 122437
o 122356
o 122322
o 122232
o 122083
o 121993
o 121870
o 121836
o 121746
o 121597
o 121507
o 121476
o 121327
o 121293
o 121203
o 121054
o 120964
o 120891
o 120822
o 120785
o 120636
o 120630
o 120546
o 120397
o 120357
o 120273
o 120124
o 120034
o 119973
o 119936
o 119787
o 119781
o 119697
o 119548
o 119508
o 119424
o 119275
o 119185
o 119125
o 119002
o 118968
o 118878
o 118729
o 118639
o 118599
o 118515
o 118366
o 118276
o 118153
o 118113
o 118029
o 117880
o 117790
o 117768
o 117738
o 117589
o 117499
o 117496
o 117412
o 117263
o 117173
o 117113
o 117079
o 117072
o 116989
o 116923
o 116840
o 116833
o 116750
o 116677
o 116654
o 116505
o 116422
o 116415
o 116332
o 116266
o 116183
o 116143
o 116142
o 116059
o 115993
o 115910
o 115903
o 115820
o 115805
o 115656
o 115573
o 115566
o 115483
o 115417
o 115334
o 115294
o 115293
o 115210
o 115144
o 115061
o 115054
o 114971
o 114941
o 114792
o 114702
o 114688
o 114604
o 114455
o 114415
o 114331
o 114182
o 114092
o 113943
o 113853
o 113831
o 113801
o 113652
o 113562
o 113475
o 113326
o 113236
o 113204
o 113203
o 113120
o 113054
o 112971
o 112931
o 112930
o 112847
o 112781
o 112698
o 112691
o 112608
o 112542
o 112459
o 112452
o 112369
o 112361
o 112295
o 112212
o 112205
o 112122
o 112056
o 111973
o 111966
o 111883
o 111869
o 111868
o 111785
o 111719
o 111636
o 111596
o 111595
o 111512
o 111446
o 111363
o 111356
o 111273
o 111207
o 111124
o 111117
o 111034
o 110988
o 110922
o 110839
o 110832
o 110749
o 110734
o 110651
o 110585
o 110502
o 110Killed
1978.814u 0.884s 33:02.81 99.8%	0+0k 0+0io 0pf+0w