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-72.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i3000d0u98-72.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 = 2078342119, NB_EMPTY = 6373309415.
o 6373309415
ERROR: Solution verification fails, real_empty = 2063315530, NB_EMPTY = 6358282826.
o 6358282826
ERROR: Solution verification fails, real_empty = 2048288941, NB_EMPTY = 6343256237.
o 6343256237
ERROR: Solution verification fails, real_empty = 2033262352, NB_EMPTY = 6328229648.
o 6328229648
ERROR: Solution verification fails, real_empty = 2018235763, NB_EMPTY = 6313203059.
o 6313203059
ERROR: Solution verification fails, real_empty = 2003209174, NB_EMPTY = 6298176470.
o 6298176470
ERROR: Solution verification fails, real_empty = 1988182585, NB_EMPTY = 6283149881.
o 6283149881
ERROR: Solution verification fails, real_empty = 1973155996, NB_EMPTY = 6268123292.
o 6268123292
ERROR: Solution verification fails, real_empty = 1958129407, NB_EMPTY = 6253096703.
o 6253096703
ERROR: Solution verification fails, real_empty = 1943102818, NB_EMPTY = 6238070114.
o 6238070114
ERROR: Solution verification fails, real_empty = 1928076229, NB_EMPTY = 6223043525.
o 6223043525
ERROR: Solution verification fails, real_empty = 1913049640, NB_EMPTY = 6208016936.
o 6208016936
ERROR: Solution verification fails, real_empty = 1898023051, NB_EMPTY = 6192990347.
o 6192990347
ERROR: Solution verification fails, real_empty = 1882996462, NB_EMPTY = 6177963758.
o 6177963758
ERROR: Solution verification fails, real_empty = 1867969873, NB_EMPTY = 6162937169.
o 6162937169
ERROR: Solution verification fails, real_empty = 1852943284, NB_EMPTY = 6147910580.
o 6147910580
ERROR: Solution verification fails, real_empty = 1837916695, NB_EMPTY = 6132883991.
o 6132883991
ERROR: Solution verification fails, real_empty = 1822890106, NB_EMPTY = 6117857402.
o 6117857402
ERROR: Solution verification fails, real_empty = 1807863517, NB_EMPTY = 6102830813.
o 6102830813
ERROR: Solution verification fails, real_empty = 1792836928, NB_EMPTY = 6087804224.
o 6087804224
ERROR: Solution verification fails, real_empty = 1777810339, NB_EMPTY = 6072777635.
o 6072777635
ERROR: Solution verification fails, real_empty = 1762783750, NB_EMPTY = 6057751046.
o 6057751046
ERROR: Solution verification fails, real_empty = 1747757161, NB_EMPTY = 6042724457.
o 6042724457
ERROR: Solution verification fails, real_empty = 1732730572, NB_EMPTY = 6027697868.
o 6027697868
ERROR: Solution verification fails, real_empty = 1717703983, NB_EMPTY = 6012671279.
o 6012671279
ERROR: Solution verification fails, real_empty = 1702677394, NB_EMPTY = 5997644690.
o 5997644690
ERROR: Solution verification fails, real_empty = 1687650805, NB_EMPTY = 5982618101.
o 5982618101
ERROR: Solution verification fails, real_empty = 1672624216, NB_EMPTY = 5967591512.
o 5967591512
ERROR: Solution verification fails, real_empty = 1657597627, NB_EMPTY = 5952564923.
o 5952564923
ERROR: Solution verification fails, real_empty = 1642571038, NB_EMPTY = 5937538334.
o 5937538334
ERROR: Solution verification fails, real_empty = 1627544449, NB_EMPTY = 5922511745.
o 5922511745
ERROR: Solution verification fails, real_empty = 1612517860, NB_EMPTY = 5907485156.
o 5907485156
ERROR: Solution verification fails, real_empty = 1597491271, NB_EMPTY = 5892458567.
o 5892458567
ERROR: Solution verification fails, real_empty = 1582464682, NB_EMPTY = 5877431978.
o 5877431978
ERROR: Solution verification fails, real_empty = 1567438093, NB_EMPTY = 5862405389.
o 5862405389
ERROR: Solution verification fails, real_empty = 1552411504, NB_EMPTY = 5847378800.
o 5847378800
ERROR: Solution verification fails, real_empty = 1537384915, NB_EMPTY = 5832352211.
o 5832352211
ERROR: Solution verification fails, real_empty = 1522358326, NB_EMPTY = 5817325622.
o 5817325622
ERROR: Solution verification fails, real_empty = 1507331737, NB_EMPTY = 5802299033.
o 5802299033
ERROR: Solution verification fails, real_empty = 1492305148, NB_EMPTY = 5787272444.
o 5787272444
ERROR: Solution verification fails, real_empty = 1477278559, NB_EMPTY = 5772245855.
o 5772245855
ERROR: Solution verification fails, real_empty = 1462251970, NB_EMPTY = 5757219266.
o 5757219266
ERROR: Solution verification fails, real_empty = 1447225381, NB_EMPTY = 5742192677.
o 5742192677
ERROR: Solution verification fails, real_empty = 1432198792, NB_EMPTY = 5727166088.
o 5727166088
ERROR: Solution verification fails, real_empty = 1417172203, NB_EMPTY = 5712139499.
o 5712139499
ERROR: Solution verification fails, real_empty = 1402145614, NB_EMPTY = 5697112910.
o 5697112910
ERROR: Solution verification fails, real_empty = 1387119025, NB_EMPTY = 5682086321.
o 5682086321
ERROR: Solution verification fails, real_empty = 1372092436, NB_EMPTY = 5667059732.
o 5667059732
ERROR: Solution verification fails, real_empty = 1357065847, NB_EMPTY = 5652033143.
o 5652033143
ERROR: Solution verification fails, real_empty = 1342039258, NB_EMPTY = 5637006554.
o 5637006554
ERROR: Solution verification fails, real_empty = 1327012669, NB_EMPTY = 5621979965.
o 5621979965
ERROR: Solution verification fails, real_empty = 1311986080, NB_EMPTY = 5606953376.
o 5606953376
ERROR: Solution verification fails, real_empty = 1296959491, NB_EMPTY = 5591926787.
o 5591926787
ERROR: Solution verification fails, real_empty = 1281932902, NB_EMPTY = 5576900198.
o 5576900198
ERROR: Solution verification fails, real_empty = 1266906313, NB_EMPTY = 5561873609.
o 5561873609
ERROR: Solution verification fails, real_empty = 1251879724, NB_EMPTY = 5546847020.
o 5546847020
ERROR: Solution verification fails, real_empty = 1236853135, NB_EMPTY = 5531820431.
o 5531820431
ERROR: Solution verification fails, real_empty = 1221826546, NB_EMPTY = 5516793842.
o 5516793842
ERROR: Solution verification fails, real_empty = 1206799957, NB_EMPTY = 5501767253.
o 5501767253
ERROR: Solution verification fails, real_empty = 1191773368, NB_EMPTY = 5486740664.
o 5486740664
ERROR: Solution verification fails, real_empty = 1176746779, NB_EMPTY = 5471714075.
o 5471714075
ERROR: Solution verification fails, real_empty = 1161720190, NB_EMPTY = 5456687486.
o 5456687486
ERROR: Solution verification fails, real_empty = 1146693601, NB_EMPTY = 5441660897.
o 5441660897
ERROR: Solution verification fails, real_empty = 1131667012, NB_EMPTY = 5426634308.
o 5426634308
ERROR: Solution verification fails, real_empty = 1116640423, NB_EMPTY = 5411607719.
o 5411607719
ERROR: Solution verification fails, real_empty = 1101613834, NB_EMPTY = 5396581130.
o 5396581130
ERROR: Solution verification fails, real_empty = 1086587245, NB_EMPTY = 5381554541.
o 5381554541
ERROR: Solution verification fails, real_empty = 1071560656, NB_EMPTY = 5366527952.
o 5366527952
ERROR: Solution verification fails, real_empty = 1056534067, NB_EMPTY = 5351501363.
o 5351501363
ERROR: Solution verification fails, real_empty = 1041507478, NB_EMPTY = 5336474774.
o 5336474774
ERROR: Solution verification fails, real_empty = 1041507477, NB_EMPTY = 5336474773.
o 5336474773
ERROR: Solution verification fails, real_empty = 1026480888, NB_EMPTY = 5321448184.
o 5321448184
ERROR: Solution verification fails, real_empty = 1011454299, NB_EMPTY = 5306421595.
o 5306421595
ERROR: Solution verification fails, real_empty = 1011454298, NB_EMPTY = 5306421594.
o 5306421594
ERROR: Solution verification fails, real_empty = 996427709, NB_EMPTY = 5291395005.
o 5291395005
ERROR: Solution verification fails, real_empty = 981401120, NB_EMPTY = 5276368416.
o 5276368416
ERROR: Solution verification fails, real_empty = 966374531, NB_EMPTY = 5261341827.
o 5261341827
ERROR: Solution verification fails, real_empty = 951347942, NB_EMPTY = 5246315238.
o 5246315238
ERROR: Solution verification fails, real_empty = 936321353, NB_EMPTY = 5231288649.
o 5231288649
ERROR: Solution verification fails, real_empty = 936321352, NB_EMPTY = 5231288648.
o 5231288648
ERROR: Solution verification fails, real_empty = 921294763, NB_EMPTY = 5216262059.
o 5216262059
ERROR: Solution verification fails, real_empty = 906268174, NB_EMPTY = 5201235470.
o 5201235470
ERROR: Solution verification fails, real_empty = 906268173, NB_EMPTY = 5201235469.
o 5201235469
ERROR: Solution verification fails, real_empty = 891241584, NB_EMPTY = 5186208880.
o 5186208880
ERROR: Solution verification fails, real_empty = 876214995, NB_EMPTY = 5171182291.
o 5171182291
ERROR: Solution verification fails, real_empty = 861188406, NB_EMPTY = 5156155702.
o 5156155702
ERROR: Solution verification fails, real_empty = 846161817, NB_EMPTY = 5141129113.
o 5141129113
ERROR: Solution verification fails, real_empty = 831135228, NB_EMPTY = 5126102524.
o 5126102524
ERROR: Solution verification fails, real_empty = 816108639, NB_EMPTY = 5111075935.
o 5111075935
ERROR: Solution verification fails, real_empty = 801082050, NB_EMPTY = 5096049346.
o 5096049346
ERROR: Solution verification fails, real_empty = 786055461, NB_EMPTY = 5081022757.
o 5081022757
ERROR: Solution verification fails, real_empty = 771028872, NB_EMPTY = 5065996168.
o 5065996168
ERROR: Solution verification fails, real_empty = 756002283, NB_EMPTY = 5050969579.
o 5050969579
ERROR: Solution verification fails, real_empty = 740975694, NB_EMPTY = 5035942990.
o 5035942990
ERROR: Solution verification fails, real_empty = 725949105, NB_EMPTY = 5020916401.
o 5020916401
ERROR: Solution verification fails, real_empty = 710922516, NB_EMPTY = 5005889812.
o 5005889812
ERROR: Solution verification fails, real_empty = 695895927, NB_EMPTY = 4990863223.
o 4990863223
ERROR: Solution verification fails, real_empty = 680869338, NB_EMPTY = 4975836634.
o 4975836634
ERROR: Solution verification fails, real_empty = 665842749, NB_EMPTY = 4960810045.
o 4960810045
ERROR: Solution verification fails, real_empty = 650816160, NB_EMPTY = 4945783456.
o 4945783456
ERROR: Solution verification fails, real_empty = 635789571, NB_EMPTY = 4930756867.
o 4930756867
ERROR: Solution verification fails, real_empty = 620762982, NB_EMPTY = 4915730278.
o 4915730278
ERROR: Solution verification fails, real_empty = 605736393, NB_EMPTY = 4900703689.
o 4900703689
ERROR: Solution verification fails, real_empty = 590709804, NB_EMPTY = 4885677100.
o 4885677100
ERROR: Solution verification fails, real_empty = 575683215, NB_EMPTY = 4870650511.
o 4870650511
ERROR: Solution verification fails, real_empty = 560656626, NB_EMPTY = 4855623922.
o 4855623922
ERROR: Solution verification fails, real_empty = 545630037, NB_EMPTY = 4840597333.
o 4840597333
ERROR: Solution verification fails, real_empty = 530603448, NB_EMPTY = 4825570744.
o 4825570744
ERROR: Solution verification fails, real_empty = 515576859, NB_EMPTY = 4810544155.
o 4810544155
ERROR: Solution verification fails, real_empty = 500550270, NB_EMPTY = 4795517566.
o 4795517566
ERROR: Solution verification fails, real_empty = 485523681, NB_EMPTY = 4780490977.
o 4780490977
ERROR: Solution verification fails, real_empty = 470497092, NB_EMPTY = 4765464388.
o 4765464388
ERROR: Solution verification fails, real_empty = 455470503, NB_EMPTY = 4750437799.
o 4750437799
ERROR: Solution verification fails, real_empty = 440443914, NB_EMPTY = 4735411210.
o 4735411210
ERROR: Solution verification fails, real_empty = 425417325, NB_EMPTY = 4720384621.
o 4720384621
ERROR: Solution verification fails, real_empty = 410390736, NB_EMPTY = 4705358032.
o 4705358032
ERROR: Solution verification fails, real_empty = 395364147, NB_EMPTY = 4690331443.
o 4690331443
ERROR: Solution verification fails, real_empty = 380337558, NB_EMPTY = 4675304854.
o 4675304854
ERROR: Solution verification fails, real_empty = 365310969, NB_EMPTY = 4660278265.
o 4660278265
ERROR: Solution verification fails, real_empty = 350284380, NB_EMPTY = 4645251676.
o 4645251676
ERROR: Solution verification fails, real_empty = 335257791, NB_EMPTY = 4630225087.
o 4630225087
ERROR: Solution verification fails, real_empty = 320231202, NB_EMPTY = 4615198498.
o 4615198498
ERROR: Solution verification fails, real_empty = 305204613, NB_EMPTY = 4600171909.
o 4600171909
ERROR: Solution verification fails, real_empty = 290178024, NB_EMPTY = 4585145320.
o 4585145320
ERROR: Solution verification fails, real_empty = 275151435, NB_EMPTY = 4570118731.
o 4570118731
ERROR: Solution verification faKilled
1979.624u 0.078s 33:10.66 99.4%	0+0k 0+0io 0pf+0w