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-7.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-1_network-7.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/VascoManquinho/wbo.wcnf
c core #1
c Core size: 3	Core Weight: 588	Total Weight: 588
c core #2
c Core size: 5	Core Weight: 133	Total Weight: 721
c core #3
c Core size: 4	Core Weight: 1372	Total Weight: 2093
c core #4
c Core size: 6	Core Weight: 581	Total Weight: 2674
c core #5
c Core size: 6	Core Weight: 277	Total Weight: 2951
c core #6
c Core size: 4	Core Weight: 953	Total Weight: 3904
c core #7
c Core size: 6	Core Weight: 226	Total Weight: 4130
c core #8
c Core size: 3	Core Weight: 1165	Total Weight: 5295
c core #9
c Core size: 7	Core Weight: 77	Total Weight: 5372
c core #10
c Core size: 9	Core Weight: 44	Total Weight: 5416
c core #11
c Core size: 3	Core Weight: 1088	Total Weight: 6504
c core #12
c Core size: 6	Core Weight: 191	Total Weight: 6695
c core #13
c Core size: 4	Core Weight: 1250	Total Weight: 7945
c core #14
c Core size: 7	Core Weight: 98	Total Weight: 8043
c core #15
c Core size: 3	Core Weight: 1687	Total Weight: 9730
c core #16
c Core size: 6	Core Weight: 861	Total Weight: 10591
c core #17
c Core size: 9	Core Weight: 459	Total Weight: 11050
c core #18
c Core size: 5	Core Weight: 963	Total Weight: 12013
c core #19
c Core size: 8	Core Weight: 217	Total Weight: 12230
c core #20
c Core size: 4	Core Weight: 1071	Total Weight: 13301
c core #21
c Core size: 6	Core Weight: 172	Total Weight: 13473
c core #22
c Core size: 3	Core Weight: 1081	Total Weight: 14554
c core #23
c Core size: 7	Core Weight: 49	Total Weight: 14603
c core #24
c Core size: 11	Core Weight: 34	Total Weight: 14637
c core #25
c Core size: 8	Core Weight: 358	Total Weight: 14995
c core #26
c Core size: 7	Core Weight: 463	Total Weight: 15458
c core #27
c Core size: 12	Core Weight: 22	Total Weight: 15480
c core #28
c Core size: 12	Core Weight: 5	Total Weight: 15485
c core #29
c Core size: 9	Core Weight: 1354	Total Weight: 16839
c core #30
c Core size: 19	Core Weight: 22	Total Weight: 16861
c core #31
c Core size: 19	Core Weight: 5	Total Weight: 16866
c core #32
c Core size: 14	Core Weight: 372	Total Weight: 17238
c core #33
c Core size: 19	Core Weight: 74	Total Weight: 17312
c core #34
c Core size: 18	Core Weight: 126	Total Weight: 17438
c core #35
c Core size: 19	Core Weight: 418	Total Weight: 17856
c core #36
c Core size: 20	Core Weight: 304	Total Weight: 18160
c core #37
c Core size: 19	Core Weight: 325	Total Weight: 18485
c core #38
c Core size: 18	Core Weight: 154	Total Weight: 18639
c core #39
c Core size: 14	Core Weight: 53	Total Weight: 18692
c core #40
c Core size: 18	Core Weight: 2	Total Weight: 18694
c core #41
c Core size: 19	Core Weight: 112	Total Weight: 18806
c core #42
c Core size: 7	Core Weight: 108	Total Weight: 18914
c core #43
c Core size: 12	Core Weight: 102	Total Weight: 19016
c core #44
c Core size: 20	Core Weight: 11	Total Weight: 19027
c core #45
c Core size: 8	Core Weight: 558	Total Weight: 19585
c core #46
c Core size: 18	Core Weight: 25	Total Weight: 19610
c core #47
c Core size: 9	Core Weight: 83	Total Weight: 19693
c core #48
c Core size: 11	Core Weight: 616	Total Weight: 20309
c core #49
c Core size: 10	Core Weight: 111	Total Weight: 20420
c core #50
c Core size: 12	Core Weight: 966	Total Weight: 21386
c core #51
c Core size: 6	Core Weight: 286	Total Weight: 21672
c core #52
c Core size: 10	Core Weight: 528	Total Weight: 22200
c core #53
c Core size: 12	Core Weight: 87	Total Weight: 22287
c core #54
c Core size: 16	Core Weight: 56	Total Weight: 22343
c core #55
c Core size: 6	Core Weight: 402	Total Weight: 22745
c core #56
c Core size: 6	Core Weight: 128	Total Weight: 22873
c core #57
c Core size: 17	Core Weight: 116	Total Weight: 22989
c core #58
c Core size: 14	Core Weight: 835	Total Weight: 23824
c core #59
c Core size: 10	Core Weight: 1346	Total Weight: 25170
c core #60
c Core size: 11	Core Weight: 451	Total Weight: 25621
c core #61
c Core size: 18	Core Weight: 413	Total Weight: 26034
c core #62
c Core size: 10	Core Weight: 267	Total Weight: 26301
c core #63
c Core size: 12	Core Weight: 120	Total Weight: 26421
c core #64
c Core size: 13	Core Weight: 216	Total Weight: 26637
c core #65
c Core size: 21	Core Weight: 205	Total Weight: 26842
c core #66
c Core size: 16	Core Weight: 5	Total Weight: 26847
c core #67
c Core size: 10	Core Weight: 58	Total Weight: 26905
c core #68
c Core size: 16	Core Weight: 337	Total Weight: 27242
c core #69
c Core size: 11	Core Weight: 38	Total Weight: 27280
c core #70
c Core size: 9	Core Weight: 361	Total Weight: 27641
c core #71
c Core size: 10	Core Weight: 769	Total Weight: 28410
c core #72
c Core size: 10	Core Weight: 892	Total Weight: 29302
c core #73
c Core size: 6	Core Weight: 586	Total Weight: 29888
c core #74
c Core size: 17	Core Weight: 424	Total Weight: 30312
c core #75
c Core size: 7	Core Weight: 565	Total Weight: 30877
c core #76
c Core size: 6	Core Weight: 463	Total Weight: 31340
c core #77
c Core size: 9	Core Weight: 169	Total Weight: 31509
c core #78
c Core size: 19	Core Weight: 137	Total Weight: 31646
c core #79
c Core size: 9	Core Weight: 377	Total Weight: 32023
c core #80
c Core size: 9	Core Weight: 68	Total Weight: 32091
c core #81
c Core size: 20	Core Weight: 215	Total Weight: 32306
c core #82
c Core size: 17	Core Weight: 226	Total Weight: 32532
c core #83
c Core size: 31	Core Weight: 69	Total Weight: 32601
c core #84
c Core size: 15	Core Weight: 377	Total Weight: 32978
c core #85
c Core size: 18	Core Weight: 12	Total Weight: 32990
c core #86
c Core size: 10	Core Weight: 4	Total Weight: 32994
c core #87
c Core size: 8	Core Weight: 683	Total Weight: 33677
c core #88
c Core size: 8	Core Weight: 293	Total Weight: 33970
c core #89
c Core size: 10	Core Weight: 114	Total Weight: 34084
c core #90
c Core size: 8	Core Weight: 569	Total Weight: 34653
c core #91
c Core size: 9	Core Weight: 170	Total Weight: 34823
c core #92
c Core size: 8	Core Weight: 58	Total Weight: 34881
c core #93
c Core size: 16	Core Weight: 21	Total Weight: 34902
c core #94
c Core size: 12	Core Weight: 33	Total Weight: 34935
c core #95
c Core size: 8	Core Weight: 1020	Total Weight: 35955
c core #96
c Core size: 6	Core Weight: 196	Total Weight: 36151
c core #97
c Core size: 6	Core Weight: 574	Total Weight: 36725
c core #98
c Core size: 10	Core Weight: 36	Total Weight: 36761
c core #99
c Core size: 12	Core Weight: 328	Total Weight: 37089
c core #100
c Core size: 10	Core Weight: 662	Total Weight: 37751
c core #101
c Core size: 45	Core Weight: 3	Total Weight: 37754
c core #102
c Core size: 10	Core Weight: 484	Total Weight: 38238
c core #103
c Core size: 10	Core Weight: 839	Total Weight: 39077
c core #104
c Core size: 12	Core Weight: 141	Total Weight: 39218
c core #105
c Core size: 10	Core Weight: 325	Total Weight: 39543
c core #106
c Core size: 14	Core Weight: 196	Total Weight: 39739
c core #107
c Core size: 6	Core Weight: 12	Total Weight: 39751
c core #108
c Core size: 6	Core Weight: 701	Total Weight: 40452
c core #109
c Core size: 8	Core Weight: 41	Total Weight: 40493
c core #110
c Core size: 6	Core Weight: 141	Total Weight: 40634
c core #111
c Core size: 10	Core Weight: 170	Total Weight: 40804
c core #112
c Core size: 10	Core Weight: 1058	Total Weight: 41862
c core #113
c Core size: 9	Core Weight: 226	Total Weight: 42088
c core #114
c Core size: 11	Core Weight: 487	Total Weight: 42575
c core #115
c Core size: 32	Core Weight: 25	Total Weight: 42600
c core #116
c Core size: 13	Core Weight: 427	Total Weight: 43027
c core #117
c Core size: 7	Core Weight: 275	Total Weight: 43302
c core #118
c Core size: 14	Core Weight: 283	Total Weight: 43585
c core #119
c Core size: 20	Core Weight: 8	Total Weight: 43593
c core #120
c Core size: 16	Core Weight: 157	Total Weight: 43750
c core #121
c Core size: 11	Core Weight: 321	Total Weight: 44071
c core #122
c Core size: 38	Core Weight: 3	Total Weight: 44074
c core #123
c Core size: 12	Core Weight: 166	Total Weight: 44240
c core #124
c Core size: 6	Core Weight: 97	Total Weight: 44337
c core #125
c Core size: 10	Core Weight: 387	Total Weight: 44724
c core #126
c Core size: 8	Core Weight: 503	Total Weight: 45227
c core #127
c Core size: 10	Core Weight: 237	Total Weight: 45464
c core #128
c Core size: 9	Core Weight: 163	Total Weight: 45627
c core #129
c Core size: 12	Core Weight: 143	Total Weight: 45770
c core #130
c Core size: 10	Core Weight: 869	Total Weight: 46639
c core #131
c Core size: 17	Core Weight: 117	Total Weight: 46756
c core #132
c Core size: 16	Core Weight: 334	Total Weight: 47090
c core #133
c Core size: 18	Core Weight: 1036	Total Weight: 48126
c core #134
c Core size: 14	Core Weight: 75	Total Weight: 48201
c core #135
c Core size: 15	Core Weight: 184	Total Weight: 48385
c core #136
c Core size: 17	Core Weight: 338	Total Weight: 48723
c core #137
c Core size: 14	Core Weight: 445	Total Weight: 49168
c core #138
c Core size: 18	Core Weight: 198	Total Weight: 49366
c core #139
c Core size: 11	Core Weight: 177	Total Weight: 49543
c core #140
c Core size: 15	Core Weight: 221	Total Weight: 49764
c core #141
c Core size: 17	Core Weight: 140	Total Weight: 49904
c core #142
c Core size: 21	Core Weight: 44	Total Weight: 49948
c core #143
c Core size: 8	Core Weight: 224	Total Weight: 50172
c core #144
c Core size: 19	Core Weight: 389	Total Weight: 50561
c core #145
c Core size: 15	Core Weight: 9	Total Weight: 50570
c core #146
c Core size: 14	Core Weight: 495	Total Weight: 51065
c core #147
c Core size: 18	Core Weight: 216	Total Weight: 51281
c core #148
c Core size: 12	Core Weight: 10	Total Weight: 51291
c core #149
c Core size: 21	Core Weight: 720	Total Weight: 52011
c core #150
c Core size: 10	Core Weight: 344	Total Weight: 52355
c core #151
c Core size: 10	Core Weight: 531	Total Weight: 52886
c core #152
c Core size: 13	Core Weight: 143	Total Weight: 53029
c core #153
c Core size: 10	Core Weight: 706	Total Weight: 53735
c core #154
c Core size: 19	Core Weight: 31	Total Weight: 53766
c core #155
c Core size: 15	Core Weight: 230	Total Weight: 53996
c core #156
c Core size: 20	Core Weight: 350	Total Weight: 54346
c core #157
c Core size: 15	Core Weight: 324	Total Weight: 54670
c core #158
c Core size: 21	Core Weight: 5	Total Weight: 54675
c core #159
c Core size: 23	Core Weight: 178	Total Weight: 54853
c core #160
c Core size: 43	Core Weight: 9	Total Weight: 54862
c core #161
c Core size: 14	Core Weight: 42	Total Weight: 54904
c core #162
c Core size: 13	Core Weight: 748	Total Weight: 55652
c core #163
c Core size: 19	Core Weight: 331	Total Weight: 55983
c core #164
c Core size: 20	Core Weight: 123	Total Weight: 56106
c core #165
c Core size: 22	Core Weight: 1	Total Weight: 56107
c core #166
c Core size: 16	Core Weight: 189	Total Weight: 56296
c core #167
c Core size: 19	Core Weight: 60	Total Weight: 56356
c core #168
c Core size: 19	Core Weight: 100	Total Weight: 56456
c core #169
c Core size: 19	Core Weight: 438	Total Weight: 56894
c core #170
c Core size: 14	Core Weight: 195	Total Weight: 57089
c core #171
c Core size: 17	Core Weight: 201	Total Weight: 57290
c core #172
c Core size: 13	Core Weight: 170	Total Weight: 57460
c core #173
c Core size: 18	Core Weight: 145	Total Weight: 57605
c core #174
c Core size: 14	Core Weight: 392	Total Weight: 57997
c core #175
c Core size: 25	Core Weight: 44	Total Weight: 58041
c core #176
c Core size: 19	Core Weight: 395	Total Weight: 58436
c core #177
c Core size: 17	Core Weight: 22	Total Weight: 58458
c core #178
c Core size: 11	Core Weight: 269	Total Weight: 58727
c core #179
c Core size: 16	Core Weight: 119	Total Weight: 58846
c core #180
c Core size: 26	Core Weight: 196	Total Weight: 59042
c core #181
c Core size: 25	Core Weight: 314	Total Weight: 59356
c core #182
c Core size: 14	Core Weight: 424	Total Weight: 59780
c core #183
c Core size: 13	Core Weight: 49	Total Weight: 59829
c core #184
c Core size: 13	Core Weight: 53	Total Weight: 59882
c core #185
c Core size: 27	Core Weight: 12	Total Weight: 59894
c core #186
c Core size: 23	Core Weight: 109	Total Weight: 60003
c core #187
c Core size: 23	Core Weight: 393	Total Weight: 60396
c core #188
c Core size: 21	Core Weight: 357	Total Weight: 60753
c core #189
c Core size: 14	Core Weight: 81	Total Weight: 60834
c core #190
c Core size: 17	Core Weight: 413	Total Weight: 61247
c core #191
c Core size: 14	Core Weight: 214	Total Weight: 61461
c core #192
c Core size: 16	Core Weight: 154	Total Weight: 61615
c core #193
c Core size: 20	Core Weight: 540	Total Weight: 62155
c core #194
c Core size: 18	Core Weight: 418	Total Weight: 62573
c core #195
c Core size: 18	Core Weight: 53	Total Weight: 62626
c core #196
c Core size: 22	Core Weight: 40	Total Weight: 62666
c core #197
c Core size: 33	Core Weight: 43	Total Weight: 62709
c core #198
c Core size: 16	Core Weight: 9	Total Weight: 62718
c core #199
c Core size: 18	Core Weight: 1045	Total Weight: 63763
c core #200
c Core size: 19	Core Weight: 7	Total Weight: 63770
c core #201
c Core size: 14	Core Weight: 652	Total Weight: 64422
c core #202
c Core size: 19	Core Weight: 23	Total Weight: 64445
c core #203
c Core size: 20	Core Weight: 412	Total Weight: 64857
c core #204
c Core size: 12	Core Weight: 127	Total Weight: 64984
c core #205
c Core size: 37	Core Weight: 20	Total Weight: 65004
c core #206
c Core size: 20	Core Weight: 374	Total Weight: 65378
c core #207
c Core size: 26	Core Weight: 83	Total Weight: 65461
c core #208
c Core size: 19	Core Weight: 513	Total Weight: 65974
c core #209
c Core size: 25	Core Weight: 61	Total Weight: 66035
c core #210
c Core size: 38	Core Weight: 18	Total Weight: 66053
c core #211
c Core size: 37	Core Weight: 29	Total Weight: 66082
c core #212
c Core size: 19	Core Weight: 412	Total Weight: 66494
c core #213
c Core size: 16	Core Weight: 143	Total Weight: 66637
c core #214
c Core size: 53	Core Weight: 56	Total Weight: 66693
c core #215
c Core size: 22	Core Weight: 21	Total Weight: 66714
c core #216
c Core size: 25	Core Weight: 51	Total Weight: 66765
c core #217
c Core size: 15	Core Weight: 30	Total Weight: 66795
c core #218
c Core size: 14	Core Weight: 264	Total Weight: 67059
c core #219
c Core size: 11	Core Weight: 163	Total Weight: 67222
c core #220
c Core size: 20	Core Weight: 145	Total Weight: 67367
c core #221
c Core size: 18	Core Weight: 99	Total Weight: 67466
c core #222
c Core size: 21	Core Weight: 419	Total Weight: 67885
c core #223
c Core size: 23	Core Weight: 245	Total Weight: 68130
c core #224
c Core size: 22	Core Weight: 133	Total Weight: 68263
c core #225
c Core size: 25	Core Weight: 174	Total Weight: 68437
c core #226
c Core size: 20	Core Weight: 733	Total Weight: 69170
c core #227
c Core size: 20	Core Weight: 293	Total Weight: 69463
c core #228
c Core size: 22	Core Weight: 85	Total Weight: 69548
c core #229
c Core size: 41	Core Weight: 21	Total Weight: 69569
c core #230
c Core size: 24	Core Weight: 99	Total Weight: 69668
c core #231
c Core size: 21	Core Weight: 56	Total Weight: 69724
c core #232
c Core size: 24	Core Weight: 405	Total Weight: 70129
c core #233
c Core size: 19	Core Weight: 113	Total Weight: 70242
c core #234
c Core size: 18	Core Weight: 480	Total Weight: 70722
c #cores: 234
c Final Weight: 70722
o 70722
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
0.836u 0.119s 0:02.33 40.3%	0+0k 0+0io 0pf+0w