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_C5000_H150_8.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C5000_H150_8.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 26807
o 26802
o 26798
o 26795
o 26794
o 26790
o 26788
o 26787
o 26785
o 26783
o 26782
o 26780
o 26777
o 26774
o 26769
o 26768
o 26766
o 26765
o 26764
o 26763
o 26762
o 26760
o 26759
o 26756
o 26755
o 26753
o 26749
o 26748
o 26746
o 26745
o 26743
o 26742
o 26741
o 26740
o 26739
o 26738
o 26734
o 26733
o 26732
o 26731
o 26728
o 26726
o 26725
o 26723
o 26719
o 26718
o 26716
o 26712
o 26708
o 26707
o 26704
o 26703
o 26702
o 26698
o 26695
o 26690
o 26688
o 26686
o 26685
o 26684
o 26683
o 26680
o 26678
o 26676
o 26675
o 26674
o 26671
o 26669
o 26668
o 26664
o 26660
o 26656
o 26655
o 26653
o 26652
o 26646
o 26645
o 26642
o 26640
o 26635
o 26632
o 26631
o 26630
o 26629
o 26627
o 26626
o 26625
o 26623
o 26619
o 26617
o 26614
o 26613
o 26611
o 26609
o 26608
o 26607
o 26603
o 26601
o 26598
o 26595
o 26594
o 26593
o 26592
o 26591
o 26588
o 26586
o 26585
o 26584
o 26583
o 26582
o 26579
o 26578
o 26577
o 26574
o 26572
o 26569
o 26568
o 26567
o 26566
o 26564
o 26563
o 26562
o 26561
o 26560
o 26559
o 26558
o 26557
o 26556
o 26555
o 26554
o 26553
o 26552
o 26551
o 26550
o 26548
o 26547
o 26546
o 26544
o 26540
o 26538
o 26536
o 26535
o 26534
o 26533
o 26532
o 26528
o 26527
o 26525
o 26524
o 26522
o 26521
o 26519
o 26518
o 26516
o 26514
o 26511
o 26510
o 26509
o 26507
o 26504
o 26502
o 26501
o 26500
o 26499
o 26498
o 26497
o 26496
o 26493
o 26490
o 26489
o 26486
o 26485
o 26484
o 26483
o 26482
o 26481
o 26480
o 26479
o 26477
o 26475
o 26473
o 26472
o 26471
o 26469
o 26467
o 26466
o 26464
o 26463
o 26462
o 26461
o 26460
o 26459
o 26457
o 26456
o 26455
o 26453
o 26452
o 26449
o 26448
o 26447
o 26446
o 26445
o 26444
o 26442
o 26441
o 26440
o 26438
o 26436
o 26434
o 26432
o 26430
o 26429
o 26428
o 26425
o 26424
o 26423
o 26422
o 26421
o 26418
o 26417
o 26416
o 26415
o 26414
o 26413
o 26411
o 26410
o 26409
o 26408
o 26406
o 26405
o 26404
o 26403
o 26402
o 26401
o 26399
o 26398
o 26397
o 26396
o 26395
o 26394
o 26392
o 26391
o 26389
o 26388
o 26387
o 26386
o 26385
o 26383
o 26382
o 26381
o 26380
o 26379
o 26377
o 26376
o 26375
o 26374
o 26372
o 26371
o 26370
o 26369
o 26368
o 26367
o 26366
o 26365
o 26364
o 26363
o 26362
o 26361
o 26360
o 26359
o 26358
o 26357
o 26356
o 26355
o 26354
o 26353
o 26352
o 26351
o 26350
o 26349
o 26348
o 26347
o 26346
o 26345
o 26344
o 26343
o 26342
o 26341
o 26340
o 26339
o 26338
o 26337
o 26336
o 26335
o 26334
o 26333
o 26332
o 26331
o 26330
o 26329
o 26328
o 26327
o 26326
o 26325
o 26324
o 26323
o 26322
o 26321
o 26320
o 26319
o 26318
o 26317
o 26316
o 26315
o 26314
o 26313
o 26312
o 26311
o 26310
o 26309
o 26308
o 26307
o 26306
o 26305
o 26304
o 26303
o 26302
o 26301
o 26300
c core #1
c 
c 
c Core size: 23	Core Weight: 1	Total Weight: 12
c
c
c core #2
c 
c 
c Core size: 20	Core Weight: 2	Total Weight: 14
c
c
c core #3
c 
c 
c Core size: 19	Core Weight: 2	Total Weight: 16
c
c
c core #4
c 
c 
c Core size: 31	Core Weight: 1	Total Weight: 17
c
c
c core #5
c 
c 
c Core size: 27	Core Weight: 3	Total Weight: 20
c
c
c core #6
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 21
c
c
c core #7
c 
c 
c Core size: 25	Core Weight: 1	Total Weight: 22
c
c
c core #8
c 
c 
c Core size: 17	Core Weight: 1	Total Weight: 23
c
c
c core #9
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 24
c
c
c core #10
c 
c 
c Core size: 14	Core Weight: 3	Total Weight: 27
c
c
c core #11
c 
c 
c Core size: 22	Core Weight: 1	Total Weight: 28
c
c
c core #12
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 29
c
c
c core #13
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 30
c
c
c core #14
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 31
c
c
c core #15
c 
c 
c Core size: 14	Core Weight: 2	Total Weight: 33
c
c
c core #16
c 
c 
c Core size: 16	Core Weight: 1	Total Weight: 34
c
c
c core #17
c 
c 
c Core size: 17	Core Weight: 2	Total Weight: 36
c
c
c core #18
c 
c 
c Core size: 13	Core Weight: 3	Total Weight: 39
c
c
c core #19
c 
c 
c Core size: 14	Core Weight: 3	Total Weight: 42
c
c
c core #20
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 43
c
c
c core #21
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 44
c
c
c core #22
c 
c 
c Core size: 16	Core Weight: 2	Total Weight: 46
c
c
c core #23
c 
c 
c Core size: 13	Core Weight: 2	Total Weight: 48
c
c
c core #24
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 49
c
c
c core #25
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 50
c
c
c core #26
c 
c 
c Core size: 21	Core Weight: 2	Total Weight: 52
c
c
c core #27
c 
c 
c Core size: 11	Core Weight: 2	Total Weight: 54
c
c
c core #28
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 55
c
c
c core #29
c 
c 
c Core size: 15	Core Weight: 1	Total Weight: 56
c
c
c core #30
c 
c 
c Core size: 15	Core Weight: 2	Total Weight: 58
c
c
c core #31
c 
c 
c Core size: 10	Core Weight: 4	Total Weight: 62
c
c
c core #32
c 
c 
c Core size: 9	Core Weight: 4	Total Weight: 66
c
c
c core #33
c 
c 
c Core size: 11	Core Weight: 2	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: 8	Core Weight: 5	Total Weight: 74
c
c
c core #36
c 
c 
c Core size: 9	Core Weight: 3	Total Weight: 77
c
c
c core #37
c 
c 
c Core size: 8	Core Weight: 2	Total Weight: 79
c
c
c core #38
c 
c 
c Core size: 8	Core Weight: 3	Total Weight: 82
c
c
c core #39
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 83
c
c
c core #40
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 84
c
c
c core #41
c 
c 
c Core size: 10	Core Weight: 2	Total Weight: 86
c
c
c core #42
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 87
c
c
c core #43
c 
c 
c Core size: 13	Core Weight: 3	Total Weight: 90
c
c
c core #44
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 91
c
c
c core #45
c 
c 
c Core size: 10	Core Weight: 4	Total Weight: 95
c
c
c core #46
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 96
c
c
c core #47
c 
c 
c Core size: 8	Core Weight: 2	Total Weight: 98
c
c
c core #48
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 99
c
c
c core #49
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 100
c
c
c core #50
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 101
c
c
c core #51
c 
c 
c Core size: 15	Core Weight: 1	Total Weight: 102
c
c
c core #52
c 
c 
c Core size: 17	Core Weight: 1	Total Weight: 103
c
c
c core #53
c 
c 
c Core size: 9	Core Weight: 3	Total Weight: 106
c
c
c core #54
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 107
c
c
c core #55
c 
c 
c Core size: 13	Core Weight: 3	Total Weight: 110
c
c
c core #56
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 111
c
c
c core #57
c 
c 
c Core size: 14	Core Weight: 2	Total Weight: 113
c
c
c core #58
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 114
c
c
c core #59
c 
c 
c Core size: 16	Core Weight: 1	Total Weight: 115
c
c
c core #60
c 
c 
c Core size: 11	Core