Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wbo-1.4b-wcnf-wpms_random-_home_maxsat_benchmarks_wpms_random_wpmax2sat_hi_file_rwpms_wcnf_L2_V150_C4500_H150_0.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4500_H150_0.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 23789
o 23783
o 23777
o 23775
o 23769
o 23765
o 23764
o 23763
o 23761
o 23758
o 23756
o 23755
o 23753
o 23752
o 23750
o 23748
o 23747
o 23746
o 23744
o 23742
o 23741
o 23739
o 23738
o 23736
o 23732
o 23730
o 23729
o 23728
o 23726
o 23725
o 23724
o 23723
o 23722
o 23721
o 23720
o 23719
o 23718
o 23717
o 23716
o 23714
o 23712
o 23711
o 23710
o 23709
o 23707
o 23706
o 23704
o 23703
o 23702
o 23701
o 23700
o 23699
o 23697
o 23696
o 23695
o 23694
o 23692
o 23690
o 23689
o 23687
o 23686
o 23685
o 23684
o 23682
o 23681
o 23680
o 23679
o 23678
o 23676
o 23675
o 23673
o 23669
o 23666
o 23665
o 23664
o 23660
o 23659
o 23657
o 23656
o 23654
o 23653
o 23652
o 23650
o 23649
o 23648
o 23647
o 23646
o 23645
o 23642
o 23641
o 23640
o 23639
o 23638
o 23637
o 23632
o 23630
o 23628
o 23627
o 23626
o 23624
o 23623
o 23619
o 23616
o 23614
o 23612
o 23610
o 23609
o 23608
o 23606
o 23604
o 23603
o 23602
o 23601
o 23600
o 23599
o 23598
o 23597
o 23595
o 23594
o 23591
o 23589
o 23585
o 23584
o 23581
o 23580
o 23578
o 23577
o 23576
o 23574
o 23573
o 23572
o 23569
o 23566
o 23563
o 23562
o 23561
o 23560
o 23559
o 23558
o 23557
o 23556
o 23555
o 23554
o 23553
o 23552
o 23549
o 23548
o 23547
o 23546
o 23545
o 23542
o 23541
o 23540
o 23539
o 23537
o 23535
o 23534
o 23531
o 23530
o 23527
o 23526
o 23524
o 23521
o 23520
o 23518
o 23516
o 23514
o 23513
o 23511
o 23510
o 23509
o 23508
o 23507
o 23506
o 23504
o 23503
o 23501
o 23499
o 23498
o 23496
o 23493
o 23491
o 23489
o 23487
o 23486
o 23485
o 23484
o 23482
o 23481
o 23480
o 23479
o 23478
o 23477
o 23475
o 23474
o 23473
o 23472
o 23470
o 23469
o 23468
o 23467
o 23465
o 23464
o 23463
o 23462
o 23460
o 23459
o 23458
o 23457
o 23456
o 23455
o 23454
o 23453
o 23452
o 23451
o 23450
o 23449
o 23448
o 23447
o 23446
o 23445
o 23444
o 23442
o 23441
o 23440
o 23439
o 23437
o 23436
o 23435
o 23434
o 23433
o 23432
o 23430
o 23429
o 23428
o 23425
o 23424
o 23422
o 23421
o 23419
o 23416
o 23415
o 23413
o 23412
o 23410
o 23409
o 23407
o 23406
o 23405
o 23404
o 23403
o 23402
o 23400
o 23399
o 23397
o 23394
o 23393
o 23390
o 23389
o 23388
o 23387
o 23386
o 23385
o 23384
o 23383
o 23382
o 23381
o 23379
o 23378
o 23376
o 23374
o 23373
o 23372
o 23371
o 23370
o 23368
o 23366
o 23364
o 23362
o 23361
o 23360
o 23359
o 23357
o 23356
o 23354
o 23352
o 23351
o 23350
o 23348
o 23347
o 23345
o 23343
o 23342
o 23341
o 23340
o 23339
o 23338
o 23337
o 23336
o 23335
o 23334
o 23333
o 23332
o 23331
o 23330
o 23329
o 23328
o 23327
o 23326
o 23325
o 23324
o 23323
o 23322
o 23321
o 23320
o 23319
o 23318
o 23317
o 23316
o 23315
o 23314
o 23313
o 23312
o 23311
c core #1
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 1
c
c
c core #2
c 
c 
c Core size: 8	Core Weight: 3	Total Weight: 4
c
c
c core #3
c 
c 
c Core size: 6	Core Weight: 2	Total Weight: 6
c
c
c core #4
c 
c 
c Core size: 5	Core Weight: 1	Total Weight: 7
c
c
c core #5
c 
c 
c Core size: 7	Core Weight: 4	Total Weight: 11
c
c
c core #6
c 
c 
c Core size: 6	Core Weight: 1	Total Weight: 12
c
c
c core #7
c 
c 
c Core size: 8	Core Weight: 3	Total Weight: 15
c
c
c core #8
c 
c 
c Core size: 6	Core Weight: 2	Total Weight: 17
c
c
c core #9
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 18
c
c
c core #10
c 
c 
c Core size: 8	Core Weight: 3	Total Weight: 21
c
c
c core #11
c 
c 
c Core size: 8	Core Weight: 3	Total Weight: 24
c
c
c core #12
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 25
c
c
c core #13
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 26
c
c
c core #14
c 
c 
c Core size: 7	Core Weight: 2	Total Weight: 28
c
c
c core #15
c 
c 
c Core size: 7	Core Weight: 5	Total Weight: 33
c
c
c core #16
c 
c 
c Core size: 8	Core Weight: 2	Total Weight: 35
c
c
c core #17
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 36
c
c
c core #18
c 
c 
c Core size: 7	Core Weight: 2	Total Weight: 38
c
c
c core #19
c 
c 
c Core size: 8	Core Weight: 4	Total Weight: 42
c
c
c core #20
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 43
c
c
c core #21
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 44
c
c
c core #22
c 
c 
c Core size: 7	Core Weight: 2	Total Weight: 46
c
c
c core #23
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 47
c
c
c core #24
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 48
c
c
c core #25
c 
c 
c Core size: 8	Core Weight: 2	Total Weight: 50
c
c
c core #26
c 
c 
c Core size: 8	Core Weight: 2	Total Weight: 52
c
c
c core #27
c 
c 
c Core size: 8	Core Weight: 5	Total Weight: 57
c
c
c core #28
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 58
c
c
c core #29
c 
c 
c Core size: 5	Core Weight: 2	Total Weight: 60
c
c
c core #30
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 61
c
c
c core #31
c 
c 
c Core size: 8	Core Weight: 3	Total Weight: 64
c
c
c core #32
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 65
c
c
c core #33
c 
c 
c Core size: 6	Core Weight: 3	Total Weight: 68
c
c
c core #34
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 69
c
c
c core #35
c 
c 
c Core size: 9	Core Weight: 3	Total Weight: 72
c
c
c core #36
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 73
c
c
c core #37
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 74
c
c
c core #38
c 
c 
c Core size: 9	Core Weight: 2	Total Weight: 76
c
c
c core #39
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 77
c
c
c core #40
c 
c 
c Core size: 9	Core Weight: 3	Total Weight: 80
c
c
c core #41
c 
c 
c Core size: 8	Core Weight: 3	Total Weight: 83
c
c
c core #42
c 
c 
c Core size: 7	Core Weight: 2	Total Weight: 85
c
c
c core #43
c 
c 
c Core size: 9	Core Weight: 2	Total Weight: 87
c
c
c core #44
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 88
c
c
c core #45
c 
c 
c Core size: 6	Core Weight: 1	Total Weight: 89
c
c
c core #46
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 90
c
c
c core #47
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 91
c
c
c core #48
c 
c 
c Core size: 9	Core Weight: 2	Total Weight: 93
c
c
c core #49
c 
c 
c Core size: 10	Core Weight: 2	Total Weight: 95
c
c
c core #50
c 
c 
c Core size: 11	Core Weight: 2	Total Weight: 97
c
c
c core #51
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 98
c
c
c core #52
c 
c 
c Core size: 9	Core Weight: 2	Total Weight: 100
c
c
c core #53
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 101
c
c
c core #54
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 102
c
c
c core #55
c 
c 
c Core size: 8	Core Weight: 2	Total Weight: 104
c
c
c core #56
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 105
c
c
c core #57
c 
c 
c Core size: 10	Core Weight: 2	Total Weight: 107
c
c
c core #58
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 108
c
c
c core #59
c 
c 
c Core size: 6	Core Weight: 3	Total Weight: 111
c
c
c core #60
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 112
c
c
c core #61
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 113
c
c
c core #62
c 
c 
c Core size: 9	Core Weight: 2	Total Weight: 115
c
c
c core #63
c 
c 
c Core size: 6	Core Weight: 2	Total Weight: 117
c
c
c core #64
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 118
c
c
c core #65
c 
c 
c Core size: 7	Core Weight: 5	Total Weight: 123
c
c
c core #66
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 124
c
c
c core #67
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 125
c
c
c core #68
c 
c 
c Core size: 9	Core Weight: 2	Total Weight: 127
c
c
c core #69
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 128
c
c
c core #70
c 
c 
c Core size: 9	Core Weight: 2	Total Weight: 130
c
c