Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-LSW_Power-pms_random-_home_maxsat_benchmarks_pms_random_pmax3sat_hi_file_rpms_wcnf_L3_V100_C600_H100_4.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax3sat/hi/file_rpms_wcnf_L3_V100_C600_H100_4.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 100 600 600
c WARNING: Ubcsat not found.
o 600
c local Search
c better result
o 625
c local Search
c better result
o 625
c local Search
c better result
o 625
c local Search
c better result
o 625
c local Search
c better result
o 622
c local Search
c better result
o 22
c local Search
c better result
o 21
c local Search
c better result
o 22
c local Search
c better result
o 22
c local Search
o 20
c local Search
c better result
o 20
c local Search
c better result
o 20
c local Search
o 19
c local Search
c better result
o 19
c local Search
c better result
o 618
c local Search
c better result
o 21
c local Search
c better result
o 618
c local Search
c better result
o 19
c local Search
o 18
c local Search
c better result
o 1218
c local Search
c better result
o 1221
c local Search
c better result
o 1221
c local Search
c better result
o 1219
c local Search
c better result
o 1219
c local Search
c better result
o 2423
c local Search
c better result
o 2424
c local Search
c better result
o 1218
c local Search
c better result
o 1220
c local Search
c better result
o 1822
c local Search
c better result
o 1821
c local Search
c better result
o 2423
c local Search
c better result
o 1824
c local Search
c better result
o 1824
c local Search
c better result
o 1824
c local Search
c better result
o 1820
c local Search
c better result
o 1820
c local Search
c better result
o 1225
c local Search
c better result
o 1224
c local Search
c better result
o 1825
c local Search
o 23
c local Search
c better result
o 1821
c local Search
c better result
o 1821
c local Search
c better result
o 1822
c local Search
c better result
o 1223
c local Search
c better result
o 1223
c local Search
c better result
o 1821
c local Search
c better result
o 1223
c local Search
c better result
o 1822
c local Search
c better result
o 1822
c local Search
c better result
o 1822
c local Search
c better result
o 1822
c local Search
c better result
o 621
c local Search
o 19
c local Search
c better result
o 1218
c local Search
c better result
o 1218
c local Search
c better result
o 1221
c local Search
c better result
o 1222
c local Search
c better result
o 1823
c local Search
c better result
o 1823
c local Search
c better result
o 1224
c local Search
c better result
o 620
c local Search
c better result
o 620
c local Search
c better result
o 621
c local Search
o 20
c local Search
c better result
o 1219
c local Search
c better result
o 1219
c local Search
c better result
o 1221
c local Search
c better result
o 1221
c local Search
c better result
o 1221
c local Search
c better result
o 1221
c local Search
c better result
o 1221
c local Search
c better result
o 1221
c local Search
c better result
o 1220
c local Search
c better result
o 1820
c local Search
c better result
o 1820
c local Search
c better result
o 1222
c local Search
c better result
o 1223
c local Search
c better result
o 1223
c local Search
c better result
o 1223
c local Search
c better result
o 1220
c local Search
c better result
o 1220
c local Search
c better result
o 1222
c local Search
c better result
o 1222
c local Search
c better result
o 1222
c local Search
c better result
o 1223
c local Search
c better result
o 1222
c local Search
c better result
o 1225
c local Search
c better result
o 1220
c local Search
c better result
o 1220
c local Search
c better result
o 1221
c local Search
c better result
o 1222
c local Search
c better result
o 1219
c local Search
c better result
o 1218
c local Search
c better result
o 1222
c local Search
c better result
o 1222
c local Search
c better result
o 1222
c local Search
c better result
o 1222
c local Search
c better result
o 1221
c local Search
c better result
o 1222
c local Search
c better result
o 1222
c local Search
c better result
o 1222
c local Search
c better result
o 1223
c local Search
c better result
o 1223
c local Search
c better result
o 1223
c local Search
c better result
o 1223
c local Search
c better result
o 1224
c local Search
c better result
o 1224
c local Search
c better result
o 1221
c local Search
c better result
o 1222
c local Search
c better result
o 1221
c local Search
c better result
o 1222
c local Search
c better result
o 1222
c local Search
c better result
o 1223
c local Search
c better result
o 1222
c local Search
c better result
o 1223
c local Search
c better result
o 1220
c local Search
c better result
o 1220
c local Search
c better result
o 1222
c local Search
c better result
o 1221
c local Search
c better result
o 1222
c local Search
c better result
o 1222
c local Search
c better result
o 1223
c local Search
c better result
o 1223
c local Search
c better result
o 1223
c local Search
c better result
o 1223
c local Search
c better result
o 1219
c local Search
c better result
o 1219
c local Search
c better result
o 1820
c local Search
c better result
o 1821
c local Search
c better result
o 1822
c local Search
c better result
o 1819
c local Search
c better result
o 1821
c local Search
c better result
o 1822
c local Search
c better result
o 1822
c local Search
c better result
o 1821
c local Search
c better result
o 1821
c local Search
c better result
o 1821
c local Search
c better result
o 1821
c local Search
c better result
o 1823
c local Search
c better result
o 1821
c local Search
c better result
o 1821
c local Search
c better result
o 1822
c local Search
c better result
o 1823
c local Search
c better result
o 1823
c local Search
c better result
o 1822
c local Search
c better result
o 1820
c local Search
c better result
o 1821
c local Search
c better result
o 1825
c local Search
c better result
o 1823
c local Search
c better result
o 1219
c local Search
c better result
o 1219
c local Search
c better result
o 1220
c local Search
c better result
o 1220
c local Search
c better result
o 1221
c local Search
c better result
o 1221
c local Search
c better result
o 1221
c local Search
c better result
o 1221
c local Search
c better result
o 1221
c local Search
c better result
o 1221
c local Search
c better result
o 1221
c local Search
c better result
o 1221
c local Search
c better result
o 1220
c local Search
c better result
o 1222
c local Search
o 22
c local Search
c better result
o 1820
c local Search
c better result
o 1223
c local Search
c better result
o 1223
c local Search
c better result
o 1223
c local Search
c better result
o 1223
c local Search
c better result
o 1223
c local Search
c better result
o 1222
c local Search
c better result
o 1222
c local Search
c better result
o 1222
c local Search
c better result
o 1222
c local Search
o 20
c local Search
c better result
o 1219
c local Search
c better result
o 1219
c local Search
c better result
o 1222
c local Search
c better result
o 1222
c local Search
c better result
o 1222
c local Search
c better result
o 1222
c local Search
c better result
o 1220
c local Search
c better result
o 1220
c local Search
c better result
o 1220
c local Search
c better result
o 1221
c local Search
c better result
o 1218
c local Search
c better result
o 1218
c local Search
c better result
o 1218
c local Search
c better result
o 1220
c local Search
c better result
o 622
c local Search
c better result
o 622
c local Search
c better result
o 1223
c local Search
c better result
o 1222
c local Search
c better result
o 1218
c local Search
c better result
o 1218
c local Search
c better result
o 1822
c local Search
c better result
o 1822
c local Search
c better result
o 1821
c local Search
c better result
o 1822
c local Search
c better result
o 1821
c local Search
c better result
o 1821
c local Search
c better result
o 1220
c local Search
c better result
o 1220
c local Search
c better result
o 1220
c local Search
c better result
o 1220
c local Search
c better result
o 1221
c local Search
c better result
o 1224
c local Search
c better result
o 1222
c local Search
c better result
o 1222
c local Search
c better result
o 1818
c local Search
c better result
o 1818
c local Search
c better result
o 2421
c local Search
c better result
o 2421
c local Search
c better result
o 1223
c local Search
c better result
o 1222
c local Search
c better result
o 1223
c local Search
c better result
o 1223
c local Search
c better result
o 1827
c local Search
c better result
o 1827
c local Search
c better result
o 1223
c local Search
c better result
o 1823
c local Search
c better result
o 1828
c local Search
c better result
o 1220
c local Search
c better result
o 1826
c local Search
c better result
o 1220
c local Search
c better result
o 1221
c local Search
c better result
o 1220
c local Search
c better result
o 1220
c local Search
c better result
o 1220
c local Search
c better result
o 1220
c local Search
c better result
o 1220
c local Search
c better result
o 1818
c local Search
c better result
o 1220
c local Search
c better result
o 2425
c local Search
c better result
o 1818
c local Search
c better result
o 1220
c local Search
c better result
o 1220
c local Search
c better result
o 1820
c local Search
c better result
o 1820
c local Search
c better result
o 1221
c local Search
c better result
o 1220
c local Search
c better result
o 1221
c local Search
c better result
o 1219
c local Search
c better result
o 1222
c local Search
c better result
o 1222
c local Search
c better result
o 1222
c local Search
c better result
o 1222
c local Search
c better result
o 1224
c local Search
c better result
o 1224
c local Search
c better result
o 1222
c local Search
c better result
o 1222
c local Search
c better result
o 1220
c local Search
c better result
o 1220
c local Search
c better result
o 1220
c local Search
c better result
o 1220
c local Search
c better result
o 1222
c local Search
o 21
c local Search
c better result
o 1218
c local Search
c better result
o 1218
c local Search
c better result
o 1822
c local Search
c better result
o 1219
c local Search
c better result
o 623
c local Search
c better result
o 620
c local Search
c better result
o 1219
c local Search
c better result
o 1219
c local Search
c better result
o 1221
c local Search
c better result
o 1221
c local Search
c better result
o 1225
c local Search
c better result
o 1227
c local Search
c better result
o 2426
c local Search
c better result
o 1824
c local Search
c better result
o 1223
c local Search
c better result
o 1223
c local Search
c better result
o 1819
c local Search
c better result
o 2421
c local Search
c better result
o 1826
c local Search
c better result
o 1826
c local Search
c better result
o 1819
c local Search
c better result
o 1819
c local Search
c better result
o 1219
c local Search
c better result
o 1221
c local Search
c better result
o 1819
c local Search
c better result
o 1820
c local Search
c better result
o 1221
c local Search
c better result
o 1221
c local Search
c better result
o 1220
c local Search
c better result
o 1219
c local Search
c better result
o 1224
c local Search
c better result
o 1224
c local Search
c better result
o 1222
c local Search
c better result
o 1222
c local Search
c better result
o 1218
c local Search
c better result
o 1221
c local Search
c better result
o 1219
c local Search
c better result
o 1219
c local Search
c better result
o 1221
c local Search
c better result
o 1221
c local Search
c better result
o 1826
c local Search
c better result
o 1825
c local Search
c better result
o 1220
c local Search
c better result
o 1219
c local Search
c better result
o 1826
c local Search
c better result
o 1826
c local Search
c better result
o 1822
c local Search
c better result
o 1821
c local Search
c better result
o 1219
c local Search
c better result
o 1220
c local Search
c better result
o 1224
c local Search
c better result
o 1823
c local Search
c better result
o 1821
c local Search
c better result
o 1820
c local Search
c better result
o 1223
c local Search
c better result
o 1222
c local Search
c better result
o 1219
c local Search
c better result
o 1219
c local Search
c better result
o 1826
c local Search
c better result
o 1826
c local Search
c better result
o 1822
c local Search
c better result
o 1821
c local Search
c better result
o 1824
c local Search
c better result
o 1826
c local Search
c better result
o 1222
c local Search
c better result
o 1222
c local Search
c better result
o 1221
c local Search
c better result
o 1223
c local Search
c better result
o 1222
c local Search
c better result
o 1223
c local Search
c better result
o 1220
c local Search
c better result
o 1223
c local Search
c better result
o 1222
c local Search
c better result
o 1222
c local Search
c better result
o 1220
c local Search
c better result
o 1220
c local Search
c better result
o 1221
c local Search
c better result
o 1221
c local Search
c better result
o 1220
c local Search
c better result
o 1220
c local Search
c better result
o 1223
c local Search
o 23
c local Search
c better result
o 1221
c local Search
c better result
o 622
c local Search
c better result
o 1220
c local Search
c better result
o 1222
c local Search
c better result
o 1222
c local Search
c better result
o 1223
c local Search
c better result
o 1223
c local Search
c better result
o 1223
c local Search
c better result
o 1223
c local Search
c better result
o 1223
c local Search
c better result
o 1224
c local Search
c better result
o 1223
c local Search
c better result
o 1225
c local Search
c better result
o 1220
c local Search
c better result
o 1220
c local Search
c better result
o 1220
c local Search
c better result
o 1220
c local Search
c better result
o 1220
c local Search
c better result
o 1821
c local Search
c better result
o 1821
c local Search
c better result
o 1823
c local Search
c better result
o 1822
c local Search
c better result
o 1222
c local Search
c better result
o 1821
c local Search
c better result
o 622
c local Search
c better result
o 622
c local Search
c better result
o 1818
c local Search
c better result
o 1822
c local Search
c better result
o 1822
c local Search
c better result
o 1822
c local Search
c better result
o 1823
c local Search
c better result
o 1823
c local Search
c better result
o 1823
c local Search
c better result
o 1821
c local Search
c better result
o 1826
c local Search
c better result
o 1223
c local Search
c better result
o 1826
c local Search
c better result
o 1224
c local Search
c better result
o 1223
c local Search
c better result
o 1224
c local Search
c better result
o 1224
c local Search
c better result
o 1223
c local Search
c better result
o 1224
c local Search
c better result
o 1223
c local Search
c better result
o 1223
c local Search
c better result
o 1224
c local Search
c better result
o 1824
c local Search
c better result
o 626
c local Search
c better result
o 1226
c local Search
c better result
o 1223
c local Search
c better result
o 1224
c local Search
c better result
o 1221
c local Search
c better result
o 622
c local Search
c better result
o 1220
c local Search
c better result
o 1222
c local Search
c better result
o 1223
c local Search
c better result
o 1226
c local Search
c better result
o 1826
c local Search
c better result
o 1827
c local Search
c better result
o 1821
c local Search
c better result
o 1827
c local Search
c better result
o 1827
c local Search
c better result
o 1222
c local Search
c better result
o 1222
c local Search
c better result
o 1224
c local Search
c better result
o 1224
c local Search
c better result
o 1226
c local Search
c better result
o 1826
c local Search
c better result
o 1224
c local Search
c better result
o 1823
c local Search
c better result
o 1822
c local Search
c better result
o 1822
c local Search
c better result
o 1824
c local Search
c better result
o 1825
c local Search
c better result
o 1223
c local Search
c better result
o 1821
c local Search
c better result
o 1222
c local Search
c better result
o 1822
c local Search
c better result
o 1822
c local Search
c better result
o 1822
c local Search
c better result
o 1821
c local Search
c better result
o 1823
c local Search
c better result
o 1823
c local Search
c better result
o 1823
c local Search
c better result
o 1225
c local Search
c better result
o 1225
c local Search
c better result
o 1822
c local Search
c better result
o 1823
c local Search
c better result
o 1821
c local Search
c better result
o 1823
c local Search
c better result
o 1225
c local Search
c better result
o 1225
c local Search
c better result
o 1227
c local Search
c better result
o 1225
c local Search
c better result
o 1225
c local Search
c better result
o 2425
c