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-i3000d0u98-59.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i3000d0u98-59.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
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 = -1871031738, NB_EMPTY = 6718902854.
o 6718902854
ERROR: Solution verification fails, real_empty = -1886058327, NB_EMPTY = 6703876265.
o 6703876265
ERROR: Solution verification fails, real_empty = -1901084916, NB_EMPTY = 6688849676.
o 6688849676
ERROR: Solution verification fails, real_empty = -1916111505, NB_EMPTY = 6673823087.
o 6673823087
ERROR: Solution verification fails, real_empty = -1931138094, NB_EMPTY = 6658796498.
o 6658796498
ERROR: Solution verification fails, real_empty = -1946164683, NB_EMPTY = 6643769909.
o 6643769909
ERROR: Solution verification fails, real_empty = -1961191272, NB_EMPTY = 6628743320.
o 6628743320
ERROR: Solution verification fails, real_empty = -1961191273, NB_EMPTY = 6628743319.
o 6628743319
ERROR: Solution verification fails, real_empty = -1976217862, NB_EMPTY = 6613716730.
o 6613716730
ERROR: Solution verification fails, real_empty = -1991244451, NB_EMPTY = 6598690141.
o 6598690141
ERROR: Solution verification fails, real_empty = -2006271040, NB_EMPTY = 6583663552.
o 6583663552
ERROR: Solution verification fails, real_empty = -2021297629, NB_EMPTY = 6568636963.
o 6568636963
ERROR: Solution verification fails, real_empty = -2036324218, NB_EMPTY = 6553610374.
o 6553610374
ERROR: Solution verification fails, real_empty = -2051350807, NB_EMPTY = 6538583785.
o 6538583785
ERROR: Solution verification fails, real_empty = -2066377396, NB_EMPTY = 6523557196.
o 6523557196
ERROR: Solution verification fails, real_empty = -2081403985, NB_EMPTY = 6508530607.
o 6508530607
ERROR: Solution verification fails, real_empty = -2096430574, NB_EMPTY = 6493504018.
o 6493504018
ERROR: Solution verification fails, real_empty = -2111457163, NB_EMPTY = 6478477429.
o 6478477429
ERROR: Solution verification fails, real_empty = -2126483752, NB_EMPTY = 6463450840.
o 6463450840
ERROR: Solution verification fails, real_empty = -2141510341, NB_EMPTY = 6448424251.
o 6448424251
ERROR: Solution verification fails, real_empty = 2138430366, NB_EMPTY = 6433397662.
o 6433397662
ERROR: Solution verification fails, real_empty = 2123403777, NB_EMPTY = 6418371073.
o 6418371073
ERROR: Solution verification fails, real_empty = 2108377188, NB_EMPTY = 6403344484.
o 6403344484
ERROR: Solution verification fails, real_empty = 2093350599, NB_EMPTY = 6388317895.
o 6388317895
ERROR: Solution verification fails, real_empty = 2078324010, NB_EMPTY = 6373291306.
o 6373291306
ERROR: Solution verification fails, real_empty = 2063297421, NB_EMPTY = 6358264717.
o 6358264717
ERROR: Solution verification fails, real_empty = 2048270832, NB_EMPTY = 6343238128.
o 6343238128
ERROR: Solution verification fails, real_empty = 2033244243, NB_EMPTY = 6328211539.
o 6328211539
ERROR: Solution verification fails, real_empty = 2018217654, NB_EMPTY = 6313184950.
o 6313184950
ERROR: Solution verification fails, real_empty = 2003191065, NB_EMPTY = 6298158361.
o 6298158361
ERROR: Solution verification fails, real_empty = 1988164476, NB_EMPTY = 6283131772.
o 6283131772
ERROR: Solution verification fails, real_empty = 1973137887, NB_EMPTY = 6268105183.
o 6268105183
ERROR: Solution verification fails, real_empty = 1958111298, NB_EMPTY = 6253078594.
o 6253078594
ERROR: Solution verification fails, real_empty = 1943084709, NB_EMPTY = 6238052005.
o 6238052005
ERROR: Solution verification fails, real_empty = 1928058120, NB_EMPTY = 6223025416.
o 6223025416
ERROR: Solution verification fails, real_empty = 1913031531, NB_EMPTY = 6207998827.
o 6207998827
ERROR: Solution verification fails, real_empty = 1913031530, NB_EMPTY = 6207998826.
o 6207998826
ERROR: Solution verification fails, real_empty = 1898004941, NB_EMPTY = 6192972237.
o 6192972237
ERROR: Solution verification fails, real_empty = 1882978352, NB_EMPTY = 6177945648.
o 6177945648
ERROR: Solution verification fails, real_empty = 1867951763, NB_EMPTY = 6162919059.
o 6162919059
ERROR: Solution verification fails, real_empty = 1852925174, NB_EMPTY = 6147892470.
o 6147892470
ERROR: Solution verification fails, real_empty = 1837898585, NB_EMPTY = 6132865881.
o 6132865881
ERROR: Solution verification fails, real_empty = 1822871996, NB_EMPTY = 6117839292.
o 6117839292
ERROR: Solution verification fails, real_empty = 1807845407, NB_EMPTY = 6102812703.
o 6102812703
ERROR: Solution verification fails, real_empty = 1792818818, NB_EMPTY = 6087786114.
o 6087786114
ERROR: Solution verification fails, real_empty = 1777792229, NB_EMPTY = 6072759525.
o 6072759525
ERROR: Solution verification fails, real_empty = 1762765640, NB_EMPTY = 6057732936.
o 6057732936
ERROR: Solution verification fails, real_empty = 1762765639, NB_EMPTY = 6057732935.
o 6057732935
ERROR: Solution verification fails, real_empty = 1747739050, NB_EMPTY = 6042706346.
o 6042706346
ERROR: Solution verification fails, real_empty = 1747739049, NB_EMPTY = 6042706345.
o 6042706345
ERROR: Solution verification fails, real_empty = 1732712460, NB_EMPTY = 6027679756.
o 6027679756
ERROR: Solution verification fails, real_empty = 1732712459, NB_EMPTY = 6027679755.
o 6027679755
ERROR: Solution verification fails, real_empty = 1717685870, NB_EMPTY = 6012653166.
o 6012653166
ERROR: Solution verification fails, real_empty = 1702659281, NB_EMPTY = 5997626577.
o 5997626577
ERROR: Solution verification fails, real_empty = 1687632692, NB_EMPTY = 5982599988.
o 5982599988
ERROR: Solution verification fails, real_empty = 1672606103, NB_EMPTY = 5967573399.
o 5967573399
ERROR: Solution verification fails, real_empty = 1657579514, NB_EMPTY = 5952546810.
o 5952546810
ERROR: Solution verification fails, real_empty = 1642552925, NB_EMPTY = 5937520221.
o 5937520221
ERROR: Solution verification fails, real_empty = 1627526336, NB_EMPTY = 5922493632.
o 5922493632
ERROR: Solution verification fails, real_empty = 1612499747, NB_EMPTY = 5907467043.
o 5907467043
ERROR: Solution verification fails, real_empty = 1597473158, NB_EMPTY = 5892440454.
o 5892440454
ERROR: Solution verification fails, real_empty = 1582446569, NB_EMPTY = 5877413865.
o 5877413865
ERROR: Solution verification fails, real_empty = 1567419980, NB_EMPTY = 5862387276.
o 5862387276
ERROR: Solution verification fails, real_empty = 1552393391, NB_EMPTY = 5847360687.
o 5847360687
ERROR: Solution verification fails, real_empty = 1552393390, NB_EMPTY = 5847360686.
o 5847360686
ERROR: Solution verification fails, real_empty = 1537366801, NB_EMPTY = 5832334097.
o 5832334097
ERROR: Solution verification fails, real_empty = 1537366800, NB_EMPTY = 5832334096.
o 5832334096
ERROR: Solution verification fails, real_empty = 1522340211, NB_EMPTY = 5817307507.
o 5817307507
ERROR: Solution verification fails, real_empty = 1507313622, NB_EMPTY = 5802280918.
o 5802280918
ERROR: Solution verification fails, real_empty = 1492287033, NB_EMPTY = 5787254329.
o 5787254329
ERROR: Solution verification fails, real_empty = 1477260444, NB_EMPTY = 5772227740.
o 5772227740
ERROR: Solution verification fails, real_empty = 1462233855, NB_EMPTY = 5757201151.
o 5757201151
ERROR: Solution verification fails, real_empty = 1447207266, NB_EMPTY = 5742174562.
o 5742174562
ERROR: Solution verification fails, real_empty = 1432180677, NB_EMPTY = 5727147973.
o 5727147973
ERROR: Solution verification fails, real_empty = 1417154088, NB_EMPTY = 5712121384.
o 5712121384
ERROR: Solution verification fails, real_empty = 1402127499, NB_EMPTY = 5697094795.
o 5697094795
ERROR: Solution verification fails, real_empty = 1387100910, NB_EMPTY = 5682068206.
o 5682068206
ERROR: Solution verification fails, real_empty = 1372074321, NB_EMPTY = 5667041617.
o 5667041617
ERROR: Solution verification fails, real_empty = 1357047732, NB_EMPTY = 5652015028.
o 5652015028
ERROR: Solution verification fails, real_empty = 1342021143, NB_EMPTY = 5636988439.
o 5636988439
ERROR: Solution verification fails, real_empty = 1326994554, NB_EMPTY = 5621961850.
o 5621961850
ERROR: Solution verification fails, real_empty = 1311967965, NB_EMPTY = 5606935261.
o 5606935261
ERROR: Solution verification fails, real_empty = 1296941376, NB_EMPTY = 5591908672.
o 5591908672
ERROR: Solution verification fails, real_empty = 1296941375, NB_EMPTY = 5591908671.
o 5591908671
ERROR: Solution verification fails, real_empty = 1281914786, NB_EMPTY = 5576882082.
o 5576882082
ERROR: Solution verification fails, real_empty = 1266888197, NB_EMPTY = 5561855493.
o 5561855493
ERROR: Solution verification fails, real_empty = 1251861608, NB_EMPTY = 5546828904.
o 5546828904
ERROR: Solution verification fails, real_empty = 1236835019, NB_EMPTY = 5531802315.
o 5531802315
ERROR: Solution verification fails, real_empty = 1221808430, NB_EMPTY = 5516775726.
o 5516775726
ERROR: Solution verification fails, real_empty = 1206781841, NB_EMPTY = 5501749137.
o 5501749137
ERROR: Solution verification fails, real_empty = 1191755252, NB_EMPTY = 5486722548.
o 5486722548
ERROR: Solution verification fails, real_empty = 1176728663, NB_EMPTY = 5471695959.
o 5471695959
ERROR: Solution verification fails, real_empty = 1161702074, NB_EMPTY = 5456669370.
o 5456669370
ERROR: Solution verification fails, real_empty = 1146675485, NB_EMPTY = 5441642781.
o 5441642781
ERROR: Solution verification fails, real_empty = 1131648896, NB_EMPTY = 5426616192.
o 5426616192
ERROR: Solution verification fails, real_empty = 1116622307, NB_EMPTY = 5411589603.
o 5411589603
ERROR: Solution verification fails, real_empty = 1101595718, NB_EMPTY = 5396563014.
o 5396563014
ERROR: Solution verification fails, real_empty = 1086569129, NB_EMPTY = 5381536425.
o 5381536425
ERROR: Solution verification fails, real_empty = 1071542540, NB_EMPTY = 5366509836.
o 5366509836
ERROR: Solution verification fails, real_empty = 1056515951, NB_EMPTY = 5351483247.
o 5351483247
ERROR: Solution verification fails, real_empty = 1056515950, NB_EMPTY = 5351483246.
o 5351483246
ERROR: Solution verification fails, real_empty = 1041489361, NB_EMPTY = 5336456657.
o 5336456657
ERROR: Solution verification fails, real_empty = 1026462772, NB_EMPTY = 5321430068.
o 5321430068
ERROR: Solution verification fails, real_empty = 1011436183, NB_EMPTY = 5306403479.
o 5306403479
ERROR: Solution verification fails, real_empty = 996409594, NB_EMPTY = 5291376890.
o 5291376890
ERROR: Solution verification fails, real_empty = 981383005, NB_EMPTY = 5276350301.
o 5276350301
ERROR: Solution verification fails, real_empty = 966356416, NB_EMPTY = 5261323712.
o 5261323712
ERROR: Solution verification fails, real_empty = 951329827, NB_EMPTY = 5246297123.
o 5246297123
ERROR: Solution verification fails, real_empty = 936303238, NB_EMPTY = 5231270534.
o 5231270534
ERROR: Solution verification fails, real_empty = 921276649, NB_EMPTY = 5216243945.
o 5216243945
ERROR: Solution verification fails, real_empty = 906250060, NB_EMPTY = 5201217356.
o 5201217356
ERROR: Solution verification fails, real_empty = 891223471, NB_EMPTY = 5186190767.
o 5186190767
ERROR: Solution verification fails, real_empty = 876196882, NB_EMPTY = 5171164178.
o 5171164178
ERROR: Solution verification fails, real_empty = 861170293, NB_EMPTY = 5156137589.
o 5156137589
ERROR: Solution verification fails, real_empty = 846143704, NB_EMPTY = 5141111000.
o 5141111000
ERROR: Solution verification fails, real_empty = 831117115, NB_EMPTY = 5126084411.
o 5126084411
ERROR: Solution verification fails, real_empty = 816090526, NB_EMPTY = 5111057822.
o 5111057822
ERROR: Solution verification fails, real_empty = 801063937, NB_EMPTY = 5096031233.
o 5096031233
ERROR: Solution verification fails, real_empty = 786037348, NB_EMPTY = 5081004644.
o 5081004644
ERROR: Solution verification fails, real_empty = 771010759, NB_EMPTY = 5065978055.
o 5065978055
ERROR: Solution verification fails, real_empty = 755984170, NB_EMPTY = 5050951466.
o 5050951466
ERROR: Solution verification fails, real_empty = 740957581, NB_EMPTY = 5035924877.
o 5035924877
ERROR: Solution verification fails, real_empty = 725930992, NB_EMPTY = 5020898288.
o 5020898288
ERROR: Solution verification fails, real_empty = 710904403, NB_EMPTY = 5005871699.
o 5005871699
ERROR: Solution verification fails, real_empty = 695877814, NB_EMPTY = 499084Killed
1979.645u 0.057s 33:12.29 99.3%	0+0k 0+0io 0pf+0w