Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wbo.wcnf-partial_industrial-_home_jplanes_evaluation_benchmarks_partial_industrial_bcp-syn_normalized-max512.r.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_industrial/bcp-syn/normalized-max512.r.wcnf
Job solver: /home/jplanes/evaluation/solvers/VascoManquinho/wbo.wcnf
c core #1
c Core size: 7	Core Weight: 1	Total Weight: 1
c core #2
c Core size: 5	Core Weight: 1	Total Weight: 2
c core #3
c Core size: 3	Core Weight: 1	Total Weight: 3
c core #4
c Core size: 5	Core Weight: 1	Total Weight: 4
c core #5
c Core size: 4	Core Weight: 1	Total Weight: 5
c core #6
c Core size: 4	Core Weight: 1	Total Weight: 6
c core #7
c Core size: 5	Core Weight: 1	Total Weight: 7
c core #8
c Core size: 3	Core Weight: 1	Total Weight: 8
c core #9
c Core size: 8	Core Weight: 1	Total Weight: 9
c core #10
c Core size: 3	Core Weight: 1	Total Weight: 10
c core #11
c Core size: 4	Core Weight: 1	Total Weight: 11
c core #12
c Core size: 5	Core Weight: 1	Total Weight: 12
c core #13
c Core size: 3	Core Weight: 1	Total Weight: 13
c core #14
c Core size: 3	Core Weight: 1	Total Weight: 14
c core #15
c Core size: 3	Core Weight: 1	Total Weight: 15
c core #16
c Core size: 3	Core Weight: 1	Total Weight: 16
c core #17
c Core size: 8	Core Weight: 1	Total Weight: 17
c core #18
c Core size: 4	Core Weight: 1	Total Weight: 18
c core #19
c Core size: 3	Core Weight: 1	Total Weight: 19
c core #20
c Core size: 3	Core Weight: 1	Total Weight: 20
c core #21
c Core size: 5	Core Weight: 1	Total Weight: 21
c core #22
c Core size: 3	Core Weight: 1	Total Weight: 22
c core #23
c Core size: 3	Core Weight: 1	Total Weight: 23
c core #24
c Core size: 3	Core Weight: 1	Total Weight: 24
c core #25
c Core size: 4	Core Weight: 1	Total Weight: 25
c core #26
c Core size: 3	Core Weight: 1	Total Weight: 26
c core #27
c Core size: 5	Core Weight: 1	Total Weight: 27
c core #28
c Core size: 6	Core Weight: 1	Total Weight: 28
c core #29
c Core size: 3	Core Weight: 1	Total Weight: 29
c core #30
c Core size: 3	Core Weight: 1	Total Weight: 30
c core #31
c Core size: 4	Core Weight: 1	Total Weight: 31
c core #32
c Core size: 4	Core Weight: 1	Total Weight: 32
c core #33
c Core size: 6	Core Weight: 1	Total Weight: 33
c core #34
c Core size: 3	Core Weight: 1	Total Weight: 34
c core #35
c Core size: 3	Core Weight: 1	Total Weight: 35
c core #36
c Core size: 4	Core Weight: 1	Total Weight: 36
c core #37
c Core size: 3	Core Weight: 1	Total Weight: 37
c core #38
c Core size: 5	Core Weight: 1	Total Weight: 38
c core #39
c Core size: 4	Core Weight: 1	Total Weight: 39
c core #40
c Core size: 3	Core Weight: 1	Total Weight: 40
c core #41
c Core size: 3	Core Weight: 1	Total Weight: 41
c core #42
c Core size: 10	Core Weight: 1	Total Weight: 42
c core #43
c Core size: 6	Core Weight: 1	Total Weight: 43
c core #44
c Core size: 4	Core Weight: 1	Total Weight: 44
c core #45
c Core size: 3	Core Weight: 1	Total Weight: 45
c core #46
c Core size: 3	Core Weight: 1	Total Weight: 46
c core #47
c Core size: 6	Core Weight: 1	Total Weight: 47
c core #48
c Core size: 3	Core Weight: 1	Total Weight: 48
c core #49
c Core size: 3	Core Weight: 1	Total Weight: 49
c core #50
c Core size: 4	Core Weight: 1	Total Weight: 50
c core #51
c Core size: 3	Core Weight: 1	Total Weight: 51
c core #52
c Core size: 4	Core Weight: 1	Total Weight: 52
c core #53
c Core size: 3	Core Weight: 1	Total Weight: 53
c core #54
c Core size: 3	Core Weight: 1	Total Weight: 54
c core #55
c Core size: 3	Core Weight: 1	Total Weight: 55
c core #56
c Core size: 5	Core Weight: 1	Total Weight: 56
c core #57
c Core size: 4	Core Weight: 1	Total Weight: 57
c core #58
c Core size: 3	Core Weight: 1	Total Weight: 58
c core #59
c Core size: 4	Core Weight: 1	Total Weight: 59
c core #60
c Core size: 5	Core Weight: 1	Total Weight: 60
c core #61
c Core size: 4	Core Weight: 1	Total Weight: 61
c core #62
c Core size: 4	Core Weight: 1	Total Weight: 62
c core #63
c Core size: 3	Core Weight: 1	Total Weight: 63
c core #64
c Core size: 3	Core Weight: 1	Total Weight: 64
c core #65
c Core size: 4	Core Weight: 1	Total Weight: 65
c core #66
c Core size: 3	Core Weight: 1	Total Weight: 66
c core #67
c Core size: 7	Core Weight: 1	Total Weight: 67
c core #68
c Core size: 4	Core Weight: 1	Total Weight: 68
c core #69
c Core size: 3	Core Weight: 1	Total Weight: 69
c core #70
c Core size: 3	Core Weight: 1	Total Weight: 70
c core #71
c Core size: 3	Core Weight: 1	Total Weight: 71
c core #72
c Core size: 3	Core Weight: 1	Total Weight: 72
c core #73
c Core size: 4	Core Weight: 1	Total Weight: 73
c core #74
c Core size: 3	Core Weight: 1	Total Weight: 74
c core #75
c Core size: 2	Core Weight: 1	Total Weight: 75
c core #76
c Core size: 2	Core Weight: 1	Total Weight: 76
c core #77
c Core size: 2	Core Weight: 1	Total Weight: 77
c core #78
c Core size: 2	Core Weight: 1	Total Weight: 78
c core #79
c Core size: 2	Core Weight: 1	Total Weight: 79
c core #80
c Core size: 2	Core Weight: 1	Total Weight: 80
c core #81
c Core size: 2	Core Weight: 1	Total Weight: 81
c core #82
c Core size: 2	Core Weight: 1	Total Weight: 82
c core #83
c Core size: 2	Core Weight: 1	Total Weight: 83
c core #84
c Core size: 2	Core Weight: 1	Total Weight: 84
c core #85
c Core size: 2	Core Weight: 1	Total Weight: 85
c core #86
c Core size: 2	Core Weight: 1	Total Weight: 86
c core #87
c Core size: 2	Core Weight: 1	Total Weight: 87
c core #88
c Core size: 2	Core Weight: 1	Total Weight: 88
c core #89
c Core size: 2	Core Weight: 1	Total Weight: 89
c core #90
c Core size: 2	Core Weight: 1	Total Weight: 90
c core #91
c Core size: 2	Core Weight: 1	Total Weight: 91
c core #92
c Core size: 2	Core Weight: 1	Total Weight: 92
c core #93
c Core size: 2	Core Weight: 1	Total Weight: 93
c core #94
c Core size: 2	Core Weight: 1	Total Weight: 94
c core #95
c Core size: 2	Core Weight: 1	Total Weight: 95
c core #96
c Core size: 2	Core Weight: 1	Total Weight: 96
c core #97
c Core size: 2	Core Weight: 1	Total Weight: 97
c core #98
c Core size: 2	Core Weight: 1	Total Weight: 98
c core #99
c Core size: 2	Core Weight: 1	Total Weight: 99
c core #100
c Core size: 2	Core Weight: 1	Total Weight: 100
c core #101
c Core size: 2	Core Weight: 1	Total Weight: 101
c core #102
c Core size: 2	Core Weight: 1	Total Weight: 102
c core #103
c Core size: 8	Core Weight: 1	Total Weight: 103
c core #104
c Core size: 9	Core Weight: 1	Total Weight: 104
c core #105
c Core size: 14	Core Weight: 1	Total Weight: 105
c core #106
c Core size: 18	Core Weight: 1	Total Weight: 106
c core #107
c Core size: 13	Core Weight: 1	Total Weight: 107
c core #108
c Core size: 20	Core Weight: 1	Total Weight: 108
c core #109
c Core size: 32	Core Weight: 1	Total Weight: 109
c core #110
c Core size: 77	Core Weight: 1	Total Weight: 110
c core #111
c Core size: 44	Core Weight: 1	Total Weight: 111
c core #112
c Core size: 249	Core Weight: 1	Total Weight: 112
c core #113
c Core size: 307	Core Weight: 1	Total Weight: 113
c #cores: 113
c Final Weight: 113
o 113
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 202 203 -204 -205 -206 207 -208 -209 -210 -211 -212 -213 -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 -229 -230 -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 241 -242 -243 -244 -245 -246 -247 -248 -249 -250 -251 -252 -253 254 -255 -256 -257 258 -259 -260 -261 -262 263 -264 -265 -266 -267 -268 -269 -270 -271 -272 273 -274 -275 -276 -277 278 -279 -280 281 -282 -283 -284 -285 286 287 -288 -289 -290 291 -292 -293 -294 -295 -296 -297 -298 -299 -300 301 -302 -303 -304 -305 -306 -307 -308 -309 -310 311 -312 -313 -314 315 -316 -317 -318 -319 -320 -321 -322 323 324 -325 -326 -327 -328 -329 -330 -331 -332 -333 334 -335 336 337 -338 -339 340 -341 -342 -343 -344 345 346 -347 -348 349 -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 -362 -363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 -375 376 -377 -378 -379 380 -381 -382 -383 -384 -385 -386 387 -388 -389 -390 391 -392 -393 394 395 396 -397 -398 -399 400 -401 -402 403 -404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 -415 416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 429 -430 -431 432 -433 -434 -435 -436 -437 -438 439 -440 -441 -442 -443 444 -445 -446 -447 448 -449 -450 -451 -452 -453 -454 455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 467 -468 469 -470 -471 -472 473 -474 -475 -476 -477 -478 479 -480 -481 -482 -483 -484 -485 486 487 -488 -489 -490 491 -492 -493 -494 495 -496 -497 -498 -499 -500 -501 -502 -503 -504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533
0.695u 0.021s 0:00.72 98.6%	0+0k 0+0io 0pf+0w