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-30.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i2000d0u98-30.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 = 1176637709, NB_EMPTY = 5471605005.
o 5471605005
ERROR: Solution verification fails, real_empty = 1161611120, NB_EMPTY = 5456578416.
o 5456578416
ERROR: Solution verification fails, real_empty = 1146584531, NB_EMPTY = 5441551827.
o 5441551827
ERROR: Solution verification fails, real_empty = 1146584530, NB_EMPTY = 5441551826.
o 5441551826
ERROR: Solution verification fails, real_empty = 1131557941, NB_EMPTY = 5426525237.
o 5426525237
ERROR: Solution verification fails, real_empty = 1131557940, NB_EMPTY = 5426525236.
o 5426525236
ERROR: Solution verification fails, real_empty = 1116531351, NB_EMPTY = 5411498647.
o 5411498647
ERROR: Solution verification fails, real_empty = 1101504762, NB_EMPTY = 5396472058.
o 5396472058
ERROR: Solution verification fails, real_empty = 1086478173, NB_EMPTY = 5381445469.
o 5381445469
ERROR: Solution verification fails, real_empty = 1071451584, NB_EMPTY = 5366418880.
o 5366418880
ERROR: Solution verification fails, real_empty = 1056424995, NB_EMPTY = 5351392291.
o 5351392291
ERROR: Solution verification fails, real_empty = 1041398406, NB_EMPTY = 5336365702.
o 5336365702
ERROR: Solution verification fails, real_empty = 1026371817, NB_EMPTY = 5321339113.
o 5321339113
ERROR: Solution verification fails, real_empty = 1011345228, NB_EMPTY = 5306312524.
o 5306312524
ERROR: Solution verification fails, real_empty = 996318639, NB_EMPTY = 5291285935.
o 5291285935
ERROR: Solution verification fails, real_empty = 981292050, NB_EMPTY = 5276259346.
o 5276259346
ERROR: Solution verification fails, real_empty = 966265461, NB_EMPTY = 5261232757.
o 5261232757
ERROR: Solution verification fails, real_empty = 951238872, NB_EMPTY = 5246206168.
o 5246206168
ERROR: Solution verification fails, real_empty = 936212283, NB_EMPTY = 5231179579.
o 5231179579
ERROR: Solution verification fails, real_empty = 921185694, NB_EMPTY = 5216152990.
o 5216152990
ERROR: Solution verification fails, real_empty = 906159105, NB_EMPTY = 5201126401.
o 5201126401
ERROR: Solution verification fails, real_empty = 891132516, NB_EMPTY = 5186099812.
o 5186099812
ERROR: Solution verification fails, real_empty = 876124096, NB_EMPTY = 5171091392.
o 5171091392
ERROR: Solution verification fails, real_empty = 876105927, NB_EMPTY = 5171073223.
o 5171073223
ERROR: Solution verification fails, real_empty = 861097507, NB_EMPTY = 5156064803.
o 5156064803
ERROR: Solution verification fails, real_empty = 861079338, NB_EMPTY = 5156046634.
o 5156046634
ERROR: Solution verification fails, real_empty = 846070918, NB_EMPTY = 5141038214.
o 5141038214
ERROR: Solution verification fails, real_empty = 846052749, NB_EMPTY = 5141020045.
o 5141020045
ERROR: Solution verification fails, real_empty = 831044329, NB_EMPTY = 5126011625.
o 5126011625
ERROR: Solution verification fails, real_empty = 831026160, NB_EMPTY = 5125993456.
o 5125993456
ERROR: Solution verification fails, real_empty = 816017740, NB_EMPTY = 5110985036.
o 5110985036
ERROR: Solution verification fails, real_empty = 815999571, NB_EMPTY = 5110966867.
o 5110966867
ERROR: Solution verification fails, real_empty = 800991151, NB_EMPTY = 5095958447.
o 5095958447
ERROR: Solution verification fails, real_empty = 800972982, NB_EMPTY = 5095940278.
o 5095940278
ERROR: Solution verification fails, real_empty = 785964562, NB_EMPTY = 5080931858.
o 5080931858
ERROR: Solution verification fails, real_empty = 785946393, NB_EMPTY = 5080913689.
o 5080913689
ERROR: Solution verification fails, real_empty = 770937973, NB_EMPTY = 5065905269.
o 5065905269
ERROR: Solution verification fails, real_empty = 770919804, NB_EMPTY = 5065887100.
o 5065887100
ERROR: Solution verification fails, real_empty = 755911384, NB_EMPTY = 5050878680.
o 5050878680
ERROR: Solution verification fails, real_empty = 755893215, NB_EMPTY = 5050860511.
o 5050860511
ERROR: Solution verification fails, real_empty = 740884795, NB_EMPTY = 5035852091.
o 5035852091
ERROR: Solution verification fails, real_empty = 740866626, NB_EMPTY = 5035833922.
o 5035833922
ERROR: Solution verification fails, real_empty = 725858206, NB_EMPTY = 5020825502.
o 5020825502
ERROR: Solution verification fails, real_empty = 725840037, NB_EMPTY = 5020807333.
o 5020807333
ERROR: Solution verification fails, real_empty = 710831617, NB_EMPTY = 5005798913.
o 5005798913
ERROR: Solution verification fails, real_empty = 710813448, NB_EMPTY = 5005780744.
o 5005780744
ERROR: Solution verification fails, real_empty = 695805028, NB_EMPTY = 4990772324.
o 4990772324
ERROR: Solution verification fails, real_empty = 695786859, NB_EMPTY = 4990754155.
o 4990754155
ERROR: Solution verification fails, real_empty = 680778439, NB_EMPTY = 4975745735.
o 4975745735
ERROR: Solution verification fails, real_empty = 680760270, NB_EMPTY = 4975727566.
o 4975727566
ERROR: Solution verification fails, real_empty = 665751850, NB_EMPTY = 4960719146.
o 4960719146
ERROR: Solution verification fails, real_empty = 665733681, NB_EMPTY = 4960700977.
o 4960700977
ERROR: Solution verification fails, real_empty = 650725261, NB_EMPTY = 4945692557.
o 4945692557
ERROR: Solution verification fails, real_empty = 650707092, NB_EMPTY = 4945674388.
o 4945674388
ERROR: Solution verification fails, real_empty = 635698672, NB_EMPTY = 4930665968.
o 4930665968
ERROR: Solution verification fails, real_empty = 635680503, NB_EMPTY = 4930647799.
o 4930647799
ERROR: Solution verification fails, real_empty = 620672083, NB_EMPTY = 4915639379.
o 4915639379
ERROR: Solution verification fails, real_empty = 620653914, NB_EMPTY = 4915621210.
o 4915621210
ERROR: Solution verification fails, real_empty = 605645494, NB_EMPTY = 4900612790.
o 4900612790
ERROR: Solution verification fails, real_empty = 605627325, NB_EMPTY = 4900594621.
o 4900594621
ERROR: Solution verification fails, real_empty = 590618905, NB_EMPTY = 4885586201.
o 4885586201
ERROR: Solution verification fails, real_empty = 590600736, NB_EMPTY = 4885568032.
o 4885568032
ERROR: Solution verification fails, real_empty = 575592316, NB_EMPTY = 4870559612.
o 4870559612
ERROR: Solution verification fails, real_empty = 575592315, NB_EMPTY = 4870559611.
o 4870559611
ERROR: Solution verification fails, real_empty = 575574146, NB_EMPTY = 4870541442.
o 4870541442
ERROR: Solution verification fails, real_empty = 560565726, NB_EMPTY = 4855533022.
o 4855533022
ERROR: Solution verification fails, real_empty = 560565725, NB_EMPTY = 4855533021.
o 4855533021
ERROR: Solution verification fails, real_empty = 560547556, NB_EMPTY = 4855514852.
o 4855514852
ERROR: Solution verification fails, real_empty = 545539136, NB_EMPTY = 4840506432.
o 4840506432
ERROR: Solution verification fails, real_empty = 545520967, NB_EMPTY = 4840488263.
o 4840488263
ERROR: Solution verification fails, real_empty = 530512547, NB_EMPTY = 4825479843.
o 4825479843
ERROR: Solution verification fails, real_empty = 530494378, NB_EMPTY = 4825461674.
o 4825461674
ERROR: Solution verification fails, real_empty = 515485958, NB_EMPTY = 4810453254.
o 4810453254
ERROR: Solution verification fails, real_empty = 515485957, NB_EMPTY = 4810453253.
o 4810453253
ERROR: Solution verification fails, real_empty = 515467788, NB_EMPTY = 4810435084.
o 4810435084
ERROR: Solution verification fails, real_empty = 500459368, NB_EMPTY = 4795426664.
o 4795426664
ERROR: Solution verification fails, real_empty = 500459367, NB_EMPTY = 4795426663.
o 4795426663
ERROR: Solution verification fails, real_empty = 500441198, NB_EMPTY = 4795408494.
o 4795408494
ERROR: Solution verification fails, real_empty = 485432778, NB_EMPTY = 4780400074.
o 4780400074
ERROR: Solution verification fails, real_empty = 485432777, NB_EMPTY = 4780400073.
o 4780400073
ERROR: Solution verification fails, real_empty = 485414608, NB_EMPTY = 4780381904.
o 4780381904
ERROR: Solution verification fails, real_empty = 470406188, NB_EMPTY = 4765373484.
o 4765373484
ERROR: Solution verification fails, real_empty = 470406187, NB_EMPTY = 4765373483.
o 4765373483
ERROR: Solution verificatioKilled
1979.620u 0.081s 33:07.42 99.6%	0+0k 0+0io 0pf+0w