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-i4000d0u98-78.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i4000d0u98-78.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
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 = -894430632, NB_EMPTY = 7695503960.
o 7695503960
ERROR: Solution verification fails, real_empty = -909457221, NB_EMPTY = 7680477371.
o 7680477371
ERROR: Solution verification fails, real_empty = -924483810, NB_EMPTY = 7665450782.
o 7665450782
ERROR: Solution verification fails, real_empty = -939510399, NB_EMPTY = 7650424193.
o 7650424193
ERROR: Solution verification fails, real_empty = -939510400, NB_EMPTY = 7650424192.
o 7650424192
ERROR: Solution verification fails, real_empty = -954536989, NB_EMPTY = 7635397603.
o 7635397603
ERROR: Solution verification fails, real_empty = -969563578, NB_EMPTY = 7620371014.
o 7620371014
ERROR: Solution verification fails, real_empty = -984590167, NB_EMPTY = 7605344425.
o 7605344425
ERROR: Solution verification fails, real_empty = -999616756, NB_EMPTY = 7590317836.
o 7590317836
ERROR: Solution verification fails, real_empty = -1014643345, NB_EMPTY = 7575291247.
o 7575291247
ERROR: Solution verification fails, real_empty = -1029669934, NB_EMPTY = 7560264658.
o 7560264658
ERROR: Solution verification fails, real_empty = -1044696523, NB_EMPTY = 7545238069.
o 7545238069
ERROR: Solution verification fails, real_empty = -1059723112, NB_EMPTY = 7530211480.
o 7530211480
ERROR: Solution verification fails, real_empty = -1074749701, NB_EMPTY = 7515184891.
o 7515184891
ERROR: Solution verification fails, real_empty = -1089776290, NB_EMPTY = 7500158302.
o 7500158302
ERROR: Solution verification fails, real_empty = -1089776291, NB_EMPTY = 7500158301.
o 7500158301
ERROR: Solution verification fails, real_empty = -1104802880, NB_EMPTY = 7485131712.
o 7485131712
ERROR: Solution verification fails, real_empty = -1119829469, NB_EMPTY = 7470105123.
o 7470105123
ERROR: Solution verification fails, real_empty = -1134856058, NB_EMPTY = 7455078534.
o 7455078534
ERROR: Solution verification fails, real_empty = -1149882647, NB_EMPTY = 7440051945.
o 7440051945
ERROR: Solution verification fails, real_empty = -1164909236, NB_EMPTY = 7425025356.
o 7425025356
ERROR: Solution verification fails, real_empty = -1179935825, NB_EMPTY = 7409998767.
o 7409998767
ERROR: Solution verification fails, real_empty = -1194962414, NB_EMPTY = 7394972178.
o 7394972178
ERROR: Solution verification fails, real_empty = -1209989003, NB_EMPTY = 7379945589.
o 7379945589
ERROR: Solution verification fails, real_empty = -1225015592, NB_EMPTY = 7364919000.
o 7364919000
ERROR: Solution verification fails, real_empty = -1240042181, NB_EMPTY = 7349892411.
o 7349892411
ERROR: Solution verification fails, real_empty = -1255068770, NB_EMPTY = 7334865822.
o 7334865822
ERROR: Solution verification fails, real_empty = -1270095359, NB_EMPTY = 7319839233.
o 7319839233
ERROR: Solution verification fails, real_empty = -1285121948, NB_EMPTY = 7304812644.
o 7304812644
ERROR: Solution verification fails, real_empty = -1300148537, NB_EMPTY = 7289786055.
o 7289786055
ERROR: Solution verification fails, real_empty = -1315175126, NB_EMPTY = 7274759466.
o 7274759466
ERROR: Solution verification fails, real_empty = -1315175127, NB_EMPTY = 7274759465.
o 7274759465
ERROR: Solution verification fails, real_empty = -1330201716, NB_EMPTY = 7259732876.
o 7259732876
ERROR: Solution verification fails, real_empty = -1345228305, NB_EMPTY = 7244706287.
o 7244706287
ERROR: Solution verification fails, real_empty = -1360254894, NB_EMPTY = 7229679698.
o 7229679698
ERROR: Solution verification fails, real_empty = -1375281483, NB_EMPTY = 7214653109.
o 7214653109
ERROR: Solution verification fails, real_empty = -1390308072, NB_EMPTY = 7199626520.
o 7199626520
ERROR: Solution verification fails, real_empty = -1405334661, NB_EMPTY = 7184599931.
o 7184599931
ERROR: Solution verification fails, real_empty = -1405334662, NB_EMPTY = 7184599930.
o 7184599930
ERROR: Solution verification fails, real_empty = -1420361251, NB_EMPTY = 7169573341.
o 7169573341
ERROR: Solution verification fails, real_empty = -1435387840, NB_EMPTY = 7154546752.
o 7154546752
ERROR: Solution verification fails, real_empty = -1450414429, NB_EMPTY = 7139520163.
o 7139520163
ERROR: Solution verification fails, real_empty = -1465441018, NB_EMPTY = 7124493574.
o 7124493574
ERROR: Solution verification fails, real_empty = -1480467607, NB_EMPTY = 7109466985.
o 7109466985
ERROR: Solution verification fails, real_empty = -1495494196, NB_EMPTY = 7094440396.
o 7094440396
ERROR: Solution verification fails, real_empty = -1510520785, NB_EMPTY = 7079413807.
o 7079413807
ERROR: Solution verification fails, real_empty = -1525547374, NB_EMPTY = 7064387218.
o 7064387218
ERROR: Solution verification fails, real_empty = -1525547375, NB_EMPTY = 7064387217.
o 7064387217
ERROR: Solution verification fails, real_empty = -1540573964, NB_EMPTY = 7049360628.
o 7049360628
ERROR: Solution verification fails, real_empty = -1555600553, NB_EMPTY = 7034334039.
o 7034334039
ERROR: Solution verification fails, real_empty = -1570627142, NB_EMPTY = 7019307450.
o 7019307450
ERROR: Solution verification fails, real_empty = -1585653731, NB_EMPTY = 7004280861.
o 7004280861
ERROR: Solution verification fails, real_empty = -1600680320, NB_EMPTY = 6989254272.
o 6989254272
ERROR: Solution verification fails, real_empty = -1615706909, NB_EMPTY = 6974227683.
o 6974227683
ERROR: Solution verification fails, real_empty = -1630733498, NB_EMPTY = 6959201094.
o 6959201094
ERROR: Solution verification fails, real_empty = -1645760087, NB_EMPTY = 6944174505.
o 6944174505
ERROR: Solution verification fails, real_empty = -1660786676, NB_EMPTY = 6929147916.
o 6929147916
ERROR: Solution verification fails, real_empty = -1675813265, NB_EMPTY = 6914121327.
o 6914121327
ERROR: Solution verification fails, real_empty = -1690839854, NB_EMPTY = 6899094738.
o 6899094738
ERROR: Solution verification fails, real_empty = -1705866443, NB_EMPTY = 6884068149.
o 6884068149
ERROR: Solution verification fails, real_empty = -1720893032, NB_EMPTY = 6869041560.
o 6869041560
ERROR: Solution verification fails, real_empty = -1735919621, NB_EMPTY = 6854014971.
o 6854014971
ERROR: Solution verification fails, real_empty = -1750946210, NB_EMPTY = 6838988382.
o 6838988382
ERROR: Solution verification fails, real_empty = -1765972799, NB_EMPTY = 6823961793.
o 6823961793
ERROR: Solution verification fails, real_empty = -1780999388, NB_EMPTY = 6808935204.
o 6808935204
ERROR: Solution verification fails, real_empty = -1796025977, NB_EMPTY = 6793908615.
o 6793908615
ERROR: Solution verification fails, real_empty = -1811052566, NB_EMPTY = 6778882026.
o 6778882026
ERROR: Solution verification fails, real_empty = -1826079155, NB_EMPTY = 6763855437.
o 6763855437
ERROR: Solution verification fails, real_empty = -1841105744, NB_EMPTY = 6748828848.
o 6748828848
ERROR: Solution verification fails, real_empty = -1856132333, NB_EMPTY = 6733802259.
o 6733802259
ERROR: Solution verification fails, real_empty = -1871158922, NB_EMPTY = 6718775670.
o 6718775670
ERROR: Solution verification fails, real_empty = -1886185511, NB_EMPTY = 6703749081.
o 6703749081
ERROR: Solution verification fails, real_empty = -1886185512, NB_EMPTY = 6703749080.
o 6703749080
ERROR: Solution verification fails, real_empty = -1901212101, NB_EMPTY = 6688722491.
o 6688722491
ERROR: Solution verification fails, real_empty = -1916238690, NB_EMPTY = 6673695902.
o 6673695902
ERROR: Solution verification fails, real_empty = -1931265279, NB_EMPTY = 6658669313.
o 6658669313
ERROR: Solution verification fails, real_empty = -1946291868, NB_EMPTY = 6643642724.
o 6643642724
ERROR: Solution verification fails, real_empty = -1961318457, NB_EMPTY = 6628616135.
o 6628616135
ERROR: Solution verification fails, real_empty = -1976345046, NB_EMPTY = 6613589546.
o 6613589546
ERROR: Solution verification fails, real_empty = -1991371635, NB_EMPTY = 6598562957.
o 6598562957
ERROR: Solution verification fails, real_empty = -2006398224, NB_EMPTY = 6583536368.
o 6583536368
ERROR: Solution verification fails, real_empty = -2021424813, NB_EMPTY = 6568509779.
o 6568509779
ERROR: Solution verification fails, real_empty = -2036451402, NB_EMPTY = 6553483190.
o 6553483190
ERROR: Solution verification fails, real_empty = -2051477991, NB_EMPTY = 6538456601.
o 6538456601
ERROR: Solution verification fails, real_empty = -2051477992, NB_EMPTY = 6538456600.
o 6538456600
ERROR: Solution verification fails, real_empty = -2066504581, NB_EMPTY = 6523430011.
o 6523430011
ERROR: Solution verification fails, real_empty = -2081531170, NB_EMPTY = 6508403422.
o 6508403422
ERROR: Solution verification fails, real_empty = -2096557759, NB_EMPTY = 6493376833.
o 6493376833
ERROR: Solution verification fails, real_empty = -2111584348, NB_EMPTY = 6478350244.
o 6478350244
ERROR: Solution verification fails, real_empty = -2126610937, NB_EMPTY = 6463323655.
o 6463323655
ERROR: Solution verification fails, real_empty = -2141637526, NB_EMPTY = 6448297066.
o 6448297066
ERROR: Solution verification fails, real_empty = 2138303181, NB_EMPTY = 6433270477.
o 6433270477
ERROR: Solution verification fails, real_empty = 2123276592, NB_EMPTY = 6418243888.
o 6418243888
ERROR: Solution verification fails, real_empty = 2108250003, NB_EMPTY = 6403217299.
o 6403217299
ERROR: Solution verification fails, real_empty = 2093223414, NB_EMPTY = 6388190710.
o 6388190710
ERROR: Solution verification fails, real_empty = 2078196825, NB_EMPTY = 6373164121.
o 6373164121
ERROR: Solution verification fails, real_empty = 2063170236, NB_EMPTY = 6358137532.
o 6358137532
ERROR: Solution verification fails, real_empty = 2048143647, NB_EMPTY = 6343110943.
o 6343110943
ERROR: Solution verification fails, real_empty = 2033117058, NB_EMPTY = 6328084354.
o 6328084354
ERROR: Solution verification fails, real_empty = 2033117057, NB_EMPTY = 6328084353.
o 6328084353
ERROR: Solution verification fails, real_empty = 2018090468, NB_EMPTY = 6313057764.
o 6313057764
ERROR: Solution verification fails, real_empty = 2003063879, NB_EMPTY = 6298031175.
o 6298031175
ERROR: Solution verification fails, real_empty = 1988037290, NB_EMPTY = 6283004586.
o 6283004586
ERROR: Solution verification fails, real_empty = 1973010701, NB_EMPTY = 6267977997.
o 6267977997
ERROR: Solution verification fails, real_empty = 1957984112, NB_EMPTY = 6252951408.
o 6252951408
ERROR: Solution verification fails, real_empty = 1942957523, NB_EMPTY = 6237924819.
o 6237924819
ERROR: Solution verification fails, real_empty = 1927930934, NB_EMPTY = 6222898230.
o 6222898230
ERROR: Solution verification fails, real_empty = 1912904345, NB_EMPTY = 6207871641.
o 6207871641
ERROR: Solution verification fails, real_empty = 1897877756, NB_EMPTY = 6192845052.
o 6192845052
ERROR: Solution verification fails, real_empty = 1882851167, NB_EMPTY = 6177818463.
o 6177818463
ERROR: Solution verification fails, real_empty = 1867824578, NB_EMPTY = 6162791874.
o 6162791874
ERROR: Solution verification fails, real_empty = 1867824577, NB_EMPTY = 6162791873.
o 6162791873
ERROR: Solution verification fails, real_empty = 1852797988, NB_EMPTY = 6147765284.
o 6147765284
ERROR: Solution verification fails, real_empty = 1837771399, NB_EMPTY = 6132738695.
o 6132738695
ERROR: Solution verification fails, real_empty = 1822744810, NB_EMPTY = 6117712106.
o 6117712106
ERROR: Solution verification fails, real_empty = 1807718221, NB_EMPTY = 6102685517.
o 6102685517
ERROR: Solution verification fails, real_empty = 1792691632, NB_EMPTY = 6087658928.
o 6087658928
ERROR: Solution verification fails, real_empty = 1777665043, NB_EMPTY = 6072632339.
o 6072632339
ERROR: Solution verification fails, real_empty = 1762638454, NB_EMPTY = 6057605750.
o 6057605750
ERROR: Solution verification fails, real_empty = 1747611865, NB_EMPTY = 6042579161.
o 6042579161
ERROR: Solution verification fails, real_empty = 1732585276, NB_EMPTY = 6027552572.
o 6027552572
ERROR: Solution verification fails, real_empty = 1717558687, NB_EMPTY = 6012525983.
o 6012525983
ERROR: Solution verification fails, real_empty = 1702532098, NB_EMPTY = 5997499394.
o 5997499394
ERROR: Solution verification fails, real_empty = 1687505509, NB_EMPTY = 5982472805.
o 598247Killed
1979.653u 0.048s 33:09.37 99.5%	0+0k 0+0io 0pf+0w