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-92.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i4000d0u98-92.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 = -1134747054, NB_EMPTY = 7455187538.
o 7455187538
ERROR: Solution verification fails, real_empty = -1149773643, NB_EMPTY = 7440160949.
o 7440160949
ERROR: Solution verification fails, real_empty = -1164800232, NB_EMPTY = 7425134360.
o 7425134360
ERROR: Solution verification fails, real_empty = -1179826821, NB_EMPTY = 7410107771.
o 7410107771
ERROR: Solution verification fails, real_empty = -1194853410, NB_EMPTY = 7395081182.
o 7395081182
ERROR: Solution verification fails, real_empty = -1209879999, NB_EMPTY = 7380054593.
o 7380054593
ERROR: Solution verification fails, real_empty = -1209880000, NB_EMPTY = 7380054592.
o 7380054592
ERROR: Solution verification fails, real_empty = -1224906589, NB_EMPTY = 7365028003.
o 7365028003
ERROR: Solution verification fails, real_empty = -1239933178, NB_EMPTY = 7350001414.
o 7350001414
ERROR: Solution verification fails, real_empty = -1254959767, NB_EMPTY = 7334974825.
o 7334974825
ERROR: Solution verification fails, real_empty = -1269986356, NB_EMPTY = 7319948236.
o 7319948236
ERROR: Solution verification fails, real_empty = -1269986357, NB_EMPTY = 7319948235.
o 7319948235
ERROR: Solution verification fails, real_empty = -1285012946, NB_EMPTY = 7304921646.
o 7304921646
ERROR: Solution verification fails, real_empty = -1285012947, NB_EMPTY = 7304921645.
o 7304921645
ERROR: Solution verification fails, real_empty = -1300039536, NB_EMPTY = 7289895056.
o 7289895056
ERROR: Solution verification fails, real_empty = -1315066125, NB_EMPTY = 7274868467.
o 7274868467
ERROR: Solution verification fails, real_empty = -1330092714, NB_EMPTY = 7259841878.
o 7259841878
ERROR: Solution verification fails, real_empty = -1345119303, NB_EMPTY = 7244815289.
o 7244815289
ERROR: Solution verification fails, real_empty = -1360145892, NB_EMPTY = 7229788700.
o 7229788700
ERROR: Solution verification fails, real_empty = -1375172481, NB_EMPTY = 7214762111.
o 7214762111
ERROR: Solution verification fails, real_empty = -1390199070, NB_EMPTY = 7199735522.
o 7199735522
ERROR: Solution verification fails, real_empty = -1405225659, NB_EMPTY = 7184708933.
o 7184708933
ERROR: Solution verification fails, real_empty = -1405225660, NB_EMPTY = 7184708932.
o 7184708932
ERROR: Solution verification fails, real_empty = -1420252249, NB_EMPTY = 7169682343.
o 7169682343
ERROR: Solution verification fails, real_empty = -1435278838, NB_EMPTY = 7154655754.
o 7154655754
ERROR: Solution verification fails, real_empty = -1450305427, NB_EMPTY = 7139629165.
o 7139629165
ERROR: Solution verification fails, real_empty = -1465332016, NB_EMPTY = 7124602576.
o 7124602576
ERROR: Solution verification fails, real_empty = -1480358605, NB_EMPTY = 7109575987.
o 7109575987
ERROR: Solution verification fails, real_empty = -1495385194, NB_EMPTY = 7094549398.
o 7094549398
ERROR: Solution verification fails, real_empty = -1510411783, NB_EMPTY = 7079522809.
o 7079522809
ERROR: Solution verification fails, real_empty = -1525438372, NB_EMPTY = 7064496220.
o 7064496220
ERROR: Solution verification fails, real_empty = -1540464961, NB_EMPTY = 7049469631.
o 7049469631
ERROR: Solution verification fails, real_empty = -1555491550, NB_EMPTY = 7034443042.
o 7034443042
ERROR: Solution verification fails, real_empty = -1555491551, NB_EMPTY = 7034443041.
o 7034443041
ERROR: Solution verification fails, real_empty = -1570518140, NB_EMPTY = 7019416452.
o 7019416452
ERROR: Solution verification fails, real_empty = -1585544729, NB_EMPTY = 7004389863.
o 7004389863
ERROR: Solution verification fails, real_empty = -1600571318, NB_EMPTY = 6989363274.
o 6989363274
ERROR: Solution verification fails, real_empty = -1615597907, NB_EMPTY = 6974336685.
o 6974336685
ERROR: Solution verification fails, real_empty = -1630624496, NB_EMPTY = 6959310096.
o 6959310096
ERROR: Solution verification fails, real_empty = -1645651085, NB_EMPTY = 6944283507.
o 6944Killed
1979.505u 0.196s 33:06.71 99.6%	0+0k 0+0io 0pf+0w