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-82.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i4000d0u98-82.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 = -1269931861, NB_EMPTY = 7320002731.
o 7320002731
ERROR: Solution verification fails, real_empty = -1284958450, NB_EMPTY = 7304976142.
o 7304976142
ERROR: Solution verification fails, real_empty = -1299985039, NB_EMPTY = 7289949553.
o 7289949553
ERROR: Solution verification fails, real_empty = -1315011628, NB_EMPTY = 7274922964.
o 7274922964
ERROR: Solution verification fails, real_empty = -1330038217, NB_EMPTY = 7259896375.
o 7259896375
ERROR: Solution verification fails, real_empty = -1345064806, NB_EMPTY = 7244869786.
o 7244869786
ERROR: Solution verification fails, real_empty = -1360091395, NB_EMPTY = 7229843197.
o 7229843197
ERROR: Solution verification fails, real_empty = -1375117984, NB_EMPTY = 7214816608.
o 7214816608
ERROR: Solution verification fails, real_empty = -1390144573, NB_EMPTY = 7199790019.
o 7199790019
ERROR: Solution verification fails, real_empty = -1405171162, NB_EMPTY = 7184763430.
o 7184763430
ERROR: Solution verification fails, real_empty = -1420197751, NB_EMPTY = 7169736841.
o 7169736841
ERROR: Solution verification fails, real_empty = -1435224340, NB_EMPTY = 7154710252.
o 7154710252
ERROR: Solution verification fails, real_empty = -1450250929, NB_EMPTY = 7139683663.
o 7139683663
ERROR: Solution verification fails, real_empty = -1465277518, NB_EMPTY = 7124657074.
o 7124657074
ERROR: Solution verification fails, real_empty = -1480304107, NB_EMPTY = 7109630485.
o 7109630485
ERROR: Solution verification fails, real_empty = -1480304108, NB_EMPTY = 7109630484.
o 7109630484
ERROR: Solution verification fails, real_empty = -1495330697, NB_EMPTY = 7094603895.
o 7094603895
ERROR: Solution verification fails, real_empty = -1510357286, NB_EMPTY = 7079577306.
o 7079577306
ERROR: Solution verification fails, real_empty = -1525383875, NB_EMPTY = 7064550717.
o 7064550717
ERROR: Solution verification fails, real_empty = -1540410464, NB_EMPTY = 7049524128.
o 7049524128
ERROR: Solution verification fails, real_empty = -1555437053, NB_EMPTY = 7034497539.
o 7034497539
ERROR: Solution verification fails, real_empty = -1570463642, NB_EMPTY = 7019470950.
o 7019470950
ERROR: Solution verification fails, real_empty = -1585490231, NB_EMPTY = 7004444361.
o 7004444361
ERROR: Solution verification fails, real_empty = -1600516820, NB_EMPTY = 6989417772.
o 6989417772
ERROR: Solution verification fails, real_empty = -1600516821, NB_EMPTY = 6989417771.
o 6989417771
ERROR: Solution verification fails, real_empty = -1615543410, NB_EMPTY = 6974391182.
o 6974391182
ERROR: Solution verification fails, real_empty = -1630569999, NB_EMPTY = 6959364593.
o 6959364593
ERROR: Solution verification fails, real_empty = -1645596588, NB_EMPTY = 6944338004.
o 6944338004
ERROR: Solution verification fails, real_empty = -1660623177, NB_EMPTY = 6929311415.
o 6929311415
ERROR: Solution verification fails, real_empty = -1675649766, NB_EMPTY = 6914284826.
o 6914284826
ERROR: Solution verification fails, real_empty = -1690676355, NB_EMPTY = 6899258237.
o 6899258237
ERROR: Solution verification fails, real_empty = -1705702944, NB_EMPTY = 6884231648.
o 6884231648
ERROR: Solution verification fails, real_empty = -1720729533, NB_EMPTY = 6869205059.
o 6869205059
ERROR: Solution verification fails, real_empty = -1735756122, NB_EMPTY = 6854178470.
o 6854178470
ERROR: Solution verification fails, real_empty = -1750782711, NB_EMPTY = 6839151881.
o 6839151881
ERROR: Solution verification fails, real_empty = -1765809300, NB_EMPTY = 6824125292.
o 6824125292
ERROR: Solution verification fails, real_empty = -1780835889, NB_EMPTY = 6809098703.
o 6809098703
ERROR: Solution verification fails, real_empty = -1795862478, NB_EMPTY = 6794072114.
o 6794072114
ERROR: Solution verification fails, real_empty = -1810889067, NB_EMPTY = 6779045525.
o 6779045525
ERROR: Solution verification fails, real_empty = -1825915656, NB_EMPTY = 6764018936.
o 6764018936
ERROR: Solution verification fails, real_empty = -1825915657, NB_EMPTY = 6764018935.
o 6764018935
ERROR: Solution verification fails, real_empty = -1840942246, NB_EMPTY = 6748992346.
o 6748992346
ERROR: Solution verification fails, real_empty = -1840942247, NB_EMPTY = 6748992345.
o 6748992345
ERROR: Solution verification fails, real_empty = -1855968836, NB_EMPTY = 6733965756.
o 6733965756
ERROR: Solution verification fails, real_empty = -1870995425, NB_EMPTY = 6718939167.
o 6718939167
ERROR: Solution verification fails, real_empty = -1886022014, NB_EMPTY = 6703912578.
o 6703912578
ERROR: Solution verification fails, real_empty = -1901048603, NB_EMPTY = 6688885989.
o 6688885989
ERROR: Solution verification fails, real_empty = -1916075192, NB_EMPTY = 6673859400.
o 6673859400
ERROR: Solution verification fails, real_empty = -1931101781, NB_EMPTY = 6658832811.
o 6658832811
ERROR: Solution verification fails, real_empty = -1946128370, NB_EMPTY = 6643806222.
o 6643806222
ERROR: Solution verification fails, real_empty = -1961154959, NB_EMPTY = 6628779633.
o 6628779633
ERROR: Solution verification fails, real_empty = -1976181548, NB_EMPTY = 6613753044.
o 6613753044
ERROR: Solution verification fails, real_empty = -1991208137, NB_EMPTY = 6598726455.
o 6598726455
ERROR: Solution verification fails, real_empty = -2006234726, NB_EMPTY = 6583699866.
o 6583699866
ERROR: Solution verification fails, real_empty = -2021261315, NB_EMPTY = 6568673277.
o 6568673277
ERROR: Solution verification fails, real_empty = -2036287904, NB_EMPTY = 6553646688.
o 6553646688
ERROR: Solution verification fails, real_empty = -2036287905, NB_EMPTY = 6553646687.
o 6553646687
ERROR: Solution verification fails, real_empty = -2051314494, NB_EMPTY = 6538620098.
o 6538620098
ERROR: Solution verification fails, real_empty = -2066341083, NB_EMPTY = 6523593509.
o 6523593509
ERROR: Solution verification fails, real_empty = -2081367672, NB_EMPTY = 6508566920.
o 6508566920
ERROR: Solution verification fails, real_empty = -2096394261, NB_EMPTY = 6493540331.
o 6493540331
ERROR: Solution verification fails, real_empty = -2111420850, NB_EMPTY = 6478513742.
o 6478513742
ERROR: Solution verification fails, real_empty = -2126447439, NB_EMPTY = 6463487153.
o 6463487153
ERROR: Solution verification fails, real_empty = -2141474028, NB_EMPTY = 6448460564.
o 6448460564
ERROR: Solution verification fails, real_empty = 2138466679, NB_EMPTY = 6433433975.
o 6433433975
ERROR: Solution verification fails, real_empty = 2123440090, NB_EMPTY = 6418407386.
o 6418407386
ERROR: Solution verification fails, real_empty = 2108413501, NB_EMPTY = 6403380797.
o 6403380797
ERROR: Solution verification fails, real_empty = 2108413500, NB_EMPTY = 6403380796.
o 6403380796
ERROR: Solution verification fails, real_empty = 2093386911, NB_EMPTY = 6388354207.
o 6388354207
ERROR: Solution verification fails, real_empty = 2078360322, NB_EMPTY = 6373327618.
o 6373327618
ERROR: Solution verification fails, real_empty = 2063333733, NB_EMPTY = 6358301029.
o 6358301029
ERROR: Solution verification fails, real_empty = 2048307144, NB_EMPTY = 6343274440.
o 6343274440
ERROR: Solution verification fails, real_empty = 2033280555, NB_EMPTY = 6328247851.
o 6328247851
ERROR: Solution verification fails, real_empty = 2033280554, NB_EMPTY = 6328247850.
o 6328247850
ERROR: Solution verification fails, real_empty = 2018253965, NB_EMPTY = 6313221261.
o 6313221261
ERROR: Solution verification fails, real_empty = 2003227376, NB_EMPTY = 6298194672.
o 6298194672
ERROR: Solution verification fails, real_empty = 1988200787, NB_EMPTY = 6283168083.
o 6283168083
ERROR: Solution verification fails, real_empty = 1973174198, NB_EMPTY = 6268141494.
o 6268141494
ERROR: Solution verification fails, real_empty = 1958147609, NB_EMPTY = 6253114905.
o 6253114905
ERROR: Solution verification fails, real_empty = 1943121020, NB_EMPTY = 6238088316.
o 6238088316
ERROR: Solution verification fails, real_empty = 1928094431, NB_EMPTY = 6223061727.
o 6223061727
ERROR: Solution verification fails, real_empty = 1913067842, NB_EMPTY = 6208035138.
o 6208035138
ERROR: Solution verification fails, real_empty = 1898041253, NB_EMPTY = 6193008549.
o 6193008549
ERROR: Solution verification fails, real_empty = 1883014664, NB_EMPTY = 6177981960.
o 6177981960
ERROR: Solution verification fails, real_empty = 1867988075, NB_EMPTY = 6162955371.
o 6162955371
ERROR: Solution verification fails, real_empty = 1852979655, NB_EMPTY = 6147946951.
o 6147946951
ERROR: Solution verification fails, real_empty = 1852961486, NB_EMPTY = 6147928782.
o 6147928782
ERROR: Solution verification fails, real_empty = 1837953066, NB_EMPTY = 6132920362.
o 6132920362
ERROR: Solution verification fails, real_empty = 1837934897, NB_EMPTY = 6132902193.
o 6132902193
ERROR: Solution verification fails, real_empty = 1822926477, NB_EMPTY = 6117893773.
o 6117893773
ERROR: Solution verification fails, real_empty = 1822908308, NB_EMPTY = 6117875604.
o 6117875604
ERROR: Solution verification fails, real_empty = 1807899888, NB_EMPTY = 6102867184.
o 6102867184
ERROR: Solution verification fails, real_empty = 1807881719, NB_EMPTY = 6102849015.
o 6102849015
ERROR: Solution verification fails, real_empty = 1792873299, NB_EMPTY = 6087840595.
o 6087840595
ERROR: Solution verification fails, real_empty = 1792855130, NB_EMPTY = 6087822426.
o 6087822426
ERROR: Solution verification fails, real_empty = 1777846710, NB_EMPTY = 6072814006.
o 6072814006
ERROR: Solution verification fails, real_empty = 1777828541, NB_EMPTY = 6072795837.
o 6072795837
ERROR: Solution verification fails, real_empty = 1762820121, NB_EMPTY = 6057787417.
o 6057787417
ERROR: Solution verification fails, real_empty = 1762801952, NB_EMPTY = 6057769248.
o 6057769248
ERROR: Solution verification fails, real_empty = 1747793532, NB_EMPTY = 6042760828.
o 6042760828
ERROR: Solution verification fails, real_empty = 1747775363, NB_EMPTY = 6042742659.
o 6042742659
ERROR: Solution verification fails, real_empty = 1732766943, NB_EMPTY = 6027734239.
o 6027734239
ERROR: Solution verification fails, real_empty = 1732748774, NB_EMPTY = 6027716070.
o 6027716070
ERROR: Solution verification fails, real_empty = 1717740354, NB_EMPTY = 6012707650.
o 6012707650
ERROR: Solution verification fails, real_empty = 1717722185, NB_EMPTY = 6012689481.
o 6012689481
ERROR: Solution verification fails, real_empty = 1702713765, NB_EMPTY = 5997681061.
o 5997681061
ERROR: Solution verification fails, real_empty = 1702695596, NB_EMPTY = 5997662892.
o 5997662892
ERROR: Solution verification fails, real_empty = 1687687176, NB_EMPTY = 5982654472.
o 5982654472
ERROR: Solution verification fails, real_empty = 1687669007, NB_EMPTY = 5982636303.
o 5982636303
ERROR: Solution verification fails, real_empty = 1672660587, NB_EMPTY = 5967627883.
o 5967627883
ERROR: Solution verification fails, real_empty = 1672642418, NB_EMPTY = 5967609714.
o 5967609714
ERROR: Solution verification fails, real_empty = 1657633998, NB_EMPTY = 5952601294.
o 5952601294
ERROR: Solution verification fails, real_empty = 1657615829, NB_EMPTY = 5952583125.
o 5952583125
ERROR: Solution verification fails, real_empty = 1642607409, NB_EMPTY = 5937574705.
o 5937574705
ERROR: Solution verification fails, real_empty = 1642589240, NB_EMPTY = 5937556536.
o 5937556536
ERROR: Solution verification fails, real_empty = 1627580820, NB_EMPTY = 5922548116.
o 5922548116
ERROR: Solution verification fails, real_empty = 1627562651, NB_EMPTY = 5922529947.
o 5922529947
ERROR: Solution verification fails, real_empty = 1612554231, NB_EMPTY = 5907521527.
o 5907521527
ERROR: Solution verification fails, real_empty = 1612536062, NB_EMPTY = 5907503358.
o 5907503358
ERROR: Solution verification fails, real_empty = 1597527642, NB_EMPTY = 5892494938.
o 5892494938
ERROR: Solution verification fails, real_empty = 1597527641, NB_EMPTY = 5892494937.
o 5892494937
ERROR: Solution verification fails, real_empty = 1597509472, NB_EMPTY = 5892476768.
o 5892476768
ERROR: Solution verification fails, real_empty = 1582501052, NB_EMPTY = 5877468348.
o 5877468348
ERROR: Solution verification fails, real_empty = 1582482883, NB_EMPTY = 5877450179.
o 5877450179
ERROR: SolutiKilled
1979.604u 0.098s 33:06.95 99.6%	0+0k 0+0io 0pf+0w