Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz+-wpms_industrial-_home_maxsat_benchmarks_wpms_industrial_upgradeability-problem_mancoosi-test-i3000d0u98-62.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i3000d0u98-62.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 18169 112632 46567402410
WARNING: Ubcsat not found.
o 46567402410
ERROR: Solution verification fails, real_empty = -1465386526, NB_EMPTY = 7124548066.
o 7124548066
ERROR: Solution verification fails, real_empty = -1480413115, NB_EMPTY = 7109521477.
o 7109521477
ERROR: Solution verification fails, real_empty = -1495439704, NB_EMPTY = 7094494888.
o 7094494888
ERROR: Solution verification fails, real_empty = -1510466293, NB_EMPTY = 7079468299.
o 7079468299
ERROR: Solution verification fails, real_empty = -1525492882, NB_EMPTY = 7064441710.
o 7064441710
ERROR: Solution verification fails, real_empty = -1540519471, NB_EMPTY = 7049415121.
o 7049415121
ERROR: Solution verification fails, real_empty = -1555546060, NB_EMPTY = 7034388532.
o 7034388532
ERROR: Solution verification fails, real_empty = -1570572649, NB_EMPTY = 7019361943.
o 7019361943
ERROR: Solution verification fails, real_empty = -1585599238, NB_EMPTY = 7004335354.
o 7004335354
ERROR: Solution verification fails, real_empty = -1600625827, NB_EMPTY = 6989308765.
o 6989308765
ERROR: Solution verification fails, real_empty = -1615652416, NB_EMPTY = 6974282176.
o 6974282176
ERROR: Solution verification fails, real_empty = -1630679005, NB_EMPTY = 6959255587.
o 6959255587
ERROR: Solution verification fails, real_empty = -1645705594, NB_EMPTY = 6944228998.
o 6944228998
ERROR: Solution verification fails, real_empty = -1660732183, NB_EMPTY = 6929202409.
o 6929202409
ERROR: Solution verification fails, real_empty = -1675758772, NB_EMPTY = 6914175820.
o 6914175820
ERROR: Solution verification fails, real_empty = -1690785361, NB_EMPTY = 6899149231.
o 6899149231
ERROR: Solution verification fails, real_empty = -1705811950, NB_EMPTY = 6884122642.
o 6884122642
ERROR: Solution verification fails, real_empty = -1720838539, NB_EMPTY = 6869096053.
o 6869096053
ERROR: Solution verification fails, real_empty = -1735865128, NB_EMPTY = 6854069464.
o 6854069464
ERROR: Solution verification fails, real_empty = -1750891717, NB_EMPTY = 6839042875.
o 6839042875
ERROR: Solution verification fails, real_empty = -1765918306, NB_EMPTY = 6824016286.
o 6824016286
ERROR: Solution verification fails, real_empty = -1765918307, NB_EMPTY = 6824016285.
o 6824016285
ERROR: Solution verification fails, real_empty = -1780944896, NB_EMPTY = 6808989696.
o 6808989696
ERROR: Solution verification fails, real_empty = -1795971485, NB_EMPTY = 6793963107.
o 6793963107
ERROR: Solution verification fails, real_empty = -1810998074, NB_EMPTY = 6778936518.
o 6778936518
ERROR: Solution verification fails, real_empty = -1826024663, NB_EMPTY = 6763909929.
o 6763909929
ERROR: Solution verification fails, real_empty = -1841051252, NB_EMPTY = 6748883340.
o 6748883340
ERROR: Solution verification fails, real_empty = -1856077841, NB_EMPTY = 6733856751.
o 6733856751
ERROR: Solution verification fails, real_empty = -1871104430, NB_EMPTY = 6718830162.
o 6718830162
ERROR: Solution verification fails, real_empty = -1886131019, NB_EMPTY = 6703803573.
o 6703803573
ERROR: Solution verification fails, real_empty = -1901157608, NB_EMPTY = 6688776984.
o 6688776984
ERROR: Solution verification fails, real_empty = -1916184197, NB_EMPTY = 6673750395.
o 6673750395
ERROR: Solution verification fails, real_empty = -1931210786, NB_EMPTY = 6658723806.
o 6658723806
ERROR: Solution verification fails, real_empty = -1946237375, NB_EMPTY = 6643697217.
o 6643697217
ERROR: Solution verification fails, real_empty = -1946237376, NB_EMPTY = 6643697216.
o 6643697216
ERROR: Solution verification fails, real_empty = -1961263965, NB_EMPTY = 6628670627.
o 6628670627
ERROR: Solution verification fails, real_empty = -1976290554, NB_EMPTY = 6613644038.
o 6613644038
ERROR: Solution verification fails, real_empty = -1991317143, NB_EMPTY = 6598617449.
o 6598617449
ERROR: Solution verification fails, real_empty = -2006343732, NB_EMPTY = 6583590860.
o 6583590860
ERROR: Solution verification fails, real_empty = -2021370321, NB_EMPTY = 6568564271.
o 6568564271
ERROR: Solution verification fails, real_empty = -2036396910, NB_EMPTY = 6553537682.
o 6553537682
ERROR: Solution verification fails, real_empty = -2051423499, NB_EMPTY = 6538511093.
o 6538511093
ERROR: Solution verification fails, real_empty = -2066450088, NB_EMPTY = 6523484504.
o 6523484504
ERROR: Solution verification fails, real_empty = -2081476677, NB_EMPTY = 6508457915.
o 6508457915
ERROR: Solution verification fails, real_empty = -2096503266, NB_EMPTY = 6493431326.
o 6493431326
ERROR: Solution verification fails, real_empty = -2111529855, NB_EMPTY = 6478404737.
o 6478404737
ERROR: Solution verification fails, real_empty = -2126520106, NB_EMPTY = 6463414486.
o 6463414486
ERROR: Solution verification fails, real_empty = -2141546695, NB_EMPTY = 6448387897.
o 6448387897
ERROR: Solution verification fails, real_empty = 2138394012, NB_EMPTY = 6433361308.
o 6433361308
ERROR: Solution verification fails, real_empty = 2123367423, NB_EMPTY = 6418334719.
o 6418334719
ERROR: Solution verification fails, real_empty = 2108340834, NB_EMPTY = 6403308130.
o 6403308130
ERROR: Solution verification fails, real_empty = 2093314245, NB_EMPTY = 6388281541.
o 6388281541
ERROR: Solution verification fails, real_empty = 2078287656, NB_EMPTY = 6373254952.
o 6373254952
ERROR: Solution verification fails, real_empty = 2063261067, NB_EMPTY = 6358228363.
o 6358228363
ERROR: Solution verification fails, real_empty = 2048234478, NB_EMPTY = 6343201774.
o 6343201774
ERROR: Solution verification fails, real_empty = 2048234477, NB_EMPTY = 6343201773.
o 6343201773
ERROR: Solution verification fails, real_empty = 2033207888, NB_EMPTY = 6328175184.
o 6328175184
ERROR: Solution verification fails, real_empty = 2033207887, NB_EMPTY = 6328175183.
o 6328175183
ERROR: Solution verification fails, real_empty = 2018181298, NB_EMPTY = 6313148594.
o 6313148594
ERROR: Solution verification fails, real_empty = 2003154709, NB_EMPTY = 6298122005.
o 6298122005
ERROR: Solution verification fails, real_empty = 1988128120, NB_EMPTY = 6283095416.
o 6283095416
ERROR: Solution verification fails, real_empty = 1973101531, NB_EMPTY = 6268068827.
o 6268068827
ERROR: Solution verification fails, real_empty = 1958074942, NB_EMPTY = 6253042238.
o 6253042238
ERROR: Solution verification fails, real_empty = 1943048353, NB_EMPTY = 6238015649.
o 6238015649
ERROR: Solution verification fails, real_empty = 1928021764, NB_EMPTY = 6222989060.
o 6222989060
ERROR: Solution verification fails, real_empty = 1912995175, NB_EMPTY = 6207962471.
o 6207962471
ERROR: Solution verification fails, real_empty = 1897968586, NB_EMPTY = 6192935882.
o 6192935882
ERROR: Solution verification fails, real_empty = 1882941997, NB_EMPTY = 6177909293.
o 6177909293
ERROR: Solution verification fails, real_empty = 1867915408, NB_EMPTY = 6162882704.
o 6162882704
ERROR: Solution verification fails, real_empty = 1852888819, NB_EMPTY = 6147856115.
o 6147856115
ERROR: Solution verification fails, real_empty = 1837862230, NB_EMPTY = 6132829526.
o 6132829526
ERROR: Solution verification fails, real_empty = 1822835641, NB_EMPTY = 6117802937.
o 6117802937
ERROR: Solution verification fails, real_empty = 1807809052, NB_EMPTY = 6102776348.
o 6102776348
ERROR: Solution verification fails, real_empty = 1792782463, NB_EMPTY = 6087749759.
o 6087749759
ERROR: Solution verification fails, real_empty = 1777755874, NB_EMPTY = 6072723170.
o 6072723170
ERROR: Solution verification fails, real_empty = 1777755873, NB_EMPTY = 6072723169.
o 6072723169
ERROR: Solution verification fails, real_empty = 1762729284, NB_EMPTY = 6057696580.
o 6057696580
ERROR: Solution verification fails, real_empty = 1747702695, NB_EMPTY = 6042669991.
o 6042669991
ERROR: Solution verification fails, real_empty = 1732676106, NB_EMPTY = 6027643402.
o 6027643402
ERROR: Solution verification fails, real_empty = 1717649517, NB_EMPTY = 6012616813.
o 6012616813
ERROR: Solution verification fails, real_empty = 1702622928, NB_EMPTY = 5997590224.
o 5997590224
ERROR: Solution verification fails, real_empty = 1687596339, NB_EMPTY = 5982563635.
o 5982563635
ERROR: Solution verification fails, real_empty = 1672569750, NB_EMPTY = 5967537046.
o 5967537046
ERROR: Solution verification fails, real_empty = 1657543161, NB_EMPTY = 5952510457.
o 5952510457
ERROR: Solution verification fails, real_empty = 1642516572, NB_EMPTY = 5937483868.
o 5937483868
ERROR: Solution verification fails, real_empty = 1642516571, NB_EMPTY = 5937483867.
o 5937483867
ERROR: Solution verification fails, real_empty = 1627489982, NB_EMPTY = 5922457278.
o 5922457278
ERROR: Solution verification fails, real_empty = 1612463393, NB_EMPTY = 5907430689.
o 5907430689
ERROR: Solution verification fails, real_empty = 1597436804, NB_EMPTY = 5892404100.
o 5892404100
ERROR: Solution verification fails, real_empty = 1582410215, NB_EMPTY = 5877377511.
o 5877377511
ERROR: Solution verification fails, real_empty = 1567383626, NB_EMPTY = 5862350922.
o 5862350922
ERROR: Solution verification fails, real_empty = 1552357037, NB_EMPTY = 5847324333.
o 5847324333
ERROR: Solution verification fails, real_empty = 1537330448, NB_EMPTY = 5832297744.
o 5832297744
ERROR: Solution verification fails, real_empty = 1522303859, NB_EMPTY = 5817271155.
o 5817271155
ERROR: Solution verification fails, real_empty = 1507277270, NB_EMPTY = 5802244566.
o 5802244566
ERROR: Solution verification fails, real_empty = 1492250681, NB_EMPTY = 5787217977.
o 5787217977
ERROR: Solution verification fails, real_empty = 1477224092, NB_EMPTY = 5772191388.
o 5772191388
ERROR: Solution verification fails, real_empty = 1462197503, NB_EMPTY = 5757164799.
o 5757164799
ERROR: Solution verification fails, real_empty = 1447170914, NB_EMPTY = 5742138210.
o 5742138210
ERROR: Solution verification fails, real_empty = 1432144325, NB_EMPTY = 5727111621.
o 5727111621
ERROR: Solution verification fails, real_empty = 1417117736, NB_EMPTY = 5712085032.
o 5712085032
ERROR: Solution verification fails, real_empty = 1402091147, NB_EMPTY = 5697058443.
o 5697058443
ERROR: Solution verification fails, real_empty = 1387064558, NB_EMPTY = 5682031854.
o 5682031854
ERROR: Solution verification fails, real_empty = 1372037969, NB_EMPTY = 5667005265.
o 5667005265
ERROR: Solution verification fails, real_empty = 1357011380, NB_EMPTY = 5651978676.
o 5651978676
ERROR: Solution verification fails, real_empty = 1341984791, NB_EMPTY = 5636952087.
o 5636952087
ERROR: Solution verification fails, real_empty = 1341984790, NB_EMPTY = 5636952086.
o 5636952086
ERROR: Solution verification fails, real_empty = 1326958201, NB_EMPTY = 5621925497.
o 5621925497
ERROR: Solution verification fails, real_empty = 1311931612, NB_EMPTY = 5606898908.
o 5606898908
ERROR: Solution verification fails, real_empty = 1296905023, NB_EMPTY = 5591872319.
o 5591872319
ERROR: Solution verification fails, real_empty = 1281878434, NB_EMPTY = 5576845730.
o 5576845730
ERROR: Solution verification fails, real_empty = 1266851845, NB_EMPTY = 5561819141.
o 5561819141
ERROR: Solution verification fails, real_empty = 1251825256, NB_EMPTY = 5546792552.
o 5546792552
ERROR: Solution verification fails, real_empty = 1236798667, NB_EMPTY = 5531765963.
o 5531765963
ERROR: Solution verification fails, real_empty = 1221772078, NB_EMPTY = 5516739374.
o 5516739374
ERROR: Solution verification fails, real_empty = 1206745489, NB_EMPTY = 5501712785.
o 5501712785
ERROR: Solution verification fails, real_empty = 1191718900, NB_EMPTY = 5486686196.
o 5486686196
ERROR: Solution verification fails, real_empty = 1176692311, NB_EMPTY = 5471659607.
o 5471659607
ERROR: Solution verification fails, real_empty = 1161665722, NB_EMPTY = 5456633018.
o 5456633018
ERROR: Solution verification fails, real_empty = 1146639133, NB_EMPTY = 5441606429.
o 5441606429
ERROR: Solution verification fails, real_empty = 1131612544, NB_EMPTY = 5426579840.
o 5426579840
ERROR: Solution verification fails, real_empty = 1116585955, NB_EMPTY = 5411553251.
o 5411553251
ERROR: Solution verification fails, real_empty = 1101559366, NB_EMPTY = 5396526662.
o 5396526662
ERROR: Solution verification fails, real_empty = 1086532777, NB_EMPTY = 5381500073.
o 5381500073
ERROR: Solution verification fails, real_empty = 1071506188, NB_EMPTY = 5366473484.
o 5366473484
ERROR: Solution verification fails, real_empty = 1056479599, NB_EMPTY = 5351446895.
o 5351446895
ERROR: Solution verification fails, real_empty = 1041453010, NB_EMPTY = 5336420306.
o 5336420306
ERROR: Solution verification fails, real_empty = 1026426421, NB_EMPTY = 5321393717.
o 5321393717
ERROR: Solution verification fails, real_empty = 1011399832, NB_EMPTY = 5306367128.
o 5306367128
ERROR: Solution verification fails, real_empty = 996373243, NB_EMPTY = 5291340539.
o 5291340539
ERROR: Solution verification fails, real_empty = 981346654, NB_EMPTY = 5276313950.
o 5276313950
ERROR: Solution verification fails, real_empty = 966320065, NB_EMPTY = 5261287361.
o 5261287361
ERROR: Solution verification fails, real_empty = 951293476, NB_EMPTY = 5246260772.
o 5246260772
ERROR: Solution verification fails, real_empty = 936266887, NB_EMPTY = 5231234183.
o 5231234183
ERROR: Solution verification fails, real_empty = 936266886, NB_EMPTY = 5231234182.
o 5231234182
ERROR: Solution verification fails, real_empty = 921240297, NB_EMPTY = 5216207593.
o 5216207593
ERROR: Solution verification fails, real_empty = 906213708, NB_EMPTY = 5201181004.
o 5201181004
ERROR: Solution verification fails, real_empty = 891187119, NB_EMPTY = 5186154415.
o 5186154415
ERROR: Solution verification fails, real_empty = 876160530, NB_EMPTY = 5171127826.
o 5171127826
ERROR: Solution verification fails, real_empty = 861133941, NB_EMPTY = 5156101237.
o 5156101237
ERROR: Solution verification fails, real_empty = 846107352, NB_EMPTY = 5141074648.
o 5141074648
ERROR: Solution verification fails, real_empty = 831080763, NB_EMPTY = 5126048059.
o 5126048059
ERROR: Solution verification fails, real_empty = 816054174, NB_EMPTY = 5111021470.
o 5111021470
ERROR: Solution verification fails, real_empty = 801027585, NB_EMPTY = 5095994881.
o 5095994881
ERROR: Solution verification fails, real_empty = 786000996, NB_EMPTY = 5080968292.
o 5080968292
ERROR: Solution verification fails, real_empty = 770974407, NB_EMPTY = 5065941703.
o 5065941703
ERROR: Solution verification fails, real_empty = 755947818, NB_EMPTY = 5050915114.
o 5050915114
ERROR: Solution verification fails, real_empty = 755947817, NB_EMPTY = 5050915113.
o 5050915113
ERROR: Solution verification fails, real_empty = 740921228, NB_EMPTY = 5035888524.
o 5035888524
ERROR: Solution verification fails, real_empty = 725894639, NB_EMPTY = 5020861935.
o 5020861935
ERROR: Solution verification fails, real_empty = 710868050, NB_EMPTY = 5005835346.
o 5005835346
ERROR: Solution verification fails, real_empty = 695841461, NB_EMPTY = 4990808757.
o 4990808757
ERROR: Solution verification fails, real_empty = 695841460, NB_EMPTY = 4990808756.
o 4990808756
ERROR: Solution verification fails, real_empty = 680814871, NB_EMPTY = 4975782167.
o 4975782167
ERROR: Solution verification fails, real_empty = 665788282, NB_EMPTY = 4960755578.
o 4960755578
ERROR: Solution verification fails, real_empty = 650761693, NB_EMPTY = 4945728989.
o 4945728989
ERROR: Solution verification fails, real_empty = 635735104, NB_EMPTY = 4930702400.
o 4930702400
ERROR: Solution verification fails, real_empty = 620708515, NB_EMPTY = 4915675811.
o 4915675811
ERROR: Solution verification fails, real_empty = 605681926, NB_EMPTY = 4900649222.
o 4900649222
ERROR: Solution verification fails, real_empty = 590655337, NB_EMPTY = 4885622633.
o 4885622633
ERROR: Solution verification fails, real_empty = 575628748, NB_EMPTY = 4870596044.
o 4870596044
ERROR: Solution verification fails, real_empty = 560602159, NB_EMPTY = 4855569455.
o 4855569455
ERROR: Solution verification fails, real_empty = 560602158, NB_EMPTY = 4855569454.
o 4855569454
ERROR: Solution verification fails, real_empty = 545575569, NB_EMPTY = 4840542865.
o 4840542865
ERROR: Solution verification fails, real_empty = 530548980, NB_EMPTY = 4825516276.
o 4825516276
ERROR: Solution verification fails, real_empty = 515522391, NB_EMPTY = 4810489687.
o 4810489687
ERROR: Solution verification fails, real_empty = 500495802, NB_EMPTY = 4795463098.
o 479Killed
1979.670u 0.032s 33:02.04 99.8%	0+0k 0+0io 0pf+0w