Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-LSW_Power-wpms_random-_home_maxsat_benchmarks_wpms_random_wpmax2sat_lo_file_rwpms_wcnf_L2_V150_C1000_H150_8.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C1000_H150_8.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 150 1000 5547
c WARNING: Ubcsat not found.
o 5547
c local Search
c better result
o 11809
c local Search
c better result
o 17315
c local Search
c better result
o 11798
c local Search
c better result
o 17312
c local Search
c better result
o 11822
c local Search
c better result
o 17333
c local Search
c better result
o 11808
c local Search
c better result
o 17327
c local Search
c better result
o 17315
c local Search
c better result
o 17315
c local Search
c better result
o 17312
c local Search
c better result
o 17310
c local Search
c better result
o 17333
c local Search
c better result
o 17333
c local Search
c better result
o 17327
c local Search
c better result
o 17325
c local Search
c better result
o 17329
c local Search
c better result
o 11830
c local Search
c better result
o 17329
c local Search
c better result
o 11830
c local Search
c better result
o 17312
c local Search
c better result
o 11813
c local Search
c better result
o 17312
c local Search
c better result
o 11813
c local Search
c better result
o 17323
c local Search
c better result
o 11817
c local Search
c better result
o 17304
c local Search
c better result
o 11795
c local Search
c better result
o 17345
c local Search
c better result
o 11841
c local Search
c better result
o 17328
c local Search
c better result
o 11824
c local Search
c better result
o 17338
c local Search
c better result
o 11827
c local Search
c better result
o 17319
c local Search
c better result
o 11805
c local Search
c better result
o 11798
c local Search
c better result
o 17312
c local Search
c better result
o 11798
c local Search
c better result
o 17312
c local Search
c better result
o 11809
c local Search
c better result
o 17315
c local Search
c better result
o 11809
c local Search
c better result
o 17315
c local Search
c better result
o 11817
c local Search
c better result
o 11809
c local Search
c better result
o 17323
c local Search
c better result
o 17315
c local Search
c better result
o 11795
c local Search
c better result
o 11787
c local Search
c better result
o 17304
c local Search
c better result
o 17296
c local Search
c better result
o 11808
c local Search
c better result
o 17327
c local Search
c better result
o 11808
c local Search
c better result
o 17327
c local Search
c better result
o 11822
c local Search
c better result
o 17333
c local Search
c better result
o 11822
c local Search
c better result
o 17333
c local Search
c better result
o 11823
c local Search
c better result
o 17334
c local Search
c better result
o 11801
c local Search
c better result
o 17315
c local Search
c better result
o 17329
c local Search
c better result
o 17329
c local Search
c better result
o 17312
c local Search
c better result
o 17312
c local Search
c better result
o 17323
c local Search
c better result
o 17304
c local Search
c better result
o 17345
c local Search
c better result
o 17345
c local Search
c better result
o 17328
c local Search
c better result
o 17328
c local Search
c better result
o 17334
c local Search
c better result
o 17334
c local Search
c better result
o 17315
c local Search
c better result
o 17315
c local Search
c better result
o 17312
c local Search
c better result
o 17310
c local Search
c better result
o 17312
c local Search
c better result
o 17310
c local Search
c better result
o 17315
c local Search
c better result
o 17315
c local Search
c better result
o 17323
c local Search
c better result
o 17315
c local Search
c better result
o 17304
c local Search
c better result
o 17296
c local Search
c better result
o 17327
c local Search
c better result
o 17325
c local Search
c better result
o 17327
c local Search
c better result
o 17325
c local Search
c better result
o 17333
c local Search
c better result
o 17333
c local Search
c better result
o 17334
c local Search
c better result
o 17334
c local Search
c better result
o 17315
c local Search
c better result
o 17315
c local Search
c better result
o 6274
c local Search
c better result
o 11788
c local Search
c better result
o 6273
c local Search
c better result
o 11804
c local Search
c better result
o 11801
c local Search
c better result
o 11801
c local Search
c better result
o 6280
c local Search
c better result
o 11794
c local Search
c better result
o 11817
c local Search
c better result
o 11817
c local Search
c better result
o 6279
c local Search
c better result
o 11810
c local Search
c better result
o 6291
c local Search
c better result
o 11807
c local Search
c better result
o 6282
c local Search
c better result
o 11800
c local Search
c better result
o 11820
c local Search
c better result
o 6297
c local Search
c better result
o 11813
c local Search
c better result
o 11813
c local Search
c better result
o 6288
c local Search
c better result
o 11806
c local Search
c better result
o 11808
c local Search
c better result
o 17327
c local Search
c better result
o 11808
c local Search
c better result
o 17327
c local Search
c better result
o 17343
c local Search
c better result
o 17343
c local Search
c better result
o 11817
c local Search
c better result
o 17336
c local Search
c better result
o 17343
c local Search
c better result
o 17343
c local Search
c better result
o 11817
c local Search
c better result
o 17336
c local Search
c better result
o 11822
c local Search
c better result
o 17333
c local Search
c better result
o 11824
c local Search
c better result
o 17337
c local Search
c better result
o 17349
c local Search
c better result
o 11831
c local Search
c better result
o 17342
c local Search
c better result
o 17353
c local Search
c better result
o 11833
c local Search
c better result
o 17346
c local Search
c better result
o 17312
c local Search
c better result
o 11798
c local Search
c better result
o 11809
c local Search
c better result
o 17315
c local Search
c better result
o 17311
c local Search
c better result
o 11790
c local Search
c better result
o 6303
c local Search
c better result
o 6318
c local Search
c better result
o 6272
c local Search
c better result
o 6272
c local Search
c better result
o 17328
c local Search
c better result
o 17328
c local Search
c better result
o 17331
c local Search
c better result
o 17331
c local Search
c better result
o 17324
c local Search
c better result
o 17324
c local Search
c better result
o 11807
c local Search
c better result
o 17321
c local Search
c better result
o 11818
c local Search
c better result
o 17324
c local Search
c better result
o 11796
c local Search
c better result
o 17317
c local Search
c better result
o 17327
c local Search
c better result
o 11808
c local Search
c better result
o 11808
c local Search
c better result
o 11808
c local Search
c better result
o 17333
c local Search
c better result
o 11822
c local Search
c better result
o 11822
c local Search
c better result
o 17329
c local Search
c better result
o 11803
c local Search
c better result
o 11803
c local Search
c better result
o 17343
c local Search
c better result
o 17343
c local Search
c better result
o 17349
c local Search
c better result
o 17349
c local Search
c better result
o 11817
c local Search
c better result
o 17336
c local Search
c better result
o 11831
c local Search
c better result
o 17342
c local Search
c better result
o 17342
c local Search
c better result
o 17342
c local Search
c better result
o 11809
c local Search
c better result
o 17335
c local Search
c better result
o 11788
c local Search
c better result
o 11786
c local Search
c better result
o 11801
c local Search
c better result
o 11801
c local Search
c better result
o 11807
c local Search
c better result
o 11820
c local Search
c better result
o 17327
c local Search
c better result
o 17325
c local Search
c better result
o 17343
c local Search
c better result
o 17343
c local Search
c better result
o 17333
c local Search
c better result
o 17349
c local Search
c better result
o 11788
c local Search
c better result
o 11786
c local Search
c better result
o 6297
c local Search
c better result
o 11807
c local Search
c better result
o 6317
c local Search
c better result
o 11791
c local Search
c better result
o 11789
c local Search
c better result
o 6273
c local Search
c better result
o 11801
c local Search
c better result
o 11801
c local Search
c bett