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_1.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax3sat/hi/file_rwpms_wcnf_L3_V100_C800_H100_1.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 100 800 4355
c WARNING: Ubcsat not found.
o 4355
c local Search
c better result
o 4535
c local Search
c better result
o 4569
c local Search
c better result
o 4537
c local Search
c better result
o 4522
c local Search
c better result
o 4535
c local Search
c better result
o 4570
c local Search
c better result
o 4565
c local Search
c better result
o 4522
c local Search
c better result
o 4539
c local Search
c better result
o 4577
c local Search
c better result
o 4539
c local Search
c better result
o 4577
c local Search
c better result
o 4539
c local Search
c better result
o 4573
c local Search
c better result
o 4539
c local Search
c better result
o 4573
c local Search
c better result
o 4557
c local Search
c better result
o 4579
c local Search
c better result
o 4536
c local Search
c better result
o 4529
c local Search
c better result
o 4559
c local Search
c better result
o 4577
c local Search
c better result
o 8900
c local Search
c better result
o 8925
c local Search
c better result
o 4579
c local Search
c better result
o 4529
c local Search
c better result
o 4579
c local Search
c better result
o 4537
c local Search
c better result
o 4529
c local Search
c better result
o 4574
c local Search
c better result
o 4537
c local Search
c better result
o 4537
c local Search
c better result
o 4571
c local Search
c better result
o 4547
c local Search
c better result
o 4567
c local Search
c better result
o 4548
c local Search
c better result
o 4577
c local Search
c better result
o 4579
c local Search
c better result
o 4579
c local Search
c better result
o 4571
c local Search
c better result
o 4591
c local Search
c better result
o 4610
c local Search
c better result
o 4580
c local Search
c better result
o 4537
c local Search
c better result
o 4595
c local Search
c better result
o 4537
c local Search
c better result
o 4579
c local Search
c better result
o 4548
c local Search
c better result
o 4548
c local Search
c better result
o 8931
c local Search
c better result
o 4543
c local Search
c better result
o 4557
c local Search
c better result
o 4557
c local Search
c better result
o 4548
c local Search
c better result
o 4548
c local Search
c better result
o 8931
c local Search
c better result
o 4543
c local Search
c better result
o 4543
c local Search
c better result
o 4543
c local Search
c better result
o 4548
c local Search
c better result
o 4548
c local Search
c better result
o 4566
c local Search
c better result
o 8931
c local Search
c better result
o 4543
c local Search
c better result
o 4557
c local Search
c better result
o 4557
c local Search
c better result
o 4543
c local Search
c better result
o 4543
c local Search
c better result
o 4548
c local Search
c better result
o 4548
c local Search
c better result
o 4566
c local Search
c better result
o 8931
c local Search
c better result
o 4543
c local Search
c better result
o 4573
c local Search
c better result
o 4588
c local Search
c better result
o 4547
c local Search
c better result
o 4546
c local Search
c better result
o 4555
c local Search
c better result
o 4555
c local Search
c better result
o 4571
c local Search
c better result
o 4571
c local Search
c better result
o 4573
c local Search
c better result
o 4573
c local Search
c better result
o 4555
c local Search
c better result
o 4566
c local Search
c better result
o 4573
c local Search
c better result
o 4588
c local Search
c better result
o 4587
c local Search
c better result
o 4596
c local Search
c better result
o 4547
c local Search
c better result
o 4546
c local Search
c better result
o 4573
c local Search
c better result
o 4571
c local Search
c better result
o 4571
c local Search
c better result
o 4555
c local Search
c better result
o 4555
c local Search
c better result
o 4573
c local Search
c better result
o 4573
c local Search
c better result
o 4566
c local Search
c better result
o 4590
c local Search
c better result
o 4566
c local Search
c better result
o 4590
c local Search
c better result
o 4537
c local Search
c better result
o 4522
c local Search
c better result
o 4569
c local Search
c better result
o 4530
c local Search
c better result
o 4570
c local Search
c better result
o 4577
c local Search
c better result
o 4535
c local Search
c better result
o 4573
c local Search
c better result
o 4554
c local Search
c better result
o 4576
c local Search
c better result
o 4560
c local Search
c better result
o 4565
c local Search
c better result
o 4548
c local Search
c better result
o 4560
c local Search
c better result
o 4538
c local Search
c better result
o 4551
c local Search
c better result
o 4522
c local Search
c better result
o 4537
c local Search
c better result
o 4537
c local Search
c better result
o 4551
c local Search
c better result
o 4525
c local Search
c better result
o 4571
c local Search
c better result
o 4577
c local Search
c better result
o 4542
c local Search
c better result
o 4537
c local Search
c better result
o 4568
c local Search
c better result
o 4562
c local Search
c better result
o 4574
c local Search
c better result
o 4540
c local Search
c better result
o 4540
c local Search
c better result
o 4584
c local Search
c better result
o 4603
c local Search
c better result
o 4559
c local Search
c better result
o 4573
c local Search
c better result
o 4586
c local Search
c better result
o 4533
c local Search
c better result
o 4596
c local Search
c better result
o 4559
c local Search
c better result
o 4533
c local Search
c better result
o 4586
c local Search
c better result
o 4576
c local Search
c better result
o 4584
c local Search
c better result
o 8945
c local Search
c better result
o 4574
c local Search
c better result
o 4552
c local Search
c better result
o 4552
c local Search
c better result
o 4552
c local Search
c better result
o 4574
c local Search
c better result
o 4552
c local Search
c better result
o 4570
c local Search
c better result
o 8945
c local Search
c better result
o 4571
c local Search
c better result
o 4571
c local Search
c better result
o 4570
c local Search
c better result
o 8945
c local Search
c better result
o 4571
c local Search
c better result
o 4571
c local Search
c better result
o 4552
c local Search
c better result
o 4574
c local Search
c better result
o 4552
c local Search
c better result
o 4571
c local Search
c better result
o 4571
c local Search
c better result
o 4587
c local Search
c better result
o 4587
c local Search
c better result
o 4565
c local Search
c better result
o 4580
c local Search
c better result
o 4571
c local Search
c better result
o 4571
c local Search
c better result
o 4590
c local Search
c better result
o 4574
c local Search
c better result
o 4590
c local Search
c better result
o 4574
c local Search
c better result
o 4571
c local Search
c better result
o 4588
c local Search
c better result
o 4587
c local Search
c better result
o 4593
c local Search
c better result
o 4565
c local Search
c better result
o 4572
c local Search
c better result
o 4565
c local Search
c better result
o 4571
c local Search
c better result
o 4565
c local Search
c better result
o 4590
c local Search
c better result
o 4590
c local Search
c better result
o 4590
c local Search
c better result
o 4590
c local Search
c better result
o 4574
c local Search
c better result
o 4574
c local Search
c better result
o 4537
c local Search
c better result
o 4533
c local Search
c better result
o 4522
c local Search
c better result
o 4550
c local Search
c better result
o 4572
c local Search
c better result
o 4587
c local Search
c better result
o 4550
c local Search
c better result
o 4572
c local Search
c better result
o 4587
c local Search
c better result
o 4585
c local Search
c better result
o 4585
c local Search
c better result
o 4610
c local Search
c better result
o 4590
c local Search
c better result
o 4570
c local Search
c better result
o 4570
c local Search
c better result
o 4585
c local Search
c better result
o 4590
c local Search
c better result
o 4566
c local Search
c better result
o 4585
c local Search
c better result
o 4608
c local Search
c better result
o 4610
c local Search
c better result
o 4596
c local Search
c better result
o 4570
c local Search
c better result
o 4570
c local Search
c better result
o 4534
c local Search
c better result
o 4566
c local Search
c better result
o 4569
c local Search
c better result
o 4546
c local Search
c better result
o 4553
c local Search
c better result
o 4538
c local Search
c better result
o 4566
c local Search
c better result
o 4569
c local Search
c better result
o 4546
c local Search
c better result
o 4558
c local Search
c better result
o 4562
c local Search
c better result
o 4534
c local Search
c better result
o 4538
c local Search
c better result
o 4538
c local Search
c better result
o 4546
c local Search
c better result
o 4546
c local Search
c better result
o 4575
c local Search
c better result
o 4577
c local Search
c better result
o 4573
c local Search
c better result
o 4573
c local Search
c better result
o 4542
c local Search
c better result
o 4542
c local Search
c better result
o 4545
c local Search
c better result
o 4545
c local Search
c better result
o 4556
c local Search
c better result
o 4589
c local Search
c better result
o 4545
c local Search
c better result
o 4557
c local Search
c better result
o 4573
c local Search
c better result
o 4613
c local Search
c better result
o 4538
c local Search
c better result
o 4579
c local Search
c better result
o 4569
c local Search
c better result
o 4577
c local Search
c better result
o 8919
c local Search
c better result
o 8910
c local Search
c better result
o 8936
c local Search
c better result
o 8925
c local Search
c better result
o 4608
c local Search
c better result
o 4608
c local Search
c better result
o 4573
c local Search
c better result
o 4539
c local Search
c better result
o 4589
c local Search
c better result
o 4556
c local Search
c better result
o 4557
c local Search
c better result
o 4557
c local Search
c better result
o 4545
c local Search
c better result
o 4607
c local Search
c better result
o 4593
c local Search
c better result
o 4572
c local Search
c better result
o 8924
c local Search
c better result
o 8936
c local Search
c better result
o 8919
c local Search
c better result
o 8940
c local Search
c better result
o 8925
c local Search
c better result
o 8910
c local Search
c better result
o 4579
c local Search
c better result
o 4538
c local Search
c better result
o 4595
c local Search
c better result
o 4579
c local Search
c better result
o 4538
c local Search
c better result
o 4580
c local Search
c better result
o 4579
c local Search
c better result
o 4580
c local Search
c better result
o 4579
c local Search
c better result
o 4595
c local Search
c better result
o 4579
c local Search
c better result
o 4580
c local Search
c better result
o 4595
c local Search
c better result
o 4579
c local Search
c better result
o 4580
c local Search
c better result
o 4538
c local Search
c better result
o 4589
c local Search
c better result
o 4539
c local Search
c better result
o 4582
c local Search
c better result
o 4539
c local Search
c better result
o 4553
c local Search
c better result
o 4596
c local Search
c better result
o 4578
c local Search
c better result
o 4576
c local Search
c better result
o 4576
c local Search
c better result
o 4592
c local Search
c better result
o 4574
c local Search
c better result
o 4586
c local Search
c better result
o 4580
c local Search
c better result
o 4554
c local Search
c better result
o 4566
c local Search
c better result
o 4537
c local Search
c better result
o 4537
c local Search
c better result
o 4574
c local Search
c better result
o 4574
c local Search
c better result
o 4613
c local Search
c better result
o 4612
c local Search
c better result
o 4610
c local Search
c better result
o 4593
c local Search
c better result
o 4589
c local Search
c better result
o 4582
c local Search
c better result
o 4596
c local Search
c better result
o 4579
c local Search
c better result
o 4577
c local Search
c better result
o 4595
c local Search
c better result
o 4586
c local Search
c better result
o 4579
c local Search
c better result
o 4586
c local Search
c better result
o 4586
c local Search
c better result
o 4595
c local Search
c better result
o 4586
c local Search
c better result
o 4579
c local Search
c