Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz-2009-pms_industrial-_home_maxsat_benchmarks_pms_industrial_haplotype-assembly_splitedReads_137.matrix.wcnf
Job file: /home/maxsat/benchmarks/pms_industrial/haplotype-assembly/splitedReads_137.matrix.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 11642 37730 10000
WARNING: Ubcsat not found.
o 10000
o 3830
o 3828
o 3826
o 3824
o 3822
o 3820
o 3818
o 3816
o 3814
o 3812
o 3810
o 3808
o 3806
o 3804
o 3802
o 3800
o 3798
o 3796
o 3794
o 3792
o 3790
o 3788
o 3786
o 3785
o 3784
o 3783
o 3782
o 3781
o 3780
o 3779
o 3778
o 3777
o 3776
o 3775
o 3774
o 3773
o 3772
o 3771
o 3770
o 3769
o 3768
o 3767
o 3766
o 3765
o 3764
o 3763
o 3762
o 3761
o 3760
o 3759
o 3758
o 3757
o 3756
o 3755
o 3754
o 3753
o 3752
o 3751
o 3750
o 3749
o 3748
o 3747
o 3746
o 3745
o 3744
o 3743
o 3742
o 3741
o 3740
o 3739
o 3738
o 3737
o 3736
o 3735
o 3734
o 3733
o 3732
o 3731
o 3730
o 3729
o 3728
o 3727
o 3726
o 3725
o 3724
o 3723
o 3722
o 3721
o 3720
o 3719
o 3718
o 3717
o 3716
o 3715
o 3714
o 3713
o 3712
o 3711
o 3710
o 3709
o 3708
o 3707
o 3706
o 3705
o 3704
o 3703
o 3702
o 3701
o 3700
o 3699
o 3698
o 3697
o 3696
o 3695
o 3694
o 3693
o 3692
o 3691
o 3690
o 3689
o 3688
o 3687
o 3686
o 3685
o 3684
o 3683
o 3682
o 3681
o 3680
o 3679
o 3678
o 3677
o 3676
o 3675
o 3674
o 3673
o 3672
o 3671
o 3670
o 3669
o 3668
o 3667
o 3666
o 3665
o 3664
o 3663
o 3662
o 3661
o 3660
o 3659
o 3658
o 3657
o 3656
o 3655
o 3654
o 3653
o 3652
o 3651
o 3650
o 3649
o 3648
o 3647
o 3646
o 3645
o 3644
o 3643
o 3642
o 3641
o 3640
o 3639
o 3638
o 3637
o 3636
o 3635
o 3634
o 3633
o 3632
o 3631
o 3630
o 3629
o 3628
o 3627
o 3626
o 3625
o 3624
o 3623
o 3622
o 3621
o 3620
o 3619
o 3618
o 3617
o 3616
o 3615
o 3614
o 3613
o 3612
o 3611
o 3610
o 3609
o 3608
o 3607
o 3606
o 3605
o 3604
o 3603
o 3602
o 3601
o 3600
o 3599
o 3598
o 3597
o 3596
o 3595
o 3594
o 3593
o 3592
o 3591
o 3590
o 3589
o 3588
o 3587
o 3586
o 3585
o 3584
o 3583
o 3582
o 3581
o 3580
o 3579
o 3578
o 3577
o 3576
o 3575
o 3574
o 3573
o 3572
o 3571
o 3570
o 3569
o 3568
o 3567
o 3566
o 3565
o 3564
o 3563
o 3562
o 3561
o 3560
o 3559
o 3558
o 3557
o 3556
o 3555
o 3554
o 3553
o 3552
o 3551
o 3550
o 3549
o 3548
o 3547
o 3546
o 3545
o 3544
o 3543
o 3542
o 3541
o 3540
o 3539
o 3538
o 3537
o 3536
o 3535
o 3534
o 3533
o 3532
o 3531
o 3530
o 3529
o 3528
o 3527
o 3526
o 3525
o 3524
o 3523
o 3522
o 3521
o 3520
o 3519
o 3518
o 3517
o 3516
o 3515
o 3514
o 3513
o 3512
o 3511
o 3510
o 3509
o 3508
o 3507
o 3506
o 3505
o 3504
o 3503
o 3502
o 3501
o 3500
o 3499
o 3498
o 3497
o 3496
o 3495
o 3494
o 3493
o 3492
o 3491
o 3490
o 3489
o 3488
o 3487
o 3486
o 3485
o 3484
o 3483
o 3482
o 3481
o 3480
o 3479
o 3478
o 3477
o 3476
o 3475
o 3474
o 3473
o 3472
o 3471
o 3470
o 3469
o 3468
o 3467
o 3466
o 3465
o 3464
o 3463
o 3462
o 3461
o 3460
o 3459
o 3458
o 3457
o 3456
o 3455
o 3454
o 3453
o 3452
o 3451
o 3450
o 3449
o 3448
o 3447
o 3446
o 3445
o 3444
o 3443
o 3442
o 3441
o 3440
o 3439
o 3438
o 3437
o 3436
o 3435
o 3434
o 3433
o 3432
o 3431
o 3430
o 3429
o 3428
o 3427
o 3426
o 3425
o 3424
o 3423
o 3422
o 3421
o 3420
o 3419
o 3418
o 3417
o 3416
o 3415
o 3414
o 3413
o 3412
o 3411
o 3410
o 3409
o 3408
o 3407
o 3406
o 3405
o 3404
o 3403
o 3402
o 3401
o 3400
o 3399
o 3398
o 3397
o 3396
o 3395
o 3394
o 3393
o 3392
o 3391
o 3390
o 3389
o 3388
o 3387
o 3386
o 3385
o 3384
o 3383
o 3382
o 3381
o 3380
o 3379
o 3378
o 3377
o 3376
o 3375
o 3374
o 3373
o 3372
o 3371
o 3370
o 3369
o 3368
o 3367
o 3366
o 3365
o 3364
o 3363
o 3362
o 3361
o 3360
o 3359
o 3358
o 3357
o 3356
o 3355
o 3354
o 3353
o 3352
o 3351
o 3350
o 3349
o 3348
o 3347
o 3346
o 3345
o 3344
o 3343
o 3342
o 3341
o 3340
o 3339
o 3338
o 3337
o 3336
o 3335
o 3334
o 3333
o 3332
o 3331
o 3330
o 3329
o 3328
o 3327
o 3326
o 3325
o 3324
o 3323
o 3322
o 3321
o 3320
o 3319
o 3318
o 3317
o 3316
o 3315
o 3314
o 3313
o 3312
o 3311
o 3310
o 3309
o 3308
o 3307
o 3306
o 3305
o 3304
o 3303
o 3302
o 3301
o 3300
o 3299
o 3298
o 3297
o 3296
o 3295
o 3294
o 3293
o 3292
o 3291
o 3290
o 3289
o 3288
o 3287
o 3286
o 3285
o 3284
o 3283
o 3282
o 3281
o 3280
o 3279
o 3278
o 3277
o 3276
o 3275
o 3274
o 3273
o 3272
o 3271
o 3270
o 3269
o 3268
o 3267
o 3266
o 3265
o 3264
o 3263
o 3262
o 3261
o 3260
o 3259
o 3258
o 3257
o 3256
o 3255
o 3254
o 3253
o 3252
o 3251
o 3250
o 3249
o 3248Killed
1979.623u 0.077s 33:07.29 99.6%	0+0k 0+0io 0pf+0w