Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-LSW_Power-pms_crafted-_home_maxsat_benchmarks_pms_crafted_MAXONE_3SAT_cnf3.150.550.009844.cnf.wcnf
Job file: /home/maxsat/benchmarks/pms_crafted/MAXONE/3SAT/cnf3.150.550.009844.cnf.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 150 700 700
c WARNING: Ubcsat not found.
o 700
c local Search
c better result
o 2171
c local Search
c better result
o 2171
c local Search
o 76
c local Search
c better result
o 2172
c local Search
c better result
o 2172
c local Search
o 77
c local Search
c better result
o 2173
c local Search
c better result
o 2174
c local Search
c better result
o 2867
c local Search
c better result
o 2868
c local Search
c better result
o 2174
c local Search
c better result
o 2174
c local Search
c better result
o 3568
c local Search
c better result
o 3566
c local Search
c better result
o 3566
c local Search
c better result
o 2874
c local Search
c better result
o 2173
c local Search
c better result
o 2872
c local Search
c better result
o 2867
c local Search
c better result
o 2169
c local Search
c better result
o 2868
c local Search
c better result
o 2170
c local Search
c better result
o 2174
c local Search
o 79
c local Search
c better result
o 2175
c local Search
c better result
o 2175
c local Search
c better result
o 4259
c local Search
c better result
o 4259
c local Search
c better result
o 4259
c local Search
c better result
o 4259
c local Search
c better result
o 4258
c local Search
c better result
o 4259
c local Search
c better result
o 4258
c local Search
c better result
o 4259
c local Search
c better result
o 4260
c local Search
c better result
o 4260
c local Search
c better result
o 4958
c local Search
c better result
o 4958
c local Search
c better result
o 4260
c local Search
c better result
o 4260
c local Search
c better result
o 4957
c local Search
c better result
o 4957
c local Search
c better result
o 3559
c local Search
c better result
o 3559
c local Search
c better result
o 3559
c local Search
c better result
o 3559
c local Search
c better result
o 4957
c local Search
c better result
o 4958
c local Search
c better result
o 4957
c local Search
c better result
o 4958
c local Search
c better result
o 3560
c local Search
c better result
o 3560
c local Search
c better result
o 4258
c local Search
c better result
o 4258
c local Search
c better result
o 4959
c local Search
c better result
o 4959
c local Search
c better result
o 5656
c local Search
c better result
o 5656
c local Search
c better result
o 4259
c local Search
c better result
o 4259
c local Search
c better result
o 4259
c local Search
c better result
o 4259
c local Search
c better result
o 4260
c local Search
c better result
o 4260
c local Search
c better result
o 4958
c local Search
c better result
o 4958
c local Search
c better result
o 4959
c local Search
c better result
o 4261
c local Search
c better result
o 4959
c local Search
c better result
o 4261
c local Search
c better result
o 4960
c local Search
c better result
o 4960
c local Search
c better result
o 4260
c local Search
c better result
o 4260
c local Search
c better result
o 4960
c local Search
c better result
o 4960
c local Search
c better result
o 4960
c local Search
c better result
o 4960
c local Search
c better result
o 3561
c local Search
c better result
o 3561
c local Search
c better result
o 3561
c local Search
c better result
o 3561
c local Search
c better result
o 4261
c local Search
c better result
o 4261
c local Search
c better result
o 4261
c local Search
c better result
o 4261
c local Search
c better result
o 2862
c local Search
c better result
o 3562
c local Search
c better result
o 3562
c local Search
c better result
o 3562
c local Search
c better result
o 3562
c local Search
c better result
o 2163
c local Search
c better result
o 4259
c local Search
c better result
o 4259
c local Search
c better result
o 4259
c local Search
c better result
o 4259
c local Search
c better result
o 4259
c local Search
c better result
o 4259
c local Search
c better result
o 4259
c local Search
c better result
o 4259
c local Search
c better result
o 4959
c local Search
c better result
o 4959
c local Search
c better result
o 4959
c local Search
c better result
o 4959
c local Search
c better result
o 3560
c local Search
c better result
o 3560
c local Search
c better result
o 3560
c local Search
c better result
o 3560
c local Search
c better result
o 4260
c local Search
c better result
o 4260
c local Search
c better result
o 4260
c local Search
c better result
o 4260
c local Search
c better result
o 2861
c local Search
c better result
o 3561
c local Search
c better result
o 3561
c local Search
c better result
o 3561
c local Search
c better result
o 3561
c local Search
c better result
o 2162
c local Search
c better result
o 3559
c local Search
c better result
o 3559
c local Search
c better result
o 3559
c local Search
c better result
o 3559
c local Search
c better result
o 2160
c local Search
c better result
o 2868
c local Search
c better result
o 2166
c local Search
c better result
o 2868
c local Search
c better result
o 2865
c local Search
c better result
o 3567
c local Search
c better result
o 2865
c local Search
c better result
o 3567
c local Search
c better result
o 3564
c local Search
c better result
o 3569
c local Search
c better result
o 2867
c local Search
c better result
o 3568
c local Search
c better result
o 2866
c local Search
c better result
o 3568
c local Search
c better result
o 3565
c local Search
c better result
o 3568
c local Search
c better result
o 3565
c local Search
c better result
o 2869
c local Search
c better result
o 2167
c local Search
c better result
o 2163
c local Search
c better result
o 2863
c local Search
c better result
o 2863
c local Search
c better result
o 3562
c local Search
c better result
o 3562
c local Search
c better result
o 2863
c local Search
c better result
o 2864
c local Search
c better result
o 3568
c local Search
c better result
o 2866
c local Search
c better result
o 3568
c local Search
c better result
o 3565
c local Search
c better result
o 3569
c local Search
c better result
o 2867
c local Search
c better result
o 3568
c local Search
c better result
o 3565
c local Search
c better result
o 4268
c local Search
c better result
o 3566
c local Search
c better result
o 3568
c local Search
c better result
o 2866
c local Search
c better result
o 4268
c local Search
c better result
o 4265
c local Search
c better result
o 3568
c local Search
c better result
o 3565
c local Search
c better result
o 4268
c local Search
c better result
o 3566
c local Search
c better result
o 4267
c local Search
c better result
o 4264
c local Search
c better result
o 2868
c local Search
c better result
o 2863
c local Search
c better result
o 2863
c local Search
c better result
o 2863
c local Search
c better result
o 2863
c local Search
c better result
o 3563
c local Search
c better result
o 2863
c local Search
c better result
o 4261
c local Search
c better result
o 2163
c local Search
c better result
o 3567
c local Search
c better result
o 3565
c local Search
c better result
o 3568
c local Search
c better result
o 3565
c local Search
c better result
o 3568
c local Search
c better result
o 3566
c local Search
c better result
o 3567
c local Search
c better result
o 3565
c local Search
c better result
o 3568
c local Search
c better result
o 3566
c local Search
c better result
o 2869
c local Search
c better result
o 2867
c local Search
c better result
o 4267
c local Search
c better result
o 4264
c local Search
c better result
o 3568
c local Search
c better result
o 3565
c local Search
c better result
o 3567
c local Search
c better result
o 3565
c local Search
c better result
o 3567
c local Search
c better result
o 3564
c local Search
c better result
o 2868
c local Search
c better result
o 2865
c local Search
c better result
o 2868
c local Search
c better result
o 2866
c local Search
c better result
o 3560
c local Search
c better result
o 2865
c local Search
c better result
o 2865
c local Search
c better result
o 2864
c local Search
c better result
o 2864
c local Search
c better result
o 2862
c local Search
c better result
o 2163
c local Search
c better result
o 2865
c local Search
c better result
o 2866
c local Search
c better result
o 3560
c local Search
c better result
o 2161
c local Search
c better result
o 2866
c local Search
c better result
o 2866
c local Search
c better result
o 2168
c loc