Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-LSW_Power-wpms_random-_home_maxsat_benchmarks_wpms_random_wpmax3sat_lo_file_rwpms_wcnf_L3_V100_C500_H100_0.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax3sat/lo/file_rwpms_wcnf_L3_V100_C500_H100_0.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 100 500 2724
c WARNING: Ubcsat not found.
o 2724
c local Search
c better result
o 5536
c local Search
c better result
o 8253
c local Search
c better result
o 8251
c local Search
c better result
o 5536
c local Search
c better result
o 8242
c local Search
c better result
o 5525
c local Search
c better result
o 8242
c local Search
c better result
o 8242
c local Search
c better result
o 5537
c local Search
c better result
o 5535
c local Search
c better result
o 5526
c local Search
c better result
o 5539
c local Search
c better result
o 5539
c local Search
c better result
o 5530
c local Search
c better result
o 5541
c local Search
c better result
o 5527
c local Search
c better result
o 5530
c local Search
c better result
o 5536
c local Search
c better result
o 5536
c local Search
c better result
o 5530
c local Search
c better result
o 5539
c local Search
c better result
o 5525
c local Search
c better result
o 5528
c local Search
c better result
o 5530
c local Search
c better result
o 5527
c local Search
c better result
o 5539
c local Search
c better result
o 5536
c local Search
c better result
o 5538
c local Search
c better result
o 8246
c local Search
c better result
o 8234
c local Search
c better result
o 5514
c local Search
c better result
o 5522
c local Search
c better result
o 78
c local Search
c better result
o 5495
c local Search
c better result
o 5501
c local Search
c better result
o 5498
c local Search
c better result
o 5501
c local Search
c better result
o 5501
c local Search
c better result
o 5505
c local Search
c better result
o 2772
c local Search
c better result
o 2778
c local Search
c better result
o 2781
c local Search
c better result
o 2788
c local Search
c better result
o 2789
c local Search
c better result
o 2784
c local Search
c better result
o 2792
c local Search
c better result
o 2784
c local Search
c better result
o 5498
c local Search
c better result
o 5501
c local Search
c better result
o 5498
c local Search
c better result
o 5501
c local Search
c better result
o 5495
c local Search
c better result
o 5501
c local Search
c better result
o 5509
c local Search
c better result
o 2788
c local Search
c better result
o 5509
c local Search
c better result
o 2788
c local Search
c better result
o 2794
c local Search
c better result
o 2792
c local Search
c better result
o 5512
c local Search
c better result
o 2791
c local Search
c better result
o 5509
c local Search
c better result
o 2788
c local Search
c better result
o 2792
c local Search
c better result
o 2800
c local Search
c better result
o 2794
c local Search
c better result
o 2797
c local Search
c better result
o 5509
c local Search
c better result
o 2788
c local Search
c better result
o 5509
c local Search
c better result
o 2788
c local Search
c better result
o 2790
c local Search
c better result
o 2798
c local Search
c better result
o 2790
c local Search
c better result
o 2790
c local Search
c better result
o 5507
c local Search
c better result
o 2786
c local Search
c better result
o 5507
c local Search
c better result
o 2786
c local Search
c better result
o 2789
c local Search
c better result
o 2792
c local Search
c better result
o 5508
c local Search
c better result
o 2787
c local Search
c better result
o 5499
c local Search
c better result
o 2778
c local Search
c better result
o 5499
c local Search
c better result
o 2778
c local Search
c better result
o 2786
c local Search
c better result
o 2786
c local Search
c better result
o 5502
c local Search
c better result
o 2776
c local Search
c better result
o 5503
c local Search
c better result
o 2782
c local Search
c better result
o 2786
c local Search
c better result
o 2794
c local Search
c better result
o 2788
c local Search
c better result
o 2791
c local Search
c better result
o 5503
c local Search
c better result
o 2782
c local Search
c better result
o 5503
c local Search
c better result
o 2782
c local Search
c better result
o 2784
c local Search
c better result
o 2792
c local Search
c better result
o 2782
c local Search
c better result
o 2784
c local Search
c better result
o 5497
c local Search
c better result
o 2776
c local Search
c better result
o 5501
c local Search
c better result
o 2780
c local Search
c better result
o 2783
c local Search
c better result
o 2786
c local Search
c better result
o 5502
c local Search
c better result
o 2781
c local Search
c better result
o 5507
c local Search
c better result
o 5507
c local Search
c better result
o 5508
c local Search
c better result
o 5514
c local Search
c better result
o 5514
c local Search
c better result
o 5528
c local Search
c better result
o 5513
c local Search
c better result
o 5518
c local Search
c better result
o 2800
c local Search
c better result
o 5503
c local Search
c better result
o 2783
c local Search
c better result
o 5503
c local Search
c better result
o 2783
c local Search
c better result
o 5514
c local Search
c better result
o 2796
c local Search
c better result
o 5504
c local Search
c better result
o 2784
c local Search
c better result
o 5504
c local Search
c better result
o 2784
c local Search
c better result
o 5521
c local Search
c better result
o 2803
c local Search
c better result
o 5510
c local Search
c better result
o 2790
c local Search
c better result
o 5510
c local Search
c better result
o 5520
c local Search
c better result
o 2788
c local Search
c better result
o 2800
c local Search
c better result
o 5518
c local Search
c better result
o 5532
c local Search
c better result
o 2800
c local Search
c better result
o 2814
c local Search
c better result
o 5522
c local Search
c better result
o 2804
c local Search
c better result
o 5511
c local Search
c better result
o 2791
c local Search
c better result
o 5511
c local Search
c better result
o 2789
c local Search
c better result
o 5519
c local Search
c better result
o 2801
c local Search
c better result
o 5518
c local Search
c better result
o 2800
c local Search
c better result
o 5503
c local Search
c better result
o 2783
c local Search
c better result
o 5514
c local Search
c better result
o 2796
c local Search
c better result
o 5504
c local Search
c better result
o 2784
c local Search
c better result
o 8241
c local Search
c better result
o 8225
c local Search
c better result
o 8241
c local Search
c better result
o 8225
c local Search
c better result
o 8255
c local Search
c better result
o 8238
c local Search
c better result
o 8227
c local Search
c better result
o 5516
c local Search
c better result
o 2798
c local Search
c better result
o 5501
c local Search
c better result
o 2790
c local Search
c better result
o 5524
c local Search
c better result
o 2803
c local Search
c better result
o 5513
c local Search
c better result
o 2796
c local Search
c better result
o 5518
c local Search
c better result
o 2801
c local Search
c better result
o 5518
c local Search
c better result
o 2801
c local Search
c better result
o 5528
c local Search
c better result
o 2807
c local Search
c better result
o 5514
c local Search
c better result
o 2800
c local Search
c better result
o 5520
c local Search
c better result
o 2806
c local Search
c better result
o 5520
c local Search
c better result
o 2806
c local Search
c better result
o 5524
c local Search
c better result
o 2803
c local Search
c better result
o 5513
c local Search
c better result
o 2796
c local Search
c better result
o 5518
c local Search
c better result
o 2801
c local Search
c better result
o 5518
c local Search
c better result
o 2801
c local Search
c better result
o 5503
c local Search
c better result
o 2788
c local Search
c better result
o 5503
c local Search
c better result
o 2788
c local Search
c better result
o 5509
c local Search
c better result
o 2790
c local Search
c better result
o 5509
c local Search
c better result
o 2790
c local Search
c better result
o 5521
c local Search
c better result
o 2797
c local Search
c better result
o 5510
c local Search
c better result
o 2796
c local Search
c better result
o 5517
c local Search
c better result
o 2796
c local Search
c better result
o 5510
c local Search
c better result
o 2789
c local Search
c better result
o 5520
c local Search
c better result
o 2803
c local Search
c better result
o 5520
c local Search
c better result
o 2803
c local Search
c better result
o 5525
c local Search
c better result
o 2804
c local Search
c better result
o 5518
c local Search
c better result
o 2797
c local Search
c better result
o 5532
c local Search
c better result
o 2815
c local Search
c better result
o 5532
c local Search
c better result
o 2815
c local Search
c better result
o 5507
c local Search
c better result
o 5508
c local Search
c better result
o 5512
c local Search
c better result
o 5502
c local Search
c better result
o 5517
c local Search
c better result
o 5507
c local Search
c better result
o 5514
c local Search
c better result
o 5503
c local Search
c better result
o 5528
c local Search
c better result
o 5513
c local Search
c better result
o 5513
c local Search
c better result
o 5521
c local Search
c better result
o 5524
c local Search
c better result
o 5510
c local Search
c better result
o 5528
c local Search
c better result
o 5514
c local Search
c better result
o 5507
c local Search
c better result
o 5508
c local Search
c better result
o 5512
c local Search
c better result
o 5502
c local Search
c better result
o 5517
c local Search
c better result
o 5507
c local Search
c better result
o 5514
c local Search
c better result
o 5503
c local Search
c better result
o 5528
c local Search
c better result
o 5513
c local Search
c better result
o 5513
c local Search
c better result
o 5521
c local Search
c better result
o 5524
c local Search
c better result
o 5510
c local Search
c better result
o 5528
c local Search
c better result
o 5514
c local Search
c better result
o 5518
c local Search
c better result
o 5520
c local Search
c better result
o 5518
c local Search
c better result
o 5503
c local Search
c better result
o 5503
c local Search
c better result
o 5521
c local Search
c better result
o 5510
c local Search
c better result
o 5510
c local Search
c better result
o 5520
c local Search
c better result
o 5518
c local Search
c better result
o 5532
c local Search
c better result
o 5512
c local Search
c better result
o 2795
c local Search
c better result
o 5501
c local Search
c better result
o 2786
c local Search
c better result
o 8237
c local Search
c better result
o 5517
c local Search
c better result
o 8225
c local Search
c better result
o 5507
c local Search
c better result
o 8238
c local Search
c better result
o 8227
c local Search
c better result
o 5519
c local Search
c better result
o 2795
c local Search
c better result
o 5508
c local Search
c better result
o 2794
c local Search
c better result
o 8242
c local Search
c better result
o 5515
c local Search
c better result
o 8230
c local Search
c better result
o 5513
c local Search
c better result
o 8245
c local Search
c better result
o 8234
c local Search
c better result
o 5516
c local Search
c better result
o 2799
c local Search
c better result
o 5524
c local Search
c better result
o 2803
c local Search
c better result
o 8241
c local Search
c better result
o 5521
c local Search
c better result
o 8249
c local Search
c better result
o 5525
c local Search
c better result
o 5525
c local Search
c better result
o 2804
c local Search
c better result
o 5516
c local Search
c better result
o 2795
c local Search
c better result
o 8248
c local Search
c better result
o 5524
c local Search
c better result
o 8239
c local Search
c better result
o 5515
c local Search
c better result
o 5518
c local Search
c better result
o 2801
c local Search
c better result
o 5524
c local Search
c better result
o 2803
c local Search
c better result
o 5519
c local Search
c better result
o 2805
c local Search
c better result
o 5528
c local Search
c better result
o 2807
c local Search
c better result
o 5503
c local Search
c better result
o 2788
c local Search
c better result
o 5509
c local Search
c better result
o 2790
c local Search
c better result
o 5518
c local Search
c better result
o 2797
c local Search
c better result
o 5525
c local Search
c better result
o 2804
c local Search
c better result
o 5517
c local Search
c better result
o 2799
c local Search
c better result
o 5527
c local Search
c better result
o 2806
c local Search
c better result
o 5521
c local Search
c better result
o 2803
c local Search
c better result
o 5514
c local Search
c better result
o 2796
c local Search
c better result
o 5510
c local Search
c better result
o 2796
c local Search
c better result
o 5510
c local Search
c better result
o 2796
c local Search
c better result
o 5509
c local Search
c better result
o 5510
c local Search
c better result
o 5512
c local Search
c better result
o 5502
c local Search
c better result
o 5516
c local Search
c better result
o 5506
c local Search
c better result
o 5508
c local Search
c better result
o 5516
c local Search
c better result
o 5524
c local Search
c better result
o 5510
c local Search
c better result
o 5528
c local Search
c better result
o 5514
c local Search
c better result
o 8237
c local Search
c better result
o 8238
c local Search
c better result
o 5512
c local Search
c better result
o 8225
c local Search
c better result
o 8227
c local Search
c better result
o 5501
c local Search
c better result
o 8242
c local Search
c better result
o 8245
c local Search
c better result
o 5519
c local Search
c better result
o 8230
c local Search
c better result
o 8234
c local Search
c better result
o 5508
c local Search
c better result
o 5516
c local Search
c better result
o 8241
c local Search
c better result
o 5516
c local Search
c better result
o 8239
c local Search
c better result
o 5518
c local Search
c better result
o 5519
c local Search
c better result
o 5503
c local Search
c better result
o 5517
c local Search
c better result
o 5528
c local Search
c better result
o 5512
c local Search
c better result
o 5516
c local Search
c better result
o 5509
c local Search
c better result
o 5510
c local Search
c better result
o 5518
c local Search
c better result
o 5517
c local Search
c better result
o 5510
c local Search
c better result
o 5514
c local Search
c better result
o 5524
c local Search
c better result
o 5522
c local Search
c better result
o 5524
c local Search
c better result
o 5528
c local Search
c better result
o 5508
c local Search
c better result
o 5516
c local Search
c better result
o 5523
c local Search
c better result
o 2806
c local Search
c better result
o 8246
c local Search
c better result
o 5522
c local Search
c better result
o 5508
c local Search
c better result
o 2794
c local Search
c better result
o 8230
c local Search
c better result
o 5513
c local Search
c better result
o 5516
c local Search
c better result
o 2799
c local Search
c better result
o 8241
c local Search
c better result
o 5521
c local Search
c better result
o 5501
c local Search
c better result
o 2786
c local Search
c better result
o 8225
c local Search
c better result
o 5507
c local Search
c better result
o 8245
c local Search
c better result
o 8234
c local Search
c better result
o 8238
c local Search
c better result
o 8227
c local Search
c better result
o 8245
c local Search
c better result
o 8234
c local Search
c better result
o 8238
c local Search
c better result
o 8227
c local Search
c better result
o 8246
c local Search
c better result
o 8245
c local Search
c better result
o 5523
c local Search
c better result
o 8241
c local Search
c better result
o 8238
c local Search
c better result
o 5516
c local Search
c better result
o 5507
c local Search
c better result
o 5507
c local Search
c better result
o 5508
c local Search
c better result
o 5514
c local Search
c better result
o 5514
c local Search
c better result
o 5528
c local Search
c better result
o 5513
c local Search
c better result
o 5513
c local Search
c better result
o 5518
c local Search
c better result
o 2795
c local Search
c better result
o 2800
c local Search
c better result
o 5503
c local Search
c better result
o 2783
c local Search
c better result
o 5503
c local Search
c better result
o 2783
c local Search
c better result
o 5504
c local Search
c better result
o 2784
c local Search
c better result
o 5504
c local Search
c better result
o 2784
c local Search
c better result
o 5515
c local Search
c better result
o 2797
c local Search
c better result
o 5514
c local Search
c better result
o 2796
c local Search
c better result
o 5514
c local Search
c better result
o 2796
c local Search
c better result
o 5518
c local Search
c better result
o 2800
c local Search
c better result
o 5514
c local Search
c better result
o 2794
c local Search
c better result
o 5519
c local Search
c better result
o 2801
c local Search
c better result
o 5515
c local Search
c better result
o 2795
c local Search
c better result
o 5514
c local Search
c better result
o 2796
c local Search
c better result
o 5503
c local Search
c better result
o 2783
c local Search
c better result
o 5505
c local Search
c better result
o 2783
c local Search
c better result
o 5513
c local Search
c better result
o 2795
c local Search
c better result
o 5515
c local Search
c better result
o 2797
c local Search
c better result
o 5504
c local Search
c better result
o 2784
c local Search
c better result
o 5523
c local Search
c better result
o 2803
c local Search
c better result
o 5514
c local Search
c better result
o 2796
c local Search
c better result
o 5522
c local Search
c better result
o 2802
c local Search
c better result
o 8241
c local Search
c better result
o 8225
c local Search
c better result
o 8241
c local Search
c better result
o 8225
c local Search
c better result
o 8255
c local Search
c better result
o 8238
c local Search
c better result
o 8227
c local Search
c better result
o 5516
c local Search
c better result
o 2798
c local Search
c better result
o 5501
c local Search
c better result
o 2790
c local Search
c better result
o 5513
c local Search
c better result
o 5518
c local Search
c better result
o 2796
c local Search
c better result
o 2801
c local Search
c better result
o 5514
c local Search
c better result
o 5520
c local Search
c better result
o 2800
c local Search
c better result
o 2806
c local Search
c better result
o 5513
c local Search
c better result
o 5518
c local Search
c better result
o 2796
c local Search
c better result
o 2801
c local Search
c better result
o 5503
c local Search
c better result
o 2788
c local Search
c better result
o 5503
c local Search
c better result
o 2788
c local Search
c better result
o 5518
c local Search
c better result
o 2797
c local Search
c better result
o 5514
c local Search
c better result
o 2796
c local Search
c better result
o 5510
c local Search
c better result
o 2789
c local Search
c better result
o 5518
c local Search
c better result
o 2797
c local Search
c better result
o 5507
c local Search
c better result
o 5508
c local Search
c better result
o 5512
c local Search
c better result
o 5502
c local Search
c better result
o 5517
c local Search
c better result
o 5507
c local Search
c better result
o 5514
c local Search
c better result
o 5503
c local Search
c better result
o 5528
c local Search
c better result
o 5513
c local Search
c better result
o 5513
c local Search
c better result
o 5521
c local Search
c better result
o 5524
c local Search
c better result
o 5510
c local Search
c better result
o 5528
c local Search
c better result
o 5514
c local Search
c better result
o 5507
c local Search
c better result
o 5508
c local Search
c better result
o 5512
c local Search
c better result
o 5502
c local Search
c better result
o 5517
c local Search
c better result
o 5507
c local Search
c better result
o 5514
c local Search
c better result
o 5503
c local Search
c better result
o 5528
c local Search
c better result
o 5513
c local Search
c better result
o 5513
c local Search
c better result
o 5521
c local Search
c better result
o 5524
c local Search
c better result
o 5510
c local Search
c better result
o 5528
c local Search
c better result
o 5514
c local Search
c better result
o 5513
c local Search
c better result
o 5518
c local Search
c better result
o 5514
c local Search
c better result
o 5520
c local Search
c better result
o 5513
c local Search
c better result
o 5518
c local Search
c better result
o 5503
c local Search
c better result
o 5503
c local Search
c better result
o 5518
c local Search
c better result
o 5514
c local Search
c better result
o 5510
c local Search
c better result
o 5518
c l