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-77.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i4000d0u98-77.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 = -1239915010, NB_EMPTY = 7350019582.
o 7350019582
ERROR: Solution verification fails, real_empty = -1254941599, NB_EMPTY = 7334992993.
o 7334992993
ERROR: Solution verification fails, real_empty = -1269968188, NB_EMPTY = 7319966404.
o 7319966404
ERROR: Solution verification fails, real_empty = -1284994777, NB_EMPTY = 7304939815.
o 7304939815
ERROR: Solution verification fails, real_empty = -1300021366, NB_EMPTY = 7289913226.
o 7289913226
ERROR: Solution verification fails, real_empty = -1315047955, NB_EMPTY = 7274886637.
o 7274886637
ERROR: Solution verification fails, real_empty = -1330074544, NB_EMPTY = 7259860048.
o 7259860048
ERROR: Solution verification fails, real_empty = -1345101133, NB_EMPTY = 7244833459.
o 7244833459
ERROR: Solution verification fails, real_empty = -1345101134, NB_EMPTY = 7244833458.
o 7244833458
ERROR: Solution verification fails, real_empty = -1360127723, NB_EMPTY = 7229806869.
o 7229806869
ERROR: Solution verification fails, real_empty = -1375154312, NB_EMPTY = 7214780280.
o 7214780280
ERROR: Solution verification fails, real_empty = -1390180901, NB_EMPTY = 7199753691.
o 7199753691
ERROR: Solution verification fails, real_empty = -1405207490, NB_EMPTY = 7184727102.
o 7184727102
ERROR: Solution verification fails, real_empty = -1420234079, NB_EMPTY = 7169700513.
o 7169700513
ERROR: Solution verification fails, real_empty = -1435260668, NB_EMPTY = 7154673924.
o 7154673924
ERROR: Solution verification fails, real_empty = -1450287257, NB_EMPTY = 7139647335.
o 7139647335
ERROR: Solution verification fails, real_empty = -1465313846, NB_EMPTY = 7124620746.
o 7124620746
ERROR: Solution verification fails, real_empty = -1480340435, NB_EMPTY = 7109594157.
o 7109594157
ERROR: Solution verification fails, real_empty = -1495367024, NB_EMPTY = 7094567568.
o 7094567568
ERROR: Solution verification fails, real_empty = -1510393613, NB_EMPTY = 7079540979.
o 7079540979
ERROR: Solution verification fails, real_empty = -1525420202, NB_EMPTY = 7064514390.
o 7064514390
ERROR: Solution verification fails, real_empty = -1540446791, NB_EMPTY = 7049487801.
o 7049487801
ERROR: Solution verification fails, real_empty = -1555473380, NB_EMPTY = 7034461212.
o 7034461212
ERROR: Solution verification fails, real_empty = -1570499969, NB_EMPTY = 7019434623.
o 7019434623
ERROR: Solution verification fails, real_empty = -1570499970, NB_EMPTY = 7019434622.
o 7019434622
ERROR: Solution verification fails, real_empty = -1585526559, NB_EMPTY = 7004408033.
o 7004408033
ERROR: Solution verification fails, real_empty = -1600553148, NB_EMPTY = 6989381444.
o 6989381444
ERROR: Solution verification fails, real_empty = -1615579737, NB_EMPTY = 6974354855.
o 6974354855
ERROR: Solution verification fails, real_empty = -1630606326, NB_EMPTY = 6959328266.
o 6959328266
ERROR: Solution verification fails, real_empty = -1645632915, NB_EMPTY = 6944301677.
o 6944301677
ERROR: Solution verification fails, real_empty = -1660659504, NB_EMPTY = 6929275088.
o 6929275088
ERROR: Solution verification fails, real_empty = -1675686093, NB_EMPTY = 6914248499.
o 6914248499
ERROR: Solution verification fails, real_empty = -1690712682, NB_EMPTY = 6899221910.
o 6899221910
ERROR: Solution verification fails, real_empty = -1705739271, NB_EMPTY = 6884195321.
o 6884195321
ERROR: Solution verification fails, real_empty = -1720765860, NB_EMPTY = 6869168732.
o 6869168732
ERROR: Solution verification fails, real_empty = -1735792449, NB_EMPTY = 6854142143.
o 6854142143
ERROR: Solution verification fails, real_empty = -1750819038, NB_EMPTY = 6839115554.
o 6839115554
ERROR: Solution verification fails, real_empty = -1765845627, NB_EMPTY = 6824088965.
o 6824088965
ERROR: Solution verification fails, real_empty = -1780872216, NB_EMPTY = 6809062376.
o 6809062376
ERROR: Solution verification fails, real_empty = -1795898805, NB_EMPTY = 6794035787.
o 6794Killed
1979.636u 0.065s 33:07.76 99.5%	0+0k 0+0io 0pf+0w