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_AUCTIONS_AUC_PATHS_cat_paths_60_150_0006.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_150_0006.txt.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 154 2669 103707
c WARNING: Ubcsat not found.
o 103707
c local Search
c better result
o 401692
c local Search
c better result
o 401691
c local Search
c better result
o 400952
c local Search
c better result
o 400951
c local Search
c better result
o 400669
c local Search
c better result
o 400668
c local Search
c better result
o 399929
c local Search
c better result
o 399928
c local Search
c better result
o 401554
c local Search
c better result
o 401553
c local Search
c better result
o 400814
c local Search
c better result
o 400813
c local Search
c better result
o 400531
c local Search
c better result
o 400530
c local Search
c better result
o 399791
c local Search
c better result
o 399790
c local Search
c better result
o 400913
c local Search
c better result
o 400912
c local Search
c better result
o 400173
c local Search
c better result
o 400172
c local Search
c better result
o 399890
c local Search
c better result
o 399889
c local Search
c better result
o 399150
c local Search
c better result
o 399149
c local Search
c better result
o 400775
c local Search
c better result
o 400774
c local Search
c better result
o 400035
c local Search
c better result
o 400034
c local Search
c better result
o 399752
c local Search
c better result
o 399751
c local Search
c better result
o 399012
c local Search
c better result
o 399011
c local Search
c better result
o 401495
c local Search
c better result
o 401494
c local Search
c better result
o 400755
c local Search
c better result
o 400754
c local Search
c better result
o 400472
c local Search
c better result
o 400471
c local Search
c better result
o 399732
c local Search
c better result
o 399731
c local Search
c better result
o 401357
c local Search
c better result
o 401356
c local Search
c better result
o 400617
c local Search
c better result
o 400616
c local Search
c better result
o 400334
c local Search
c better result
o 400333
c local Search
c better result
o 399594
c local Search
c better result
o 399593
c local Search
c better result
o 400716
c local Search
c better result
o 400715
c local Search
c better result
o 399976
c local Search
c better result
o 399975
c local Search
c better result
o 399693
c local Search
c better result
o 399692
c local Search
c better result
o 398953
c local Search
c better result
o 398952
c local Search
c better result
o 400578
c local Search
c better result
o 400577
c local Search
c better result
o 399838
c local Search
c better result
o 399837
c local Search
c better result
o 399555
c local Search
c better result
o 399554
c local Search
c better result
o 398815
c local Search
c better result
o 398814
c local Search
c better result
o 401428
c local Search
c better result
o 401427
c local Search
c better result
o 400688
c local Search
c better result
o 400687
c local Search
c better result
o 400405
c local Search
c better result
o 400404
c local Search
c better result
o 399665
c local Search
c better result
o 399664
c local Search
c better result
o 401290
c local Search
c better result
o 401289
c local Search
c better result
o 400550
c local Search
c better result
o 400549
c local Search
c better result
o 400267
c local Search
c better result
o 400266
c local Search
c better result
o 399527
c local Search
c better result
o 399526
c local Search
c better result
o 400649
c local Search
c better result
o 400648
c local Search
c better result
o 399909
c local Search
c better result
o 399908
c local Search
c better result
o 399626
c local Search
c better result
o 399625
c local Search
c better result
o 398886
c local Search
c better result
o 398885
c local Search
c better result
o 400511
c local Search
c better result
o 400510
c local Search
c better result
o 399771
c local Search
c better result
o 399770
c local Search
c better result
o 399488
c local Search
c better result
o 399487
c local Search
c better result
o 398748
c local Search
c better result
o 398747
c local Search
c better result
o 401231
c local Search
c better result
o 401230
c local Search
c better result
o 400491
c local Search
c better result
o 400490
c local Search
c b