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-4.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-4.net.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 1497215
o 161681
o 158353
o 157898
o 157536
o 157430
o 157068
o 154093
o 153638
o 153276
o 152128
o 151673
o 151311
o 148979
o 148524
o 148162
o 147146
o 146691
o 146329
o 143997
o 143542
o 143180
o 142253
o 141798
o 141436
o 141421
o 141206
o 140833
o 140378
o 140016
o 139801
o 139089
o 138634
o 138272
o 138057
o 137887
o 137101
o 136646
o 136284
o 136069
o 135357
o 134902
o 134540
o 134325
o 133950
o 133588
o 133373
o 133180
o 132672
o 132217
o 131855
o 131640
o 131634
o 131272
o 131057
o 130737
o 130375
o 130229
o 129867
o 129652
o 129448
o 128940
o 128485
o 128123
o 127908
o 127679
o 127533
o 127171
o 126956
o 126946
o 126584
o 126369
o 126352
o 125990
o 125712
o 125204
o 124749
o 124387
o 124172
o 123943
o 123797
o 123435
o 123220
o 123005
o 122643
o 122561
o 122199
o 122053
o 121691
o 121476
o 121407
o 121192
o 120963
o 120817
o 120455
o 120240
o 120166
o 120110
o 119937
o 119791
o 119602
o 119429
o 119387
o 119214
o 119204
o 119015
o 118842
o 118800
o 118627
o 118610
o 118421
o 118248
o 118143
o 117970
o 117635
o 117462
o 117180
o 117007
o 116818
o 116645
o 116603
o 116430
o 116374
o 116201
o 116055
o 115866
o 115693
o 115651
o 115478
o 115436
o 115263
o 115074
o 114901
o 114819
o 114630
o 114457
o 114311
o 114122
o 113949
o 113907
o 113734
o 113665
o 113583
o 113394
o 113221
o 113075
o 112886
o 112713
o 112671
o 112498
o 112476
o 112434
o 112261
o 112251
o 112062
o 111889
o 111847
o 111674
o 111657
o 111468
o 111295
o 111190
o 111017
o 110682
o 110509
o 110227
o 110054
o 109865
o 109692
o 109650
o 109477
o 109421
o 109248
o 109102
o 108913
o 108740
o 108698
o 108525
o 108483
o 108310
o 108121
o 107948
o 107866
o 107677
o 107504
o 107358
o 107169
o 106996
o 106954
o 106781
o 106712
o 106630
o 106441
o 106268
o 106122
o 105933
o 105760
o 105718
o 105545
o 105524
o 105335
o 105162
o 105120
o 104947
o 104946
o 104904
o 104731
o 104646
o 104457
o 104284
o 104103
o 103930
o 103867
o 103694
o 103505
o 103332
o 103290
o 103117
o 103077
o 102904
o 102878
o 102705
o 102569
o 102396
o 102354
o 102181
o 102125
o 101952
o 101926
o 101753
o 101617
o 101444
o 101402
o 101229
o 101208
o 101019
o 100846
o 100804
o 100631
o 100517
o 100381
o 100208
o 100182
o 100009
o 99873
o 99700
o 99584
o 99411
o 99275
o 99102
o 99060
o 98887
o 98881
o 98799
o 98610
o 98437
o 98291
o 98102
o 97929
o 97887
o 97714
o 97693
o 97504
o 97331
o 97289
o 97116
o 97095
o 96968
o 96722
o 96549
o 96267
o 96094
o 95905
o 95732
o 95690
o 95517
o 95496
o 95307
o 95134
o 95092
o 94919
o 94863
o 94690
o 94544
o 94355
o 94182
o 94140
o 93967
o 93891
o 93822
o 93649
o 93556
o 93383
o 93341
o 93168
o 93039
o 92939
o 92870
o 92697
o 92604
o 92431
o 92389
o 92216
o 92087
o 92018
o 91932
o 91803
o 91703
o 91634
o 91461
o 91368
o 91195
o 91153
o 90980
o 90851
o 90770
o 90597
o 90468
o 90382
o 90253
o 90155
o 90086
o 89913
o 89820
o 89647
o 89605
o 89432
o 89303
o 89222
o 89049
o 88920
o 88834
o 88705
o 88704
o 88635
o 88462
o 88369
o 88196
o 88154
o 87981
o 87852
o 87771
o 87598
o 87469
o 87383
o 87254
o 87245
o 87072
o 86979
o 86806
o 86737
o 86564
o 86471
o 86298
o 86256
o 86083
o 85954
o 85854
o 85785
o 85612
o 85519
o 85346
o 85304
o 85131
o 85002
o 84921
o 84748
o 84619
o 84533
o 84404
o 84293
o 84224
o 84051
o 83958
o 83785
o 83743
o 83570
o 83441
o 83360
o 83187
o 83058
o 82972
o 82843
o 82744
o 82737
o 82588
o 82462
o 82455
o 82289
o 82282
o 82178
o 82171
o 81954
o 81947
o 81781
o 81774
o 81753
o 81746
o 81580
o 81573
o 81356
o 81349
o 81183
o 81176
o 81174
o 80993
o 80820
o 80796
o 80789
o 80572
o 80565
o 80399
o 80392
o 80375
o 80368
o 80364
o 80198
o 80191
o 79974
o 79967
o 79801
o 79794
o 79792
o 79611
o 79438
o 79345
o 79340
o 79172
o 78806
o 78799
o 78633
o 78626
o 78624
o 78443
o 78270
o 78177
o 78172
o 78004
o 77862
o 77689
o 77596
o 77591
o 77423
o 77358
o 77351
o 77349
o 77168
o 76995
o 76659
o 76652
o 76486
o 76479
o 76477
o 76296
o 76123
o 76030
o 76025
o 75857
o 75715
o 75542
o 75449
o 75444
o 75276
o 75270
o 75165
o 75097
o 74992
o 74928
o 74823
o 74Killed
1979.607u 0.091s 33:09.56 99.5%	0+0k 0+0io 0pf+0w