Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz+-pms_industrial-_home_maxsat_benchmarks_pms_industrial_haplotype-assembly_splitedReads_0.matrix.wcnf
Job file: /home/maxsat/benchmarks/pms_industrial/haplotype-assembly/splitedReads_0.matrix.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 12962 51450 10000
WARNING: Ubcsat not found.
o 10000
o 6634
o 6632
o 6630
o 6628
o 6626
o 6624
o 6622
o 6620
o 6618
o 6616
o 6614
o 6612
o 6610
o 6608
o 6606
o 6604
o 6602
o 6600
o 6598
o 6596
o 6594
o 6592
o 6590
o 6588
o 6586
o 6584
o 6582
o 6580
o 6578
o 6576
o 6574
o 6572
o 6570
o 6568
o 6566
o 6564
o 6562
o 6560
o 6558
o 6556
o 6554
o 6552
o 6550
o 6548
o 6546
o 6544
o 6542
o 6540
o 6538
o 6536
o 6534
o 6532
o 6530
o 6528
o 6526
o 6524
o 6522
o 6520
o 6518
o 6516
o 6514
o 6512
o 6510
o 6508
o 6506
o 6504
o 6502
o 6500
o 6498
o 6496
o 6494
o 6492
o 6490
o 6488
o 6486
o 6484
o 6482
o 6480
o 6478
o 6476
o 6474
o 6472
o 6470
o 6468
o 6466
o 6464
o 6462
o 6460
o 6458
o 6456
o 6454
o 6452
o 6450
o 6448
o 6446
o 6444
o 6442
o 6440
o 6438
o 6436
o 6434
o 6432
o 6430
o 6428
o 6426
o 6424
o 6422
o 6420
o 6418
o 6416
o 6414
o 6412
o 6410
o 6408
o 6406
o 6404
o 6402
o 6400
o 6398
o 6396
o 6394
o 6392
o 6390
o 6388
o 6386
o 6384
o 6382
o 6380
o 6378
o 6376
o 6374
o 6372
o 6370
o 6368
o 6366
o 6364
o 6362
o 6360
o 6358
o 6356
o 6354
o 6352
o 6350
o 6348
o 6346
o 6344
o 6342
o 6340
o 6338
o 6336
o 6334
o 6332
o 6330
o 6328
o 6326
o 6324
o 6322
o 6320
o 6318
o 6316
o 6314
o 6312
o 6310
o 6308
o 6306
o 6304
o 6302
o 6300
o 6298
o 6296
o 6294
o 6292
o 6290
o 6288
o 6286
o 6284
o 6282
o 6280
o 6278
o 6276
o 6274
o 6272
o 6270
o 6268
o 6267
o 6265
o 6264
o 6263
o 6262
o 6261
o 6260
o 6259
o 6258
o 6257
o 6256
o 6255
o 6254
o 6253
o 6252
o 6251
o 6250
o 6249
o 6248
o 6247
o 6246
o 6245
o 6244
o 6243
o 6242
o 6241
o 6240
o 6239
o 6238
o 6237
o 6236
o 6235
o 6234
o 6233
o 6232
o 6231
o 6230
o 6229
o 6228
o 6227
o 6226
o 6225
o 6224
o 6223
o 6222
o 6221
o 6220
o 6219
o 6218
o 6217
o 6216
o 6215
o 6214
o 6213
o 6212
o 6211
o 6210
o 6209
o 6208
o 6207
o 6206
o 6205
o 6204
o 6203
o 6202
o 6201
o 6200
o 6199
o 6198
o 6197
o 6196
o 6195
o 6194
o 6193
o 6192
o 6191
o 6190
o 6189
o 6188
o 6187
o 6186
o 6185
o 6184
o 6183
o 6182
o 6181
o 6180
o 6179
o 6178
o 6177
o 6176
o 6175
o 6174
o 6173
o 6172
o 6171
o 6170
o 6169
o 6168
o 6167
o 6166
o 6165
o 6164
o 6163
o 6162
o 6161
o 6160
o 6159
o 6158
o 6157
o 6156
o 6155
o 6154
o 6153
o 6152
o 6151
o 6150
o 6149
o 6148
o 6147
o 6146
o 6145
o 6144
o 6143
o 6142
o 6141
o 6140
o 6139
o 6138
o 6137
o 6136
o 6135
o 6134
o 6133
o 6132
o 6131
o 6130
o 6129
o 6128
o 6127
o 6126
o 6125
o 6124
o 6123
o 6122
o 6121
o 6120
o 6119
o 6118
o 6117
o 6116
o 6115
o 6114
o 6113
o 6112
o 6111
o 6110
o 6109
o 6108
o 6107
o 6106
o 6105
o 6104
o 6103
o 6102
o 6101
o 6100
o 6099
o 6098
o 6097
o 6096
o 6095
o 6094
o 6093
o 6092
o 6091
o 6090
o 6089
o 6088
o 6087
o 6086
o 6085
o 6084
o 6083
o 6082
o 6081
o 6080
o 6079
o 6078
o 6077
o 6076
o 6075
o 6074
o 6073
o 6072
o 6071
o 6070
o 6069
o 6068
o 6067
o 6066
o 6065
o 6064
o 6063
o 6062
o 6061
o 6060
o 6059
o 6058
o 6057
o 6056
o 6055
o 6054
o 6053
o 6052
o 6051
o 6050
o 6049
o 6048
o 6047
o 6046
o 6045
o 6044
o 6043
o 6042
o 6041
o 6040
o 6039
o 6038
o 6037
o 6036
o 6035
o 6034
o 6033
o 6032
o 6031
o 6030
o 6029
o 6028
o 6027
o 6026
o 6025
o 6024
o 6023
o 6022
o 6021
o 6020
o 6019
o 6018
o 6017
o 6016
o 6015
o 6014
o 6013
o 6012
o 6011
o 6010
o 6009
o 6008
o 6007
o 6006
o 6005
o 6004
o 6003
o 6002
o 6001
o 6000
o 5999
o 5998
o 5997
o 5996
o 5995
o 5994
o 5993
o 5992
o 5991
o 5990
o 5989
o 5988
o 5987
o 5986
o 5985
o 5984
o 5983
o 5982
o 5981
o 5980
o 5979
o 5978
o 5977
o 5976
o 5975
o 5974
o 5973
o 5972
o 5971
o 5970
o 5969
o 5968
o 5967
o 5966
o 5965
o 5964
o 5963
o 5962
o 5961
o 5960
o 5959
o 5958
o 5957
o 5956
o 5955
o 5954
o 5953
o 5952
o 5951
o 5950
o 5949
o 5948
o 5947
o 5946
o 5945
o 5944
o 5943
o 5942
o 5941
o 5940
o 5939
o 5938
o 5937
o 5936
o 5935
o 5934
o 5933
o 5932
o 5931
o 5930
o 5929
o 5928
o 5927
o 5926
o 5925
o 5924
o 5923
o 5922
o 5921
o 5920
o 5919
o 5918
o 5917
o 5916
o 5915
o 5914
o 5913
o 5912
o 5911
o 5910
o 5909
o 5908
o 5907
o 5906
o 5905
o 5904
o 5903
o 5902
o 5901
o 5900
o 5899
o 5898
o 5897
o 5896
o 5895
o 5894
o 5893
o 5892
o 5891
o 5890Killed
1979.613u 0.087s 33:12.21 99.3%	0+0k 0+0io 0pf+0w