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-i3000d0u98-66.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i3000d0u98-66.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 18169 112632 46567402410
WARNING: Ubcsat not found.
o 46567402410
ERROR: Solution verification fails, real_empty = -1931119956, NB_EMPTY = 6658814636.
o 6658814636
ERROR: Solution verification fails, real_empty = -1946146545, NB_EMPTY = 6643788047.
o 6643788047
ERROR: Solution verification fails, real_empty = -1961173134, NB_EMPTY = 6628761458.
o 6628761458
ERROR: Solution verification fails, real_empty = -1976199723, NB_EMPTY = 6613734869.
o 6613734869
ERROR: Solution verification fails, real_empty = -1991226312, NB_EMPTY = 6598708280.
o 6598708280
ERROR: Solution verification fails, real_empty = -2006252901, NB_EMPTY = 6583681691.
o 6583681691
ERROR: Solution verification fails, real_empty = -2021279490, NB_EMPTY = 6568655102.
o 6568655102
ERROR: Solution verification fails, real_empty = -2036306079, NB_EMPTY = 6553628513.
o 6553628513
ERROR: Solution verification fails, real_empty = -2051332668, NB_EMPTY = 6538601924.
o 6538601924
ERROR: Solution verification fails, real_empty = -2066359257, NB_EMPTY = 6523575335.
o 6523575335
ERROR: Solution verification fails, real_empty = -2066359258, NB_EMPTY = 6523575334.
o 6523575334
ERROR: Solution verification fails, real_empty = -2081385847, NB_EMPTY = 6508548745.
o 6508548745
ERROR: Solution verification fails, real_empty = -2096412436, NB_EMPTY = 6493522156.
o 6493522156
ERROR: Solution verification fails, real_empty = -2111439025, NB_EMPTY = 6478495567.
o 6478495567
ERROR: Solution verification fails, real_empty = -2111439026, NB_EMPTY = 6478495566.
o 6478495566
ERROR: Solution verification fails, real_empty = -2126465615, NB_EMPTY = 6463468977.
o 6463468977
ERROR: Solution verification fails, real_empty = -2141492204, NB_EMPTY = 6448442388.
o 6448442388
ERROR: Solution verification fails, real_empty = -2141492205, NB_EMPTY = 6448442387.
o 6448442387
ERROR: Solution verification fails, real_empty = 2138448502, NB_EMPTY = 6433415798.
o 6433415798
ERROR: Solution verification fails, real_empty = 2123421913, NB_EMPTY = 6418389209.
o 6418389209
ERROR: Solution verification fails, real_empty = 2108395324, NB_EMPTY = 6403362620.
o 6403362620
ERROR: Solution verification fails, real_empty = 2093368735, NB_EMPTY = 6388336031.
o 6388336031
ERROR: Solution verification fails, real_empty = 2078342146, NB_EMPTY = 6373309442.
o 6373309442
ERROR: Solution verification fails, real_empty = 2063315557, NB_EMPTY = 6358282853.
o 6358282853
ERROR: Solution verification fails, real_empty = 2048288968, NB_EMPTY = 6343256264.
o 6343256264
ERROR: Solution verification fails, real_empty = 2033262379, NB_EMPTY = 6328229675.
o 6328229675
ERROR: Solution verification fails, real_empty = 2018235790, NB_EMPTY = 6313203086.
o 6313203086
ERROR: Solution verification fails, real_empty = 2003209201, NB_EMPTY = 6298176497.
o 6298176497
ERROR: Solution verification fails, real_empty = 1988182612, NB_EMPTY = 6283149908.
o 6283149908
ERROR: Solution verification fails, real_empty = 1973156023, NB_EMPTY = 6268123319.
o 6268123319
ERROR: Solution verification fails, real_empty = 1958129434, NB_EMPTY = 6253096730.
o 6253096730
ERROR: Solution verification fails, real_empty = 1943102845, NB_EMPTY = 6238070141.
o 6238070141
ERROR: Solution verification fails, real_empty = 1928076256, NB_EMPTY = 6223043552.
o 6223043552
ERROR: Solution verification fails, real_empty = 1913049667, NB_EMPTY = 6208016963.
o 6208016963
ERROR: Solution verification fails, real_empty = 1898023078, NB_EMPTY = 6192990374.
o 6192990374
ERROR: Solution verification fails, real_empty = 1898023077, NB_EMPTY = 6192990373.
o 6192990373
ERROR: Solution verification fails, real_empty = 1882996488, NB_EMPTY = 6177963784.
o 6177963784
ERROR: Solution verification fails, real_empty = 1867969899, NB_EMPTY = 6162937195.
o 6162937195
ERROR: Solution verification fails, real_empty = 1852943310, NB_EMPTY = 6147910606.
o 6147910606
ERROR: Solution verification fails, real_empty = 1852943309, NB_EMPTY = 6147910605.
o 6147910605
ERROR: Solution verification fails, real_empty = 1837916720, NB_EMPTY = 6132884016.
o 6132884016
ERROR: Solution verification fails, real_empty = 1822890131, NB_EMPTY = 6117857427.
o 6117857427
ERROR: Solution verification fails, real_empty = 1807863542, NB_EMPTY = 6102830838.
o 6102830838
ERROR: Solution verification fails, real_empty = 1792836953, NB_EMPTY = 6087804249.
o 6087804249
ERROR: Solution verification fails, real_empty = 1777810364, NB_EMPTY = 6072777660.
o 6072777660
ERROR: Solution verification fails, real_empty = 1762783775, NB_EMPTY = 6057751071.
o 6057751071
ERROR: Solution verification fails, real_empty = 1747757186, NB_EMPTY = 6042724482.
o 6042724482
ERROR: Solution verification fails, real_empty = 1747757185, NB_EMPTY = 6042724481.
o 6042724481
ERROR: Solution verification fails, real_empty = 1732730596, NB_EMPTY = 6027697892.
o 6027697892
ERROR: Solution verification fails, real_empty = 1717704007, NB_EMPTY = 6012671303.
o 6012671303
ERROR: Solution verification fails, real_empty = 1702677418, NB_EMPTY = 5997644714.
o 5997644714
ERROR: Solution verification fails, real_empty = 1687650829, NB_EMPTY = 5982618125.
o 5982618125
ERROR: Solution verification fails, real_empty = 1672624240, NB_EMPTY = 5967591536.
o 5967591536
ERROR: Solution verification fails, real_empty = 1657597651, NB_EMPTY = 5952564947.
o 5952564947
ERROR: Solution verification fails, real_empty = 1657597650, NB_EMPTY = 5952564946.
o 5952564946
ERROR: Solution verification fails, real_empty = 1642571061, NB_EMPTY = 5937538357.
o 5937538357
ERROR: Solution verification fails, real_empty = 1627544472, NB_EMPTY = 5922511768.
o 5922511768
ERROR: Solution verification fails, real_empty = 1612517883, NB_EMPTY = 5907485179.
o 5907485179
ERROR: Solution verification fails, real_empty = 1597491294, NB_EMPTY = 5892458590.
o 5892458590
ERROR: Solution verification fails, real_empty = 1597491293, NB_EMPTY = 5892458589.
o 5892458589
ERROR: Solution verification fails, real_empty = 1582464704, NB_EMPTY = 5877432000.
o 5877432000
ERROR: Solution verification fails, real_empty = 1567438115, NB_EMPTY = 5862405411.
o 5862405411
ERROR: Solution verification fails, real_empty = 1552411526, NB_EMPTY = 5847378822.
o 5847378822
ERROR: Solution verification fails, real_empty = 1537384937, NB_EMPTY = 5832352233.
o 5832352233
ERROR: Solution verification fails, real_empty = 1522358348, NB_EMPTY = 5817325644.
o 5817325644
ERROR: Solution verification fails, real_empty = 1522358347, NB_EMPTY = 5817325643.
o 5817325643
ERROR: Solution verification fails, real_empty = 1507331758, NB_EMPTY = 5802299054.
o 5802299054
ERROR: Solution verification fails, real_empty = 1492305169, NB_EMPTY = 5787272465.
o 5787272465
ERROR: Solution verification fails, real_empty = 1492305168, NB_EMPTY = 5787272464.
o 5787272464
ERROR: Solution verification fails, real_empty = 1477278579, NB_EMPTY = 5772245875.
o 5772245875
ERROR: Solution verification fails, real_empty = 1462251990, NB_EMPTY = 5757219286.
o 5757219286
ERROR: Solution verification fails, real_empty = 1447225401, NB_EMPTY = 5742192697.
o 5742192697
ERROR: Solution verification fails, real_empty = 1432198812, NB_EMPTY = 5727166108.
o 5727166108
ERROR: Solution verification fails, real_empty = 1417172223, NB_EMPTY = 5712139519.
o 5712139519
ERROR: Solution verification fails, real_empty = 1402145634, NB_EMPTY = 5697112930.
o 5697112930
ERROR: Solution verification fails, real_empty = 1402145633, NB_EMPTY = 5697112929.
o 5697112929
ERROR: Solution verification fails, real_empty = 1387119044, NB_EMPTY = 5682086340.
o 5682086340
ERROR: Solution verification fails, real_empty = 1372092455, NB_EMPTY = 5667059751.
o 5667059751
ERROR: Solution verification fails, real_empty = 1357065866, NB_EMPTY = 5652033162.
o 5652033162
ERROR: Solution verification fails, real_empty = 1342039277, NB_EMPTY = 5637006573.
o 5637006573
ERROR: Solution verification fails, real_empty = 1342039276, NB_EMPTY = 5637006572.
o 5637006572
ERROR: Solution verification fails, real_empty = 1327012687, NB_EMPTY = 5621979983.
o 5621979983
ERROR: Solution verification fails, rKilled
1979.621u 0.080s 33:03.87 99.7%	0+0k 0+0io 0pf+0w