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-p0548.opb.msat.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/PSEUDO/miplib/normalized-mps-v2-20-10-p0548.opb.msat.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
c core #1
c 
c 
c Core size: 16	Core Weight: 15	Total Weight: 15
c
c
c core #2
c 
c 
c Core size: 17	Core Weight: 5	Total Weight: 20
c
c
c core #3
c 
c 
c Core size: 17	Core Weight: 10	Total Weight: 30
c
c
c core #4
c 
c 
c Core size: 176	Core Weight: 30	Total Weight: 60
c
c
c core #5
c 
c 
c Core size: 165	Core Weight: 3	Total Weight: 63
c
c
c core #6
c 
c 
c Core size: 137	Core Weight: 4	Total Weight: 67
c
c
c core #7
c 
c 
c Core size: 146	Core Weight: 1	Total Weight: 68
c
c
c core #8
c 
c 
c Core size: 134	Core Weight: 1	Total Weight: 69
c
c
c core #9
c 
c 
c Core size: 123	Core Weight: 2	Total Weight: 71
c
c
c core #10
c 
c 
c Core size: 156	Core Weight: 1	Total Weight: 72
c
c
c core #11
c 
c 
c Core size: 123	Core Weight: 2	Total Weight: 74
c
c
c core #12
c 
c 
c Core size: 108	Core Weight: 1	Total Weight: 75
c
c
c core #13
c 
c 
c Core size: 108	Core Weight: 1	Total Weight: 76
c
c
c core #14
c 
c 
c Core size: 144	Core Weight: 1	Total Weight: 77
c
c
c core #15
c 
c 
c Core size: 147	Core Weight: 1	Total Weight: 78
c
c
c core #16
c 
c 
c Core size: 128	Core Weight: 2	Total Weight: 80
c
c
c core #17
c 
c 
c Core size: 122	Core Weight: 4	Total Weight: 84
c
c
c core #18
c 
c 
c Core size: 127	Core Weight: 3	Total Weight: 87
c
c
c core #19
c 
c 
c Core size: 138	Core Weight: 1	Total Weight: 88
c
c
c core #20
c 
c 
c Core size: 124	Core Weight: 1	Total Weight: 89
c
c
c core #21
c 
c 
c Core size: 138	Core Weight: 1	Total Weight: 90
c
c
c core #22
c 
c 
c Core size: 83	Core Weight: 1	Total Weight: 91
c
c
c core #23
c 
c 
c Core size: 100	Core Weight: 1	Total Weight: 92
c
c
c core #24
c 
c 
c Core size: 132	Core Weight: 2	Total Weight: 94
c
c
c core #25
c 
c 
c Core size: 116	Core Weight: 1	Total Weight: 95
c
c
c core #26
c 
c 
c Core size: 135	Core Weight: 1	Total Weight: 96
c
c
c core #27
c 
c 
c Core size: 84	Core Weight: 1	Total Weight: 97
c
c
c core #28
c 
c 
c Core size: 129	Core Weight: 1	Total Weight: 98
c
c
c core #29
c 
c 
c Core size: 162	Core Weight: 1	Total Weight: 99
c
c
c core #30
c 
c 
c Core size: 135	Core Weight: 1	Total Weight: 100
c
c
c core #31
c 
c 
c Core size: 156	Core Weight: 1	Total Weight: 101
c
c
c core #32
c 
c 
c Core size: 160	Core Weight: 1	Total Weight: 102
c
c
c core #33
c 
c 
c Core size: 137	Core Weight: 1	Total Weight: 103
c
c
c core #34
c 
c 
c Core size: 177	Core Weight: 1	Total Weight: 104
c
c
c core #35
c 
c 
c Core size: 131	Core Weight: 1	Total Weight: 105
c
c
c core #36
c 
c 
c Core size: 203	Core Weight: 1	Total Weight: 106
c
c
c core #37
c 
c 
c Core size: 210	Core Weight: 1	Total Weight: 107
c
c
c core #38
c 
c 
c Core size: 264	Core Weight: 1	Total Weight: 108
c
c
c core #39
c 
c 
c Core size: 350	Core Weight: 1	Total Weight: 109
c
c
c core #40
c 
c 
c Core size: 380	Core Weight: 1	Total Weight: 110
c
c
c core #41
c 
c 
c Core size: 308	Core Weight: 1	Total Weight: 111
c
c
c core #42
c 
c 
c Core size: 806	Core Weight: 1	Total Weight: 112
c
c
c core #43
c 
c 
c Core size: 766	Core Weight: 1	Total Weight: 113
c
c
c core #44
c 
c 
c Core size: 1706	Core Weight: 1	Total Weight: 114
c
c
c core #45
c 
c 
c Core size: 1011	Core Weight: 1	Total Weight: 115
c
c