Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-LSW_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/LSW_Power/LSW_Power
c Instance info: p wcnf 142 955 1819082
c WARNING: Ubcsat not found.
o 1819082
c local Search
o 177725
c local Search
o 176930
c local Search
o 176899
c local Search
o 176733
c local Search
o 175297
c local Search
o 174502
c local Search
o 174471
c local Search
o 174305
c local Search
o 173526
c local Search
o 173495
o 173329
c local Search
o 172951
c local Search
o 172920
c local Search
o 172754
c local Search
o 172630
o 171194
o 170523
c local Search
o 170492
c local Search
o 170326
c local Search
o 170202
o 169547
c local Search
o 169516
o 169350
o 169226
o 169208
o 169084
o 168383
c local Search
o 168259
c local Search
o 167772
c local Search
o 167648
c local Search
o 167588
c local Search
o 167557
o 167391
o 167267
o 166977
c local Search
o 166946
c local Search
o 166780
o 166656
o 166612
o 166581
o 166415
o 166291
c local Search
o 166001
o 165970
o 165804
c local Search
o 165680
o 165470
o 165439
o 165273
o 165149
o 165105
c local Search
o 165074
c local Search
o 164908
o 164784
c local Search
o 164494
o 164463
o 164297
c local Search
o 164173
c local Search
o 164035
o 164004
o 163838
o 163714
c local Search
o 163670
o 163639
c local Search
o 163473
c local Search
o 163349
o 163059
o 163028
c local Search
o 162862
o 162738
o 162719
o 162595
c local Search
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
c local Search
o 160636
o 160346
o 160315
o 160149
o 160025
o 159981
o 159950
o 159784
o 159660
c local Search
o 159370
c local Search
o 159339
o 159173
o 159049
c local Search
o 158839
o 158808
o 158642
o 158518
o 158474
o 158443
c local Search
o 158277
o 158153
o 157863
o 157832
o 157666
o 157542
c local Search
o 157404
o 157373
o 157207
c local Search
o 157083
o 157039
o 157008
c local Search
o 156842
o 156718
o 156428
o 156397
o 156231
o 156107
o 155999
o 155875
o 155585
o 155554
o 155388
c local Search
o 155264
o 155054
o 155023
o 154857
o 154733
c local Search
o 154689
o 154658
o 154492
o 154368
o 154078
o 154047
o 153881
o 153757
c local Search
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
c local Search
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 1276