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-addm4.r.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_industrial/bcp-syn/normalized-addm4.r.wcnf
Job solver: /home/jplanes/evaluation/solvers/VascoManquinho/wbo.wcnf
c core #1
c Core size: 4	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: 4	Core Weight: 1	Total Weight: 3
c core #4
c Core size: 6	Core Weight: 1	Total Weight: 4
c core #5
c Core size: 3	Core Weight: 1	Total Weight: 5
c core #6
c Core size: 3	Core Weight: 1	Total Weight: 6
c core #7
c Core size: 3	Core Weight: 1	Total Weight: 7
c core #8
c Core size: 5	Core Weight: 1	Total Weight: 8
c core #9
c Core size: 4	Core Weight: 1	Total Weight: 9
c core #10
c Core size: 4	Core Weight: 1	Total Weight: 10
c core #11
c Core size: 5	Core Weight: 1	Total Weight: 11
c core #12
c Core size: 3	Core Weight: 1	Total Weight: 12
c core #13
c Core size: 6	Core Weight: 1	Total Weight: 13
c core #14
c Core size: 6	Core Weight: 1	Total Weight: 14
c core #15
c Core size: 4	Core Weight: 1	Total Weight: 15
c core #16
c Core size: 8	Core Weight: 1	Total Weight: 16
c core #17
c Core size: 6	Core Weight: 1	Total Weight: 17
c core #18
c Core size: 3	Core Weight: 1	Total Weight: 18
c core #19
c Core size: 8	Core Weight: 1	Total Weight: 19
c core #20
c Core size: 6	Core Weight: 1	Total Weight: 20
c core #21
c Core size: 3	Core Weight: 1	Total Weight: 21
c core #22
c Core size: 7	Core Weight: 1	Total Weight: 22
c core #23
c Core size: 7	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: 3	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: 3	Core Weight: 1	Total Weight: 27
c core #28
c Core size: 3	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: 5	Core Weight: 1	Total Weight: 30
c core #31
c Core size: 6	Core Weight: 1	Total Weight: 31
c core #32
c Core size: 6	Core Weight: 1	Total Weight: 32
c core #33
c Core size: 3	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: 7	Core Weight: 1	Total Weight: 35
c core #36
c Core size: 3	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: 7	Core Weight: 1	Total Weight: 38
c core #39
c Core size: 8	Core Weight: 1	Total Weight: 39
c core #40
c Core size: 8	Core Weight: 1	Total Weight: 40
c core #41
c Core size: 8	Core Weight: 1	Total Weight: 41
c core #42
c Core size: 3	Core Weight: 1	Total Weight: 42
c core #43
c Core size: 5	Core Weight: 1	Total Weight: 43
c core #44
c Core size: 5	Core Weight: 1	Total Weight: 44
c core #45
c Core size: 8	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: 3	Core Weight: 1	Total Weight: 47
c core #48
c Core size: 4	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: 3	Core Weight: 1	Total Weight: 50
c core #51
c Core size: 6	Core Weight: 1	Total Weight: 51
c core #52
c Core size: 3	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: 3	Core Weight: 1	Total Weight: 56
c core #57
c Core size: 3	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: 3	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: 3	Core Weight: 1	Total Weight: 62
c core #63
c Core size: 4	Core Weight: 1	Total Weight: 63
c core #64
c Core size: 4	Core Weight: 1	Total Weight: 64
c core #65
c Core size: 3	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: 5	Core Weight: 1	Total Weight: 67
c core #68
c Core size: 5	Core Weight: 1	Total Weight: 68
c core #69
c Core size: 5	Core Weight: 1	Total Weight: 69
c core #70
c Core size: 5	Core Weight: 1	Total Weight: 70
c core #71
c Core size: 5	Core Weight: 1	Total Weight: 71
c core #72
c Core size: 4	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: 5	Core Weight: 1	Total Weight: 74
c core #75
c Core size: 3	Core Weight: 1	Total Weight: 75
c core #76
c Core size: 3	Core Weight: 1	Total Weight: 76
c core #77
c Core size: 5	Core Weight: 1	Total Weight: 77
c core #78
c Core size: 4	Core Weight: 1	Total Weight: 78
c core #79
c Core size: 8	Core Weight: 1	Total Weight: 79
c core #80
c Core size: 6	Core Weight: 1	Total Weight: 80
c core #81
c Core size: 6	Core Weight: 1	Total Weight: 81
c core #82
c Core size: 4	Core Weight: 1	Total Weight: 82
c core #83
c Core size: 3	Core Weight: 1	Total Weight: 83
c core #84
c Core size: 6	Core Weight: 1	Total Weight: 84
c core #85
c Core size: 7	Core Weight: 1	Total Weight: 85
c core #86
c Core size: 3	Core Weight: 1	Total Weight: 86
c core #87
c Core size: 4	Core Weight: 1	Total Weight: 87
c core #88
c Core size: 6	Core Weight: 1	Total Weight: 88
c core #89
c Core size: 6	Core Weight: 1	Total Weight: 89
c core #90
c Core size: 4	Core Weight: 1	Total Weight: 90
c core #91
c Core size: 3	Core Weight: 1	Total Weight: 91
c core #92
c Core size: 4	Core Weight: 1	Total Weight: 92
c core #93
c Core size: 3	Core Weight: 1	Total Weight: 93
c core #94
c Core size: 3	Core Weight: 1	Total Weight: 94
c core #95
c Core size: 3	Core Weight: 1	Total Weight: 95
c core #96
c Core size: 3	Core Weight: 1	Total Weight: 96
c core #97
c Core size: 4	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: 2	Core Weight: 1	Total Weight: 103
c core #104
c Core size: 2	Core Weight: 1	Total Weight: 104
c core #105
c Core size: 2	Core Weight: 1	Total Weight: 105
c core #106
c Core size: 2	Core Weight: 1	Total Weight: 106
c core #107
c Core size: 2	Core Weight: 1	Total Weight: 107
c core #108
c Core size: 2	Core Weight: 1	Total Weight: 108
c core #109
c Core size: 2	Core Weight: 1	Total Weight: 109
c core #110
c Core size: 2	Core Weight: 1	Total Weight: 110
c core #111
c Core size: 2	Core Weight: 1	Total Weight: 111
c core #112
c Core size: 2	Core Weight: 1	Total Weight: 112
c core #113
c Core size: 2	Core Weight: 1	Total Weight: 113
c core #114
c Core size: 2	Core Weight: 1	Total Weight: 114
c core #115
c Core size: 2	Core Weight: 1	Total Weight: 115
c core #116
c Core size: 2	Core Weight: 1	Total Weight: 116
c core #117
c Core size: 2	Core Weight: 1	Total Weight: 117
c core #118
c Core size: 2	Core Weight: 1	Total Weight: 118
c core #119
c Core size: 2	Core Weight: 1	Total Weight: 119
c core #120
c Core size: 2	Core Weight: 1	Total Weight: 120
c core #121
c Core size: 2	Core Weight: 1	Total Weight: 121
c core #122
c Core size: 2	Core Weight: 1	Total Weight: 122
c core #123
c Core size: 2	Core Weight: 1	Total Weight: 123
c core #124
c Core size: 2	Core Weight: 1	Total Weight: 124
c core #125
c Core size: 2	Core Weight: 1	Total Weight: 125
c core #126
c Core size: 2	Core Weight: 1	Total Weight: 126
c core #127
c Core size: 2	Core Weight: 1	Total Weight: 127
c core #128
c Core size: 2	Core Weight: 1	Total Weight: 128
c core #129
c Core size: 2	Core Weight: 1	Total Weight: 129
c core #130
c Core size: 2	Core Weight: 1	Total Weight: 130
c core #131
c Core size: 2	Core Weight: 1	Total Weight: 131
c core #132
c Core size: 2	Core Weight: 1	Total Weight: 132
c core #133
c Core size: 2	Core Weight: 1	Total Weight: 133
c core #134
c Core size: 2	Core Weight: 1	Total Weight: 134
c core #135
c Core size: 2	Core Weight: 1	Total Weight: 135
c core #136
c Core size: 2	Core Weight: 1	Total Weight: 136
c core #137
c Core size: 2	Core Weight: 1	Total Weight: 137
c core #138
c Core size: 2	Core Weight: 1	Total Weight: 138
c core #139
c Core size: 2	Core Weight: 1	Total Weight: 139
c core #140
c Core size: 2	Core Weight: 1	Total Weight: 140
c core #141
c Core size: 2	Core Weight: 1	Total Weight: 141
c core #142
c Core size: 2	Core Weight: 1	Total Weight: 142
c core #143
c Core size: 2	Core Weight: 1	Total Weight: 143
c core #144
c Core size: 2	Core Weight: 1	Total Weight: 144
c core #145
c Core size: 2	Core Weight: 1	Total Weight: 145
c core #146
c Core size: 2	Core Weight: 1	Total Weight: 146
c core #147
c Core size: 2	Core Weight: 1	Total Weight: 147
c core #148
c Core size: 2	Core Weight: 1	Total Weight: 148
c core #149
c Core size: 2	Core Weight: 1	Total Weight: 149
c core #150
c Core size: 2	Core Weight: 1	Total Weight: 150
c core #151
c Core size: 10	Core Weight: 1	Total Weight: 151
c core #152
c Core size: 10	Core Weight: 1	Total Weight: 152
c core #153
c Core size: 7	Core Weight: 1	Total Weight: 153
c core #154
c Core size: 11	Core Weight: 1	Total Weight: 154
c core #155
c Core size: 8	Core Weight: 1	Total Weight: 155
c core #156
c Core size: 8	Core Weight: 1	Total Weight: 156
c core #157
c Core size: 9	Core Weight: 1	Total Weight: 157
c core #158
c Core size: 6	Core Weight: 1	Total Weight: 158
c core #159
c Core size: 12	Core Weight: 1	Total Weight: 159
c core #160
c Core size: 67	Core Weight: 1	Total Weight: 160
c core #161
c Core size: 36	Core Weight: 1	Total Weight: 161
c core #162
c Core size: 154	Core Weight: 1	Total Weight: 162
c core #163
c Core size: 171	Core Weight: 1	Total Weight: 163
c core #164
c Core size: 205	Core Weight: 1	Total Weight: 164
c core #165
c Core size: 337	Core Weight: 1	Total Weight: 165
c #cores: 165
c Final Weight: 165
o 165
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 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 -562 563 -564 -565 -566 -567 -568 -569 -570 -571 -572 -573 -574 -575 -576 577 -578 -579 -580 -581 -582 -583 584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 598 -599 -600 -601 -602 -603 -604 -605 -606 -607 -608 -609 610 -611 -612 -613 -614 -615 -616 -617 -618 -619 -620 -621 -622 -623 -624 -625 -626 627 -628 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638 639 -640 -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664 -665 -666 -667 -668 -669 -670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680 -681 -682 -683 -684 -685 -686 -687 -688 -689 -690 -691 -692 693 -694 -695 696 -697 698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709 -710 -711 -712 -713 714 -715 -716 -717 -718 -719 -720 -721 -722 -723 -724 725 -726 -727 728 -729 -730 -731 -732 -733 -734 -735 -736 737 -738 -739 -740 -741 -742 -743 -744 -745 -746 -747 -748 -749 -750 -751 752 -753 -754 -755 756 -757 -758 -759 -760 -761 -762 -763 -764 765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 -780 -781 -782 -783 -784 785 -786 787 -788 789 -790 -791 -792 -793 -794 -795 -796 -797 -798 -799 -800 -801 -802 -803 -804 805 -806 -807 808 -809 -810 -811 -812 -813 -814 -815 -816 -817 -818 -819 -820 -821 -822 -823 -824 -825 -826 827 828 -829 -830 -831 -832 -833 -834 -835 -836 -837 838 -839 -840 -841 -842 843 -844 845 -846 -847 -848 -849 -850 -851 -852 -853 -854 -855 -856 -857 -858 -859 860 -861 -862 -863 -864 -865 -866 -867 -868 -869 -870 -871 -872 -873 -874 -875 -876 -877 878 -879 -880 -881 882 -883 -884 -885 -886 -887 888 -889 -890 -891 892 -893 -894 -895 -896 897 -898 -899 -900 -901 -902 -903 -904 905 -906 -907 -908 -909 -910 -911 -912 -913 -914 -915 -916 -917 -918 -919 -920 921 -922 -923 -924 -925 -926 -927 -928 -929 -930 -931 932 -933 -934 935 936 -937 -938 -939 -940 -941 -942 -943 -944 -945 -946 -947 -948 949 -950 -951 -952 -953 954 -955 -956 -957 -958 959 -960 -961 -962 -963 -964 965 -966 -967 -968 -969 -970 -971 -972 -973 974 -975 -976 -977 978 979 -980 -981 982 983 -984 -985 -986 987 -988 989 -990 -991 -992 -993 -994 -995 -996 -997 -998 -999 -1000 -1001 -1002 1003 -1004 1005 -1006 -1007 -1008 -1009 -1010 -1011 1012 1013 -1014 -1015 -1016 -1017 -1018 -1019 -1020 -1021 -1022 -1023 -1024 -1025 1026 -1027 -1028 -1029 -1030 -1031 -1032 1033 1034 -1035 -1036 -1037 -1038 -1039 -1040 1041 -1042 -1043 -1044 -1045 -1046 -1047 -1048 -1049 -1050 -1051 -1052 -1053 -1054 -1055 -1056 -1057 -1058 -1059 -1060 -1061 -1062 -1063 -1064 -1065 -1066 -1067 1068 -1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1086 1087 1088 1089 1090 1091 1092 1093 1094 1095 1096 1097 1098 1099 1100 1101 1102 1103 1104 1105 1106 1107 1108 1109 1110 1111 1112 1113 1114 1115 1116 1117 1118 1119 1120 1121 1122
176.963u 1.149s 2:58.13 99.9%	0+0k 0+0io 0pf+0w