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-i3000d0u98-61.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i3000d0u98-61.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 18169 112632 46567402410
WARNING: Ubcsat not found.
o 46567402410
ERROR: Solution verification fails, real_empty = -2006289237, NB_EMPTY = 6583645355.
o 6583645355
ERROR: Solution verification fails, real_empty = -2021315826, NB_EMPTY = 6568618766.
o 6568618766
ERROR: Solution verification fails, real_empty = -2036342415, NB_EMPTY = 6553592177.
o 6553592177
ERROR: Solution verification fails, real_empty = -2051369004, NB_EMPTY = 6538565588.
o 6538565588
ERROR: Solution verification fails, real_empty = -2066395593, NB_EMPTY = 6523538999.
o 6523538999
ERROR: Solution verification fails, real_empty = -2081422182, NB_EMPTY = 6508512410.
o 6508512410
ERROR: Solution verification fails, real_empty = -2096448771, NB_EMPTY = 6493485821.
o 6493485821
ERROR: Solution verification fails, real_empty = -2111475360, NB_EMPTY = 6478459232.
o 6478459232
ERROR: Solution verification fails, real_empty = -2126501949, NB_EMPTY = 6463432643.
o 6463432643
ERROR: Solution verification fails, real_empty = -2141528538, NB_EMPTY = 6448406054.
o 6448406054
ERROR: Solution verification fails, real_empty = 2138412169, NB_EMPTY = 6433379465.
o 6433379465
ERROR: Solution verification fails, real_empty = 2123385580, NB_EMPTY = 6418352876.
o 6418352876
ERROR: Solution verification fails, real_empty = 2108358991, NB_EMPTY = 6403326287.
o 6403326287
ERROR: Solution verification fails, real_empty = 2108358990, NB_EMPTY = 6403326286.
o 6403326286
ERROR: Solution verification fails, real_empty = 2093332401, NB_EMPTY = 6388299697.
o 6388299697
ERROR: Solution verification fails, real_empty = 2093332400, NB_EMPTY = 6388299696.
o 6388299696
ERROR: Solution verification fails, real_empty = 2078305811, NB_EMPTY = 6373273107.
o 6373273107
ERROR: Solution verification fails, real_empty = 2078305810, NB_EMPTY = 6373273106.
o 6373273106
ERROR: Solution verification fails, real_empty = 2063279221, NB_EMPTY = 6358246517.
o 6358246517
ERROR: Solution verification fails, real_empty = 2048252632, NB_EMPTY = 6343219928.
o 6343219928
ERROR: Solution verification fails, real_empty = 2033226043, NB_EMPTY = 6328193339.
o 6328193339
ERROR: Solution verification fails, real_empty = 2018199454, NB_EMPTY = 6313166750.
o 6313166750
ERROR: Solution verification fails, real_empty = 2003172865, NB_EMPTY = 6298140161.
o 6298140161
ERROR: Solution verification fails, real_empty = 1988146276, NB_EMPTY = 6283113572.
o 6283113572
ERROR: Solution verification fails, real_empty = 1973119687, NB_EMPTY = 6268086983.
o 6268086983
ERROR: Solution verification fails, real_empty = 1958093098, NB_EMPTY = 6253060394.
o 6253060394
ERROR: Solution verification fails, real_empty = 1943066509, NB_EMPTY = 6238033805.
o 6238033805
ERROR: Solution verification fails, real_empty = 1928039920, NB_EMPTY = 6223007216.
o 6223007216
ERROR: Solution verification fails, real_empty = 1913013331, NB_EMPTY = 6207980627.
o 6207980627
ERROR: Solution verification fails, real_empty = 1897986742, NB_EMPTY = 6192954038.
o 6192954038
ERROR: Solution verification fails, real_empty = 1882960153, NB_EMPTY = 6177927449.
o 6177927449
ERROR: Solution verification fails, real_empty = 1867933564, NB_EMPTY = 6162900860.
o 6162900860
ERROR: Solution verification fails, real_empty = 1852906975, NB_EMPTY = 6147874271.
o 6147874271
ERROR: Solution verification fails, real_empty = 1837880386, NB_EMPTY = 6132847682.
o 6132847682
ERROR: Solution verification fails, real_empty = 1822853797, NB_EMPTY = 6117821093.
o 6117821093
ERROR: Solution verification fails, real_empty = 1807827208, NB_EMPTY = 6102794504.
o 6102794504
ERROR: Solution verification fails, real_empty = 1807827207, NB_EMPTY = 6102794503.
o 6102794503
ERROR: Solution verification fails, real_empty = 1792800618, NB_EMPTY = 6087767914.
o 6087767914
ERROR: Solution verification fails, real_empty = 1792800617, NB_EMPTY = 6087767913.
o 6087767913
ERROR: Solution verification fails, real_empty = 1777774028, NB_EMPTY = 6072741324.
o 6072741324
ERROR: Solution verificKilled
1979.596u 0.105s 33:00.55 99.9%	0+0k 0+0io 0pf+0w