Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-LSW_Power-wms_crafted-_home_maxsat_benchmarks_wms_crafted_WMAXCUT_DIMACS_MOD_c-fat200-5.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/WMAXCUT/DIMACS_MOD/c-fat200-5.clq.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 40 646 0
c WARNING: Ubcsat not found.
o 3706
c local Search
c better result
o 713
c local Search
c better result
o 685
c local Search
o 674
c local Search
c better result
o 667
c local Search
c better result
o 691
c local Search
o 664
c local Search
c better result
o 667
c local Search
c better result
o 680
c local Search
c better result
o 680
c local Search
c better result
o 668
c local Search
c better result
o 662
c local Search
c better result
o 662
c local Search
c better result
o 676
c local Search
c better result
o 667
c local Search
c better result
o 670
c local Search
c better result
o 666
c local Search
c better result
o 662
c local Search
c better result
o 670
c local Search
c better result
o 662
c local Search
c better result
o 657
c local Search
c better result
o 662
c local Search
c better result
o 678
c local Search
c better result
o 678
c local Search
c better result
o 643
c local Search
c better result
o 649
c local Search
c better result
o 649
c local Search
c better result
o 655
c local Search
c better result
o 662
c local Search
c better result
o 655
c local Search
c better result
o 661
c local Search
c better result
o 655
c local Search
c better result
o 655
c local Search
c better result
o 655
c local Search
c better result
o 655
c local Search
c better result
o 655
c local Search
c better result
o 676
c local Search
c better result
o 661
c local Search
c better result
o 661
c local Search
c better result
o 661
c local Search
c better result
o 676
c local Search
c better result
o 676
c local Search
c better result
o 682
c local Search
c better result
o 661
c local Search
c better result
o 655
c local Search
o 635
c local Search
o 628
c local Search
c better result
o 643
c local Search
o 625
c local Search
c better result
o 631
c local Search
o 620
c local Search
o 613
c Learned clauses = 0
c NB_MONO= 68, NB_BRANCHE= 597, NB_BACK= 304 
s OPTIMUM FOUND
c Optimal Solution = 613
v -1 -2 3 4 5 -6 -7 -8 9 10 11 12 -13 -14 -15 -16 17 18 19 -20 -21 -22 -23 24 25 26 -27 -28 -29 -30 31 32 33 34 -35 -36 37 38 39 40 
0.466u 0.012s 0:00.51 92.1%	0+0k 0+0io 0pf+0w