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-mod008.opb.msat.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/PSEUDO/miplib/normalized-mps-v2-20-10-mod008.opb.msat.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 1011
o 962
o 940
o 620
o 608
o 552
o 550
o 549
o 527
o 486
o 466
o 462
o 450
o 436
o 430
o 417
o 399
o 398
o 380
o 367
c core #1
c 
c 
c Core size: 2589	Core Weight: 60	Total Weight: 60
c
c
c core #2
c 
c 
c Core size: 2610	Core Weight: 2	Total Weight: 62
c
c
c core #3
c 
c 
c Core size: 2164	Core Weight: 2	Total Weight: 64
c
c
c core #4
c 
c 
c Core size: 2435	Core Weight: 14	Total Weight: 78
c
c
c core #5
c 
c 
c Core size: 579	Core Weight: 1	Total Weight: 79
c
c
c core #6
c 
c 
c Core size: 2354	Core Weight: 1	Total Weight: 80
c
c
c core #7
c 
c 
c Core size: 3476	Core Weight: 1	Total Weight: 81
c
c
c core #8
c 
c 
c Core size: 3434	Core Weight: 1	Total Weight: 82
c
c
c core #9
c 
c 
c Core size: 2709	Core Weight: 1	Total Weight: 83
c
c
c core #10
c 
c 
c Core size: 2900	Core Weight: 1	Total Weight: 84
c
c
c core #11
c 
c 
c Core size: 2156	Core Weight: 1	Total Weight: 85
c
c
c core #12
c 
c 
c Core size: 1514	Core Weight: 1	Total Weight: 86
c
c
c core #13
c 
c 
c Core size: 2376	Core Weight: 1	Total Weight: 87
c
c
c core #14
c 
c 
c Core size: 1062	Core Weight: 1	Total Weight: 88
c
c
c core #15
c 
c 
c Core size: 1377	Core Weight: 2	Total Weight: 90
c
c
c core #16
c 
c 
c Core size: 1050	Core Weight: 32	Total Weight: 122
c
c
c core #17
c 
c 
c Core size: 2373	Core Weight: 1	Total Weight: 123
c
c
c core #18
c 
c 
c Core size: 1389	Core Weight: 1	Total Weight: 124
c
c
c core #19
c 
c 
c Core size: 1039	Core Weight: 1	Total Weight: 125
c
c
c core #20
c 
c 
c Core size: 2682	Core Weight: 1	Total Weight: 126
c
c
c core #21
c 
c 
c Core size: 1296	Core Weight: 2	Total Weight: 128
c
c
c core #22
c 
c 
c Core size: 2468	Core Weight: 1	Total Weight: 129
c
c
c core #23
c 
c 
c Core size: 1691	Core Weight: 5	Total Weight: 134
c
c
c core #24
c 
c 
c Core size: 2993	Core Weight: 1	Total Weight: 135
c
c
c core #25
c 
c 
c Core size: 1522	Core Weight: 1	Total Weight: 136
c
c
c core #26
c 
c 
c Core size: 1909	Core Weight: 1	Total Weight: 137
c
c
c core #27
c 
c 
c Core size: 994	Core Weight: 1	Total Weight: 138
c
c
c core #28
c 
c 
c Core size: 803	Core Weight: 1	Total Weight: 139
c
c
c core #29
c 
c 
c Core size: 1805	Core Weight: 1	Total Weight: 140
c
c
c core #30
c 
c 
c Core size: 2179	Core Weight: 1	Total Weight: 141
c
c
c core #31
c 
c 
c Core size: 3983	Core Weight: 1	Total Weight: 142
c
c
c core #32
c 
c 
c Core size: 4148	Core Weight: 1	Total Weight: 143
c
c