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-i3000d0u98-56.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i3000d0u98-56.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
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 = -2141601246, NB_EMPTY = 6448333346.
o 6448333346
ERROR: Solution verification fails, real_empty = 2138339461, NB_EMPTY = 6433306757.
o 6433306757
ERROR: Solution verification fails, real_empty = 2123312872, NB_EMPTY = 6418280168.
o 6418280168
ERROR: Solution verification fails, real_empty = 2108286283, NB_EMPTY = 6403253579.
o 6403253579
ERROR: Solution verification fails, real_empty = 2093259694, NB_EMPTY = 6388226990.
o 6388226990
ERROR: Solution verification fails, real_empty = 2078233105, NB_EMPTY = 6373200401.
o 6373200401
ERROR: Solution verification fails, real_empty = 2063206516, NB_EMPTY = 6358173812.
o 6358173812
ERROR: Solution verification fails, real_empty = 2048179927, NB_EMPTY = 6343147223.
o 6343147223
ERROR: Solution verification fails, real_empty = 2033153338, NB_EMPTY = 6328120634.
o 6328120634
ERROR: Solution verification fails, real_empty = 2018126749, NB_EMPTY = 6313094045.
o 6313094045
ERROR: Solution verification fails, real_empty = 2003100160, NB_EMPTY = 6298067456.
o 6298067456
ERROR: Solution verification fails, real_empty = 1988073571, NB_EMPTY = 6283040867.
o 6283040867
ERROR: Solution verification fails, real_empty = 1973046982, NB_EMPTY = 6268014278.
o 6268014278
ERROR: Solution verification fails, real_empty = 1958020393, NB_EMPTY = 6252987689.
o 6252987689
ERROR: Solution verification fails, real_empty = 1942993804, NB_EMPTY = 6237961100.
o 6237961100
ERROR: Solution verification fails, real_empty = 1927967215, NB_EMPTY = 6222934511.
o 6222934511
ERROR: Solution verification fails, real_empty = 1912940626, NB_EMPTY = 6207907922.
o 6207907922
ERROR: Solution verification fails, real_empty = 1897914037, NB_EMPTY = 6192881333.
o 6192881333
ERROR: Solution verification fails, real_empty = 1882887448, NB_EMPTY = 6177854744.
o 6177854744
ERROR: Solution verification fails, real_empty = 1867860859, NB_EMPTY = 6162828155.
o 6162828155
ERROR: Solution verification fails, real_empty = 1852834270, NB_EMPTY = 6147801566.
o 6147801566
ERROR: Solution verification fails, real_empty = 1837807681, NB_EMPTY = 6132774977.
o 6132774977
ERROR: Solution verification fails, real_empty = 1822781092, NB_EMPTY = 6117748388.
o 6117748388
ERROR: Solution verification fails, real_empty = 1807754503, NB_EMPTY = 6102721799.
o 6102721799
ERROR: Solution verification fails, real_empty = 1792727914, NB_EMPTY = 6087695210.
o 6087695210
ERROR: Solution verification fails, real_empty = 1777701325, NB_EMPTY = 6072668621.
o 6072668621
ERROR: Solution verification fails, real_empty = 1777701324, NB_EMPTY = 6072668620.
o 6072668620
ERROR: Solution verification fails, real_empty = 1762674735, NB_EMPTY = 6057642031.
o 6057642031
ERROR: Solution verification fails, real_empty = 1747648146, NB_EMPTY = 6042615442.
o 6042615442
ERROR: Solution verification fails, real_empty = 1732621557, NB_EMPTY = 6027588853.
o 6027588853
ERROR: Solution verification fails, real_empty = 1717594968, NB_EMPTY = 6012562264.
o 6012562264
ERROR: Solution verification fails, real_empty = 1702568379, NB_EMPTY = 5997535675.
o 5997535675
ERROR: Solution verification fails, real_empty = 1687541790, NB_EMPTY = 5982509086.
o 5982509086
ERROR: Solution verification fails, real_empty = 1672515201, NB_EMPTY = 5967482497.
o 5967482497
ERROR: Solution verification fails, real_empty = 1657488612, NB_EMPTY = 5952455908.
o 5952455908
ERROR: Solution verification fails, real_empty = 1642462023, NB_EMPTY = 5937429319.
o 5937429319
ERROR: Solution verification fails, real_empty = 1642462022, NB_EMPTY = 5937429318.
o 5937429318
ERROR: Solution verification fails, real_empty = 1627435433, NB_EMPTY = 5922402729.
o 5922402729
ERROR: Solution verification fails, real_empty = 1612408844, NB_EMPTY = 5907376140.
o 5907376140
ERROR: Solution verification fails, real_empty = 1597382255, NB_EMPTY = 5892349551.
o 5892349551
ERROR: Solution verification fails, real_empty = 1582355666, NB_EMPTY = 5877322962.
o 5877322962
ERROR: Solution verification fails, real_empty = 1567329077, NB_EMPTY = 5862296373.
o 5862296373
ERROR: Solution verification fails, real_empty = 1552302488, NB_EMPTY = 5847269784.
o 5847269784
ERROR: Solution verification fails, real_empty = 1537275899, NB_EMPTY = 5832243195.
o 5832243195
ERROR: Solution verification fails, real_empty = 1537275898, NB_EMPTY = 5832243194.
o 5832243194
ERROR: Solution verification fails, real_empty = 1522249309, NB_EMPTY = 5817216605.
o 5817216605
ERROR: Solution verification fails, real_empty = 1507222720, NB_EMPTY = 5802190016.
o 5802190016
ERROR: Solution verification fails, real_empty = 1507222719, NB_EMPTY = 5802190015.
o 5802190015
ERROR: Solution verification fails, real_empty = 1492196130, NB_EMPTY = 5787163426.
o 5787163426
ERROR: Solution verification fails, real_empty = 1492196129, NB_EMPTY = 5787163425.
o 5787163425
ERROR: Solution verification fails, real_empty = 1477169540, NB_EMPTY = 5772136836.
o 5772136836
ERROR: Solution verification fails, real_empty = 1477169539, NB_EMPTY = 5772136835.
o 5772136835
ERROR: Solution verification fails, real_empty = 1462142950, NB_EMPTY = 5757110246.
o 5757110246
ERROR: Solution verification fails, real_empty = 1447116361, NB_EMPTY = 5742083657.
o 5742083657
ERROR: Solution verification fails, real_empty = 1432089772, NB_EMPTY = 5727057068.
o 5727057068
ERROR: Solution verification fails, real_empty = 1417063183, NB_EMPTY = 5712030479.
o 5712030479
ERROR: Solution verification fails, real_empty = 1402036594, NB_EMPTY = 5697003890.
o 5697003890
ERROR: Solution verification fails, real_empty = 1387010005, NB_EMPTY = 5681977301.
o 5681977301
ERROR: Solution verification fails, real_empty = 1371983416, NB_EMPTY = 5666950712.
o 5666950712
ERROR: Solution verification fails, real_empty = 1356956827, NB_EMPTY = 5651924123.
o 5651924123
ERROR: Solution verification fails, real_empty = 1341930238, NB_EMPTY = 5636897534.
o 5636897534
ERROR: Solution verification fails, real_empty = 1326903649, NB_EMPTY = 5621870945.
o 5621870945
ERROR: Solution verification fails, real_empty = 1326903648, NB_EMPTY = 5621870944.
o 5621870944
ERROR: Solution verification fails, real_empty = 1311877059, NB_EMPTY = 5606844355.
o 5606844355
ERROR: Solution verification fails, real_empty = 1296850470, NB_EMPTY = 5591817766.
o 5591817766
ERROR: Solution verification fails, real_empty = 1296850469, NB_EMPTY = 5591817765.
o 5591817765
ERROR: Solution verification fails, real_empty = 1281823880, NB_EMPTY = 5576791176.
o 5576791176
ERROR: Solution verification fails, real_empty = 1266797291, NB_EMPTY = 5561764587.
o 5561764587
ERROR: Solution verification fails, real_empty = 1251770702, NB_EMPTY = 5546737998.
o 5546737998
ERROR: Solution verification fails, real_empty = 1236744113, NB_EMPTY = 5531711409.
o 5531711409
ERROR: Solution verification fails, real_empty = 1221717524, NB_EMPTY = 5516684820.
o 5516684820
ERROR: Solution verification fails, real_empty = 1206690935, NB_EMPTY = 5501658231.
o 5501658231
ERROR: Solution verification fails, real_empty = 1191664346, NB_EMPTY = 5486631642.
o 5486631642
ERROR: Solution verification fails, real_empty = 1176637757, NB_EMPTY = 5471605053.
o 5471605053
ERROR: Solution verification fails, real_empty = 1161611168, NB_EMPTY = 5456578464.
o 5456578464
ERROR: Solution verification fails, real_empty = 1161611167, NB_EMPTY = 5456578463.
o 5456578463
ERROR: Solution verification fails, real_empty = 1146584578, NB_EMPTY = 5441551874.
o 5441551874
ERROR: Solution verification fails, real_empty = 1131557989, NB_EMPTY = 5426525285.
o 5426525285
ERROR: Solution verification fails, real_empty = 1116531400, NB_EMPTY = 5411498696.
o 5411498696
ERROR: Solution verification fails, real_empty = 1101504811, NB_EMPTY = 5396472107.
o 5396472107
ERROR: Solution verification fails, real_empty = 1086478222, NB_EMPTY = 5381445518.
o 5381445518
ERROR: Solution verification fails, real_empty = 1071451633, NB_EMPTY = 5366418929.
o 5366418929
ERROR: Solution verification fails, real_empty = 10564Killed
1979.599u 0.102s 32:59.60 100.0%	0+0k 0+0io 0pf+0w