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-i2000d0u98-46.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i2000d0u98-46.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 18169 112632 31540812410
WARNING: Ubcsat not found.
o 31540812410
ERROR: Solution verification fails, real_empty = 1191682471, NB_EMPTY = 5486649767.
o 5486649767
ERROR: Solution verification fails, real_empty = 1176655882, NB_EMPTY = 5471623178.
o 5471623178
ERROR: Solution verification fails, real_empty = 1161629293, NB_EMPTY = 5456596589.
o 5456596589
ERROR: Solution verification fails, real_empty = 1146602704, NB_EMPTY = 5441570000.
o 5441570000
ERROR: Solution verification fails, real_empty = 1131576115, NB_EMPTY = 5426543411.
o 5426543411
ERROR: Solution verification fails, real_empty = 1116549526, NB_EMPTY = 5411516822.
o 5411516822
ERROR: Solution verification fails, real_empty = 1101522937, NB_EMPTY = 5396490233.
o 5396490233
ERROR: Solution verification fails, real_empty = 1086496348, NB_EMPTY = 5381463644.
o 5381463644
ERROR: Solution verification fails, real_empty = 1071469759, NB_EMPTY = 5366437055.
o 5366437055
ERROR: Solution verification fails, real_empty = 1056443170, NB_EMPTY = 5351410466.
o 5351410466
ERROR: Solution verification fails, real_empty = 1041416581, NB_EMPTY = 5336383877.
o 5336383877
ERROR: Solution verification fails, real_empty = 1026389992, NB_EMPTY = 5321357288.
o 5321357288
ERROR: Solution verification fails, real_empty = 1011363403, NB_EMPTY = 5306330699.
o 5306330699
ERROR: Solution verification fails, real_empty = 1011363402, NB_EMPTY = 5306330698.
o 5306330698
ERROR: Solution verification fails, real_empty = 996336813, NB_EMPTY = 5291304109.
o 5291304109
ERROR: Solution verification fails, real_empty = 996336812, NB_EMPTY = 5291304108.
o 5291304108
ERROR: Solution verification fails, real_empty = 981310223, NB_EMPTY = 5276277519.
o 5276277519
ERROR: Solution verification fails, real_empty = 966283634, NB_EMPTY = 5261250930.
o 5261250930
ERROR: Solution verification fails, real_empty = 951257045, NB_EMPTY = 5246224341.
o 5246224341
ERROR: Solution verification fails, real_empty = 936230456, NB_EMPTY = 5231197752.
o 5231197752
ERROR: Solution verification fails, real_empty = 921203867, NB_EMPTY = 5216171163.
o 5216171163
ERROR: Solution verification fails, real_empty = 906177278, NB_EMPTY = 5201144574.
o 5201144574
ERROR: Solution verification fails, real_empty = 891150689, NB_EMPTY = 5186117985.
o 5186117985
ERROR: Solution verification fails, real_empty = 876124100, NB_EMPTY = 5171091396.
o 5171091396
ERROR: Solution verification fails, real_empty = 861097511, NB_EMPTY = 5156064807.
o 5156064807
ERROR: Solution verification fails, real_empty = 846070922, NB_EMPTY = 5141038218.
o 5141038218
ERROR: Solution verification fails, real_empty = 846070921, NB_EMPTY = 5141038217.
o 5141038217
ERROR: Solution verification fails, real_empty = 831044332, NB_EMPTY = 5126011628.
o 5126011628
ERROR: Solution verification fails, real_empty = 816017743, NB_EMPTY = 5110985039.
o 5110985039
ERROR: Solution verification fails, real_empty = 800991154, NB_EMPTY = 5095958450.
o 5095958450
ERROR: Solution verification fails, real_empty = 785964565, NB_EMPTY = 5080931861.
o 5080931861
ERROR: Solution verification fails, real_empty = 770937976, NB_EMPTY = 5065905272.
o 5065905272
ERROR: Solution verification fails, real_empty = 755911387, NB_EMPTY = 5050878683.
o 5050878683
ERROR: Solution verification fails, real_empty = 740884798, NB_EMPTY = 5035852094.
o 5035852094
ERROR: Solution verification fails, real_empty = 725858209, NB_EMPTY = 5020825505.
o 5020825505
ERROR: Solution verification fails, real_empty = 710831620, NB_EMPTY = 5005798916.
o 5005798916
ERROR: Solution verification fails, real_empty = 695805031, NB_EMPTY = 4990772327.
o 4990772327
ERROR: Solution verification fails, real_empty = 680778442, NB_EMPTY = 4975745738.
o 4975745738
ERROR: Solution verification fails, real_empty = 665751853, NB_EMPTY = 4960719149.
o 4960719149
ERROR: Solution verification fails, real_empty = 650725264, NB_EMPTY = 4945692560.
o 4945692560
ERROR: Solution verification fails, real_empty = 635698675, NB_EMPTY = 4930665971.
o 4930665971
ERROR: Solution verification fails, real_empty = 620672086, NB_EMPTY = 4915639382.
o 4915639382
ERROR: Solution verification fails, real_empty = 605645497, NB_EMPTY = 4900612793.
o 4900612793
ERROR: Solution verification fails, real_empty = 590618908, NB_EMPTY = 4885586204.
o 4885586204
ERROR: Solution verification fails, real_empty = 575592319, NB_EMPTY = 4870559615.
o 4870559615
ERROR: Solution verification fails, real_empty = 560565730, NB_EMPTY = 4855533026.
o 4855533026
ERROR: Solution verification fails, real_empty = 545539141, NB_EMPTY = 4840506437.
o 4840506437
ERROR: Solution verification fails, real_empty = 530512552, NB_EMPTY = 4825479848.
o 4825479848
ERROR: Solution verification fails, real_empty = 515485963, NB_EMPTY = 4810453259.
o 4810453259
ERROR: Solution verification fails, real_empty = 500459374, NB_EMPTY = 4795426670.
o 4795426670
ERROR: Solution verification fails, real_empty = 485432785, NB_EMPTY = 4780400081.
o 4780400081
ERROR: Solution verification fails, real_empty = 470406196, NB_EMPTY = 4765373492.
o 4765373492
ERROR: Solution verification fails, real_empty = 455379607, NB_EMPTY = 4750346903.
o 4750346903
ERROR: Solution verification fails, real_empty = 440353018, NB_EMPTY = 4735320314.
o 4735320314
ERROR: Solution verification fails, real_empty = 425326429, NB_EMPTY = 4720293725.
o 4720293725
ERROR: Solution verification fails, real_empty = 410299840, NB_EMPTY = 4705267136.
o 4705267136
ERROR: Solution verification fails, real_empty = 395273251, NB_EMPTY = 4690240547.
o 4690240547
ERROR: Solution verification fails, real_empty = 380246662, NB_EMPTY = 4675213958.
o 4675213958
ERROR: Solution verification fails, real_empty = 365220073, NB_EMPTY = 4660187369.
o 4660187369
ERROR: Solution verification fails, real_empty = 350193484, NB_EMPTY = 4645160780.
o 4645160780
ERROR: Solution verification fails, real_empty = 335166895, NB_EMPTY = 4630134191.
o 4630134191
ERROR: Solution verification fails, real_empty = 320140306, NB_EMPTY = 4615107602.
o 4615107602
ERROR: Solution verification fails, real_empty = 305113717, NB_EMPTY = 4600081013.
o 4600081013
ERROR: Solution verification fails, real_empty = 305113716, NB_EMPTY = 4600081012.
o 4600081012
ERROR: Solution verification fails, real_empty = 290087127, NB_EMPTY = 4585054423.
o 4585054423
ERROR: Solution verification fails, real_empty = 275060538, NB_EMPTY = 4570027834.
o 4570027834
ERROR: Solution verification fails, real_empty = 275060537, NB_EMPTY = 4570027833.
o 4570027833
ERROR: Solution verification fails, real_empty = 260033948, NB_EMPTY = 4555001244.
o 4555001244
ERROR: Solution verification fails, real_empty = 245007359, NB_EMPTY = 4539974655.
o 4539974655
ERROR: Solution verification fails, real_empty = 229980770, NB_EMPTY = 4524948066.
o 4524948066
ERROR: Solution verification fails, real_empty = 214954181, NB_EMPTY = 4509921477.
o 4509921477
ERROR: Solution verification fails, real_empty = 199927592, NB_EMPTY = 4494894888.
o 4494894888
ERROR: Solution verification fails, real_empty = 184901003, NB_EMPTY = 4479868299.
o 4479868299
ERROR: Solution verification fails, real_empty = 169874414, NB_EMPTY = 4464841710.
o 4464841710
ERROR: Solution verification fails, real_empty = 154847825, NB_EMPTY = 4449815121.
o 4449815121
ERROR: Solution verification fails, real_empty = 139821236, NB_EMPTY = 4434788532.
o 4434788532
ERROR: Solution verification fails, real_empty = 124794647, NB_EMPTY = 4419761943.
o 4419761943
ERROR: Solution verification fails, real_empty = 109768058, NB_EMPTY = 4404735354.
o 4404735354
ERROR: Solution verification fails, real_empty = 94741469, NB_EMPTY = 4389708765.
o 4389708765
ERROR: Solution verification fails, real_empty = 79714880, NB_EMPTY = 4374682176.
o 4374682176
ERROR: Solution verification fails, real_empty = 64688291, NB_EMPTY = 4359655587.
o 4359655587
ERROR: Solution verification fails, real_empty = 49661702, NB_EMPTY = 4344628998.
o 4344628998
ERROR: Solution verification fails, real_empty = 34635113, NB_EMPTY = 4329602409.
o 4329602409
ERROR: Solution verification faiKilled
1979.590u 0.111s 33:11.12 99.4%	0+0k 0+0io 0pf+0w