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-81.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i4000d0u98-81.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 = -729010943, NB_EMPTY = 7860923649.
o 7860923649
ERROR: Solution verification fails, real_empty = -744037532, NB_EMPTY = 7845897060.
o 7845897060
ERROR: Solution verification fails, real_empty = -759064121, NB_EMPTY = 7830870471.
o 7830870471
ERROR: Solution verification fails, real_empty = -774090710, NB_EMPTY = 7815843882.
o 7815843882
ERROR: Solution verification fails, real_empty = -789117299, NB_EMPTY = 7800817293.
o 7800817293
ERROR: Solution verification fails, real_empty = -804143888, NB_EMPTY = 7785790704.
o 7785790704
ERROR: Solution verification fails, real_empty = -819170477, NB_EMPTY = 7770764115.
o 7770764115
ERROR: Solution verification fails, real_empty = -834197066, NB_EMPTY = 7755737526.
o 7755737526
ERROR: Solution verification fails, real_empty = -849223655, NB_EMPTY = 7740710937.
o 7740710937
ERROR: Solution verification fails, real_empty = -864250244, NB_EMPTY = 7725684348.
o 7725684348
ERROR: Solution verification fails, real_empty = -864250245, NB_EMPTY = 7725684347.
o 7725684347
ERROR: Solution verification fails, real_empty = -879276834, NB_EMPTY = 7710657758.
o 7710657758
ERROR: Solution verification fails, real_empty = -894303423, NB_EMPTY = 7695631169.
o 7695631169
ERROR: Solution verification fails, real_empty = -909330012, NB_EMPTY = 7680604580.
o 7680604580
ERROR: Solution verification fails, real_empty = -924356601, NB_EMPTY = 7665577991.
o 7665577991
ERROR: Solution verification fails, real_empty = -939383190, NB_EMPTY = 7650551402.
o 7650551402
ERROR: Solution verification fails, real_empty = -954409779, NB_EMPTY = 7635524813.
o 7635524813
ERROR: Solution verification fails, real_empty = -969436368, NB_EMPTY = 7620498224.
o 7620498224
ERROR: Solution verification fails, real_empty = -984462957, NB_EMPTY = 7605471635.
o 7605471635
ERROR: Solution verification fails, real_empty = -999489546, NB_EMPTY = 7590445046.
o 7590445046
ERROR: Solution verification fails, real_empty = -1014516135, NB_EMPTY = 7575418457.
o 7575418457
ERROR: Solution verification fails, real_empty = -1029542724, NB_EMPTY = 7560391868.
o 7560391868
ERROR: Solution verification fails, real_empty = -1044569313, NB_EMPTY = 7545365279.
o 7545365279
ERROR: Solution verification fails, real_empty = -1059595902, NB_EMPTY = 7530338690.
o 7530338690
ERROR: Solution verification fails, real_empty = -1074622491, NB_EMPTY = 7515312101.
o 7515312101
ERROR: Solution verification fails, real_empty = -1089649080, NB_EMPTY = 7500285512.
o 7500285512
ERROR: Solution verification fails, real_empty = -1089649081, NB_EMPTY = 7500285511.
o 7500285511
ERROR: Solution verification fails, real_empty = -1104675670, NB_EMPTY = 7485258922.
o 7485258922
ERROR: Solution verification fails, real_empty = -1119702259, NB_EMPTY = 7470232333.
o 7470232333
ERROR: Solution verification fails, real_empty = -1134728848, NB_EMPTY = 7455205744.
o 7455205744
ERROR: Solution verification fails, real_empty = -1149755437, NB_EMPTY = 7440179155.
o 7440179155
ERROR: Solution verification fails, real_empty = -1164782026, NB_EMPTY = 7425152566.
o 7425152566
ERROR: Solution verification fails, real_empty = -1179808615, NB_EMPTY = 7410125977.
o 7410125977
ERROR: Solution verification fails, real_empty = -1194835204, NB_EMPTY = 7395099388.
o 7395099388
ERROR: Solution verification fails, real_empty = -1209861793, NB_EMPTY = 7380072799.
o 7380072799
ERROR: Solution verification fails, real_empty = -1224888382, NB_EMPTY = 7365046210.
o 7365046210
ERROR: Solution verification fails, real_empty = -1239914971, NB_EMPTY = 7350019621.
o 7350019621
ERROR: Solution verification fails, real_empty = -1239914972, NB_EMPTY = 7350019620.
o 7350019620
ERROR: Solution verification fails, real_empty = -1254941561, NB_EMPTY = 7334993031.
o 7334993031
ERROR: Solution verification fails, real_empty = -1269968150, NB_EMPTY = 7319966442.
o 7319966442
ERROR: Solution verification fails, real_empty = -1284994739, NB_EMPTY = 7304939853.
o 7304939853
ERROR: Solution verification fails, real_empty = -1300021328, NB_EMPTY = 7289913264.
o 7289913264
ERROR: Solution verification fails, real_empty = -1315047917, NB_EMPTY = 7274886675.
o 7274886675
ERROR: Solution verification fails, real_empty = -1330074506, NB_EMPTY = 7259860086.
o 7259860086
ERROR: Solution verification fails, real_empty = -1345101095, NB_EMPTY = 7244833497.
o 7244833497
ERROR: Solution verification fails, real_empty = -1360127684, NB_EMPTY = 7229806908.
o 7229806908
ERROR: Solution verification fails, real_empty = -1375154273, NB_EMPTY = 7214780319.
o 7214780319
ERROR: Solution verification fails, real_empty = -1390180862, NB_EMPTY = 7199753730.
o 7199753730
ERROR: Solution verification fails, real_empty = -1390180863, NB_EMPTY = 7199753729.
o 7199753729
ERROR: Solution verification fails, real_empty = -1405207452, NB_EMPTY = 7184727140.
o 7184727140
ERROR: Solution verification fails, real_empty = -1420234041, NB_EMPTY = 7169700551.
o 7169700551
ERROR: Solution verification fails, real_empty = -1435260630, NB_EMPTY = 7154673962.
o 7154673962
ERROR: Solution verification fails, real_empty = -1450287219, NB_EMPTY = 7139647373.
o 7139647373
ERROR: Solution verification fails, real_empty = -1465313808, NB_EMPTY = 7124620784.
o 7124620784
ERROR: Solution verification fails, real_empty = -1480340397, NB_EMPTY = 7109594195.
o 7109594195
ERROR: Solution verification fails, real_empty = -1495366986, NB_EMPTY = 7094567606.
o 7094567606
ERROR: Solution verification fails, real_empty = -1510393575, NB_EMPTY = 7079541017.
o 7079541017
ERROR: Solution verification fails, real_empty = -1525420164, NB_EMPTY = 7064514428.
o 7064514428
ERROR: Solution verification fails, real_empty = -1540446753, NB_EMPTY = 7049487839.
o 7049487839
ERROR: Solution verification fails, real_empty = -1555473342, NB_EMPTY = 7034461250.
o 7034461250
ERROR: Solution verification fails, real_empty = -1570499931, NB_EMPTY = 7019434661.
o 7019434661
ERROR: Solution verification fails, real_empty = -1585526520, NB_EMPTY = 7004408072.
o 7004408072
ERROR: Solution verification fails, real_empty = -1600553109, NB_EMPTY = 6989381483.
o 6989381483
ERROR: Solution verification fails, real_empty = -1615579698, NB_EMPTY = 6974354894.
o 6974354894
ERROR: Solution verification fails, real_empty = -1630606287, NB_EMPTY = 6959328305.
o 6959328305
ERROR: Solution verification fails, real_empty = -1645632876, NB_EMPTY = 6944301716.
o 6944301716
ERROR: Solution verification fails, real_empty = -1660659465, NB_EMPTY = 6929275127.
o 6929275127
ERROR: Solution verification fails, real_empty = -1675686054, NB_EMPTY = 6914248538.
o 6914248538
ERROR: Solution verification fails, real_empty = -1690712643, NB_EMPTY = 6899221949.
o 6899221949
ERROR: Solution verification fails, real_empty = -1705739232, NB_EMPTY = 6884195360.
o 6884195360
ERROR: Solution verification fails, real_empty = -1720765821, NB_EMPTY = 6869168771.
o 6869168771
ERROR: Solution verification fails, real_empty = -1735792410, NB_EMPTY = 6854142182.
o 6854142182
ERROR: Solution verification fails, real_empty = -1750818999, NB_EMPTY = 6839115593.
o 6839115593
ERROR: Solution verification fails, real_empty = -1765845588, NB_EMPTY = 6824089004.
o 6824089004
ERROR: Solution verification fails, real_empty = -1780872177, NB_EMPTY = 6809062415.
o 6809062415
ERROR: Solution verification fails, real_empty = -1795898766, NB_EMPTY = 6794035826.
o 6794035826
ERROR: Solution verification fails, real_empty = -1810925355, NB_EMPTY = 6779009237.
o 6779009237
ERROR: Solution verification fails, real_empty = -1825951944, NB_EMPTY = 6763982648.
o 6763982648
ERROR: Solution verification fails, real_empty = -1840978533, NB_EMPTY = 6748956059.
o 6748956059
ERROR: Solution verification fails, real_empty = -1856005122, NB_EMPTY = 6733929470.
o 6733929470
ERROR: Solution verification fails, real_empty = -1871031711, NB_EMPTY = 6718902881.
o 6718902881
ERROR: Solution verification fails, real_empty = -1886058300, NB_EMPTY = 6703876292.
o 6703Killed
1979.605u 0.096s 33:11.70 99.3%	0+0k 0+0io 0pf+0w