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-35.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i2000d0u98-35.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 = 1176674017, NB_EMPTY = 5471641313.
o 5471641313
ERROR: Solution verification fails, real_empty = 1161647428, NB_EMPTY = 5456614724.
o 5456614724
ERROR: Solution verification fails, real_empty = 1146620839, NB_EMPTY = 5441588135.
o 5441588135
ERROR: Solution verification fails, real_empty = 1131594250, NB_EMPTY = 5426561546.
o 5426561546
ERROR: Solution verification fails, real_empty = 1116567661, NB_EMPTY = 5411534957.
o 5411534957
ERROR: Solution verification fails, real_empty = 1101541072, NB_EMPTY = 5396508368.
o 5396508368
ERROR: Solution verification fails, real_empty = 1086514483, NB_EMPTY = 5381481779.
o 5381481779
ERROR: Solution verification fails, real_empty = 1086514482, NB_EMPTY = 5381481778.
o 5381481778
ERROR: Solution verification fails, real_empty = 1071487893, NB_EMPTY = 5366455189.
o 5366455189
ERROR: Solution verification fails, real_empty = 1071487892, NB_EMPTY = 5366455188.
o 5366455188
ERROR: Solution verification fails, real_empty = 1056461303, NB_EMPTY = 5351428599.
o 5351428599
ERROR: Solution verification fails, real_empty = 1041434714, NB_EMPTY = 5336402010.
o 5336402010
ERROR: Solution verification fails, real_empty = 1026408125, NB_EMPTY = 5321375421.
o 5321375421
ERROR: Solution verification fails, real_empty = 1011381536, NB_EMPTY = 5306348832.
o 5306348832
ERROR: Solution verification fails, real_empty = 996354947, NB_EMPTY = 5291322243.
o 5291322243
ERROR: Solution verification fails, real_empty = 981328358, NB_EMPTY = 5276295654.
o 5276295654
ERROR: Solution verification fails, real_empty = 966301769, NB_EMPTY = 5261269065.
o 5261269065
ERROR: Solution verification fails, real_empty = 951275180, NB_EMPTY = 5246242476.
o 5246242476
ERROR: Solution verification fails, real_empty = 936248591, NB_EMPTY = 5231215887.
o 5231215887
ERROR: Solution verification fails, real_empty = 921222002, NB_EMPTY = 5216189298.
o 5216189298
ERROR: Solution verification fails, real_empty = 906195413, NB_EMPTY = 5201162709.
o 5201162709
ERROR: Solution verification fails, real_empty = 891168824, NB_EMPTY = 5186136120.
o 5186136120
ERROR: Solution verification fails, real_empty = 876142235, NB_EMPTY = 5171109531.
o 5171109531
ERROR: Solution verification fails, real_empty = 876142234, NB_EMPTY = 5171109530.
o 5171109530
ERROR: Solution verification fails, real_empty = 861115645, NB_EMPTY = 5156082941.
o 5156082941
ERROR: Solution verification fails, real_empty = 846089056, NB_EMPTY = 5141056352.
o 5141056352
ERROR: Solution verification fails, real_empty = 831062467, NB_EMPTY = 5126029763.
o 5126029763
ERROR: Solution verification fails, real_empty = 816035878, NB_EMPTY = 5111003174.
o 5111003174
ERROR: Solution verification fails, real_empty = 801009289, NB_EMPTY = 5095976585.
o 5095976585
ERROR: Solution verification fails, real_empty = 785982700, NB_EMPTY = 5080949996.
o 5080949996
ERROR: Solution verification fails, real_empty = 770956111, NB_EMPTY = 5065923407.
o 5065923407
ERROR: Solution verification fails, real_empty = 755929522, NB_EMPTY = 5050896818.
o 5050896818
ERROR: Solution verification fails, real_empty = 740902933, NB_EMPTY = 5035870229.
o 5035870229
ERROR: Solution verification fails, real_empty = 740902932, NB_EMPTY = 5035870228.
o 5035870228
ERROR: Solution verification fails, real_empty = 725876343, NB_EMPTY = 5020843639.
o 5020843639
ERROR: Solution verification fails, real_empty = 710849754, NB_EMPTY = 5005817050.
o 5005817050
ERROR: Solution verification fails, real_empty = 695823165, NB_EMPTY = 4990790461.
o 4990790461
ERROR: Solution verification fails, real_empty = 680796576, NB_EMPTY = 4975763872.
o 4975763872
ERROR: Solution verification fails, real_empty = 665769987, NB_EMPTY = 4960737283.
o 4960737283
ERROR: Solution verification fails, real_empty = 650743398, NB_EMPTY = 4945710694.
o 4945710694
ERROR: Solution verification fails, real_empty = 635716809,Killed
1979.647u 0.054s 33:12.20 99.3%	0+0k 0+0io 0pf+0w