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_2.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C1000_H150_2.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 150 1000 5409
c WARNING: Ubcsat not found.
o 5409
c local Search
c better result
o 6153
c local Search
c better result
o 6152
c local Search
c better result
o 6150
c local Search
c better result
o 6149
c local Search
c better result
o 6162
c local Search
c better result
o 6161
c local Search
c better result
o 6159
c local Search
c better result
o 6158
c local Search
c better result
o 6154
c local Search
c better result
o 6153
c local Search
c better result
o 6151
c local Search
c better result
o 6150
c local Search
c better result
o 6163
c local Search
c better result
o 6162
c local Search
c better result
o 6160
c local Search
c better result
o 6159
c local Search
c better result
o 6148
c local Search
c better result
o 6146
c local Search
c better result
o 6143
c local Search
c better result
o 6145
c local Search
c better result
o 6157
c local Search
c better result
o 6155
c local Search
c better result
o 6152
c local Search
c better result
o 6154
c local Search
c better result
o 6151
c local Search
c better result
o 6146
c local Search
c better result
o 6148
c local Search
c better result
o 6143
c local Search
c better result
o 6157
c local Search
c better result
o 6155
c local Search
c better result
o 6152
c local Search
c better result
o 6154
c local Search
c better result
o 6149
c local Search
c better result
o 6147
c local Search
c better result
o 6144
c local Search
c better result
o 6146
c local Search
c better result
o 6158
c local Search
c better result
o 6156
c local Search
c better result
o 6153
c local Search
c better result
o 6155
c local Search
c better result
o 6153
c local Search
c better result
o 6151
c local Search
c better result
o 6150
c local Search
c better result
o 6148
c local Search
c better result
o 6162
c local Search
c better result
o 6160
c local Search
c better result
o 6157
c local Search
c better result
o 6159
c local Search
c better result
o 6153
c local Search
c better result
o 6152
c local Search
c better result
o 6150
c local Search
c better result
o 6149
c local Search
c better result
o 6154
c local Search
c better result
o 6153
c local Search
c better result
o 6151
c local Search
c better result
o 6150
c local Search
c better result
o 6148
c local Search
c better result
o 6145
c local Search
c better result
o 6146
c local Search
c better result
o 6143
c local Search
c better result
o 6151
c local Search
c better result
o 6148
c local Search
c better result
o 6146
c local Search
c better result
o 6143
c local Search
c better result
o 6147
c local Search
c better result
o 6144
c local Search
c better result
o 6151
c local Search
c better result
o 6148
c local Search
c better result
o 6150
c local Search
c better result
o 6149
c local Search
c better result
o 6153
c local Search
c better result
o 6152
c local Search
c better result
o 6159
c local Search
c better result
o 6158
c local Search
c better result
o 6162
c local Search
c better result
o 6161
c local Search
c better result
o 6151
c local Search
c better result
o 6150
c local Search
c better result
o 6154
c local Search
c better result
o 6153
c local Search
c better result
o 6160
c local Search
c better result
o 6159
c local Search
c better result
o 6163
c local Search
c better result
o 6162
c local Search
c better result
o 6143
c local Search
c better result
o 6146
c local Search
c better result
o 6152
c local Search
c better result
o 6155
c local Search
c better result
o 6148
c local Search
c better result
o 6143
c local Search
c better result
o 6151
c local Search
c better result
o 6146
c local Search
c better result
o 6152
c local Search
c better result
o 6152
c local Search
c better result
o 6155
c local Search
c better result
o 6155
c local Search
c better result
o 6144
c local Search
c better result
o 6147
c local Search
c better result
o 6153
c local Search
c better result
o 6156
c local Search
c better result
o 6150
c local Search
c better result
o 6148
c local Search
c better result
o 6153
c local Search
c better result
o 6151
c local Search
c better result
o 6157
c local Search
c better result
o 6157
c local Search
c better result
o 6160
c local Search
c better result
o 6160
c local Search
c better result
o 6150
c local Search
c better result
o 6149
c local Search
c better result
o 6153
c local Search
c better result
o 6152
c local Search
c better result
o 6151
c local Search
c better result
o 6150
c local Search
c better result
o 6154
c local Search
c better result
o 6153
c local Search
c better result
o 6143
c local Search
c better result
o 6146
c local Search
c better result
o 6144
c local Search
c better result
o 6147
c local Search
c better result
o 6171
c local Search
c better result
o 6171
c local Search
c better result
o 6175
c local Search
c better result
o 6175
c local Search
c better result
o 6163
c local Search
c better result
o 6161
c local Search
c better result
o 6165
c local Search
c better result
o 6169
c local Search
c better result
o 6183
c local Search
c better result
o 6183
c local Search
c better result
o 6202
c local Search
c better result
o 6208
c local Search
c better result
o 6192
c local Search
c better result
o 6192
c local Search
c better result
o 6211
c local Search
c better result
o 6211
c local Search
c better result
o 6161
c local Search
c better result
o 6165
c local Search
c better result
o 6183
c local Search
c better result
o 6183
c local Search
c better result
o 6194
c local Search
c better result
o 6192
c local Search
c better result
o 6194
c local Search
c better result
o 6198
c local Search
c better result
o 6199
c local Search
c better result
o 6199
c local Search
c better result
o 6201
c local Search
c better result
o 6201
c local Search
c better result
o 6225
c local Search
c better result
o 6225
c local Search
c better result
o 6211
c local Search
c better result
o 6211
c local Search
c better result
o 6219
c local Search
c better result
o 6224
c local Search
c better result
o 6204
c local Search
c better result
o 6208
c local Search
c better result
o 6162
c local Search
c better result
o 6162
c local Search
c better result
o 6166
c local Search
c better result
o 6166
c local Search
c better result
o 6154
c local Search
c better result
o 6152
c local Search
c better result
o 6156
c local Search
c better result
o 6160
c local Search
c better result
o 6183
c local Search
c better result
o 6183
c local Search
c better result
o 6202
c local Search
c better result
o 6208
c local Search
c better result
o 6192
c local Search
c better result
o 6192
c local Search
c better result
o 6211
c local Search
c better result
o 6211
c local Search
c better result
o 6192
c local Search
c better result
o 6192
c local Search
c better result
o 6219
c local Search
c better result
o 6219
c local Search
c better result
o 6152
c local Search
c better result
o 6152
c local Search
c better result
o 6183
c local Search
c better result
o 6183
c local Search
c better result
o 6174
c local Search
c better result
o 6173
c local Search
c better result
o 6172
c local Search
c better result
o 6171
c local Search
c better result
o 6171
c local Search
c better result
o 6170
c local Search
c better result
o 6169
c local Search
c better result
o 6168
c local Search
c better result
o 6180
c local Search
c better result
o 6171
c local Search
c better result
o 6177
c local Search
c better result
o 6168
c local Search
c better result
o 6169
c local Search
c better result
o 6167
c local Search
c better result
o 6169
c local Search
c better result
o 6167
c local Search
c better result
o 6186
c local Search
c better result
o 6184
c local Search
c better result
o 6186
c local Search
c better result
o 6184
c local Search
c better result
o 6166
c local Search
c better result
o 6166
c local Search
c better result
o 6183
c local Search
c better result
o 6183
c local Search
c better result
o 6186
c local Search
c better result
o 6184
c local Search
c better result
o 6183
c local Search
c better result
o 6181
c local Search
c better result
o 6171
c local Search
c better result
o 6170
c local Search
c better result
o 6169
c local Search
c better result
o 6168
c local Search
c better result
o 6168
c local Search
c better result
o 6167
c local Search
c better result
o 6166
c local Search
c better result
o 6165
c local Search
c better result
o 6174
c local Search
c better result
o 6173
c local Search
c better result
o 6172
c local Search
c better result
o 6171
c local Search
c better result
o 6171
c local Search
c better result
o 6170
c local Search
c better result
o 6169
c local Search
c better result
o 6168
c local Search
c better result
o 6172
c local Search
c better result
o 6175
c local Search
c better result
o 6186
c local Search
c better result
o 6189
c local Search
c better result
o 6162
c local Search
c better result
o 6186
c local Search
c better result
o 6165
c local Search
c better result
o 6189
c local Search
c better result
o 6186
c local Search
c better result
o 6189
c local Search
c better result
o 6166
c local Search
c better result
o 6169
c local Search
c better result
o 6170
c local Search
c better result
o 6173
c local Search
c better result
o 6170
c local Search
c better result
o 6173
c local Search
c better result
o 6172
c local Search
c better result
o 6171
c local Search
c better result
o 6169
c local Search
c better result
o 6168
c local Search
c better result
o 6180
c local Search
c better result
o 6171
c local Search
c better result
o 6168
c local Search
c better result
o 6177
c local Search
c better result
o 6167
c local Search
c better result
o 6167
c local Search
c better result
o 6184
c local Search
c better result
o 6184
c local Search
c better result
o 6164
c local Search
c better result
o 6164
c local Search
c better result
o 6181
c local Search
c better result
o 6181
c local Search
c better result
o 6184
c local Search
c better result
o 6181
c local Search
c better result
o 6172
c local Search
c better result
o 6175
c local Search
c better result
o 6186
c local Search
c better result
o 6189
c local Search
c better result
o 6162
c local Search
c better result
o 6186
c local Search
c better result
o 6165
c local Search
c better result
o 6189
c local Search
c better result
o 6186
c local Search
c better result
o 6189
c local Search
c better result
o 6171
c local Search
c better result
o 6169
c local Search
c better result
o 6170
c local Search
c better result
o 6168
c local Search
c better result
o 6174
c local Search
c better result
o 6172
c local Search
c better result
o 6173
c local Search
c better result
o 6171
c local Search
c better result
o 6177
c local Search
c better result
o 6168
c local Search
c better result
o 6180
c local Search
c better result
o 6171
c local Search
c better result
o 6166
c local Search
c better result
o 6164
c local Search
c better result
o 6166
c local Search
c better result
o 6164
c local Search
c better result
o 6183
c local Search
c better result
o 6181
c local Search
c better result
o 6183
c local Search
c better result
o 6181
c local Search
c better result
o 6169
c local Search
c better result
o 6167
c local Search
c better result
o 6169
c local Search
c better result
o 6167
c local Search
c better result
o 6186
c local Search
c better result
o 6184
c local Search
c better result
o 6186
c local Search
c better result
o 6184
c local Search
c better result
o 6183
c local Search
c better result
o 6181
c local Search
c better result
o 6186
c local Search
c better result
o 6184
c local Search
c better result
o 6168
c local Search
c better result
o 6166
c local Search
c better result
o 6167
c local Search
c better result
o 6165
c local Search
c better result
o 6171
c local Search
c better result
o 6169
c local Search
c better result
o 6170
c local Search
c better result
o 6168
c local Search
c better result
o 6171
c local Search
c better result
o 6169
c local Search
c better result
o 6170
c local Search
c better result
o 6168
c local Search
c better result
o 6174
c local Search
c better result
o 6172
c local Search
c better result
o 6173
c local Search
c better result
o 6171
c local Search
c better result
o 6172
c local Search
c better result
o 6175
c local Search
c better result
o 6186
c local Search
c better result
o 6189
c local Search
c better result
o 6162
c local Search
c