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-77.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i4000d0u98-77.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 = -1239915010, NB_EMPTY = 7350019582.
o 7350019582
ERROR: Solution verification fails, real_empty = -1254941599, NB_EMPTY = 7334992993.
o 7334992993
ERROR: Solution verification fails, real_empty = -1269968188, NB_EMPTY = 7319966404.
o 7319966404
ERROR: Solution verification fails, real_empty = -1284994777, NB_EMPTY = 7304939815.
o 7304939815
ERROR: Solution verification fails, real_empty = -1300021366, NB_EMPTY = 7289913226.
o 7289913226
ERROR: Solution verification fails, real_empty = -1315047955, NB_EMPTY = 7274886637.
o 7274886637
ERROR: Solution verification fails, real_empty = -1330074544, NB_EMPTY = 7259860048.
o 7259860048
ERROR: Solution verification fails, real_empty = -1345101133, NB_EMPTY = 7244833459.
o 7244833459
ERROR: Solution verification fails, real_empty = -1345101134, NB_EMPTY = 7244833458.
o 7244833458
ERROR: Solution verification fails, real_empty = -1360127723, NB_EMPTY = 7229806869.
o 7229806869
ERROR: Solution verification fails, real_empty = -1375154312, NB_EMPTY = 7214780280.
o 7214780280
ERROR: Solution verification fails, real_empty = -1390180901, NB_EMPTY = 7199753691.
o 7199753691
ERROR: Solution verification fails, real_empty = -1405207490, NB_EMPTY = 7184727102.
o 7184727102
ERROR: Solution verification fails, real_empty = -1420234079, NB_EMPTY = 7169700513.
o 7169700513
ERROR: Solution verification fails, real_empty = -1435260668, NB_EMPTY = 7154673924.
o 7154673924
ERROR: Solution verification fails, real_empty = -1450287257, NB_EMPTY = 7139647335.
o 7139647335
ERROR: Solution verification fails, real_empty = -1465313846, NB_EMPTY = 7124620746.
o 7124620746
ERROR: Solution verification fails, real_empty = -1480340435, NB_EMPTY = 7109594157.
o 7109594157
ERROR: Solution verification fails, real_empty = -1495367024, NB_EMPTY = 7094567568.
o 7094567568
ERROR: Solution verification fails, real_empty = -1510393613, NB_EMPTY = 7079540979.
o 7079540979
ERROR: Solution verification fails, real_empty = -1525420202, NB_EMPTY = 7064514390.
o 7064514390
ERROR: Solution verification fails, real_empty = -1540446791, NB_EMPTY = 7049487801.
o 7049487801
ERROR: Solution verification fails, real_empty = -1555473380, NB_EMPTY = 7034461212.
o 7034461212
ERROR: Solution verification fails, real_empty = -1570499969, NB_EMPTY = 7019434623.
o 7019434623
ERROR: Solution verification fails, real_empty = -1570499970, NB_EMPTY = 7019434622.
o 7019434622
ERROR: Solution verification fails, real_empty = -1585526559, NB_EMPTY = 7004408033.
o 7004408033
ERROR: Solution verification fails, real_empty = -1600553148, NB_EMPTY = 6989381444.
o 6989381444
ERROR: Solution verification fails, real_empty = -1615579737, NB_EMPTY = 6974354855.
o 6974354855
ERROR: Solution verification fails, real_empty = -1630606326, NB_EMPTY = 6959328266.
o 6959328266
ERROR: Solution verification fails, real_empty = -1645632915, NB_EMPTY = 6944301677.
o 6944301677
ERROR: Solution verification fails, real_empty = -1660659504, NB_EMPTY = 6929275088.
o 6929275088
ERROR: Solution verification fails, real_empty = -1675686093, NB_EMPTY = 6914248499.
o 6914248499
ERROR: Solution verification fails, real_empty = -1690712682, NB_EMPTY = 6899221910.
o 6899221910
ERROR: Solution verification fails, real_empty = -1705739271, NB_EMPTY = 6884195321.
o 6884195321
ERROR: Solution verification fails, real_empty = -1720765860, NB_EMPTY = 6869168732.
o 6869168732
ERROR: Solution verification fails, real_empty = -1735792449, NB_EMPTY = 6854142143.
o 6854142143
ERROR: Solution verification fails, real_empty = -1750819038, NB_EMPTY = 6839115554.
o 6839115554
ERROR: Solution verification fails, real_empty = -1765845627, NB_EMPTY = 6824088965.
o 6824088965
ERROR: Solution verification fails, real_empty = -1780872216, NB_EMPTY = 6809062376.
o 6809062376
ERROR: Solution verification fails, real_empty = -1795898805, NB_EMPTY = 6794035787.
o 6794035787
ERROR: Solution verification fails, real_empty = -1810925394, NB_EMPTY = 6779009198.
o 6779009198
ERROR: Solution verification fails, real_empty = -1825951983, NB_EMPTY = 6763982609.
o 6763982609
ERROR: Solution verification fails, real_empty = -1840978572, NB_EMPTY = 6748956020.
o 6748956020
ERROR: Solution verification fails, real_empty = -1856005161, NB_EMPTY = 6733929431.
o 6733929431
ERROR: Solution verification fails, real_empty = -1871031750, NB_EMPTY = 6718902842.
o 6718902842
ERROR: Solution verification fails, real_empty = -1886058339, NB_EMPTY = 6703876253.
o 6703876253
ERROR: Solution verification fails, real_empty = -1901084928, NB_EMPTY = 6688849664.
o 6688849664
ERROR: Solution verification fails, real_empty = -1916111517, NB_EMPTY = 6673823075.
o 6673823075
ERROR: Solution verification fails, real_empty = -1931138106, NB_EMPTY = 6658796486.
o 6658796486
ERROR: Solution verification fails, real_empty = -1946164695, NB_EMPTY = 6643769897.
o 6643769897
ERROR: Solution verification fails, real_empty = -1961191284, NB_EMPTY = 6628743308.
o 6628743308
ERROR: Solution verification fails, real_empty = -1976217873, NB_EMPTY = 6613716719.
o 6613716719
ERROR: Solution verification fails, real_empty = -1991244462, NB_EMPTY = 6598690130.
o 6598690130
ERROR: Solution verification fails, real_empty = -2006271051, NB_EMPTY = 6583663541.
o 6583663541
ERROR: Solution verification fails, real_empty = -2021297640, NB_EMPTY = 6568636952.
o 6568636952
ERROR: Solution verification fails, real_empty = -2036324229, NB_EMPTY = 6553610363.
o 6553610363
ERROR: Solution verification fails, real_empty = -2051350818, NB_EMPTY = 6538583774.
o 6538583774
ERROR: Solution verification fails, real_empty = -2066377407, NB_EMPTY = 6523557185.
o 6523557185
ERROR: Solution verification fails, real_empty = -2081403996, NB_EMPTY = 6508530596.
o 6508530596
ERROR: Solution verification fails, real_empty = -2096430585, NB_EMPTY = 6493504007.
o 6493504007
ERROR: Solution verification fails, real_empty = -2111457174, NB_EMPTY = 6478477418.
o 6478477418
ERROR: Solution verification fails, real_empty = -2111457175, NB_EMPTY = 6478477417.
o 6478477417
ERROR: Solution verification fails, real_empty = -2126483764, NB_EMPTY = 6463450828.
o 6463450828
ERROR: Solution verification fails, real_empty = -2141510353, NB_EMPTY = 6448424239.
o 6448424239
ERROR: Solution verification fails, real_empty = 2138430354, NB_EMPTY = 6433397650.
o 6433397650
ERROR: Solution verification fails, real_empty = 2123403765, NB_EMPTY = 6418371061.
o 6418371061
ERROR: Solution verification fails, real_empty = 2108377176, NB_EMPTY = 6403344472.
o 6403344472
ERROR: Solution verification fails, real_empty = 2093350587, NB_EMPTY = 6388317883.
o 6388317883
ERROR: Solution verification fails, real_empty = 2078323998, NB_EMPTY = 6373291294.
o 6373291294
ERROR: Solution verification fails, real_empty = 2063297409, NB_EMPTY = 6358264705.
o 6358264705
ERROR: Solution verification fails, real_empty = 2048270820, NB_EMPTY = 6343238116.
o 6343238116
ERROR: Solution verification fails, real_empty = 2048270819, NB_EMPTY = 6343238115.
o 6343238115
ERROR: Solution verification fails, real_empty = 2033244230, NB_EMPTY = 6328211526.
o 6328211526
ERROR: Solution verification fails, real_empty = 2018217641, NB_EMPTY = 6313184937.
o 6313184937
ERROR: Solution verification fails, real_empty = 2003191052, NB_EMPTY = 6298158348.
o 6298158348
ERROR: Solution verification fails, real_empty = 1988164463, NB_EMPTY = 6283131759.
o 6283131759
ERROR: Solution verification fails, real_empty = 1973137874, NB_EMPTY = 6268105170.
o 6268105170
ERROR: Solution verification fails, real_empty = 1973137873, NB_EMPTY = 6268105169.
o 6268105169
ERROR: Solution verification fails, real_empty = 1958111284, NB_EMPTY = 6253078580.
o 6253078580
ERROR: Solution verification fails, real_empty = 1958111283, NB_EMPTY = 6253078579.
o 6253078579
ERROR: Solution verification fails, real_empty = 1943084694, NB_EMPTY = 6238051990.
o 6238051990
ERROR: Solution verification fails, real_empty = 1928058105, NB_EMPTY = 6223025401.
o 62Killed
1979.654u 0.048s 33:01.05 99.9%	0+0k 0+0io 0pf+0w