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_KnotPipatsrisawat_random-net-80-1_network-2.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-1_network-2.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/VascoManquinho/wbo.wcnf
c core #1
c Core size: 5	Core Weight: 991	Total Weight: 991
c core #2
c Core size: 5	Core Weight: 686	Total Weight: 1677
c core #3
c Core size: 9	Core Weight: 338	Total Weight: 2015
c core #4
c Core size: 9	Core Weight: 864	Total Weight: 2879
c core #5
c Core size: 9	Core Weight: 262	Total Weight: 3141
c core #6
c Core size: 9	Core Weight: 115	Total Weight: 3256
c core #7
c Core size: 4	Core Weight: 944	Total Weight: 4200
c core #8
c Core size: 7	Core Weight: 440	Total Weight: 4640
c core #9
c Core size: 4	Core Weight: 1635	Total Weight: 6275
c core #10
c Core size: 8	Core Weight: 356	Total Weight: 6631
c core #11
c Core size: 3	Core Weight: 414	Total Weight: 7045
c core #12
c Core size: 6	Core Weight: 606	Total Weight: 7651
c core #13
c Core size: 9	Core Weight: 44	Total Weight: 7695
c core #14
c Core size: 4	Core Weight: 1834	Total Weight: 9529
c core #15
c Core size: 8	Core Weight: 16	Total Weight: 9545
c core #16
c Core size: 5	Core Weight: 97	Total Weight: 9642
c core #17
c Core size: 8	Core Weight: 176	Total Weight: 9818
c core #18
c Core size: 3	Core Weight: 276	Total Weight: 10094
c core #19
c Core size: 7	Core Weight: 666	Total Weight: 10760
c core #20
c Core size: 11	Core Weight: 11	Total Weight: 10771
c core #21
c Core size: 5	Core Weight: 830	Total Weight: 11601
c core #22
c Core size: 9	Core Weight: 164	Total Weight: 11765
c core #23
c Core size: 4	Core Weight: 2221	Total Weight: 13986
c core #24
c Core size: 6	Core Weight: 213	Total Weight: 14199
c core #25
c Core size: 9	Core Weight: 848	Total Weight: 15047
c core #26
c Core size: 12	Core Weight: 197	Total Weight: 15244
c core #27
c Core size: 14	Core Weight: 283	Total Weight: 15527
c core #28
c Core size: 18	Core Weight: 36	Total Weight: 15563
c core #29
c Core size: 17	Core Weight: 1	Total Weight: 15564
c core #30
c Core size: 14	Core Weight: 372	Total Weight: 15936
c core #31
c Core size: 14	Core Weight: 24	Total Weight: 15960
c core #32
c Core size: 13	Core Weight: 769	Total Weight: 16729
c core #33
c Core size: 18	Core Weight: 154	Total Weight: 16883
c core #34
c Core size: 24	Core Weight: 36	Total Weight: 16919
c core #35
c Core size: 21	Core Weight: 54	Total Weight: 16973
c core #36
c Core size: 14	Core Weight: 442	Total Weight: 17415
c core #37
c Core size: 8	Core Weight: 1291	Total Weight: 18706
c core #38
c Core size: 9	Core Weight: 652	Total Weight: 19358
c core #39
c Core size: 8	Core Weight: 33	Total Weight: 19391
c core #40
c Core size: 17	Core Weight: 693	Total Weight: 20084
c core #41
c Core size: 10	Core Weight: 349	Total Weight: 20433
c core #42
c Core size: 11	Core Weight: 1184	Total Weight: 21617
c core #43
c Core size: 8	Core Weight: 96	Total Weight: 21713
c core #44
c Core size: 12	Core Weight: 411	Total Weight: 22124
c core #45
c Core size: 13	Core Weight: 426	Total Weight: 22550
c core #46
c Core size: 11	Core Weight: 675	Total Weight: 23225
c core #47
c Core size: 8	Core Weight: 142	Total Weight: 23367
c core #48
c Core size: 10	Core Weight: 474	Total Weight: 23841
c core #49
c Core size: 11	Core Weight: 49	Total Weight: 23890
c core #50
c Core size: 12	Core Weight: 71	Total Weight: 23961
c core #51
c Core size: 20	Core Weight: 7	Total Weight: 23968
c core #52
c Core size: 19	Core Weight: 56	Total Weight: 24024
c core #53
c Core size: 6	Core Weight: 451	Total Weight: 24475
c core #54
c Core size: 11	Core Weight: 406	Total Weight: 24881
c core #55
c Core size: 6	Core Weight: 156	Total Weight: 25037
c core #56
c Core size: 10	Core Weight: 352	Total Weight: 25389
c core #57
c Core size: 6	Core Weight: 366	Total Weight: 25755
c core #58
c Core size: 12	Core Weight: 212	Total Weight: 25967
c core #59
c Core size: 10	Core Weight: 288	Total Weight: 26255
c core #60
c Core size: 10	Core Weight: 35	Total Weight: 26290
c core #61
c Core size: 10	Core Weight: 641	Total Weight: 26931
c core #62
c Core size: 32	Core Weight: 1	Total Weight: 26932
c core #63
c Core size: 23	Core Weight: 361	Total Weight: 27293
c core #64
c Core size: 20	Core Weight: 96	Total Weight: 27389
c core #65
c Core size: 8	Core Weight: 686	Total Weight: 28075
c core #66
c Core size: 8	Core Weight: 343	Total Weight: 28418
c core #67
c Core size: 8	Core Weight: 428	Total Weight: 28846
c core #68
c Core size: 11	Core Weight: 250	Total Weight: 29096
c core #69
c Core size: 13	Core Weight: 137	Total Weight: 29233
c core #70
c Core size: 8	Core Weight: 410	Total Weight: 29643
c core #71
c Core size: 10	Core Weight: 262	Total Weight: 29905
c core #72
c Core size: 17	Core Weight: 164	Total Weight: 30069
c core #73
c Core size: 13	Core Weight: 346	Total Weight: 30415
c core #74
c Core size: 14	Core Weight: 8	Total Weight: 30423
c core #75
c Core size: 10	Core Weight: 1726	Total Weight: 32149
c core #76
c Core size: 8	Core Weight: 408	Total Weight: 32557
c core #77
c Core size: 21	Core Weight: 9	Total Weight: 32566
c core #78
c Core size: 8	Core Weight: 620	Total Weight: 33186
c core #79
c Core size: 14	Core Weight: 205	Total Weight: 33391
c core #80
c Core size: 15	Core Weight: 745	Total Weight: 34136
c core #81
c Core size: 16	Core Weight: 266	Total Weight: 34402
c core #82
c Core size: 10	Core Weight: 862	Total Weight: 35264
c core #83
c Core size: 10	Core Weight: 302	Total Weight: 35566
c core #84
c Core size: 12	Core Weight: 51	Total Weight: 35617
c core #85
c Core size: 11	Core Weight: 204	Total Weight: 35821
c core #86
c Core size: 10	Core Weight: 1208	Total Weight: 37029
c core #87
c Core size: 14	Core Weight: 81	Total Weight: 37110
c core #88
c Core size: 9	Core Weight: 827	Total Weight: 37937
c core #89
c Core size: 10	Core Weight: 311	Total Weight: 38248
c core #90
c Core size: 10	Core Weight: 564	Total Weight: 38812
c core #91
c Core size: 9	Core Weight: 83	Total Weight: 38895
c core #92
c Core size: 10	Core Weight: 249	Total Weight: 39144
c core #93
c Core size: 17	Core Weight: 4	Total Weight: 39148
c core #94
c Core size: 18	Core Weight: 38	Total Weight: 39186
c core #95
c Core size: 8	Core Weight: 826	Total Weight: 40012
c core #96
c Core size: 7	Core Weight: 504	Total Weight: 40516
c core #97
c Core size: 17	Core Weight: 117	Total Weight: 40633
c core #98
c Core size: 14	Core Weight: 623	Total Weight: 41256
c core #99
c Core size: 11	Core Weight: 130	Total Weight: 41386
c core #100
c Core size: 8	Core Weight: 431	Total Weight: 41817
c core #101
c Core size: 13	Core Weight: 442	Total Weight: 42259
c core #102
c Core size: 12	Core Weight: 468	Total Weight: 42727
c core #103
c Core size: 17	Core Weight: 60	Total Weight: 42787
c core #104
c Core size: 14	Core Weight: 130	Total Weight: 42917
c core #105
c Core size: 10	Core Weight: 677	Total Weight: 43594
c core #106
c Core size: 11	Core Weight: 659	Total Weight: 44253
c core #107
c Core size: 10	Core Weight: 454	Total Weight: 44707
c core #108
c Core size: 13	Core Weight: 299	Total Weight: 45006
c core #109
c Core size: 18	Core Weight: 75	Total Weight: 45081
c core #110
c Core size: 11	Core Weight: 1089	Total Weight: 46170
c core #111
c Core size: 11	Core Weight: 58	Total Weight: 46228
c core #112
c Core size: 11	Core Weight: 488	Total Weight: 46716
c core #113
c Core size: 13	Core Weight: 130	Total Weight: 46846
c core #114
c Core size: 21	Core Weight: 283	Total Weight: 47129
c core #115
c Core size: 33	Core Weight: 48	Total Weight: 47177
c core #116
c Core size: 10	Core Weight: 59	Total Weight: 47236
c core #117
c Core size: 14	Core Weight: 318	Total Weight: 47554
c core #118
c Core size: 19	Core Weight: 68	Total Weight: 47622
c core #119
c Core size: 11	Core Weight: 322	Total Weight: 47944
c core #120
c Core size: 13	Core Weight: 41	Total Weight: 47985
c core #121
c Core size: 12	Core Weight: 725	Total Weight: 48710
c core #122
c Core size: 17	Core Weight: 101	Total Weight: 48811
c core #123
c Core size: 18	Core Weight: 174	Total Weight: 48985
c core #124
c Core size: 17	Core Weight: 866	Total Weight: 49851
c core #125
c Core size: 17	Core Weight: 455	Total Weight: 50306
c core #126
c Core size: 30	Core Weight: 83	Total Weight: 50389
c core #127
c Core size: 18	Core Weight: 929	Total Weight: 51318
c core #128
c Core size: 15	Core Weight: 718	Total Weight: 52036
c core #129
c Core size: 22	Core Weight: 111	Total Weight: 52147
c core #130
c Core size: 16	Core Weight: 262	Total Weight: 52409
c core #131
c Core size: 19	Core Weight: 628	Total Weight: 53037
c core #132
c Core size: 14	Core Weight: 603	Total Weight: 53640
c core #133
c Core size: 14	Core Weight: 446	Total Weight: 54086
c core #134
c Core size: 14	Core Weight: 89	Total Weight: 54175
c core #135
c Core size: 20	Core Weight: 90	Total Weight: 54265
c core #136
c Core size: 18	Core Weight: 5	Total Weight: 54270
c core #137
c Core size: 14	Core Weight: 225	Total Weight: 54495
c core #138
c Core size: 14	Core Weight: 783	Total Weight: 55278
c core #139
c Core size: 13	Core Weight: 8	Total Weight: 55286
c core #140
c Core size: 9	Core Weight: 309	Total Weight: 55595
c core #141
c Core size: 12	Core Weight: 313	Total Weight: 55908
c core #142
c Core size: 21	Core Weight: 223	Total Weight: 56131
c core #143
c Core size: 15	Core Weight: 206	Total Weight: 56337
c core #144
c Core size: 10	Core Weight: 431	Total Weight: 56768
c core #145
c Core size: 13	Core Weight: 22	Total Weight: 56790
c core #146
c Core size: 18	Core Weight: 906	Total Weight: 57696
c core #147
c Core size: 22	Core Weight: 150	Total Weight: 57846
c core #148
c Core size: 15	Core Weight: 315	Total Weight: 58161
c core #149
c Core size: 15	Core Weight: 115	Total Weight: 58276
c core #150
c Core size: 14	Core Weight: 767	Total Weight: 59043
c core #151
c Core size: 17	Core Weight: 168	Total Weight: 59211
c core #152
c Core size: 17	Core Weight: 7	Total Weight: 59218
c core #153
c Core size: 18	Core Weight: 170	Total Weight: 59388
c core #154
c Core size: 18	Core Weight: 242	Total Weight: 59630
c core #155
c Core size: 26	Core Weight: 37	Total Weight: 59667
c core #156
c Core size: 18	Core Weight: 334	Total Weight: 60001
c core #157
c Core size: 14	Core Weight: 411	Total Weight: 60412
c core #158
c Core size: 18	Core Weight: 168	Total Weight: 60580
c core #159
c Core size: 18	Core Weight: 300	Total Weight: 60880
c core #160
c Core size: 14	Core Weight: 412	Total Weight: 61292
c core #161
c Core size: 19	Core Weight: 101	Total Weight: 61393
c core #162
c Core size: 16	Core Weight: 255	Total Weight: 61648
c core #163
c Core size: 40	Core Weight: 35	Total Weight: 61683
c core #164
c Core size: 17	Core Weight: 7	Total Weight: 61690
c core #165
c Core size: 20	Core Weight: 126	Total Weight: 61816
c core #166
c Core size: 22	Core Weight: 137	Total Weight: 61953
c core #167
c Core size: 18	Core Weight: 128	Total Weight: 62081
c core #168
c Core size: 31	Core Weight: 208	Total Weight: 62289
c core #169
c Core size: 18	Core Weight: 694	Total Weight: 62983
c core #170
c Core size: 22	Core Weight: 747	Total Weight: 63730
c core #171
c Core size: 24	Core Weight: 252	Total Weight: 63982
c core #172
c Core size: 18	Core Weight: 71	Total Weight: 64053
c core #173
c Core size: 14	Core Weight: 628	Total Weight: 64681
c core #174
c Core size: 18	Core Weight: 298	Total Weight: 64979
c core #175
c Core size: 12	Core Weight: 79	Total Weight: 65058
c core #176
c Core size: 22	Core Weight: 114	Total Weight: 65172
c core #177
c Core size: 18	Core Weight: 11	Total Weight: 65183
c core #178
c Core size: 14	Core Weight: 365	Total Weight: 65548
c core #179
c Core size: 14	Core Weight: 1026	Total Weight: 66574
c core #180
c Core size: 18	Core Weight: 418	Total Weight: 66992
c core #181
c Core size: 17	Core Weight: 238	Total Weight: 67230
c core #182
c Core size: 12	Core Weight: 163	Total Weight: 67393
c core #183
c Core size: 22	Core Weight: 282	Total Weight: 67675
c core #184
c Core size: 17	Core Weight: 557	Total Weight: 68232
c core #185
c Core size: 26	Core Weight: 44	Total Weight: 68276
c core #186
c Core size: 14	Core Weight: 477	Total Weight: 68753
c core #187
c Core size: 76	Core Weight: 41	Total Weight: 68794
c core #188
c Core size: 30	Core Weight: 63	Total Weight: 68857
c core #189
c Core size: 13	Core Weight: 198	Total Weight: 69055
c core #190
c Core size: 17	Core Weight: 220	Total Weight: 69275
c core #191
c Core size: 22	Core Weight: 49	Total Weight: 69324
c core #192
c Core size: 14	Core Weight: 54	Total Weight: 69378
c core #193
c Core size: 24	Core Weight: 80	Total Weight: 69458
c core #194
c Core size: 24	Core Weight: 158	Total Weight: 69616
c core #195
c Core size: 17	Core Weight: 529	Total Weight: 70145
c core #196
c Core size: 42	Core Weight: 49	Total Weight: 70194
c core #197
c Core size: 40	Core Weight: 53	Total Weight: 70247
c core #198
c Core size: 21	Core Weight: 321	Total Weight: 70568
c core #199
c Core size: 13	Core Weight: 199	Total Weight: 70767
c core #200
c Core size: 19	Core Weight: 578	Total Weight: 71345
c core #201
c Core size: 83	Core Weight: 4	Total Weight: 71349
c core #202
c Core size: 14	Core Weight: 358	Total Weight: 71707
c core #203
c Core size: 20	Core Weight: 159	Total Weight: 71866
c core #204
c Core size: 19	Core Weight: 179	Total Weight: 72045
c core #205
c Core size: 48	Core Weight: 198	Total Weight: 72243
c core #206
c Core size: 63	Core Weight: 7	Total Weight: 72250
c core #207
c Core size: 48	Core Weight: 3	Total Weight: 72253
c core #208
c Core size: 97	Core Weight: 5	Total Weight: 72258
c core #209
c Core size: 12	Core Weight: 297	Total Weight: 72555
c core #210
c Core size: 13	Core Weight: 303	Total Weight: 72858
c core #211
c Core size: 11	Core Weight: 89	Total Weight: 72947
c core #212
c Core size: 16	Core Weight: 11	Total Weight: 72958
c core #213
c Core size: 14	Core Weight: 1165	Total Weight: 74123
c core #214
c Core size: 24	Core Weight: 60	Total Weight: 74183
c core #215
c Core size: 100	Core Weight: 3	Total Weight: 74186
c core #216
c Core size: 48	Core Weight: 7	Total Weight: 74193
c core #217
c Core size: 45	Core Weight: 126	Total Weight: 74319
c core #218
c Core size: 36	Core Weight: 81	Total Weight: 74400
c core #219
c Core size: 39	Core Weight: 96	Total Weight: 74496
c core #220
c Core size: 14	Core Weight: 927	Total Weight: 75423
c core #221
c Core size: 22	Core Weight: 647	Total Weight: 76070
c core #222
c Core size: 24	Core Weight: 245	Total Weight: 76315
c core #223
c Core size: 17	Core Weight: 7	Total Weight: 76322
c core #224
c Core size: 20	Core Weight: 420	Total Weight: 76742
c core #225
c Core size: 23	Core Weight: 6	Total Weight: 76748
c core #226
c Core size: 20	Core Weight: 10	Total Weight: 76758
c core #227
c Core size: 59	Core Weight: 19	Total Weight: 76777
c core #228
c Core size: 21	Core Weight: 283	Total Weight: 77060
c core #229
c Core size: 26	Core Weight: 302	Total Weight: 77362
c core #230
c Core size: 26	Core Weight: 15	Total Weight: 77377
c core #231
c Core size: 22	Core Weight: 235	Total Weight: 77612
c core #232
c Core size: 19	Core Weight: 146	Total Weight: 77758
c core #233
c Core size: 60	Core Weight: 62	Total Weight: 77820
c core #234
c Core size: 21	Core Weight: 51	Total Weight: 77871
c core #235
c Core size: 18	Core Weight: 268	Total Weight: 78139
c #cores: 235
c Final Weight: 78139
o 78139
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
1.013u 0.202s 0:01.26 96.0%	0+0k 0+0io 0pf+0w