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-29.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i2000d0u98-29.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 = 1296923082, NB_EMPTY = 5591890378.
o 5591890378
ERROR: Solution verification fails, real_empty = 1281896493, NB_EMPTY = 5576863789.
o 5576863789
ERROR: Solution verification fails, real_empty = 1266869904, NB_EMPTY = 5561837200.
o 5561837200
ERROR: Solution verification fails, real_empty = 1266869903, NB_EMPTY = 5561837199.
o 5561837199
ERROR: Solution verification fails, real_empty = 1251843314, NB_EMPTY = 5546810610.
o 5546810610
ERROR: Solution verification fails, real_empty = 1236816725, NB_EMPTY = 5531784021.
o 5531784021
ERROR: Solution verification fails, real_empty = 1221790136, NB_EMPTY = 5516757432.
o 5516757432
ERROR: Solution verification fails, real_empty = 1206763547, NB_EMPTY = 5501730843.
o 5501730843
ERROR: Solution verification fails, real_empty = 1191736958, NB_EMPTY = 5486704254.
o 5486704254
ERROR: Solution verification fails, real_empty = 1176710369, NB_EMPTY = 5471677665.
o 5471677665
ERROR: Solution verification fails, real_empty = 1161683780, NB_EMPTY = 5456651076.
o 5456651076
ERROR: Solution verification fails, real_empty = 1146657191, NB_EMPTY = 5441624487.
o 5441624487
ERROR: Solution verification fails, real_empty = 1131630602, NB_EMPTY = 5426597898.
o 5426597898
ERROR: Solution verification fails, real_empty = 1116604013, NB_EMPTY = 5411571309.
o 5411571309
ERROR: Solution verification fails, real_empty = 1101577424, NB_EMPTY = 5396544720.
o 5396544720
ERROR: Solution verification fails, real_empty = 1086550835, NB_EMPTY = 5381518131.
o 5381518131
ERROR: Solution verification fails, real_empty = 1071524246, NB_EMPTY = 5366491542.
o 5366491542
ERROR: Solution verification fails, real_empty = 1056497657, NB_EMPTY = 5351464953.
o 5351464953
ERROR: Solution verification fails, real_empty = 1041471068, NB_EMPTY = 5336438364.
o 5336438364
ERROR: Solution verification fails, real_empty = 1026444479, NB_EMPTY = 5321411775.
o 5321411775
ERROR: Solution verification fails, real_empty = 1011417890, NB_EMPTY = 5306385186.
o 5306385186
ERROR: Solution verification fails, real_empty = 996391301, NB_EMPTY = 5291358597.
o 5291358597
ERROR: Solution verification fails, real_empty = 981364712, NB_EMPTY = 5276332008.
o 5276332008
ERROR: Solution verification fails, real_empty = 966338123, NB_EMPTY = 5261305419.
o 5261305419
ERROR: Solution verification fails, real_empty = 951311534, NB_EMPTY = 5246278830.
o 5246278830
ERROR: Solution verification fails, real_empty = 936284945, NB_EMPTY = 5231252241.
o 5231252241
ERROR: Solution verification fails, real_empty = 921258356, NB_EMPTY = 5216225652.
o 5216225652
ERROR: Solution verification fails, real_empty = 906231767, NB_EMPTY = 5201199063.
o 5201199063
ERROR: Solution verification fails, real_empty = 891205178, NB_EMPTY = 5186172474.
o 5186172474
ERROR: Solution verification fails, real_empty = 876178589, NB_EMPTY = 5171145885.
o 5171145885
ERROR: Solution verification fails, real_empty = 861152000, NB_EMPTY = 5156119296.
o 5156119296
ERROR: Solution verification fails, real_empty = 846125411, NB_EMPTY = 5141092707.
o 5141092707
ERROR: Solution verification fails, real_empty = 831098822, NB_EMPTY = 5126066118.
o 5126066118
ERROR: Solution verification fails, real_empty = 831098821, NB_EMPTY = 5126066117.
o 5126066117
ERROR: Solution verification fails, real_empty = 816072232, NB_EMPTY = 5111039528.
o 5111039528
ERROR: Solution verification fails, real_empty = 801045643, NB_EMPTY = 5096012939.
o 5096012939
ERROR: Solution verification fails, real_empty = 786019054, NB_EMPTY = 5080986350.
o 5080986350
ERROR: Solution verification fails, real_empty = 770992465, NB_EMPTY = 5065959761.
o 5065959761
ERROR: Solution verification fails, real_empty = 755965876, NB_EMPTY = 5050933172.
o 5050933172
ERROR: Solution verification fails, real_empty = 740939287, NB_EMPTY = 5035906583.
o 5035906583
ERROR: Solution verification fails, real_empty = 725912698, NB_EMPTY = 5020879994.
o 5020879994
ERROR: Solution verification fails, real_empty = 710886109, NB_EMPTY = 5005853405.
o 5005853405
ERROR: Solution verification fails, real_empty = 710886108, NB_EMPTY = 5005853404.
o 5005853404
ERROR: Solution verification fails, real_empty = 695859519, NB_EMPTY = 4990826815.
o 4990826815
ERROR: Solution verification fails, real_empty = 695859518, NB_EMPTY = 4990826814.
o 4990826814
ERROR: Solution verification fails, real_empty = 680832929, NB_EMPTY = 4975800225.
o 4975800225
ERROR: Solution verification fails, real_empty = 680832928, NB_EMPTY = 4975800224.
o 4975800224
ERROR: Solution verification fails, real_empty = 665806339, NB_EMPTY = 4960773635.
o 4960773635
ERROR: Solution verification fails, real_empty = 650779750, NB_EMPTY = 4945747046.
o 4945747046
ERROR: Solution verification fails, real_empty = 635753161, NB_EMPTY = 4930720457.
o 4930720457
ERROR: Solution verification fails, real_empty = 620726572, NB_EMPTY = 4915693868.
o 4915693868
ERROR: Solution verification fails, real_empty = 605699983, NB_EMPTY = 4900667279.
o 4900667279
ERROR: Solution verification fails, real_empty = 590673394, NB_EMPTY = 4885640690.
o 4885640690
ERROR: Solution verification fails, real_empty = 575646805, NB_EMPTY = 4870614101.
o 4870614101
ERROR: Solution verification fails, real_empty = 560620216, NB_EMPTY = 4855587512.
o 4855587512
ERROR: Solution verification fails, real_empty = 545593627, NB_EMPTY = 4840560923.
o 4840560923
ERROR: Solution verification fails, real_empty = 530567038, NB_EMPTY = 4825534334.
o 4825534334
ERROR: Solution verification fails, real_empty = 515540449, NB_EMPTY = 4810507745.
o 4810507745
ERROR: Solution verification fails, real_empty = 500513860, NB_EMPTY = 4795481156.
o 4795481156
ERROR: Solution verification fails, real_empty = 485487271, NB_EMPTY = 4780454567.
o 4780454567
ERROR: Solution verification fails, real_empty = 470460682, NB_EMPTY = 4765427978.
o 4765427978
ERROR: Solution verification fails, real_empty = 455434093, NB_EMPTY = 4750401389.
o 4750401389
ERROR: Solution verification fails, real_empty = 440407504, NB_EMPTY = 4735374800.
o 4735374800
ERROR: Solution verification fails, real_empty = 425380915, NB_EMPTY = 4720348211.
o 4720348211
ERROR: Solution verification fails, real_empty = 425380914, NB_EMPTY = 4720348210.
o 4720348210
ERROR: Solution verification fails, real_empty = 410354325, NB_EMPTY = 4705321621.
o 4705321621
ERROR: Solution verification fails, real_empty = 395327736, NB_EMPTY = 4690295032.
o 4690295032
ERROR: Solution verification fails, real_empty = 380301147, NB_EMPTY = 4675268443.
o 4675268443
ERROR: Solution verification fails, real_empty = 380301146, NB_EMPTY = 4675268442.
o 4675268442
ERROR: Solution verification fails, real_empty = 365274557, NB_EMPTY = 4660241853.
o 4660241853
ERROR: Solution verification fails, real_empty = 350247968, NB_EMPTY = 4645215264.
o 4645215264
ERROR: Solution verification fails, real_empty = 335221379, NB_EMPTY = 4630188675.
o 4630188675
ERROR: Solution verification fails, real_empty = 320194790, NB_EMPTY = 4615162086.
o 4615162086
ERROR: Solution verification fails, real_empty = 305168201, NB_EMPTY = 4600135497.
o 4600135497
ERROR: Solution verification fails, real_empty = 290141612, NB_EMPTY = 4585108908.
o 4585108908
ERROR: Solution verification fails, real_empty = 275115023, NB_EMPTY = 4570082319.
o 4570082319
ERROR: Solution verification fails, real_empty = 260088434, NB_EMPTY = 4555055730.
o 4555055730
ERROR: Solution verification fails, real_empty = 245061845, NB_EMPTY = 4540029141.
o 4540029141
ERROR: Solution verification fails, real_empty = 230035256, NB_EMPTY = 4525002552.
o 4525002552
ERROR: Solution verification fails, real_empty = 215008667, NB_EMPTY = 4509975963.
o 4509975963
ERROR: Solution verification fails, real_empty = 199982078, NB_EMPTY = 4494949374.
o 4494949374
ERROR: Solution verification fails, real_empty = 184955489, NB_EMPTY = 4479922785.
o 4479922785
ERROR: Solution verification fails, real_empty = 169928900, NB_EMPTY = 4464896196.
o 4464896196
ERROR: Solution veriKilled
1979.660u 0.041s 33:01.90 99.8%	0+0k 0+0io 0pf+0w