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_n11.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/RAMSEY/ram_k3_n11.ra1.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 55 495 0
c WARNING: Ubcsat not found.
o 252869
c local Search
c better result
o 3678
c local Search
c better result
o 2374
c local Search
c better result
o 2529
c local Search
c better result
o 2266
c local Search
c better result
o 3485
c local Search
c better result
o 3497
c local Search
c better result
o 3472
c local Search
c better result
o 3452
c local Search
c better result
o 3497
c local Search
c better result
o 3695
c local Search
c better result
o 3863
c local Search
c better result
o 3395
c local Search
c better result
o 3847
c local Search
c better result
o 3324
c local Search
c better result
o 3847
c local Search
c better result
o 3671
c local Search
c better result
o 3324
c local Search
c better result
o 3863
c local Search
c better result
o 3400
c local Search
c better result
o 3461
c local Search
c better result
o 4200
c local Search
c better result
o 3454
c local Search
c better result
o 4123
c local Search
c better result
o 3207
c local Search
c better result
o 3373
c local Search
c better result
o 3274
c local Search
c better result
o 3253
c local Search
c better result
o 3253
c local Search
c better result
o 3485
c local Search
c better result
o 3253
c local Search
c better result
o 3162
c local Search
c better result
o 3162
c local Search
c better result
o 3621
c local Search
c better result
o 3253
c local Search
c better result
o 3274
c local Search
c better result
o 3232
c local Search
c better result
o 3460
c local Search
c better result
o 3460
c local Search
c better result
o 3019
c local Search
c better result
o 3863
c local Search
c better result
o 3495
c local Search
c better result
o 3495
c local Search
c better result
o 3495
c local Search
c better result
o 3489
c local Search
c better result
o 3447
c local Search
c better result
o 3324
c local Search
c better result
o 3566
c local Search
c better result
o 3451
c local Search
c better result
o 3380
c local Search
c better result
o 2778
c local Search
c better result
o 4810
c local Search
c better result
o 4680
c local Search
c better result
o 4722
c local Search
c better result
o 4680
c local Search
c better result
o 5405
c local Search
c better result
o 5405
c local Search
c better result
o 4425
c local Search
c better result
o 3303
c local Search
c better result
o 4220
c local Search
c better result
o 3687
c local Search
c better result
o 3728
c local Search
c better result
o 5228
c local Search
c better result
o 3728
c local Search
o 3583
c local Search
c better result
o 4410
c local Search
c better result
o 5132
c local Search
c better result
o 3726
c local Search
c better result
o 4746
c local Search
c better result
o 5015
c local Search
c better result
o 3325
c local Search
c better result
o 3230
c local Search
c better result
o 2287
c local Search
c better result
o 4680
c local Search
o 2207
c local Search
c better result
o 3633
c local Search
c better result
o 4939
c local Search
c better result
o 3385
c local Search
c better result
o 5267
c local Search
c better result
o 4200
c local Search
c better result
o 4200
c local Search
c better result
o 3385
c local Search
c better result
o 3385
c local Search
c better result
o 5113
c local Search
c better result
o 5113
c local Search
c better result
o 5267
c local Search
c better result
o 3923
c local Search
c better result
o 3385
c local Search
c better result
o 2778
c local Search
c better result
o 3621
c local Search
c better result
o 3621
c local Search
c better result
o 3621
c local Search
c better result
o 3342
c local Search
c better result
o 4939
c local Search
c better result
o 5267
c local Search
c better result
o 3190
c local Search
c better result
o 4259
c local Search
c better result
o 5260
c local Search
c better result
o 5260
c local Search
c better result
o 5611
c local Search
c better result
o 5611
c local Search
c better result
o 3190
c local Search
c better result
o 4810
c local Search
c better result
o 4318
c local Search
c better result
o 3876
c local Search
c better result
o 3554
c local Search
c better result
o 3918
c local Search
c better resul