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-69.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i3000d0u98-69.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 = -2051423543, NB_EMPTY = 6538511049.
o 6538511049
ERROR: Solution verification fails, real_empty = -2066450132, NB_EMPTY = 6523484460.
o 6523484460
ERROR: Solution verification fails, real_empty = -2081476721, NB_EMPTY = 6508457871.
o 6508457871
ERROR: Solution verification fails, real_empty = -2096503310, NB_EMPTY = 6493431282.
o 6493431282
ERROR: Solution verification fails, real_empty = -2111529899, NB_EMPTY = 6478404693.
o 6478404693
ERROR: Solution verification fails, real_empty = -2126556488, NB_EMPTY = 6463378104.
o 6463378104
ERROR: Solution verification fails, real_empty = -2141583077, NB_EMPTY = 6448351515.
o 6448351515
ERROR: Solution verification fails, real_empty = 2138357630, NB_EMPTY = 6433324926.
o 6433324926
ERROR: Solution verification fails, real_empty = 2138357629, NB_EMPTY = 6433324925.
o 6433324925
ERROR: Solution verification fails, real_empty = 2123331040, NB_EMPTY = 6418298336.
o 6418298336
ERROR: Solution verification fails, real_empty = 2123331039, NB_EMPTY = 6418298335.
o 6418298335
ERROR: Solution verification fails, real_empty = 2108304450, NB_EMPTY = 6403271746.
o 6403271746
ERROR: Solution verification fails, real_empty = 2093277861, NB_EMPTY = 6388245157.
o 6388245157
ERROR: Solution verification fails, real_empty = 2078251272, NB_EMPTY = 6373218568.
o 6373218568
ERROR: Solution verification fails, real_empty = 2063224683, NB_EMPTY = 6358191979.
o 6358191979
ERROR: Solution verification fails, real_empty = 2048198094, NB_EMPTY = 6343165390.
o 6343165390
ERROR: Solution verification fails, real_empty = 2033171505, NB_EMPTY = 6328138801.
o 6328138801
ERROR: Solution verification fails, real_empty = 2018144916, NB_EMPTY = 6313112212.
o 6313112212
ERROR: Solution verification fails, real_empty = 2018144915, NB_EMPTY = 6313112211.
o 6313112211
ERROR: Solution verification fails, real_empty = 2003118326, NB_EMPTY = 6298085622.
o 6298085622
ERROR: Solution verification fails, real_empty = 1988091737, NB_EMPTY = 6283059033.
o 6283059033
ERROR: Solution verification fails, real_empty = 1973065148, NB_EMPTY = 6268032444.
o 6268032444
ERROR: Solution verification fails, real_empty = 1958038559, NB_EMPTY = 6253005855.
o 6253005855
ERROR: Solution verification fails, real_empty = 1943011970, NB_EMPTY = 6237979266.
o 6237979266
ERROR: Solution verification fails, real_empty = 1927985381, NB_EMPTY = 6222952677.
o 6222952677
ERROR: Solution verification fails, real_empty = 1912958792, NB_EMPTY = 6207926088.
o 6207926088
ERROR: Solution verification fails, real_empty = 1897932203, NB_EMPTY = 6192899499.
o 6192899499
ERROR: Solution verification fails, real_empty = 1882905614, NB_EMPTY = 6177872910.
o 6177872910
ERROR: Solution verification fails, real_empty = 1867879025, NB_EMPTY = 6162846321.
o 6162846321
ERROR: Solution verification fails, real_empty = 1852852436, NB_EMPTY = 6147819732.
o 6147819732
ERROR: Solution verification fails, real_empty = 1837825847, NB_EMPTY = 6132793143.
o 6132793143
ERROR: Solution verification fails, real_empty = 1822799258, NB_EMPTY = 6117766554.
o 6117766554
ERROR: Solution verification fails, real_empty = 1807772669, NB_EMPTY = 6102739965.
o 6102739965
ERROR: Solution verification fails, real_empty = 1792746080, NB_EMPTY = 6087713376.
o 6087713376
ERROR: Solution verification fails, real_empty = 1792746079, NB_EMPTY = 6087713375.
o 6087713375
ERROR: Solution verification fails, real_empty = 1777719490, NB_EMPTY = 6072686786.
o 6072686786
ERROR: Solution verification fails, real_empty = 1777719489, NB_EMPTY = 6072686785.
o 6072686785
ERROR: Solution verification fails, real_empty = 1762692900, NB_EMPTY = 6057660196.
o 6057660196
ERROR: Solution verification fails, real_empty = 1747666311, NB_EMPTY = 6042633607.
o 6042633607
ERROR: Solution verification fails, real_empty = 1732639722, NB_EMPTY = 6027607018.
o 6027607018
ERROR: Solution verification fails, real_empty = 1717613133, NB_EMPTY = 6012580429.
o 6012580429
ERROR: Solution verification fails, real_empty = 1702586544, NB_EMPTY = 5997553840.
o 5997553840
ERROR: Solution verification fails, real_empty = 1687559955, NB_EMPTY = 5982527251.
o 5982527251
ERROR: Solution verification fails, real_empty = 1672533366, NB_EMPTY = 5967500662.
o 5967500662
ERROR: Solution verification fails, real_empty = 1672533365, NB_EMPTY = 5967500661.
o 5967500661
ERROR: Solution verification fails, real_empty = 1657506776, NB_EMPTY = 5952474072.
o 5952474072
ERROR: Solution verification fails, real_empty = 1642480187, NB_EMPTY = 5937447483.
o 5937447483
ERROR: Solution verification fails, real_empty = 1642480186, NB_EMPTY = 5937447482.
o 5937447482
ERROR: Solution verification fails, real_empty = 1627453597, NB_EMPTY = 5922420893.
o 5922420893
ERROR: Solution verification fails, real_empty = 1612427008, NB_EMPTY = 5907394304.
o 5907394304
ERROR: Solution verification fails, real_empty = 1597400419, NB_EMPTY = 5892367715.
o 5892367715
ERROR: Solution verification fails, real_empty = 1582373830, NB_EMPTY = 5877341126.
o 5877341126
ERROR: Solution verification fails, real_empty = 1567347241, NB_EMPTY = 5862314537.
o 5862314537
ERROR: Solution verification fails, real_empty = 1552320652, NB_EMPTY = 5847287948.
o 5847287948
ERROR: Solution verification fails, real_empty = 1537294063, NB_EMPTY = 5832261359.
o 5832261359
ERROR: Solution verification fails, real_empty = 1522267474, NB_EMPTY = 5817234770.
o 5817234770
ERROR: Solution verification fails, real_empty = 1507240885, NB_EMPTY = 5802208181.
o 5802208181
ERROR: Solution verification fails, real_empty = 1492214296, NB_EMPTY = 5787181592.
o 5787181592
ERROR: Solution verification fails, real_empty = 1477187707, NB_EMPTY = 5772155003.
o 5772155003
ERROR: Solution verification fails, real_empty = 1462161118, NB_EMPTY = 5757128414.
o 5757128414
ERROR: Solution verification fails, real_empty = 1447134529, NB_EMPTY = 5742101825.
o 5742101825
ERROR: Solution verification fails, real_empty = 1432107940, NB_EMPTY = 5727075236.
o 5727075236
ERROR: Solution verification fails, real_empty = 1417081351, NB_EMPTY = 5712048647.
o 5712048647
ERROR: Solution verification fails, real_empty = 1402054762, NB_EMPTY = 5697022058.
o 5697022058
ERROR: Solution verification fails, real_empty = 1387028173, NB_EMPTY = 5681995469.
o 5681995469
ERROR: Solution verification fails, real_empty = 1372001584, NB_EMPTY = 5666968880.
o 5666968880
ERROR: Solution verification fails, real_empty = 1356974995, NB_EMPTY = 5651942291.
o 5651942291
ERROR: Solution verification fails, real_empty = 1341948406, NB_EMPTY = 5636915702.
o 5636915702
ERROR: Solution verification fails, real_empty = 1326921817, NB_EMPTY = 5621889113.
o 5621889113
ERROR: Solution verification fails, real_empty = 1311895228, NB_EMPTY = 5606862524.
o 5606862524
ERROR: Solution verification fails, real_empty = 1296868639, NB_EMPTY = 5591835935.
o 5591835935
ERROR: Solution verification fails, real_empty = 1281842050, NB_EMPTY = 5576809346.
o 5576809346
ERROR: Solution verification fails, real_empty = 1266815461, NB_EMPTY = 5561782757.
o 5561782757
ERROR: Solution verification fails, real_empty = 1251788872, NB_EMPTY = 5546756168.
o 5546756168
ERROR: Solution verification fails, real_empty = 1236762283, NB_EMPTY = 5531729579.
o 5531729579
ERROR: Solution verification fails, real_empty = 1221735694, NB_EMPTY = 5516702990.
o 5516702990
ERROR: Solution verification fails, real_empty = 1206709105, NB_EMPTY = 5501676401.
o 5501676401
ERROR: Solution verification fails, real_empty = 1206709104, NB_EMPTY = 5501676400.
o 5501676400
ERROR: Solution verification fails, real_empty = 1191682515, NB_EMPTY = 5486649811.
o 5486649811
ERROR: Solution verification fails, real_empty = 1176655926, NB_EMPTY = 5471623222.
o 5471623222
ERROR: Solution verification fails, real_empty = 1161629337, NB_EMPTY = 5456596633.
o 5456596633
ERROR: Solution verification fails, real_empty = 1146602748, NB_EMPTY = 5441570044.
o 5441570044
ERROR: Solution verification fails, real_empty = 1131576159, NB_EMPTY = 5426543455.
o 5426543455
ERROR: Solution verification fails, real_empty = 1116549570, NB_EMPTY = 5411516866.
o 5411516866
ERROR: Solution verification fails, real_empty = 1116549569, NB_EMPTY = 5411516865.
o 5411516865
ERROR: Solution verification fails, real_empty = 1101522980, NB_EMPTY = 5396490276.
o 5396490276
ERROR: Solution verification fails, real_empty = 1086496391, NB_EMPTY = 5381463687.
o 5381463687
ERROR: Solution verification fails, real_empty = 1071469802, NB_EMPTY = 5366437098.
o 5366437098
ERROR: Solution verification fails, real_empty = 1056443213, NB_EMPTY = 5351410509.
o 5351410509
ERROR: Solution verification fails, real_empty = 1041416624, NB_EMPTY = 5336383920.
o 5336383920
ERROR: Solution verification fails, real_empty = 1026390035, NB_EMPTY = 5321357331.
o 5321357331
ERROR: Solution verification fails, real_empty = 1011363446, NB_EMPTY = 5306330742.
o 5306330742
ERROR: Solution verification fails, real_empty = 996336857, NB_EMPTY = 5291304153.
o 5291304153
ERROR: Solution verification fails, real_empty = 981310268, NB_EMPTY = 5276277564.
o 5276277564
ERROR: Solution verification fails, real_empty = 966283679, NB_EMPTY = 5261250975.
o 5261250975
ERROR: Solution verification fails, real_empty = 951257090, NB_EMPTY = 5246224386.
o 5246224386
ERROR: Solution verification fails, real_empty = 936230501, NB_EMPTY = 5231197797.
o 5231197797
ERROR: Solution verification fails, real_empty = 921203912, NB_EMPTY = 5216171208.
o 5216171208
ERROR: Solution verification fails, real_empty = 906177323, NB_EMPTY = 5201144619.
o 5201144619
ERROR: Solution verification fails, real_empty = 891150734, NB_EMPTY = 5186118030.
o 5186118030
ERROR: Solution verification fails, real_empty = 876124145, NB_EMPTY = 5171091441.
o 5171091441
ERROR: Solution verification fails, real_empty = 876124144, NB_EMPTY = 5171091440.
o 5171091440
ERROR: Solution verification fails, real_empty = 861097555, NB_EMPTY = 5156064851.
o 5156064851
ERROR: Solution verification fails, real_empty = 846070966, NB_EMPTY = 5141038262.
o 5141038262
ERROR: Solution verification fails, real_empty = 846070965, NB_EMPTY = 5141038261.
o 5141038261
ERROR: Solution verification fails, real_empty = 831044376, NB_EMPTY = 5126011672.
o 5126011672
ERROR: Solution verification fails, real_empty = 816017787, NB_EMPTY = 5110985083.
o 5110985083
ERROR: Solution verification fails, real_empty = 800991198, NB_EMPTY = 5095958494.
o 5095958494
ERROR: Solution verification fails, real_empty = 785964609, NB_EMPTY = 5080931905.
o 5080931905
ERROR: Solution verification fails, real_empty = 770938020, NB_EMPTY = 5065905316.
o 5065905316
ERROR: Solution verification fails, real_empty = 755911431, NB_EMPTY = 5050878727.
o 5050878727
ERROR: Solution verification fails, real_empty = 740884842, NB_EMPTY = 5035852138.
o 5035852138
ERROR: Solution verification fails, real_empty = 725858253, NB_EMPTY = 5020825549.
o 5020825549
ERROR: Solution verification fails, real_empty = 710831664, NB_EMPTY = 5005798960.
o 5005798960
ERROR: Solution verification fails, real_empty = 695805075, NB_EMPTY = 4990772371.
o 4990772371
ERROR: Solution verification fails, real_empty = 680778486, NB_EMPTY = 4975745782.
o 4975745782
ERROR: Solution verification fails, real_empty = 665751897, NB_EMPTY = 4960719193.
o 4960719193
ERROR: Solution verification fails, real_empty = 650725308, NB_EMPTY = 4945692604.
o 4945692604
ERROR: Solution verification fails, real_empty = 635698719, NB_EMPTY = 4930666015.
o 4930666015
ERROR: Solution verification fails, real_empty = 620672130, NB_EMPTY = 4915639426.
o 4915639426
ERROR: Solution verification fails, real_empty = 605645541, NB_EMPTY = 4900612837.
o 4900612837
ERROR: Solution verification fails, real_empty = 590618952, NB_EMPTY = 4885586248.
o 4885586248
ERROR: Solution verification fails, real_empty = 575592363, NB_EMPTY = 4870559659.
o 4870559659
ERROR: Solution verification fails, real_empty = 560565774, NB_EMPTY = 4855533070.
o 4855533070
ERROR: Solution verification fails, real_empty = 545539185, NB_EMPTY = 4840506481.
o 4840506481
ERROR:Killed
1979.660u 0.042s 33:00.25 99.9%	0+0k 0+0io 0pf+0w