Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wbo-1.4b-wcnf-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_PSEUDO_miplib_normalized-mps-v2-20-10-lseu.opb.msat.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/PSEUDO/miplib/normalized-mps-v2-20-10-lseu.opb.msat.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 3673
o 3643
o 3306
o 3172
o 2879
o 2872
o 2783
o 2535
o 2453
o 2440
o 2360
o 2331
o 2322
o 2128
o 2017
o 2000
o 1997
o 1980
o 1962
o 1852
o 1829
o 1767
o 1720
o 1683
o 1667
o 1649
o 1645
o 1614
o 1606
o 1580
o 1548
o 1537
o 1496
o 1436
o 1418
o 1413
o 1393
o 1371
o 1369
o 1361
o 1346
o 1338
o 1312
o 1280
o 1236
o 1189
c core #1
c 
c 
c Core size: 8	Core Weight: 78	Total Weight: 78
c
c
c core #2
c 
c 
c Core size: 4	Core Weight: 78	Total Weight: 156
c
c
c core #3
c 
c 
c Core size: 827	Core Weight: 7	Total Weight: 163
c
c
c core #4
c 
c 
c Core size: 1027	Core Weight: 3	Total Weight: 166
c
c
c core #5
c 
c 
c Core size: 1005	Core Weight: 39	Total Weight: 205
c
c
c core #6
c 
c 
c Core size: 574	Core Weight: 20	Total Weight: 225
c
c
c core #7
c 
c 
c Core size: 875	Core Weight: 16	Total Weight: 241
c
c
c core #8
c 
c 
c Core size: 1034	Core Weight: 1	Total Weight: 242
c
c
c core #9
c 
c 
c Core size: 1027	Core Weight: 6	Total Weight: 248
c
c
c core #10
c 
c 
c Core size: 910	Core Weight: 22	Total Weight: 270
c
c
c core #11
c 
c 
c Core size: 52	Core Weight: 1	Total Weight: 271
c
c
c core #12
c 
c 
c Core size: 91	Core Weight: 3	Total Weight: 274
c
c
c core #13
c 
c 
c Core size: 89	Core Weight: 3	Total Weight: 277
c
c
c core #14
c 
c 
c Core size: 91	Core Weight: 1	Total Weight: 278
c
c
c core #15
c 
c 
c Core size: 922	Core Weight: 20	Total Weight: 298
c
c
c core #16
c 
c 
c Core size: 922	Core Weight: 22	Total Weight: 320
c
c
c core #17
c 
c 
c Core size: 923	Core Weight: 3	Total Weight: 323
c
c
c core #18
c 
c 
c Core size: 127	Core Weight: 1	Total Weight: 324
c
c
c core #19
c 
c 
c Core size: 120	Core Weight: 2	Total Weight: 326
c
c
c core #20
c 
c 
c Core size: 158	Core Weight: 1	Total Weight: 327
c
c
c core #21
c 
c 
c Core size: 155	Core Weight: 2	Total Weight: 329
c
c
c core #22
c 
c 
c Core size: 27	Core Weight: 6	Total Weight: 335
c
c
c core #23
c 
c 
c Core size: 986	Core Weight: 1	Total Weight: 336
c
c
c core #24
c 
c 
c Core size: 153	Core Weight: 1	Total Weight: 337
c
c
c core #25
c 
c 
c Core size: 989	Core Weight: 3	Total Weight: 340
c
c
c core #26
c 
c 
c Core size: 814	Core Weight: 1	Total Weight: 341
c
c
c core #27
c 
c 
c Core size: 25	Core Weight: 1	Total Weight: 342
c
c
c core #28
c 
c 
c Core size: 24	Core Weight: 70	Total Weight: 412
c
c
c core #29
c 
c 
c Core size: 951	Core Weight: 1	Total Weight: 413
c
c
c core #30
c 
c 
c Core size: 88	Core Weight: 1	Total Weight: 414
c
c
c core #31
c 
c 
c Core size: 27	Core Weight: 1	Total Weight: 415
c
c
c core #32
c 
c 
c Core size: 55	Core Weight: 1	Total Weight: 416
c
c
c core #33
c 
c 
c Core size: 96	Core Weight: 1	Total Weight: 417
c
c
c core #34
c 
c 
c Core size: 24	Core Weight: 1	Total Weight: 418
c
c
c core #35
c 
c 
c Core size: 33	Core Weight: 1	Total Weight: 419
c
c
c core #36
c 
c 
c Core size: 31	Core Weight: 1	Total Weight: 420
c
c
c core #37
c 
c 
c Core size: 87	Core Weight: 2	Total Weight: 422
c
c
c core #38
c 
c 
c Core size: 29	Core Weight: 4	Total Weight: 426
c
c
c core #39
c 
c 
c Core size: 25	Core Weight: 3	Total Weight: 429
c
c
c core #40
c 
c 
c Core size: 818	Core Weight: 1	Total Weight: 430
c
c
c core #41
c 
c 
c Core size: 138	Core Weight: 1	Total Weight: 431
c
c
c core #42
c 
c 
c Core size: 81	Core Weight: 1	Total Weight: 432
c
c
c core #43
c 
c 
c Core size: 55	Core Weight: 1	Total Weight: 433
c
c
c core #44
c 
c 
c Core size: 89	Core Weight: 1	Total Weight: 434
c
c
c core #45
c 
c 
c Core size: 165	Core Weight: 1	Total Weight: 435
c
c
c core #46
c 
c 
c Core size: 40	Core Weight: 1	Total Weight: 436
c
c
c core #47
c 
c 
c Core size: 119	Core Weight: 1	Total Weight: 437
c
c
c core #48
c 
c 
c Core size: 93	Core Weight: 1	Total Weight: 438
c
c
c core #49
c 
c 
c Core size: 111	Core Weight: 1	Total Weight: 439
c
c
c core #50
c 
c 
c Core size: 49	Core Weight: 1	Total Weight: 440
c
c
c core #51
c 
c 
c Core size: 101	Core Weight: 1	Total Weight: 441
c
c
c core #52
c 
c 
c Core size: 85	Core Weight: 4	Total Weight: 445
c
c
c core #53
c 
c 
c Core size: 116	Core Weight: 1	Total Weight: 446
c
c
c core #54
c 
c 
c Core size: 85	Core Weight: 1	Total Weight: 447
c
c
c core #55
c 
c 
c Core size: 90	Core Weight: 1	Total Weight: 448
c
c
c core #56
c 
c 
c Core size: 89	Core Weight: 1	Total Weight: 449
c
c
c core #57
c 
c 
c Core size: 96	Core Weight: 1	Total Weight: 450
c
c
c core #58
c 
c 
c Core size: 554	Core Weight: 1	Total Weight: 451
c
c
c core #59
c 
c 
c Core size: 118	Core Weight: 1	Total Weight: 452
c
c
c core #60
c 
c 
c Core size: 114	Core Weight: 1	Total Weight: 453
c
c
c core #61
c 
c 
c Core size: 124	Core Weight: 1	Total Weight: 454
c
c
c core #62
c 
c 
c Core size: 986	Core Weight: 1	Total Weight: 455
c
c
c core #63
c 
c 
c Core size: 168	Core Weight: 1	Total Weight: 456
c
c
c core #64
c 
c 
c Core size: 149	Core Weight: 1	Total Weight: 457
c
c
c core #65
c 
c 
c Core size: 130	Core Weight: 1	Total Weight: 458
c
c
c core #66
c 
c 
c Core size: 610	Core Weight: 1	Total Weight: 459
c
c
c core #67
c 
c 
c Core size: 595	Core Weight: 1	Total Weight: 460
c
c
c core #68
c 
c 
c Core size: 1310	Core Weight: 1	Total Weight: 461
c
c
c core #69
c 
c 
c Core size: 619	Core Weight: 1	Total Weight: 462
c
c
c core #70
c 
c 
c Core size: 755	Core Weight: 1	Total Weight: 463
c
c
c core #71
c 
c 
c Core size: 896	Core Weight: 1	Total Weight: 464
c
c
c core #72
c 
c 
c Core size: 1472	Core Weight: 1	Total Weight: 465
c
c
c core #73
c 
c 
c Core size: 1436	Core Weight: 1	Total Weight: 466
c
c
c core #74
c 
c 
c Core size: 682	Core Weight: 1	Total Weight: 467
c
c
c core #75
c 
c 
c Core size: 635	Core Weight: 2	Total Weight: 469
c
c
c core #76
c 
c 
c Core size: 578	Core Weight: 1	Total Weight: 470
c
c
c core #77
c 
c 
c Core size: 1539	Core Weight: 1	Total Weight: 471
c
c
c core #78
c 
c 
c Core size: 883	Core Weight: 1	Total Weight: 472
c
c
c core #79
c 
c 
c Core size: 624	Core Weight: 1	Total Weight: 473
c
c
c core #80
c 
c 
c Core size: 1680	Core Weight: 1	Total Weight: 474
c
c
c core #81
c 
c 
c Core size: 868	Core Weight: 1	Total Weight: 475
c
c
c core #82
c 
c 
c Core size: 1683	Core Weight: 1	Total Weight: 476
c
c
c core #83
c 
c 
c Core size: 1526	Core Weight: 1	Total Weight: 477
c
c
c core #84
c 
c 
c Core size: 993	Core Weight: 1	Total Weight: 478
c
c
c core #85
c 
c 
c Core size: 918	Core Weight: 1	Total Weight: 479
c
c
c core #86
c 
c 
c Core size: 1057	Core Weight: 1	Total Weight: 480
c
c
c core #87
c 
c 
c Core size: 1004	Core Weight: 1	Total Weight: 481
c
c
c core #88
c 
c 
c Core size: 930	Core Weight: 1	Total Weight: 482
c
c
c core #89
c 
c 
c Core size: 959	Core Weight: 1	Total Weight: 483
c
c
c core #90
c 
c 
c Core size: 1213	Core Weight: 1	Total Weight: 484
c
c
c core #91
c 
c 
c Core size: 1006	Core Weight: 1	Total Weight: 485
c
c
c core #92
c 
c 
c Core size: 1015	Core Weight: 1	Total Weight: 486
c
c
c core #93
c 
c 
c Core size: 1433	Core Weight: 1	Total Weight: 487
c
c
c core #94
c 
c 
c Core size: 1071	Core Weight: 1	Total Weight: 488
c
c
c core #95
c 
c 
c Core size: 984	Core Weight: 1	Total Weight: 489
c
c
c core #96
c 
c 
c Core size: 983	Core Weight: 1	Total Weight: 490
c
c
c core #97
c 
c 
c Core size: 1067	Core Weight: 1	Total Weight: 491
c
c
c core #98
c 
c 
c Core size: 1144	Core Weight: 1	Total Weight: 492
c
c
c core #99
c 
c 
c Core size: 1068	Core Weight: 1	Total Weight: 493
c
c
c core #100
c 
c 
c Core size: 1086	Core Weight: 1	Total Weight: 494
c
c
c core #101
c 
c 
c Core size: 1020	Core Weight: 1	Total Weight: 495
c
c
c core #102
c 
c 
c Core size: 1150	Core Weight: 1	Total Weight: 496
c
c
c core #103
c 
c 
c Core size: 1411	Core Weight: 1	Total Weight: 497
c
c
c core #104
c 
c 
c Core size: 929	Core Weight: 1	Total Weight: 498
c
c
c core #105
c 
c 
c Core size: 1184	Core Weight: 1	Total Weight: 499
c
c
c core #106
c 
c 
c Core size: 1898	Core Weight: 1	Total Weight: 500
c
c
c core #107
c 
c 
c Core size: 1921	Core Weight: 1	Total Weight: 501
c
c
c core #108
c 
c 
c Core size: 1157	Core Weight: 1	Total Weight: 502
c
c
c core #109
c 
c 
c Core size: 1190	Core Weight: 1	Total Weight: 503
c
c
c core #110
c 
c 
c Core size: 1624	Core Weight: 1	Total Weight: 504
c
c
c core #111
c 
c 
c Core size: 1899	Core Weight: 1	Total Weight: 505
c
c
c core #112
c 
c 
c Core size: 1851	Core Weight: 1	Total Weight: 506
c
c
c core #113
c 
c 
c Core size: 1873	Core Weight: 1	Total Weight: 507
c
c
c core #114
c 
c 
c Core size: 1822	Core Weight: 1	Total Weight: 508
c
c
c core #115
c 
c 
c Core size: 1847	Core Weight: 1	Total Weight: 509
c
c
c core #116
c 
c 
c Core size: 2132	Core Weight: 1	Total Weight: 510
c
c
c core #117
c 
c 
c Core size: 2711	Core Weight: 1	Total Weight: 511
c
c
c core #118
c 
c 
c Core size: 2260	Core Weight: 1	Total Weight: 512
c
c
c core #119
c 
c 
c Core size: 2616	Core Weight: 1	Total Weight: 513
c
c
c core #120
c 
c 
c Core size: 2303	Core Weight: 1	Total Weight: 514
c
c
c core #121
c 
c 
c Core size: 2777	Core Weight: 1	Total Weight: 515
c
c
c core #122
c 
c 
c Core size: 2037	Core Weight: 1	Total Weight: 516
c
c
c core #123
c 
c 
c Core size: 2045	Core Weight: 1	Total Weight: 517
c
c
c core #124
c 
c 
c Core size: 1832	Core Weight: 1	Total Weight: 518
c
c
c core #125
c 
c 
c Core size: 2288	Core Weight: 1	Total Weight: 519
c
c
c core #126
c 
c 
c Core size: 2038	Core Weight: 1	Total Weight: 520
c
c
c core #127
c 
c 
c Core size: 2570	Core Weight: 1	Total Weight: 521
c
c
c core #128
c 
c 
c Core size: 2005	Core Weight: 1	Total Weight: 522
c
c
c core #129
c 
c 
c Core size: 2107	Core Weight: 1	Total Weight: 523
c
c
c core #130
c 
c 
c Core size: 2041	Core Weight: 1	Total Weight: 524
c
c
c core #131
c 
c 
c Core size: 2347	Core Weight: 1	Total Weight: 525
c
c
c core #132
c 
c 
c Core size: 2105	Core Weight: 1	Total Weight: 526
c
c
c core #133
c 
c 
c Core size: 2223	Core Weight: 1	Total Weight: 527
c
c
c core #134
c 
c 
c Core size: 2794	Core Weight: 1	Total Weight: 528
c
c
c core #135
c 
c 
c Core size: 3246	Core Weight: 1	Total Weight: 529
c
c
c core #136
c 
c 
c Core size: 2014	Core Weight: 1	Total Weight: 530
c
c
c core #137
c 
c 
c Core size: 2461	Core Weight: 1	Total Weight: 531
c
c
c core #138
c 
c 
c Core size: 2262	Core Weight: 1	Total Weight: 532
c
c
c core #139
c 
c 
c Core size: 2976	Core Weight: 1	Total Weight: 533
c
c