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-i4000d0u98-85.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i4000d0u98-85.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 18169 112632 61593992410
WARNING: Ubcsat not found.
o 61593992410
ERROR: Solution verification fails, real_empty = -999598585, NB_EMPTY = 7590336007.
o 7590336007
ERROR: Solution verification fails, real_empty = -1014625174, NB_EMPTY = 7575309418.
o 7575309418
ERROR: Solution verification fails, real_empty = -1029651763, NB_EMPTY = 7560282829.
o 7560282829
ERROR: Solution verification fails, real_empty = -1044678352, NB_EMPTY = 7545256240.
o 7545256240
ERROR: Solution verification fails, real_empty = -1044678353, NB_EMPTY = 7545256239.
o 7545256239
ERROR: Solution verification fails, real_empty = -1059704942, NB_EMPTY = 7530229650.
o 7530229650
ERROR: Solution verification fails, real_empty = -1074731531, NB_EMPTY = 7515203061.
o 7515203061
ERROR: Solution verification fails, real_empty = -1089758120, NB_EMPTY = 7500176472.
o 7500176472
ERROR: Solution verification fails, real_empty = -1104784709, NB_EMPTY = 7485149883.
o 7485149883
ERROR: Solution verification fails, real_empty = -1119811298, NB_EMPTY = 7470123294.
o 7470123294
ERROR: Solution verification fails, real_empty = -1134837887, NB_EMPTY = 7455096705.
o 7455096705
ERROR: Solution verification fails, real_empty = -1149864476, NB_EMPTY = 7440070116.
o 7440070116
ERROR: Solution verification fails, real_empty = -1164891065, NB_EMPTY = 7425043527.
o 7425043527
ERROR: Solution verification fails, real_empty = -1179917654, NB_EMPTY = 7410016938.
o 7410016938
ERROR: Solution verification fails, real_empty = -1194944243, NB_EMPTY = 7394990349.
o 7394990349
ERROR: Solution verification fails, real_empty = -1209970832, NB_EMPTY = 7379963760.
o 7379963760
ERROR: Solution verification fails, real_empty = -1224997421, NB_EMPTY = 7364937171.
o 7364937171
ERROR: Solution verification fails, real_empty = -1240024010, NB_EMPTY = 7349910582.
o 7349910582
ERROR: Solution verification fails, real_empty = -1255050599, NB_EMPTY = 7334883993.
o 7334883993
ERROR: Solution verification fails, real_empty = -1270077188, NB_EMPTY = 7319857404.
o 7319857404
ERROR: Solution verification fails, real_empty = -1285103777, NB_EMPTY = 7304830815.
o 7304830815
ERROR: Solution verification fails, real_empty = -1285103778, NB_EMPTY = 7304830814.
o 7304830814
ERROR: Solution verification fails, real_empty = -1300130367, NB_EMPTY = 7289804225.
o 7289804225
ERROR: Solution verification fails, real_empty = -1315156956, NB_EMPTY = 7274777636.
o 7274777636
ERROR: Solution verification fails, real_empty = -1330183545, NB_EMPTY = 7259751047.
o 7259751047
ERROR: Solution verification fails, real_empty = -1345210134, NB_EMPTY = 7244724458.
o 7244724458
ERROR: Solution verification fails, real_empty = -1360236723, NB_EMPTY = 7229697869.
o 7229697869
ERROR: Solution verification fails, real_empty = -1375263312, NB_EMPTY = 7214671280.
o 7214671280
ERROR: Solution verification fails, real_empty = -1375263313, NB_EMPTY = 7214671279.
o 7214671279
ERROR: Solution verification fails, real_empty = -1390289902, NB_EMPTY = 7199644690.
o 7199644690
ERROR: Solution verification fails, real_empty = -1405316491, NB_EMPTY = 7184618101.
o 7184618101
ERROR: Solution verification fails, real_empty = -1420343080, NB_EMPTY = 7169591512.
o 7169591512
ERROR: Solution verification fails, real_empty = -1435369669, NB_EMPTY = 7154564923.
o 7154564923
ERROR: Solution verification fails, real_empty = -1450396258, NB_EMPTY = 7139538334.
o 7139538334
ERROR: Solution verification fails, real_empty = -1465422847, NB_EMPTY = 7124511745.
o 7124511745
ERROR: Solution verification fails, real_empty = -1480449436, NB_EMPTY = 7109485156.
o 7109485156
ERROR: Solution verification fails, real_empty = -1495476025, NB_EMPTY = 7094458567.
o 7094458567
ERROR: Solution verification fails, real_empty = -1510502614, NB_EMPTY = 7079431978.
o 7079431978
ERROR: Solution verification fails, real_empty = -1525529203, NB_EMPTY = 7064405389.
o 7064405389
ERROR: Solution verification fails, real_empty = -1540555792, NB_EMPTY = 7049378800.
o 7049378800
ERROR: Solution verification fails, real_empty = -1555582381, NB_EMPTY = 7034352211.
o 7034352211
ERROR: Solution verification fails, real_empty = -1570608970, NB_EMPTY = 7019325622.
o 7019325622
ERROR: Solution verification fails, real_empty = -1585635559, NB_EMPTY = 7004299033.
o 7004299033
ERROR: Solution verification fails, real_empty = -1600662148, NB_EMPTY = 6989272444.
o 6989272444
ERROR: Solution verification fails, real_empty = -1615688737, NB_EMPTY = 6974245855.
o 6974245855
ERROR: Solution verification fails, real_empty = -1630715326, NB_EMPTY = 6959219266.
o 6959219266
ERROR: Solution verification fails, real_empty = -1645741915, NB_EMPTY = 6944192677.
o 6944192677
ERROR: Solution verification fails, real_empty = -1660768504, NB_EMPTY = 6929166088.
o 6929166088
ERROR: Solution verification fails, real_empty = -1660768505, NB_EMPTY = 6929166087.
o 6929166087
ERROR: Solution verification fails, real_empty = -1675795094, NB_EMPTY = 6914139498.
o 6914139498
ERROR: Solution verification fails, real_empty = -1690821683, NB_EMPTY = 6899112909.
o 6899112909
ERROR: Solution verification fails, real_empty = -1705848272, NB_EMPTY = 6884086320.
o 6884086320
ERROR: Solution verification fails, real_empty = -1705848273, NB_EMPTY = 6884086319.
o 6884086319
ERROR: Solution verification fails, real_empty = -1720874862, NB_EMPTY = 6869059730.
o 6869059730
ERROR: Solution verification fails, real_empty = -1735901451, NB_EMPTY = 6854033141.
o 6854033141
ERROR: Solution verification fails, real_empty = -1735901452, NB_EMPTY = 6854033140.
o 6854033140
ERROR: Solution verification fails, real_empty = -1750928041, NB_EMPTY = 6839006551.
o 6839006551
ERROR: Solution verification fails, real_empty = -1765954630, NB_EMPTY = 6823979962.
o 6823979962
ERROR: Solution verification fails, real_empty = -1780981219, NB_EMPTY = 6808953373.
o 6808953373
ERROR: Solution verification fails, real_empty = -1796007808, NB_EMPTY = 6793926784.
o 6793926784
ERROR: Solution verification fails, real_empty = -1811034397, NB_EMPTY = 6778900195.
o 6778900195
ERROR: Solution verification fails, real_empty = -1826060986, NB_EMPTY = 6763873606.
o 6763873606
ERROR: Solution verification fails, real_empty = -1841087575, NB_EMPTY = 6748847017.
o 6748847017
ERROR: Solution verification fails, real_empty = -1856114164, NB_EMPTY = 6733820428.
o 6733820428
ERROR: Solution verification fails, real_empty = -1871140753, NB_EMPTY = 6718793839.
o 6718793839
ERROR: Solution verification fails, real_empty = -1886167342, NB_EMPTY = 6703767250.
o 6703767250
ERROR: Solution verification fails, real_empty = -1901193931, NB_EMPTY = 6688740661.
o 6688740661
ERROR: Solution verification fails, real_empty = -1916220520, NB_EMPTY = 6673714072.
o 6673714072
ERROR: Solution verification fails, real_empty = -1931247109, NB_EMPTY = 6658687483.
o 6658687483
ERROR: Solution verification fails, real_empty = -1946273698, NB_EMPTY = 6643660894.
o 6643660894
ERROR: Solution verification fails, real_empty = -1946273699, NB_EMPTY = 6643660893.
o 6643660893
ERROR: Solution verification fails, real_empty = -1961300288, NB_EMPTY = 6628634304.
o 6628634304
ERROR: Solution verification fails, real_empty = -1976326877, NB_EMPTY = 6613607715.
o 6613607715
ERROR: Solution verification fails, real_empty = -1976326878, NB_EMPTY = 6613607714.
o 6613607714
ERROR: Solution verification fails, real_empty = -1991353467, NB_EMPTY = 6598581125.
o 6598581125
ERROR: Solution verification fails, real_empty = -2006380056, NB_EMPTY = 6583554536.
o 6583554536
ERROR: Solution verification fails, real_empty = -2021406645, NB_EMPTY = 6568527947.
o 6568527947
ERROR: Solution verification fails, real_empty = -2036433234, NB_EMPTY = 6553501358.
o 6553501358
ERROR: Solution verification fails, real_empty = -2051459823, NB_EMPTY = 6538474769.
o 6538474769
ERROR: Solution verification fails, real_empty = -2051459824, NB_EMPTY = 6538474768.
o 6538474768
ERROR: Solution verification fails, real_empty = -2066486413, NB_EMPTY = 6523448179.
o 6523448179
ERROR: Solution verification fails, real_empty = -2081513002, NB_EMPTY =Killed
1979.663u 0.039s 33:01.76 99.8%	0+0k 0+0io 0pf+0w