Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wbo.wcnf-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_PSEUDO_miplib_normalized-mps-v2-20-10-sentoy.opb.msat.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/PSEUDO/miplib/normalized-mps-v2-20-10-sentoy.opb.msat.wcnf
Job solver: /home/jplanes/evaluation/solvers/VascoManquinho/wbo.wcnf
c core #1
c Core size: 442	Core Weight: 2	Total Weight: 2
c core #2
c Core size: 443	Core Weight: 1	Total Weight: 3
c core #3
c Core size: 417	Core Weight: 3	Total Weight: 6
c core #4
c Core size: 136	Core Weight: 1	Total Weight: 7
c core #5
c Core size: 49	Core Weight: 20	Total Weight: 27
c core #6
c Core size: 63	Core Weight: 4	Total Weight: 31
c core #7
c Core size: 56	Core Weight: 2	Total Weight: 33
c core #8
c Core size: 58	Core Weight: 19	Total Weight: 52
c core #9
c Core size: 69	Core Weight: 1	Total Weight: 53
c core #10
c Core size: 76	Core Weight: 2	Total Weight: 55
c core #11
c Core size: 40	Core Weight: 8	Total Weight: 63
c core #12
c Core size: 49	Core Weight: 5	Total Weight: 68
c core #13
c Core size: 66	Core Weight: 4	Total Weight: 72
c core #14
c Core size: 49	Core Weight: 13	Total Weight: 85
c core #15
c Core size: 87	Core Weight: 1	Total Weight: 86
c core #16
c Core size: 87	Core Weight: 1	Total Weight: 87
c core #17
c Core size: 67	Core Weight: 1	Total Weight: 88
c core #18
c Core size: 63	Core Weight: 1	Total Weight: 89
c Learning 1 hard constraints
c core #19
c Core size: 112	Core Weight: 1	Total Weight: 90
c core #20
c Core size: 71	Core Weight: 2	Total Weight: 92
c Learning 1 hard constraints
c core #21
c Core size: 65	Core Weight: 4	Total Weight: 96
c core #22
c Core size: 58	Core Weight: 1	Total Weight: 97
c core #23
c Core size: 68	Core Weight: 2	Total Weight: 99
c core #24
c Core size: 68	Core Weight: 2	Total Weight: 101
c core #25
c Core size: 160	Core Weight: 1	Total Weight: 102
c Learning 2 hard constraints
c core #26
c Core size: 108	Core Weight: 1	Total Weight: 103
c core #27
c Core size: 114	Core Weight: 1	Total Weight: 104
c core #28
c Core size: 107	Core Weight: 1	Total Weight: 105
c Learning 1 hard constraints
c core #29
c Core size: 102	Core Weight: 1	Total Weight: 106
c core #30
c Core size: 103	Core Weight: 1	Total Weight: 107
c core #31
c Core size: 104	Core Weight: 1	Total Weight: 108
c core #32
c Core size: 114	Core Weight: 2	Total Weight: 110
c core #33
c Core size: 163	Core Weight: 1	Total Weight: 111
c core #34
c Core size: 160	Core Weight: 1	Total Weight: 112
c core #35
c Core size: 138	Core Weight: 1	Total Weight: 113
c core #36
c Core size: 186	Core Weight: 1	Total Weight: 114
c Learning 3 hard constraints
c core #37
c Core size: 136	Core Weight: 1	Total Weight: 115
c Learning 1 hard constraints
c core #38
c Core size: 217	Core Weight: 1	Total Weight: 116
c Learning 1 hard constraints
c core #39
c Core size: 138	Core Weight: 1	Total Weight: 117
c Learning 2 hard constraints
c core #40
c Core size: 108	Core Weight: 1	Total Weight: 118
c core #41
c Core size: 56	Core Weight: 1	Total Weight: 119
c Learning 1 hard constraints
c core #42
c Core size: 65	Core Weight: 1	Total Weight: 120
c Learning 1 hard constraints
c core #43
c Core size: 75	Core Weight: 1	Total Weight: 121
c Learning 1 hard constraints
c core #44
c Core size: 64	Core Weight: 1	Total Weight: 122
c core #45
c Core size: 74	Core Weight: 1	Total Weight: 123
c core #46
c Core size: 76	Core Weight: 1	Total Weight: 124
c core #47
c Core size: 71	Core Weight: 1	Total Weight: 125
c core #48
c Core size: 77	Core Weight: 2	Total Weight: 127
c core #49
c Core size: 138	Core Weight: 1	Total Weight: 128
c core #50
c Core size: 141	Core Weight: 1	Total Weight: 129
c core #51
c Core size: 129	Core Weight: 1	Total Weight: 130
c core #52
c Core size: 130	Core Weight: 1	Total Weight: 131
c core #53
c Core size: 129	Core Weight: 1	Total Weight: 132
c Learning 2 hard constraints
c core #54
c Core size: 100	Core Weight: 1	Total Weight: 133
c core #55
c Core size: 85	Core Weight: 1	Total Weight: 134
c core #56
c Core size: 83	Core Weight: 2	Total Weight: 136
c core #57
c Core size: 90	Core Weight: 2	Total Weight: 138
c core #58
c Core size: 86	Core Weight: 1	Total Weight: 139
c core #59
c Core size: 98	Core Weight: 8	Total Weight: 147
c core #60
c Core size: 89	Core Weight: 3	Total Weight: 150
c core #61
c Core size: 74	Core Weight: 1	Total Weight: 151
c core #62
c Core size: 187	Core Weight: 1	Total Weight: 152
c core #63
c Core size: 227	Core Weight: 1	Total Weight: 153
c core #64
c Core size: 155	Core Weight: 1	Total Weight: 154
c core #65
c Core size: 113	Core Weight: 1	Total Weight: 155
c core #66
c Core size: 296	Core Weight: 1	Total Weight: 156
c core #67
c Core size: 226	Core Weight: 1	Total Weight: 157
c Learning 1 hard constraints
c core #68
c Core size: 260	Core Weight: 1	Total Weight: 158
c core #69
c Core size: 220	Core Weight: 1	Total Weight: 159
c core #70
c Core size: 327	Core Weight: 1	Total Weight: 160
c Learning 1 hard constraints
c core #71
c Core size: 293	Core Weight: 1	Total Weight: 161
c core #72
c Core size: 309	Core Weight: 1	Total Weight: 162
c core #73
c Core size: 312	Core Weight: 1	Total Weight: 163
c core #74
c Core size: 216	Core Weight: 1	Total Weight: 164
c Learning 1 hard constraints
c core #75
c Core size: 268	Core Weight: 1	Total Weight: 165
c Learning 2 hard constraints
c core #76
c Core size: 160	Core Weight: 3	Total Weight: 168
c Learning 7 hard constraints
c core #77
c Core size: 268	Core Weight: 1	Total Weight: 169
c core #78
c Core size: 258	Core Weight: 1	Total Weight: 170
c core #79
c Core size: 218	Core Weight: 1	Total Weight: 171
c Learning 1 hard constraints
c core #80
c Core size: 380	Core Weight: 1	Total Weight: 172
c Learning 2 hard constraints
c core #81
c Core size: 421	Core Weight: 1	Total Weight: 173
c core #82
c Core size: 524	Core Weight: 1	Total Weight: 174
c core #83
c Core size: 483	Core Weight: 1	Total Weight: 175
c Learning 2 hard constraints
c core #84
c Core size: 346	Core Weight: 1	Total Weight: 176
c Learning 23 hard constraints
c core #85
c Core size: 554	Core Weight: 1	Total Weight: 177
c Learning 4 hard constraints
c core #86
c Core size: 495	Core Weight: 1	Total Weight: 178
c Learning 6 hard constraints
c core #87
c Core size: 765	Core Weight: 1	Total Weight: 179
c Learning 4 hard constraints
c core #88
c Core size: 644	Core Weight: 1	Total Weight: 180
c Learning 25 hard constraints
c core #89
c Core size: 831	Core Weight: 1	Total Weight: 181
c Learning 56 hard constraints
c core #90
c Core size: 1138	Core Weight: 1	Total Weight: 182
c Learning 96 hard constraints
c core #91
c Core size: 1831	Core Weight: 1	Total Weight: 183
c Learning 63 hard constraints
c core #92
c Core size: 1950	Core Weight: 1	Total Weight: 184
c Learning 74 hard constraints
c core #93
c Core size: 1770	Core Weight: 1	Total Weight: 185
c Learning 39 hard constraints
c core #94
c Core size: 1852	Core Weight: 1	Total Weight: 186
c Learning 49 hard constraints
c core #95
c Core size: 3207	Core Weight: 1	Total Weight: 187
c Learning 52 hard constraints
c #cores: 95
c Final Weight: 187
s UNKNOWN
1800.013u 2.447s 30:04.37 99.8%	0+0k 0+0io 0pf+0w