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-i1000d0u98-3.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i1000d0u98-3.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 18169 112632 16514222410
WARNING: Ubcsat not found.
o 16514222410
ERROR: Solution verification fails, real_empty = -221125918, NB_EMPTY = 4073841378.
o 4073841378
ERROR: Solution verification fails, real_empty = -236152507, NB_EMPTY = 4058814789.
o 4058814789
ERROR: Solution verification fails, real_empty = -251179096, NB_EMPTY = 4043788200.
o 4043788200
ERROR: Solution verification fails, real_empty = -266205685, NB_EMPTY = 4028761611.
o 4028761611
ERROR: Solution verification fails, real_empty = -281232274, NB_EMPTY = 4013735022.
o 4013735022
ERROR: Solution verification fails, real_empty = -296258863, NB_EMPTY = 3998708433.
o 3998708433
ERROR: Solution verification fails, real_empty = -311285452, NB_EMPTY = 3983681844.
o 3983681844
ERROR: Solution verification fails, real_empty = -326312041, NB_EMPTY = 3968655255.
o 3968655255
ERROR: Solution verification fails, real_empty = -341338630, NB_EMPTY = 3953628666.
o 3953628666
ERROR: Solution verification fails, real_empty = -356365219, NB_EMPTY = 3938602077.
o 3938602077
ERROR: Solution verification fails, real_empty = -371391808, NB_EMPTY = 3923575488.
o 3923575488
ERROR: Solution verification fails, real_empty = -386418397, NB_EMPTY = 3908548899.
o 3908548899
ERROR: Solution verification fails, real_empty = -401444986, NB_EMPTY = 3893522310.
o 3893522310
ERROR: Solution verification fails, real_empty = -416471575, NB_EMPTY = 3878495721.
o 3878495721
ERROR: Solution verification fails, real_empty = -431498164, NB_EMPTY = 3863469132.
o 3863469132
ERROR: Solution verification fails, real_empty = -446524753, NB_EMPTY = 3848442543.
o 3848442543
ERROR: Solution verification fails, real_empty = -461551342, NB_EMPTY = 3833415954.
o 3833415954
ERROR: Solution verification fails, real_empty = -476577931, NB_EMPTY = 3818389365.
o 3818389365
ERROR: Solution verification fails, real_empty = -491604520, NB_EMPTY = 3803362776.
o 3803362776
ERROR: Solution verification fails, real_empty = -506631109, NB_EMPTY = 3788336187.
o 3788336187
ERROR: Solution verification fails, real_empty = -521657698, NB_EMPTY = 3773309598.
o 3773309598
ERROR: Solution verification fails, real_empty = -536684287, NB_EMPTY = 3758283009.
o 3758283009
ERROR: Solution verification fails, real_empty = -551710876, NB_EMPTY = 3743256420.
o 3743256420
ERROR: Solution verification fails, real_empty = -566737465, NB_EMPTY = 3728229831.
o 3728229831
ERROR: Solution verification fails, real_empty = -566737466, NB_EMPTY = 3728229830.
o 3728229830
ERROR: Solution verification fails, real_empty = -581764055, NB_EMPTY = 3713203241.
o 3713203241
ERROR: Solution verification fails, real_empty = -581764056, NB_EMPTY = 3713203240.
o 3713203240
ERROR: Solution verification fails, real_empty = -596790645, NB_EMPTY = 3698176651.
o 3698176651
ERROR: Solution verification fails, real_empty = -611817234, NB_EMPTY = 3683150062.
o 3683150062
ERROR: Solution verification fails, real_empty = -626843823, NB_EMPTY = 3668123473.
o 3668123473
ERROR: Solution verification fails, real_empty = -626843824, NB_EMPTY = 3668123472.
o 3668123472
ERROR: Solution verification fails, real_empty = -641870413, NB_EMPTY = 3653096883.
o 3653096883
ERROR: Solution verification fails, real_empty = -641870414, NB_EMPTY = 3653096882.
o 3653096882
ERROR: Solution verification fails, real_empty = -656897003, NB_EMPTY = 3638070293.
o 3638070293
ERROR: Solution verification fails, real_empty = -656897004, NB_EMPTY = 3638070292.
o 3638070292
ERROR: Solution verification fails, real_empty = -671923593, NB_EMPTY = 3623043703.
o 3623043703
ERROR: Solution verification fails, real_empty = -671923594, NB_EMPTY = 3623043702.
o 3623043702
ERROR: Solution verification fails, real_empty = -686950183, NB_EMPTY = 3608017113.
o 3608017113
ERROR: Solution verification fails, real_empty = -686950184, NB_EMPTY = 3608017112.
o 3608017112
ERROR: Solution verification fails, real_empty = -701976773, NB_EMPTY = 3592990523.
o 3592990523
ERROR: Solution verification fails, real_empty = -717003362, NB_EMPTY = 3577963934.
o 3577963934
ERROR: Solution verification fails, real_empty = -717003363, NB_EMPTY = 3577963933.
o 3577963933
ERROR: Solution verification fails, real_empty = -732029952, NB_EMPTY = 3562937344.
o 3562937344
ERROR: Solution verification fails, real_empty = -732029953, NB_EMPTY = 3562937343.
o 3562937343
ERROR: Solution verification fails, real_empty = -747056542, NB_EMPTY = 3547910754.
o 3547910754
ERROR: Solution verification fails, real_empty = -762083131, NB_EMPTY = 3532884165.
o 3532884165
ERROR: Solution verification fails, real_empty = -762083132, NB_EMPTY = 3532884164.
o 3532884164
ERROR: Solution verification fails, real_empty = -777109721, NB_EMPTY = 3517857575.
o 3517857575
ERROR: Solution verification fails, real_empty = -792136310, NB_EMPTY = 3502830986.
o 3502830986
ERROR: Solution verification fails, real_empty = -807162899, NB_EMPTY = 3487804397.
o 3487804397
ERROR: Solution verification fails, real_empty = -822189488, NB_EMPTY = 3472777808.
o 3472777808
ERROR: Solution verification fails, real_empty = -837216077, NB_EMPTY = 3457751219.
o 3457751219
ERROR: Solution verification fails, real_empty = -852242666, NB_EMPTY = 3442724630.
o 3442724630
ERROR: Solution verification fails, real_empty = -867269255, NB_EMPTY = 3427698041.
o 3427698041
ERROR: Solution verification fails, real_empty = -867269256, NB_EMPTY = 3427698040.
o 3427698040
ERROR: Solution verification fails, real_empty = -882295845, NB_EMPTY = 3412671451.
o 3412671451
ERROR: Solution verification fails, real_empty = -897322434, NB_EMPTY = 3397644862.
o 3397644862
ERROR: Solution verification fails, real_empty = -912349023, NB_EMPTY = 3382618273.
o 3382618273
ERROR: Solution verification fails, real_empty = -927375612, NB_EMPTY = 3367591684.
o 3367591684
ERROR: Solution verification fails, real_empty = -942402201, NB_EMPTY = 3352565095.
o 3352565095
ERROR: Solution verification fails, real_empty = -957428790, NB_EMPTY = 3337538506.
o 3337538506
ERROR: Solution verification fails, real_empty = -972455379, NB_EMPTY = 3322511917.
o 3322511917
ERROR: Solution verification fails, real_empty = -987481968, NB_EMPTY = 3307485328.
o 3307485328
ERROR: Solution verification fails, real_empty = -1002508557, NB_EMPTY = 3292458739.
o 3292458739
ERROR: Solution verification fails, real_empty = -1017535146, NB_EMPTY = 3277432150.
o 3277432150
ERROR: Solution verification fails, real_empty = -1032561735, NB_EMPTY = 3262405561.
o 3262405561
ERROR: Solution verification fails, real_empty = -1032561736, NB_EMPTY = 3262405560.
o 3262405560
ERROR: Solution verification fails, real_empty = -1047588325, NB_EMPTY = 3247378971.
o 3247378971
ERROR: Solution verification fails, real_empty = -1047588326, NB_EMPTY = 3247378970.
o 3247378970
ERROR: Solution verification fails, real_empty = -1062614915, NB_EMPTY = 3232352381.
o 3232352381
ERROR: Solution verification fails, real_empty = -1077641504, NB_EMPTY = 3217325792.
o 3217325792
ERROR: Solution verification fails, real_empty = -1092668093, NB_EMPTY = 3202299203.
o 3202299203
ERROR: Solution verification fails, real_empty = -1107694682, NB_EMPTY = 3187272614.
o 3187272614
ERROR: Solution verification fails, real_empty = -1122721271, NB_EMPTY = 3172246025.
o 3172246025
ERROR: Solution verification fails, real_empty = -1137747860, NB_EMPTY = 3157219436.
o 3157219436
ERROR: Solution verification fails, real_empty = -1152774449, NB_EMPTY = 3142192847.
o 3142192847
ERROR: Solution verification fails, real_empty = -1167801038, NB_EMPTY = 3127166258.
o 3127166258
ERROR: Solution verification fails, real_empty = -1182827627, NB_EMPTY = 3112139669.
o 3112139669
ERROR: Solution verification fails, real_empty = -1182827628, NB_EMPTY = 3112139668.
o 3112139668
ERROR: Solution verification fails, real_empty = -1197854217, NB_EMPTY = 3097113079.
o 3097113079
ERROR: Solution verification fails, real_empty = -1212880806, NB_EMPTY = 3082086490.
o 3082086490
ERROR: Solution verification fails, real_empty = -1227907395, NB_EMPTY = 3067059901.
o 3067059901
ERROR: Solution verification fails, Killed
1979.572u 0.129s 33:00.89 99.9%	0+0k 0+0io 0pf+0w