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_RAMSEY_ram_k3_n9.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/RAMSEY/ram_k3_n9.ra1.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 36 210 0
c WARNING: Ubcsat not found.
o 111270
c local Search
c better result
o 1199
c local Search
c better result
o 956
c local Search
c better result
o 1199
c local Search
c better result
o 1199
c local Search
c better result
o 1076
c local Search
c better result
o 1076
c local Search
c better result
o 1262
c local Search
c better result
o 1199
c local Search
c better result
o 1503
c local Search
c better result
o 1395
c local Search
c better result
o 1262
c local Search
c better result
o 1395
c local Search
c better result
o 2264
c local Search
c better result
o 966
c local Search
c better result
o 966
c local Search
c better result
o 1694
c local Search
c better result
o 2329
c local Search
c better result
o 1949
c local Search
c better result
o 1949
c local Search
c better result
o 1883
c local Search
c better result
o 1316
c local Search
c better result
o 1881
c local Search
c better result
o 2261
c local Search
c better result
o 1723
c local Search
c better result
o 1883
c local Search
c better result
o 1265
c local Search
c better result
o 1881
c local Search
c better result
o 1791
c local Search
c better result
o 1791
c local Search
c better result
o 2068
c local Search
c better result
o 1460
c local Search
o 559
c local Search
c better result
o 1651
c local Search
c better result
o 883
c local Search
o 772
c local Search
o 634
c local Search
o 562
c local Search
o 497
c local Search
c better result
o 1198
ERROR: Solution verification fails, real_empty = 771, NB_EMPTY = 1144.
c local Search
c better result
o 1296
c local Search
c better result
o 1883
c local Search
c better result
o 1030
c local Search
c better result
o 1651
c local Search
c better result
o 1076
c local Search
c better result
o 1076
c local Search
c better result
o 1883
c local Search
c better result
o 1883
c local Search
c better result
o 1395
c local Search
c better result
o 1064
c local Search
c better result
o 1239
c local Search
c better result
o 1350
c local Search
o 593
c local Search
o 57
c local Search
o 34
c local Search
o 23
c local Search
o 17
c local Search
o 11
c local Search
o 8
c local Search
o 7
c Learned clauses = 0
c NB_MONO= 436, NB_BRANCHE= 12649, NB_BACK= 7513 
s OPTIMUM FOUND
c Optimal Solution = 7
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 
0.332u 0.012s 0:00.36 94.4%	0+0k 0+0io 0pf+0w