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-58.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i3000d0u98-58.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 = 1913013281, NB_EMPTY = 6207980577.
o 6207980577
ERROR: Solution verification fails, real_empty = 1897986692, NB_EMPTY = 6192953988.
o 6192953988
ERROR: Solution verification fails, real_empty = 1882960103, NB_EMPTY = 6177927399.
o 6177927399
ERROR: Solution verification fails, real_empty = 1867933514, NB_EMPTY = 6162900810.
o 6162900810
ERROR: Solution verification fails, real_empty = 1852906925, NB_EMPTY = 6147874221.
o 6147874221
ERROR: Solution verification fails, real_empty = 1837880336, NB_EMPTY = 6132847632.
o 6132847632
ERROR: Solution verification fails, real_empty = 1822853747, NB_EMPTY = 6117821043.
o 6117821043
ERROR: Solution verification fails, real_empty = 1807827158, NB_EMPTY = 6102794454.
o 6102794454
ERROR: Solution verification fails, real_empty = 1792800569, NB_EMPTY = 6087767865.
o 6087767865
ERROR: Solution verification fails, real_empty = 1777773980, NB_EMPTY = 6072741276.
o 6072741276
ERROR: Solution verification fails, real_empty = 1762747391, NB_EMPTY = 6057714687.
o 6057714687
ERROR: Solution verification fails, real_empty = 1747720802, NB_EMPTY = 6042688098.
o 6042688098
ERROR: Solution verification fails, real_empty = 1732694213, NB_EMPTY = 6027661509.
o 6027661509
ERROR: Solution verification fails, real_empty = 1717667624, NB_EMPTY = 6012634920.
o 6012634920
ERROR: Solution verification fails, real_empty = 1702641035, NB_EMPTY = 5997608331.
o 5997608331
ERROR: Solution verification fails, real_empty = 1687614446, NB_EMPTY = 5982581742.
o 5982581742
ERROR: Solution verification fails, real_empty = 1672587857, NB_EMPTY = 5967555153.
o 5967555153
ERROR: Solution verification fails, real_empty = 1657561268, NB_EMPTY = 5952528564.
o 5952528564
ERROR: Solution verification fails, real_empty = 1657561267, NB_EMPTY = 5952528563.
o 5952528563
ERROR: Solution verification fails, real_empty = 1642534678, NB_EMPTY = 5937501974.
o 5937501974
ERROR: Solution verification fails, real_empty = 1642534677, NB_EMPTY = 5937501973.
o 5937501973
ERROR: Solution verification fails, real_empty = 1627508088, NB_EMPTY = 5922475384.
o 5922475384
ERROR: Solution verification fails, real_empty = 1612481499, NB_EMPTY = 5907448795.
o 5907448795
ERROR: Solution verification fails, real_empty = 1597454910, NB_EMPTY = 5892422206.
o 5892422206
ERROR: Solution verification fails, real_empty = 1582428321, NB_EMPTY = 5877395617.
o 5877395617
ERROR: Solution verification fails, real_empty = 1567401732, NB_EMPTY = 5862369028.
o 5862369028
ERROR: Solution verification fails, real_empty = 1552375143, NB_EMPTY = 5847342439.
o 5847342439
ERROR: Solution verification fails, real_empty = 1537348554, NB_EMPTY = 5832315850.
o 5832315850
ERROR: Solution verification fails, real_empty = 1522321965, NB_EMPTY = 5817289261.
o 5817289261
ERROR: Solution verification fails, real_empty = 1507295376, NB_EMPTY = 5802262672.
o 5802262672
ERROR: Solution verification fails, real_empty = 1492268787, NB_EMPTY = 5787236083.
o 5787236083
ERROR: Solution verification fails, real_empty = 1477242198, NB_EMPTY = 5772209494.
o 5772209494
ERROR: Solution verification fails, real_empty = 1462215609, NB_EMPTY = 5757182905.
o 5757182905
ERROR: Solution verification fails, real_empty = 1447189020, NB_EMPTY = 5742156316.
o 5742156316
ERROR: Solution verification fails, real_empty = 1432162431, NB_EMPTY = 5727129727.
o 5727129727
ERROR: Solution verification fails, real_empty = 1417135842, NB_EMPTY = 5712103138.
o 5712103138
ERROR: Solution verification fails, real_empty = 1402109253, NB_EMPTY = 5697076549.
o 5697076549
ERROR: Solution verification fails, real_empty = 1387082664, NB_EMPTY = 5682049960.
o 5682049960
ERROR: Solution verification fails, real_empty = 1372056075, NB_EMPTY = 5667023371.
o 5667023371
ERROR: Solution verification fails, real_empty = 1357029486, NB_EMPTY = 5651996782.
o 5651996782
ERROR: Solution verification fails, real_empty = 1342002897, NB_EMPTY = 5636970193.
o 5636970193
ERROR: Solution verification fails, real_empty = 1326976308, NB_EMPTY = 5621943604.
o 5621943604
ERROR: Solution verification fails, real_empty = 1311949719, NB_EMPTY = 5606917015.
o 5606917015
ERROR: Solution verification fails, real_empty = 1296923130, NB_EMPTY = 5591890426.
o 5591890426
ERROR: Solution verification fails, real_empty = 1281896541, NB_EMPTY = 5576863837.
o 5576863837
ERROR: Solution verification fails, real_empty = 1266869952, NB_EMPTY = 5561837248.
o 5561837248
ERROR: Solution verification fails, real_empty = 1251843363, NB_EMPTY = 5546810659.
o 5546810659
ERROR: Solution verification fails, real_empty = 1236816774, NB_EMPTY = 5531784070.
o 5531784070
ERROR: Solution verification fails, real_empty = 1221790185, NB_EMPTY = 5516757481.
o 5516757481
ERROR: Solution verification fails, real_empty = 1206763596, NB_EMPTY = 5501730892.
o 5501730892
ERROR: Solution verification fails, real_empty = 1191737007, NB_EMPTY = 5486704303.
o 5486704303
ERROR: Solution verification fails, real_empty = 1176710418, NB_EMPTY = 5471677714.
o 5471677714
ERROR: Solution verification fails, real_empty = 1161683829, NB_EMPTY = 5456651125.
o 5456651125
ERROR: Solution verification fails, real_empty = 1146657240, NB_EMPTY = 5441624536.
o 5441624536
ERROR: Solution verification fails, real_empty = 1131630651, NB_EMPTY = 5426597947.
o 5426597947
ERROR: Solution verification fails, real_empty = 1116604062, NB_EMPTY = 5411571358.
o 5411571358
ERROR: Solution verification fails, real_empty = 1101577473, NB_EMPTY = 5396544769.
o 5396544769
ERROR: Solution verification fails, real_empty = 1086550884, NB_EMPTY = 5381518180.
o 5381518180
ERROR: Solution verification fails, real_empty = 1071524295, NB_EMPTY = 5366491591.
o 5366491591
ERROR: Solution verification fails, real_empty = 1056497706, NB_EMPTY = 5351465002.
o 5351465002
ERROR: Solution verification fails, real_empty = 1041471117, NB_EMPTY = 5336438413.
o 5336438413
ERROR: Solution verification fails, real_empty = 1026444528, NB_EMPTY = 5321411824.
o 5321411824
ERROR: Solution verification fails, real_empty = 1011417939, NB_EMPTY = 5306385235.
o 5306385235
ERROR: Solution verification fails, real_empty = 996391350, NB_EMPTY = 5291358646.
o 5291358646
ERROR: Solution verification fails, real_empty = 981364761, NB_EMPTY = 5276332057.
o 5276332057
ERROR: Solution verification fails, real_empty = 966338172, NB_EMPTY = 5261305468.
o 5261305468
ERROR: Solution verification fails, real_empty = 951311583, NB_EMPTY = 5246278879.
o 5246278879
ERROR: Solution verification fails, real_empty = 936284994, NB_EMPTY = 5231252290.
o 5231252290
ERROR: Solution verification fails, real_empty = 921258405, NB_EMPTY = 5216225701.
o 5216225701
ERROR: Solution verification fails, real_empty = 906231816, NB_EMPTY = 5201199112.
o 5201199112
ERROR: Solution verification fails, real_empty = 891205227, NB_EMPTY = 5186172523.
o 5186172523
ERROR: Solution verification fails, real_empty = 876178638, NB_EMPTY = 5171145934.
o 5171145934
ERROR: Solution verification fails, real_empty = 861152049, NB_EMPTY = 5156119345.
o 5156119345
ERROR: Solution verification fails, real_empty = 846125460, NB_EMPTY = 5141092756.
o 5141092756
ERROR: Solution verification fails, real_empty = 831098871, NB_EMPTY = 5126066167.
o 5126066167
ERROR: Solution verification fails, real_empty = 816072282, NB_EMPTY = 5111039578.
o 5111039578
ERROR: Solution verification fails, real_empty = 801045693, NB_EMPTY = 5096012989.
o 5096012989
ERROR: Solution verification fails, real_empty = 786019104, NB_EMPTY = 5080986400.
o 5080986400
ERROR: Solution verification fails, real_empty = 770992515, NB_EMPTY = 5065959811.
o 5065959811
ERROR: Solution verification fails, real_empty = 770992514, NB_EMPTY = 5065959810.
o 5065959810
ERROR: Solution verification fails, real_empty = 755965925, NB_EMPTY = 5050933221.
o 5050933221
ERROR: Solution verification fails, real_empty = 740939336, NB_EMPTY = 5035906632.
o 5035906632
ERROR: Solution verification fails, real_empty = 725912747, NB_EMPTY = 502Killed
1979.561u 0.140s 33:12.69 99.3%	0+0k 0+0io 0pf+0w