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_140_0000.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_140_0000.txt.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 141 2134 120787
c WARNING: Ubcsat not found.
o 120787
c local Search
c better result
o 342132
c local Search
c better result
o 342132
c local Search
c better result
o 341758
c local Search
c better result
o 341758
c local Search
c better result
o 462852
c local Search
c better result
o 462852
c local Search
c better result
o 462478
c local Search
c better result
o 462478
c local Search
c better result
o 342041
c local Search
c better result
o 342041
c local Search
c better result
o 341667
c local Search
c better result
o 341667
c local Search
c better result
o 462761
c local Search
c better result
o 462761
c local Search
c better result
o 462387
c local Search
c better result
o 462387
c local Search
c better result
o 342078
c local Search
c better result
o 342078
c local Search
c better result
o 341704
c local Search
c better result
o 341704
c local Search
c better result
o 462798
c local Search
c better result
o 462798
c local Search
c better result
o 462424
c local Search
c better result
o 462424
c local Search
c better result
o 341987
c local Search
c better result
o 341987
c local Search
c better result
o 341613
c local Search
c better result
o 341613
c local Search
c better result
o 462707
c local Search
c better result
o 462707
c local Search
c better result
o 462333
c local Search
c better result
o 462333
c local Search
o 102804
c local Search
o 102430
c local Search
o 102363
c local Search
o 102339
c local Search
o 102272
c local Search
o 102218
o 102208
c local Search
o 102154
c local Search
c better result
o 342024
c local Search
c better result
o 342024
o 102351
ERROR: Solution verification fails, real_empty = 102044, NB_EMPTY = 101977.
c local Search
c better result
o 342024
ERROR: Solution verification fails, real_empty = 102044, NB_EMPTY = 101977.
c local Search
c better result
o 342024
c local Search
c better result
o 342307
c local Search
c better result
o 342307
c local Search
c better result
o 341933
c local Search
c better result
o 341933
c local Search
c better result
o 463027
c local Search
c better result
o 463027
c local Search
c better result
o 462653
c local Search
c better result
o 462653
c local Search
c better result
o 342344
c local Search
c better result
o 342344
c local Search
c better result
o 341970
c local Search
c better result
o 341970
c local Search
c better result
o 463064
c local Search
c better result
o 463064
c local Search
c better result
o 462690
c local Search
c better result
o 462690
c local Search
c better result
o 342253
c local Search
c better result
o 342253
c local Search
c better result
o 341879
c local Search
c better result
o 341879
c local Search
c better result
o 462973
c local Search
c better result
o 462973
c local Search
c better result
o 462599
c local Search
c better result
o 462599
c local Search
c better result
o 342146
c local Search
c better result
o 341772
c local Search
c better result
o 462866
c local Search
c better result
o 462492
c local Search
c better result
o 342055
c local Search
c better result
o 341681
c local Search
c better result
o 462775
c local Search
c better result
o 462401
c local Search
c better result
o 342092
c local Search
c better result
o 341718
c local Search
c better result
o 462812
c local Search
c better result
o 462438
c local Search
c better result
o 342001
c local Search
c better result
o 341627
c local Search
c better result
o 462721
c local Search
c better result
o 462347
c local Search
o 102818
c local Search
o 102444
c local Search
o 102377
c local Search
o 102353
c local Search
o 102286
c local Search
o 102232
c local Search
o 102222
c local Search
o 102168
c local Search
c better result
o 342038
c local Search
c better result
o 463132
c local Search
c better result
o 462758
o 102341
ERROR: Solution verification fails, real_empty = 101991, NB_EMPTY = 101967.
c local Search
c better result
o 462758
ERROR: Solution verification fails, real_empty = 102365, NB_EMPTY = 102274.
c local Search
c better result
o 463132
ERROR: Solution verification fails, real_empty = 101991, NB_EMPTY = 101900.
c local Search
c better result
o 462758
c local Search
c better result
o 342358
c local Search
c better result
o 341984
c local Search
c better result
o 463078
c local Search
c better result
o 462704
c local Search
c better result
o 342267
c local Search
c better result
o 341893
c local Search
c better result
o 462987
c local Search
c better result
o 462613
c local Search
o 102068
c local Search
o 101694
c local Search
o 101627
c local Search
o 101603
c local Search
o 101536
c local Search
o 101482
c local Search
c better result
o 220474
c local Search
c better result
o 220474
c local Search
c better result
o 341568
c local Search
c better result
o 341568
c local Search
c better result
o 341194
c local Search
c better result
o 341194
c local Search
c better result
o 220757
c local Search
c better result
o 220757
c local Search
c better result
o 220383
c local Search
c better result
o 220383
c local Search
c better result
o 341477
c local Search
c better result
o 341477
c local Search
c better result
o 341103
c local Search
c better result
o 341103
c local Search
c better result
o 220794
c local Search
c better result
o 220794
c local Search
c better result
o 220420
c local Search
c better result
o 220420
c local Search
c better result
o 341514
c local Search
c better result
o 341514
c local Search
c better result
o 341140
c local Search
c better result
o 341140
c local Search
c better result
o 220703
c local Search
c better result
o 220703
c local Search
c better result
o 220329
c local Search
c better result
o 220329
c local Search
c better result
o 341423
c local Search
c better result
o 341423
c local Search
c better result
o 341049
c local Search
c better result
o 341049
c local Search
o 102307
c local Search
o 101933
o 101866
c local Search
o 101842
c local Search
o 101775
c local Search
o 101721
c local Search
o 101711
c local Search
o 101657
c local Search
c better result
o 220740
c local Search
c better result
o 220740
o 101854
ERROR: Solution verification fails, real_empty = 101547, NB_EMPTY = 101480.
o 101480
c local Search
c better result
o 220649
o 101456
c local Search
c better result
o 341369
c local Search
c better result
o 341369
c local Search
c better result
o 221060
c local Search
c better result
o 221060
c local Search
c better result
o 220686
c local Search
c better result
o 220686
c local Search
c better result
o 341780
c local Search
c better result
o 341780
c local Search
c better result
o 341406
c local Search
c better result
o 341406
c local Search
c better result
o 220969
c local Search
c better result
o 220969
c local Search
c better result
o 220595
c local Search
c better result
o 220595
c local Search
c better result
o 341689
c local Search
c better result
o 341689
c local Search
c better result
o 341315
c local Search
c better result
o 341315
c local Search
c better result
o 220862
c local Search
c better result
o 220488
c local Search
c better result
o 341582
c local Search
c better result
o 341208
c local Search
c better result
o 220771
c local Search
c better result
o 220397
c local Search
c better result
o 341491
c local Search
c better result
o 341117
c local Search
c better result
o 220808
c local Search
c better result
o 220434
c local Search
c better result
o 341528
c local Search
c better result
o 341154
c local Search
c better result
o 220717
c local Search
c better result
o 220343
c local Search
c better result
o 341437
c local Search
c better result
o 341063
c local Search
o 102321
c local Search
o 101947
c local Search
o 101880
c local Search
o 101856
c local Search
o 101789
c local Search
o 101735
c local Search
o 101725
c local Search
o 101671
o 101561
c local Search
c better result
o 341474
c local Search
c better result
o 221037
c local Search
c better result
o 220663
c local Search
c better result
o 341757
c local Search
c better result
o 341383
c local Search
c better result
o 221074
o 101507
c local Search
c better result
o 341420
c local Search
c better result
o 220983
c local Search
c better result
o 220609
c local Search
c better result
o 341703
c local Search
c better result
o