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_0001.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_120_0001.txt.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 122 1625 79715
c WARNING: Ubcsat not found.
o 79715
c local Search
o 70600
c local Search
o 70545
c local Search
o 70394
c local Search
o 70339
c local Search
o 69921
c local Search
o 69866
c local Search
o 69715
c local Search
o 69660
c local Search
o 69513
c local Search
o 69458
c local Search
o 69417
c local Search
c better result
o 386553
c local Search
c better result
o 386553
c local Search
c better result
o 386498
c local Search
c better result
o 386553
c local Search
c better result
o 386553
c local Search
c better result
o 386498
c local Search
c better result
o 386553
c local Search
c better result
o 386553
c local Search
c better result
o 386498
c local Search
c better result
o 386553
c local Search
c better result
o 386553
c local Search
c better result
o 386498
c local Search
c better result
o 466213
c local Search
c better result
o 466213
c local Search
c better result
o 466213
c local Search
c better result
o 466213
c local Search
c better result
o 386879
c local Search
c better result
o 386879
c local Search
c better result
o 386879
c local Search
c better result
o 386879
c local Search
c better result
o 386879
c local Search
c better result
o 386879
c local Search
c better result
o 386879
c local Search
c better result
o 386879
c local Search
c better result
o 466213
c local Search
c better result
o 466213
c local Search
c better result
o 466213
c local Search
c better result
o 466213
c local Search
c better result
o 387585
c local Search
c better result
o 387585
c local Search
c better result
o 387585
c local Search
c better result
o 387585
c local Search
c better result
o 387379
c local Search
c better result
o 387379
c local Search
c better result
o 387379
c local Search
c better result
o 387379
c local Search
c better result
o 386906
c local Search
c better result
o 386906
c local Search
c better result
o 386906
c local Search
c better result
o 386906
c local Search
c better result
o 386700
c local Search
c better result
o 386700
c local Search
c better result
o 386700
c local Search
c better result
o 386700
c local Search
c better result
o 467098
c local Search
c better result
o 467098
c local Search
c better result
o 467098
c local Search
c better result
o 467098
c local Search
c better result
o 466892
c local Search
c better result
o 466892
c local Search
c better result
o 466892
c local Search
c better result
o 466892
c local Search
c better result
o 466419
c local Search
c better result
o 466419
c local Search
c better result
o 466419
c local Search
c better result
o 466419
c local Search
c better result
o 466213
c local Search
c better result
o 466213
c local Search
c better result
o 466213
c local Search
c better result
o 466213
c local Search
c better result
o 387544
c local Search
c better result
o 387544
c local Search
c better result
o 387544
c local Search
c better result
o 387544
c local Search
c better result
o 387544
c local Search
c better result
o 387544
c local Search
c better result
o 387544
c local Search
c better result
o 387544
c local Search
c better result
o 387338
c local Search
c better result
o 387338
c local Search
c better result
o 387338
c local Search
c better result
o 387338
c local Search
c better result
o 387338
c local Search
c better result
o 387338
c local Search
c better result
o 387338
c local Search
c better result
o 387338
c local Search
c better result
o 386865
c local Search
c better result
o 386865
c local Search
c better result
o 386865
c local Search
c better result
o 386865
c local Search
c better result
o 386865
c local Search
c better result
o 386865
c local Search
c better result
o 386865
c local Search
c better result
o 386865
c local Search
c better result
o 386659
c local Search
c better result
o 386659
c local Search
c better result
o 386659
c local Search
c better result
o 386659
c local Search
c better result
o 386659
c local Search
c better result
o 386659
c local Search
c better result
o 386659
c local Search
c better result
o 386659
c local Search
c better result
o 467057
c local Search
c better result
o 467057
c local Search
c better result
o 467057
c local Search
c better result
o 467057
c local Search
c better result
o 467057
c local Search
c better result
o 467057
c local Search
c better result
o 467057
c local Search
c better result
o 467057
c local Search
c better result
o 466851
c local Search
c better result
o 466851
c local Search
c better result
o 466851
c local Search
c better result
o 466851
c local Search
c better result
o 466851
c local Search
c better result
o 466851
c local Search
c better result
o 466851
c local Search
c better result
o 466851
c local Search
c better result
o 466378
c local Search
c better result
o 466378
c local Search
c better result
o 466378
c local Search
c better result
o 466378
c local Search
c better result
o 466378
c local Search
c better result
o 466378
c local Search
c better result
o 466378
c local Search
c better result
o 466378
c local Search
c better result
o 466172
c local Search
c better result
o 466172
c local Search
c better result
o 466172
c local Search
c better result
o 466172
c local Search
c better result
o 466172
c local Search
c better result
o 466172
c local Search
c better result
o 466172
c local Search
c better result
o 466172
c local Search
o 70811
c local Search
o 70756
c local Search
o 70605
c local Search
o 70550
c local Search
o 70132
c local Search
o 70077
c local Search
o 69926
c local Search
o 69871
c local Search
o 69724
c local Search
o 69669
c local Search
o 69628
o 69518
c local Search
c better result
o 386709
c local Search
c better result
o 386764
o 69518
c local Search
c better result
o 386709
c local Search
c better result
o 386764
c local Search
c better result
o 386764
c local Search
c better result
o 386709
o 69518
o 69463
c local Search
c better result
o 466383
o 69422
c local Search
c better result
o 386635
c local Search
c better result
o 386635
c local Search
c better result
o 386580
c local Search
c better result
o 386635
c local Search
c better result
o 386635
c local Search
c better result
o 386580
c local Search
c better result
o 386635
c local Search
c better result
o 386635
c local Search
c better result
o 386580
c local Search
c better result
o 386635
c local Search
c better result
o 386635
c local Search
c better result
o 386580
c local Search
c better result
o 466295
c local Search
c better result
o 466295
c local Search
c better result
o 466295
c local Search
c better result
o 466295
c local Search
c better result
o 386961
c local Search
c better result
o 386961
c local Search
c better result
o 386961
c local Search
c better result
o 386961
c local Search
c better result
o 386961
c local Search
c better result
o 386961
c local Search
c better result
o 386961
c local Search
c better result
o 386961
c local Search
c better result
o 466295
c local Search
c better result
o 466295
c local Search
c better result
o 466295
c local Search
c better result
o 466295
c local Search
c better result
o 387667
c local Search
c better result
o 387667
c local Search
c better result
o 387667
c local Search
c better result
o 387667
c local Search
c better result
o 387461
c local Search
c better result
o 387461
c local Search
c better result
o 387461
c local Search
c better result
o 387461
c local Search
c better result
o 386988
c local Search
c better result
o 386988
c local Search
c better result
o 386988
c local Search
c better result
o 386988
c local Search
c better result
o 386782
c local Search
c better result
o 386782
c local Search
c better result
o 386782
c local Search
c better result
o 386782
c local Search
c better result
o 467180
c local Search
c better result
o 467180
c local Search
c better result
o 467180
c local Search
c better result
o 467180
c local Search
c better result
o 466974
c local Search
c better result
o 466974
c local Search
c better result
o 466974
c local Search
c better result
o 466974
c local Search
c better result
o 466501
c local Search
c better result
o 466501
c local Search
c better result
o 466501
c local Search
c better result
o 466501
c local Search
c better result
o 466295
c local Search
c better result
o 466295
c local Search
c better result
o 466295
c local Search
c better result
o 466295
c local Search
c better result
o 387626
c local Search
c better result
o 387626
c local Search
c better result
o 387626
c local Search
c better result
o 387626
c local Search
c better result
o 387626
c local Search
c better result
o 387626
c local Search
c better result
o 387626
c local Search
c better result
o 387626
c local Search
c better result
o 387420
c local Search
c better result
o 387420
c local Search
c better result
o 387420
c local Search
c better result
o 387420
c local Search
c better result
o 387420
c local Search
c better result
o 387420
c local Search
c better result
o 387420
c local Search
c better result
o 387420
c local Search
c better result
o 386947
c local Search
c better result
o 386947
c local Search
c better result
o 386947
c local Search
c better result
o 386947
c local Search
c better result
o 386947
c local Search
c better result
o 386947
c local Search
c better result
o 386947
c local Search
c better result
o 386947
c local Search
c better result
o 386741
c local Search
c better result
o 386741
c local Search
c better result
o 386741
c local Search
c better result
o 386741
c local Search
c better result
o 386741
c local Search
c better result
o 386741
c local Search
c better result
o 386741
c local Search
c better result
o 386741
c local Search
c better result
o 467139
c local Search
c better result
o 467139
c local Search
c better result
o 467139
c local Search
c better result
o 467139
c local Search
c better result
o 467139
c local Search
c better result
o 467139
c local Search
c better result
o 467139
c local Search
c better result
o 467139
c local Search
c better result
o 466933
c local Search
c better result
o 466933
c local Search
c better result
o 466933
c local Search
c better result
o 466933
c local Search
c better result
o 466933
c local Search
c better result
o 466933
c local Search
c better result
o 466933
c local Search
c better result
o 466933
c local Search
c better result
o 466460
c local Search
c better result
o 466460
c local Search
c better result
o 466460
c local Search
c better result
o 466460
c local Search
c better result
o 466460
c local Search
c better result
o 466460
c local Search
c better result
o 466460
c local Search
c better result
o 466460
c local Search
c better result
o 466254
c local Search
c better result
o 466254
c local Search
c better result
o 466254
c local Search
c better result
o 466254
c local Search
c better result
o 466254
c local Search
c better result
o 466254
c local Search
c better result
o 466254
c local Search
c better result
o 466254
c local Search
o 70893
c local Search
o 70838
c local Search
o 70687
c local Search
o 70632
c local Search
o 70214
c local Search
o 70159
o 70008
c local Search
o 69953
c local Search
o 69806
c local Search
o 69751
c local Search
o 69710
c local Search
c better result
o 386846
o 69600
c local Search
c better result
o 386791
c local Search
c better result
o 386846
c local Search
c better result
o 386846
c local Search
c better result
o 386791
c local Search
c better result
o 386846
c local Search
c better result
o 386846
o 69545
c local Search
c better result
o 466465
c local Search
c better result
o 466465
c local Search
c better result
o 466465
c local Search
c better result
o 466465
c local Search
c better result
o 466465
c local Search
c better result
o 466465
c local Search
c better result
o 466465
c local Search
c better result
o 466465
c local Search
o 70545
c local Search
o 70504
c local Search
o 70339
c local Search
o 70298
c local Search
o 69866
o 69825
c local Search
o 69660
c local Search
o 69619
c local Search
o 69458
o 69417
c local Search
c better result
o 386659
c local Search
c better result
o 386700
c local Search
c better result
o 386659
c local Search
c better result
o 386700
c local Search
c better result
o 386659
c local Search
c better result
o 386700
c local Search
c better result
o 386659
c local Search
c better result
o 467098
c local Search
c better result
o 467057
c local Search
c better result
o 467098
c local Sear