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-12.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i1000d0u98-12.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 = -701758752, NB_EMPTY = 3593208544.
o 3593208544
ERROR: Solution verification fails, real_empty = -716785341, NB_EMPTY = 3578181955.
o 3578181955
ERROR: Solution verification fails, real_empty = -731811930, NB_EMPTY = 3563155366.
o 3563155366
ERROR: Solution verification fails, real_empty = -746838519, NB_EMPTY = 3548128777.
o 3548128777
ERROR: Solution verification fails, real_empty = -761865108, NB_EMPTY = 3533102188.
o 3533102188
ERROR: Solution verification fails, real_empty = -776891697, NB_EMPTY = 3518075599.
o 3518075599
ERROR: Solution verification fails, real_empty = -791918286, NB_EMPTY = 3503049010.
o 3503049010
ERROR: Solution verification fails, real_empty = -806944875, NB_EMPTY = 3488022421.
o 3488022421
ERROR: Solution verification fails, real_empty = -806944876, NB_EMPTY = 3488022420.
o 3488022420
ERROR: Solution verification fails, real_empty = -821971465, NB_EMPTY = 3472995831.
o 3472995831
ERROR: Solution verification fails, real_empty = -836998054, NB_EMPTY = 3457969242.
o 3457969242
ERROR: Solution verification fails, real_empty = -852024643, NB_EMPTY = 3442942653.
o 3442942653
ERROR: Solution verification fails, real_empty = -867051232, NB_EMPTY = 3427916064.
o 3427916064
ERROR: Solution verification fails, real_empty = -882077821, NB_EMPTY = 3412889475.
o 3412889475
ERROR: Solution verification fails, real_empty = -897104410, NB_EMPTY = 3397862886.
o 3397862886
ERROR: Solution verification fails, real_empty = -912130999, NB_EMPTY = 3382836297.
o 3382836297
ERROR: Solution verification fails, real_empty = -927157588, NB_EMPTY = 3367809708.
o 3367809708
ERROR: Solution verification fails, real_empty = -942184177, NB_EMPTY = 3352783119.
o 3352783119
ERROR: Solution verification fails, real_empty = -957210766, NB_EMPTY = 3337756530.
o 3337756530
ERROR: Solution verification fails, real_empty = -972237355, NB_EMPTY = 3322729941.
o 3322729941
ERROR: Solution verification fails, real_empty = -987263944, NB_EMPTY = 3307703352.
o 3307703352
ERROR: Solution verification fails, real_empty = -987263945, NB_EMPTY = 3307703351.
o 3307703351
ERROR: Solution verification fails, real_empty = -1002290534, NB_EMPTY = 3292676762.
o 3292676762
ERROR: Solution verification fails, real_empty = -1017317123, NB_EMPTY = 3277650173.
o 3277650173
ERROR: Solution verification fails, real_empty = -1032343712, NB_EMPTY = 3262623584.
o 3262623584
ERROR: Solution verification fails, real_empty = -1032343713, NB_EMPTY = 3262623583.
o 3262623583
ERROR: Solution verification fails, real_empty = -1047370302, NB_EMPTY = 3247596994.
o 3247596994
ERROR: Solution verification fails, real_empty = -1062396891, NB_EMPTY = 3232570405.
o 3232570405
ERROR: Solution verification fails, real_empty = -1077423480, NB_EMPTY = 3217543816.
o 3217543816
ERROR: Solution verification fails, real_empty = -1092450069, NB_EMPTY = 3202517227.
o 3202517227
ERROR: Solution verification fails, real_empty = -1107476658, NB_EMPTY = 3187490638.
o 3187490638
ERROR: Solution verification fails, real_empty = -1122503247, NB_EMPTY = 3172464049.
o 3172464049
ERROR: Solution verification fails, real_empty = -1137529836, NB_EMPTY = 3157437460.
o 3157437460
ERROR: Solution verification fails, real_empty = -1152556425, NB_EMPTY = 3142410871.
o 3142410871
ERROR: Solution verification fails, real_empty = -1167583014, NB_EMPTY = 3127384282.
o 3127384282
ERROR: Solution verification fails, real_empty = -1182609603, NB_EMPTY = 3112357693.
o 3112357693
ERROR: Solution verification fails, real_empty = -1197636192, NB_EMPTY = 3097331104.
o 3097331104
ERROR: Solution verification fails, real_empty = -1212662781, NB_EMPTY = 3082304515.
o 3082304515
ERROR: Solution verification fails, real_empty = -1227689370, NB_EMPTY = 3067277926.
o 3067277926
ERROR: Solution verification fails, real_empty = -1242715959, NB_EMPTY = 3052251337.
o 3052251337
ERROR: SolutionKilled
1979.588u 0.113s 33:01.75 99.8%	0+0k 0+0io 0pf+0w