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_120_0004.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_120_0004.txt.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 121 1360 91661
c WARNING: Ubcsat not found.
o 91661
c local Search
o 78513
c local Search
o 78297
c local Search
o 78133
c local Search
o 78025
c local Search
o 77861
c local Search
o 77728
c local Search
o 77617
c local Search
o 77509
c local Search
o 77345
c local Search
o 77212
c local Search
o 77083
c local Search
o 77046
c local Search
o 76882
c local Search
o 76749
c local Search
o 76620
c local Search
o 76602
c local Search
o 76501
c local Search
o 76438
c local Search
o 76372
o 76309
o 76302
c local Search
o 76194
c local Search
o 76030
c local Search
o 75901
c local Search
o 75776
o 75711
o 75582
c local Search
o 75485
o 75410
o 75313
o 75262
o 75261
c local Search
c better result
o 440466
c local Search
c better result
o 532127
o 76217
ERROR: Solution verification fails, real_empty = 75164, NB_EMPTY = 76116.
c local Search
c better result
o 440466
ERROR: Solution verification fails, real_empty = 75164, NB_EMPTY = 76116.
c local Search
c better result
o 532127
ERROR: Solution verification fails, real_empty = 75265, NB_EMPTY = 76053.
c local Search
c better result
o 440567
ERROR: Solution verification fails, real_empty = 75265, NB_EMPTY = 76053.
o 76053
ERROR: Solution verification fails, real_empty = 75164, NB_EMPTY = 75952.
c local Search
c better result
o 440466
ERROR: Solution verification fails, real_empty = 75164, NB_EMPTY = 75952.
c local Search
c better result
o 532127
ERROR: Solution verification fails, real_empty = 75429, NB_EMPTY = 75945.
c local Search
c better result
o 440731
ERROR: Solution verification fails, real_empty = 75429, NB_EMPTY = 75945.
o 75945
ERROR: Solution verification fails, real_empty = 75328, NB_EMPTY = 75844.
c local Search
c better result
o 440630
ERROR: Solution verification fails, real_empty = 75328, NB_EMPTY = 75844.
o 75844
ERROR: Solution verification fails, real_empty = 75265, NB_EMPTY = 75781.
c local Search
c better result
o 440567
ERROR: Solution verification fails, real_empty = 75265, NB_EMPTY = 75781.
c local Search
c better result
o 532228
ERROR: Solution verification fails, real_empty = 75164, NB_EMPTY = 75680.
c local Search
c better result
o 440466
ERROR: Solution verification fails, real_empty = 75164, NB_EMPTY = 75680.
o 75680
c local Search
c better result
o 440902
o 75600
o 75537
ERROR: Solution verification fails, real_empty = 75600, NB_EMPTY = 75436.
c local Search
c better result
o 440902
ERROR: Solution verification fails, real_empty = 75600, NB_EMPTY = 75436.
c local Search
c better result
o 532563
o 75429
ERROR: Solution verification fails, real_empty = 75600, NB_EMPTY = 75328.
c local Search
c better result
o 440902
ERROR: Solution verification fails, real_empty = 75600, NB_EMPTY = 75328.
c local Search
c better result
o 532563
ERROR: Solution verification fails, real_empty = 75537, NB_EMPTY = 75265.
c local Search
c better result
o 440839
ERROR: Solution verification fails, real_empty = 75537, NB_EMPTY = 75265.
c local Search
c better result
o 532500
ERROR: Solution verification fails, real_empty = 75436, NB_EMPTY = 75164.
c local Search
c better result
o 440738
ERROR: Solution verification fails, real_empty = 75436, NB_EMPTY = 75164.
c local Search
c better result
o 532399
c local Search
c better result
o 441876
c local Search
c better result
o 533537
c local Search
c better result
o 441712
c local Search
c better result
o 533373
c local Search
c better result
o 441604
c local Search
c better result
o 533265
c local Search
c better result
o 441440
c local Search
c better result
o 533101
c local Search
c better result
o 441876
c local Search
c better result
o 533537
c local Search
c better result
o 441712
c local Search
c better result
o 533373
c local Search
c better result
o 441604
c local Search
c better result
o 533265
c local Search
c better result
o 441440
c local Search
c better result
o 533101
c local Search
c better result
o 441003
c local Search
c better result
o 532664
c local Search
c better result
o 440902
c local Search
c better result
o 532563
c local Search
c better result
o 440839
c local Search
c better result
o 532500
c local Search
c better result
o 440738
c local Search
c better result
o 532399
c local Search
c better result
o 440731
c local Search
c better result
o 532392
c local Search
c better result
o 440630
c local Search
c better result
o 532291
c local Search
c better result
o 440567
c local Search
c better result
o 532228
c local Search
c better result
o 440466
c local Search
c better result
o 532127
c local Search
c better result
o 441003
c local Search
c better result
o 532664
c local Search
c better result
o 440902
c local Search
c better result
o 532563
c local Search
c better result
o 440839
c local Search
c better result
o 532500
c local Search
c better result
o 440738
c local Search
c better result
o 532399
c local Search
c better result
o 440731
c local Search
c better result
o 532392
c local Search
c better result
o 440630
c local Search
c better result
o 532291
c local Search
c better result
o 440567
c local Search
c better result
o 532228
c local Search
c better result
o 440466
c local Search
c better result
o 532127
c local Search
c better result
o 441876
c local Search
c better result
o 533537
c local Search
c better result
o 441712
c local Search
c better result
o 533373
c local Search
c better result
o 441604
c local Search
c better result
o 533265
c local Search
c better result
o 441440
c local Search
c better result
o 533101
c local Search
c better result
o 441876
c local Search
c better result
o 533537
c local Search
c better result
o 441712
c local Search
c better result
o 533373
c local Search
c better result
o 441604
c local Search
c better result
o 533265
c local Search
c better result
o 441440
c local Search
c better result
o 533101
c local Search
c better result
o 350602
c local Search
c better result
o 442263
c local Search
c better result
o 350501
c local Search
c better result
o 442162
c local Search
c better result
o 350438
c local Search
c better result
o 442099
c local Search
c better result
o 350337
c local Search
c better result
o 441998
c local Search
c better result
o 350330
c local Search
c better result
o 441991
c local Search
c better result
o 350229
c local Search
c better result
o 441890
c local Search
c better result
o 350166
c local Search
c better result
o 441827
c local Search
c better result
o 350065
c local Search
c better result
o 441726
c local Search
c better result
o 350086
c local Search
c better result
o 441747
c local Search
c better result
o 349985
c local Search
c better result
o 441646
c local Search
c better result
o 349922
c local Search
c better result
o 441583
c local Search
c better result
o 349821
c local Search
c better result
o 441482
c local Search
c better result
o 349814
c local Search
c better result
o 441475
c local Search
c better result
o 349713
c local Search
c better result
o 441374
c local Search
c better result
o 349650
c local Search
c better result
o 441311
c local Search
c better result
o 349549
c local Search
c better result
o 441210
c local Search
c better result
o 350602
c local Search
c better result
o 442263
c local Search
c better result
o 350501
c local Search
c better result
o 442162
c local Search
c better result
o 350438
c local Search
c better result
o 442099
c local Search
c better result
o 350337
c local Search
c better result
o 441998
c local Search
c better result
o 350330
c local Search
c better result
o 441991
c local Search
c better result
o 350229
c local Search
c better result
o 441890
c local Search
c better result
o 350166
c local Search
c better result
o 441827
c local Search
c better result
o 350065
c local Search
c better result
o 441726
c local Search
c better result
o 350086
c local Search
c better result
o 441747
c local Search
c better result
o 349985
c local Search
c better result
o 441646
c local Search
c better result
o 349922
c local Search
c better result
o 441583
c local Search
c better result
o 349821
c local Search
c better result
o 441482
c local Search
c better result
o 349814
c local Search
c better result
o 441475
c local Search
c better result
o 349713
c local Search
c better result
o 441374
c local Search
c better result
o 349650
c local Search
c better result
o 441311
c local Search
c better result
o 349549
c local Search
c better result
o 441210
c local Search
c better result
o 350959
c local Search
c better result
o 442620
c local Search
c better result
o 350795
c local Search
c better result
o 442456
c local Search
c better result
o 350687
c local Search
c better result
o 442348
c local Search
c better result
o 350523
c local Search
c better result
o 442184
c local Search
c better result
o 350959
c local Search
c better result
o 442620
c local Search
c better result
o 350795
c local Search
c better result
o 442456
c local Search
c better result
o 350687
c local Search
c better result
o 442348
c local Search
c better result
o 350523
c local Search
c better result
o 442184
c local Search
c better result
o 350086
c local Search
c better result
o 441747
c local Search
c better result
o 349985
c local Search
c better result
o 441646
c local Search
c better result
o 349922
c local Search
c better result
o 441583
c local Search
c better result
o 349821
c local Search
c better result
o 441482
c local Search
c better result
o 349814
c local Search
c better result
o 441475
c local Search
c better result
o 349713
c local Search
c better result
o 441374
c local Search
c better result
o 349650
c local Search
c better result
o 441311
c local Search
c better result
o 349549
c local Search
c better result
o 441210
c local Search
c better result
o 350086
c local Search
c better result
o 441747
c local Search
c better result
o 349985
c local Search
c better result
o 441646
c local Search
c better result
o 349922
c local Search
c better result
o 441583
c local Search
c better result
o 349821
c local Search
c better result
o 441482
c local Search
c better result
o 349814
c local Search
c better result
o 441475
c local Search
c better result
o 349713
c local Search
c better result
o 441374
c local Search
c better result
o 349650
c local Search
c better result
o 441311
c local Search
c better result
o 349549
c local Search
c better result
o 441210
c local Search
c better result
o 350959
c local Search
c better result
o 442620
c local Search
c better result
o 350795
c local Search
c better result
o 442456
c local Search
c better result
o 350687
c local Search
c better result
o 442348
c local Search
c better result
o 350523
c local Search
c better result
o 442184
c local Search
c better result
o 350959
c local Search
c better result
o 442620
c local Search
c better result
o 350795
c local Search
c better result
o 442456
c local Search
c better result
o 350687
c local Search
c better result
o 442348
c local Search
c better result
o 350523
c local Search
c better result
o 442184
c local Search
c better result
o 442491
c local Search
c better result
o 534152
c local Search
c better result
o 442390
c local Search
c better result
o 534051
c local Search
c better result
o 442327
c local Search
c better result
o 533988
c local Search
c better result
o 442226
c local Search
c better result
o 533887
c local Search
c better result
o 442219
c local Search
c better result
o 533880
c local Search
c better result
o 442118
c local Search
c better result
o 533779
c local Search
c better result
o 442055
c local Search
c better result
o 533716
c local Search
c better result
o 441954
c local Search
c better result
o 533615
c local Search
c better result
o 441975
c local Search
c better result
o 533636
c local Search
c better result
o 441874
c local Search
c better result
o 533535
c local Search
c better result
o 441811
c local Search
c better result
o 533472
c local Search
c better result
o 441710
c local Search
c better result
o 533371
c local Search
c better result
o 441703
c local Search
c better result
o 533364
c local Search
c better result
o 441602
c local Search
c better result
o 533263
c local Search
c better result
o 441539
c local Search
c better result
o 533200
c local Search
c better result
o 441438
c local Search
c better result
o 533099
c local Search
c better result
o 442491
c local Search
c better result
o 534152
c local Search
c better