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-18.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i1000d0u98-18.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 = -581400650, NB_EMPTY = 3713566646.
o 3713566646
ERROR: Solution verification fails, real_empty = -596427239, NB_EMPTY = 3698540057.
o 3698540057
ERROR: Solution verification fails, real_empty = -611453828, NB_EMPTY = 3683513468.
o 3683513468
ERROR: Solution verification fails, real_empty = -626480417, NB_EMPTY = 3668486879.
o 3668486879
ERROR: Solution verification fails, real_empty = -641507006, NB_EMPTY = 3653460290.
o 3653460290
ERROR: Solution verification fails, real_empty = -656533595, NB_EMPTY = 3638433701.
o 3638433701
ERROR: Solution verification fails, real_empty = -671560184, NB_EMPTY = 3623407112.
o 3623407112
ERROR: Solution verification fails, real_empty = -686586773, NB_EMPTY = 3608380523.
o 3608380523
ERROR: Solution verification fails, real_empty = -701613362, NB_EMPTY = 3593353934.
o 3593353934
ERROR: Solution verification fails, real_empty = -716639951, NB_EMPTY = 3578327345.
o 3578327345
ERROR: Solution verification fails, real_empty = -731666540, NB_EMPTY = 3563300756.
o 3563300756
ERROR: Solution verification fails, real_empty = -746693129, NB_EMPTY = 3548274167.
o 3548274167
ERROR: Solution verification fails, real_empty = -761719718, NB_EMPTY = 3533247578.
o 3533247578
ERROR: Solution verification fails, real_empty = -776746307, NB_EMPTY = 3518220989.
o 3518220989
ERROR: Solution verification fails, real_empty = -791772896, NB_EMPTY = 3503194400.
o 3503194400
ERROR: Solution verification fails, real_empty = -806799485, NB_EMPTY = 3488167811.
o 3488167811
ERROR: Solution verification fails, real_empty = -821826074, NB_EMPTY = 3473141222.
o 3473141222
ERROR: Solution verification fails, real_empty = -836852663, NB_EMPTY = 3458114633.
o 3458114633
ERROR: Solution verification fails, real_empty = -851879252, NB_EMPTY = 3443088044.
o 3443088044
ERROR: Solution verification fails, real_empty = -866905841, NB_EMPTY = 3428061455.
o 3428061455
ERROR: Solution verification fails, real_empty = -881932430, NB_EMPTY = 3413034866.
o 3413034866
ERROR: Solution verification fails, real_empty = -896959019, NB_EMPTY = 3398008277.
o 3398008277
ERROR: Solution verification fails, real_empty = -911985608, NB_EMPTY = 3382981688.
o 3382981688
ERROR: Solution verification fails, real_empty = -927012197, NB_EMPTY = 3367955099.
o 3367955099
ERROR: Solution verification fails, real_empty = -942038786, NB_EMPTY = 3352928510.
o 3352928510
ERROR: Solution verification fails, real_empty = -957065375, NB_EMPTY = 3337901921.
o 3337901921
ERROR: Solution verification fails, real_empty = -972091964, NB_EMPTY = 3322875332.
o 3322875332
ERROR: Solution verification fails, real_empty = -987118553, NB_EMPTY = 3307848743.
o 3307848743
ERROR: Solution verification fails, real_empty = -1002145142, NB_EMPTY = 3292822154.
o 3292822154
ERROR: Solution verification fails, real_empty = -1017171731, NB_EMPTY = 3277795565.
o 3277795565
ERROR: Solution verification fails, real_empty = -1032198320, NB_EMPTY = 3262768976.
o 3262768976
ERROR: Solution verification fails, real_empty = -1047224909, NB_EMPTY = 3247742387.
o 3247742387
ERROR: Solution verification fails, real_empty = -1062251498, NB_EMPTY = 3232715798.
o 3232715798
ERROR: Solution verification fails, real_empty = -1077278087, NB_EMPTY = 3217689209.
o 3217689209
ERROR: Solution verification fails, real_empty = -1092304676, NB_EMPTY = 3202662620.
o 3202662620
ERROR: Solution verification fails, real_empty = -1107331265, NB_EMPTY = 3187636031.
o 3187636031
ERROR: Solution verification fails, real_empty = -1122357854, NB_EMPTY = 3172609442.
o 3172609442
ERROR: Solution verification fails, real_empty = -1137384443, NB_EMPTY = 3157582853.
o 3157582853
ERROR: Solution verification fails, real_empty = -1137384444, NB_EMPTY = 3157582852.
o 3157582852
ERROR: Solution verification fails, real_empty = -1152411033, NB_EMPTY = 3142556263.
o 3142556263
ERROR: Solution verification fails, real_empty = -1167437622, NB_EMPTY = 3127529674.
o 3127529674
ERROR: Solution verification fails, real_empty = -1182464211, NB_EMPTY = 3112503085.
o 3112503085
ERROR: Solution verification fails, real_empty = -1197490800, NB_EMPTY = 3097476496.
o 3097476496
ERROR: Solution verification fails, real_empty = -1197490801, NB_EMPTY = 3097476495.
o 3097476495
ERROR: Solution verification fails, real_empty = -1212517390, NB_EMPTY = 3082449906.
o 3082449906
ERROR: Solution verification fails, real_empty = -1227543979, NB_EMPTY = 3067423317.
o 3067423317
ERROR: Solution verification fails, real_empty = -1242570568, NB_EMPTY = 3052396728.
o 3052396728
ERROR: Solution verification fails, real_empty = -1257597157, NB_EMPTY = 3037370139.
o 3037370139
ERROR: Solution verification fails, real_empty = -1272623746, NB_EMPTY = 3022343550.
o 3022343550
ERROR: Solution verification fails, real_empty = -1272623747, NB_EMPTY = 3022343549.
o 3022343549
ERROR: Solution verification fails, real_empty = -1287650336, NB_EMPTY = 3007316960.
o 3007316960
ERROR: Solution verification fails, real_empty = -1302676925, NB_EMPTY = 2992290371.
o 2992290371
ERROR: Solution verification fails, real_empty = -1317703514, NB_EMPTY = 2977263782.
o 2977263782
ERROR: Solution verification fails, real_empty = -1332730103, NB_EMPTY = 2962237193.
o 2962237193
ERROR: Solution verification fails, real_empty = -1332730104, NB_EMPTY = 2962237192.
o 2962237192
ERROR: Solution verification fails, real_empty = -1347756693, NB_EMPTY = 2947210603.
o 2947210603
ERROR: Solution verification fails, real_empty = -1347756694, NB_EMPTY = 2947210602.
o 2947210602
ERROR: Solution verification fails, real_empty = -1362783283, NB_EMPTY = 2932184013.
o 2932184013
ERROR: Solution verification fails, real_empty = -1362783284, NB_EMPTY = 2932184012.
o 2932184012
ERROR: Solution verification fails, real_empty = -1377809873, NB_EMPTY = 2917157423.
o 2917157423
ERROR: Solution verification fails, real_empty = -1392836462, NB_EMPTY = 2902130834.
o 2902130834
ERROR: Solution verification fails, real_empty = -1407863051, NB_EMPTY = 2887104245.
o 2887104245
ERROR: Solution verification fails, real_empty = -1407863052, NB_EMPTY = 2887104244.
o 2887104244
ERROR: Solution verification fails, real_empty = -1422889641, NB_EMPTY = 2872077655.
o 2872077655
ERROR: Solution verification fails, real_empty = -1437916230, NB_EMPTY = 2857051066.
o 2857051066
ERROR: Solution verification fails, real_empty = -1452942819, NB_EMPTY = 2842024477.
o 2842024477
ERROR: Solution verification fails, real_empty = -1467969408, NB_EMPTY = 2826997888.
o 2826997888
ERROR: Solution verification fails, real_empty = -1467969409, NB_EMPTY = 2826997887.
o 2826997887
ERROR: Solution verification fails, real_empty = -1482995998, NB_EMPTY = 2811971298.
o 2811971298
ERROR: Solution verification fails, real_empty = -1498022587, NB_EMPTY = 2796944709.
o 2796944709
ERROR: Solution verification fails, real_empty = -1513049176, NB_EMPTY = 2781918120.
o 2781918120
ERROR: Solution verification fails, real_empty = -1528075765, NB_EMPTY = 2766891531.
o 2766891531
ERROR: Solution verification fails, real_empty = -1543102354, NB_EMPTY = 2751864942.
o 2751864942
ERROR: Solution verification fails, real_empty = -1558128943, NB_EMPTY = 2736838353.
o 2736838353
ERROR: Solution verification fails, real_empty = -1573155532, NB_EMPTY = 2721811764.
o 2721811764
ERROR: Solution verification fails, real_empty = -1588182121, NB_EMPTY = 2706785175.
o 2706785175
ERROR: Solution verification fails, real_empty = -1603208710, NB_EMPTY = 2691758586.
o 2691758586
ERROR: Solution verification fails, real_empty = -1618235299, NB_EMPTY = 2676731997.
o 2676731997
ERROR: Solution verification fails, real_empty = -1633261888, NB_EMPTY = 2661705408.
o 2661705408
ERROR: Solution verification fails, real_empty = -1648288477, NB_EMPTY = 2646678819.
o 2646678819
ERROR: Solution verification fails, real_empty = -1663315066, NB_EMPTY = 2631652230.
o 2631652230
ERROR: Solution verification fails, real_empty = -1678341655, NB_EMPTY = 2616625641.
o 2616625641
EKilled
1979.557u 0.144s 33:11.55 99.4%	0+0k 0+0io 0pf+0w