Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz+-wpms_industrial-_home_maxsat_benchmarks_wpms_industrial_upgradeability-problem_mancoosi-test-i4000d0u98-96.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i4000d0u98-96.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 18169 112632 61593992410
WARNING: Ubcsat not found.
o 61593992410
ERROR: Solution verification fails, real_empty = -1585526525, NB_EMPTY = 7004408067.
o 7004408067
ERROR: Solution verification fails, real_empty = -1600553114, NB_EMPTY = 6989381478.
o 6989381478
ERROR: Solution verification fails, real_empty = -1615579703, NB_EMPTY = 6974354889.
o 6974354889
ERROR: Solution verification fails, real_empty = -1630606292, NB_EMPTY = 6959328300.
o 6959328300
ERROR: Solution verification fails, real_empty = -1645632881, NB_EMPTY = 6944301711.
o 6944301711
ERROR: Solution verification fails, real_empty = -1660659470, NB_EMPTY = 6929275122.
o 6929275122
ERROR: Solution verification fails, real_empty = -1675686059, NB_EMPTY = 6914248533.
o 6914248533
ERROR: Solution verification fails, real_empty = -1690712648, NB_EMPTY = 6899221944.
o 6899221944
ERROR: Solution verification fails, real_empty = -1705739237, NB_EMPTY = 6884195355.
o 6884195355
ERROR: Solution verification fails, real_empty = -1720765826, NB_EMPTY = 6869168766.
o 6869168766
ERROR: Solution verification fails, real_empty = -1735792415, NB_EMPTY = 6854142177.
o 6854142177
ERROR: Solution verification fails, real_empty = -1750819004, NB_EMPTY = 6839115588.
o 6839115588
ERROR: Solution verification fails, real_empty = -1765845593, NB_EMPTY = 6824088999.
o 6824088999
ERROR: Solution verification fails, real_empty = -1780872182, NB_EMPTY = 6809062410.
o 6809062410
ERROR: Solution verification fails, real_empty = -1795898771, NB_EMPTY = 6794035821.
o 6794035821
ERROR: Solution verification fails, real_empty = -1810925360, NB_EMPTY = 6779009232.
o 6779009232
ERROR: Solution verification fails, real_empty = -1825951949, NB_EMPTY = 6763982643.
o 6763982643
ERROR: Solution verification fails, real_empty = -1840978538, NB_EMPTY = 6748956054.
o 6748956054
ERROR: Solution verification fails, real_empty = -1856005127, NB_EMPTY = 6733929465.
o 6733929465
ERROR: Solution verification fails, real_empty = -1871031716, NB_EMPTY = 6718902876.
o 6718902876
ERROR: Solution verification fails, real_empty = -1886058305, NB_EMPTY = 6703876287.
o 6703876287
ERROR: Solution verification fails, real_empty = -1901084894, NB_EMPTY = 6688849698.
o 6688849698
ERROR: Solution verification fails, real_empty = -1916111483, NB_EMPTY = 6673823109.
o 6673823109
ERROR: Solution verification fails, real_empty = -1931138072, NB_EMPTY = 6658796520.
o 6658796520
ERROR: Solution verification fails, real_empty = -1946164661, NB_EMPTY = 6643769931.
o 6643769931
ERROR: Solution verification fails, real_empty = -1961191250, NB_EMPTY = 6628743342.
o 6628743342
ERROR: Solution verification fails, real_empty = -1976217839, NB_EMPTY = 6613716753.
o 6613716753
ERROR: Solution verification fails, real_empty = -1991244428, NB_EMPTY = 6598690164.
o 6598690164
ERROR: Solution verification fails, real_empty = -2006271017, NB_EMPTY = 6583663575.
o 6583663575
ERROR: Solution verification fails, real_empty = -2021297606, NB_EMPTY = 6568636986.
o 6568636986
ERROR: Solution verification fails, real_empty = -2036324195, NB_EMPTY = 6553610397.
o 6553610397
ERROR: Solution verification fails, real_empty = -2051350784, NB_EMPTY = 6538583808.
o 6538583808
ERROR: Solution verification fails, real_empty = -2066377373, NB_EMPTY = 6523557219.
o 6523557219
ERROR: Solution verification fails, real_empty = -2081403962, NB_EMPTY = 6508530630.
o 6508530630
ERROR: Solution verification fails, real_empty = -2096430551, NB_EMPTY = 6493504041.
o 6493504041
ERROR: Solution verification fails, real_empty = -2111457140, NB_EMPTY = 6478477452.
o 6478477452
ERROR: Solution verification fails, real_empty = -2126483729, NB_EMPTY = 6463450863.
o 6463450863
ERROR: Solution verification fails, real_empty = -2141510318, NB_EMPTY = 6448424274.
o 6448424274
ERROR: Solution verification fails, real_empty = 2138430389, NB_EMPTY = 6433397685.
o 6433397685
ERROR: Solution verification fails, real_empty = 2123403800, NB_EMPTY = 6418371096.
o 641837Killed
1979.655u 0.047s 33:01.61 99.9%	0+0k 0+0io 0pf+0w