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-100-1_network-8.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-1_network-8.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/VascoManquinho/wbo.wcnf
c core #1
c Core size: 4	Core Weight: 1405	Total Weight: 1405
c core #2
c Core size: 8	Core Weight: 160	Total Weight: 1565
c core #3
c Core size: 5	Core Weight: 1373	Total Weight: 2938
c core #4
c Core size: 9	Core Weight: 92	Total Weight: 3030
c core #5
c Core size: 3	Core Weight: 1383	Total Weight: 4413
c core #6
c Core size: 6	Core Weight: 308	Total Weight: 4721
c core #7
c Core size: 4	Core Weight: 643	Total Weight: 5364
c core #8
c Core size: 8	Core Weight: 30	Total Weight: 5394
c core #9
c Core size: 4	Core Weight: 1595	Total Weight: 6989
c core #10
c Core size: 6	Core Weight: 699	Total Weight: 7688
c core #11
c Core size: 5	Core Weight: 1688	Total Weight: 9376
c core #12
c Core size: 7	Core Weight: 1718	Total Weight: 11094
c core #13
c Core size: 9	Core Weight: 112	Total Weight: 11206
c core #14
c Core size: 4	Core Weight: 1488	Total Weight: 12694
c core #15
c Core size: 6	Core Weight: 494	Total Weight: 13188
c core #16
c Core size: 8	Core Weight: 13	Total Weight: 13201
c core #17
c Core size: 10	Core Weight: 120	Total Weight: 13321
c core #18
c Core size: 3	Core Weight: 944	Total Weight: 14265
c core #19
c Core size: 6	Core Weight: 787	Total Weight: 15052
c core #20
c Core size: 10	Core Weight: 143	Total Weight: 15195
c core #21
c Core size: 7	Core Weight: 1193	Total Weight: 16388
c core #22
c Core size: 4	Core Weight: 1105	Total Weight: 17493
c core #23
c Core size: 7	Core Weight: 412	Total Weight: 17905
c core #24
c Core size: 5	Core Weight: 1132	Total Weight: 19037
c core #25
c Core size: 7	Core Weight: 131	Total Weight: 19168
c core #26
c Core size: 4	Core Weight: 1358	Total Weight: 20526
c core #27
c Core size: 8	Core Weight: 346	Total Weight: 20872
c core #28
c Core size: 3	Core Weight: 465	Total Weight: 21337
c core #29
c Core size: 5	Core Weight: 46	Total Weight: 21383
c core #30
c Core size: 8	Core Weight: 372	Total Weight: 21755
c core #31
c Core size: 3	Core Weight: 1471	Total Weight: 23226
c core #32
c Core size: 7	Core Weight: 159	Total Weight: 23385
c core #33
c Core size: 5	Core Weight: 1560	Total Weight: 24945
c core #34
c Core size: 8	Core Weight: 176	Total Weight: 25121
c core #35
c Core size: 3	Core Weight: 266	Total Weight: 25387
c core #36
c Core size: 5	Core Weight: 660	Total Weight: 26047
c core #37
c Core size: 7	Core Weight: 350	Total Weight: 26397
c core #38
c Core size: 5	Core Weight: 1254	Total Weight: 27651
c core #39
c Core size: 8	Core Weight: 125	Total Weight: 27776
c core #40
c Core size: 4	Core Weight: 764	Total Weight: 28540
c core #41
c Core size: 8	Core Weight: 476	Total Weight: 29016
c core #42
c Core size: 4	Core Weight: 860	Total Weight: 29876
c core #43
c Core size: 6	Core Weight: 141	Total Weight: 30017
c core #44
c Core size: 3	Core Weight: 1662	Total Weight: 31679
c core #45
c Core size: 5	Core Weight: 1303	Total Weight: 32982
c core #46
c Core size: 11	Core Weight: 249	Total Weight: 33231
c core #47
c Core size: 14	Core Weight: 629	Total Weight: 33860
c core #48
c Core size: 16	Core Weight: 423	Total Weight: 34283
c core #49
c Core size: 15	Core Weight: 567	Total Weight: 34850
c core #50
c Core size: 12	Core Weight: 954	Total Weight: 35804
c core #51
c Core size: 19	Core Weight: 72	Total Weight: 35876
c core #52
c Core size: 19	Core Weight: 599	Total Weight: 36475
c core #53
c Core size: 20	Core Weight: 172	Total Weight: 36647
c core #54
c Core size: 14	Core Weight: 6	Total Weight: 36653
c core #55
c Core size: 19	Core Weight: 44	Total Weight: 36697
c core #56
c Core size: 16	Core Weight: 223	Total Weight: 36920
c core #57
c Core size: 11	Core Weight: 198	Total Weight: 37118
c core #58
c Core size: 10	Core Weight: 23	Total Weight: 37141
c core #59
c Core size: 7	Core Weight: 452	Total Weight: 37593
c core #60
c Core size: 11	Core Weight: 371	Total Weight: 37964
c core #61
c Core size: 12	Core Weight: 824	Total Weight: 38788
c core #62
c Core size: 16	Core Weight: 8	Total Weight: 38796
c core #63
c Core size: 10	Core Weight: 299	Total Weight: 39095
c core #64
c Core size: 14	Core Weight: 130	Total Weight: 39225
c core #65
c Core size: 9	Core Weight: 22	Total Weight: 39247
c core #66
c Core size: 6	Core Weight: 438	Total Weight: 39685
c core #67
c Core size: 8	Core Weight: 242	Total Weight: 39927
c core #68
c Core size: 7	Core Weight: 456	Total Weight: 40383
c core #69
c Core size: 12	Core Weight: 161	Total Weight: 40544
c core #70
c Core size: 7	Core Weight: 980	Total Weight: 41524
c core #71
c Core size: 10	Core Weight: 206	Total Weight: 41730
c core #72
c Core size: 9	Core Weight: 289	Total Weight: 42019
c core #73
c Core size: 11	Core Weight: 400	Total Weight: 42419
c core #74
c Core size: 9	Core Weight: 183	Total Weight: 42602
c core #75
c Core size: 10	Core Weight: 575	Total Weight: 43177
c core #76
c Core size: 10	Core Weight: 169	Total Weight: 43346
c core #77
c Core size: 10	Core Weight: 1	Total Weight: 43347
c core #78
c Core size: 10	Core Weight: 109	Total Weight: 43456
c core #79
c Core size: 15	Core Weight: 530	Total Weight: 43986
c core #80
c Core size: 6	Core Weight: 39	Total Weight: 44025
c core #81
c Core size: 6	Core Weight: 484	Total Weight: 44509
c core #82
c Core size: 15	Core Weight: 46	Total Weight: 44555
c core #83
c Core size: 8	Core Weight: 155	Total Weight: 44710
c core #84
c Core size: 10	Core Weight: 537	Total Weight: 45247
c core #85
c Core size: 11	Core Weight: 494	Total Weight: 45741
c core #86
c Core size: 18	Core Weight: 190	Total Weight: 45931
c core #87
c Core size: 10	Core Weight: 258	Total Weight: 46189
c core #88
c Core size: 8	Core Weight: 373	Total Weight: 46562
c core #89
c Core size: 14	Core Weight: 65	Total Weight: 46627
c core #90
c Core size: 6	Core Weight: 631	Total Weight: 47258
c core #91
c Core size: 17	Core Weight: 196	Total Weight: 47454
c core #92
c Core size: 6	Core Weight: 284	Total Weight: 47738
c core #93
c Core size: 8	Core Weight: 501	Total Weight: 48239
c core #94
c Core size: 14	Core Weight: 18	Total Weight: 48257
c core #95
c Core size: 8	Core Weight: 610	Total Weight: 48867
c core #96
c Core size: 6	Core Weight: 486	Total Weight: 49353
c core #97
c Core size: 11	Core Weight: 310	Total Weight: 49663
c core #98
c Core size: 11	Core Weight: 17	Total Weight: 49680
c core #99
c Core size: 17	Core Weight: 56	Total Weight: 49736
c core #100
c Core size: 6	Core Weight: 119	Total Weight: 49855
c core #101
c Core size: 8	Core Weight: 396	Total Weight: 50251
c core #102
c Core size: 10	Core Weight: 122	Total Weight: 50373
c core #103
c Core size: 15	Core Weight: 588	Total Weight: 50961
c core #104
c Core size: 12	Core Weight: 377	Total Weight: 51338
c core #105
c Core size: 10	Core Weight: 378	Total Weight: 51716
c core #106
c Core size: 9	Core Weight: 83	Total Weight: 51799
c core #107
c Core size: 11	Core Weight: 117	Total Weight: 51916
c core #108
c Core size: 8	Core Weight: 1020	Total Weight: 52936
c core #109
c Core size: 15	Core Weight: 16	Total Weight: 52952
c core #110
c Core size: 14	Core Weight: 548	Total Weight: 53500
c core #111
c Core size: 10	Core Weight: 391	Total Weight: 53891
c core #112
c Core size: 9	Core Weight: 187	Total Weight: 54078
c core #113
c Core size: 12	Core Weight: 169	Total Weight: 54247
c core #114
c Core size: 10	Core Weight: 302	Total Weight: 54549
c core #115
c Core size: 14	Core Weight: 164	Total Weight: 54713
c core #116
c Core size: 10	Core Weight: 213	Total Weight: 54926
c core #117
c Core size: 10	Core Weight: 208	Total Weight: 55134
c core #118
c Core size: 9	Core Weight: 819	Total Weight: 55953
c core #119
c Core size: 15	Core Weight: 648	Total Weight: 56601
c core #120
c Core size: 10	Core Weight: 1216	Total Weight: 57817
c core #121
c Core size: 10	Core Weight: 385	Total Weight: 58202
c core #122
c Core size: 13	Core Weight: 4	Total Weight: 58206
c core #123
c Core size: 6	Core Weight: 290	Total Weight: 58496
c core #124
c Core size: 9	Core Weight: 275	Total Weight: 58771
c core #125
c Core size: 11	Core Weight: 183	Total Weight: 58954
c core #126
c Core size: 8	Core Weight: 717	Total Weight: 59671
c core #127
c Core size: 8	Core Weight: 504	Total Weight: 60175
c core #128
c Core size: 13	Core Weight: 289	Total Weight: 60464
c core #129
c Core size: 12	Core Weight: 87	Total Weight: 60551
c core #130
c Core size: 10	Core Weight: 1285	Total Weight: 61836
c core #131
c Core size: 6	Core Weight: 685	Total Weight: 62521
c core #132
c Core size: 11	Core Weight: 96	Total Weight: 62617
c core #133
c Core size: 15	Core Weight: 161	Total Weight: 62778
c core #134
c Core size: 6	Core Weight: 20	Total Weight: 62798
c core #135
c Core size: 8	Core Weight: 10	Total Weight: 62808
c core #136
c Core size: 10	Core Weight: 1070	Total Weight: 63878
c core #137
c Core size: 18	Core Weight: 2	Total Weight: 63880
c core #138
c Core size: 15	Core Weight: 411	Total Weight: 64291
c core #139
c Core size: 15	Core Weight: 117	Total Weight: 64408
c core #140
c Core size: 18	Core Weight: 202	Total Weight: 64610
c core #141
c Core size: 11	Core Weight: 142	Total Weight: 64752
c core #142
c Core size: 6	Core Weight: 923	Total Weight: 65675
c core #143
c Core size: 9	Core Weight: 372	Total Weight: 66047
c core #144
c Core size: 17	Core Weight: 1068	Total Weight: 67115
c core #145
c Core size: 9	Core Weight: 578	Total Weight: 67693
c core #146
c Core size: 14	Core Weight: 522	Total Weight: 68215
c core #147
c Core size: 18	Core Weight: 689	Total Weight: 68904
c core #148
c Core size: 11	Core Weight: 383	Total Weight: 69287
c core #149
c Core size: 13	Core Weight: 4	Total Weight: 69291
c core #150
c Core size: 10	Core Weight: 466	Total Weight: 69757
c core #151
c Core size: 10	Core Weight: 77	Total Weight: 69834
c core #152
c Core size: 16	Core Weight: 370	Total Weight: 70204
c core #153
c Core size: 10	Core Weight: 736	Total Weight: 70940
c core #154
c Core size: 10	Core Weight: 187	Total Weight: 71127
c core #155
c Core size: 19	Core Weight: 694	Total Weight: 71821
c core #156
c Core size: 10	Core Weight: 963	Total Weight: 72784
c core #157
c Core size: 15	Core Weight: 6	Total Weight: 72790
c core #158
c Core size: 18	Core Weight: 74	Total Weight: 72864
c core #159
c Core size: 17	Core Weight: 803	Total Weight: 73667
c core #160
c Core size: 9	Core Weight: 89	Total Weight: 73756
c core #161
c Core size: 18	Core Weight: 32	Total Weight: 73788
c core #162
c Core size: 20	Core Weight: 94	Total Weight: 73882
c core #163
c Core size: 21	Core Weight: 84	Total Weight: 73966
c core #164
c Core size: 13	Core Weight: 46	Total Weight: 74012
c core #165
c Core size: 11	Core Weight: 159	Total Weight: 74171
c core #166
c Core size: 21	Core Weight: 23	Total Weight: 74194
c core #167
c Core size: 27	Core Weight: 150	Total Weight: 74344
c core #168
c Core size: 12	Core Weight: 62	Total Weight: 74406
c core #169
c Core size: 22	Core Weight: 137	Total Weight: 74543
c core #170
c Core size: 14	Core Weight: 255	Total Weight: 74798
c core #171
c Core size: 13	Core Weight: 21	Total Weight: 74819
c core #172
c Core size: 9	Core Weight: 1576	Total Weight: 76395
c core #173
c Core size: 18	Core Weight: 373	Total Weight: 76768
c core #174
c Core size: 16	Core Weight: 294	Total Weight: 77062
c core #175
c Core size: 13	Core Weight: 1091	Total Weight: 78153
c core #176
c Core size: 14	Core Weight: 25	Total Weight: 78178
c core #177
c Core size: 16	Core Weight: 231	Total Weight: 78409
c core #178
c Core size: 10	Core Weight: 481	Total Weight: 78890
c core #179
c Core size: 10	Core Weight: 141	Total Weight: 79031
c core #180
c Core size: 12	Core Weight: 112	Total Weight: 79143
c core #181
c Core size: 11	Core Weight: 146	Total Weight: 79289
c core #182
c Core size: 10	Core Weight: 585	Total Weight: 79874
c core #183
c Core size: 10	Core Weight: 1463	Total Weight: 81337
c core #184
c Core size: 28	Core Weight: 176	Total Weight: 81513
c core #185
c Core size: 31	Core Weight: 91	Total Weight: 81604
c core #186
c Core size: 34	Core Weight: 40	Total Weight: 81644
c core #187
c Core size: 25	Core Weight: 84	Total Weight: 81728
c core #188
c Core size: 17	Core Weight: 104	Total Weight: 81832
c core #189
c Core size: 18	Core Weight: 1006	Total Weight: 82838
c core #190
c Core size: 18	Core Weight: 251	Total Weight: 83089
c core #191
c Core size: 19	Core Weight: 3	Total Weight: 83092
c core #192
c Core size: 18	Core Weight: 145	Total Weight: 83237
c core #193
c Core size: 22	Core Weight: 110	Total Weight: 83347
c core #194
c Core size: 23	Core Weight: 11	Total Weight: 83358
c core #195
c Core size: 22	Core Weight: 49	Total Weight: 83407
c core #196
c Core size: 26	Core Weight: 45	Total Weight: 83452
c core #197
c Core size: 14	Core Weight: 214	Total Weight: 83666
c core #198
c Core size: 13	Core Weight: 191	Total Weight: 83857
c core #199
c Core size: 16	Core Weight: 210	Total Weight: 84067
c core #200
c Core size: 28	Core Weight: 46	Total Weight: 84113
c core #201
c Core size: 31	Core Weight: 112	Total Weight: 84225
c core #202
c Core size: 19	Core Weight: 594	Total Weight: 84819
c core #203
c Core size: 18	Core Weight: 371	Total Weight: 85190
c core #204
c Core size: 11	Core Weight: 749	Total Weight: 85939
c core #205
c Core size: 15	Core Weight: 461	Total Weight: 86400
c core #206
c Core size: 14	Core Weight: 348	Total Weight: 86748
c core #207
c Core size: 15	Core Weight: 56	Total Weight: 86804
c core #208
c Core size: 22	Core Weight: 222	Total Weight: 87026
c core #209
c Core size: 23	Core Weight: 63	Total Weight: 87089
c core #210
c Core size: 21	Core Weight: 317	Total Weight: 87406
c core #211
c Core size: 18	Core Weight: 103	Total Weight: 87509
c core #212
c Core size: 25	Core Weight: 103	Total Weight: 87612
c core #213
c Core size: 18	Core Weight: 153	Total Weight: 87765
c core #214
c Core size: 19	Core Weight: 614	Total Weight: 88379
c core #215
c Core size: 21	Core Weight: 290	Total Weight: 88669
c core #216
c Core size: 15	Core Weight: 20	Total Weight: 88689
c core #217
c Core size: 22	Core Weight: 306	Total Weight: 88995
c core #218
c Core size: 11	Core Weight: 283	Total Weight: 89278
c core #219
c Core size: 15	Core Weight: 62	Total Weight: 89340
c core #220
c Core size: 35	Core Weight: 58	Total Weight: 89398
c core #221
c Core size: 21	Core Weight: 117	Total Weight: 89515
c core #222
c Core size: 24	Core Weight: 178	Total Weight: 89693
c core #223
c Core size: 15	Core Weight: 498	Total Weight: 90191
c core #224
c Core size: 24	Core Weight: 38	Total Weight: 90229
c core #225
c Core size: 12	Core Weight: 357	Total Weight: 90586
c core #226
c Core size: 17	Core Weight: 119	Total Weight: 90705
c core #227
c Core size: 15	Core Weight: 111	Total Weight: 90816
c core #228
c Core size: 16	Core Weight: 463	Total Weight: 91279
c core #229
c Core size: 16	Core Weight: 59	Total Weight: 91338
c core #230
c Core size: 14	Core Weight: 194	Total Weight: 91532
c core #231
c Core size: 14	Core Weight: 213	Total Weight: 91745
c core #232
c Core size: 31	Core Weight: 20	Total Weight: 91765
c core #233
c Core size: 17	Core Weight: 201	Total Weight: 91966
c core #234
c Core size: 14	Core Weight: 1017	Total Weight: 92983
c core #235
c Core size: 14	Core Weight: 480	Total Weight: 93463
c core #236
c Core size: 13	Core Weight: 314	Total Weight: 93777
c core #237
c Core size: 17	Core Weight: 50	Total Weight: 93827
c core #238
c Core size: 12	Core Weight: 433	Total Weight: 94260
c core #239
c Core size: 48	Core Weight: 8	Total Weight: 94268
c core #240
c Core size: 23	Core Weight: 183	Total Weight: 94451
c core #241
c Core size: 11	Core Weight: 249	Total Weight: 94700
c core #242
c Core size: 47	Core Weight: 15	Total Weight: 94715
c core #243
c Core size: 17	Core Weight: 497	Total Weight: 95212
c core #244
c Core size: 13	Core Weight: 29	Total Weight: 95241
c core #245
c Core size: 23	Core Weight: 32	Total Weight: 95273
c core #246
c Core size: 55	Core Weight: 8	Total Weight: 95281
c core #247
c Core size: 12	Core Weight: 22	Total Weight: 95303
c core #248
c Core size: 14	Core Weight: 433	Total Weight: 95736
c core #249
c Core size: 32	Core Weight: 7	Total Weight: 95743
c core #250
c Core size: 31	Core Weight: 59	Total Weight: 95802
c core #251
c Core size: 16	Core Weight: 17	Total Weight: 95819
c core #252
c Core size: 20	Core Weight: 59	Total Weight: 95878
c core #253
c Core size: 35	Core Weight: 8	Total Weight: 95886
c core #254
c Core size: 34	Core Weight: 52	Total Weight: 95938
c core #255
c Core size: 50	Core Weight: 59	Total Weight: 95997
c core #256
c Core size: 21	Core Weight: 109	Total Weight: 96106
c core #257
c Core size: 23	Core Weight: 173	Total Weight: 96279
c core #258
c Core size: 18	Core Weight: 119	Total Weight: 96398
c core #259
c Core size: 20	Core Weight: 23	Total Weight: 96421
c core #260
c Core size: 40	Core Weight: 46	Total Weight: 96467
c core #261
c Core size: 25	Core Weight: 32	Total Weight: 96499
c core #262
c Core size: 26	Core Weight: 34	Total Weight: 96533
c core #263
c Core size: 66	Core Weight: 20	Total Weight: 96553
c core #264
c Core size: 32	Core Weight: 27	Total Weight: 96580
c core #265
c Core size: 26	Core Weight: 62	Total Weight: 96642
c core #266
c Core size: 34	Core Weight: 65	Total Weight: 96707
c core #267
c Core size: 27	Core Weight: 43	Total Weight: 96750
c core #268
c Core size: 20	Core Weight: 348	Total Weight: 97098
c core #269
c Core size: 20	Core Weight: 234	Total Weight: 97332
c core #270
c Core size: 62	Core Weight: 2	Total Weight: 97334
c core #271
c Core size: 74	Core Weight: 16	Total Weight: 97350
c core #272
c Core size: 27	Core Weight: 38	Total Weight: 97388
c core #273
c Core size: 33	Core Weight: 16	Total Weight: 97404
c core #274
c Core size: 32	Core Weight: 2	Total Weight: 97406
c #cores: 274
c Final Weight: 97406
o 97406
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
1.070u 0.177s 0:01.32 93.9%	0+0k 0+0io 0pf+0w