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-79.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i4000d0u98-79.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 = -1134674363, NB_EMPTY = 7455260229.
o 7455260229
ERROR: Solution verification fails, real_empty = -1149700952, NB_EMPTY = 7440233640.
o 7440233640
ERROR: Solution verification fails, real_empty = -1164727541, NB_EMPTY = 7425207051.
o 7425207051
ERROR: Solution verification fails, real_empty = -1179754130, NB_EMPTY = 7410180462.
o 7410180462
ERROR: Solution verification fails, real_empty = -1194780719, NB_EMPTY = 7395153873.
o 7395153873
ERROR: Solution verification fails, real_empty = -1209807308, NB_EMPTY = 7380127284.
o 7380127284
ERROR: Solution verification fails, real_empty = -1224833897, NB_EMPTY = 7365100695.
o 7365100695
ERROR: Solution verification fails, real_empty = -1239860486, NB_EMPTY = 7350074106.
o 7350074106
ERROR: Solution verification fails, real_empty = -1254887075, NB_EMPTY = 7335047517.
o 7335047517
ERROR: Solution verification fails, real_empty = -1269913664, NB_EMPTY = 7320020928.
o 7320020928
ERROR: Solution verification fails, real_empty = -1284940253, NB_EMPTY = 7304994339.
o 7304994339
ERROR: Solution verification fails, real_empty = -1299966842, NB_EMPTY = 7289967750.
o 7289967750
ERROR: Solution verification fails, real_empty = -1314993431, NB_EMPTY = 7274941161.
o 7274941161
ERROR: Solution verification fails, real_empty = -1330020020, NB_EMPTY = 7259914572.
o 7259914572
ERROR: Solution verification fails, real_empty = -1345046609, NB_EMPTY = 7244887983.
o 7244887983
ERROR: Solution verification fails, real_empty = -1360073198, NB_EMPTY = 7229861394.
o 7229861394
ERROR: Solution verification fails, real_empty = -1375099787, NB_EMPTY = 7214834805.
o 7214834805
ERROR: Solution verification fails, real_empty = -1390126376, NB_EMPTY = 7199808216.
o 7199808216
ERROR: Solution verification fails, real_empty = -1405152965, NB_EMPTY = 7184781627.
o 7184781627
ERROR: Solution verification fails, real_empty = -1420179554, NB_EMPTY = 7169755038.
o 7169755038
ERROR: Solution verification fails, real_empty = -1435206143, NB_EMPTY = 7154728449.
o 7154728449
ERROR: Solution verification fails, real_empty = -1450232732, NB_EMPTY = 7139701860.
o 7139701860
ERROR: Solution verification fails, real_empty = -1465259321, NB_EMPTY = 7124675271.
o 7124675271
ERROR: Solution verification fails, real_empty = -1480285910, NB_EMPTY = 7109648682.
o 7109648682
ERROR: Solution verification fails, real_empty = -1480285911, NB_EMPTY = 7109648681.
o 7109648681
ERROR: Solution verification fails, real_empty = -1495312500, NB_EMPTY = 7094622092.
o 7094622092
ERROR: Solution verification fails, real_empty = -1495312501, NB_EMPTY = 7094622091.
o 7094622091
ERROR: Solution verification fails, real_empty = -1510339090, NB_EMPTY = 7079595502.
o 7079595502
ERROR: Solution verification fails, real_empty = -1525365679, NB_EMPTY = 7064568913.
o 7064568913
ERROR: Solution verification fails, real_empty = -1540392268, NB_EMPTY = 7049542324.
o 7049542324
ERROR: Solution verification fails, real_empty = -1555418857, NB_EMPTY = 7034515735.
o 7034515735
ERROR: Solution verification fails, real_empty = -1570445446, NB_EMPTY = 7019489146.
o 7019489146
ERROR: Solution verification fails, real_empty = -1585472035, NB_EMPTY = 7004462557.
o 7004462557
ERROR: Solution verification fails, real_empty = -1600498624, NB_EMPTY = 6989435968.
o 6989435968
ERROR: Solution verification fails, real_empty = -1615525213, NB_EMPTY = 6974409379.
o 6974409379
ERROR: Solution verification fails, real_empty = -1615525214, NB_EMPTY = 6974409378.
o 6974409378
ERROR: Solution verification fails, real_empty = -1630551803, NB_EMPTY = 6959382789.
o 6959382789
ERROR: Solution verification fails, real_empty = -1645578392, NB_EMPTY = 6944356200.
o 6944356200
ERROR: Solution verification fails, real_empty = -1660604981, NB_EMPTY = 6929329611.
o 6929329611
ERROR: Solution verification fails, real_empty = -1660604982, NB_EMPTY = 6929329610.
o 6929329610
ERROR: Solution verification fails, real_empty = -1675631571, NB_EMPTY = 6914303021.
o 6914303021
ERROR: Solution verification fails, real_empty = -1690658160, NB_EMPTY = 6899276432.
o 6899276432
ERROR: Solution verification fails, real_empty = -1705684749, NB_EMPTY = 6884249843.
o 6884249843
ERROR: Solution verification fails, real_empty = -1720711338, NB_EMPTY = 6869223254.
o 6869223254
ERROR: Solution verification fails, real_empty = -1720711339, NB_EMPTY = 6869223253.
o 6869223253
ERROR: Solution verification fails, real_empty = -1735737928, NB_EMPTY = 6854196664.
o 6854196664
ERROR: Solution verification fails, real_empty = -1750764517, NB_EMPTY = 6839170075.
o 6839170075
ERROR: Solution verification fails, real_empty = -1750764518, NB_EMPTY = 6839170074.
o 6839170074
ERROR: Solution verification fails, real_empty = -1765791107, NB_EMPTY = 6824143485.
o 6824143485
ERROR: Solution verification fails, real_empty = -1780817696, NB_EMPTY = 6809116896.
o 6809116896
ERROR: Solution verification fails, real_empty = -1795844285, NB_EMPTY = 6794090307.
o 6794090307
ERROR: Solution verification fails, real_empty = -1810870874, NB_EMPTY = 6779063718.
o 6779063718
ERROR: Solution verification fails, real_empty = -1825897463, NB_EMPTY = 6764037129.
o 6764037129
ERROR: Solution verification fails, real_empty = -1840924052, NB_EMPTY = 6749010540.
o 6749010540
ERROR: Solution verification fails, real_empty = -1840924053, NB_EMPTY = 6749010539.
o 6749010539
ERROR: Solution verification fails, real_empty = -1855950642, NB_EMPTY = 6733983950.
o 6733983950
ERROR: Solution verification fails, real_empty = -1855950643, NB_EMPTY = 6733983949.
o 6733983949
ERROR: Solution verification fails, real_empty = -1870977232, NB_EMPTY = 6718957360.
o 6718957360
ERROR: Solution verification fails, real_empty = -1886003821, NB_EMPTY = 6703930771.
o 6703930771
ERROR: Solution verification fails, real_empty = -1901030410, NB_EMPTY = 6688904182.
o 6688904182
ERROR: Solution verification fails, real_empty = -1901030411, NB_EMPTY = 6688904181.
o 6688904181
ERROR: Solution verification fails, real_empty = -1916057000, NB_EMPTY = 6673877592.
o 6673877592
ERROR: Solution verification fails, real_empty = -1931083589, NB_EMPTY = 6658851003.
o 6658851003
ERROR: Solution verification fails, real_empty = -1931083590, NB_EMPTY = 6658851002.
o 6658851002
ERROR: Solution verification fails, real_empty = -1946110179, NB_EMPTY = 6643824413.
o 6643824413
ERROR: Solution verification fails, real_empty = -1961136768, NB_EMPTY = 6628797824.
o 6628797824
ERROR: Solution verification fails, real_empty = -1976163357, NB_EMPTY = 6613771235.
o 6613771235
ERROR: Solution verification fails, real_empty = -1991189946, NB_EMPTY = 6598744646.
o 6598744646
ERROR: Solution verification fails, real_empty = -2006216535, NB_EMPTY = 6583718057.
o 6583718057
ERROR: Solution verification fails, real_empty = -2021243124, NB_EMPTY = 6568691468.
o 6568691468
ERROR: Solution verification fails, real_empty = -2036269713, NB_EMPTY = 6553664879.
o 6553664879
ERROR: Solution verification fails, real_empty = -2051296302, NB_EMPTY = 6538638290.
o 6538638290
ERROR: Solution verification fails, real_empty = -2066322891, NB_EMPTY = 6523611701.
o 6523611701
ERROR: Solution verification fails, real_empty = -2081349480, NB_EMPTY = 6508585112.
o 6508585112
ERROR: Solution verification fails, real_empty = -2096376069, NB_EMPTY = 6493558523.
o 6493558523
ERROR: Solution verification fails, real_empty = -2111402658, NB_EMPTY = 6478531934.
o 6478531934
ERROR: Solution verification fails, real_empty = -2126429247, NB_EMPTY = 6463505345.
o 6463505345
ERROR: Solution verification fails, real_empty = -2141455836, NB_EMPTY = 6448478756.
o 6448478756
ERROR: Solution verification fails, real_empty = 2138484871, NB_EMPTY = 6433452167.
o 6433452167
ERROR: Solution verification fails, real_empty = 2123458282, NB_EMPTY = 6418425578.
o 6418425578
ERROR: Solution verification fails, real_empty = 2108431693, NB_EMPTY = 6403398989.
o 6403398989
ERROR: Solution verification fails, real_empty = 2093405104, NB_EMPTY = 63Killed
1979.420u 0.281s 33:03.91 99.7%	0+0k 0+0io 0pf+0w