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-6.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-6.net.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 1874816
o 153157
o 151758
o 151305
o 150976
o 150697
o 149851
o 149577
o 149298
o 148452
o 147999
o 147835
o 147382
o 147207
o 146929
o 146083
o 145630
o 145375
o 144529
o 144076
o 143844
o 143451
o 142998
o 142743
o 141897
o 141444
o 141307
o 141235
o 140957
o 140111
o 139658
o 139403
o 138557
o 138104
o 137872
o 137479
o 137026
o 136771
o 135925
o 135472
o 135335
o 135267
o 135017
o 134564
o 134559
o 134166
o 133713
o 133486
o 133481
o 133088
o 132635
o 132385
o 131932
o 131927
o 131534
o 131081
o 130944
o 130896
o 130759
o 130740
o 130603
o 130419
o 130282
o 130021
o 129568
o 129431
o 129137
o 128910
o 128905
o 128512
o 128059
o 127809
o 127356
o 127351
o 126958
o 126505
o 126368
o 126346
o 126233
o 125780
o 125643
o 125382
o 125245
o 124929
o 124792
o 124744
o 124607
o 124588
o 124451
o 124267
o 124130
o 123869
o 123416
o 123279
o 123211
o 122758
o 122621
o 122360
o 121907
o 121770
o 121657
o 121204
o 121067
o 120806
o 120353
o 120216
o 119859
o 119722
o 119621
o 119360
o 118907
o 118770
o 118613
o 118476
o 118408
o 117955
o 117818
o 117557
o 117104
o 116967
o 116854
o 116401
o 116264
o 116003
o 115550
o 115413
o 115129
o 114992
o 114879
o 114742
o 114426
o 114289
o 114007
o 113575
o 113438
o 113081
o 112944
o 112838
o 112561
o 112129
o 111992
o 111835
o 111698
o 111609
o 111177
o 111040
o 110758
o 110326
o 110189
o 110055
o 109623
o 109486
o 109204
o 108772
o 108635
o 108525
o 108388
o 108339
o 108031
o 107982
o 107894
o 107845
o 107793
o 107511
o 107079
o 106942
o 106893
o 106785
o 106648
o 106599
o 106559
o 106127
o 106078
o 105990
o 105941
o 105708
o 105571
o 105276
o 105139
o 105090
o 105005
o 104573
o 104524
o 104436
o 104387
o 104154
o 104017
o 103722
o 103585
o 103536
o 103304
o 103085
o 102948
o 102885
o 102453
o 102234
o 102097
o 101987
o 101938
o 101850
o 101801
o 101712
o 101493
o 101444
o 101356
o 101307
o 101255
o 101213
o 100994
o 100760
o 100541
o 100404
o 100355
o 100329
o 100247
o 100110
o 100061
o 99808
o 99589
o 99540
o 99452
o 99403
o 99389
o 98957
o 98738
o 98601
o 98552
o 98254
o 98035
o 97986
o 97898
o 97849
o 97835
o 97403
o 97184
o 97047
o 96998
o 96858
o 96721
o 96707
o 96625
o 96488
o 96425
o 95993
o 95774
o 95637
o 95527
o 95390
o 95341
o 95252
o 95033
o 94984
o 94896
o 94847
o 94753
o 94534
o 94300
o 94081
o 93944
o 93895
o 93869
o 93787
o 93650
o 93601
o 93348
o 93129
o 93080
o 92992
o 92943
o 92929
o 92497
o 92278
o 92141
o 92092
o 91794
o 91575
o 91526
o 91438
o 91389
o 91375
o 90943
o 90724
o 90587
o 90538
o 90526
o 90429
o 90210
o 90073
o 90068
o 90031
o 89812
o 89578
o 89359
o 89222
o 89194
o 89112
o 88975
o 88926
o 88837
o 88700
o 88618
o 88481
o 88432
o 88338
o 88119
o 87885
o 87666
o 87529
o 87480
o 87454
o 87372
o 87235
o 87186
o 86933
o 86714
o 86665
o 86577
o 86528
o 86514
o 86082
o 85863
o 85726
o 85677
o 85379
o 85160
o 85111
o 85023
o 84974
o 84960
o 84528
o 84309
o 84172
o 84123
o 84092
o 83660
o 83441
o 83392
o 83389
o 82957
o 82738
o 82689
o 82559
o 82340
o 82106
o 81887
o 81838
o 81750
o 81701
o 81581
o 81499
o 81362
o 81313
o 81282
o 80850
o 80631
o 80582
o 80494
o 80445
o 80442
o 80147
o 80010
o 79928
o 79791
o 79742
o 79728
o 79296
o 79077
o 79028
o 78940
o 78891
o 78822
o 78685
o 78604
o 78467
o 78173
o 78036
o 77954
o 77817
o 77765
o 77470
o 77333
o 77251
o 77114
o 77051
o 76619
o 76400
o 76263
o 75955
o 75736
o 75557
o 75338
o 75104
o 74885
o 74748
o 74720
o 74699
o 74425
o 74288
o 74206
o 74069
o 73975
o 73912
o 73689
o 73470
o 73333
o 73284
o 73010
o 72791
o 72654
o 72560
o 72531
o 72312
o 72175
o 72126
o 71852
o 71633
o 71496
o 71402
o 71339
o 71116
o 70897
o 70760
o 70711
o 70437
o 70218
o 70081
o 69987
o 69869
o 69865
o 69650
o 69513
o 69419
o 69415
o 69196
o 69059
o 68965
o 68829
o 68735
o 68474
o 68255
o 68118
o 68024
o 67961
o 67918
o 67824
o 67738
o 67519
o 67382
o 67333
o 67059
o 66840
o 66703
o 66609
o 66554
o 66527
o 66478
o 66204
o 65985
o 65848
o 65754
o 65640
o 65366
o 65229
o 65135
o 65080
o 65053
o 65030
o 64943
o 64785
o 64511
o 64374
o 64280
o 64111Killed
1979.624u 0.074s 33:07.95 99.5%	0+0k 0+0io 0pf+0w