Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-LSW_Power-wms_random-_home_maxsat_benchmarks_wms_random_wmax3sat_hi_file_rwms_wcnf_L3_V70_C700_3.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax3sat/hi/file_rwms_wcnf_L3_V70_C700_3.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 70 700 0
c WARNING: Ubcsat not found.
o 3727
c local Search
c better result
o 154
c local Search
c better result
o 163
c local Search
c better result
o 148
c local Search
c better result
o 154
c local Search
c better result
o 148
c local Search
c better result
o 152
c local Search
c better result
o 163
c local Search
c better result
o 173
c local Search
c better result
o 173
c local Search
c better result
o 162
c local Search
c better result
o 156
c local Search
c better result
o 154
c local Search
c better result
o 159
c local Search
c better result
o 150
c local Search
c better result
o 159
c local Search
c better result
o 150
c local Search
c better result
o 152
c local Search
c better result
o 163
c local Search
c better result
o 146
c local Search
c better result
o 152
c local Search
c better result
o 149
c local Search
c better result
o 163
c local Search
c better result
o 165
c local Search
c better result
o 152
c local Search
c better result
o 152
c local Search
c better result
o 163
c local Search
c better result
o 163
c local Search
c better result
o 150
c local Search
c better result
o 145
c local Search
c better result
o 152
c local Search
c better result
o 141
c local Search
c better result
o 141
c local Search
c better result
o 141
c local Search
c better result
o 156
c local Search
c better result
o 156
c local Search
c better result
o 156
c local Search
c better result
o 156
c local Search
c better result
o 161
c local Search
c better result
o 161
c local Search
c better result
o 161
c local Search
c better result
o 172
c local Search
c better result
o 172
c local Search
c better result
o 182
c local Search
c better result
o 182
c local Search
c better result
o 178
c local Search
c better result
o 178
c local Search
c better result
o 172
c local Search
c better result
o 178
c local Search
c better result
o 178
c local Search
c better result
o 178
c local Search
c better result
o 161
c local Search
c better result
o 161
c local Search
c better result
o 161
c local Search
c better result
o 165
c local Search
c better result
o 162
c local Search
c better result
o 171
c local Search
c better result
o 171
c local Search
c better result
o 161
c local Search
c better result
o 155
c local Search
c better result
o 159
c local Search
c better result
o 172
c local Search
c better result
o 154
c local Search
c better result
o 155
c local Search
c better result
o 157
c local Search
c better result
o 159
c local Search
c better result
o 154
c local Search
c better result
o 165
c local Search
c better result
o 158
c local Search
c better result
o 145
c local Search
c better result
o 165
c local Search
c better result
o 165
c local Search
c better result
o 148
c local Search
c better result
o 158
c local Search
c better result
o 150
c local Search
c better result
o 148
c local Search
c better result
o 148
c local Search
c better result
o 148
c local Search
c better result
o 152
c local Search
c better result
o 149
c local Search
c better result
o 158
c local Search
c better result
o 152
c local Search
c better result
o 158
c local Search
c better result
o 149
c local Search
c better result
o 153
c local Search
c better result
o 153
c local Search
c better result
o 153
c local Search
c better result
o 148
c local Search
c better result
o 165
c local Search
c better result
o 148
c local Search
c better result
o 148
c local Search
c better result
o 170
c local Search
c better result
o 170
c local Search
c better result
o 174
c local Search
c better result
o 149
c local Search
c better result
o 148
c local Search
c better result
o 148
c local Search
c better result
o 150
c local Search
c better result
o 165
c local Search
c better result
o 148
c local Search
c better result
o 158
c local Search
c better result
o 158
c local Search
c better result
o 165
c local Search
c better result
o 170
c local Search
c better result
o 145
c local Search
c better result
o 148
c local Search
c better result
o 148
c local Search
c better result
o 148
c local Search
c better result
o 166
c local Search
c better result