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-75.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i4000d0u98-75.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 = -1615561584, NB_EMPTY = 6974373008.
o 6974373008
ERROR: Solution verification fails, real_empty = -1630588173, NB_EMPTY = 6959346419.
o 6959346419
ERROR: Solution verification fails, real_empty = -1645614762, NB_EMPTY = 6944319830.
o 6944319830
ERROR: Solution verification fails, real_empty = -1660641351, NB_EMPTY = 6929293241.
o 6929293241
ERROR: Solution verification fails, real_empty = -1675667940, NB_EMPTY = 6914266652.
o 6914266652
ERROR: Solution verification fails, real_empty = -1690694529, NB_EMPTY = 6899240063.
o 6899240063
ERROR: Solution verification fails, real_empty = -1705721118, NB_EMPTY = 6884213474.
o 6884213474
ERROR: Solution verification fails, real_empty = -1720747707, NB_EMPTY = 6869186885.
o 6869186885
ERROR: Solution verification fails, real_empty = -1735774296, NB_EMPTY = 6854160296.
o 6854160296
ERROR: Solution verification fails, real_empty = -1750800885, NB_EMPTY = 6839133707.
o 6839133707
ERROR: Solution verification fails, real_empty = -1765827474, NB_EMPTY = 6824107118.
o 6824107118
ERROR: Solution verification fails, real_empty = -1780854063, NB_EMPTY = 6809080529.
o 6809080529
ERROR: Solution verification fails, real_empty = -1795880652, NB_EMPTY = 6794053940.
o 6794053940
ERROR: Solution verification fails, real_empty = -1810907241, NB_EMPTY = 6779027351.
o 6779027351
ERROR: Solution verification fails, real_empty = -1825933830, NB_EMPTY = 6764000762.
o 6764000762
ERROR: Solution verification fails, real_empty = -1840960419, NB_EMPTY = 6748974173.
o 6748974173
ERROR: Solution verification fails, real_empty = -1855987008, NB_EMPTY = 6733947584.
o 6733947584
ERROR: Solution verification fails, real_empty = -1871013597, NB_EMPTY = 6718920995.
o 6718920995
ERROR: Solution verification fails, real_empty = -1886040186, NB_EMPTY = 6703894406.
o 6703894406
ERROR: Solution verification fails, real_empty = -1901066775, NB_EMPTY = 6688867817.
o 6688867817
ERROR: Solution verification fails, real_empty = -1901066776, NB_EMPTY = 6688867816.
o 6688867816
ERROR: Solution verification fails, real_empty = -1916093365, NB_EMPTY = 6673841227.
o 6673841227
ERROR: Solution verification fails, real_empty = -1931119954, NB_EMPTY = 6658814638.
o 6658814638
ERROR: Solution verification fails, real_empty = -1946146543, NB_EMPTY = 6643788049.
o 6643788049
ERROR: Solution verification fails, real_empty = -1961173132, NB_EMPTY = 6628761460.
o 6628761460
ERROR: Solution verification fails, real_empty = -1976199721, NB_EMPTY = 6613734871.
o 6613734871
ERROR: Solution verification fails, real_empty = -1991226310, NB_EMPTY = 6598708282.
o 6598708282
ERROR: Solution verification fails, real_empty = -2006252899, NB_EMPTY = 6583681693.
o 6583681693
ERROR: Solution verification fails, real_empty = -2021279488, NB_EMPTY = 6568655104.
o 6568655104
ERROR: Solution verification fails, real_empty = -2021279489, NB_EMPTY = 6568655103.
o 6568655103
ERROR: Solution verification fails, real_empty = -2036306078, NB_EMPTY = 6553628514.
o 6553628514
ERROR: Solution verification fails, real_empty = -2051332667, NB_EMPTY = 6538601925.
o 6538601925
ERROR: Solution verification fails, real_empty = -2066359256, NB_EMPTY = 6523575336.
o 6523575336
ERROR: Solution verification fails, real_empty = -2081385845, NB_EMPTY = 6508548747.
o 6508548747
ERROR: Solution verification fails, real_empty = -2096412434, NB_EMPTY = 6493522158.
o 6493522158
ERROR: Solution verification fails, real_empty = -2111439023, NB_EMPTY = 6478495569.
o 6478495569
ERROR: Solution verification fails, real_empty = -2126465612, NB_EMPTY = 6463468980.
o 6463468980
ERROR: Solution verification fails, real_empty = -2141492201, NB_EMPTY = 6448442391.
o 6448442391
ERROR: Solution verification fails, real_empty = 2138448506, NB_EMPTY = 6433415802.
o 6433415802
ERROR: Solution verification fails, real_empty = 2123421917, NB_EMPTY = 6418389213.
o 641838Killed
1979.632u 0.070s 33:00.39 99.9%	0+0k 0+0io 0pf+0w