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-i2000d0u98-28.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i2000d0u98-28.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
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 = 1341948345, NB_EMPTY = 5636915641.
o 5636915641
ERROR: Solution verification fails, real_empty = 1326921756, NB_EMPTY = 5621889052.
o 5621889052
ERROR: Solution verification fails, real_empty = 1311895167, NB_EMPTY = 5606862463.
o 5606862463
ERROR: Solution verification fails, real_empty = 1296868578, NB_EMPTY = 5591835874.
o 5591835874
ERROR: Solution verification fails, real_empty = 1281841990, NB_EMPTY = 5576809286.
o 5576809286
ERROR: Solution verification fails, real_empty = 1281841989, NB_EMPTY = 5576809285.
o 5576809285
ERROR: Solution verification fails, real_empty = 1266815401, NB_EMPTY = 5561782697.
o 5561782697
ERROR: Solution verification fails, real_empty = 1266815400, NB_EMPTY = 5561782696.
o 5561782696
ERROR: Solution verification fails, real_empty = 1251788812, NB_EMPTY = 5546756108.
o 5546756108
ERROR: Solution verification fails, real_empty = 1251788811, NB_EMPTY = 5546756107.
o 5546756107
ERROR: Solution verification fails, real_empty = 1236762223, NB_EMPTY = 5531729519.
o 5531729519
ERROR: Solution verification fails, real_empty = 1236762222, NB_EMPTY = 5531729518.
o 5531729518
ERROR: Solution verification fails, real_empty = 1221735634, NB_EMPTY = 5516702930.
o 5516702930
ERROR: Solution verification fails, real_empty = 1221735633, NB_EMPTY = 5516702929.
o 5516702929
ERROR: Solution verification fails, real_empty = 1206709045, NB_EMPTY = 5501676341.
o 5501676341
ERROR: Solution verification fails, real_empty = 1206709044, NB_EMPTY = 5501676340.
o 5501676340
ERROR: Solution verification fails, real_empty = 1191682456, NB_EMPTY = 5486649752.
o 5486649752
ERROR: Solution verification fails, real_empty = 1191682455, NB_EMPTY = 5486649751.
o 5486649751
ERROR: Solution verification fails, real_empty = 1176655867, NB_EMPTY = 5471623163.
o 5471623163
ERROR: Solution verification fails, real_empty = 1176655866, NB_EMPTY = 5471623162.
o 5471623162
ERROR: Solution verification fails, real_empty = 1161629278, NB_EMPTY = 5456596574.
o 5456596574
ERROR: Solution verification fails, real_empty = 1161629277, NB_EMPTY = 5456596573.
o 5456596573
ERROR: Solution verification fails, real_empty = 1161629276, NB_EMPTY = 5456596572.
o 5456596572
ERROR: Solution verification fails, real_empty = 1146602688, NB_EMPTY = 5441569984.
o 5441569984
ERROR: Solution verification fails, real_empty = 1146602687, NB_EMPTY = 5441569983.
o 5441569983
ERROR: Solution verification fails, real_empty = 1131576099, NB_EMPTY = 5426543395.
o 5426543395
ERROR: Solution verification fails, real_empty = 1131576098, NB_EMPTY = 5426543394.
o 5426543394
ERROR: Solution verification fails, real_empty = 1116549510, NB_EMPTY = 5411516806.
o 5411516806
ERROR: Solution verification fails, real_empty = 1116549509, NB_EMPTY = 5411516805.
o 5411516805
ERROR: Solution verification fails, real_empty = 1101522921, NB_EMPTY = 5396490217.
o 5396490217
ERROR: Solution verification fails, real_empty = 1101522920, NB_EMPTY = 5396490216.
o 5396490216
ERROR: Solution verification fails, real_empty = 1101522919, NB_EMPTY = 5396490215.
o 5396490215
ERROR: Solution verification fails, real_empty = 1086496331, NB_EMPTY = 5381463627.
o 5381463627
ERROR: Solution verification fails, real_empty = 1086496330, NB_EMPTY = 5381463626.
o 5381463626
ERROR: Solution verification fails, real_empty = 1071469742, NB_EMPTY = 5366437038.
o 5366437038
ERROR: Solution verification fails, real_empty = 1071469741, NB_EMPTY = 5366437037.
o 5366437037
ERROR: Solution verification fails, real_empty = 1056443153, NB_EMPTY = 5351410449.
o 5351410449
ERROR: Solution verification fails, real_empty = 1056443152, NB_EMPTY = 5351410448.
o 5351410448
ERROR: Solution verification fails, real_empty = 1041416564, NB_EMPTY = 5336383860.
o 5336383860
ERROR: Solution verification fails, real_empty = 1041416563, NB_EMPTY = 5336383859.
o 5336383859
ERROR: Solution verification failKilled
1979.624u 0.077s 33:11.76 99.3%	0+0k 0+0io 0pf+0w