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_110_0005.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_110_0005.txt.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 113 1779 94302
c WARNING: Ubcsat not found.
o 94302
c local Search
c better result
o 269313
c local Search
c better result
o 175011
c local Search
c better result
o 270179
c local Search
c better result
o 175877
c local Search
c better result
o 269313
c local Search
c better result
o 175011
c local Search
c better result
o 270179
c local Search
c better result
o 175877
c local Search
c better result
o 363416
c local Search
c better result
o 269114
c local Search
c better result
o 364282
c local Search
c better result
o 269980
c local Search
c better result
o 363416
c local Search
c better result
o 269114
c local Search
c better result
o 364282
c local Search
c better result
o 269980
c local Search
c better result
o 269313
c local Search
c better result
o 175011
c local Search
c better result
o 269313
c local Search
c better result
o 175011
c local Search
c better result
o 363416
c local Search
c better result
o 269114
c local Search
c better result
o 363416
c local Search
c better result
o 269114
c local Search
c better result
o 269303
c local Search
c better result
o 175001
c local Search
c better result
o 270169
c local Search
c better result
o 175867
c local Search
c better result
o 269303
c local Search
c better result
o 175001
c local Search
c better result
o 270169
c local Search
c better result
o 175867
c local Search
c better result
o 363406
c local Search
c better result
o 269104
c local Search
c better result
o 364272
c local Search
c better result
o 269970
c local Search
c better result
o 363406
c local Search
c better result
o 269104
c local Search
c better result
o 364272
c local Search
c better result
o 269970
c local Search
c better result
o 269303
c local Search
c better result
o 175001
c local Search
c better result
o 269303
c local Search
c better result
o 175001
c local Search
c better result
o 363406
c local Search
c better result
o 269104
c local Search
c better result
o 363406
c local Search
c better result
o 269104
c local Search
c better result
o 269129
c local Search
c better result
o 174827
c local Search
c better result
o 269995
c local Search
c better result
o 175693
c local Search
c better result
o 269129
c local Search
c better result
o 174827
c local Search
c better result
o 269995
c local Search
c better result
o 175693
c local Search
c better result
o 363232
c local Search
c better result
o 268930
c local Search
c better result
o 364098
c local Search
c better result
o 269796
c local Search
c better result
o 363232
c local Search
c better result
o 268930
c local Search
c better result
o 364098
c local Search
c better result
o 269796
c local Search
c better result
o 269129
c local Search
c better result
o 174827
c local Search
c better result
o 269129
c local Search
c better result
o 174827
c local Search
c better result
o 363232
c local Search
c better result
o 268930
c local Search
c better result
o 363232
c local Search
c better result
o 268930
c local Search
c better result
o 269119
c local Search
c better result
o 174817
c local Search
c better result
o 269985
c local Search
c better result
o 175683
c local Search
c better result
o 269119
c local Search
c better result
o 174817
c local Search
c better result
o 269985
c local Search
c better result
o 175683
c local Search
c better result
o 363222
c local Search
c better result
o 268920
c local Search
c better result
o 364088
c local Search
c better result
o 269786
c local Search
c better result
o 363222
c local Search
c better result
o 268920
c local Search
c better result
o 364088
c local Search
c better result
o 269786
c local Search
c better result
o 269119
c local Search
c better result
o 174817
c local Search
c better result
o 269119
c local Search
c better result
o 174817
c local Search
c better result
o 363222
c local Search
c better result
o 268920
c local Search
c better result
o 363222
c local Search
c better result
o 268920
c local Search
c better result
o 269313
c local Search
c better result
o 175011
c local Search
c better result
o 269313
c local Search
c better result
o 175011
c local Search
c better result
o 363416
c local Search
c better result
o 269114
c local Search
c better result
o 363416
c local Search
c better result
o 269114
c local Search
c better result
o 269303
c local Search
c better result
o 175001
c local Search
c better result
o 269303
c local Search
c better result
o 175001
c local Search
c better result
o 363406
c local Search
c better result
o 269104
c local Search
c better result
o 363406
c local Search
c better result
o 269104
c local Search
c better result
o 269129
c local Search
c better result
o 174827
c local Search
c better result
o 269129
c local Search
c better result
o 174827
c local Search
c better result
o 363232
c local Search
c better result
o 268930
c local Search
c better result
o 363232
c local Search
c better result
o 268930
c local Search
c better result
o 269119
c local Search
c better result
o 174817
c local Search
c better result
o 269119
c local Search
c better result
o 174817
c local Search
c better result
o 363222
c local Search
c better result
o 268920
c local Search
c better result
o 363222
c local Search
c better result
o 268920
c local Search
c better result
o 268849
c local Search
c better result
o 174547
c local Search
c better result
o 269715
c local Search
c better result
o 175413
c local Search
c better result
o 268849
c local Search
c better result
o 174547
c local Search
c better result
o 269715
c local Search
c better result
o 175413
c local Search
c better result
o 362952
c local Search
c better result
o 268650
c local Search
c better result
o 363818
c local Search
c better result
o 269516
c local Search
c better result
o 362952
c local Search
c better result
o 268650
c local Search
c better result
o 363818
c local Search
c better result
o 269516
c local Search
c better result
o 268849
c local Search
c better result
o 174547
c local Search
c better result
o 268849
c local Search
c better result
o 174547
c local Search
c better result
o 362952
c local Search
c better result
o 268650
c local Search
c better result
o 362952
c local Search
c better result
o 268650
c local Search
c better result
o 268839
c local Search
c better result
o 174537
c local Search
c better result
o 269705
c local Search
c better result
o 175403
c local Search
c better result
o 268839
c local Search
c better result
o 174537
c local Search
c better result
o 269705
c local Search
c better result
o 175403
c local Search
c better result
o 362942
c local Search
c better result
o 268640
c local Search
c better result
o 363808
c local Search
c better result
o 269506
c local Search
c better result
o 362942
c local Search
c better result
o 268640
c local Search
c better result
o 363808
c local Search
c better result
o 269506
c local Search
c better result
o 268839
c local Search
c better result
o 174537
c local Search
c better result
o 268839
c local Search
c better result
o 174537
c local Search
c better result
o 362942
c local Search
c better result
o 268640
c local Search
c better result
o 362942
c local Search
c better result
o 268640
c local Search
c better result
o 268665
c local Search
c better result
o 174363
c local Search
c better result
o 269531
c local Search
c better result
o 175229
c local Search
c better result
o 268665
c local Search
c better result
o 174363
c local Search
c better result
o 269531
c local Search
c better result
o 175229
c local Search
c better result
o 362768
c local Search
c better result
o 268466
c local Search
c better result
o 363634
c local Search
c better result
o 269332
c local Search
c better result
o 362768
c local Search
c better result
o 268466
c local Search
c better result
o 363634
c local Search
c better result
o 269332
c local Search
c better result
o 268665
c local Search
c better result
o 174363
c local Search
c better result
o 268665
c local Search
c better result
o 174363
c local Search
c better result
o 362768
c local Search
c better result
o 268466
c local Search
c better result
o 362768
c local Search
c better result
o 268466
c local Search
c better result
o 268655
c local Search
c better result
o 174353
c local Search
c better result
o 269521
c local Search
c better result
o 175219
c local Search
c better result
o 268655
c local Search
c better result
o 174353
c local Search
c better result
o 269521
c local Search
c better result
o 175219
c local Search
c better result
o 362758
c local Search
c better result
o 268456
c local Search
c better result
o 363624
c local Search
c better result
o 269322
c local Search
c better result
o 362758
c local Search
c better result
o 268456
c local Search
c better result
o 363624
c local Search
c better result
o 269322
c local Search
c better result
o 268655
c local Search
c better result
o 174353
c local Search
c better result
o 268655
c local Search
c better result
o 174353
c local Search
c better result
o 362758
c local Search
c better result
o 268456
c local Search
c better result
o 362758
c local Search
c better result
o 268456
c local Search
c better result
o 268849
c local Search
c better result
o 174547
c local Search
c better result
o 268849
c local Search
c better result
o 174547
c local Search
c better result
o 362952
c local Search
c better result
o 268650
c local Search
c better result
o 362952
c local Search
c better result
o 268650
c local Search
c better result
o 268839
c local Search
c better result
o 174537
c local Search
c better result
o 268839
c local Search
c better result
o 174537
c local Search
c better result
o 362942
c local Search
c better result
o 268640
c local Search
c better result
o 362942
c local Search
c better result
o 268640
c local Search
c better result
o 268665
c local Search
c better result
o 174363
c local Search
c better result
o 268665
c local Search
c better result
o 174363
c local Search
c better result
o 362768
c local Search
c better result
o 268466
c local Search
c better result
o 362768
c local Search
c better result
o 268466
c local Search
c better result
o 268655
c local Search
c better result
o 174353
c local Search
c better result
o 268655
c local Search
c better result
o 174353
c local Search
c better result
o 362758
c local Search
c better result
o 268456
c local Search
c better result
o 362758
c local Search
c better result
o 268456
c local Search
c better result
o 269313
c local Search
c better result
o 175011
c local Search
o 82483
c local Search
c better result
o 363416
c local Search
c better result
o 269114
c local Search
o 82284
c local Search
c better result
o 363406
c local Search
c better result
o 269104
c local Search
o 82274
c local Search
c better result
o 363232
c local Search
c better result
o 268930
c local Search
o 82100
c local Search
c better result
o 363222
c local Search
c better result
o 268920
c local Search
o 82090
c local Search
c better result
o 268849
c local Search
c better result
o 174547
c local Search
o 82019
c local Search
c better result
o 362952
c local Search
c better result
o 268650
c local Search
o 81820
c local Search
c better result
o 362942
c local Search
c better result
o 268640
c local Search
o 81810
c local Search
c better result
o 362768
c local Search
c better result
o 268466
c local Search
o 81636
c local Search
c better result
o 362758
c local Search
c better result
o 268456
c local Search
o 81626
c local Search
c better result
o 362627
c local Search
c better result
o 268325
c local Search
o 81495
c local Search
c better result
o 362617
c local Search
c better result
o 268315
c local Search
o 81485
c local Search
c better result
o 362443
c local Search
c better result
o 268141
c local Search
o 81311
c local Search
c better result
o 362433
c local Search
c better result
o 268131
c local Search
o 81301
c local Search
c better result
o 362322
c local Search
c better result
o 268020
c local Search
o 81190
c local Search
c better result
o 362312
c local Search
c better result
o 268010
c local Search
o 81180
c local Search
c better result
o 267939
c local Search
c better result
o 173637
c local Search
o 81109
c local Search
c better result
o 362042
c local Search
c better result
o 267740
c local Search
o 80910
c local Search
c better result
o 362032
c local Search
c better result
o 267730
c local Search
o 80900
c local Search