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-32.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i2000d0u98-32.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 = 1236744042, NB_EMPTY = 5531711338.
o 5531711338
ERROR: Solution verification fails, real_empty = 1221717453, NB_EMPTY = 5516684749.
o 5516684749
ERROR: Solution verification fails, real_empty = 1206690864, NB_EMPTY = 5501658160.
o 5501658160
ERROR: Solution verification fails, real_empty = 1191664275, NB_EMPTY = 5486631571.
o 5486631571
ERROR: Solution verification fails, real_empty = 1191664274, NB_EMPTY = 5486631570.
o 5486631570
ERROR: Solution verification fails, real_empty = 1176637685, NB_EMPTY = 5471604981.
o 5471604981
ERROR: Solution verification fails, real_empty = 1161611096, NB_EMPTY = 5456578392.
o 5456578392
ERROR: Solution verification fails, real_empty = 1146584507, NB_EMPTY = 5441551803.
o 5441551803
ERROR: Solution verification fails, real_empty = 1131557918, NB_EMPTY = 5426525214.
o 5426525214
ERROR: Solution verification fails, real_empty = 1116531329, NB_EMPTY = 5411498625.
o 5411498625
ERROR: Solution verification fails, real_empty = 1101504740, NB_EMPTY = 5396472036.
o 5396472036
ERROR: Solution verification fails, real_empty = 1086478151, NB_EMPTY = 5381445447.
o 5381445447
ERROR: Solution verification fails, real_empty = 1071451562, NB_EMPTY = 5366418858.
o 5366418858
ERROR: Solution verification fails, real_empty = 1056424973, NB_EMPTY = 5351392269.
o 5351392269
ERROR: Solution verification fails, real_empty = 1041398384, NB_EMPTY = 5336365680.
o 5336365680
ERROR: Solution verification fails, real_empty = 1026371795, NB_EMPTY = 5321339091.
o 5321339091
ERROR: Solution verification fails, real_empty = 1011345206, NB_EMPTY = 5306312502.
o 5306312502
ERROR: Solution verification fails, real_empty = 996318617, NB_EMPTY = 5291285913.
o 5291285913
ERROR: Solution verification fails, real_empty = 981292028, NB_EMPTY = 5276259324.
o 5276259324
ERROR: Solution verification fails, real_empty = 966265439, NB_EMPTY = 5261232735.
o 5261232735
ERROR: Solution verification fails, real_empty = 951238850, NB_EMPTY = 5246206146.
o 5246206146
ERROR: Solution verification fails, real_empty = 936212261, NB_EMPTY = 5231179557.
o 5231179557
ERROR: Solution verification fails, real_empty = 921185672, NB_EMPTY = 5216152968.
o 5216152968
ERROR: Solution verification fails, real_empty = 906159083, NB_EMPTY = 5201126379.
o 5201126379
ERROR: Solution verification fails, real_empty = 906159082, NB_EMPTY = 5201126378.
o 5201126378
ERROR: Solution verification fails, real_empty = 891132493, NB_EMPTY = 5186099789.
o 5186099789
ERROR: Solution verification fails, real_empty = 876105904, NB_EMPTY = 5171073200.
o 5171073200
ERROR: Solution verification fails, real_empty = 861079315, NB_EMPTY = 5156046611.
o 5156046611
ERROR: Solution verification fails, real_empty = 861079314, NB_EMPTY = 5156046610.
o 5156046610
ERROR: Solution verification fails, real_empty = 846052725, NB_EMPTY = 5141020021.
o 5141020021
ERROR: Solution verification fails, real_empty = 831026136, NB_EMPTY = 5125993432.
o 5125993432
ERROR: Solution verification fails, real_empty = 815999547, NB_EMPTY = 5110966843.
o 5110966843
ERROR: Solution verification fails, real_empty = 800972958, NB_EMPTY = 5095940254.
o 5095940254
ERROR: Solution verification fails, real_empty = 785946369, NB_EMPTY = 5080913665.
o 5080913665
ERROR: Solution verification fails, real_empty = 785946368, NB_EMPTY = 5080913664.
o 5080913664
ERROR: Solution verification fails, real_empty = 770919779, NB_EMPTY = 5065887075.
o 5065887075
ERROR: Solution verification fails, real_empty = 755893190, NB_EMPTY = 5050860486.
o 5050860486
ERROR: Solution verification fails, real_empty = 740866601, NB_EMPTY = 5035833897.
o 5035833897
ERROR: Solution verification fails, real_empty = 725840012, NB_EMPTY = 5020807308.
o 5020807308
ERROR: Solution verification fails, real_empty = 710813423, NB_EMPTY = 5005780719.
o 5005780719
ERROR: Solution verification fails, real_empty = 6957868Killed
1979.625u 0.077s 33:10.54 99.4%	0+0k 0+0io 0pf+0w