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-i1000d0u98-21.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i1000d0u98-21.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 18169 112632 16514222410
WARNING: Ubcsat not found.
o 16514222410
ERROR: Solution verification fails, real_empty = -401172416, NB_EMPTY = 3893794880.
o 3893794880
ERROR: Solution verification fails, real_empty = -416199005, NB_EMPTY = 3878768291.
o 3878768291
ERROR: Solution verification fails, real_empty = -431225594, NB_EMPTY = 3863741702.
o 3863741702
ERROR: Solution verification fails, real_empty = -446252183, NB_EMPTY = 3848715113.
o 3848715113
ERROR: Solution verification fails, real_empty = -461278772, NB_EMPTY = 3833688524.
o 3833688524
ERROR: Solution verification fails, real_empty = -476305361, NB_EMPTY = 3818661935.
o 3818661935
ERROR: Solution verification fails, real_empty = -491331950, NB_EMPTY = 3803635346.
o 3803635346
ERROR: Solution verification fails, real_empty = -506358539, NB_EMPTY = 3788608757.
o 3788608757
ERROR: Solution verification fails, real_empty = -521385128, NB_EMPTY = 3773582168.
o 3773582168
ERROR: Solution verification fails, real_empty = -536411717, NB_EMPTY = 3758555579.
o 3758555579
ERROR: Solution verification fails, real_empty = -551438306, NB_EMPTY = 3743528990.
o 3743528990
ERROR: Solution verification fails, real_empty = -566464895, NB_EMPTY = 3728502401.
o 3728502401
ERROR: Solution verification fails, real_empty = -581491484, NB_EMPTY = 3713475812.
o 3713475812
ERROR: Solution verification fails, real_empty = -596518073, NB_EMPTY = 3698449223.
o 3698449223
ERROR: Solution verification fails, real_empty = -611544662, NB_EMPTY = 3683422634.
o 3683422634
ERROR: Solution verification fails, real_empty = -626571251, NB_EMPTY = 3668396045.
o 3668396045
ERROR: Solution verification fails, real_empty = -641597840, NB_EMPTY = 3653369456.
o 3653369456
ERROR: Solution verification fails, real_empty = -656624429, NB_EMPTY = 3638342867.
o 3638342867
ERROR: Solution verification fails, real_empty = -671651018, NB_EMPTY = 3623316278.
o 3623316278
ERROR: Solution verification fails, real_empty = -671651019, NB_EMPTY = 3623316277.
o 3623316277
ERROR: Solution verification fails, real_empty = -686677608, NB_EMPTY = 3608289688.
o 3608289688
ERROR: Solution verification fails, real_empty = -701704197, NB_EMPTY = 3593263099.
o 3593263099
ERROR: Solution verification fails, real_empty = -716730786, NB_EMPTY = 3578236510.
o 3578236510
ERROR: Solution verification fails, real_empty = -731757375, NB_EMPTY = 3563209921.
o 3563209921
ERROR: Solution verification fails, real_empty = -731757376, NB_EMPTY = 3563209920.
o 3563209920
ERROR: Solution verification fails, real_empty = -746783965, NB_EMPTY = 3548183331.
o 3548183331
ERROR: Solution verification fails, real_empty = -746783966, NB_EMPTY = 3548183330.
o 3548183330
ERROR: Solution verification fails, real_empty = -761810555, NB_EMPTY = 3533156741.
o 3533156741
ERROR: Solution verification fails, real_empty = -761810556, NB_EMPTY = 3533156740.
o 3533156740
ERROR: Solution verification fails, real_empty = -776837145, NB_EMPTY = 3518130151.
o 3518130151
ERROR: Solution verification fails, real_empty = -776837146, NB_EMPTY = 3518130150.
o 3518130150
ERROR: Solution verification fails, real_empty = -791863735, NB_EMPTY = 3503103561.
o 3503103561
ERROR: Solution verification fails, real_empty = -806890324, NB_EMPTY = 3488076972.
o 3488076972
ERROR: Solution verification fails, real_empty = -821916913, NB_EMPTY = 3473050383.
o 3473050383
ERROR: Solution verification fails, real_empty = -836943502, NB_EMPTY = 3458023794.
o 3458023794
ERROR: Solution verification fails, real_empty = -851970091, NB_EMPTY = 3442997205.
o 3442997205
ERROR: Solution verification fails, real_empty = -866996680, NB_EMPTY = 3427970616.
o 3427970616
ERROR: Solution verification fails, real_empty = -882023269, NB_EMPTY = 3412944027.
o 3412944027
ERROR: Solution verification fails, real_empty = -897049858, NB_EMPTY = 3397917438.
o 3397917438
ERROR: Solution verification fails, real_empty = -897049859, NB_EMPTY = 3397917437.
o 3397917437
ERROR: Solution verification failKilled
1979.592u 0.110s 33:04.42 99.7%	0+0k 0+0io 0pf+0w