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-95.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i4000d0u98-95.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 = -1164782046, NB_EMPTY = 7425152546.
o 7425152546
ERROR: Solution verification fails, real_empty = -1179808635, NB_EMPTY = 7410125957.
o 7410125957
ERROR: Solution verification fails, real_empty = -1194835224, NB_EMPTY = 7395099368.
o 7395099368
ERROR: Solution verification fails, real_empty = -1209861813, NB_EMPTY = 7380072779.
o 7380072779
ERROR: Solution verification fails, real_empty = -1224888402, NB_EMPTY = 7365046190.
o 7365046190
ERROR: Solution verification fails, real_empty = -1239914991, NB_EMPTY = 7350019601.
o 7350019601
ERROR: Solution verification fails, real_empty = -1254941580, NB_EMPTY = 7334993012.
o 7334993012
ERROR: Solution verification fails, real_empty = -1269968169, NB_EMPTY = 7319966423.
o 7319966423
ERROR: Solution verification fails, real_empty = -1284994758, NB_EMPTY = 7304939834.
o 7304939834
ERROR: Solution verification fails, real_empty = -1300021347, NB_EMPTY = 7289913245.
o 7289913245
ERROR: Solution verification fails, real_empty = -1315047936, NB_EMPTY = 7274886656.
o 7274886656
ERROR: Solution verification fails, real_empty = -1330074525, NB_EMPTY = 7259860067.
o 7259860067
ERROR: Solution verification fails, real_empty = -1345101114, NB_EMPTY = 7244833478.
o 7244833478
ERROR: Solution verification fails, real_empty = -1360127703, NB_EMPTY = 7229806889.
o 7229806889
ERROR: Solution verification fails, real_empty = -1375154292, NB_EMPTY = 7214780300.
o 7214780300
ERROR: Solution verification fails, real_empty = -1390180881, NB_EMPTY = 7199753711.
o 7199753711
ERROR: Solution verification fails, real_empty = -1405207470, NB_EMPTY = 7184727122.
o 7184727122
ERROR: Solution verification fails, real_empty = -1420234059, NB_EMPTY = 7169700533.
o 7169700533
ERROR: Solution verification fails, real_empty = -1435260648, NB_EMPTY = 7154673944.
o 7154673944
ERROR: Solution verification fails, real_empty = -1450287237, NB_EMPTY = 7139647355.
o 7139647355
ERROR: Solution verification fails, real_empty = -1465313826, NB_EMPTY = 7124620766.
o 7124620766
ERROR: Solution verification fails, real_empty = -1480340415, NB_EMPTY = 7109594177.
o 7109594177
ERROR: Solution verification fails, real_empty = -1495367004, NB_EMPTY = 7094567588.
o 7094567588
ERROR: Solution verification fails, real_empty = -1510393593, NB_EMPTY = 7079540999.
o 7079540999
ERROR: Solution verification fails, real_empty = -1525420182, NB_EMPTY = 7064514410.
o 7064514410
ERROR: Solution verification fails, real_empty = -1540446771, NB_EMPTY = 7049487821.
o 7049487821
ERROR: Solution verification fails, real_empty = -1555473360, NB_EMPTY = 7034461232.
o 7034461232
ERROR: Solution verification fails, real_empty = -1570499949, NB_EMPTY = 7019434643.
o 7019434643
ERROR: Solution verification fails, real_empty = -1585526538, NB_EMPTY = 7004408054.
o 7004408054
ERROR: Solution verification fails, real_empty = -1600553127, NB_EMPTY = 6989381465.
o 6989381465
ERROR: Solution verification fails, real_empty = -1615579716, NB_EMPTY = 6974354876.
o 6974354876
ERROR: Solution verification fails, real_empty = -1630606305, NB_EMPTY = 6959328287.
o 6959328287
ERROR: Solution verification fails, real_empty = -1645632894, NB_EMPTY = 6944301698.
o 6944301698
ERROR: Solution verification fails, real_empty = -1660659483, NB_EMPTY = 6929275109.
o 6929275109
ERROR: Solution verification fails, real_empty = -1675686072, NB_EMPTY = 6914248520.
o 6914248520
ERROR: Solution verification fails, real_empty = -1690712661, NB_EMPTY = 6899221931.
o 6899221931
ERROR: Solution verification fails, real_empty = -1705739250, NB_EMPTY = 6884195342.
o 6884195342
ERROR: Solution verification fails, real_empty = -1720765839, NB_EMPTY = 6869168753.
o 6869168753
ERROR: Solution verification fails, real_empty = -1735792428, NB_EMPTY = 6854142164.
o 6854142164
ERROR: Solution verification fails, real_empty = -1750819017, NB_EMPTY = 6839115575.
o 6839115575
ERROR: Solution verification fails, real_empty = -1765845606, NB_EMPTY = 6824088986.
o 6824088986
ERROR: Solution verification fails, real_empty = -1765845607, NB_EMPTY = 6824088985.
o 6824088985
ERROR: Solution verification fails, real_empty = -1780872196, NB_EMPTY = 6809062396.
o 6809062396
ERROR: Solution verification fails, real_empty = -1795898785, NB_EMPTY = 6794035807.
o 6794035807
ERROR: Solution verification fails, real_empty = -1810925374, NB_EMPTY = 6779009218.
o 6779009218
ERROR: Solution verification fails, real_empty = -1810925375, NB_EMPTY = 6779009217.
o 6779009217
ERROR: Solution verification fails, real_empty = -1825951964, NB_EMPTY = 6763982628.
o 6763982628
ERROR: Solution verification fails, real_empty = -1840978553, NB_EMPTY = 6748956039.
o 6748956039
ERROR: Solution verification fails, real_empty = -1856005142, NB_EMPTY = 6733929450.
o 6733929450
ERROR: Solution verification fails, real_empty = -1871031731, NB_EMPTY = 6718902861.
o 6718902861
ERROR: Solution verification fails, real_empty = -1886058320, NB_EMPTY = 6703876272.
o 6703876272
ERROR: Solution verification fails, real_empty = -1901084909, NB_EMPTY = 6688849683.
o 6688849683
ERROR: Solution verification fails, real_empty = -1916111498, NB_EMPTY = 6673823094.
o 6673823094
ERROR: Solution verification fails, real_empty = -1931138087, NB_EMPTY = 6658796505.
o 6658796505
ERROR: Solution verification fails, real_empty = -1946164676, NB_EMPTY = 6643769916.
o 6643769916
ERROR: Solution verification fails, real_empty = -1961191265, NB_EMPTY = 6628743327.
o 6628743327
ERROR: Solution verification fails, real_empty = -1976217854, NB_EMPTY = 6613716738.
o 6613716738
ERROR: Solution verification fails, real_empty = -1976217855, NB_EMPTY = 6613716737.
o 6613716737
ERROR: Solution verification fails, real_empty = -1991244444, NB_EMPTY = 6598690148.
o 6598690148
ERROR: Solution verification fails, real_empty = -2006271033, NB_EMPTY = 6583663559.
o 6583663559
ERROR: Solution verification fails, real_empty = -2021297622, NB_EMPTY = 6568636970.
o 6568636970
ERROR: Solution verification fails, real_empty = -2036324211, NB_EMPTY = 6553610381.
o 6553610381
ERROR: Solution verification fails, real_empty = -2051350800, NB_EMPTY = 6538583792.
o 6538583792
ERROR: Solution verification fails, real_empty = -2066377389, NB_EMPTY = 6523557203.
o 6523557203
ERROR: Solution verification fails, real_empty = -2081403978, NB_EMPTY = 6508530614.
o 6508530614
ERROR: Solution verification fails, real_empty = -2096430567, NB_EMPTY = 6493504025.
o 6493504025
ERROR: Solution verification fails, real_empty = -2111457156, NB_EMPTY = 6478477436.
o 6478477436
ERROR: Solution verification fails, real_empty = -2126483745, NB_EMPTY = 6463450847.
o 6463450847
ERROR: Solution verification fails, real_empty = -2141510334, NB_EMPTY = 6448424258.
o 6448424258
ERROR: Solution verification fails, real_empty = 2138430373, NB_EMPTY = 6433397669.
o 6433397669
ERROR: Solution verification fails, real_empty = 2123403784, NB_EMPTY = 6418371080.
o 6418371080
ERROR: Solution verification fails, real_empty = 2108377195, NB_EMPTY = 6403344491.
o 6403344491
ERROR: Solution verification fails, real_empty = 2093350606, NB_EMPTY = 6388317902.
o 6388317902
ERROR: Solution verification fails, real_empty = 2078324017, NB_EMPTY = 6373291313.
o 6373291313
ERROR: Solution verification fails, real_empty = 2063297428, NB_EMPTY = 6358264724.
o 6358264724
ERROR: Solution verification fails, real_empty = 2048270839, NB_EMPTY = 6343238135.
o 6343238135
ERROR: Solution verification fails, real_empty = 2033244250, NB_EMPTY = 6328211546.
o 6328211546
ERROR: Solution verification fails, real_empty = 2018217661, NB_EMPTY = 6313184957.
o 6313184957
ERROR: Solution verification fails, real_empty = 2003191072, NB_EMPTY = 6298158368.
o 6298158368
ERROR: Solution verification fails, real_empty = 1988164483, NB_EMPTY = 6283131779.
o 6283131779
ERROR: Solution verification fails, real_empty = 1973137894, NB_EMPTY = 6268105190.
o 6268105190
ERROR: Solution verification fails, real_empty = 1958111305, NB_EMPTY = 6253078601.
o 6253078601
ERROR: Solution verification fails, real_empty = 1943084716, NB_EMPTY = 6238052012.
o 6238052012
ERROR: Solution verification fails, real_empty = 1928058127, NB_EMPTY = 6223025423.
o 6223025423
ERROR: Solution verification fails, real_empty = 1913031538, NB_EMPTY = 6207998834.
o 6207998834
ERROR: Solution verification fails, real_empty = 1898004949, NB_EMPTY = 6192972245.
o 6192972245
ERROR: Solution verification fails, real_empty = 1882978360, NB_EMPTY = 6177945656.
o 6177945656
ERROR: Solution verification fails, real_empty = 1867951771, NB_EMPTY = 6162919067.
o 6162919067
ERROR: Solution verification fails, real_empty = 1852925182, NB_EMPTY = 6147892478.
o 6147892478
ERROR: Solution verification fails, real_empty = 1837898593, NB_EMPTY = 6132865889.
o 6132865889
ERROR: Solution verification fails, real_empty = 1822872004, NB_EMPTY = 6117839300.
o 6117839300
ERROR: Solution verification fails, real_empty = 1807845415, NB_EMPTY = 6102812711.
o 6102812711
ERROR: Solution verification fails, real_empty = 1792818826, NB_EMPTY = 6087786122.
o 6087786122
ERROR: Solution verification fails, real_empty = 1777792237, NB_EMPTY = 6072759533.
o 6072759533
ERROR: Solution verification fails, real_empty = 1762765648, NB_EMPTY = 6057732944.
o 6057732944
ERROR: Solution verification fails, real_empty = 1747739059, NB_EMPTY = 6042706355.
o 6042706355
ERROR: Solution verification fails, real_empty = 1732712470, NB_EMPTY = 6027679766.
o 6027679766
ERROR: Solution verification fails, real_empty = 1717685881, NB_EMPTY = 6012653177.
o 6012653177
ERROR: Solution verification fails, real_empty = 1702659292, NB_EMPTY = 5997626588.
o 5997626588
ERROR: Solution verification fails, real_empty = 1687632703, NB_EMPTY = 5982599999.
o 5982599999
ERROR: Solution verification fails, real_empty = 1672606114, NB_EMPTY = 5967573410.
o 5967573410
ERROR: Solution verification fails, real_empty = 1657579525, NB_EMPTY = 5952546821.
o 5952546821
ERROR: Solution verification fails, real_empty = 1642552936, NB_EMPTY = 5937520232.
o 5937520232
ERROR: Solution verification fails, real_empty = 1627526347, NB_EMPTY = 5922493643.
o 5922493643
ERROR: Solution verification fails, real_empty = 1612499758, NB_EMPTY = 5907467054.
o 5907467054
ERROR: Solution verification fails, real_empty = 1597473169, NB_EMPTY = 5892440465.
o 5892440465
ERROR: Solution verification fails, real_empty = 1582446580, NB_EMPTY = 5877413876.
o 5877413876
ERROR: Solution verification fails, real_empty = 1567419991, NB_EMPTY = 5862387287.
o 5862387287
ERROR: Solution verification fails, real_empty = 1552393402, NB_EMPTY = 5847360698.
o 5847360698
ERROR: Solution verification fails, real_empty = 1537366813, NB_EMPTY = 5832334109.
o 5832334109
ERROR: Solution verification fails, real_empty = 1522340224, NB_EMPTY = 5817307520.
o 5817307520
ERROR: Solution verification fails, real_empty = 1507313635, NB_EMPTY = 5802280931.
o 5802280931
ERROR: Solution verification fails, real_empty = 1492287046, NB_EMPTY = 5787254342.
o 5787254342
ERROR: Solution verification fails, real_empty = 1477260457, NB_EMPTY = 5772227753.
o 5772227753
ERROR: Solution verification fails, real_empty = 1462233868, NB_EMPTY = 5757201164.
o 5757201164
ERROR: Solution verification fails, real_empty = 1447207279, NB_EMPTY = 5742174575.
o 5742174575
ERROR: Solution verification fails, real_empty = 1432180690, NB_EMPTY = 5727147986.
o 5727147986
ERROR: Solution verification fails, real_empty = 1417154101, NB_EMPTY = 5712121397.
o 5712121397
ERROR: Solution verification fails, real_empty = 1402127512, NB_EMPTY = 5697094808.
o 5697094808
ERROR: Solution verification fails, real_empty = 1387100923, NB_EMPTY = 5682068219.
o 5682068219
ERROR: Solution verification fails, real_empty = 1372074334, NB_EMPTY = 5667041630.
o 5667041630
ERROR: Solution verification fails, real_empty = 1357047745, NB_EMPTY = 5652015041.
o 5652015041
ERROR: Solution verification fails, real_empty = 1357047744, NB_EMPTY = 5652015040.
o 5652015040
ERROR: Solution verification fails, real_empty = 1342021155, NB_EMPTY = 5636988451.
o 5636988451
ERROR: SKilled
1979.598u 0.104s 33:11.51 99.4%	0+0k 0+0io 0pf+0w