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-i4000d0u98-80.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i4000d0u98-80.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 18169 112632 61593992410
WARNING: Ubcsat not found.
o 61593992410
ERROR: Solution verification fails, real_empty = -834215222, NB_EMPTY = 7755719370.
o 7755719370
ERROR: Solution verification fails, real_empty = -849241811, NB_EMPTY = 7740692781.
o 7740692781
ERROR: Solution verification fails, real_empty = -864268400, NB_EMPTY = 7725666192.
o 7725666192
ERROR: Solution verification fails, real_empty = -879294989, NB_EMPTY = 7710639603.
o 7710639603
ERROR: Solution verification fails, real_empty = -894321578, NB_EMPTY = 7695613014.
o 7695613014
ERROR: Solution verification fails, real_empty = -909348167, NB_EMPTY = 7680586425.
o 7680586425
ERROR: Solution verification fails, real_empty = -924374756, NB_EMPTY = 7665559836.
o 7665559836
ERROR: Solution verification fails, real_empty = -939401345, NB_EMPTY = 7650533247.
o 7650533247
ERROR: Solution verification fails, real_empty = -954427934, NB_EMPTY = 7635506658.
o 7635506658
ERROR: Solution verification fails, real_empty = -969454523, NB_EMPTY = 7620480069.
o 7620480069
ERROR: Solution verification fails, real_empty = -984481112, NB_EMPTY = 7605453480.
o 7605453480
ERROR: Solution verification fails, real_empty = -999507701, NB_EMPTY = 7590426891.
o 7590426891
ERROR: Solution verification fails, real_empty = -1014534290, NB_EMPTY = 7575400302.
o 7575400302
ERROR: Solution verification fails, real_empty = -1029560879, NB_EMPTY = 7560373713.
o 7560373713
ERROR: Solution verification fails, real_empty = -1044587468, NB_EMPTY = 7545347124.
o 7545347124
ERROR: Solution verification fails, real_empty = -1059614057, NB_EMPTY = 7530320535.
o 7530320535
ERROR: Solution verification fails, real_empty = -1074640646, NB_EMPTY = 7515293946.
o 7515293946
ERROR: Solution verification fails, real_empty = -1089667235, NB_EMPTY = 7500267357.
o 7500267357
ERROR: Solution verification fails, real_empty = -1104693824, NB_EMPTY = 7485240768.
o 7485240768
ERROR: Solution verification fails, real_empty = -1119720413, NB_EMPTY = 7470214179.
o 7470214179
ERROR: Solution verification fails, real_empty = -1134747002, NB_EMPTY = 7455187590.
o 7455187590
ERROR: Solution verification fails, real_empty = -1149773591, NB_EMPTY = 7440161001.
o 7440161001
ERROR: Solution verification fails, real_empty = -1164800180, NB_EMPTY = 7425134412.
o 7425134412
ERROR: Solution verification fails, real_empty = -1179826769, NB_EMPTY = 7410107823.
o 7410107823
ERROR: Solution verification fails, real_empty = -1179826770, NB_EMPTY = 7410107822.
o 7410107822
ERROR: Solution verification fails, real_empty = -1194853359, NB_EMPTY = 7395081233.
o 7395081233
ERROR: Solution verification fails, real_empty = -1209879948, NB_EMPTY = 7380054644.
o 7380054644
ERROR: Solution verification fails, real_empty = -1209879949, NB_EMPTY = 7380054643.
o 7380054643
ERROR: Solution verification fails, real_empty = -1224906538, NB_EMPTY = 7365028054.
o 7365028054
ERROR: Solution verification fails, real_empty = -1239933127, NB_EMPTY = 7350001465.
o 7350001465
ERROR: Solution verification fails, real_empty = -1254959716, NB_EMPTY = 7334974876.
o 7334974876
ERROR: Solution verification fails, real_empty = -1269986305, NB_EMPTY = 7319948287.
o 7319948287
ERROR: Solution verification fails, real_empty = -1285012894, NB_EMPTY = 7304921698.
o 7304921698
ERROR: Solution verification fails, real_empty = -1300039483, NB_EMPTY = 7289895109.
o 7289895109
ERROR: Solution verification fails, real_empty = -1315066072, NB_EMPTY = 7274868520.
o 7274868520
ERROR: Solution verification fails, real_empty = -1330074492, NB_EMPTY = 7259860100.
o 7259860100
ERROR: Solution verification fails, real_empty = -1330092661, NB_EMPTY = 7259841931.
o 7259841931
ERROR: Solution verification fails, real_empty = -1345101081, NB_EMPTY = 7244833511.
o 7244833511
ERROR: Solution verification fails, real_empty = -1345119251, NB_EMPTY = 7244815341.
o 7244815341
ERROR: Solution verification fails, real_empty = -1360127671, NB_EMPTY = 7229806921.
o 7229806921
ERROR: Solution verification fails, real_empty = -1360145841, NB_EMPTY = 7229788751.
o 7229788751
ERROR: Solution verification fails, real_empty = -1375154261, NB_EMPTY = 7214780331.
o 7214780331
ERROR: Solution verification fails, real_empty = -1375172430, NB_EMPTY = 7214762162.
o 7214762162
ERROR: Solution verification fails, real_empty = -1390180850, NB_EMPTY = 7199753742.
o 7199753742
ERROR: Solution verification fails, real_empty = -1390199019, NB_EMPTY = 7199735573.
o 7199735573
ERROR: Solution verification fails, real_empty = -1405207439, NB_EMPTY = 7184727153.
o 7184727153
ERROR: Solution verification fails, real_empty = -1405225608, NB_EMPTY = 7184708984.
o 7184708984
ERROR: Solution verification fails, real_empty = -1420234028, NB_EMPTY = 7169700564.
o 7169700564
ERROR: Solution verification fails, real_empty = -1420252197, NB_EMPTY = 7169682395.
o 7169682395
ERROR: Solution verification fails, real_empty = -1435260617, NB_EMPTY = 7154673975.
o 7154673975
ERROR: Solution verification fails, real_empty = -1435278786, NB_EMPTY = 7154655806.
o 7154655806
ERROR: Solution verification fails, real_empty = -1450287206, NB_EMPTY = 7139647386.
o 7139647386
ERROR: Solution verification fails, real_empty = -1450287207, NB_EMPTY = 7139647385.
o 7139647385
ERROR: Solution verification fails, real_empty = -1450305376, NB_EMPTY = 7139629216.
o 7139629216
ERROR: Solution verification fails, real_empty = -1465313796, NB_EMPTY = 7124620796.
o 7124620796
ERROR: Solution verification fails, real_empty = -1465331965, NB_EMPTY = 7124602627.
o 7124602627
ERROR: Solution verification fails, real_empty = -1480340385, NB_EMPTY = 7109594207.
o 7109594207
ERROR: Solution verification fails, real_empty = -1480358554, NB_EMPTY = 7109576038.
o 7109576038
ERROR: Solution verification fails, real_empty = -1495366974, NB_EMPTY = 7094567618.
o 7094567618
ERROR: Solution verification fails, real_empty = -1495385143, NB_EMPTY = 7094549449.
o 7094549449
ERROR: Solution verification fails, real_empty = -1510393563, NB_EMPTY = 7079541029.
o 7079541029
ERROR: Solution verification fails, real_empty = -1510411732, NB_EMPTY = 7079522860.
o 7079522860
ERROR: Solution verification fails, real_empty = -1525420152, NB_EMPTY = 7064514440.
o 7064514440
ERROR: Solution verification fails, real_empty = -1525438321, NB_EMPTY = 7064496271.
o 7064496271
ERROR: Solution verification fails, real_empty = -1540446741, NB_EMPTY = 7049487851.
o 7049487851
ERROR: Solution verification fails, real_empty = -1540464910, NB_EMPTY = 7049469682.
o 7049469682
ERROR: Solution verification fails, real_empty = -1555473330, NB_EMPTY = 7034461262.
o 7034461262
ERROR: Solution verification fails, real_empty = -1555491499, NB_EMPTY = 7034443093.
o 7034443093
ERROR: Solution verification fails, real_empty = -1570499919, NB_EMPTY = 7019434673.
o 7019434673
ERROR: Solution verification fails, real_empty = -1570518088, NB_EMPTY = 7019416504.
o 7019416504
ERROR: Solution verification fails, real_empty = -1585526508, NB_EMPTY = 7004408084.
o 7004408084
ERROR: Solution verification fails, real_empty = -1585544677, NB_EMPTY = 7004389915.
o 7004389915
ERROR: Solution verification fails, real_empty = -1600553097, NB_EMPTY = 6989381495.
o 6989381495
ERROR: Solution verification fails, real_empty = -1600553098, NB_EMPTY = 6989381494.
o 6989381494
ERROR: Solution verification fails, real_empty = -1600571267, NB_EMPTY = 6989363325.
o 6989363325
ERROR: Solution verification fails, real_empty = -1615579687, NB_EMPTY = 6974354905.
o 6974354905
ERROR: Solution verification fails, real_empty = -1615597856, NB_EMPTY = 6974336736.
o 6974336736
ERROR: Solution verification fails, real_empty = -1630606276, NB_EMPTY = 6959328316.
o 6959328316
ERROR: Solution verification fails, real_empty = -1630624445, NB_EMPTY = 6959310147.
o 6959310147
ERROR: Solution verification fails, real_empty = -1645632865, NB_EMPTY = 6944301727.
o 6944301727
ERROR: Solution verification fails, real_empty = -1645651034, NB_EMPTY = 6944283558.
o 6944283558
ERROR: Solution verification fails, real_empty = -1660659454, NB_EMPTY = 6929275138Killed
1979.663u 0.039s 33:01.83 99.8%	0+0k 0+0io 0pf+0w