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_0000.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_120_0000.txt.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 123 1228 97522
c WARNING: Ubcsat not found.
o 97522
c local Search
c better result
o 567691
c local Search
c better result
o 567691
c local Search
c better result
o 567504
c local Search
c better result
o 567504
c local Search
c better result
o 567539
c local Search
c better result
o 567539
c local Search
c better result
o 567352
c local Search
c better result
o 567352
c local Search
c better result
o 567105
c local Search
c better result
o 567105
c local Search
c better result
o 566918
c local Search
c better result
o 566918
c local Search
c better result
o 566953
c local Search
c better result
o 566953
c local Search
c better result
o 566766
c local Search
c better result
o 566766
c local Search
o 82548
c local Search
o 82361
c local Search
o 82209
c local Search
o 81962
o 81775
c local Search
o 81623
c local Search
c better result
o 567245
c local Search
c better result
o 567245
c local Search
c better result
o 567280
c local Search
c better result
o 567280
c local Search
c better result
o 567093
c local Search
c better result
o 567093
c local Search
c better result
o 566846
c local Search
c better result
o 566846
c local Search
c better result
o 566659
c local Search
c better result
o 566659
c local Search
c better result
o 566694
c local Search
c better result
o 566694
c local Search
c better result
o 566507
c local Search
c better result
o 566507
c local Search
o 82289
c local Search
o 82102
c local Search
o 81950
c local Search
o 81703
c local Search
o 81516
c local Search
o 81364
o 81193
c local Search
c better result
o 566668
c local Search
c better result
o 566668
c local Search
o 82450
c local Search
o 82263
c local Search
o 82111
c local Search
o 81864
c local Search
o 81677
o 81525
c local Search
c better result
o 567147
c local Search
c better result
o 567147
c local Search
c better result
o 567182
c local Search
c better result
o 567182
c local Search
c better result
o 566995
c local Search
c better result
o 566995
c local Search
c better result
o 566748
c local Search
c better result
o 566748
c local Search
c better result
o 566561
c local Search
c better result
o 566561
c local Search
c better result
o 566596
c local Search
c better result
o 566596
c local Search
c better result
o 566409
c local Search
c better result
o 566409
c local Search
o 82191
c local Search
o 82004
c local Search
o 81852
c local Search
o 81605
c local Search
o 81418
c local Search
o 81266
c local Search
c better result
o 566847
c local Search
o 82629
c local Search
o 82442
c local Search
o 82290
c local Search
o 82043
c local Search
o 81856
c local Search
o 81704
c local Search
c better result
o 567160
c local Search
c better result
o 567195
c local Search
c better result
o 567008
c local Search
o 82790
o 82603
c local Search
o 82451
c local Search
o 82204
c local Search
o 82017
c local Search
o 81865
c local Search
c better result
o 567487
c local Search
c better result
o 567522
c local Search
c better result
o 567335
c local Search
c better result
o 567088
c local Search
c better result
o 566901
c local Search
c better result
o 566936
c local Search
c better result
o 566749
c local Search
o 82531
c local Search
o 82344
o 82192
c local Search
o 81945
c local Search
o 81758
c local Search
o 81606
c local Search
c better result
o 567136
c local Search
c better result
o 567136
c local Search
c better result
o 566345
c local Search
c better result
o 566345
c local Search
c better result
o 566158
c local Search
c better result
o 566158
c local Search
c better result
o 566193
c local Search
c better result
o 566193
c local Search
c better result
o 566006
c local Search
c better result
o 566006
c local Search
o 82918
c local Search
o 82731
c local Search
o 82579
c local Search
o 82332
c local Search
o 82145
c local Search
o 81993
o 81988
c local Search
c better result
o 567463
c local Search
c better result
o 567463
c local Search
c better result
o 566672
c local Search
c better result
o 566672
c local Search
c better result
o 566485
c local Search
c better result
o 566485
c local Search
c better result
o 566520
c local Search
c better result
o 566520
c local Search
c better result
o 566333
c local Search
c better result
o 566333
c local Search
c better result
o 567216
c local Search
c better result
o 567216
c local Search
c better result
o 567029
c local Search
c better result
o 567029
c local Search
c better result
o 567064
c local Search
c better result
o 567064
c local Search
c better result
o 566877
c local Search
c better result
o 566877
c local Search
c better result
o 566086
c local Search
c better result
o 566086
c local Search
c better result
o 565899
c local Search
c better result
o 565899
c local Search
c better result
o 565934
c local Search
c better result
o 565934
c local Search
c better result
o 565747
c local Search
c better result
o 565747
c local Search
o 82659
c local Search
o 82472
c local Search
o 82320
o 82073
c local Search
o 81886
c local Search
o 81734
c local Search
c better result
o 567190
c local Search
c better result
o 567190
c local Search
c better result
o 567225
c local Search
c better result
o 567225
c local Search
c better result
o 567038
c local Search
c better result
o 567038
c local Search
c better result
o 566247
c local Search
c better result
o 566247
c local Search
c better result
o 566060
c local Search
c better result
o 566060
c local Search
c better result
o 566095
c local Search
c better result
o 566095
c local Search
c better result
o 565908
c local Search
c better result
o 565908
c local Search
o 82820
c local Search
o 82633
c local Search
o 82481
c local Search
o 82234
c local Search
o 82047
o 81895
c local Search
c better result
o 567517
c local Search
c better result
o 567517
c local Search
c better result
o 567552
c local Search
c better result
o 567552
c local Search
c better result
o 567365
c local Search
c better result
o 567365
c local Search
c better result
o 566574
c local Search
c better result
o 566574
c local Search
c better result
o 566387
c local Search
c better result
o 566387
c local Search
c better result
o 566422
c local Search
c better result
o 566422
c local Search
c better result
o 566235
c local Search
c better result
o 566235
c local Search
c better result
o 567118
c local Search
c better result
o 567118
c local Search
c better result
o 566931
c local Search
c better result
o 566931
c local Search
c better result
o 566966
c local Search
c better result
o 566966
c local Search
c better result
o 566779
c local Search
c better result
o 566779
c local Search
c better result
o 565988
c local Search
c better result
o 565988
c local Search
c better result
o 565801
c local Search
c better result
o 565801
c local Search
c better result
o 565836
c local Search
c better result
o 565836
c local Search
c better result
o 565649
c local Search
c better result
o 565649
c local Search
o 82561
o 82374
c local Search
o 82222
c local Search
o 81975
c local Search
o 81788
c local Search
o 81636
c local Search
c better result
o 567217
c local Search
c better result
o 566426
o 81742
c local Search
c better result
o 566087
c local Search
o 82999
o 82812
c local Search
o 82660
c local Search
o 82413
c local Search
o 82226
o 82074
o 81903
c local Search
c better result
o 567378
c local Search
c better result
o 566587
c local Search
c better result
o 566400
c local Search
c better result
o 566435
c local Search
c better result
o 566248
c local Search
o 83160
c local Search
o 82973
c local Search
o 82821
c local Search
o 82574
c local Search
o 82387
c local Search
o 82235
c local Search
c better result
o 567857
c local Search
c better result
o 567892
c local Search
c better result
o 567705
c local Search
c better result
o 566914
c local Search
c better result
o 566727
c local Search
c better result
o 566762
c local Search
c better result
o 566575
c local Search
c better result
o 567458
c local Search
c better result
o 567271
c local Search
c better result
o 567306
c local Search
c better result
o 567119
c local Search
c better result
o 566328
c local Search
c better result
o 566141
c local Search
c better result
o 566176
c local Search
c better result
o 565989
c local Search
o 82901
c local Search
o 82714
c local Search
o 82562
c local Search
o 82315
c local Search
o 82128
c local Search
o 81976
o 81763
c local Search
c better result
o 567504
c local Search
c better result
o 567504
c local Search
c better result
o 567539
c local Search
c better result
o 567539
c local Search
c better result
o 567352
c local Search
c better result
o 567352
c local Search
c better result
o 567105
c local Search
c better result
o 567105
c local Search
c better result
o 566918
c local Search
c better result
o 566918
c local Search
c better result
o 566953
c local Search
c better result
o 566953
c local Search
c better result
o 566766
c local Search
c better result
o 566766
c local Search
o 82247
c local Search
o 82060
c local Search
o 81908
c local Search
o 81661
c local Search
o 81474
c local Search
o 81322
c local Search
c better result
o 567245
c local Search
c better result
o 567245
c local Search
c better result
o 567280
c local Search
c better result
o 567280
c local Search
c better result
o 567093
c local Search
c better result
o 567093
c local Search
c better result
o 566846
c local Search
c better result
o 566846
c local Search
c better result
o 566659
c local Search
c better result
o 566659
c local Search
c better result
o 566694
c local Search
c better result
o 566694
c local Search
c better result
o 566507
c local Search
c better result
o 566507
c local Search
o 81988
c local Search
o 81801
c local Search
o 81649
c local Search
o 81402
c local Search
o 81215
o 81063
c local Search
c better result
o 566820
c local Search
c better result
o 566820
c local Search
c better result
o 566855
c local Search
c better result
o 566855
c local Search
c better result
o 566668
c local Search
c better result
o 566668
c local Search
o 82149
c local Search
o 81962
c local Search
o 81810
c local Search
o 81563
c local Search
o 81376
c local Search
o 81224
o 81219
c local Search
c better result
o 566995
c local Search
c better result
o 566995
c local Search
c better result
o 566748
c local Search
c better result
o 566748
c local Search
c better result
o 566561
c local Search
c better result
o 566561
c local Search
c better result
o 566596
c local Search
c better result
o 566596
c local Search
c better result
o 566409
c local Search
c better result
o 566409
c local Search
o 81890
c local Search
o 81703
c local Search
o 81551
o 81304
c local Search
o 81117
c local Search
o 80965
c local Search
c better result
o 566847
c local Search
o 82328
c local Search
o 82141
c local Search
o 81989
c local Search
o 81742
c local Search
o 81555
c local Search
o 81403
c local Search
c better result
o 567160
c local Search
c better result
o 567195
c local Search
c better result
o 567008
c local Search
o 82489
c local Search
o 82302
c local Search
o 82150
o 81903
c local Search
o 81716
c local Search
o 81564
c local Search
c better result
o 567487
c local Search
c better result
o 567522
c local Search
c better result
o 567335
c local Search
c better result
o 567088
o 80973
o 80821
c local Search
c better result
o 566734
c local Search
c better result
o 566734
c local Search
o 82028
c local Search
o 81876
c local Search
o 81442
c local Search
o 81290
c local Search
c better result
o 567047
c local Search
c better result
o 567047
c local Search
c better result
o 566895
o 80967
o 80860
ERROR: Solution verification fails, real_empty = 80967, NB_EMPTY = 80708.
c local Search
c better result
o 566895
ERROR: Solution verification fails, real_empty = 80967, NB_EMPTY = 80708.
c local Search
c better result
o 566895
ERROR: Solution verification fails, real_empty = 82189, NB_EMPTY = 81930.
c local Search
o 81930
ERROR: Solution verification fails, real_empty = 82037, NB_EMPTY = 81778.
c local Search
o 81778
ERROR: Solution verification fails, real_empty = 81603, NB_EMPTY = 81344.
o 81344
ERROR: Solution verification fails, real_empty = 81451, NB_EMPTY = 81192.
c local Search
o 81192
c local Search
c better result
o 567074
c local Search
o 82368
c local Search
o 82216
o 81782
c local Search
o 81630
c local Search
c better result
o 567387
c local Search
c better result
o 567235
c local Search
o 82529
o 82377
c local Search
o 81943
c local Search
o 81791
c local Search
c better result
o 567714
c local Search
c better result
o 567562
c local Search
c better result
o 567128
c local Search
c better result
o 566976
c local Search
o 82270
c local Search
o 82118
c local Search
o 81684
o 81532
c local Search
c better result
o 567363
c local Search
c better result
o 567363
o 81587
c local Search
c better result
o 567363
c local Search
c better result
o 567363
c local Search
o 82657
o 82505
o 82071
o 81919
c local Search
c better result
o 567842
c local Search
c better result
o 567842
c local Search
c better result
o 567690
c local Search
c better result
o 567690
c local Search
c better result
o 566712
c local Search
c better result
o 566712
c local Search
c better result
o 566560
c local Search
c better result
o 566560
c local Search
c better result
o 567256
c local Search
c better result
o 567256
c local Search
c better result
o 567104
c local Search
c better result
o 567104
c local Search
c better result
o 566126
c local Search
c better result
o 566126
c local Search
c better result
o 565974
c local Search
c better result
o 565974
c local Search
o 82398
c local Search
o 82246
c local Search
o 81812
c local Search
o 81660
c local Search
c better result
o 567417
c local Search
c better result
o 567417
c local Search
c better result
o 567265
c local Search
c better result
o 567265
c local Search
c better result
o 566287
c local Search
c better result
o 566287
c local Search
c better result
o 566135
c local Search
c better result
o 566135
c local Search
o 82559
c local Search
o 82407
c local Search
o 81973
c local Search
o 81821
c local Search
c better result
o 567744
c local Search
c better result
o 567744
c local Search
c better result
o 567592
c local Search
c better result
o 567592
c local Search
c better result
o 566614
c local Search
c better result
o 566614
c local Search
c better result
o 566462
c local Search
c better result
o 566462
c local Search
c better result
o 567158
c local Search
c better result
o 567158
c local Search
c better result
o 567006
c local Search
c better result
o 567006
c local Search
c better result
o 566028
c local Search
c better result
o 566028
c local Search
c better result
o 565876
c local Search
c better result
o 565876
c local Search
o 82300
c local Search
o 82148
c local Search
o 81714
c local Search
o 81562
c local Search
c better result
o 567444
c local Search
c better result
o 566466
c local Search
c better result
o 566314
c local Search
o 82738
c local Search
o 82586
c local Search
o 82152
c local Search
o 82000
c local Search
c better result
o 567757
c local Search
c better result
o 567605
o 81829
c local Search
c better result
o 567605
c local Search
o 82899
c local Search
o 82747
c local Search
o 82313
c local Search
o 82161
c local Search
c better result
o 568084
c local Search
c better result
o 567932
c local Search
c better result
o 566954
c local Search
c better result
o 566802
c local Search
c better result
o 567498
c local Search
c better result
o 567346
c local Search
c better result
o 566368
c local Search
c better result
o 566216
c local Search
o 82640
c local Search
o 82488
c local Search
o 82054
c local Search
o 81902
c local Search
c better result
o 470081
c local Search
c better result
o 470081
c local Search
c better result
o 276446
c local Search
c better result
o 276446
c local Search
c better result
o 276259
c local Search
c better result
o 276259
c local Search
c better result
o 276294
c local Search
c better result
o 276294
c local Search
c better result
o 276107
c local Search
c better result
o 276107
c local Search
c better result
o 275860
c local Search
c better result
o 275860
c local Search
c better result
o 275673
c local Search
c better result
o 275673
c local Search
c better result
o 275708
c local Search
c better result
o 275708
c local Search
c better result
o 275521
c local Search
c better result
o 275521
c local Search
c better result
o 471876
c local Search
c better result
o 471876
c local Search
c better result
o 471689
c local Search
c better result
o 471689
c local Search
c better result
o 471724
c local Search
c better result
o 471724
c local Search
c better result
o 471537
c local Search
c better result
o 471537
c local Search
c better result
o 471290
c local Search
c better result
o 471290
c local Search
c better result
o 471103
c local Search
c better result
o 471103
c local Search
c better result
o 471138
c local Search
c better result
o 471138
c local Search
c better result
o 470951
c local Search
c better result
o 470951
c local Search
c better result
o 277316
c local Search
c better result
o 277316
c local Search
c better result
o 277129
c local Search
c better result
o 277129
c local Search
c better result
o 277164
c local Search
c better result
o 277164
c local Search
c better result
o 276977
c local Search
c better result
o 276977
c local Search
c better result
o 276730
c local Search
c better result
o 276730
c local Search
c better result
o 276543
c local Search
c better result
o 276543
c local Search
c better result
o 276578
c local Search
c better result
o 276578
c local Search
c better result
o 276391
c local Search
c better result
o 276391
c local Search
c better result
o 471617
c local Search
c better result
o 471617
c local Search
c better result
o 471430
c local Search
c better result
o 471430
c local Search
c better result
o 471465
c local Search
c better result
o 471465
c local Search
c better result
o 471278
c local Search
c better result
o 471278
c local Search
c better result
o 471031
c local Search
c better result
o 471031
c local Search
c better result
o 470844
c local Search
c better result
o 470844
c local Search
c better result
o 470879
c local Search
c better result
o 470879
c local Search
c better result
o 470692
c local Search
c better result
o 470692
c local Search
c better result
o 277057
c local Search
c better result
o 277057
c local Search
c better result
o 276870
c local Search
c better result
o 276870
c local Search
c better result
o 276905
c local Search
c better result
o 276905
c local Search
c better result
o 276718
c local Search
c better result
o 276718
c local Search
c better result
o 276471
c local Search
c better result
o 276471
c local Search
c better result
o 276284
c local Search
c better result
o 276284
c local Search
c better result
o 276319
c local Search
c better result
o 276319
c local Search
c better result
o 276132
c local Search
c better result
o 276132
c local Search
c better result
o 471167
c local Search
c better result
o 471167
c local Search
c better result
o 470980
c local Search
c better result
o 470980
c local Search
c better result
o 471015
c local Search
c better result
o 471015
c local Search
c better result
o 470828
c local Search
c better result
o 470828
c local Search
c better result
o 470581
c local Search
c better result
o 470581
c local Search
c better result
o 470394
c local Search
c better result
o 470394
c local Search
c better result
o 470429
c local Search
c better result
o 470429
c local Search
c better result
o 470242
c local Search
c better result
o 470242
c local Search
c better result
o 276607
c local Search
c better result
o 276607
c local Search
c better result
o 276420
c local Search
c better result
o 276420
c local Search
c better result
o 276455
c local Search
c better result
o 276455
c local Search
c better result
o 276268
c local Search
c better result
o 276268
c local Search
c better result
o 276021
c local Search
c better result
o 276021
c local Search
c better result
o 275834
c local Search
c better result
o 275834
c local Search
c better result
o 275869
c local Search
c better result
o 275869
c local Search
c better result
o 275682
c local Search
c better result
o 275682
c local Search
c better result
o 470908
c local Search
c better result
o 470908
c local Search
c better result
o 470721
c local Search
c better result
o 470721
c local Search
c better result
o 470756
c local Search
c better result
o 470756
c local Search
c better result
o 470569
c local Search
c better result
o 470569
c local Search
c better result
o 470322
c loc