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-50-2_network-7.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-7.net.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 2516382
o 180965
o 178557
o 177560
o 177374
o 175478
o 174481
o 174385
o 174351
o 174252
o 173486
o 173354
o 173255
o 172489
o 172146
o 172014
o 171915
o 171149
o 170733
o 170637
o 170603
o 170504
o 169738
o 169606
o 169507
o 168741
o 168210
o 167983
o 167949
o 167850
o 167084
o 166952
o 166853
o 166087
o 166040
o 165908
o 165809
o 165043
o 164427
o 164328
o 163562
o 163430
o 163331
o 162565
o 162034
o 161807
o 161773
o 161674
o 160908
o 160776
o 160677
o 159911
o 159864
o 159732
o 159633
o 158867
o 158712
o 158626
o 157860
o 157813
o 157681
o 157582
o 156816
o 156772
o 156725
o 156593
o 156494
o 155728
o 155138
o 155091
o 154959
o 154860
o 154094
o 153939
o 153853
o 153087
o 153040
o 152908
o 152809
o 152043
o 151999
o 151952
o 151820
o 151721
o 150955
o 150850
o 150662
o 150004
o 149960
o 149913
o 149781
o 149682
o 148916
o 148258
o 148214
o 148167
o 148035
o 147936
o 147170
o 147065
o 146521
o 146416
o 145777
o 145733
o 145686
o 145554
o 145455
o 144689
o 144031
o 143987
o 143940
o 143808
o 143709
o 142943
o 142838
o 142761
o 141995
o 141890
o 141828
o 141723
o 141170
o 141065
o 141021
o 140904
o 140848
o 140082
o 139977
o 139433
o 139328
o 138689
o 138645
o 138423
o 138367
o 137601
o 136943
o 136899
o 136677
o 136621
o 135855
o 135750
o 135729
o 135673
o 134907
o 134802
o 134786
o 134660
o 134604
o 133838
o 133180
o 133040
o 132914
o 132858
o 132092
o 131987
o 131690
o 131585
o 131533
o 130872
o 130767
o 130750
o 130659
o 130484
o 130428
o 129662
o 129004
o 128913
o 128738
o 128682
o 127916
o 127790
o 127734
o 126968
o 126863
o 126785
o 126680
o 126645
o 126540
o 126463
o 125697
o 125592
o 125241
o 125101
o 124975
o 124919
o 124153
o 124048
o 123970
o 123865
o 123830
o 123725
o 123648
o 122882
o 122777
o 122480
o 122375
o 122321
o 122286
o 122181
o 122160
o 122104
o 121338
o 121233
o 120936
o 120831
o 120784
o 120067
o 119962
o 119665
o 119560
o 119215
o 119110
o 119075
o 118970
o 118949
o 118893
o 118127
o 118022
o 117725
o 117620
o 116856
o 116751
o 116454
o 116349
o 116224
o 116119
o 115822
o 115717
o 115300
o 115183
o 115078
o 114642
o 114525
o 114420
o 114397
o 114376
o 114320
o 113554
o 113449
o 113437
o 113332
o 112958
o 112841
o 112736
o 112010
o 111893
o 111788
o 111710
o 111687
o 111570
o 111561
o 111505
o 110739
o 110622
o 110517
o 110337
o 110220
o 110115
o 110099
o 109994
o 109670
o 109553
o 109448
o 109268
o 109151
o 109046
o 109012
o 108895
o 108790
o 108746
o 108650
o 107924
o 107807
o 107702
o 107522
o 107405
o 107300
o 107072
o 106955
o 106850
o 106815
o 106710
o 105984
o 105867
o 105762
o 105582
o 105465
o 105360
o 104713
o 104596
o 104491
o 104311
o 104194
o 104089
o 104081
o 103964
o 103859
o 103679
o 103574
o 103562
o 103457
o 103372
o 103255
o 103150
o 102970
o 102853
o 102748
o 102424
o 102307
o 102202
o 102022
o 101905
o 101800
o 101153
o 101036
o 100931
o 100751
o 100634
o 100529
o 100236
o 100119
o 100014
o 99834
o 99729
o 99717
o 99612
o 99426
o 99309
o 99204
o 99169
o 99064
o 98338
o 98221
o 98116
o 97936
o 97819
o 97714
o 97486
o 97369
o 97264
o 97229
o 97124
o 96398
o 96281
o 96176
o 95996
o 95879
o 95774
o 95127
o 95010
o 94905
o 94725
o 94608
o 94503
o 94495
o 94378
o 94273
o 94093
o 93988
o 93976
o 93871
o 93578
o 93461
o 93356
o 93176
o 93059
o 92954
o 92834
o 92717
o 92612
o 92432
o 92315
o 92210
o 91917
o 91800
o 91695
o 91515
o 91398
o 91293
o 91285
o 91168
o 91063
o 90883
o 90778
o 90766
o 90661
o 90238
o 90121
o 90016
o 89836
o 89719
o 89614
o 89428
o 89311
o 89206
o 89171
o 89066
o 88340
o 88223
o 88118
o 87938
o 87821
o 87716
o 87488
o 87371
o 87266
o 87231
o 87126
o 86400
o 86283
o 86178
o 85998
o 85881
o 85776
o 85129
o 85012
o 84907
o 84727
o 84610
o 84505
o 84497
o 84380
o 84275
o 84095
o 83990
o 83978
o 83873
o 83580
o 83463
o 83358
o 83178
o 83061
o 82956
o 82891
o 82711
o 82594
o 82489
o 82196
o 82079
o 81974
o 81794
o 81677
o 81572
o 81564
o 81447
o 81342
o 81162
o 81057
o 81045
o 80940
o 80860
o 80755
o 80721
o 80690
o 79995
o 79878
o 79773
o 79593
o 79476
o 79371
o 79363Killed
1979.698u 0.000s 33:01.62 99.9%	0+0k 0+0io 0pf+0w