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-44.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i2000d0u98-44.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 = 1161611106, NB_EMPTY = 5456578402.
o 5456578402
ERROR: Solution verification fails, real_empty = 1146584517, NB_EMPTY = 5441551813.
o 5441551813
ERROR: Solution verification fails, real_empty = 1131557928, NB_EMPTY = 5426525224.
o 5426525224
ERROR: Solution verification fails, real_empty = 1116531339, NB_EMPTY = 5411498635.
o 5411498635
ERROR: Solution verification fails, real_empty = 1101504750, NB_EMPTY = 5396472046.
o 5396472046
ERROR: Solution verification fails, real_empty = 1101504749, NB_EMPTY = 5396472045.
o 5396472045
ERROR: Solution verification fails, real_empty = 1086478160, NB_EMPTY = 5381445456.
o 5381445456
ERROR: Solution verification fails, real_empty = 1071451571, NB_EMPTY = 5366418867.
o 5366418867
ERROR: Solution verification fails, real_empty = 1056424982, NB_EMPTY = 5351392278.
o 5351392278
ERROR: Solution verification fails, real_empty = 1041398393, NB_EMPTY = 5336365689.
o 5336365689
ERROR: Solution verification fails, real_empty = 1026371804, NB_EMPTY = 5321339100.
o 5321339100
ERROR: Solution verification fails, real_empty = 1011345215, NB_EMPTY = 5306312511.
o 5306312511
ERROR: Solution verification fails, real_empty = 996318626, NB_EMPTY = 5291285922.
o 5291285922
ERROR: Solution verification fails, real_empty = 981292037, NB_EMPTY = 5276259333.
o 5276259333
ERROR: Solution verification fails, real_empty = 966265448, NB_EMPTY = 5261232744.
o 5261232744
ERROR: Solution verification fails, real_empty = 951238859, NB_EMPTY = 5246206155.
o 5246206155
ERROR: Solution verification fails, real_empty = 936212270, NB_EMPTY = 5231179566.
o 5231179566
ERROR: Solution verification fails, real_empty = 921185681, NB_EMPTY = 5216152977.
o 5216152977
ERROR: Solution verification fails, real_empty = 906159092, NB_EMPTY = 5201126388.
o 5201126388
ERROR: Solution verification fails, real_empty = 891132503, NB_EMPTY = 5186099799.
o 5186099799
ERROR: Solution verification fails, real_empty = 876105914, NB_EMPTY = 5171073210.
o 5171073210
ERROR: Solution verification fails, real_empty = 861079325, NB_EMPTY = 5156046621.
o 5156046621
ERROR: Solution verification fails, real_empty = 846052736, NB_EMPTY = 5141020032.
o 5141020032
ERROR: Solution verification fails, real_empty = 831026147, NB_EMPTY = 5125993443.
o 5125993443
ERROR: Solution verification fails, real_empty = 815999558, NB_EMPTY = 5110966854.
o 5110966854
ERROR: Solution verification fails, real_empty = 800972969, NB_EMPTY = 5095940265.
o 5095940265
ERROR: Solution verification fails, real_empty = 785946380, NB_EMPTY = 5080913676.
o 5080913676
ERROR: Solution verification fails, real_empty = 770919791, NB_EMPTY = 5065887087.
o 5065887087
ERROR: Solution verification fails, real_empty = 755893202, NB_EMPTY = 5050860498.
o 5050860498
ERROR: Solution verification fails, real_empty = 740866613, NB_EMPTY = 5035833909.
o 5035833909
ERROR: Solution verification fails, real_empty = 725840024, NB_EMPTY = 5020807320.
o 5020807320
ERROR: Solution verification fails, real_empty = 710813435, NB_EMPTY = 5005780731.
o 5005780731
ERROR: Solution verification fails, real_empty = 695786846, NB_EMPTY = 4990754142.
o 4990754142
ERROR: Solution verification fails, real_empty = 680760257, NB_EMPTY = 4975727553.
o 4975727553
ERROR: Solution verification fails, real_empty = 665733668, NB_EMPTY = 4960700964.
o 4960700964
ERROR: Solution verification fails, real_empty = 650707079, NB_EMPTY = 4945674375.
o 4945674375
ERROR: Solution verification fails, real_empty = 635680490, NB_EMPTY = 4930647786.
o 4930647786
ERROR: Solution verification fails, real_empty = 620653901, NB_EMPTY = 4915621197.
o 4915621197
ERROR: Solution verification fails, real_empty = 605627312, NB_EMPTY = 4900594608.
o 4900594608
ERROR: Solution verification fails, real_empty = 590600723, NB_EMPTY = 4885568019.
o 4885568019
ERROR: Solution verification fails, real_empty = 590600722, NKilled
1979.579u 0.122s 33:13.87 99.2%	0+0k 0+0io 0pf+0w