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-38.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i2000d0u98-38.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 = 1251788822, NB_EMPTY = 5546756118.
o 5546756118
ERROR: Solution verification fails, real_empty = 1236762233, NB_EMPTY = 5531729529.
o 5531729529
ERROR: Solution verification fails, real_empty = 1221735644, NB_EMPTY = 5516702940.
o 5516702940
ERROR: Solution verification fails, real_empty = 1206709055, NB_EMPTY = 5501676351.
o 5501676351
ERROR: Solution verification fails, real_empty = 1206709054, NB_EMPTY = 5501676350.
o 5501676350
ERROR: Solution verification fails, real_empty = 1191682465, NB_EMPTY = 5486649761.
o 5486649761
ERROR: Solution verification fails, real_empty = 1176655876, NB_EMPTY = 5471623172.
o 5471623172
ERROR: Solution verification fails, real_empty = 1161629287, NB_EMPTY = 5456596583.
o 5456596583
ERROR: Solution verification fails, real_empty = 1146602698, NB_EMPTY = 5441569994.
o 5441569994
ERROR: Solution verification fails, real_empty = 1131576109, NB_EMPTY = 5426543405.
o 5426543405
ERROR: Solution verification fails, real_empty = 1116549520, NB_EMPTY = 5411516816.
o 5411516816
ERROR: Solution verification fails, real_empty = 1101522931, NB_EMPTY = 5396490227.
o 5396490227
ERROR: Solution verification fails, real_empty = 1086496342, NB_EMPTY = 5381463638.
o 5381463638
ERROR: Solution verification fails, real_empty = 1086496341, NB_EMPTY = 5381463637.
o 5381463637
ERROR: Solution verification fails, real_empty = 1071469752, NB_EMPTY = 5366437048.
o 5366437048
ERROR: Solution verification fails, real_empty = 1056443163, NB_EMPTY = 5351410459.
o 5351410459
ERROR: Solution verification fails, real_empty = 1041416574, NB_EMPTY = 5336383870.
o 5336383870
ERROR: Solution verification fails, real_empty = 1026389985, NB_EMPTY = 5321357281.
o 5321357281
ERROR: Solution verification fails, real_empty = 1011363396, NB_EMPTY = 5306330692.
o 5306330692
ERROR: Solution verification fails, real_empty = 1011363395, NB_EMPTY = 5306330691.
o 5306330691
ERROR: Solution verification fails, real_empty = 996336806, NB_EMPTY = 5291304102.
o 5291304102
ERROR: Solution verification fails, real_empty = 981310217, NB_EMPTY = 5276277513.
o 5276277513
ERROR: Solution verification fails, real_empty = 966283628, NB_EMPTY = 5261250924.
o 5261250924
ERROR: Solution verification fails, real_empty = 951257039, NB_EMPTY = 5246224335.
o 5246224335
ERROR: Solution verification fails, real_empty = 936230450, NB_EMPTY = 5231197746.
o 5231197746
ERROR: Solution verification fails, real_empty = 921203861, NB_EMPTY = 5216171157.
o 5216171157
ERROR: Solution verification fails, real_empty = 906177272, NB_EMPTY = 5201144568.
o 5201144568
ERROR: Solution verification fails, real_empty = 891150683, NB_EMPTY = 5186117979.
o 5186117979
ERROR: Solution verification fails, real_empty = 876124094, NB_EMPTY = 5171091390.
o 5171091390
ERROR: Solution verification fails, real_empty = 861097505, NB_EMPTY = 5156064801.
o 5156064801
ERROR: Solution verification fails, real_empty = 846070916, NB_EMPTY = 5141038212.
o 5141038212
ERROR: Solution verification fails, real_empty = 831044327, NB_EMPTY = 5126011623.
o 5126011623
ERROR: Solution verification fails, real_empty = 816017738, NB_EMPTY = 5110985034.
o 5110985034
ERROR: Solution verification fails, real_empty = 800991149, NB_EMPTY = 5095958445.
o 5095958445
ERROR: Solution verification fails, real_empty = 785964560, NB_EMPTY = 5080931856.
o 5080931856
ERROR: Solution verification fails, real_empty = 770937971, NB_EMPTY = 5065905267.
o 5065905267
ERROR: Solution verification fails, real_empty = 755911382, NB_EMPTY = 5050878678.
o 5050878678
ERROR: Solution verification fails, real_empty = 755911381, NB_EMPTY = 5050878677.
o 5050878677
ERROR: Solution verification fails, real_empty = 740884792, NB_EMPTY = 5035852088.
o 5035852088
ERROR: Solution verification fails, real_empty = 725858203, NB_EMPTY = 5020825499.
o 5020825499
ERROR: Solution verification fails, real_empty = 7108Killed
1979.597u 0.104s 33:01.70 99.8%	0+0k 0+0io 0pf+0w