Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxsat_Power-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/WMaxsat_Power/WMaxsat_Power
c Instance info: p wcnf 142 955 1819082
c 0 142 1819082
c WARNING: Ubcsat problem.
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 171194
o 170523
o 170492
o 170326
o 170202
o 169547
o 169516
o 169350
o 169226
o 169208
o 169084
o 168383
o 168259
o 167772
o 167648
o 167588
o 167557
o 167391
o 167267
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 162268
o 162237
o 162071
o 161947
o 161903
o 161872
o 161706
o 161582
o 161292
o 161261
o 161095
o 160971
o 160957
o 160926
o 160760
o 160636
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 158839
o 158808
o 158642
o 158518
o 158474
o 158443
o 158277
o 158153
o 157863
o 157832
o 157666
o 157542
o 157404
o 157373
o 157207
o 157083
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 155054
o 155023
o 154857
o 154733
o 154689
o 154658
o 154492
o 154368
o 154078
o 154047
o 153881
o 153757
o 153619
o 153588
o 153422
o 153298
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 151811
o 151780
o 151614
o 151490
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 149646
o 149522
o 149232
o 149201
o 149035
o 148911
o 148702
o 148671
o 148505
o 148381
o 148329
o 148298
o 148132
o 148008
o 147838
o 147714
o 147424
o 147393
o 147227
o 147103
o 146894
o 146863
o 146697
o 146573
o 146478
o 146447
o 146281
o 146137
o 146013
o 145908
o 145764
o 145640
o 145449
o 145305
o 145181
o 145084
o 144940
o 144816
o 144670
o 144639
o 144473
o 144329
o 144205
o 144161
o 144037
o 143972
o 143941
o 143775
o 143631
o 143507
o 143481
o 143337
o 143213
o 143067
o 143036
o 142870
o 142726
o 142602
o 142537
o 142506
o 142340
o 142196
o 142072
o 141967
o 141823
o 141699
o 141673
o 141529
o 141405
o 141259
o 141228
o 141062
o 140918
o 140794
o 140729
o 140698
o 140532
o 140388
o 140264
o 139981
o 139950
o 139784
o 139660
o 139451
o 139420
o 139254
o 139130
o 139035
o 139004
o 138838
o 138694
o 138570
o 138465
o 138321
o 138197
o 138006
o 137862
o 137738
o 137641
o 137497
o 137373
o 137227
o 137196
o 137030
o 136886
o 136762
o 136718
o 136594
o 136529
o 136498
o 136332
o 136188
o 136064
o 136038
o 135894
o 135770
o 135624
o 135593
o 135427
o 135283
o 135159
o 135094
o 135063
o 134897
o 134753
o 134629
o 134524
o 134380
o 134256
o 134230
o 134086
o 133962
o 133816
o 133785
o 133619
o 133475
o 133351
o 133286
o 133255
o 133089
o 132945
o 132821
o 132749
o 132625
o 132479
o 132448
o 132282
o 132138
o 132014
o 131949
o 131918
o 131752
o 131608
o 131484
o 131477
o 131337
o 131213
o 131022
o 130878
o 130754
o 130657
o 130513
o 130389
o 130243
o 130212
o 130046
o 129902
o 129778
o 129669
o 129610
o 129545
o 129514
o 129348
o 129204
o 129080
o 129054
o 128910
o 128786
o 128640
o 128609
o 128443
o 128299
o 128175
o 128110
o 128079
o 127913
o 127769
o 127645
o 127536
o 127396
o 127272
o 127246
o 127102
o 126978
o 126832
o 126801
o 126635
o 126491
o 126367
o 126302
o 126271
o 126105
o 125961
o 125837
o 125728
o 125641
o 125495
o 125464
o 125298
o 125154
o 125030
o 124965
o 124934
o 124768
o 124624
o 124500
o 124391
o 124364
o 124218
o 124187
o 124021
o 123877
o 123753
o 123688
o 123657
o 123491
o 123347
o 123223
o 123114
o 123008
o 122864
o 122740
o 122631
o 122556
o 122410
o 122379
o 122213
o 122069
o 121945
o 121880
o 121849
o 121683
o 121539
o 121415
o 121306
o 121200
o 121056
o 120932
o 120823
o 120732
o 120608
o 120543
o 120512
o 120346
o 120202
o 120078
o 119969
o 119863
o 119719
o 119595
o 119486
o 119355
o 119211
o 119087
o 119022
o 118991
o 118825
o 11868