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-20.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i1000d0u98-20.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 = -626534918, NB_EMPTY = 3668432378.
o 3668432378
ERROR: Solution verification fails, real_empty = -641561507, NB_EMPTY = 3653405789.
o 3653405789
ERROR: Solution verification fails, real_empty = -656588097, NB_EMPTY = 3638379199.
o 3638379199
ERROR: Solution verification fails, real_empty = -671614686, NB_EMPTY = 3623352610.
o 3623352610
ERROR: Solution verification fails, real_empty = -686641275, NB_EMPTY = 3608326021.
o 3608326021
ERROR: Solution verification fails, real_empty = -686641276, NB_EMPTY = 3608326020.
o 3608326020
ERROR: Solution verification fails, real_empty = -701667865, NB_EMPTY = 3593299431.
o 3593299431
ERROR: Solution verification fails, real_empty = -716694454, NB_EMPTY = 3578272842.
o 3578272842
ERROR: Solution verification fails, real_empty = -731721043, NB_EMPTY = 3563246253.
o 3563246253
ERROR: Solution verification fails, real_empty = -746747632, NB_EMPTY = 3548219664.
o 3548219664
ERROR: Solution verification fails, real_empty = -761774221, NB_EMPTY = 3533193075.
o 3533193075
ERROR: Solution verification fails, real_empty = -776800810, NB_EMPTY = 3518166486.
o 3518166486
ERROR: Solution verification fails, real_empty = -791827399, NB_EMPTY = 3503139897.
o 3503139897
ERROR: Solution verification fails, real_empty = -806853988, NB_EMPTY = 3488113308.
o 3488113308
ERROR: Solution verification fails, real_empty = -821880577, NB_EMPTY = 3473086719.
o 3473086719
ERROR: Solution verification fails, real_empty = -836907166, NB_EMPTY = 3458060130.
o 3458060130
ERROR: Solution verification fails, real_empty = -851933755, NB_EMPTY = 3443033541.
o 3443033541
ERROR: Solution verification fails, real_empty = -866960344, NB_EMPTY = 3428006952.
o 3428006952
ERROR: Solution verification fails, real_empty = -881986933, NB_EMPTY = 3412980363.
o 3412980363
ERROR: Solution verification fails, real_empty = -897013522, NB_EMPTY = 3397953774.
o 3397953774
ERROR: Solution verification fails, real_empty = -912040111, NB_EMPTY = 3382927185.
o 3382927185
ERROR: Solution verification fails, real_empty = -927066700, NB_EMPTY = 3367900596.
o 3367900596
ERROR: Solution verification fails, real_empty = -942093289, NB_EMPTY = 3352874007.
o 3352874007
ERROR: Solution verification fails, real_empty = -957119878, NB_EMPTY = 3337847418.
o 3337847418
ERROR: Solution verification fails, real_empty = -972146467, NB_EMPTY = 3322820829.
o 3322820829
ERROR: Solution verification fails, real_empty = -987173056, NB_EMPTY = 3307794240.
o 3307794240
ERROR: Solution verification fails, real_empty = -1002199645, NB_EMPTY = 3292767651.
o 3292767651
ERROR: Solution verification fails, real_empty = -1017226234, NB_EMPTY = 3277741062.
o 3277741062
ERROR: Solution verification fails, real_empty = -1032252823, NB_EMPTY = 3262714473.
o 3262714473
ERROR: Solution verification fails, real_empty = -1047279412, NB_EMPTY = 3247687884.
o 3247687884
ERROR: Solution verification fails, real_empty = -1062306001, NB_EMPTY = 3232661295.
o 3232661295
ERROR: Solution verification fails, real_empty = -1077332590, NB_EMPTY = 3217634706.
o 3217634706
ERROR: Solution verification fails, real_empty = -1077332591, NB_EMPTY = 3217634705.
o 3217634705
ERROR: Solution verification fails, real_empty = -1092359180, NB_EMPTY = 3202608116.
o 3202608116
ERROR: Solution verification fails, real_empty = -1107385769, NB_EMPTY = 3187581527.
o 3187581527
ERROR: Solution verification fails, real_empty = -1122412358, NB_EMPTY = 3172554938.
o 3172554938
ERROR: Solution verification fails, real_empty = -1137438947, NB_EMPTY = 3157528349.
o 3157528349
ERROR: Solution verification fails, real_empty = -1152465536, NB_EMPTY = 3142501760.
o 3142501760
ERROR: Solution verification fails, real_empty = -1167492125, NB_EMPTY = 3127475171.
o 3127475171
ERROR: Solution verification fails, real_empty = -1182518714, NB_EMPTY = 3112448582.
o 3112448582
ERROR: Solution verification fails, real_empty = -1197545303, NB_EMPTY = 3097421993.
o 3097421993
ERROR: Solution verification fails, real_empty = -1212571892, NB_EMPTY = 3082395404.
o 3082395404
ERROR: Solution verification fails, real_empty = -1212571893, NB_EMPTY = 3082395403.
o 3082395403
ERROR: Solution verification fails, real_empty = -1227598482, NB_EMPTY = 3067368814.
o 3067368814
ERROR: Solution verification fails, real_empty = -1242625071, NB_EMPTY = 3052342225.
o 3052342225
ERROR: Solution verification fails, real_empty = -1257651660, NB_EMPTY = 3037315636.
o 3037315636
ERROR: Solution verification fails, real_empty = -1272678249, NB_EMPTY = 3022289047.
o 3022289047
ERROR: Solution verification fails, real_empty = -1272678250, NB_EMPTY = 3022289046.
o 3022289046
ERROR: Solution verification fails, real_empty = -1287704839, NB_EMPTY = 3007262457.
o 3007262457
ERROR: Solution verification fails, real_empty = -1302731428, NB_EMPTY = 2992235868.
o 2992235868
ERROR: Solution verification fails, real_empty = -1317758017, NB_EMPTY = 2977209279.
o 2977209279
ERROR: Solution verification fails, real_empty = -1332784606, NB_EMPTY = 2962182690.
o 2962182690
ERROR: Solution verification fails, real_empty = -1347811195, NB_EMPTY = 2947156101.
o 2947156101
ERROR: Solution verification fails, real_empty = -1362837784, NB_EMPTY = 2932129512.
o 2932129512
ERROR: Solution verification fails, real_empty = -1377864373, NB_EMPTY = 2917102923.
o 2917102923
ERROR: Solution verification fails, real_empty = -1392890962, NB_EMPTY = 2902076334.
o 2902076334
ERROR: Solution verification fails, real_empty = -1407917551, NB_EMPTY = 2887049745.
o 2887049745
ERROR: Solution verification fails, real_empty = -1422944140, NB_EMPTY = 2872023156.
o 2872023156
ERROR: Solution verification fails, real_empty = -1437970729, NB_EMPTY = 2856996567.
o 2856996567
ERROR: Solution verification fails, real_empty = -1452997318, NB_EMPTY = 2841969978.
o 2841969978
ERROR: Solution verification fails, real_empty = -1468023907, NB_EMPTY = 2826943389.
o 2826943389
ERROR: Solution verification fails, real_empty = -1483050496, NB_EMPTY = 2811916800.
o 2811916800
ERROR: Solution verification fails, real_empty = -1498077085, NB_EMPTY = 2796890211.
o 2796890211
ERROR: Solution verification fails, real_empty = -1513103674, NB_EMPTY = 2781863622.
o 2781863622
ERROR: Solution verification fails, real_empty = -1528130263, NB_EMPTY = 2766837033.
o 2766837033
ERROR: Solution verification fails, real_empty = -1543156852, NB_EMPTY = 2751810444.
o 2751810444
ERROR: Solution verification fails, real_empty = -1558183441, NB_EMPTY = 2736783855.
o 2736783855
ERROR: Solution verification fails, real_empty = -1573210030, NB_EMPTY = 2721757266.
o 2721757266
ERROR: Solution verification fails, real_empty = -1588236619, NB_EMPTY = 2706730677.
o 2706730677
ERROR: Solution verification fails, real_empty = -1603263208, NB_EMPTY = 2691704088.
o 2691704088
ERROR: Solution verification fails, real_empty = -1618289797, NB_EMPTY = 2676677499.
o 2676677499
ERROR: Solution verification fails, real_empty = -1633316386, NB_EMPTY = 2661650910.
o 2661650910
ERROR: Solution verification fails, real_empty = -1648342975, NB_EMPTY = 2646624321.
o 2646624321
ERROR: Solution verification fails, real_empty = -1663369564, NB_EMPTY = 2631597732.
o 2631597732
ERROR: Solution verification fails, real_empty = -1678396153, NB_EMPTY = 2616571143.
o 2616571143
ERROR: Solution verification fails, real_empty = -1693422742, NB_EMPTY = 2601544554.
o 2601544554
ERROR: Solution verification fails, real_empty = -1708449331, NB_EMPTY = 2586517965.
o 2586517965
ERROR: Solution verification fails, real_empty = -1723475920, NB_EMPTY = 2571491376.
o 2571491376
ERROR: Solution verification fails, real_empty = -1738502509, NB_EMPTY = 2556464787.
o 2556464787
ERROR: Solution verification fails, real_empty = -1753529098, NB_EMPTY = 2541438198.
o 2541438198
ERROR: Solution verification fails, real_empty = -1768555687, NB_EMPTY = 2526411609.
o 2526411609
ERROR: Solution verification fails, real_empty = -1783582276, NB_EMPTY = 2511385020.
o 2511385020Killed
1979.595u 0.107s 33:03.79 99.7%	0+0k 0+0io 0pf+0w