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_WCSP_SPOT5_LOG_503.wcsp.log.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/WCSP/SPOT5/LOG/503.wcsp.log.wcnf
Job solver: /home/jplanes/evaluation/solvers/VascoManquinho/wbo.wcnf
c core #1
c Core size: 3	Core Weight: 1	Total Weight: 1
c core #2
c Core size: 3	Core Weight: 2	Total Weight: 3
c core #3
c Core size: 3	Core Weight: 2	Total Weight: 5
c core #4
c Core size: 3	Core Weight: 2	Total Weight: 7
c core #5
c Core size: 3	Core Weight: 2	Total Weight: 9
c core #6
c Core size: 3	Core Weight: 2	Total Weight: 11
c core #7
c Core size: 3	Core Weight: 2	Total Weight: 13
c core #8
c Core size: 3	Core Weight: 2	Total Weight: 15
c core #9
c Core size: 3	Core Weight: 2	Total Weight: 17
c core #10
c Core size: 3	Core Weight: 1	Total Weight: 18
c core #11
c Core size: 3	Core Weight: 2	Total Weight: 20
c core #12
c Core size: 3	Core Weight: 2	Total Weight: 22
c core #13
c Core size: 3	Core Weight: 2	Total Weight: 24
c core #14
c Core size: 3	Core Weight: 2	Total Weight: 26
c core #15
c Core size: 3	Core Weight: 2	Total Weight: 28
c core #16
c Core size: 3	Core Weight: 2	Total Weight: 30
c core #17
c Core size: 3	Core Weight: 2	Total Weight: 32
c core #18
c Core size: 3	Core Weight: 2	Total Weight: 34
c core #19
c Core size: 3	Core Weight: 2	Total Weight: 36
c core #20
c Core size: 3	Core Weight: 2	Total Weight: 38
c core #21
c Core size: 3	Core Weight: 1000	Total Weight: 1038
c core #22
c Core size: 3	Core Weight: 2	Total Weight: 1040
c core #23
c Core size: 3	Core Weight: 2	Total Weight: 1042
c core #24
c Core size: 3	Core Weight: 2	Total Weight: 1044
c core #25
c Core size: 3	Core Weight: 2	Total Weight: 1046
c core #26
c Core size: 3	Core Weight: 2	Total Weight: 1048
c core #27
c Core size: 3	Core Weight: 2	Total Weight: 1050
c core #28
c Core size: 3	Core Weight: 2	Total Weight: 1052
c core #29
c Core size: 3	Core Weight: 1000	Total Weight: 2052
c core #30
c Core size: 3	Core Weight: 5	Total Weight: 2057
c core #31
c Core size: 3	Core Weight: 995	Total Weight: 3052
c core #32
c Core size: 3	Core Weight: 5	Total Weight: 3057
c core #33
c Core size: 3	Core Weight: 1000	Total Weight: 4057
c core #34
c Core size: 3	Core Weight: 1000	Total Weight: 5057
c core #35
c Core size: 3	Core Weight: 1000	Total Weight: 6057
c core #36
c Core size: 3	Core Weight: 2	Total Weight: 6059
c core #37
c Core size: 3	Core Weight: 3	Total Weight: 6062
c core #38
c Core size: 3	Core Weight: 2	Total Weight: 6064
c core #39
c Core size: 3	Core Weight: 2	Total Weight: 6066
c core #40
c Core size: 3	Core Weight: 2	Total Weight: 6068
c core #41
c Core size: 6	Core Weight: 2	Total Weight: 6070
c core #42
c Core size: 6	Core Weight: 1000	Total Weight: 7070
c core #43
c Core size: 10	Core Weight: 2	Total Weight: 7072
c core #44
c Core size: 10	Core Weight: 5	Total Weight: 7077
c core #45
c Core size: 6	Core Weight: 990	Total Weight: 8067
c core #46
c Core size: 6	Core Weight: 1000	Total Weight: 9067
c core #47
c Core size: 6	Core Weight: 2	Total Weight: 9069
c core #48
c Core size: 6	Core Weight: 1	Total Weight: 9070
c core #49
c Core size: 15	Core Weight: 2	Total Weight: 9072
c core #50
c Core size: 23	Core Weight: 1	Total Weight: 9073
c core #51
c Core size: 23	Core Weight: 1	Total Weight: 9074
c core #52
c Core size: 13	Core Weight: 5	Total Weight: 9079
c core #53
c Core size: 26	Core Weight: 2	Total Weight: 9081
c core #54
c Core size: 10	Core Weight: 2	Total Weight: 9083
c core #55
c Core size: 13	Core Weight: 2	Total Weight: 9085
c core #56
c Core size: 14	Core Weight: 1	Total Weight: 9086
c Learning 4 hard constraints
c core #57
c Core size: 17	Core Weight: 1	Total Weight: 9087
c core #58
c Core size: 13	Core Weight: 2	Total Weight: 9089
c core #59
c Core size: 23	Core Weight: 2	Total Weight: 9091
c core #60
c Core size: 20	Core Weight: 1000	Total Weight: 10091
c Learning 2 hard constraints
c core #61
c Core size: 13	Core Weight: 2	Total Weight: 10093
c Learning 1 hard constraints
c core #62
c Core size: 19	Core Weight: 1	Total Weight: 10094
c Learning 5 hard constraints
c core #63
c Core size: 7	Core Weight: 1	Total Weight: 10095
c Learning 1 hard constraints
c core #64
c Core size: 12	Core Weight: 1	Total Weight: 10096
c Learning 7 hard constraints
c core #65
c Core size: 24	Core Weight: 2	Total Weight: 10098
c Learning 1 hard constraints
c core #66
c Core size: 25	Core Weight: 1	Total Weight: 10099
c Learning 4 hard constraints
c core #67
c Core size: 14	Core Weight: 1	Total Weight: 10100
c Learning 5 hard constraints
c core #68
c Core size: 27	Core Weight: 1	Total Weight: 10101
c Learning 1 hard constraints
c core #69
c Core size: 14	Core Weight: 5	Total Weight: 10106
c Learning 7 hard constraints
c core #70
c Core size: 7	Core Weight: 1	Total Weight: 10107
c Learning 1 hard constraints
c core #71
c Core size: 22	Core Weight: 1	Total Weight: 10108
c Learning 14 hard constraints
c core #72
c Core size: 19	Core Weight: 1	Total Weight: 10109
c Learning 18 hard constraints
c core #73
c Core size: 9	Core Weight: 1	Total Weight: 10110
c Learning 3 hard constraints
c core #74
c Core size: 56	Core Weight: 1	Total Weight: 10111
c Learning 23 hard constraints
c core #75
c Core size: 25	Core Weight: 1	Total Weight: 10112
c Learning 10 hard constraints
c core #76
c Core size: 13	Core Weight: 983	Total Weight: 11095
c Learning 6 hard constraints
c core #77
c Core size: 22	Core Weight: 5	Total Weight: 11100
c Learning 3 hard constraints
c core #78
c Core size: 40	Core Weight: 1	Total Weight: 11101
c Learning 5 hard constraints
c core #79
c Core size: 52	Core Weight: 1	Total Weight: 11102
c core #80
c Core size: 45	Core Weight: 1	Total Weight: 11103
c Learning 8 hard constraints
c core #81
c Core size: 37	Core Weight: 4	Total Weight: 11107
c Learning 6 hard constraints
c core #82
c Core size: 24	Core Weight: 1	Total Weight: 11108
c Learning 7 hard constraints
c core #83
c Core size: 55	Core Weight: 1	Total Weight: 11109
c Learning 8 hard constraints
c core #84
c Core size: 47	Core Weight: 1	Total Weight: 11110
c Learning 6 hard constraints
c core #85
c Core size: 32	Core Weight: 1	Total Weight: 11111
c Learning 27 hard constraints
c core #86
c Core size: 105	Core Weight: 1	Total Weight: 11112
c Learning 26 hard constraints
c core #87
c Core size: 13	Core Weight: 1	Total Weight: 11113
c Learning 40 hard constraints
c #cores: 87
c Final Weight: 11113
o 11113
s OPTIMUM FOUND
v -1 -2 -3 -4 -5 6 7 -8 -9 10 11 12 13 14 -15 -16 17 18 19 20 -21 22 23 -24 -25 26 27 -28 -29 30 31 -32 33 34 -35 36 -37 -38 39 40 41 42 43 44 -45 -46 47 -48 -49 50 -51 52 53 -54 55 56 -57 -58 59 -60 61 62 63 -64 -65 -66 67 68 69 -70 71 72 -73 -74 -75 76 77 78 79 -80 81 82 83 -84 -85 -86 87 -88 89 90 -91 92 93 94 -95 -96 -97 98 99 100 101 102 103 104 -105 -106 -107 108 109 -110 111 112 113 -114 115 116 -117 118 -119 120 121 -122 123 -124 125 126 -127 128 -129 130 131 -132 -133 134 135 136 137 138 139 -140 141 142 -143 144 -145 146 147 148 149 150 151 -152 153 154 -155 156 157 158 159 -160 161 162 163 -164 165 166 -167 -168 -169 170 171 172 173 174 175 176 -177 178 -179 180 -181 -182 183 184 185 -186 -187 188 -189 -190 -191 192 -193 -194 -195 196 197 -198 -199 200 -201
0.167u 0.017s 0:00.19 89.4%	0+0k 0+0io 0pf+0w