Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz+-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_random-net_random-net-50-2_network-5.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-5.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 143 1113 2183930
WARNING: Ubcsat not found.
o 2183930
o 177599
o 177329
o 177105
o 176193
o 175829
o 174402
o 174132
o 173908
o 172996
o 172638
o 172612
o 172254
o 170923
o 170653
o 170429
o 169517
o 169159
o 168749
o 168391
o 168365
o 168007
o 167147
o 166676
o 166406
o 166182
o 165741
o 165270
o 164912
o 164114
o 163643
o 163373
o 163149
o 162708
o 162237
o 161879
o 161740
o 161269
o 160911
o 160500
o 160029
o 159671
o 158873
o 158402
o 158132
o 157908
o 157467
o 156996
o 156638
o 156499
o 156028
o 155670
o 155619
o 155349
o 155125
o 154684
o 154213
o 153855
o 153716
o 153245
o 152887
o 152666
o 152442
o 152001
o 151530
o 151172
o 151033
o 150562
o 150204
o 150005
o 149954
o 149684
o 149460
o 149019
o 148548
o 148190
o 148051
o 147580
o 147222
o 146979
o 146621
o 146400
o 146176
o 145735
o 145264
o 144906
o 144767
o 144296
o 143938
o 143739
o 143688
o 143418
o 143194
o 142753
o 142282
o 141924
o 141785
o 141314
o 140956
o 140788
o 140430
o 140209
o 139985
o 139544
o 139073
o 138715
o 138576
o 138105
o 137747
o 137548
o 137497
o 137227
o 137003
o 136562
o 136091
o 135733
o 135594
o 135123
o 134765
o 134716
o 134245
o 133887
o 133553
o 133195
o 133027
o 132669
o 132448
o 132224
o 131783
o 131312
o 130954
o 130815
o 130344
o 129986
o 129787
o 129736
o 129466
o 129242
o 128801
o 128330
o 127972
o 127833
o 127362
o 127004
o 126955
o 126484
o 126126
o 125909
o 125575
o 125217
o 125049
o 124691
o 124372
o 124233
o 123762
o 123404
o 123334
o 122976
o 122837
o 122366
o 122008
o 121809
o 121748
o 121390
o 121251
o 120780
o 120422
o 120352
o 119994
o 119855
o 119384
o 119026
o 118977
o 118506
o 118148
o 117838
o 117480
o 117440
o 117082
o 117012
o 116654
o 116515
o 116044
o 115686
o 115338
o 114980
o 114781
o 114720
o 114362
o 114223
o 113752
o 113394
o 113324
o 112966
o 112827
o 112356
o 111998
o 111647
o 111289
o 111120
o 110769
o 110411
o 110263
o 109959
o 109601
o 109385
o 109081
o 108723
o 108717
o 108413
o 108055
o 108015
o 107657
o 107587
o 107229
o 106923
o 106619
o 106261
o 106217
o 105913
o 105555
o 105356
o 105295
o 104937
o 104631
o 104327
o 103969
o 103899
o 103541
o 103235
o 102931
o 102573
o 102526
o 102222
o 101864
o 101695
o 101648
o 101344
o 100986
o 100645
o 100506
o 100035
o 99677
o 99326
o 98968
o 98799
o 98448
o 98090
o 97942
o 97638
o 97280
o 97064
o 96760
o 96402
o 96396
o 96092
o 95734
o 95694
o 95336
o 95266
o 94908
o 94602
o 94298
o 93940
o 93896
o 93592
o 93234
o 93035
o 92974
o 92616
o 92310
o 92006
o 91648
o 91578
o 91220
o 90914
o 90610
o 90252
o 90205
o 89901
o 89543
o 89374
o 89327
o 89023
o 88665
o 88377
o 88019
o 87668
o 87310
o 87141
o 86790
o 86432
o 86258
o 85980
o 85622
o 85406
o 85102
o 84744
o 84570
o 84544
o 84240
o 83882
o 83713
o 83666
o 83362
o 83004
o 82944
o 82640
o 82282
o 82238
o 81934
o 81576
o 81377
o 81316
o 80958
o 80652
o 80348
o 79990
o 79920
o 79562
o 79256
o 78952
o 78594
o 78547
o 78243
o 77885
o 77716
o 77669
o 77365
o 77007
o 76833
o 76568
o 76521
o 76330
o 75859
o 75690
o 75643
o 75452
o 74981
o 74807
o 74751
o 74445
o 74254
o 74089
o 73783
o 73736
o 73545
o 73380
o 73074
o 72905
o 72858
o 72667
o 72502
o 72196
o 72022
o 71988
o 71834
o 71528
o 71326
o 71157
o 71110
o 70956
o 70650
o 70448
o 70274
o 70201
o 70027
o 69963
o 69789
o 69716
o 69542
o 69445
o 69243
o 69196
o 69140
o 69042
o 68736
o 68534
o 68360
o 68287
o 68113
o 67960
o 67887
o 67713
o 67649
o 67475
o 67402
o 67228
o 67131
o 66929
o 66882
o 66826
o 66422
o 66220
o 66046
o 65973
o 65799
o 65552
o 65350
o 65176
o 65103
o 64929
o 64923
o 64749
o 64686
o 64515
o 64341
o 64268
o 64094
o 64088
o 63914
o 63871
o 63798
o 63624
o 63377
o 63175
o 63001
o 62928
o 62754
o 62748
o 62574
o 62515
o 62393
o 62359
o 62168
o 62101
o 61697
o 61523
o 61517
o 61343
o 61280
o 61116
o 60862
o 60688
o 60682
o 60508
o 60392
o 60218
o 60184
o 59958
o 59522
o 59348
o 59342
o 59168
o 59109
o 59076
o 59017
o 58911
o 58821
o 58674
o 58647
o 58500
o 58389
o 58320
o 58209
o 58150
o 57922
o 57748
o 57742
o 57568
o 57509
o 57Killed
1979.687u 0.012s 33:00.92 99.9%	0+0k 0+0io 0pf+0w