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-i1000d0u98-23.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i1000d0u98-23.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 18169 112632 16514222410
WARNING: Ubcsat not found.
o 16514222410
ERROR: Solution verification fails, real_empty = -972164669, NB_EMPTY = 3322802627.
o 3322802627
ERROR: Solution verification fails, real_empty = -987191259, NB_EMPTY = 3307776037.
o 3307776037
ERROR: Solution verification fails, real_empty = -1002217849, NB_EMPTY = 3292749447.
o 3292749447
ERROR: Solution verification fails, real_empty = -1017244439, NB_EMPTY = 3277722857.
o 3277722857
ERROR: Solution verification fails, real_empty = -1032271028, NB_EMPTY = 3262696268.
o 3262696268
ERROR: Solution verification fails, real_empty = -1047297617, NB_EMPTY = 3247669679.
o 3247669679
ERROR: Solution verification fails, real_empty = -1062324206, NB_EMPTY = 3232643090.
o 3232643090
ERROR: Solution verification fails, real_empty = -1077350795, NB_EMPTY = 3217616501.
o 3217616501
ERROR: Solution verification fails, real_empty = -1092377384, NB_EMPTY = 3202589912.
o 3202589912
ERROR: Solution verification fails, real_empty = -1107403973, NB_EMPTY = 3187563323.
o 3187563323
ERROR: Solution verification fails, real_empty = -1122430562, NB_EMPTY = 3172536734.
o 3172536734
ERROR: Solution verification fails, real_empty = -1137457151, NB_EMPTY = 3157510145.
o 3157510145
ERROR: Solution verification fails, real_empty = -1152483740, NB_EMPTY = 3142483556.
o 3142483556
ERROR: Solution verification fails, real_empty = -1167510329, NB_EMPTY = 3127456967.
o 3127456967
ERROR: Solution verification fails, real_empty = -1182536918, NB_EMPTY = 3112430378.
o 3112430378
ERROR: Solution verification fails, real_empty = -1197563507, NB_EMPTY = 3097403789.
o 3097403789
ERROR: Solution verification fails, real_empty = -1212590096, NB_EMPTY = 3082377200.
o 3082377200
ERROR: Solution verification fails, real_empty = -1227616685, NB_EMPTY = 3067350611.
o 3067350611
ERROR: Solution verification fails, real_empty = -1242643274, NB_EMPTY = 3052324022.
o 3052324022
ERROR: Solution verification fails, real_empty = -1257669863, NB_EMPTY = 3037297433.
o 3037297433
ERROR: Solution verification fails, real_empty = -1272696452, NB_EMPTY = 3022270844.
o 3022270844
ERROR: Solution verification fails, real_empty = -1287723041, NB_EMPTY = 3007244255.
o 3007244255
ERROR: Solution verification fails, real_empty = -1287723042, NB_EMPTY = 3007244254.
o 3007244254
ERROR: Solution verification fails, real_empty = -1302749631, NB_EMPTY = 2992217665.
o 2992217665
ERROR: Solution verification fails, real_empty = -1317776220, NB_EMPTY = 2977191076.
o 2977191076
ERROR: Solution verification fails, real_empty = -1332802809, NB_EMPTY = 2962164487.
o 2962164487
ERROR: Solution verification fails, real_empty = -1332802810, NB_EMPTY = 2962164486.
o 2962164486
ERROR: Solution verification fails, real_empty = -1347829399, NB_EMPTY = 2947137897.
o 2947137897
ERROR: Solution verification fails, real_empty = -1347829400, NB_EMPTY = 2947137896.
o 2947137896
ERROR: Solution verification fails, real_empty = -1362855989, NB_EMPTY = 2932111307.
o 2932111307
ERROR: Solution verification fails, real_empty = -1362855990, NB_EMPTY = 2932111306.
o 2932111306
ERROR: Solution verification fails, real_empty = -1377882579, NB_EMPTY = 2917084717.
o 2917084717
ERROR: Solution verification fails, real_empty = -1377882580, NB_EMPTY = 2917084716.
o 2917084716
ERROR: Solution verification fails, real_empty = -1392909169, NB_EMPTY = 2902058127.
o 2902058127
ERROR: Solution verification fails, real_empty = -1407935758, NB_EMPTY = 2887031538.
o 2887031538
ERROR: Solution verification fails, real_empty = -1407935759, NB_EMPTY = 2887031537.
o 2887031537
ERROR: Solution verification fails, real_empty = -1422962348, NB_EMPTY = 2872004948.
o 2872004948
ERROR: Solution verification fails, real_empty = -1422962349, NB_EMPTY = 2872004947.
o 2872004947
ERROR: Solution verification fails, real_empty = -1437988938, NB_EMPTY = 2856978358.
o 2856978358
ERROR: Solution verification fails, real_empty = -1453015527, NB_EMPTY = 2841951769.
o 2841951769
ERROR: Solution verification fails, real_empty = -1453015528, NB_EMPTY = 2841951768.
o 2841951768
ERROR: Solution verification fails, real_empty = -1468042117, NB_EMPTY = 2826925179.
o 2826925179
ERROR: Solution verification fails, real_empty = -1468042118, NB_EMPTY = 2826925178.
o 2826925178
ERROR: Solution verification fails, real_empty = -1483068707, NB_EMPTY = 2811898589.
o 2811898589
ERROR: Solution verification fails, real_empty = -1498095296, NB_EMPTY = 2796872000.
o 2796872000
ERROR: Solution verification fails, real_empty = -1498095297, NB_EMPTY = 2796871999.
o 2796871999
ERROR: Solution verification fails, real_empty = -1513121886, NB_EMPTY = 2781845410.
o 2781845410
ERROR: Solution verification fails, real_empty = -1513121887, NB_EMPTY = 2781845409.
o 2781845409
ERROR: Solution verification fails, real_empty = -1528148476, NB_EMPTY = 2766818820.
o 2766818820
ERROR: Solution verification fails, real_empty = -1528148477, NB_EMPTY = 2766818819.
o 2766818819
ERROR: Solution verification fails, real_empty = -1543175066, NB_EMPTY = 2751792230.
o 2751792230
ERROR: Solution verification fails, real_empty = -1543175067, NB_EMPTY = 2751792229.
o 2751792229
ERROR: Solution verification fails, real_empty = -1558201656, NB_EMPTY = 2736765640.
o 2736765640
ERROR: Solution verification fails, real_empty = -1573228245, NB_EMPTY = 2721739051.
o 2721739051
ERROR: Solution verification fails, real_empty = -1588254834, NB_EMPTY = 2706712462.
o 2706712462
ERROR: Solution verification fails, real_empty = -1603281423, NB_EMPTY = 2691685873.
o 2691685873
ERROR: Solution verification fails, real_empty = -1618308012, NB_EMPTY = 2676659284.
o 2676659284
ERROR: Solution verification fails, real_empty = -1633334601, NB_EMPTY = 2661632695.
o 2661632695
ERROR: Solution verification fails, real_empty = -1648361190, NB_EMPTY = 2646606106.
o 2646606106
ERROR: Solution verification fails, real_empty = -1663387779, NB_EMPTY = 2631579517.
o 2631579517
ERROR: Solution verification fails, real_empty = -1678414368, NB_EMPTY = 2616552928.
o 2616552928
ERROR: Solution verification fails, real_empty = -1693440957, NB_EMPTY = 2601526339.
o 2601526339
ERROR: Solution verification fails, real_empty = -1708467546, NB_EMPTY = 2586499750.
o 2586499750
ERROR: Solution verification fails, real_empty = -1723494135, NB_EMPTY = 2571473161.
o 2571473161
ERROR: Solution verification fails, real_empty = -1738520724, NB_EMPTY = 2556446572.
o 2556446572
ERROR: Solution verification fails, real_empty = -1753547313, NB_EMPTY = 2541419983.
o 2541419983
ERROR: Solution verification fails, real_empty = -1768573902, NB_EMPTY = 2526393394.
o 2526393394
ERROR: Solution verification fails, real_empty = -1783600491, NB_EMPTY = 2511366805.
o 2511366805
ERROR: Solution verification fails, real_empty = -1798627080, NB_EMPTY = 2496340216.
o 2496340216
ERROR: Solution verification fails, real_empty = -1813653669, NB_EMPTY = 2481313627.
o 2481313627
ERROR: Solution verification fails, real_empty = -1828680258, NB_EMPTY = 2466287038.
o 2466287038
ERROR: Solution verification fails, real_empty = -1843706847, NB_EMPTY = 2451260449.
o 2451260449
ERROR: Solution verification fails, real_empty = -1858733436, NB_EMPTY = 2436233860.
o 2436233860
ERROR: Solution verification fails, real_empty = -1858733437, NB_EMPTY = 2436233859.
o 2436233859
ERROR: Solution verification fails, real_empty = -1873760026, NB_EMPTY = 2421207270.
o 2421207270
ERROR: Solution verification fails, real_empty = -1888786615, NB_EMPTY = 2406180681.
o 2406180681
ERROR: Solution verification fails, real_empty = -1903813204, NB_EMPTY = 2391154092.
o 2391154092
ERROR: Solution verification fails, real_empty = -1918839793, NB_EMPTY = 2376127503.
o 2376127503
ERROR: Solution verification fails, real_empty = -1933866382, NB_EMPTY = 2361100914.
o 2361100914
ERROR: Solution verification fails, real_empty = -1948892971, NB_EMPTY = 2346074325.
o 2346074325
ERROR: Solution verification fails, real_empty = -1963919560, NB_EMPTY = 2331047736.
o 2331047736
ERROR: Solution verification fails, real_empty = -1978946149, NB_EMPTY = Killed
1979.623u 0.078s 33:01.19 99.9%	0+0k 0+0io 0pf+0w