Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz-2009-wpms_industrial-_home_maxsat_benchmarks_wpms_industrial_upgradeability-problem_mancoosi-test-i1000d0u98-1.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i1000d0u98-1.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
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 = -386454702, NB_EMPTY = 3908512594.
o 3908512594
ERROR: Solution verification fails, real_empty = -401481291, NB_EMPTY = 3893486005.
o 3893486005
ERROR: Solution verification fails, real_empty = -416507880, NB_EMPTY = 3878459416.
o 3878459416
ERROR: Solution verification fails, real_empty = -431534469, NB_EMPTY = 3863432827.
o 3863432827
ERROR: Solution verification fails, real_empty = -446561058, NB_EMPTY = 3848406238.
o 3848406238
ERROR: Solution verification fails, real_empty = -461587647, NB_EMPTY = 3833379649.
o 3833379649
ERROR: Solution verification fails, real_empty = -476614236, NB_EMPTY = 3818353060.
o 3818353060
ERROR: Solution verification fails, real_empty = -491640825, NB_EMPTY = 3803326471.
o 3803326471
ERROR: Solution verification fails, real_empty = -506667414, NB_EMPTY = 3788299882.
o 3788299882
ERROR: Solution verification fails, real_empty = -521694003, NB_EMPTY = 3773273293.
o 3773273293
ERROR: Solution verification fails, real_empty = -536720592, NB_EMPTY = 3758246704.
o 3758246704
ERROR: Solution verification fails, real_empty = -551747181, NB_EMPTY = 3743220115.
o 3743220115
ERROR: Solution verification fails, real_empty = -566773770, NB_EMPTY = 3728193526.
o 3728193526
ERROR: Solution verification fails, real_empty = -581800359, NB_EMPTY = 3713166937.
o 3713166937
ERROR: Solution verification fails, real_empty = -596826948, NB_EMPTY = 3698140348.
o 3698140348
ERROR: Solution verification fails, real_empty = -611853537, NB_EMPTY = 3683113759.
o 3683113759
ERROR: Solution verification fails, real_empty = -626880126, NB_EMPTY = 3668087170.
o 3668087170
ERROR: Solution verification fails, real_empty = -641906715, NB_EMPTY = 3653060581.
o 3653060581
ERROR: Solution verification fails, real_empty = -656933304, NB_EMPTY = 3638033992.
o 3638033992
ERROR: Solution verification fails, real_empty = -671959893, NB_EMPTY = 3623007403.
o 3623007403
ERROR: Solution verification fails, real_empty = -686986482, NB_EMPTY = 3607980814.
o 3607980814
ERROR: Solution verification fails, real_empty = -702013071, NB_EMPTY = 3592954225.
o 3592954225
ERROR: Solution verification fails, real_empty = -717039660, NB_EMPTY = 3577927636.
o 3577927636
ERROR: Solution verification fails, real_empty = -732066249, NB_EMPTY = 3562901047.
o 3562901047
ERROR: Solution verification fails, real_empty = -747092838, NB_EMPTY = 3547874458.
o 3547874458
ERROR: Solution verification fails, real_empty = -762119427, NB_EMPTY = 3532847869.
o 3532847869
ERROR: Solution verification fails, real_empty = -777146016, NB_EMPTY = 3517821280.
o 3517821280
ERROR: Solution verification fails, real_empty = -792172605, NB_EMPTY = 3502794691.
o 3502794691
ERROR: Solution verification fails, real_empty = -807199194, NB_EMPTY = 3487768102.
o 3487768102
ERROR: Solution verification fails, real_empty = -822225783, NB_EMPTY = 3472741513.
o 3472741513
ERROR: Solution verification fails, real_empty = -837252372, NB_EMPTY = 3457714924.
o 3457714924
ERROR: Solution verification fails, real_empty = -852278961, NB_EMPTY = 3442688335.
o 3442688335
ERROR: Solution verification fails, real_empty = -867305550, NB_EMPTY = 3427661746.
o 3427661746
ERROR: Solution verification fails, real_empty = -882332139, NB_EMPTY = 3412635157.
o 3412635157
ERROR: Solution verification fails, real_empty = -897358728, NB_EMPTY = 3397608568.
o 3397608568
ERROR: Solution verification fails, real_empty = -897358729, NB_EMPTY = 3397608567.
o 3397608567
ERROR: Solution verification fails, real_empty = -912385318, NB_EMPTY = 3382581978.
o 3382581978
ERROR: Solution verification fails, real_empty = -927411907, NB_EMPTY = 3367555389.
o 3367555389
ERROR: Solution verification fails, real_empty = -927411908, NB_EMPTY = 3367555388.
o 3367555388
ERROR: Solution verification fails, real_empty = -942438497, NB_EMPTY = 3352528799.
o 3352528799
ERROR: Solution verification failKilled
1979.616u 0.086s 33:04.39 99.7%	0+0k 0+0io 0pf+0w