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_wpmax3sat_hi_file_rwpms_wcnf_L3_V100_C800_H100_3.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax3sat/hi/file_rwpms_wcnf_L3_V100_C800_H100_3.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 100 800 4487
c WARNING: Ubcsat not found.
o 4487
c local Search
c better result
o 4720
c local Search
c better result
o 4702
c local Search
c better result
o 4720
c local Search
c better result
o 4705
c local Search
c better result
o 4684
c local Search
c better result
o 4706
c local Search
c better result
o 4684
c local Search
c better result
o 4706
c local Search
c better result
o 4684
c local Search
c better result
o 4708
c local Search
c better result
o 4701
c local Search
c better result
o 4702
c local Search
c better result
o 4702
c local Search
c better result
o 4723
c local Search
c better result
o 4684
c local Search
c better result
o 4684
c local Search
c better result
o 4691
c local Search
c better result
o 4691
c local Search
c better result
o 4689
c local Search
c better result
o 4684
c local Search
c better result
o 4718
c local Search
c better result
o 4721
c local Search
c better result
o 4691
c local Search
c better result
o 4691
c local Search
c better result
o 4688
c local Search
c better result
o 4684
c local Search
c better result
o 4699
c local Search
c better result
o 4697
c local Search
c better result
o 4716
c local Search
c better result
o 4702
c local Search
c better result
o 4722
c local Search
c better result
o 4708
c local Search
c better result
o 9199
c local Search
c better result
o 9207
c local Search
c better result
o 9219
c local Search
c better result
o 9207
c local Search
c better result
o 9219
c local Search
c better result
o 9207
c local Search
c better result
o 4700
c local Search
c better result
o 4700
c local Search
c better result
o 9200
c local Search
c better result
o 9199
c local Search
c better result
o 4700
c local Search
c better result
o 4700
c local Search
c better result
o 9200
c local Search
c better result
o 9199
c local Search
c better result
o 4715
c local Search
c better result
o 4709
c local Search
c better result
o 9208
c local Search
c better result
o 9207
c local Search
c better result
o 4715
c local Search
c better result
o 4709
c local Search
c better result
o 9208
c local Search
c better result
o 9207
c local Search
c better result
o 9175
c local Search
c better result
o 4695
c local Search
c better result
o 9175
c local Search
c better result
o 9175
c local Search
c better result
o 9200
c local Search
c better result
o 9192
c local Search
c better result
o 9191
c local Search
c better result
o 4688
c local Search
c better result
o 9175
c local Search
c better result
o 9200
c local Search
c better result
o 4688
c local Search
c better result
o 4695
c local Search
c better result
o 4689
c local Search
c better result
o 4698
c local Search
c better result
o 4690
c local Search
c better result
o 4709
c local Search
c better result
o 4707
c local Search
c better result
o 4708
c local Search
c better result
o 9209
c local Search
c better result
o 9221
c local Search
c better result
o 4701
c local Search
c better result
o 4701
c local Search
c better result
o 4699
c local Search
c better result
o 4712
c local Search
c better result
o 4701
c local Search
c better result
o 4708
c local Search
c better result
o 4699
c local Search
c better result
o 4712
c local Search
c better result
o 4696
c local Search
c better result
o 4696
c local Search
c better result
o 4726
c local Search
c better result
o 4718
c local Search
c better result
o 4701
c local Search
c better result
o 4699
c local Search
c better result
o 4716
c local Search
c better result
o 4701
c local Search
c better result
o 9163
c local Search
c better result
o 9163
c local Search
c better result
o 9195
c local Search
c better result
o 9171
c local Search
c better result
o 4722
c local Search
c better result
o 9171
c local Search
c better result
o 9162
c local Search
c better result
o 9180
c local Search
c better result
o 9185
c local Search
c better result
o 9161
c local Search
c better result
o 9163
c local Search
c better result
o 9162
c local Search
c better result
o 9162
c local Search
c better result
o 9179
c local Search
c better result
o 9171
c local Search
c better result
o 9206
c local Search
c better result
o 9201
c local Search
c better result
o 9160
c local Search
c better result
o 9161
c local Search
c better result
o 9173
c local Search
c better result
o 9160
c local Search
c better result
o 9171
c local Search
c better result
o 9161
c local Search
c better result
o 9179
c local Search
c better result
o 9169
c local Search
c better result
o 9203
c local Search
c better result
o 9171
c local Search
c better result
o 9169
c local Search
c better result
o 9171
c local Search
c better result
o 9171
c local Search
c better result
o 9171
c local Search
c better result
o 9174
c local Search
c better result
o 9169
c local Search
c better result
o 9174
c local Search
c better result
o 9169
c local Search
c better result
o 9204
c local Search
c better result
o 9196
c local Search
c better result
o 9181
c local Search
c better result
o 9171
c local Search
c better result
o 9187
c local Search
c better result
o 9187
c local Search
c better result
o 9170
c local Search
c better result
o 9195
c local Search
c better result
o 9181
c local Search
c better result
o 9231
c local Search
c better result
o 9181
c local Search
c better result
o 9187
c local Search
c better result
o 9200
c local Search
c better result
o 9191
c local Search
c better result
o 9191
c local Search
c better result
o 9183
c local Search
c better result
o 9192
c local Search
c better result
o 9192
c local Search
c better result
o 9183
c local Search
c better result
o 9197
c local Search
c better result
o 9209
c local Search
c better result
o 9171
c local Search
c better result
o 9187
c local Search
c better result
o 9167
c local Search
c better result
o 9183
c local Search
c better result
o 9200
c local Search
c better result
o 9200
c local Search
c better result
o 9167
c local Search
c better result
o 4695
c local Search
c better result
o 9179
c local Search
c better result
o 9185
c local Search
c better result
o 9166
c local Search
c better result
o 9182
c local Search
c better result
o 9174
c local Search
c better result
o 9167
c local Search
c better result
o 9179
c local Search
c better result
o 9196
c local Search
c better result
o 9195
c local Search
c better result
o 4696
c local Search
c better result
o 4701
c local Search
c better result
o 9191
c local Search
c better result
o 9170
c local Search
c better result
o 9243
c local Search
c better result
o 9240
c local Search
c better result
o 9198
c local Search
c better result
o 9198
c local Search
c better result
o 9198
c local Search
c better result
o 9177
c local Search
c better result
o 9195
c local Search
c better result
o 9213
c local Search
c better result
o 9202
c local Search
c better result
o 9177
c local Search
c better result
o 9177
c local Search
c better result
o 9202
c local Search
c better result
o 9185
c local Search
c better result
o 9177
c local Search
c better result
o 9179
c local Search
c better result
o 9177
c local Search
c better result
o 9181
c local Search
c better result
o 9177
c local Search
c better result
o 9179
c local Search
c better result
o 9181
c local Search
c better result
o 9177
c local Search
c better result
o 9195
c local Search
c better result
o 9197
c local Search
c better result
o 4698
c local Search
c better result
o 9190
c local Search
c better result
o 4698
c local Search
c better result
o 9201
c local Search
c better result
o 9215
c local Search
c better result
o 4722
c local Search
c better result
o 9226
c local Search
c better result
o 9226
c local Search
c better result
o 9207
c local Search
c better result
o 4698
c local Search
c better result
o 9220
c local Search
c better result
o 4721
c local Search
c better result
o 9207
c local Search
c better result
o 9218
c local Search
c better result
o 9198
c local Search
c better result
o 9209
c local Search
c better result
o 9237
c local Search
c better result
o 9201
c local Search
c better result
o 4696
c local Search
c better result
o 9211
c local Search
c better result
o 4703
c local Search
c better result
o 9225
c local Search
c better result
o 4731
c local Search
c better r