Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-LSW_Power-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_AUCTIONS_AUC_PATHS_cat_paths_60_160_0000.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_160_0000.txt.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 160 2299 127579
c WARNING: Ubcsat not found.
o 127579
c local Search
c better result
o 236823
c local Search
c better result
o 236994
c local Search
c better result
o 236804
c local Search
c better result
o 236975
c local Search
c better result
o 237338
c local Search
c better result
o 237509
c local Search
c better result
o 237319
c local Search
c better result
o 237490
c local Search
c better result
o 236599
c local Search
c better result
o 236770
c local Search
c better result
o 236580
c local Search
c better result
o 236751
c local Search
c better result
o 237114
c local Search
c better result
o 237285
c local Search
c better result
o 237095
c local Search
c better result
o 237266
c local Search
c better result
o 235367
c local Search
c better result
o 235538
c local Search
c better result
o 235348
c local Search
c better result
o 235519
c local Search
c better result
o 236216
c local Search
c better result
o 236387
c local Search
c better result
o 236197
c local Search
c better result
o 236368
c local Search
c better result
o 235143
c local Search
c better result
o 235314
c local Search
c better result
o 235124
c local Search
c better result
o 235295
c local Search
c better result
o 235992
c local Search
c better result
o 236163
c local Search
c better result
o 235973
c local Search
c better result
o 236144
c local Search
c better result
o 236743
c local Search
c better result
o 236914
c local Search
c better result
o 236724
c local Search
c better result
o 236895
c local Search
c better result
o 237258
c local Search
c better result
o 237429
c local Search
c better result
o 237239
c local Search
c better result
o 237410
c local Search
c better result
o 236519
c local Search
c better result
o 236690
c local Search
c better result
o 236500
c local Search
c better result
o 236671
c local Search
c better result
o 237034
c local Search
c better result
o 237205
c local Search
c better result
o 237015
c local Search
c better result
o 237186
c local Search
c better result
o 235287
c local Search
c better result
o 235458
c local Search
c better result
o 235268
c local Search
c better result
o 235439
c local Search
c better result
o 236136
c local Search
c better result
o 236307
c local Search
c better result
o 236117
c local Search
c better result
o 236288
c local Search
c better result
o 235063
c local Search
c better result
o 235234
c local Search
c better result
o 235044
c local Search
c better result
o 235215
c local Search
c better result
o 235912
c local Search
c better result
o 236083
c local Search
c better result
o 235893
c local Search
c better result
o 236064
c local Search
c better result
o 236167
c local Search
c better result
o 236338
c local Search
c better result
o 236148
c local Search
c better result
o 236319
c local Search
c better result
o 236682
c local Search
c better result
o 236853
c local Search
c better result
o 236663
c local Search
c better result
o 236834
c local Search
c better result
o 235943
c local Search
c better result
o 236114
c local Search
c better result
o 235924
c local Search
c better result
o 236095
c local Search
c better result
o 236458
c local Search
c better result
o 236629
c local Search
c better result
o 236439
c local Search
c better result
o 236610
c local Search
c better result
o 234711
c local Search
c better result
o 234882
c local Search
c better result
o 234692
c local Search
c better result
o 234863
c local Search
c better result
o 235560
c local Search
c better result
o 235731
c local Search
c better result
o 235541
c local Search
c better result
o 235712
c local Search
c better result
o 234487
c local Search
c better result
o 234658
c local Search
c better result
o 234468
c local Search
c better result
o 234639
c local Search
c better result
o 235336
c local Search
c better result
o 235507
c local Search
c better result
o 235317
c local Search
c better result
o 235488
c local Search
c better result
o 236087
c local Search
c better result
o 236258
c local Search
c better result
o 236068
c local Search
c better result
o 236239
c local Search
c b