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-90.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i4000d0u98-90.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 = -1645669268, NB_EMPTY = 6944265324.
o 6944265324
ERROR: Solution verification fails, real_empty = -1660695857, NB_EMPTY = 6929238735.
o 6929238735
ERROR: Solution verification fails, real_empty = -1675722446, NB_EMPTY = 6914212146.
o 6914212146
ERROR: Solution verification fails, real_empty = -1690749035, NB_EMPTY = 6899185557.
o 6899185557
ERROR: Solution verification fails, real_empty = -1705775624, NB_EMPTY = 6884158968.
o 6884158968
ERROR: Solution verification fails, real_empty = -1720802213, NB_EMPTY = 6869132379.
o 6869132379
ERROR: Solution verification fails, real_empty = -1735828802, NB_EMPTY = 6854105790.
o 6854105790
ERROR: Solution verification fails, real_empty = -1750855391, NB_EMPTY = 6839079201.
o 6839079201
ERROR: Solution verification fails, real_empty = -1765881980, NB_EMPTY = 6824052612.
o 6824052612
ERROR: Solution verification fails, real_empty = -1780908569, NB_EMPTY = 6809026023.
o 6809026023
ERROR: Solution verification fails, real_empty = -1795935158, NB_EMPTY = 6793999434.
o 6793999434
ERROR: Solution verification fails, real_empty = -1810961747, NB_EMPTY = 6778972845.
o 6778972845
ERROR: Solution verification fails, real_empty = -1825988336, NB_EMPTY = 6763946256.
o 6763946256
ERROR: Solution verification fails, real_empty = -1841014925, NB_EMPTY = 6748919667.
o 6748919667
ERROR: Solution verification fails, real_empty = -1856041514, NB_EMPTY = 6733893078.
o 6733893078
ERROR: Solution verification fails, real_empty = -1871068103, NB_EMPTY = 6718866489.
o 6718866489
ERROR: Solution verification fails, real_empty = -1871068104, NB_EMPTY = 6718866488.
o 6718866488
ERROR: Solution verification fails, real_empty = -1886094693, NB_EMPTY = 6703839899.
o 6703839899
ERROR: Solution verification fails, real_empty = -1901121282, NB_EMPTY = 6688813310.
o 6688813310
ERROR: Solution verification fails, real_empty = -1901121283, NB_EMPTY = 6688813309.
o 6688813309
ERROR: Solution verification fails, real_empty = -1916147872, NB_EMPTY = 6673786720.
o 6673786720
ERROR: Solution verification fails, real_empty = -1931174461, NB_EMPTY = 6658760131.
o 6658760131
ERROR: Solution verification fails, real_empty = -1946201050, NB_EMPTY = 6643733542.
o 6643733542
ERROR: Solution verification fails, real_empty = -1961227639, NB_EMPTY = 6628706953.
o 6628706953
ERROR: Solution verification fails, real_empty = -1961227640, NB_EMPTY = 6628706952.
o 6628706952
ERROR: Solution verification fails, real_empty = -1976254229, NB_EMPTY = 6613680363.
o 6613680363
ERROR: Solution verification fails, real_empty = -1991280818, NB_EMPTY = 6598653774.
o 6598653774
ERROR: Solution verification fails, real_empty = -2006307407, NB_EMPTY = 6583627185.
o 6583627185
ERROR: Solution verification fails, real_empty = -2021333996, NB_EMPTY = 6568600596.
o 6568600596
ERROR: Solution verification fails, real_empty = -2036360585, NB_EMPTY = 6553574007.
o 6553574007
ERROR: Solution verification fails, real_empty = -2051387174, NB_EMPTY = 6538547418.
o 6538547418
ERROR: Solution verification fails, real_empty = -2066413763, NB_EMPTY = 6523520829.
o 6523520829
ERROR: Solution verification fails, real_empty = -2081440352, NB_EMPTY = 6508494240.
o 6508494240
ERROR: Solution verification fails, real_empty = -2096466941, NB_EMPTY = 6493467651.
o 6493467651
ERROR: Solution verification fails, real_empty = -2111493530, NB_EMPTY = 6478441062.
o 6478441062
ERROR: Solution verification fails, real_empty = -2126520119, NB_EMPTY = 6463414473.
o 6463414473
ERROR: Solution verification fails, real_empty = -2141546708, NB_EMPTY = 6448387884.
o 6448387884
ERROR: Solution verification fails, real_empty = 2138393999, NB_EMPTY = 6433361295.
o 6433361295
ERROR: Solution verification fails, real_empty = 2123367410, NB_EMPTY = 6418334706.
o 6418334706
ERROR: Solution verification fails, real_empty = 2108340821, NB_EMPTY = 6403308117.
o 6403308Killed
1979.621u 0.080s 33:00.58 99.9%	0+0k 0+0io 0pf+0w