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-i1000d0u98-15.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i1000d0u98-15.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
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 = -611544674, NB_EMPTY = 3683422622.
o 3683422622
ERROR: Solution verification fails, real_empty = -626571264, NB_EMPTY = 3668396032.
o 3668396032
ERROR: Solution verification fails, real_empty = -641597854, NB_EMPTY = 3653369442.
o 3653369442
ERROR: Solution verification fails, real_empty = -656624443, NB_EMPTY = 3638342853.
o 3638342853
ERROR: Solution verification fails, real_empty = -671651032, NB_EMPTY = 3623316264.
o 3623316264
ERROR: Solution verification fails, real_empty = -686677621, NB_EMPTY = 3608289675.
o 3608289675
ERROR: Solution verification fails, real_empty = -701704210, NB_EMPTY = 3593263086.
o 3593263086
ERROR: Solution verification fails, real_empty = -716730799, NB_EMPTY = 3578236497.
o 3578236497
ERROR: Solution verification fails, real_empty = -731757388, NB_EMPTY = 3563209908.
o 3563209908
ERROR: Solution verification fails, real_empty = -746783977, NB_EMPTY = 3548183319.
o 3548183319
ERROR: Solution verification fails, real_empty = -761810566, NB_EMPTY = 3533156730.
o 3533156730
ERROR: Solution verification fails, real_empty = -776837155, NB_EMPTY = 3518130141.
o 3518130141
ERROR: Solution verification fails, real_empty = -791863744, NB_EMPTY = 3503103552.
o 3503103552
ERROR: Solution verification fails, real_empty = -806890333, NB_EMPTY = 3488076963.
o 3488076963
ERROR: Solution verification fails, real_empty = -821916922, NB_EMPTY = 3473050374.
o 3473050374
ERROR: Solution verification fails, real_empty = -836943511, NB_EMPTY = 3458023785.
o 3458023785
ERROR: Solution verification fails, real_empty = -851970100, NB_EMPTY = 3442997196.
o 3442997196
ERROR: Solution verification fails, real_empty = -866996689, NB_EMPTY = 3427970607.
o 3427970607
ERROR: Solution verification fails, real_empty = -882023278, NB_EMPTY = 3412944018.
o 3412944018
ERROR: Solution verification fails, real_empty = -897049867, NB_EMPTY = 3397917429.
o 3397917429
ERROR: Solution verification fails, real_empty = -912076456, NB_EMPTY = 3382890840.
o 3382890840
ERROR: Solution verification fails, real_empty = -927103045, NB_EMPTY = 3367864251.
o 3367864251
ERROR: Solution verification fails, real_empty = -942129634, NB_EMPTY = 3352837662.
o 3352837662
ERROR: Solution verification fails, real_empty = -957156223, NB_EMPTY = 3337811073.
o 3337811073
ERROR: Solution verification fails, real_empty = -972182812, NB_EMPTY = 3322784484.
o 3322784484
ERROR: Solution verification fails, real_empty = -987209401, NB_EMPTY = 3307757895.
o 3307757895
ERROR: Solution verification fails, real_empty = -1002235990, NB_EMPTY = 3292731306.
o 3292731306
ERROR: Solution verification fails, real_empty = -1017262579, NB_EMPTY = 3277704717.
o 3277704717
ERROR: Solution verification fails, real_empty = -1032289168, NB_EMPTY = 3262678128.
o 3262678128
ERROR: Solution verification fails, real_empty = -1047315757, NB_EMPTY = 3247651539.
o 3247651539
ERROR: Solution verification fails, real_empty = -1062342346, NB_EMPTY = 3232624950.
o 3232624950
ERROR: Solution verification fails, real_empty = -1077368935, NB_EMPTY = 3217598361.
o 3217598361
ERROR: Solution verification fails, real_empty = -1092395524, NB_EMPTY = 3202571772.
o 3202571772
ERROR: Solution verification fails, real_empty = -1107422113, NB_EMPTY = 3187545183.
o 3187545183
ERROR: Solution verification fails, real_empty = -1122448702, NB_EMPTY = 3172518594.
o 3172518594
ERROR: Solution verification fails, real_empty = -1137475291, NB_EMPTY = 3157492005.
o 3157492005
ERROR: Solution verification fails, real_empty = -1152501880, NB_EMPTY = 3142465416.
o 3142465416
ERROR: Solution verification fails, real_empty = -1167528469, NB_EMPTY = 3127438827.
o 3127438827
ERROR: Solution verification fails, real_empty = -1182555058, NB_EMPTY = 3112412238.
o 3112412238
ERROR: Solution verification fails, real_empty = -1197581647, NB_EMPTY = 3097385649.
o 3097385649
ERROR: Solution verification fails, real_empty = -1212608236, NB_EMPTY = 3082359060.
o 3082359060
ERROR: Solution verification fails, real_empty = -1212608237, NB_EMPTY = 3082359059.
o 3082359059
ERROR: Solution verification fails, real_empty = -1227634826, NB_EMPTY = 3067332470.
o 3067332470
ERROR: Solution verification fails, real_empty = -1242661415, NB_EMPTY = 3052305881.
o 3052305881
ERROR: Solution verification fails, real_empty = -1257688004, NB_EMPTY = 3037279292.
o 3037279292
ERROR: Solution verification fails, real_empty = -1257688005, NB_EMPTY = 3037279291.
o 3037279291
ERROR: Solution verification fails, real_empty = -1272714594, NB_EMPTY = 3022252702.
o 3022252702
ERROR: Solution verification fails, real_empty = -1287741183, NB_EMPTY = 3007226113.
o 3007226113
ERROR: Solution verification fails, real_empty = -1302767772, NB_EMPTY = 2992199524.
o 2992199524
ERROR: Solution verification fails, real_empty = -1317794361, NB_EMPTY = 2977172935.
o 2977172935
ERROR: Solution verification fails, real_empty = -1332820950, NB_EMPTY = 2962146346.
o 2962146346
ERROR: Solution verification fails, real_empty = -1347847539, NB_EMPTY = 2947119757.
o 2947119757
ERROR: Solution verification fails, real_empty = -1362874128, NB_EMPTY = 2932093168.
o 2932093168
ERROR: Solution verification fails, real_empty = -1377900717, NB_EMPTY = 2917066579.
o 2917066579
ERROR: Solution verification fails, real_empty = -1392927306, NB_EMPTY = 2902039990.
o 2902039990
ERROR: Solution verification fails, real_empty = -1407953895, NB_EMPTY = 2887013401.
o 2887013401
ERROR: Solution verification fails, real_empty = -1422980484, NB_EMPTY = 2871986812.
o 2871986812
ERROR: Solution verification fails, real_empty = -1438007073, NB_EMPTY = 2856960223.
o 2856960223
ERROR: Solution verification fails, real_empty = -1453033662, NB_EMPTY = 2841933634.
o 2841933634
ERROR: Solution verification fails, real_empty = -1468060251, NB_EMPTY = 2826907045.
o 2826907045
ERROR: Solution verification fails, real_empty = -1483086840, NB_EMPTY = 2811880456.
o 2811880456
ERROR: Solution verification fails, real_empty = -1498113429, NB_EMPTY = 2796853867.
o 2796853867
ERROR: Solution verification fails, real_empty = -1513140018, NB_EMPTY = 2781827278.
o 2781827278
ERROR: Solution verification fails, real_empty = -1528166607, NB_EMPTY = 2766800689.
o 2766800689
ERROR: Solution verification fails, real_empty = -1543193196, NB_EMPTY = 2751774100.
o 2751774100
ERROR: Solution verification fails, real_empty = -1558219785, NB_EMPTY = 2736747511.
o 2736747511
ERROR: Solution verification fails, real_empty = -1573246374, NB_EMPTY = 2721720922.
o 2721720922
ERROR: Solution verification fails, real_empty = -1588272963, NB_EMPTY = 2706694333.
o 2706694333
ERROR: Solution verification fails, real_empty = -1603299552, NB_EMPTY = 2691667744.
o 2691667744
ERROR: Solution verification fails, real_empty = -1618326141, NB_EMPTY = 2676641155.
o 2676641155
ERROR: Solution verification fails, real_empty = -1633352730, NB_EMPTY = 2661614566.
o 2661614566
ERROR: Solution verification fails, real_empty = -1648379319, NB_EMPTY = 2646587977.
o 2646587977
ERROR: Solution verification fails, real_empty = -1663405908, NB_EMPTY = 2631561388.
o 2631561388
ERROR: Solution verification fails, real_empty = -1678432497, NB_EMPTY = 2616534799.
o 2616534799
ERROR: Solution verification fails, real_empty = -1693459086, NB_EMPTY = 2601508210.
o 2601508210
ERROR: Solution verification fails, real_empty = -1708485675, NB_EMPTY = 2586481621.
o 2586481621
ERROR: Solution verification fails, real_empty = -1723512264, NB_EMPTY = 2571455032.
o 2571455032
ERROR: Solution verification fails, real_empty = -1738538853, NB_EMPTY = 2556428443.
o 2556428443
ERROR: Solution verification fails, real_empty = -1753565442, NB_EMPTY = 2541401854.
o 2541401854
ERROR: Solution verification fails, real_empty = -1768592031, NB_EMPTY = 2526375265.
o 2526375265
ERROR: Solution verification fails, real_empty = -1783618620, NB_EMPTY = 2511348676.
o 2511348676
ERROR: Solution verification fails, real_empty = -1798645209, NB_EMPTY = 2496322087.
o 2496322087Killed
1979.596u 0.105s 33:08.46 99.5%	0+0k 0+0io 0pf+0w