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_hi_file_rwpms_wcnf_L3_V100_C600_H100_4.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax3sat/hi/file_rwpms_wcnf_L3_V100_C600_H100_4.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 100 600 3333
c WARNING: Ubcsat not found.
o 3333
c local Search
c better result
o 3449
c local Search
c better result
o 3448
c local Search
c better result
o 3448
c local Search
c better result
o 3449
c local Search
c better result
o 3447
c local Search
c better result
o 3446
c local Search
c better result
o 3447
c local Search
c better result
o 3459
c local Search
c better result
o 3459
c local Search
c better result
o 3447
c local Search
c better result
o 3446
c local Search
c better result
o 3449
c local Search
c better result
o 3449
c local Search
c better result
o 3451
c local Search
c better result
o 3451
c local Search
c better result
o 3443
c local Search
c better result
o 3442
c local Search
c better result
o 3445
c local Search
c better result
o 3445
c local Search
c better result
o 3431
c local Search
c better result
o 3435
c local Search
c better result
o 3431
c local Search
c better result
o 3445
c local Search
c better result
o 3432
c local Search
c better result
o 3436
c local Search
c better result
o 3432
c local Search
c better result
o 3446
c local Search
c better result
o 3444
c local Search
c better result
o 3444
c local Search
c better result
o 3462
c local Search
c better result
o 3441
c local Search
c better result
o 3441
c local Search
c better result
o 3454
c local Search
c better result
o 3431
c local Search
c better result
o 3435
c local Search
c better result
o 3431
c local Search
c better result
o 3445
c local Search
c better result
o 3432
c local Search
c better result
o 3436
c local Search
c better result
o 3432
c local Search
c better result
o 3446
c local Search
c better result
o 3432
c local Search
c better result
o 3444
c local Search
c better result
o 3436
c local Search
c better result
o 3432
c local Search
c better result
o 3446
c local Search
c better result
o 3444
c local Search
c better result
o 3462
c local Search
c better result
o 3433
c local Search
c better result
o 3441
c local Search
c better result
o 3432
c local Search
c better result
o 3433
c local Search
c better result
o 3442
c local Search
c better result
o 3441
c local Search
c better result
o 3454
c local Search
c better result
o 3457
c local Search
c better result
o 3449
c local Search
c better result
o 3449
c local Search
c better result
o 3460
c local Search
c better result
o 3444
c local Search
c better result
o 3444
c local Search
c better result
o 3445
c local Search
c better result
o 3449
c local Search
c better result
o 3444
c local Search
c better result
o 3444
c local Search
c better result
o 3445
c local Search
c better result
o 3455
c local Search
c better result
o 3447
c local Search
c better result
o 3447
c local Search
c better result
o 3458
c local Search
c better result
o 3448
c local Search
c better result
o 3452
c local Search
c better result
o 3448
c local Search
c better result
o 3452
c local Search
c better result
o 3449
c local Search
c better result
o 3434
c local Search
c better result
o 3461
c local Search
c better result
o 3455
c local Search
c better result
o 3445
c local Search
c better result
o 3432
c local Search
c better result
o 3447
c local Search
c better result
o 3434
c local Search
c better result
o 3461
c local Search
c better result
o 3442
c local Search
c better result
o 3457
c local Search
c better result
o 3455
c local Search
c better result
o 3451
c local Search
c better result
o 3445
c local Search
c better result
o 3450
c local Search
c better result
o 3448
c local Search
c better result
o 3448
c local Search
c better result
o 3449
c local Search
c better result
o 3433
c local Search
c better result
o 3436
c local Search
c better result
o 3433
c local Search
c better result
o 3451
c local Search
c better result
o 3436
c local Search
c better result
o 3463
c local Search
c better result
o 3452
c local Search
c better result
o 3441
c local Search
c better result
o 3436
c local Search
c better result
o 3432
c local Search
c better result
o 3447
c local Search
c better result
o 3436
c local Search
c better result
o 3463
c local Search
c better result
o 3442
c local Search
c better result
o 3458
c local Search
c better result
o 3452
c local Search
c better result
o 3448
c local Search
c better result
o 3441
c local Search
c better result
o 3450
c local Search
c better result
o 3436
c local Search
c better result
o 3442
c local Search
c better result
o 3456
c local Search
c better result
o 3445
c local Search
c better result
o 3445
c local Search
c better result
o 3456
c local Search
c better result
o 3456
c local Search
c better result
o 3445
c local Search
c better result
o 3446
c local Search
c better result
o 3435
c local Search
c better result
o 3436
c local Search
c better result
o 3435
c local Search
c better result
o 3451
c local Search
c better result
o 3457
c local Search
c better result
o 3466
c local Search
c better result
o 3455
c local Search
c better result
o 3464
c local Search
c better result
o 3459
c local Search
c better result
o 3473
c local Search
c better result
o 3459
c local Search
c better result
o 3473
c local Search
c better result
o 3467
c local Search
c better result
o 3457
c local Search
c better result
o 3467
c local Search
c better result
o 3457
c local Search
c better result
o 3463
c local Search
c better result
o 3472
c local Search
c better result
o 3472
c local Search
c better result
o 3462
c local Search
c better result
o 3461
c local Search
c better result
o 3470
c local Search
c better result
o 3461
c local Search
c better result
o 3454
c local Search
c better result
o 3473
c local Search
c better result
o 3467
c local Search
c better result
o 3457
c local Search
c better result
o 3454
c local Search
c better result
o 3467
c local Search
c better result
o 3457
c local Search
c better result
o 3470
c local Search
c better result
o 3460
c local Search
c better result
o 3460
c local Search
c better result
o 6796
c local Search
c better result
o 3453
c local Search
c better result
o 6785
c local Search
c better result
o 3453
c local Search
c better result
o 6785
c local Search
c better result
o 6795
c local Search
c better result
o 3442
c local Search
c better result
o 3436
c local Search
c better result
o 3436
c local Search
c better result
o 3436
c local Search
c better result
o 3443
c local Search
c better result
o 3442
c local Search
c better result
o 3449
c local Search
c better result
o 3440
c local Search
c better result
o 3448
c local Search
c better result
o 3441
c local Search
c better result
o 3445
c local Search
c better result
o 3449
c local Search
c better result
o 3447
c local Search
c better result
o 3448
c local Search
c better result
o 3446
c local Search
c better result
o 3446
c local Search
c better result
o 3447
c local Search
c better result
o 3444
c local Search
c better result
o 3448
c local Search
c better result
o 3456
c local Search
c better result
o 3448
c local Search
c better result
o 3449
c local Search
c better result
o 3444
c local Search
c better result
o 3456
c local Search
c better result
o 3449
c local Search
c better result
o 3455
c local Search
c better result
o 3448
c local Search
c better result
o 3446
c local Search
c better result
o 3445
c local Search
c better result
o 3457
c local Search
c better result
o 3445
c local Search
c better result
o 3448
c local Search
c better result
o 3439
c local Search
c better result
o 3449
c local Search
c better result
o 3453
c local Search
c better result
o 3460
c local Search
c better result
o 3450
c local Search
c better result
o 3455
c local Search
c better result
o 3448
c local Search
c better result
o 3457
c local Search
c better result
o 3454
c local Search
c better result
o 3471
c local Search
c better result
o 3461
c local Search
c better result
o 3456
c local Search
c better result
o 3462
c local Search
c better result
o 3453
c local Search
c better result
o 3452
c local Search
c better result
o 3471
c local Search
c better result
o 3474
c local Search
c better result
o 3467
c local Search
c better result
o 3466
c local Search
c better result
o 3457
c local Search
c better result
o 3456
c local Search
c better result
o 3461
c local Search
c better result
o 3458
c local Search
c better result
o 3461
c local Search
c better result
o 3462
c local Search
c better result
o 3459
c local Search
c better result
o 3462
c local Search
c better result
o 3483
c local Search
c better result
o 3469
c local Search
c better result
o 3469
c local Search
c better result
o 3462
c local Search
c better result
o 3459
c local Search
c better result
o 3473
c local Search
c better result
o 3459
c local Search
c better result
o 3459
c local Search
c better result
o 3456
c local Search
c better result
o 3453
c local Search
c better result
o 3461
c local Search
c better result
o 3461
c local Search
c better result
o 3458
c local Search
c better result
o 3458
c local Search
c better result
o 3465
c local Search
c better result
o 3462
c local Search
c better result
o 3469
c local Search
c better result
o 3462
c local Search
c better result
o 3469
c local Search
c better result
o 3467
c local Search
c better result
o 3445
c local Search
c better result
o 3450
c local Search
c better result
o 3450
c local Search
c better result
o 3444
c local Search
c better result
o 3462
c local Search
c better result
o 3456
c local Search
c better result
o 3474
c local Search
c better result
o 3444
c local Search
c better result
o 3456
c local Search
c better result
o 3473
c local Search
c better result
o 3469
c local Search
c better result
o 3466
c local Search
c better result
o 3466
c local Search
c better result
o 3445
c local Search
c better result
o 3448
c local Search
c better result
o 3472
c local Search
c better result
o 3472
c local Search
c better result
o 3473
c local Search
c better result
o 3472
c local Search
c better result
o 3460
c local Search
c better result
o 3460
c local Search
c better result
o 3450
c local Search
c better result
o 3448
c local Search
c better result
o 3469
c local Search
c better result
o 3451
c local Search
c better result
o 3448
c local Search
c better result
o 3448
c local Search
c better result
o 3449
c local Search
c better result
o 3446
c local Search
c better result
o 3446
c local Search
c better result
o 3451
c local Search
c better result
o 3442
c local Search
c better result
o 3445
c local Search
c better result
o 3445
c local Search
c better result
o 3473
c local Search
c better result
o 3473
c local Search
c better result
o 3459
c local Search
c better result
o 3455
c local Search
c better result
o 3447
c local Search
c better result
o 3460
c local Search
c better result
o 3448
c local Search
c better result
o 3454
c local Search
c better result
o 3446
c local Search
c better result
o 3467
c local Search
c better result
o 3460
c local Search
c better result
o 3458
c local Search
c better result
o 3460
c local Search
c better result
o 3466
c local Search
c better result
o 3454
c local Search
c better result
o 3455
c local Search
c better result
o 3445
c local Search
c better result
o 3445
c local Search
c better result
o 3462
c local Search
c better result
o 3460
c local Search
c better result
o 3452
c local Search
c better result
o 3445
c local Search
c better result
o 3462
c local Search
c better result
o 3454
c local Search
c better result
o 3445
c local Search
c better result
o 3468
c local Search
c better result
o 3460
c local Search
c better result
o 3458
c local Search
c better result
o 3462
c local Search
c better result
o 3460
c local Search
c better result
o 3443
c local Search
c better result
o 3442
c local Search
c better result
o 3454
c local Search
c better result
o 3455
c local Search
c better result
o 3461
c local Search
c better result
o 3451
c local Search
c better result
o 3451
c local Search
c better result
o 3451
c local Search
c better result
o 3466
c local Search
c better result
o 3466
c local Search
c better result
o 3454
c local Search
c better result
o 3455
c local Search
c better result
o 3443
c local Search
c better result
o 3442
c local Search
c better result
o 3462
c local Search
c better result
o 3460
c local Search
c better result
o 3462
c local Search
c better result
o 3445
c local Search
c better result
o 3467
c local Search
c better result
o 3454
c local Search
c better result
o 3445
c local Search
c better result
o 3468
c local Search
c better result
o 3465
c local Search
c better result
o 3476
c local Search
c better result
o 3459
c local Search
c better result
o 3473
c local Search
c better result
o 3484
c local Search
c better result
o 3493
c local Search
c better result
o 3476
c local Search
c better result
o 3473
c local Search
c better result
o 3493
c local Search
c better result
o 3486
c local Search
c better result
o 3459
c local Search
c better result
o 3483
c local Search
c better result
o 111
c local Search
c better result
o 3447
c local Search
c better result
o 3446
c local Search
c better result
o 3447
c local Search
c better result
o 3447
c local Search
c better result
o 3446
c local Search
c better result
o 3447
c local Search
c better result
o 3460
c local Search
c better result
o 3459
c local Search
c better result
o 3461
c local Search
c better result
o 3459
c local Search
c better result
o 3442
c local Search
c better result
o 3459
c local Search
c better result
o 3452
c local Search
c better result
o 3452
c local Search
c better result
o 3462
c local Search
c better result
o 3472
c local Search
c better result
o 3452
c local Search
c better result
o 3452
c local Search
c better result
o 3463
c local Search
c better result
o 3462
c local Search
c better result
o 3454
c local Search
c better result
o 3453
c local Search
c better result
o 3443
c local Search
c better result
o 3442
c local Search
c better result
o 3432
c local Search
c better result
o 3432
c local Search
c better result
o 111
c local Search
c better result
o 3449
c local Search
c better result
o 3449
c local Search
c better result
o 3449
c local Search
c better result
o 3454
c local Search
c better result
o 3454
c local Search
c better result
o 3443
c local Search
c better result
o 3459
c local Search
c better result
o 3438
c local Search
c better result
o 3446
c local Search
c better result
o 3441
c local Search
c better result
o 3448
c local Search
c better result
o 3441
c local Search
c better result
o 3448
c local Search
c better result
o 3441
c local Search
c better result
o 3438
c local Search
c better result
o 3448
c local Search
c better result
o 3446
c local Search
c better result
o 3438
c local Search
c better result
o 3446
c local Search
c better result
o 3446
c local Search
c better result
o 3455
c local Search
c better result
o 3442
c local Search
c better result
o 3442
c local Search
c better result
o 3452
c local Search
c better result
o 3442
c local Search
c better result
o 3438
c local Search
c better result
o 3441
c local Search
c better result
o 3446
c local Search
c better result
o 3448
c local Search
c better result
o 3446
c local Search
c better result
o 3442
c local Search
c better result
o 3438
c local Search
c better result
o 3446
c local Search
c better result
o 3442
c local Search
c better result
o 3446
c local Search
c better result
o 3438
c local Search
c better result
o 3446
c local Search
c better result
o 3453
c local Search
c better result
o 3447
c local Search
c better result
o 3441
c local Search
c better result
o 3441
c local Search
c better result
o 3446
c local Search
c better result
o 3448
c local Search
c better result
o 3447
c local Search
c better result
o 3447
c local Search
c better result
o 3441
c local Search
c better result
o 3441
c local Search
c better result
o 3456
c local Search
c better result
o 3446
c local Search
c better result
o 3446
c local Search
c better result
o 3449
c local Search
c better result
o 3467
c local Search
c better result
o 3465
c local Search
c better result
o 3446
c local Search
c better result
o 3455
c local Search
c better result
o 3448
c local Search
c better result
o 3448
c local Search
c better result
o 3478
c local Search
c better result
o 3465
c local Search
c better result
o 3464
c local Search
c better result
o 3465
c local Search
c better result
o 3457
c local Search
c better result
o 3457
c local Search
c better result
o 3454
c local Search
c better result
o 3462
c local Sea