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-p0548.opb.msat.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/PSEUDO/miplib/normalized-mps-v2-20-10-p0548.opb.msat.wcnf
Job solver: /home/jplanes/evaluation/solvers/VascoManquinho/wbo.wcnf
c core #1
c Core size: 18	Core Weight: 15	Total Weight: 15
c core #2
c Core size: 19	Core Weight: 5	Total Weight: 20
c core #3
c Core size: 19	Core Weight: 10	Total Weight: 30
c core #4
c Core size: 178	Core Weight: 30	Total Weight: 60
c core #5
c Core size: 179	Core Weight: 3	Total Weight: 63
c Learning 1 hard constraints
c core #6
c Core size: 146	Core Weight: 4	Total Weight: 67
c Learning 2 hard constraints
c core #7
c Core size: 165	Core Weight: 1	Total Weight: 68
c Learning 1 hard constraints
c core #8
c Core size: 160	Core Weight: 1	Total Weight: 69
c core #9
c Core size: 183	Core Weight: 2	Total Weight: 71
c core #10
c Core size: 175	Core Weight: 1	Total Weight: 72
c Learning 2 hard constraints
c core #11
c Core size: 186	Core Weight: 2	Total Weight: 74
c Learning 8 hard constraints
c core #12
c Core size: 138	Core Weight: 1	Total Weight: 75
c core #13
c Core size: 140	Core Weight: 5	Total Weight: 80
c core #14
c Core size: 168	Core Weight: 4	Total Weight: 84
c core #15
c Core size: 169	Core Weight: 3	Total Weight: 87
c core #16
c Core size: 254	Core Weight: 1	Total Weight: 88
c Learning 7 hard constraints
c core #17
c Core size: 250	Core Weight: 1	Total Weight: 89
c Learning 4 hard constraints
c core #18
c Core size: 215	Core Weight: 1	Total Weight: 90
c Learning 14 hard constraints
c core #19
c Core size: 202	Core Weight: 1	Total Weight: 91
c Learning 1 hard constraints
c core #20
c Core size: 292	Core Weight: 1	Total Weight: 92
c Learning 43 hard constraints
c core #21
c Core size: 199	Core Weight: 2	Total Weight: 94
c Learning 6 hard constraints
c core #22
c Core size: 249	Core Weight: 1	Total Weight: 95
c Learning 6 hard constraints
c core #23
c Core size: 226	Core Weight: 2	Total Weight: 97
c Learning 3 hard constraints
c core #24
c Core size: 256	Core Weight: 1	Total Weight: 98
c Learning 5 hard constraints
c core #25
c Core size: 336	Core Weight: 1	Total Weight: 99
c Learning 10 hard constraints
c core #26
c Core size: 320	Core Weight: 1	Total Weight: 100
c Learning 1 hard constraints
c core #27
c Core size: 412	Core Weight: 1	Total Weight: 101
c Learning 18 hard constraints
c core #28
c Core size: 505	Core Weight: 1	Total Weight: 102
c Learning 26 hard constraints
c core #29
c Core size: 601	Core Weight: 1	Total Weight: 103
c Learning 120 hard constraints
c core #30
c Core size: 609	Core Weight: 1	Total Weight: 104
c Learning 76 hard constraints
c core #31
c Core size: 663	Core Weight: 1	Total Weight: 105
c Learning 150 hard constraints
c core #32
c Core size: 926	Core Weight: 1	Total Weight: 106
c Learning 93 hard constraints
c core #33
c Core size: 867	Core Weight: 1	Total Weight: 107
c Learning 273 hard constraints
c core #34
c Core size: 974	Core Weight: 1	Total Weight: 108
c Learning 84 hard constraints
c core #35
c Core size: 1087	Core Weight: 1	Total Weight: 109
c Learning 131 hard constraints
c core #36
c Core size: 1328	Core Weight: 1	Total Weight: 110
c Learning 469 hard constraints
c core #37
c Core size: 2005	Core Weight: 1	Total Weight: 111
c Learning 170 hard constraints
c core #38
c Core size: 2131	Core Weight: 1	Total Weight: 112
c Learning 1190 hard constraints
c core #39
c Core size: 2988	Core Weight: 1	Total Weight: 113
c Learning 722 hard constraints
c core #40
c Core size: 3883	Core Weight: 1	Total Weight: 114
c Learning 730 hard constraints
c core #41
c Core size: 6099	Core Weight: 1	Total Weight: 115
c Learning 1978 hard constraints
c core #42
c Core size: 1115	Core Weight: 1	Total Weight: 116
c Learning 251 hard constraints
c core #43
c Core size: 1005	Core Weight: 1	Total Weight: 117
c Learning 23 hard constraints
c core #44
c Core size: 1025	Core Weight: 3	Total Weight: 120
c Learning 34 hard constraints
c core #45
c Core size: 808	Core Weight: 1	Total Weight: 121
c Learning 67 hard constraints
c core #46
c Core size: 868	Core Weight: 1	Total Weight: 122
c Learning 1 hard constraints
c core #47
c Core size: 833	Core Weight: 1	Total Weight: 123
c core #48
c Core size: 979	Core Weight: 1	Total Weight: 124
c Learning 2 hard constraints
c core #49
c Core size: 902	Core Weight: 1	Total Weight: 125
c Learning 3 hard constraints
c core #50
c Core size: 993	Core Weight: 1	Total Weight: 126
c Learning 8 hard constraints
c core #51
c Core size: 987	Core Weight: 1	Total Weight: 127
c Learning 4 hard constraints
c core #52
c Core size: 1017	Core Weight: 1	Total Weight: 128
c Learning 7 hard constraints
c core #53
c Core size: 1064	Core Weight: 1	Total Weight: 129
c Learning 3 hard constraints
c core #54
c Core size: 1111	Core Weight: 1	Total Weight: 130
c Learning 6 hard constraints
c core #55
c Core size: 927	Core Weight: 1	Total Weight: 131
c Learning 13 hard constraints
c core #56
c Core size: 937	Core Weight: 1	Total Weight: 132
c Learning 39 hard constraints
c core #57
c Core size: 819	Core Weight: 1	Total Weight: 133
c Learning 15 hard constraints
c core #58
c Core size: 912	Core Weight: 1	Total Weight: 134
c Learning 68 hard constraints
c core #59
c Core size: 758	Core Weight: 1	Total Weight: 135
c Learning 15 hard constraints
c core #60
c Core size: 867	Core Weight: 1	Total Weight: 136
c Learning 3 hard constraints
c core #61
c Core size: 681	Core Weight: 1	Total Weight: 137
c Learning 4 hard constraints
c core #62
c Core size: 1265	Core Weight: 1	Total Weight: 138
c Learning 92 hard constraints
c core #63
c Core size: 969	Core Weight: 1	Total Weight: 139
c Learning 17 hard constraints
c core #64
c Core size: 1423	Core Weight: 1	Total Weight: 140
c Learning 132 hard constraints
c core #65
c Core size: 1359	Core Weight: 1	Total Weight: 141
c Learning 163 hard constraints
c core #66
c Core size: 1436	Core Weight: 1	Total Weight: 142
c Learning 56 hard constraints
c core #67
c Core size: 1316	Core Weight: 1	Total Weight: 143
c Learning 85 hard constraints
c core #68
c Core size: 1344	Core Weight: 1	Total Weight: 144
c Learning 187 hard constraints
c core #69
c Core size: 1435	Core Weight: 1	Total Weight: 145
c Learning 214 hard constraints
c core #70
c Core size: 980	Core Weight: 1	Total Weight: 146
c Learning 6 hard constraints
c core #71
c Core size: 916	Core Weight: 1	Total Weight: 147
c Learning 2 hard constraints
c core #72
c Core size: 1414	Core Weight: 1	Total Weight: 148
c Learning 157 hard constraints
c core #73
c Core size: 1775	Core Weight: 1	Total Weight: 149
c Learning 321 hard constraints
c core #74
c Core size: 1646	Core Weight: 1	Total Weight: 150
c Learning 97 hard constraints
c core #75
c Core size: 1731	Core Weight: 1	Total Weight: 151
c Learning 348 hard constraints
c core #76
c Core size: 1720	Core Weight: 1	Total Weight: 152
c Learning 170 hard constraints
c core #77
c Core size: 1770	Core Weight: 1	Total Weight: 153
c Learning 241 hard constraints
c core #78
c Core size: 2350	Core Weight: 1	Total Weight: 154
c Learning 866 hard constraints
c core #79
c Core size: 2838	Core Weight: 1	Total Weight: 155
c Learning 1126 hard constraints
c core #80
c Core size: 3381	Core Weight: 1	Total Weight: 156
c Learning 2608 hard constraints
c core #81
c Core size: 4586	Core Weight: 1	Total Weight: 157
c Learning 2561 hard constraints
c core #82
c Core size: 5776	Core Weight: 1	Total Weight: 158
c Learning 1013 hard constraints
c core #83
c Core size: 5770	Core Weight: 1	Total Weight: 159
c Learning 4656 hard constraints
c core #84
c Core size: 6258	Core Weight: 1	Total Weight: 160
c Learning 2343 hard constraints
c core #85
c Core size: 6057	Core Weight: 1	Total Weight: 161
c Learning 1349 hard constraints
c core #86
c Core size: 5243	Core Weight: 1	Total Weight: 162
c Learning 715 hard constraints
c core #87
c Core size: 6405	Core Weight: 1	Total Weight: 163
c Learning 3514 hard constraints
c core #88
c Core size: 4437	Core Weight: 1	Total Weight: 164
c Learning 372 hard constraints
c core #89
c Core size: 5451	Core Weight: 1	Total Weight: 165
c Learning 813 hard constraints
c core #90
c Core size: 6275	Core Weight: 1	Total Weight: 166
c Learning 1374 hard constraints
c core #91
c Core size: 6209	Core Weight: 1	Total Weight: 167
c Learning 3161 hard constraints
c core #92
c Core size: 5059	Core Weight: 1	Total Weight: 168
c Learning 841 hard constraints
c core #93
c Core size: 7565	Core Weight: 1	Total Weight: 169
c Learning 4191 hard constraints
c core #94
c Core size: 7000	Core Weight: 1	Total Weight: 170
c Learning 7584 hard constraints
c core #95
c Core size: 7666	Core Weight: 1	Total Weight: 171
c Learning 4968 hard constraints
c core #96
c Core size: 2596	Core Weight: 1	Total Weight: 172
c Learning 354 hard constraints
c core #97
c Core size: 2552	Core Weight: 1	Total Weight: 173
c Learning 199 hard constraints
c core #98
c Core size: 4213	Core Weight: 1	Total Weight: 174
c Learning 605 hard constraints
c core #99
c Core size: 7520	Core Weight: 1	Total Weight: 175
c Learning 3102 hard constraints
c core #100
c Core size: 4897	Core Weight: 1	Total Weight: 176
c Learning 1198 hard constraints
c core #101
c Core size: 1371	Core Weight: 1	Total Weight: 177
c Learning 82 hard constraints
c core #102
c Core size: 755	Core Weight: 1	Total Weight: 178
c Learning 4 hard constraints
c core #103
c Core size: 700	Core Weight: 1	Total Weight: 179
c Learning 1 hard constraints
c core #104
c Core size: 699	Core Weight: 1	Total Weight: 180
c Learning 2 hard constraints
c core #105
c Core size: 940	Core Weight: 1	Total Weight: 181
c Learning 2 hard constraints
c core #106
c Core size: 1773	Core Weight: 1	Total Weight: 182
c Learning 166 hard constraints
c core #107
c Core size: 4192	Core Weight: 1	Total Weight: 183
c Learning 1484 hard constraints
c core #108
c Core size: 4319	Core Weight: 1	Total Weight: 184
c Learning 2773 hard constraints
c core #109
c Core size: 5249	Core Weight: 1	Total Weight: 185
c Learning 3106 hard constraints
c core #110
c Core size: 8694	Core Weight: 1	Total Weight: 186
c Learning 7446 hard constraints
c core #111
c Core size: 12373	Core Weight: 1	Total Weight: 187
c Learning 8760 hard constraints
c core #112
c Core size: 11842	Core Weight: 1	Total Weight: 188
c Learning 9443 hard constraints
c core #113
c Core size: 13247	Core Weight: 1	Total Weight: 189
c Learning 4903 hard constraints
c core #114
c Core size: 13222	Core Weight: 1	Total Weight: 190
c Learning 5745 hard constraints
c core #115
c Core size: 14291	Core Weight: 1	Total Weight: 191
c Learning 4762 hard constraints
c core #116
c Core size: 8182	Core Weight: 1	Total Weight: 192
c Learning 1885 hard constraints
c core #117
c Core size: 9646	Core Weight: 1	Total Weight: 193
c Learning 4499 hard constraints
c core #118
c Core size: 8509	Core Weight: 1	Total Weight: 194
c Learning 3232 hard constraints
c core #119
c Core size: 15245	Core Weight: 1	Total Weight: 195
c Learning 18671 hard constraints
c core #120
c Core size: 20054	Core Weight: 1	Total Weight: 196
c Learning 51945 hard constraints
c core #121
c Core size: 14774	Core Weight: 1	Total Weight: 197
c Learning 5493 hard constraints
c core #122
c Core size: 7965	Core Weight: 1	Total Weight: 198
c Learning 2111 hard constraints
c core #123
c Core size: 34337	Core Weight: 1	Total Weight: 199
c Learning 22885 hard constraints
c core #124
c Core size: 9544	Core Weight: 1	Total Weight: 200
c Learning 2343 hard constraints
c core #125
c Core size: 2941	Core Weight: 1	Total Weight: 201
c Learning 274 hard constraints
c core #126
c Core size: 2221	Core Weight: 1	Total Weight: 202
c Learning 91 hard constraints
c core #127
c Core size: 5409	Core Weight: 1	Total Weight: 203
c Learning 829 hard constraints
c core #128
c Core size: 1005	Core Weight: 1	Total Weight: 204
c Learning 10 hard constraints
c core #129
c Core size: 7500	Core Weight: 1	Total Weight: 205
c Learning 2099 hard constraints
c core #130
c Core size: 2375	Core Weight: 1	Total Weight: 206
c Learning 428 hard constraints
c #cores: 130
c Final Weight: 206
s UNKNOWN
1800.002u 1.665s 30:02.41 99.9%	0+0k 0+0io 0pf+0w