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-i2000d0u98-27.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i2000d0u98-27.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 18169 112632 31540812410
WARNING: Ubcsat not found.
o 31540812410
ERROR: Solution verification fails, real_empty = 1116585876, NB_EMPTY = 5411553172.
o 5411553172
ERROR: Solution verification fails, real_empty = 1101559287, NB_EMPTY = 5396526583.
o 5396526583
ERROR: Solution verification fails, real_empty = 1086532698, NB_EMPTY = 5381499994.
o 5381499994
ERROR: Solution verification fails, real_empty = 1071506109, NB_EMPTY = 5366473405.
o 5366473405
ERROR: Solution verification fails, real_empty = 1056479520, NB_EMPTY = 5351446816.
o 5351446816
ERROR: Solution verification fails, real_empty = 1041452931, NB_EMPTY = 5336420227.
o 5336420227
ERROR: Solution verification fails, real_empty = 1026426342, NB_EMPTY = 5321393638.
o 5321393638
ERROR: Solution verification fails, real_empty = 1011399753, NB_EMPTY = 5306367049.
o 5306367049
ERROR: Solution verification fails, real_empty = 996373164, NB_EMPTY = 5291340460.
o 5291340460
ERROR: Solution verification fails, real_empty = 981346575, NB_EMPTY = 5276313871.
o 5276313871
ERROR: Solution verification fails, real_empty = 966319986, NB_EMPTY = 5261287282.
o 5261287282
ERROR: Solution verification fails, real_empty = 951293397, NB_EMPTY = 5246260693.
o 5246260693
ERROR: Solution verification fails, real_empty = 936266808, NB_EMPTY = 5231234104.
o 5231234104
ERROR: Solution verification fails, real_empty = 921240219, NB_EMPTY = 5216207515.
o 5216207515
ERROR: Solution verification fails, real_empty = 906213630, NB_EMPTY = 5201180926.
o 5201180926
ERROR: Solution verification fails, real_empty = 891187041, NB_EMPTY = 5186154337.
o 5186154337
ERROR: Solution verification fails, real_empty = 876160452, NB_EMPTY = 5171127748.
o 5171127748
ERROR: Solution verification fails, real_empty = 861133863, NB_EMPTY = 5156101159.
o 5156101159
ERROR: Solution verification fails, real_empty = 846107274, NB_EMPTY = 5141074570.
o 5141074570
ERROR: Solution verification fails, real_empty = 846107273, NB_EMPTY = 5141074569.
o 5141074569
ERROR: Solution verification fails, real_empty = 831080684, NB_EMPTY = 5126047980.
o 5126047980
ERROR: Solution verification fails, real_empty = 831080683, NB_EMPTY = 5126047979.
o 5126047979
ERROR: Solution verification fails, real_empty = 816054094, NB_EMPTY = 5111021390.
o 5111021390
ERROR: Solution verification fails, real_empty = 816054093, NB_EMPTY = 5111021389.
o 5111021389
ERROR: Solution verification fails, real_empty = 801027504, NB_EMPTY = 5095994800.
o 5095994800
ERROR: Solution verification fails, real_empty = 786000915, NB_EMPTY = 5080968211.
o 5080968211
ERROR: Solution verification fails, real_empty = 770974326, NB_EMPTY = 5065941622.
o 5065941622
ERROR: Solution verification fails, real_empty = 755947737, NB_EMPTY = 5050915033.
o 5050915033
ERROR: Solution verification fails, real_empty = 740921148, NB_EMPTY = 5035888444.
o 5035888444
ERROR: Solution verification fails, real_empty = 725894559, NB_EMPTY = 5020861855.
o 5020861855
ERROR: Solution verification fails, real_empty = 710867970, NB_EMPTY = 5005835266.
o 5005835266
ERROR: Solution verification fails, real_empty = 710867969, NB_EMPTY = 5005835265.
o 5005835265
ERROR: Solution verification fails, real_empty = 695841380, NB_EMPTY = 4990808676.
o 4990808676
ERROR: Solution verification fails, real_empty = 680814791, NB_EMPTY = 4975782087.
o 4975782087
ERROR: Solution verification fails, real_empty = 665788202, NB_EMPTY = 4960755498.
o 4960755498
ERROR: Solution verification fails, real_empty = 650761613, NB_EMPTY = 4945728909.
o 4945728909
ERROR: Solution verification fails, real_empty = 650761612, NB_EMPTY = 4945728908.
o 4945728908
ERROR: Solution verification fails, real_empty = 635735023, NB_EMPTY = 4930702319.
o 4930702319
ERROR: Solution verification fails, real_empty = 635735022, NB_EMPTY = 4930702318.
o 4930702318
ERROR: Solution verification fails, real_empty = 620708433, NB_EMPTY = 4915675729.
o 4915675729
ERROR: Solution verification fails, real_empty = 605681844, NB_EMKilled
1979.608u 0.094s 33:07.06 99.6%	0+0k 0+0io 0pf+0w