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-91.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i4000d0u98-91.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 = -1119647746, NB_EMPTY = 7470286846.
o 7470286846
ERROR: Solution verification fails, real_empty = -1134674335, NB_EMPTY = 7455260257.
o 7455260257
ERROR: Solution verification fails, real_empty = -1149700925, NB_EMPTY = 7440233667.
o 7440233667
ERROR: Solution verification fails, real_empty = -1164727514, NB_EMPTY = 7425207078.
o 7425207078
ERROR: Solution verification fails, real_empty = -1179754103, NB_EMPTY = 7410180489.
o 7410180489
ERROR: Solution verification fails, real_empty = -1194780692, NB_EMPTY = 7395153900.
o 7395153900
ERROR: Solution verification fails, real_empty = -1209807281, NB_EMPTY = 7380127311.
o 7380127311
ERROR: Solution verification fails, real_empty = -1224833870, NB_EMPTY = 7365100722.
o 7365100722
ERROR: Solution verification fails, real_empty = -1239860459, NB_EMPTY = 7350074133.
o 7350074133
ERROR: Solution verification fails, real_empty = -1239860460, NB_EMPTY = 7350074132.
o 7350074132
ERROR: Solution verification fails, real_empty = -1254887049, NB_EMPTY = 7335047543.
o 7335047543
ERROR: Solution verification fails, real_empty = -1269913638, NB_EMPTY = 7320020954.
o 7320020954
ERROR: Solution verification fails, real_empty = -1284940227, NB_EMPTY = 7304994365.
o 7304994365
ERROR: Solution verification fails, real_empty = -1299966816, NB_EMPTY = 7289967776.
o 7289967776
ERROR: Solution verification fails, real_empty = -1314993405, NB_EMPTY = 7274941187.
o 7274941187
ERROR: Solution verification fails, real_empty = -1330019994, NB_EMPTY = 7259914598.
o 7259914598
ERROR: Solution verification fails, real_empty = -1345046583, NB_EMPTY = 7244888009.
o 7244888009
ERROR: Solution verification fails, real_empty = -1360073172, NB_EMPTY = 7229861420.
o 7229861420
ERROR: Solution verification fails, real_empty = -1375099761, NB_EMPTY = 7214834831.
o 7214834831
ERROR: Solution verification fails, real_empty = -1390126350, NB_EMPTY = 7199808242.
o 7199808242
ERROR: Solution verification fails, real_empty = -1405152939, NB_EMPTY = 7184781653.
o 7184781653
ERROR: Solution verification fails, real_empty = -1420179528, NB_EMPTY = 7169755064.
o 7169755064
ERROR: Solution verification fails, real_empty = -1435206117, NB_EMPTY = 7154728475.
o 7154728475
ERROR: Solution verification fails, real_empty = -1450232706, NB_EMPTY = 7139701886.
o 7139701886
ERROR: Solution verification fails, real_empty = -1465259295, NB_EMPTY = 7124675297.
o 7124675297
ERROR: Solution verification fails, real_empty = -1480285884, NB_EMPTY = 7109648708.
o 7109648708
ERROR: Solution verification fails, real_empty = -1495312473, NB_EMPTY = 7094622119.
o 7094622119
ERROR: Solution verification fails, real_empty = -1495312474, NB_EMPTY = 7094622118.
o 7094622118
ERROR: Solution verification fails, real_empty = -1510339063, NB_EMPTY = 7079595529.
o 7079595529
ERROR: Solution verification fails, real_empty = -1510339064, NB_EMPTY = 7079595528.
o 7079595528
ERROR: Solution verification fails, real_empty = -1525365653, NB_EMPTY = 7064568939.
o 7064568939
ERROR: Solution verification fails, real_empty = -1540392242, NB_EMPTY = 7049542350.
o 7049542350
ERROR: Solution verification fails, real_empty = -1540392243, NB_EMPTY = 7049542349.
o 7049542349
ERROR: Solution verification fails, real_empty = -1555418832, NB_EMPTY = 7034515760.
o 7034515760
ERROR: Solution verification fails, real_empty = -1570445421, NB_EMPTY = 7019489171.
o 7019489171
ERROR: Solution verification fails, real_empty = -1585472010, NB_EMPTY = 7004462582.
o 7004462582
ERROR: Solution verification fails, real_empty = -1600498599, NB_EMPTY = 6989435993.
o 6989435993
ERROR: Solution verification fails, real_empty = -1615525188, NB_EMPTY = 6974409404.
o 6974409404
ERROR: Solution verification fails, real_empty = -1630551777, NB_EMPTY = 6959382815.
o 6959382815
ERROR: Solution verification fails, real_empty = -1630551778, NB_EMPTY = 6959382814.
o 6959382814
ERROR: Solution verification fails, real_empty = -1645578367, NB_EMPTY = 6944356225.
o 6944356225
ERROR: Solution verification fails, real_empty = -1645578368, NB_EMPTY = 6944356224.
o 6944356224
ERROR: Solution verification fails, real_empty = -1660604957, NB_EMPTY = 6929329635.
o 6929329635
ERROR: Solution verification fails, real_empty = -1675631546, NB_EMPTY = 6914303046.
o 6914303046
ERROR: Solution verification fails, real_empty = -1690658135, NB_EMPTY = 6899276457.
o 6899276457
ERROR: Solution verification fails, real_empty = -1705684724, NB_EMPTY = 6884249868.
o 6884249868
ERROR: Solution verification fails, real_empty = -1720711313, NB_EMPTY = 6869223279.
o 6869223279
ERROR: Solution verification fails, real_empty = -1735737902, NB_EMPTY = 6854196690.
o 6854196690
ERROR: Solution verification fails, real_empty = -1750764491, NB_EMPTY = 6839170101.
o 6839170101
ERROR: Solution verification fails, real_empty = -1765791080, NB_EMPTY = 6824143512.
o 6824143512
ERROR: Solution verification fails, real_empty = -1780817669, NB_EMPTY = 6809116923.
o 6809116923
ERROR: Solution verification fails, real_empty = -1795844258, NB_EMPTY = 6794090334.
o 6794090334
ERROR: Solution verification fails, real_empty = -1810870847, NB_EMPTY = 6779063745.
o 6779063745
ERROR: Solution verification fails, real_empty = -1825897436, NB_EMPTY = 6764037156.
o 6764037156
ERROR: Solution verification fails, real_empty = -1825897437, NB_EMPTY = 6764037155.
o 6764037155
ERROR: Solution verification fails, real_empty = -1840924026, NB_EMPTY = 6749010566.
o 6749010566
ERROR: Solution verification fails, real_empty = -1840924027, NB_EMPTY = 6749010565.
o 6749010565
ERROR: Solution verification fails, real_empty = -1855950616, NB_EMPTY = 6733983976.
o 6733983976
ERROR: Solution verification fails, real_empty = -1870977205, NB_EMPTY = 6718957387.
o 6718957387
ERROR: Solution verification fails, real_empty = -1886003794, NB_EMPTY = 6703930798.
o 6703930798
ERROR: Solution verification fails, real_empty = -1901030383, NB_EMPTY = 6688904209.
o 6688904209
ERROR: Solution verification fails, real_empty = -1916056972, NB_EMPTY = 6673877620.
o 6673877620
ERROR: Solution verification fails, real_empty = -1931083561, NB_EMPTY = 6658851031.
o 6658851031
ERROR: Solution verification fails, real_empty = -1946110150, NB_EMPTY = 6643824442.
o 6643824442
ERROR: Solution verification fails, real_empty = -1961136739, NB_EMPTY = 6628797853.
o 6628797853
ERROR: Solution verification fails, real_empty = -1976163328, NB_EMPTY = 6613771264.
o 6613771264
ERROR: Solution verification fails, real_empty = -1991189917, NB_EMPTY = 6598744675.
o 6598744675
ERROR: Solution verification fails, real_empty = -2006216506, NB_EMPTY = 6583718086.
o 6583718086
ERROR: Solution verification fails, real_empty = -2021243095, NB_EMPTY = 6568691497.
o 6568691497
ERROR: Solution verification fails, real_empty = -2036269684, NB_EMPTY = 6553664908.
o 6553664908
ERROR: Solution verification fails, real_empty = -2051296273, NB_EMPTY = 6538638319.
o 6538638319
ERROR: Solution verification fails, real_empty = -2066322862, NB_EMPTY = 6523611730.
o 6523611730
ERROR: Solution verification fails, real_empty = -2081349451, NB_EMPTY = 6508585141.
o 6508585141
ERROR: Solution verification fails, real_empty = -2096376040, NB_EMPTY = 6493558552.
o 6493558552
ERROR: Solution verification fails, real_empty = -2111402629, NB_EMPTY = 6478531963.
o 6478531963
ERROR: Solution verification fails, real_empty = -2126429218, NB_EMPTY = 6463505374.
o 6463505374
ERROR: Solution verification fails, real_empty = -2141455807, NB_EMPTY = 6448478785.
o 6448478785
ERROR: Solution verification fails, real_empty = 2138503069, NB_EMPTY = 6433470365.
o 6433470365
ERROR: Solution verification fails, real_empty = 2138484899, NB_EMPTY = 6433452195.
o 6433452195
ERROR: Solution verification fails, real_empty = 2123476479, NB_EMPTY = 6418443775.
o 6418443775
ERROR: Solution verification fails, real_empty = 2123458309, NB_EMPTY = 6418425605.
o 6418425605
ERROR: Solution verification fails, real_empty = 2108449889, NB_EMPTY = 6403417185.
o 6403417185
ERROR: Solution verification fails, real_empty = 2108431720, NB_EMPTY = 6403399016.
o 6403399016
ERROR: Solution verification fails, real_empty = 2093423300, NB_EMPTY = 6388390596.
o 6388390596
ERROR: Solution verification fails, real_empty = 2093405131, NB_EMPTY = 6388372427.
o 6388372427
ERROR: Solution verification fails, real_empty = 2078396711, NB_EMPTY = 6373364007.
o 6373364007
ERROR: Solution verification fails, real_empty = 2078378542, NB_EMPTY = 6373345838.
o 6373345838
ERROR: Solution verification fails, real_empty = 2063370122, NB_EMPTY = 6358337418.
o 6358337418
ERROR: Solution verification fails, real_empty = 2063351953, NB_EMPTY = 6358319249.
o 6358319249
ERROR: Solution verification fails, real_empty = 2048343533, NB_EMPTY = 6343310829.
o 6343310829
ERROR: Solution verification fails, real_empty = 2048325364, NB_EMPTY = 6343292660.
o 6343292660
ERROR: Solution verification fails, real_empty = 2033316944, NB_EMPTY = 6328284240.
o 6328284240
ERROR: Solution verification fails, real_empty = 2033298775, NB_EMPTY = 6328266071.
o 6328266071
ERROR: Solution verification fails, real_empty = 2018290355, NB_EMPTY = 6313257651.
o 6313257651
ERROR: Solution verification fails, real_empty = 2018272186, NB_EMPTY = 6313239482.
o 6313239482
ERROR: Solution verification fails, real_empty = 2003263766, NB_EMPTY = 6298231062.
o 6298231062
ERROR: Solution verification fails, real_empty = 2003245597, NB_EMPTY = 6298212893.
o 6298212893
ERROR: Solution verification fails, real_empty = 1988237177, NB_EMPTY = 6283204473.
o 6283204473
ERROR: Solution verification fails, real_empty = 1988219008, NB_EMPTY = 6283186304.
o 6283186304
ERROR: Solution verification fails, real_empty = 1973210588, NB_EMPTY = 6268177884.
o 6268177884
ERROR: Solution verification fails, real_empty = 1973192419, NB_EMPTY = 6268159715.
o 6268159715
ERROR: Solution verification fails, real_empty = 1958183999, NB_EMPTY = 6253151295.
o 6253151295
ERROR: Solution verification fails, real_empty = 1958165830, NB_EMPTY = 6253133126.
o 6253133126
ERROR: Solution verification fails, real_empty = 1943157410, NB_EMPTY = 6238124706.
o 6238124706
ERROR: Solution verification fails, real_empty = 1943139241, NB_EMPTY = 6238106537.
o 6238106537
ERROR: Solution verification fails, real_empty = 1928130821, NB_EMPTY = 6223098117.
o 6223098117
ERROR: Solution verification fails, real_empty = 1928112652, NB_EMPTY = 6223079948.
o 6223079948
ERROR: Solution verification fails, real_empty = 1913104232, NB_EMPTY = 6208071528.
o 6208071528
ERROR: Solution verification fails, real_empty = 1913086063, NB_EMPTY = 6208053359.
o 6208053359
ERROR: Solution verification fails, real_empty = 1898077643, NB_EMPTY = 6193044939.
o 6193044939
ERROR: Solution verification fails, real_empty = 1898059474, NB_EMPTY = 6193026770.
o 6193026770
ERROR: Solution verification fails, real_empty = 1883051054, NB_EMPTY = 6178018350.
o 6178018350
ERROR: Solution verification fails, real_empty = 1883032885, NB_EMPTY = 6178000181.
o 6178000181
ERROR: Solution verification fails, real_empty = 1868024465, NB_EMPTY = 6162991761.
o 6162991761
ERROR: Solution verification fails, real_empty = 1868006296, NB_EMPTY = 6162973592.
o 6162973592
ERROR: Solution verification fails, real_empty = 1852997876, NB_EMPTY = 6147965172.
o 6147965172
ERROR: Solution verification fails, real_empty = 1852979707, NB_EMPTY = 6147947003.
o 6147947003
ERROR: Solution verification fails, real_empty = 1837971287, NB_EMPTY = 6132938583.
o 6132938583
ERROR: Solution verification fails, real_empty = 1837953118, NB_EMPTY = 6132920414.
o 6132920414
ERROR: Solution verification fails, real_empty = 1822944698, NB_EMPTY = 6117911994.
o 6117911994
ERROR: Solution verification fails, real_empty = 1822926529, NB_EMPTY = 6117893825.
o 6117893825
ERROR: Solution verification fails, real_empty = 1807918109, NB_EMPTY = 6102885405.
o 6102885405
ERROR: Solution verification fails, real_empty = 1807899940, NB_EMPTY = 6102867236.
o 6102867236
ERROR: Solution verification fails, real_empty = 1792891520, NB_EMPTY = 6087858816.
o 6087858816
Killed
1979.598u 0.103s 33:00.19 99.9%	0+0k 0+0io 0pf+0w