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_WCSP_SPOT5_LOG_503.wcsp.log.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/WCSP/SPOT5/LOG/503.wcsp.log.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 16163
o 16159
o 16158
o 14161
o 14160
o 14159
o 14158
o 14157
o 14156
o 14155
o 13161
o 13160
o 13159
o 13158
o 13157
o 13156
o 13155
o 13154
o 13153
o 13152
o 13151
o 13150
o 13149
o 13148
o 13147
o 13146
o 13145
o 13144
o 13143
o 12169
o 12168
o 12167
o 12162
o 12161
o 12160
o 12159
o 12158
o 12157
o 12156
o 12155
o 12154
o 12153
o 12152
o 12151
o 12150
o 12149
o 12148
o 12147
o 12146
o 12145
o 12144
o 12143
o 12142
o 12141
o 12140
o 12139
o 12138
o 12137
o 12136
o 12135
o 12134
o 12133
o 12132
o 12131
o 12130
o 12129
o 12128
o 12127
o 12126
c core #1
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 2
c
c
c core #2
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 3
c
c
c core #3
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 5
c
c
c core #4
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 7
c
c
c core #5
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 9
c
c
c core #6
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 11
c
c
c core #7
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 13
c
c
c core #8
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 15
c
c
c core #9
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 17
c
c
c core #10
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 19
c
c
c core #11
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 20
c
c
c core #12
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 22
c
c
c core #13
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 24
c
c
c core #14
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 26
c
c
c core #15
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 28
c
c
c core #16
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 30
c
c
c core #17
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 32
c
c
c core #18
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 34
c
c
c core #19
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 36
c
c
c core #20
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 38
c
c
c core #21
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 40
c
c
c core #22
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 1040
c
c
c core #23
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 1042
c
c
c core #24
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 1044
c
c
c core #25
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 1046
c
c
c core #26
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 1048
c
c
c core #27
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 1050
c
c
c core #28
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 1052
c
c
c core #29
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 2052
c
c
c core #30
c 
c 
c Core size: 3	Core Weight: 5	Total Weight: 2057
c
c
c core #31
c 
c 
c Core size: 3	Core Weight: 995	Total Weight: 3052
c
c
c core #32
c 
c 
c Core size: 3	Core Weight: 5	Total Weight: 3057
c
c
c core #33
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 4057
c
c
c core #34
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 5057
c
c
c core #35
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 6057
c
c
c core #36
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 6059
c
c
c core #37
c 
c 
c Core size: 3	Core Weight: 3	Total Weight: 6062
c
c
c core #38
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 6064
c
c
c core #39
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 6066
c
c
c core #40
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 6068
c
c
c core #41
c 
c 
c Core size: 6	Core Weight: 1	Total Weight: 6069
c
c
c core #42
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 6070
c
c
c core #43
c 
c 
c Core size: 6	Core Weight: 1	Total Weight: 6071
c
c
c core #44
c 
c 
c Core size: 4	Core Weight: 1	Total Weight: 6072
c
c
c core #45
c 
c 
c Core size: 6	Core Weight: 1	Total Weight: 6073
c
c
c core #46
c 
c 
c Core size: 8	Core Weight: 998	Total Weight: 7071
c
c
c core #47
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 7072
c
c
c core #48
c 
c 
c Core size: 6	Core Weight: 2	Total Weight: 7074
c
c
c core #49
c 
c 
c Core size: 6	Core Weight: 1000	Total Weight: 8074
c
c
c core #50
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 8075
c
c
c core #51
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 8076
c
c
c core #52
c 
c 
c Core size: 10	Core Weight: 5	Total Weight: 8081
c
c
c core #53
c 
c 
c Core size: 6	Core Weight: 988	Total Weight: 9069
c
c
c core #54
c 
c 
c Core size: 6	Core Weight: 2	Total Weight: 9071
c
c
c core #55
c 
c 
c Core size: 6	Core Weight: 1	Total Weight: 9072
c
c
c core #56
c 
c 
c Core size: 12	Core Weight: 2	Total Weight: 9074
c
c
c core #57
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 9075
c
c
c core #58
c 
c 
c Core size: 16	Core Weight: 1	Total Weight: 9076
c
c
c core #59
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 9077
c
c
c core #60
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 9078
c
c
c core #61
c 
c 
c Core size: 12	Core Weight: 3	Total Weight: 9081
c
c
c core #62
c 
c 
c Core size: 11	Core Weight: 2	Total Weight: 9083
c
c
c core #63
c 
c 
c Core size: 10	Core Weight: 995	Total Weight: 10078
c
c
c core #64
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 10079
c
c
c core #65
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 10080
c
c
c core #66
c 
c 
c Core size: 7	Core Weight: 998	Total Weight: 11078
c
c
c core #67
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 11079
c
c
c core #68
c 
c 
c Core size: 20	Core Weight: 1	Total Weight: 11080
c
c
c core #69
c 
c 
c Core size: 29	Core Weight: 1	Total Weight: 11081
c
c
c core #70
c 
c 
c Core size: 31	Core Weight: 1	Total Weight: 11082
c
c
c core #71
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 11083
c
c
c core #72
c 
c 
c Core size: 18	Core Weight: 1	Total Weight: 11084
c
c
c core #73
c 
c 
c Core size: 19	Core Weight: 1	Total Weight: 11085
c
c
c core #74
c 
c 
c Core size: 15	Core Weight: 1	Total Weight: 11086
c
c
c core #75
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 11087
c
c
c core #76
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 11088
c
c
c core #77
c 
c 
c Core size: 46	Core Weight: 1	Total Weight: 11089
c
c
c core #78
c 
c 
c Core size: 22	Core Weight: 1	Total Weight: 11090
c
c
c core #79
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 11091
c
c
c core #80
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 11092
c
c
c core #81
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 11093
c
c
c core #82
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 11094
c
c
c core #83
c 
c 
c Core size: 63	Core Weight: 1	Total Weight: 11095
c
c
c core #84
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 11096
c
c
c core #85
c 
c 
c Core size: 10	Core Weight: 2	Total Weight: 11098
c
c
c core #86
c 
c 
c Core size: 15	Core Weight: 1	Total Weight: 11099
c
c
c core #87
c 
c 
c Core size: 19	Core Weight: 1	Total Weight: 11100
c
c
c core #88
c 
c 
c Core size: 10	Core Weight: 2	Total Weight: 11102
c
c
c core #89
c 
c 
c Core size: 12	Core Weight: 2	Total Weight: 11104
c
c
c core #90
c 
c 
c Core size: 25	Core Weight: 1	Total Weight: 11105
c
c
c core #91
c 
c 
c Core size: 20	Core Weight: 1	Total Weight: 11106
c
c
c core #92
c 
c 
c Core size: 26	Core Weight: 1	Total Weight: 11107
c
c
c core #93
c 
c 
c Core size: 40	Core Weight: 1	Total Weight: 11108
c
c
c core #94
c 
c 
c Core size: 71	Core Weight: 1	Total Weight: 11109
c
c
c core #95
c 
c 
c Core size: 105	Core Weight: 1	Total Weight: 11110
c
c
c core #96
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 11111
c
c
c core #97
c 
c 
c Core size: 131	Core Weight: 1	Total Weight: 11112
c
c
c core #98
c 
c 
c Core size: 148	Core Weight: 1	Total Weight: 11113
c
c
c #cores: 98
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
374.305u 2.751s 6:17.12 99.9%	0+0k 0+0io 0pf+0w