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-68.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i3000d0u98-68.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 = 1822890105, NB_EMPTY = 6117857401.
o 6117857401
ERROR: Solution verification fails, real_empty = 1807863516, NB_EMPTY = 6102830812.
o 6102830812
ERROR: Solution verification fails, real_empty = 1792836927, NB_EMPTY = 6087804223.
o 6087804223
ERROR: Solution verification fails, real_empty = 1777810338, NB_EMPTY = 6072777634.
o 6072777634
ERROR: Solution verification fails, real_empty = 1762783749, NB_EMPTY = 6057751045.
o 6057751045
ERROR: Solution verification fails, real_empty = 1747757160, NB_EMPTY = 6042724456.
o 6042724456
ERROR: Solution verification fails, real_empty = 1747757159, NB_EMPTY = 6042724455.
o 6042724455
ERROR: Solution verification fails, real_empty = 1732730570, NB_EMPTY = 6027697866.
o 6027697866
ERROR: Solution verification fails, real_empty = 1717703981, NB_EMPTY = 6012671277.
o 6012671277
ERROR: Solution verification fails, real_empty = 1702677392, NB_EMPTY = 5997644688.
o 5997644688
ERROR: Solution verification fails, real_empty = 1687650803, NB_EMPTY = 5982618099.
o 5982618099
ERROR: Solution verification fails, real_empty = 1672624214, NB_EMPTY = 5967591510.
o 5967591510
ERROR: Solution verification fails, real_empty = 1657597625, NB_EMPTY = 5952564921.
o 5952564921
ERROR: Solution verification fails, real_empty = 1642571036, NB_EMPTY = 5937538332.
o 5937538332
ERROR: Solution verification fails, real_empty = 1627544447, NB_EMPTY = 5922511743.
o 5922511743
ERROR: Solution verification fails, real_empty = 1612517858, NB_EMPTY = 5907485154.
o 5907485154
ERROR: Solution verification fails, real_empty = 1597491269, NB_EMPTY = 5892458565.
o 5892458565
ERROR: Solution verification fails, real_empty = 1582464680, NB_EMPTY = 5877431976.
o 5877431976
ERROR: Solution verification fails, real_empty = 1567438091, NB_EMPTY = 5862405387.
o 5862405387
ERROR: Solution verification fails, real_empty = 1552411502, NB_EMPTY = 5847378798.
o 5847378798
ERROR: Solution verification fails, real_empty = 1552411501, NB_EMPTY = 5847378797.
o 5847378797
ERROR: Solution verification fails, real_empty = 1537384912, NB_EMPTY = 5832352208.
o 5832352208
ERROR: Solution verification fails, real_empty = 1522358323, NB_EMPTY = 5817325619.
o 5817325619
ERROR: Solution verification fails, real_empty = 1507331734, NB_EMPTY = 5802299030.
o 5802299030
ERROR: Solution verification fails, real_empty = 1492305145, NB_EMPTY = 5787272441.
o 5787272441
ERROR: Solution verification fails, real_empty = 1477278556, NB_EMPTY = 5772245852.
o 5772245852
ERROR: Solution verification fails, real_empty = 1462251967, NB_EMPTY = 5757219263.
o 5757219263
ERROR: Solution verification fails, real_empty = 1447225378, NB_EMPTY = 5742192674.
o 5742192674
ERROR: Solution verification fails, real_empty = 1432198789, NB_EMPTY = 5727166085.
o 5727166085
ERROR: Solution verification fails, real_empty = 1417172200, NB_EMPTY = 5712139496.
o 5712139496
ERROR: Solution verification fails, real_empty = 1402145611, NB_EMPTY = 5697112907.
o 5697112907
ERROR: Solution verification fails, real_empty = 1387119022, NB_EMPTY = 5682086318.
o 5682086318
ERROR: Solution verification fails, real_empty = 1372092433, NB_EMPTY = 5667059729.
o 5667059729
ERROR: Solution verification fails, real_empty = 1357065844, NB_EMPTY = 5652033140.
o 5652033140
ERROR: Solution verification fails, real_empty = 1342039255, NB_EMPTY = 5637006551.
o 5637006551
ERROR: Solution verification fails, real_empty = 1327012666, NB_EMPTY = 5621979962.
o 5621979962
ERROR: Solution verification fails, real_empty = 1327012665, NB_EMPTY = 5621979961.
o 5621979961
ERROR: Solution verification fails, real_empty = 1311986076, NB_EMPTY = 5606953372.
o 5606953372
ERROR: Solution verification fails, real_empty = 1296959487, NB_EMPTY = 5591926783.
o 5591926783
ERROR: Solution verification fails, real_empty = 1281932898, NB_EMPTY = 5576900194.
o 5576900194
ERROR: Solution verification fails, real_empty = 1281932897, NB_EMPTY = 5576900193.
o 5576900193
ERROR: Solution verification fails, real_empty = 1266906308, NB_EMPTY = 5561873604.
o 5561873604
ERROR: Solution verification fails, real_empty = 1266906307, NB_EMPTY = 5561873603.
o 5561873603
ERROR: Solution verification fails, real_empty = 1251879718, NB_EMPTY = 5546847014.
o 5546847014
ERROR: Solution verification fails, real_empty = 1236853129, NB_EMPTY = 5531820425.
o 5531820425
ERROR: Solution verification fails, real_empty = 1221826540, NB_EMPTY = 5516793836.
o 5516793836
ERROR: Solution verification fails, real_empty = 1206799951, NB_EMPTY = 5501767247.
o 5501767247
ERROR: Solution verification fails, real_empty = 1191773362, NB_EMPTY = 5486740658.
o 5486740658
ERROR: Solution verification fails, real_empty = 1176746773, NB_EMPTY = 5471714069.
o 5471714069
ERROR: Solution verification fails, real_empty = 1176746772, NB_EMPTY = 5471714068.
o 5471714068
ERROR: Solution verification fails, real_empty = 1161720183, NB_EMPTY = 5456687479.
o 5456687479
ERROR: Solution verification fails, real_empty = 1161720182, NB_EMPTY = 5456687478.
o 5456687478
ERROR: Solution verification fails, real_empty = 1146693593, NB_EMPTY = 5441660889.
o 5441660889
ERROR: Solution verification fails, real_empty = 1146693592, NB_EMPTY = 5441660888.
o 5441660888
ERROR: Solution verification fails, real_empty = 1131667003, NB_EMPTY = 5426634299.
o 5426634299
ERROR: Solution verification fails, real_empty = 1131667002, NB_EMPTY = 5426634298.
o 5426634298
ERROR: Solution verification fails, real_empty = 1116640413, NB_EMPTY = 5411607709.
o 5411607709
ERROR: Solution verification fails, real_empty = 1116640412, NB_EMPTY = 5411607708.
o 5411607708
ERROR: Solution verification fails, real_empty = 1101613823, NB_EMPTY = 5396581119.
o 5396581119
ERROR: Solution verification fails, real_empty = 1101613822, NB_EMPTY = 5396581118.
o 5396581118
ERROR: Solution verification fails, real_empty = 1086587233, NB_EMPTY = 5381554529.
o 5381554529
ERROR: Solution verification fails, real_empty = 1071560644, NB_EMPTY = 5366527940.
o 5366527940
ERROR: Solution verification fails, real_empty = 1056534055, NB_EMPTY = 5351501351.
o 5351501351
ERROR: Solution verification fails, real_empty = 1041507466, NB_EMPTY = 5336474762.
o 5336474762
ERROR: Solution verification fails, real_empty = 1026480877, NB_EMPTY = 5321448173.
o 5321448173
ERROR: Solution verification fails, real_empty = 1011454288, NB_EMPTY = 5306421584.
o 5306421584
ERROR: Solution verification fails, real_empty = 996427699, NB_EMPTY = 5291394995.
o 5291394995
ERROR: Solution verification fails, real_empty = 981401110, NB_EMPTY = 5276368406.
o 5276368406
ERROR: Solution verification fails, real_empty = 966374521, NB_EMPTY = 5261341817.
o 5261341817
ERROR: Solution verification fails, real_empty = 951347932, NB_EMPTY = 5246315228.
o 5246315228
ERROR: Solution verification fails, real_empty = 936321343, NB_EMPTY = 5231288639.
o 5231288639
ERROR: Solution verification fails, real_empty = 921294754, NB_EMPTY = 5216262050.
o 5216262050
ERROR: Solution verification fails, real_empty = 906268165, NB_EMPTY = 5201235461.
o 5201235461
ERROR: Solution verification fails, real_empty = 891241576, NB_EMPTY = 5186208872.
o 5186208872
ERROR: Solution verification fails, real_empty = 876214987, NB_EMPTY = 5171182283.
o 5171182283
ERROR: Solution verification fails, real_empty = 861188398, NB_EMPTY = 5156155694.
o 5156155694
ERROR: Solution verification fails, real_empty = 846161809, NB_EMPTY = 5141129105.
o 5141129105
ERROR: Solution verification fails, real_empty = 831135220, NB_EMPTY = 5126102516.
o 5126102516
ERROR: Solution verification fails, real_empty = 816108631, NB_EMPTY = 5111075927.
o 5111075927
ERROR: Solution verification fails, real_empty = 801082042, NB_EMPTY = 5096049338.
o 5096049338
ERROR: Solution verification fails, real_empty = 786055453, NB_EMPTY = 5081022749.
o 5081022749
ERROR: Solution verification fails, real_empty = 771028864, NB_EMPTY = 5065996160.
o 5065996160
ERROR: Solution verification fails, real_empty = 756002275, NB_EMPTY = Killed
1979.654u 0.048s 33:01.44 99.9%	0+0k 0+0io 0pf+0w