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-2.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-2.net.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 1819082
o 177725
o 176930
o 176899
o 176733
o 175297
o 174502
o 174471
o 174305
o 173526
o 173495
o 173329
o 172951
o 172920
o 172754
o 172630
o 171318
o 170523
o 170492
o 170326
o 170202
o 169547
o 169516
o 169350
o 169226
o 169208
o 169084
o 168383
o 167772
o 167588
o 167557
o 167391
o 166977
o 166946
o 166780
o 166656
o 166612
o 166581
o 166415
o 166291
o 166001
o 165970
o 165804
o 165680
o 165470
o 165439
o 165273
o 165149
o 165105
o 165074
o 164908
o 164784
o 164494
o 164463
o 164297
o 164173
o 164035
o 164004
o 163838
o 163714
o 163670
o 163639
o 163473
o 163349
o 163059
o 163028
o 162862
o 162738
o 162719
o 162595
o 162558
o 161903
o 161872
o 161706
o 161582
o 161292
o 161261
o 161095
o 160971
o 160957
o 160926
o 160760
o 160346
o 160315
o 160149
o 160025
o 159981
o 159950
o 159784
o 159660
o 159370
o 159339
o 159173
o 159049
o 158474
o 158443
o 158277
o 158153
o 157863
o 157832
o 157666
o 157542
o 157039
o 157008
o 156842
o 156718
o 156428
o 156397
o 156231
o 156107
o 155999
o 155875
o 155585
o 155554
o 155388
o 155264
o 154689
o 154658
o 154492
o 154368
o 154078
o 154047
o 153881
o 153757
o 153254
o 153223
o 153057
o 152933
o 152643
o 152612
o 152446
o 152322
o 152270
o 152239
o 152073
o 151949
o 151446
o 151415
o 151249
o 151125
o 150835
o 150804
o 150638
o 150514
o 150470
o 150346
o 150137
o 150106
o 149940
o 149816
o 149812
o 149646
o 149522
o 149313
o 149282
o 149116
o 148992
o 148911
o 148702
o 148671
o 148505
o 148381
o 148329
o 148298
o 148132
o 148008
o 148004
o 147838
o 147714
o 147505
o 147474
o 147308
o 147184
o 147103
o 146894
o 146863
o 146697
o 146573
o 146478
o 146447
o 146281
o 146157
o 146137
o 146013
o 145908
o 145764
o 145640
o 145281
o 145250
o 145084
o 144960
o 144940
o 144816
o 144670
o 144639
o 144473
o 144349
o 144329
o 144205
o 144181
o 144161
o 144037
o 143972
o 143941
o 143775
o 143631
o 143507
o 143481
o 143357
o 143337
o 143213
o 143148
o 143117
o 142951
o 142827
o 142807
o 142683
o 142602
o 142537
o 142506
o 142340
o 142196
o 142072
o 141967
o 141843
o 141823
o 141699
o 141673
o 141549
o 141529
o 141405
o 141340
o 141309
o 141143
o 141019
o 140999
o 140875
o 140794
o 140729
o 140698
o 140532
o 140388
o 140264
o 140062
o 140031
o 139865
o 139741
o 139660
o 139451
o 139420
o 139254
o 139130
o 139076
o 138662
o 138631
o 138465
o 138321
o 138197
o 137838
o 137807
o 137641
o 137517
o 137497
o 137373
o 137227
o 137196
o 137030
o 136906
o 136886
o 136762
o 136738
o 136718
o 136594
o 136529
o 136498
o 136332
o 136188
o 136064
o 136038
o 135914
o 135705
o 135674
o 135508
o 135384
o 135364
o 135240
o 135159
o 135094
o 135063
o 134897
o 134753
o 134629
o 134524
o 134380
o 134256
o 134230
o 134106
o 133897
o 133866
o 133700
o 133576
o 133556
o 133432
o 133351
o 133286
o 133255
o 133089
o 132945
o 132821
o 132769
o 132749
o 132625
o 132560
o 132529
o 132363
o 132239
o 132219
o 132095
o 132014
o 131949
o 131918
o 131752
o 131608
o 131484
o 131481
o 131357
o 131337
o 131213
o 131104
o 130854
o 130823
o 130657
o 130533
o 130424
o 130404
o 130389
o 130280
o 130243
o 130212
o 130046
o 129922
o 129813
o 129793
o 129778
o 129669
o 129610
o 129545
o 129514
o 129348
o 129204
o 129080
o 129055
o 128889
o 128745
o 128621
o 128524
o 128380
o 128299
o 128110
o 128079
o 127913
o 127769
o 127645
o 127536
o 127431
o 127396
o 127287
o 127272
o 127163
o 127122
o 127013
o 126913
o 126882
o 126716
o 126592
o 126483
o 126463
o 126448
o 126339
o 126258
o 126105
o 125961
o 125837
o 125728
o 125676
o 125641
o 125532
o 125379
o 125255
o 125146
o 125126
o 125111
o 125002
o 124921
o 124768
o 124624
o 124500
o 124391
o 124364
o 124299
o 124268
o 124102
o 123958
o 123834
o 123753
o 123688
o 123657
o 123491
o 123347
o 123223
o 123114
o 123008
o 122884
o 122864
o 122740
o 122631
o 122550
o 122515
o 122406
o 122391
o 122282
o 122270
o 122213
o 122104
o 122069
o 121960
o 121880
o 121849
o 121683
o 121574
o 121539
o 121430
o 121415
o 121306
o 121200
o 121076
o 120967
o 120947
o 120932
o 120823
o 120813
o 120689
o 120580
o 120543
o 120512
o 120346
o 120222
o 120202
o 120078
o 119969
o 119863
o 119739
o 119630
o 119610
o 119595
o 119486
o 119410
o 119329
o 119120
o 119089
o 118923
o 118799
o 118779
o 118655
o 118546
o 118505
o 118396
o 118296
o 118265
o 118099
o 117975
o 117866
o 117846
o 117831
o 117722
o 117641
o 117488
o 117344
o 117220
o 117111
o 116991
o 116971
o 116847
o 116738
o 116697
o 116588
o 116488
o 116457
o 116291
o 116167
o 116058
o 116038
o 116023
o 115914
o 115833
o 115680
o 115536
o 115412
o 115303
o 115272
o 115148
o 115128
o 115004
o 114895
o 114879
o 114844
o 114735
o 114654
o 114501
o 114377
o 114268
o 114233
o 114124
o 114018
o 113894
o 113785
o 113765
o 113750
o 113641
o 113568
o 113553
o 113444
o 113424
o 113409
o 113300
o 113219
o 113066
o 112942
o 112833
o 112798
o 112689
o 112583
o 112459
o 112350
o 112330
o 112315
o 112206
o 112131
o 112066
o 112035
o 111869
o 111725
o 111601
o 111520
o 111455
o 111424
o 111258
o 111114
o 110990
o 110881
o 110775
o 110651
o 110542
o 110522
o 110507
o 110398
o 110350
o 110241
o 110206
o 110097
o 110082
o 109973
o 109942
o 109885
o 109776
o 109741
o 109632
o 109526
o 109402
o 109293
o 109273
o 109258
o 109149
o 109130
o 109021
o 108915
o 108791
o 108682
o 108662
o 108647
o 108538
o 108458
o 108417
o 108308
o 108273
o 108164
o 108149
o 108127
o 108092
o 107983
o 107887
o 107778
o 107743
o 107634
o 107553
o 107481
o 107400
o 107276
o 107256
o 107132
o 107023
o 106933
o 106913
o 106789
o 106708
o 106564
o 106440
o 106430
o 106306
o 106225
o 106101
o 106081
o 105957
o 105953
o 105943
o 105819
o 105738
o 105594
o 105470
o 105439
o 105397
o 105273
o 105253
o 105129
o 105119
o 104995
o 104914
o 104790
o 104770
o 104646
o 104642
o 104518
o 104508
o 104384
o 104303
o 104179
o 104159
o 104035
o 103926
o 103806
o 103786
o 103662
o 103553
o 103522
o 103465
o 103356
o 103321
o 103212
o 103187
o 103078
o 102982
o 102873
o 102838
o 102729
o 102710
o 102601
o 102576
o 102467
o 102371
o 102262
o 102227
o 102118
o 102059
o 102018
o 101909
o 101874
o 101765
o 101750
o 101728
o 101693
o 101584
o 101488
o 101379
o 101344
o 101235
o 101154
o 101082
o 101001
o 100877
o 100857
o 100733
o 100624
o 100583
o 100563
o 100439
o 100358
o 100214
o 100090
o 100009
o 99952
o 99828
o 99747
o 99603
o 99479
o 99370
o 99344
o 99329
o 99220
o 99200
o 99185
o 99076
o 99019
o 99004
o 98895
o 98814
o 98779
o 98670
o 98655
o 98546
o 98465
o 98393
o 98312
o 98188
o 98168
o 98044
o 97935
o 97904
o 97780
o 97760
o 97636
o 97527
o 97511
o 97476
o 97367
o 97357
o 97342
o 97233
o 97152
o 97117
o 97008
o 96993
o 96884
o 96865
o 96756
o 96731
o 96622
o 96526
o 96417
o 96382
o 96273
o 96200
o 96185
o 96076
o 96056
o 96041
o 95932
o 95922
o 95907
o 95798
o 95717
o 95682
o 95573
o 95558
o 95449
o 95430
o 95321
o 95296
o 95187
o 95091
o 94982
o 94947
o 94838
o 94718
o 94698
o 94574
o 94465
o 94434
o 94377
o 94268
o 94233
o 94124
o 94099
o 93990
o 93894
o 93785
o 93750
o 93641
o 93622
o 93513
o 93488
o 93379
o 93283
o 93174
o 93139
o 93030
o 92954
o 92858
o 92749
o 92714
o 92605
o 92574
o 92517
o 92408
o 92373
o 92264
o 92239
o 92130
o 92034
o 91925
o 91890
o 91781
o 91762
o 91653
o 91628
o 91519
o 91423
o 91314
o 91279
o 91170
o 91167
o 91051
o 90927
o 90818
o 90793
o 90684
o 90588
o 90479
o 90444
o 90335
o 90330
o 90273
o 90164
o 90129
o 90020
o 89914
o 89790
o 89681
o 89661
o 89646
o 89537
o 89441
o 89332
o 89297
o 89188
o 89136
o 89106
o 88982
o 88880
o 88862
o 88831
o 88665
o 88521
o 88397
o 88393
o 88269
o 88251
o 88220
o 88054
o 87910
o 87786
o 87705
o 87581
o 87561
o 87437
o 87401
o 87328
o 87325
o 87229
o 87120
o 87085
o 86976
o 86951
o 86842
o 86746
o 86637
o 86602
o 86493
o 86477
o 86368
o 86295
o 86236
o 86229
o 86002
o 85858
o 85734
o 85625
o 85529
o 85420
o 85385
o 85276
o 85270
o 85161
o 85043
o 84934
o 84899
o 84790
o 84694
o 84585
o 84550
o 84441
o 84429
o 84305
o 84196
o 84123
o 84030
o 83921
o 83886
o 83777
o 83752
o 83643
o 83547
o 83438
o 83403
o 83294
o 83242
o 83212
o 83088
o 82986
o 82771
o 82627
o 82503
o 82499
o 82375
o 82160
o 82016
o 81892
o 81811
o 81687
o 81667
o 81543
o 81507
o 81434
o 81423
o 81388
o 81279
o 81264Killed
1979.696u 0.002s 33:01.62 99.9%	0+0k 0+0io 0pf+0w