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-0.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i1000d0u98-0.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 = -461333282, NB_EMPTY = 3833634014.
o 3833634014
ERROR: Solution verification fails, real_empty = -476359871, NB_EMPTY = 3818607425.
o 3818607425
ERROR: Solution verification fails, real_empty = -491386460, NB_EMPTY = 3803580836.
o 3803580836
ERROR: Solution verification fails, real_empty = -506413049, NB_EMPTY = 3788554247.
o 3788554247
ERROR: Solution verification fails, real_empty = -521439638, NB_EMPTY = 3773527658.
o 3773527658
ERROR: Solution verification fails, real_empty = -536466227, NB_EMPTY = 3758501069.
o 3758501069
ERROR: Solution verification fails, real_empty = -551492816, NB_EMPTY = 3743474480.
o 3743474480
ERROR: Solution verification fails, real_empty = -566519405, NB_EMPTY = 3728447891.
o 3728447891
ERROR: Solution verification fails, real_empty = -566519406, NB_EMPTY = 3728447890.
o 3728447890
ERROR: Solution verification fails, real_empty = -581545995, NB_EMPTY = 3713421301.
o 3713421301
ERROR: Solution verification fails, real_empty = -596572584, NB_EMPTY = 3698394712.
o 3698394712
ERROR: Solution verification fails, real_empty = -611599173, NB_EMPTY = 3683368123.
o 3683368123
ERROR: Solution verification fails, real_empty = -626625762, NB_EMPTY = 3668341534.
o 3668341534
ERROR: Solution verification fails, real_empty = -641652351, NB_EMPTY = 3653314945.
o 3653314945
ERROR: Solution verification fails, real_empty = -656678940, NB_EMPTY = 3638288356.
o 3638288356
ERROR: Solution verification fails, real_empty = -656678941, NB_EMPTY = 3638288355.
o 3638288355
ERROR: Solution verification fails, real_empty = -671705530, NB_EMPTY = 3623261766.
o 3623261766
ERROR: Solution verification fails, real_empty = -686732119, NB_EMPTY = 3608235177.
o 3608235177
ERROR: Solution verification fails, real_empty = -686732120, NB_EMPTY = 3608235176.
o 3608235176
ERROR: Solution verification fails, real_empty = -701758709, NB_EMPTY = 3593208587.
o 3593208587
ERROR: Solution verification fails, real_empty = -716785298, NB_EMPTY = 3578181998.
o 3578181998
ERROR: Solution verification fails, real_empty = -731811887, NB_EMPTY = 3563155409.
o 3563155409
ERROR: Solution verification fails, real_empty = -746838476, NB_EMPTY = 3548128820.
o 3548128820
ERROR: Solution verification fails, real_empty = -761865065, NB_EMPTY = 3533102231.
o 3533102231
ERROR: Solution verification fails, real_empty = -776891654, NB_EMPTY = 3518075642.
o 3518075642
ERROR: Solution verification fails, real_empty = -791918243, NB_EMPTY = 3503049053.
o 3503049053
ERROR: Solution verification fails, real_empty = -806944832, NB_EMPTY = 3488022464.
o 3488022464
ERROR: Solution verification fails, real_empty = -821971421, NB_EMPTY = 3472995875.
o 3472995875
ERROR: Solution verification fails, real_empty = -836998010, NB_EMPTY = 3457969286.
o 3457969286
ERROR: Solution verification fails, real_empty = -852024599, NB_EMPTY = 3442942697.
o 3442942697
ERROR: Solution verification fails, real_empty = -867051188, NB_EMPTY = 3427916108.
o 3427916108
ERROR: Solution verification fails, real_empty = -882077777, NB_EMPTY = 3412889519.
o 3412889519
ERROR: Solution verification fails, real_empty = -897104366, NB_EMPTY = 3397862930.
o 3397862930
ERROR: Solution verification fails, real_empty = -912130955, NB_EMPTY = 3382836341.
o 3382836341
ERROR: Solution verification fails, real_empty = -927157544, NB_EMPTY = 3367809752.
o 3367809752
ERROR: Solution verification fails, real_empty = -927157545, NB_EMPTY = 3367809751.
o 3367809751
ERROR: Solution verification fails, real_empty = -942184134, NB_EMPTY = 3352783162.
o 3352783162
ERROR: Solution verification fails, real_empty = -957210723, NB_EMPTY = 3337756573.
o 3337756573
ERROR: Solution verification fails, real_empty = -972237312, NB_EMPTY = 3322729984.
o 3322729984
ERROR: Solution verification fails, real_empty = -987263901, NB_EMPTY = 3307703395.
o 3307703395
ERROR: Solution verification fails, real_empty = -1002290490, NB_EMPTY = 3292676806.
o 3292676806
ERROR: Solution verification fails, real_empty = -1017317079, NB_EMPTY = 3277650217.
o 3277650217
ERROR: Solution verification fails, real_empty = -1032343668, NB_EMPTY = 3262623628.
o 3262623628
ERROR: Solution verification fails, real_empty = -1047370257, NB_EMPTY = 3247597039.
o 3247597039
ERROR: Solution verification fails, real_empty = -1062396846, NB_EMPTY = 3232570450.
o 3232570450
ERROR: Solution verification fails, real_empty = -1077423435, NB_EMPTY = 3217543861.
o 3217543861
ERROR: Solution verification fails, real_empty = -1092450024, NB_EMPTY = 3202517272.
o 3202517272
ERROR: Solution verification fails, real_empty = -1107476613, NB_EMPTY = 3187490683.
o 3187490683
ERROR: Solution verification fails, real_empty = -1122503202, NB_EMPTY = 3172464094.
o 3172464094
ERROR: Solution verification fails, real_empty = -1137529791, NB_EMPTY = 3157437505.
o 3157437505
ERROR: Solution verification fails, real_empty = -1152556380, NB_EMPTY = 3142410916.
o 3142410916
ERROR: Solution verification fails, real_empty = -1167582969, NB_EMPTY = 3127384327.
o 3127384327
ERROR: Solution verification fails, real_empty = -1182609558, NB_EMPTY = 3112357738.
o 3112357738
ERROR: Solution verification fails, real_empty = -1197636147, NB_EMPTY = 3097331149.
o 3097331149
ERROR: Solution verification fails, real_empty = -1212662736, NB_EMPTY = 3082304560.
o 3082304560
ERROR: Solution verification fails, real_empty = -1212662737, NB_EMPTY = 3082304559.
o 3082304559
ERROR: Solution verification fails, real_empty = -1227689326, NB_EMPTY = 3067277970.
o 3067277970
ERROR: Solution verification fails, real_empty = -1242715915, NB_EMPTY = 3052251381.
o 3052251381
ERROR: Solution verification fails, real_empty = -1257742504, NB_EMPTY = 3037224792.
o 3037224792
ERROR: Solution verification fails, real_empty = -1272769093, NB_EMPTY = 3022198203.
o 3022198203
ERROR: Solution verification fails, real_empty = -1287795682, NB_EMPTY = 3007171614.
o 3007171614
ERROR: Solution verification fails, real_empty = -1302822271, NB_EMPTY = 2992145025.
o 2992145025
ERROR: Solution verification fails, real_empty = -1302822272, NB_EMPTY = 2992145024.
o 2992145024
ERROR: Solution verification fails, real_empty = -1317848861, NB_EMPTY = 2977118435.
o 2977118435
ERROR: Solution verification fails, real_empty = -1332875450, NB_EMPTY = 2962091846.
o 2962091846
ERROR: Solution verification fails, real_empty = -1347902039, NB_EMPTY = 2947065257.
o 2947065257
ERROR: Solution verification fails, real_empty = -1362928628, NB_EMPTY = 2932038668.
o 2932038668
ERROR: Solution verification fails, real_empty = -1377955217, NB_EMPTY = 2917012079.
o 2917012079
ERROR: Solution verification fails, real_empty = -1392981806, NB_EMPTY = 2901985490.
o 2901985490
ERROR: Solution verification fails, real_empty = -1408008395, NB_EMPTY = 2886958901.
o 2886958901
ERROR: Solution verification fails, real_empty = -1408008396, NB_EMPTY = 2886958900.
o 2886958900
ERROR: Solution verification fails, real_empty = -1423034985, NB_EMPTY = 2871932311.
o 2871932311
ERROR: Solution verification fails, real_empty = -1438061574, NB_EMPTY = 2856905722.
o 2856905722
ERROR: Solution verification fails, real_empty = -1453088163, NB_EMPTY = 2841879133.
o 2841879133
ERROR: Solution verification fails, real_empty = -1468114752, NB_EMPTY = 2826852544.
o 2826852544
ERROR: Solution verification fails, real_empty = -1483141341, NB_EMPTY = 2811825955.
o 2811825955
ERROR: Solution verification fails, real_empty = -1498167930, NB_EMPTY = 2796799366.
o 2796799366
ERROR: Solution verification fails, real_empty = -1513194519, NB_EMPTY = 2781772777.
o 2781772777
ERROR: Solution verification fails, real_empty = -1528221108, NB_EMPTY = 2766746188.
o 2766746188
ERROR: Solution verification fails, real_empty = -1543247697, NB_EMPTY = 2751719599.
o 2751719599
ERROR: Solution verification fails, real_empty = -1558274286, NB_EMPTY = 2736693010.
o 2736693010
ERROR: Solution verification fails, real_empty = -1573300875, NB_EMPTY = 2721666421.
o 2721666421
ERROR: SolutiKilled
1979.655u 0.047s 32:59.61 100.0%	0+0k 0+0io 0pf+0w