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-13.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i1000d0u98-13.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 = -746856660, NB_EMPTY = 3548110636.
o 3548110636
ERROR: Solution verification fails, real_empty = -761883250, NB_EMPTY = 3533084046.
o 3533084046
ERROR: Solution verification fails, real_empty = -776909839, NB_EMPTY = 3518057457.
o 3518057457
ERROR: Solution verification fails, real_empty = -791936428, NB_EMPTY = 3503030868.
o 3503030868
ERROR: Solution verification fails, real_empty = -806963017, NB_EMPTY = 3488004279.
o 3488004279
ERROR: Solution verification fails, real_empty = -821989606, NB_EMPTY = 3472977690.
o 3472977690
ERROR: Solution verification fails, real_empty = -837016195, NB_EMPTY = 3457951101.
o 3457951101
ERROR: Solution verification fails, real_empty = -852042784, NB_EMPTY = 3442924512.
o 3442924512
ERROR: Solution verification fails, real_empty = -852042785, NB_EMPTY = 3442924511.
o 3442924511
ERROR: Solution verification fails, real_empty = -867069374, NB_EMPTY = 3427897922.
o 3427897922
ERROR: Solution verification fails, real_empty = -882095963, NB_EMPTY = 3412871333.
o 3412871333
ERROR: Solution verification fails, real_empty = -897122552, NB_EMPTY = 3397844744.
o 3397844744
ERROR: Solution verification fails, real_empty = -912149141, NB_EMPTY = 3382818155.
o 3382818155
ERROR: Solution verification fails, real_empty = -927175730, NB_EMPTY = 3367791566.
o 3367791566
ERROR: Solution verification fails, real_empty = -942202319, NB_EMPTY = 3352764977.
o 3352764977
ERROR: Solution verification fails, real_empty = -957228908, NB_EMPTY = 3337738388.
o 3337738388
ERROR: Solution verification fails, real_empty = -972255497, NB_EMPTY = 3322711799.
o 3322711799
ERROR: Solution verification fails, real_empty = -987282086, NB_EMPTY = 3307685210.
o 3307685210
ERROR: Solution verification fails, real_empty = -1002308675, NB_EMPTY = 3292658621.
o 3292658621
ERROR: Solution verification fails, real_empty = -1017335264, NB_EMPTY = 3277632032.
o 3277632032
ERROR: Solution verification fails, real_empty = -1032361853, NB_EMPTY = 3262605443.
o 3262605443
ERROR: Solution verification fails, real_empty = -1047388442, NB_EMPTY = 3247578854.
o 3247578854
ERROR: Solution verification fails, real_empty = -1062415031, NB_EMPTY = 3232552265.
o 3232552265
ERROR: Solution verification fails, real_empty = -1077441620, NB_EMPTY = 3217525676.
o 3217525676
ERROR: Solution verification fails, real_empty = -1092468209, NB_EMPTY = 3202499087.
o 3202499087
ERROR: Solution verification fails, real_empty = -1107494798, NB_EMPTY = 3187472498.
o 3187472498
ERROR: Solution verification fails, real_empty = -1122521387, NB_EMPTY = 3172445909.
o 3172445909
ERROR: Solution verification fails, real_empty = -1122521388, NB_EMPTY = 3172445908.
o 3172445908
ERROR: Solution verification fails, real_empty = -1137547977, NB_EMPTY = 3157419319.
o 3157419319
ERROR: Solution verification fails, real_empty = -1152574566, NB_EMPTY = 3142392730.
o 3142392730
ERROR: Solution verification fails, real_empty = -1167601155, NB_EMPTY = 3127366141.
o 3127366141
ERROR: Solution verification fails, real_empty = -1182627744, NB_EMPTY = 3112339552.
o 3112339552
ERROR: Solution verification fails, real_empty = -1182627745, NB_EMPTY = 3112339551.
o 3112339551
ERROR: Solution verification fails, real_empty = -1197654334, NB_EMPTY = 3097312962.
o 3097312962
ERROR: Solution verification fails, real_empty = -1197654335, NB_EMPTY = 3097312961.
o 3097312961
ERROR: Solution verification fails, real_empty = -1212680924, NB_EMPTY = 3082286372.
o 3082286372
ERROR: Solution verification fails, real_empty = -1212680925, NB_EMPTY = 3082286371.
o 3082286371
ERROR: Solution verification fails, real_empty = -1227707514, NB_EMPTY = 3067259782.
o 3067259782
ERROR: Solution verification fails, real_empty = -1242734103, NB_EMPTY = 3052233193.
o 3052233193
ERROR: Solution verification fails, real_empty = -1242734104, NB_EMPTY = 3052233192.
o 3052233192
ERROR: SoluKilled
1979.629u 0.072s 33:04.36 99.7%	0+0k 0+0io 0pf+0w