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_6.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax3sat/hi/file_rwpms_wcnf_L3_V100_C800_H100_6.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 100 800 4372
c WARNING: Ubcsat not found.
o 4372
c local Search
c better result
o 4576
c local Search
c better result
o 4560
c local Search
c better result
o 4570
c local Search
c better result
o 4560
c local Search
c better result
o 4566
c local Search
c better result
o 4566
c local Search
c better result
o 4580
c local Search
c better result
o 4562
c local Search
c better result
o 4566
c local Search
c better result
o 4572
c local Search
c better result
o 4575
c local Search
c better result
o 4575
c local Search
c better result
o 4590
c local Search
c better result
o 4595
c local Search
c better result
o 4580
c local Search
c better result
o 4590
c local Search
c better result
o 4595
c local Search
c better result
o 4580
c local Search
c better result
o 4586
c local Search
c better result
o 4585
c local Search
c better result
o 4580
c local Search
c better result
o 4579
c local Search
c better result
o 4590
c local Search
c better result
o 4600
c local Search
c better result
o 4580
c local Search
c better result
o 4586
c local Search
c better result
o 4579
c local Search
c better result
o 4576
c local Search
c better result
o 4605
c local Search
c better result
o 4580
c local Search
c better result
o 4576
c local Search
c better result
o 4582
c local Search
c better result
o 4585
c local Search
c better result
o 4574
c local Search
c better result
o 4578
c local Search
c better result
o 4614
c local Search
c better result
o 4616
c local Search
c better result
o 4587
c local Search
c better result
o 4581
c local Search
c better result
o 4584
c local Search
c better result
o 4588
c local Search
c better result
o 4574
c local Search
c better result
o 4585
c local Search
c better result
o 4578
c local Search
c better result
o 4614
c local Search
c better result
o 4616
c local Search
c better result
o 4587
c local Search
c better result
o 4581
c local Search
c better result
o 4584
c local Search
c better result
o 4574
c local Search
c better result
o 4566
c local Search
c better result
o 4554
c local Search
c better result
o 4554
c local Search
c better result
o 4567
c local Search
c better result
o 4566
c local Search
c better result
o 4563
c local Search
c better result
o 4579
c local Search
c better result
o 4546
c local Search
c better result
o 4563
c local Search
c better result
o 4579
c local Search
c better result
o 4602
c local Search
c better result
o 4583
c local Search
c better result
o 4571
c local Search
c better result
o 4584
c local Search
c better result
o 4570
c local Search
c better result
o 4582
c local Search
c better result
o 4577
c local Search
c better result
o 4583
c local Search
c better result
o 4602
c local Search
c better result
o 4568
c local Search
c better result
o 4579
c local Search
c better result
o 4546
c local Search
c better result
o 4562
c local Search
c better result
o 4566
c local Search
c better result
o 4580
c local Search
c better result
o 4566
c local Search
c better result
o 4570
c local Search
c better result
o 4588
c local Search
c better result
o 4566
c local Search
c better result
o 4566
c local Search
c better result
o 4566
c local Search
c better result
o 4572
c local Search
c better result
o 4572
c local Search
c better result
o 4550
c local Search
c better result
o 4580
c local Search
c better result
o 4557
c local Search
c better result
o 4578
c local Search
c better result
o 4601
c local Search
c better result
o 4601
c local Search
c better result
o 4545
c local Search
c better result
o 4573
c local Search
c better result
o 4588
c local Search
c better result
o 4588
c local Search
c better result
o 4581
c local Search
c better result
o 4606
c local Search
c better result
o 4597
c local Search
c better result
o 4570
c local Search
c better result
o 4550
c local Search
c better result
o 4585
c local Search
c better result
o 4575
c local Search
c better result
o 4522
c local Search
c better result
o 4575
c local Search
c better result
o 4560
c local Search
c better result
o 4575
c local Search
c better result
o 4575
c local Search
c better result
o 4564
c local Search
c better result
o 4584
c local Search
c better result
o 4559
c local Search
c better result
o 4572
c local Search
c better result
o 4601
c local Search
c better result
o 4585
c local Search
c better result
o 4601
c local Search
c better result
o 4601
c local Search
c better result
o 4536
c local Search
c better result
o 4572
c local Search
c better result
o 4536
c local Search
c better result
o 4582
c local Search
c better result
o 4536
c local Search
c better result
o 4536
c local Search
c better result
o 4573
c local Search
c better result
o 4573
c local Search
c better result
o 4574
c local Search
c better result
o 4582
c local Search
c better result
o 4582
c local Search
c better result
o 4555
c local Search
c better result
o 4570
c local Search
c better result
o 4559
c local Search
c better result
o 4561
c local Search
c better result
o 4604
c local Search
c better result
o 4614
c local Search
c better result
o 4614
c local Search
c better result
o 4620
c local Search
c better result
o 4588
c local Search
c better result
o 4574
c local Search
c better result
o 4585
c local Search
c better result
o 4576
c local Search
c better result
o 4614
c local Search
c better result
o 4614
c local Search
c better result
o 4579
c local Search
c better result
o 4605
c local Search
c better result
o 4588
c local Search
c better result
o 4574
c local Search
c better result
o 4585
c local Search
c better result
o 4557
c local Search
c better result
o 4578
c local Search
c better result
o 4547
c local Search
c better result
o 4588
c local Search
c better result
o 4539
c local Search
c better result
o 4585
c local Search
c better result
o 4614
c local Search
c better result
o 4579
c local Search
c better result
o 4615
c local Search
c better result
o 4588
c local Search
c better result
o 4550
c local Search
c better result
o 4567
c local Search
c better result
o 4577
c local Search
c better result
o 4574
c local Search
c better result
o 4566
c local Search
c better result
o 4560
c local Search
c better result
o 4561
c local Search
c better result
o 4543
c local Search
c better result
o 4568
c local Search
c better result
o 4546
c local Search
c better result
o 4570
c local Search
c better result
o 4566
c local Search
c better result
o 4577
c local Search
c better result
o 4567
c local Search
c better result
o 4561
c local Search
c better result
o 4543
c local Search
c better result
o 4568
c local Search
c better result
o 4551
c local Search
c better result
o 4602
c local Search
c better result
o 4590
c local Search
c better result
o 4592
c local Search
c better result
o 4599
c local Search
c better result
o 4602
c local Search
c better result
o 4590
c local Search
c better result
o 4592
c local Search
c better result
o 4589
c local Search
c better result
o 4555
c local Search
c better result
o 4567
c local Search
c better result
o 4558
c local Search
c better result
o 4555
c local Search
c better result
o 4554
c local Search
c better result
o 4560
c local Search
c better result
o 4589
c local Search
c better result
o 4575
c local Search
c better result
o 4624
c local Search
c better result
o 4593
c local Search
c better result
o 4603
c local Search
c better result
o 4623
c local Search
c better result
o 4610
c local Search
c better result
o 4598
c local Search
c better result
o 4618
c local Search
c better result
o 4605
c local Search
c better result
o 4570
c local Search
c better result
o 4564
c local Search
c better result
o 4577
c local Search
c better result
o 4563
c local Search
c better result
o 4559
c local Search
c better result
o 4561
c local Search
c better result
o 4571
c local Search
c better result
o 4581
c local Search
c better result
o 4571
c local Search
c better result
o 4602
c local Search
c better result
o 4590
c local Search
c better result
o 4592
c local Search
c better result
o 4624
c local Search
c better result
o 4593
c local Search
c better result
o 4603
c local Search
c better result
o 4623
c local Search
c better result
o 4610
c local Search
c better result
o 4598
c local Search
c better r