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_130_0002.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_130_0002.txt.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 134 1487 89914
c WARNING: Ubcsat not found.
o 89914
c local Search
c better result
o 434354
c local Search
c better result
o 434309
c local Search
o 76702
c local Search
o 76657
c local Search
c better result
o 434152
c local Search
c better result
o 434107
c local Search
o 76500
c local Search
o 76455
c local Search
c better result
o 434022
c local Search
c better result
o 433977
c local Search
o 76370
c local Search
o 76325
c local Search
c better result
o 434130
c local Search
c better result
o 434130
c local Search
c better result
o 433175
c local Search
c better result
o 433130
c local Search
c better result
o 434247
c local Search
c better result
o 434202
c local Search
c better result
o 432973
c local Search
c better result
o 432928
c local Search
c better result
o 434045
c local Search
c better result
o 434000
c local Search
c better result
o 433900
c local Search
c better result
o 433855
c local Search
c better result
o 434972
c local Search
c better result
o 434927
c local Search
c better result
o 433698
c local Search
c better result
o 433653
c local Search
c better result
o 434770
c local Search
c better result
o 434725
c local Search
c better result
o 433770
c local Search
c better result
o 433725
c local Search
c better result
o 434842
c local Search
c better result
o 434797
c local Search
c better result
o 433568
c local Search
c better result
o 433523
c local Search
c better result
o 434640
c local Search
c better result
o 434595
c local Search
c better result
o 432851
c local Search
c better result
o 432806
c local Search
c better result
o 433923
c local Search
c better result
o 433878
c local Search
c better result
o 432649
c local Search
c better result
o 432604
c local Search
c better result
o 433721
c local Search
c better result
o 433676
c local Search
c better result
o 432721
c local Search
c better result
o 432676
c local Search
c better result
o 433793
c local Search
c better result
o 433748
c local Search
c better result
o 432519
c local Search
c better result
o 432474
c local Search
c better result
o 433591
c local Search
c better result
o 433546
c local Search
c better result
o 434007
c local Search
c better result
o 433962
c local Search
o 76355
c local Search
o 76310
c local Search
c better result
o 433805
c local Search
c better result
o 433760
c local Search
o 76153
c local Search
o 76108
c local Search
c better result
o 433675
c local Search
c better result
o 433630
c local Search
o 76023
c local Search
o 75978
c local Search
o 75945
c local Search
c better result
o 343598
c local Search
c better result
o 343553
c local Search
o 75860
c local Search
o 75815
c local Search
c better result
o 433636
c local Search
c better result
o 433636
c local Search
c better result
o 432681
c local Search
c better result
o 432636
c local Search
c better result
o 433753
c local Search
c better result
o 433708
c local Search
c better result
o 432479
c local Search
c better result
o 432434
c local Search
c better result
o 433551
c local Search
c better result
o 433506
c local Search
c better result
o 433406
c local Search
c better result
o 433361
c local Search
c better result
o 434478
c local Search
c better result
o 434433
c local Search
c better result
o 433204
c local Search
c better result
o 433159
c local Search
c better result
o 434276
c local Search
c better result
o 434231
c local Search
c better result
o 433276
c local Search
c better result
o 433231
c local Search
c better result
o 434348
c local Search
c better result
o 434303
c local Search
c better result
o 433074
c local Search
c better result
o 433029
c local Search
c better result
o 434146
c local Search
c better result
o 434101
c local Search
c better result
o 432357
c local Search
c better result
o 432312
c local Search
c better result
o 433429
c local Search
c better result
o 433384
c local Search
c better result
o 432155
c local Search
c better result
o 432110
c local Search
c better result
o 433227
c local Search
c better result
o 433182
c local Search
c better result
o 432227
c local Search
c better result
o 432182
c local Search
c better result
o 433299
c local Search
c better result
o 433254
c local Search
c better result
o 432025
c local Search
c better result
o 431980
c local Search
c better result
o 433097
c local Search
c better result
o 433052
c local Search
c better result
o 433513
c local Search
c better result
o 433468
c local Search
o 75861
c local Search
o 75816
c local Search
c better result
o 433311
c local Search
c better result
o 433266
c local Search
o 75659
c local Search
o 75614
c local Search
c better result
o 433181
c local Search
c better result
o 433136
c local Search
o 75529
c local Search
o 75484
c local Search
o 75451
c local Search
c better result
o 343104
c local Search
c better result
o 343059
c local Search
o 75366
c local Search
o 75321
c local Search
c better result
o 432888
c local Search
c better result
o 432843
c local Search
o 75236
c local Search
o 75191
c local Search
o 75158
c local Search
c better result
o 342811
c local Search
c better result
o 342766
c local Search
o 75073
c local Search
o 75028
c local Search
o 75022
c local Search
o 74977
c local Search
c better result
o 342662
c local Search
c better result
o 342662
c local Search
o 74969
c local Search
o 74924
c local Search
o 74918
o 74873
c local Search
c better result
o 432462
c local Search
c better result
o 432444
c local Search
c better result
o 432417
c local Search
o 74837
c local Search
o 74810
c local Search
o 74792
c local Search
o 74765
o 74759
o 74732
c local Search
c better result
o 342412
o 74688
c local Search
c better result
o 342367
c local Search
c better result
o 342340
c local Search
o 74674
o 74647
c local Search
o 74629
c local Search
o 74602
c local Search
o 74596
c local Search
o 74578
c local Search
o 74551
c local Search
c better result
o 342236
o 74570
ERROR: Solution verification fails, real_empty = 74539, NB_EMPTY = 74543.
o 74543
ERROR: Solution verification fails, real_empty = 74566, NB_EMPTY = 74525.
c local Search
c better result
o 342263
ERROR: Solution verification fails, real_empty = 74539, NB_EMPTY = 74498.
c local Search
c better result
o 342236
c local Search
c better result
o 433143
c local Search
c better result
o 433116
c local Search
c better result
o 433098
c local Search
c better result
o 433071
c local Search
c better result
o 434215
c local Search
c better result
o 434188
c local Search
c better result
o 434170
o 76305
c local Search
c better result
o 432941
c local Search
c better result
o 432914
c local Search
c better result
o 432896
c local Search
c better result
o 432869
c local Search
c better result
o 434013
c local Search
c better result
o 433986
c local Search
c better result
o 433968
c local Search
c better result
o 433941
c local Search
c better result
o 433013
c local Search
c better result
o 432986
c local Search
c better result
o 432968
c local Search
c better result
o 432941
c local Search
c better result
o 434085
c local Search
c better result
o 434058
c local Search
c better result
o 434040
c local Search
c better result
o 434013
c local Search
c better result
o 432811
c local Search
c better result
o 432784
c local Search
c better result
o 432766
c local Search
c better result
o 432739
c local Search
c better result
o 433883
c local Search
c better result
o 433856
c local Search
c better result
o 433838
c local Search
c better result
o 433811
c local Search
c better result
o 343768
c local Search
c better result
o 343741
c local Search
c better result
o 343723
c local Search
c better result
o 343696
c local Search
o 76030
c local Search
o 76003
o 75985
c local Search
o 75958
c local Search
c better result
o 343566
c local Search
c better result
o 343539
c local Search
c better result
o 343521
c local Search
c better result
o 343494
c local Search
o 75828
c local Search
o 75801
c local Search
o 75783
c local Search
o 75756
c local Search
c better result
o 343436
c local Search
c better result
o 343409
c local Search
c better result
o 343391
c local Search
c better result
o 343364
c local Search
o 75698
c local Search
o 75671
c local Search
o 75653
c local Search
o 756