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-1.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-1.net.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 133 833 1504548
c WARNING: Ubcsat not found.
o 1504548
c local Search
o 150906
c local Search
o 149383
c local Search
o 148783
c local Search
o 148639
c local Search
o 147732
c local Search
o 147716
c local Search
o 147395
c local Search
o 146209
c local Search
o 145609
c local Search
o 145465
o 144723
c local Search
o 144524
c local Search
o 144380
c local Search
o 143933
c local Search
o 143789
o 143200
o 142600
c local Search
o 142456
c local Search
o 142449
c local Search
o 142305
o 141563
c local Search
o 141543
o 141399
o 141175
o 140575
o 140431
o 140040
c local Search
o 139440
c local Search
o 139296
c local Search
o 139252
c local Search
o 139108
c local Search
o 139101
o 138957
o 138215
o 138195
c local Search
o 138051
c local Search
o 137827
o 137227
o 137083
o 136692
o 136092
o 135948
c local Search
o 135566
o 135422
o 135018
c local Search
o 134874
o 134849
o 134740
o 134516
o 133916
o 133772
c local Search
o 133381
c local Search
o 132781
o 132637
c local Search
o 132255
o 132111
o 132099
c local Search
o 131955
c local Search
o 131930
o 131821
o 131597
o 130997
c local Search
o 130853
o 130462
c local Search
o 129862
c local Search
o 129718
o 129336
o 129192
c local Search
o 128628
o 128484
o 128102
o 127958
c local Search
o 127818
o 127218
o 127074
o 126692
o 126548
o 125984
o 125840
o 125458
o 125314
o 125091
o 124947
o 124383
o 124239
o 123857
o 123713
o 123640
c local Search
o 123076
o 122932
o 122550
o 122406
o 122329
o 121765
o 121621
o 121239
o 121095
c local Search
o 120872
c local Search
o 120728
o 120164
o 120020
c local Search
o 119638
o 119494
o 119292
o 119148
o 118766
o 118622
c local Search
o 118372
o 118228
o 117846
o 117702
o 117629
o 117065
c local Search
o 116921
o 116539
o 116395
c local Search
o 116318
o 115754
o 115610
c local Search
o 115228
o 115084
o 114861
o 114717
o 114153
o 114009
o 113627
o 113483
o 113356
o 113222
o 113078
c local Search
o 112876
o 112732
o 112350
o 112206
o 112004
c local Search
o 111860
o 111812
o 111430
o 111286
o 111084
o 110940
o 110867
o 110649
c local Search
o 110505
o 110123
o 109979
o 109777
o 109633
o 109556
o 109338
o 109194
o 108812
o 108668
o 108466
o 108322
o 108301
o 108099
o 107955
o 107737
o 107593
o 107211
o 107067
o 106865
o 106721
o 106594
o 106488
o 106344
o 106323
o 106121
o 105977
o 105759
o 105615
o 105233
o 105089
o 104887
o 104743
o 104616
o 104482
o 104338
o 104136
o 103992
o 103956
o 103812
c local Search
o 103610
o 103466
o 103264
o 103120
o 103036
o 102892
o 102690
o 102546
o 102344
o 102200
o 102127
o 102111
o 101729
o 101585
o 101383
o 101239
o 101037
o 100893
o 100816
o 100800
o 100418
o 100274
o 100072
o 99928
o 99726
o 99582
o 99561
o 99359
o 99215
o 99199
o 98817
o 98673
o 98471
o 98327
o 98125
o 97981
o 97854
o 97847
o 97703
o 97682
o 97587
o 97480
o 97336
o 97225
o 97118
o 96974
o 96843
o 96699
o 96592
o 96448
o 96353
o 96246
o 96102
o 95975
o 95948
o 95841
o 95697
o 95602
o 95495
o 95351
o 95315
o 95171
o 95076
o 94969
o 94825
o 94730
o 94623
o 94479
o 94395
o 94251
o 94156
o 94049
o 93905
o 93810
o 93703
o 93559
o 93486
o 93470
o 93339
o 93195
o 93088
o 92944
o 92849
o 92742
o 92598
o 92503
o 92396
o 92252
o 92175
o 92159
o 92028
o 91884
o 91777
o 91633
o 91538
o 91431
o 91287
o 91192
o 91085
o 90941
o 90920
o 90825
o 90718
o 90574
o 90558
o 90427
o 90283
o 90176
o 90032
o 89937
o 89830
o 89686
o 89591
o 89484
o 89340
o 89213
o 89105
o 88903
o 88759
o 88632
o 88625
o 88481
o 88460
o 88365
o 88258
o 88114
o 88003
o 87896
o 87752
o 87621
o 87477
o 87370
o 87226
o 87131
o 87024
o 86880
o 86753
o 86726
o 86619
o 86475
o 86380
o 86273
o 86129
o 86071
o 85976
o 85869
o 85725
o 85630
o 85523
o 85379
o 85358
o 85263
o 85156
o 85012
o 84996
o 84865
o 84721
o 84614
o 84470
o 84375
o 84268
o 84124
o 84029
o 83922
o 83778
o 83651
o 83627
o 83520
o 83376
o 83281
o 83174
o 83030
o 82953
o 82937
o 82806
o 82662
o 82555
o 82411
o 82316
o 82209
o 82065
o 81970
o 81863
o 81719
o 81698
o 81603
o 81496
o 81352
o 81336
o 81205
o 81061
o 80954
o 80810
o 80715
o 80608
o 80464
o 80369
o 80262
o 80118
o 79991
o 79922
o 79