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_7.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax3sat/hi/file_rwpms_wcnf_L3_V100_C800_H100_7.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 100 800 4318
c WARNING: Ubcsat not found.
o 4318
c local Search
c better result
o 208
c local Search
o 203
c local Search
c better result
o 193
c local Search
c better result
o 209
c local Search
c better result
o 209
c local Search
c better result
o 217
c local Search
c better result
o 217
c local Search
c better result
o 224
c local Search
c better result
o 224
c local Search
c better result
o 212
c local Search
c better result
o 212
c local Search
c better result
o 224
c local Search
c better result
o 222
c local Search
c better result
o 224
c local Search
c better result
o 222
c local Search
c better result
o 225
c local Search
c better result
o 224
c local Search
c better result
o 233
c local Search
c better result
o 227
c local Search
c better result
o 224
c local Search
c better result
o 220
c local Search
c better result
o 221
c local Search
c better result
o 221
c local Search
c better result
o 226
c local Search
c better result
o 220
c local Search
c better result
o 224
c local Search
c better result
o 224
c local Search
c better result
o 213
c local Search
c better result
o 214
c local Search
c better result
o 210
c local Search
c better result
o 209
c local Search
c better result
o 220
c local Search
c better result
o 229
c local Search
c better result
o 220
c local Search
c better result
o 220
c local Search
o 209
c local Search
o 208
c local Search
c better result
o 222
c local Search
c better result
o 222
c local Search
c better result
o 4549
c local Search
c better result
o 4548
c local Search
c better result
o 4549
c local Search
c better result
o 4549
c local Search
c better result
o 223
c local Search
c better result
o 223
c local Search
c better result
o 222
c local Search
c better result
o 220
c local Search
c better result
o 221
c local Search
c better result
o 4555
c local Search
c better result
o 4531
c local Search
c better result
o 4554
c local Search
c better result
o 4553
c local Search
c better result
o 4530
c local Search
c better result
o 224
c local Search
c better result
o 4514
c local Search
c better result
o 4530
c local Search
c better result
o 8843
c local Search
c better result
o 8841
c local Search
c better result
o 4533
c local Search
c better result
o 230
c local Search
c better result
o 4534
c local Search
c better result
o 228
c local Search
c better result
o 4514
c local Search
c better result
o 228
c local Search
c better result
o 228
c local Search
c better result
o 235
c local Search
c better result
o 234
c local Search
c better result
o 4529
c local Search
c better result
o 231
c local Search
c better result
o 233
c local Search
c better result
o 4528
c local Search
c better result
o 4529
c local Search
c better result
o 231
c local Search
c better result
o 4530
c local Search
c better result
o 4518
c local Search
c better result
o 221
c local Search
c better result
o 224
c local Search
c better result
o 222
c local Search
c better result
o 4548
c local Search
c better result
o 224
c local Search
c better result
o 4548
c local Search
c better result
o 224
c local Search
c better result
o 4529
c local Search
c better result
o 221
c local Search
c better result
o 223
c local Search
c better result
o 223
c local Search
c better result
o 223
c local Search
c better result
o 226
c local Search
c better result
o 226
c local Search
c better result
o 226
c local Search
c better result
o 4550
c local Search
c better result
o 4551
c local Search
c better result
o 4548
c local Search
c better result
o 4548
c local Search
c better result
o 4548
c local Search
c better result
o 4548
c local Search
c better result
o 238
c local Search
c better result
o 239
c local Search
c better result
o 238
c local Search
c better result
o 4554
c local Search
c better result
o 4553
c local Search
c better result
o 4545
c local Search
c better result
o 234
c local Search
c better result
o 234
c local Search
c better result
o 234
c local Search
c better result
o 236
c local Search
c better result
o 236
c local Search
c better result
o 241
c local Search
c better result
o 226
c local Search
c better result
o 225
c local Search
c better result
o 223
c local Search
c better result
o 222
c local Search
c better result
o 220
c local Search
c better result
o 220
c local Search
c better result
o 222
c local Search
c better result
o 220
c local Search
c better result
o 222
c local Search
c better result
o 220
c local Search
c better result
o 221
c local Search
c better result
o 4546
c local Search
c better result
o 4546
c local Search
c better result
o 223
c local Search
c better result
o 222
c local Search
c better result
o 220
c local Search
c better result
o 220
c local Search
c better result
o 4522
c local Search
c better result
o 4520
c local Search
c better result
o 222
c local Search
c better result
o 4522
c local Search
c better result
o 4520
c local Search
c better result
o 220
c local Search
c better result
o 221
c local Search
c better result
o 225
c local Search
c better result
o 225
c local Search
c better result
o 4546
c local Search
c better result
o 4546
c local Search
c better result
o 221
c local Search
c better result
o 220
c local Search
c better result
o 228
c local Search
c better result
o 228
c local Search
c better result
o 220
c local Search
c better result
o 226
c local Search
c better result
o 231
c local Search
c better result
o 4546
c local Search
c better result
o 4551
c local Search
c better result
o 230
c local Search
c better result
o 229
c local Search
c better result
o 227
c local Search
c better result
o 227
c local Search
c better result
o 4522
c local Search
c better result
o 4520
c local Search
c better result
o 229
c local Search
c better result
o 4520
c local Search
c better result
o 220
c local Search
c better result
o 4531
c local Search
c better result
o 4512
c local Search
c better result
o 4527
c local Search
c better result
o 4530
c local Search
c better result
o 4520
c local Search
c better result
o 220
c local Search
c better result
o 222
c local Search
c better result
o 220
c local Search
c better result
o 4546
c local Search
c better result
o 4546
c local Search
c better result
o 4534
c local Search
c better result
o 4512
c local Search
c better result
o 4537
c local Search
c better result
o 4537
c local Search
c better result
o 4528
c local Search
c better result
o 4529
c local Search
c better result
o 228
c local Search
c better result
o 223
c local Search
c better result
o 223
c local Search
c better result
o 225
c local Search
c better result
o 226
c local Search
c better result
o 226
c local Search
c better result
o 4551
c local Search
c better result
o 226
c local Search
c better result
o 226
c local Search
c better result
o 4551
c local Search
c better result
o 225
c local Search
c better result
o 223
c local Search
c better result
o 223
c local Search
c better result
o 4547
c local Search
c better result
o 224
c local Search
c better result
o 224
c local Search
c better result
o 4548
c local Search
c better result
o 4548
c local Search
c better result
o 224
c local Search
c better result
o 224
c local Search
c better result
o 223
c local Search
c better result
o 223
c local Search
c better result
o 225
c local Search
c better result
o 223
c local Search
c better result
o 223
c local Search
c better result
o 4538
c local Search
c better result
o 4527
c local Search
c better result
o 4533
c local Search
c better result
o 4533
c local Search
c better result
o 4532
c local Search
c better result
o 4547
c local Search
c better result
o 223
c local Search
c better result
o 223
c local Search
c better result
o 4522
c local Search
c better result
o 220
c local Search
c better result
o 4520
c local Search
c better result
o 222
c local Search
c better result
o 220
c local Search
o 197
c local Search
o 196
c local Search
o 194
c local Search
c better result
o 4522
c local Search
c better result
o 4511
c local Search
c better result
o 4531
c local Search
c better result
o 4531
c local Search
c better result
o 4521
c local Search
c better result
o 4521
c local Search
c better result
o 4516
c local Search
c better result
o 4528
c local Search
c better result
o