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-60-1_network-9.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-1_network-9.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/VascoManquinho/wbo.wcnf
c core #1
c Core size: 4	Core Weight: 1021	Total Weight: 1021
c core #2
c Core size: 8	Core Weight: 630	Total Weight: 1651
c core #3
c Core size: 5	Core Weight: 602	Total Weight: 2253
c core #4
c Core size: 9	Core Weight: 1058	Total Weight: 3311
c core #5
c Core size: 3	Core Weight: 1895	Total Weight: 5206
c core #6
c Core size: 6	Core Weight: 74	Total Weight: 5280
c core #7
c Core size: 10	Core Weight: 442	Total Weight: 5722
c core #8
c Core size: 3	Core Weight: 954	Total Weight: 6676
c core #9
c Core size: 6	Core Weight: 187	Total Weight: 6863
c core #10
c Core size: 3	Core Weight: 1243	Total Weight: 8106
c core #11
c Core size: 5	Core Weight: 634	Total Weight: 8740
c core #12
c Core size: 8	Core Weight: 169	Total Weight: 8909
c core #13
c Core size: 11	Core Weight: 64	Total Weight: 8973
c core #14
c Core size: 3	Core Weight: 928	Total Weight: 9901
c core #15
c Core size: 6	Core Weight: 294	Total Weight: 10195
c core #16
c Core size: 5	Core Weight: 549	Total Weight: 10744
c core #17
c Core size: 9	Core Weight: 235	Total Weight: 10979
c core #18
c Core size: 5	Core Weight: 1760	Total Weight: 12739
c core #19
c Core size: 7	Core Weight: 685	Total Weight: 13424
c core #20
c Core size: 11	Core Weight: 755	Total Weight: 14179
c core #21
c Core size: 14	Core Weight: 100	Total Weight: 14279
c core #22
c Core size: 13	Core Weight: 126	Total Weight: 14405
c core #23
c Core size: 16	Core Weight: 93	Total Weight: 14498
c core #24
c Core size: 14	Core Weight: 120	Total Weight: 14618
c core #25
c Core size: 15	Core Weight: 714	Total Weight: 15332
c core #26
c Core size: 12	Core Weight: 50	Total Weight: 15382
c core #27
c Core size: 19	Core Weight: 18	Total Weight: 15400
c core #28
c Core size: 15	Core Weight: 366	Total Weight: 15766
c core #29
c Core size: 20	Core Weight: 236	Total Weight: 16002
c core #30
c Core size: 21	Core Weight: 220	Total Weight: 16222
c core #31
c Core size: 8	Core Weight: 84	Total Weight: 16306
c core #32
c Core size: 13	Core Weight: 329	Total Weight: 16635
c core #33
c Core size: 8	Core Weight: 783	Total Weight: 17418
c core #34
c Core size: 12	Core Weight: 985	Total Weight: 18403
c core #35
c Core size: 10	Core Weight: 77	Total Weight: 18480
c core #36
c Core size: 14	Core Weight: 412	Total Weight: 18892
c core #37
c Core size: 10	Core Weight: 1267	Total Weight: 20159
c core #38
c Core size: 8	Core Weight: 225	Total Weight: 20384
c core #39
c Core size: 14	Core Weight: 33	Total Weight: 20417
c core #40
c Core size: 15	Core Weight: 172	Total Weight: 20589
c core #41
c Core size: 11	Core Weight: 898	Total Weight: 21487
c core #42
c Core size: 24	Core Weight: 31	Total Weight: 21518
c core #43
c Core size: 14	Core Weight: 206	Total Weight: 21724
c core #44
c Core size: 13	Core Weight: 10	Total Weight: 21734
c core #45
c Core size: 9	Core Weight: 367	Total Weight: 22101
c core #46
c Core size: 22	Core Weight: 2	Total Weight: 22103
c core #47
c Core size: 10	Core Weight: 226	Total Weight: 22329
c core #48
c Core size: 31	Core Weight: 56	Total Weight: 22385
c core #49
c Core size: 17	Core Weight: 50	Total Weight: 22435
c core #50
c Core size: 14	Core Weight: 916	Total Weight: 23351
c core #51
c Core size: 16	Core Weight: 331	Total Weight: 23682
c core #52
c Core size: 16	Core Weight: 560	Total Weight: 24242
c core #53
c Core size: 18	Core Weight: 141	Total Weight: 24383
c core #54
c Core size: 11	Core Weight: 214	Total Weight: 24597
c core #55
c Core size: 14	Core Weight: 7	Total Weight: 24604
c core #56
c Core size: 6	Core Weight: 65	Total Weight: 24669
c core #57
c Core size: 10	Core Weight: 222	Total Weight: 24891
c core #58
c Core size: 8	Core Weight: 256	Total Weight: 25147
c core #59
c Core size: 20	Core Weight: 78	Total Weight: 25225
c core #60
c Core size: 19	Core Weight: 155	Total Weight: 25380
c core #61
c Core size: 14	Core Weight: 711	Total Weight: 26091
c core #62
c Core size: 10	Core Weight: 48	Total Weight: 26139
c core #63
c Core size: 11	Core Weight: 159	Total Weight: 26298
c core #64
c Core size: 19	Core Weight: 6	Total Weight: 26304
c core #65
c Core size: 10	Core Weight: 912	Total Weight: 27216
c core #66
c Core size: 8	Core Weight: 179	Total Weight: 27395
c core #67
c Core size: 8	Core Weight: 521	Total Weight: 27916
c core #68
c Core size: 16	Core Weight: 147	Total Weight: 28063
c core #69
c Core size: 18	Core Weight: 1072	Total Weight: 29135
c core #70
c Core size: 11	Core Weight: 451	Total Weight: 29586
c core #71
c Core size: 22	Core Weight: 161	Total Weight: 29747
c core #72
c Core size: 10	Core Weight: 535	Total Weight: 30282
c core #73
c Core size: 22	Core Weight: 217	Total Weight: 30499
c core #74
c Core size: 8	Core Weight: 160	Total Weight: 30659
c core #75
c Core size: 8	Core Weight: 464	Total Weight: 31123
c core #76
c Core size: 10	Core Weight: 315	Total Weight: 31438
c core #77
c Core size: 20	Core Weight: 220	Total Weight: 31658
c core #78
c Core size: 25	Core Weight: 490	Total Weight: 32148
c core #79
c Core size: 9	Core Weight: 505	Total Weight: 32653
c core #80
c Core size: 6	Core Weight: 349	Total Weight: 33002
c core #81
c Core size: 14	Core Weight: 451	Total Weight: 33453
c core #82
c Core size: 16	Core Weight: 304	Total Weight: 33757
c core #83
c Core size: 18	Core Weight: 596	Total Weight: 34353
c core #84
c Core size: 9	Core Weight: 294	Total Weight: 34647
c core #85
c Core size: 11	Core Weight: 185	Total Weight: 34832
c core #86
c Core size: 14	Core Weight: 196	Total Weight: 35028
c core #87
c Core size: 15	Core Weight: 129	Total Weight: 35157
c core #88
c Core size: 17	Core Weight: 84	Total Weight: 35241
c core #89
c Core size: 23	Core Weight: 73	Total Weight: 35314
c core #90
c Core size: 15	Core Weight: 225	Total Weight: 35539
c core #91
c Core size: 10	Core Weight: 915	Total Weight: 36454
c core #92
c Core size: 18	Core Weight: 179	Total Weight: 36633
c core #93
c Core size: 24	Core Weight: 28	Total Weight: 36661
c core #94
c Core size: 14	Core Weight: 1195	Total Weight: 37856
c core #95
c Core size: 26	Core Weight: 127	Total Weight: 37983
c core #96
c Core size: 16	Core Weight: 268	Total Weight: 38251
c core #97
c Core size: 12	Core Weight: 512	Total Weight: 38763
c core #98
c Core size: 11	Core Weight: 450	Total Weight: 39213
c core #99
c Core size: 8	Core Weight: 154	Total Weight: 39367
c core #100
c Core size: 10	Core Weight: 2	Total Weight: 39369
c core #101
c Core size: 16	Core Weight: 25	Total Weight: 39394
c core #102
c Core size: 14	Core Weight: 148	Total Weight: 39542
c core #103
c Core size: 13	Core Weight: 20	Total Weight: 39562
c core #104
c Core size: 11	Core Weight: 604	Total Weight: 40166
c core #105
c Core size: 17	Core Weight: 657	Total Weight: 40823
c core #106
c Core size: 9	Core Weight: 1051	Total Weight: 41874
c core #107
c Core size: 19	Core Weight: 170	Total Weight: 42044
c core #108
c Core size: 15	Core Weight: 380	Total Weight: 42424
c core #109
c Core size: 21	Core Weight: 131	Total Weight: 42555
c core #110
c Core size: 17	Core Weight: 9	Total Weight: 42564
c core #111
c Core size: 24	Core Weight: 153	Total Weight: 42717
c core #112
c Core size: 22	Core Weight: 1	Total Weight: 42718
c core #113
c Core size: 8	Core Weight: 720	Total Weight: 43438
c core #114
c Core size: 15	Core Weight: 48	Total Weight: 43486
c core #115
c Core size: 9	Core Weight: 74	Total Weight: 43560
c core #116
c Core size: 8	Core Weight: 806	Total Weight: 44366
c core #117
c Core size: 9	Core Weight: 611	Total Weight: 44977
c core #118
c Core size: 14	Core Weight: 1018	Total Weight: 45995
c core #119
c Core size: 13	Core Weight: 153	Total Weight: 46148
c core #120
c Core size: 15	Core Weight: 48	Total Weight: 46196
c core #121
c Core size: 32	Core Weight: 15	Total Weight: 46211
c core #122
c Core size: 35	Core Weight: 39	Total Weight: 46250
c core #123
c Core size: 18	Core Weight: 481	Total Weight: 46731
c core #124
c Core size: 15	Core Weight: 909	Total Weight: 47640
c core #125
c Core size: 33	Core Weight: 6	Total Weight: 47646
c core #126
c Core size: 30	Core Weight: 69	Total Weight: 47715
c core #127
c Core size: 36	Core Weight: 44	Total Weight: 47759
c core #128
c Core size: 32	Core Weight: 27	Total Weight: 47786
c core #129
c Core size: 11	Core Weight: 218	Total Weight: 48004
c core #130
c Core size: 11	Core Weight: 488	Total Weight: 48492
c core #131
c Core size: 30	Core Weight: 111	Total Weight: 48603
c core #132
c Core size: 28	Core Weight: 14	Total Weight: 48617
c core #133
c Core size: 22	Core Weight: 243	Total Weight: 48860
c core #134
c Core size: 32	Core Weight: 26	Total Weight: 48886
c core #135
c Core size: 14	Core Weight: 874	Total Weight: 49760
c core #136
c Core size: 17	Core Weight: 837	Total Weight: 50597
c core #137
c Core size: 16	Core Weight: 14	Total Weight: 50611
c core #138
c Core size: 16	Core Weight: 181	Total Weight: 50792
c core #139
c Core size: 14	Core Weight: 518	Total Weight: 51310
c core #140
c Core size: 16	Core Weight: 55	Total Weight: 51365
c core #141
c Core size: 22	Core Weight: 71	Total Weight: 51436
c core #142
c Core size: 19	Core Weight: 715	Total Weight: 52151
c core #143
c Core size: 24	Core Weight: 318	Total Weight: 52469
c core #144
c Core size: 18	Core Weight: 449	Total Weight: 52918
c core #145
c Core size: 14	Core Weight: 925	Total Weight: 53843
c core #146
c Core size: 15	Core Weight: 25	Total Weight: 53868
c core #147
c Core size: 35	Core Weight: 28	Total Weight: 53896
c core #148
c Core size: 16	Core Weight: 443	Total Weight: 54339
c core #149
c Core size: 22	Core Weight: 127	Total Weight: 54466
c core #150
c Core size: 19	Core Weight: 53	Total Weight: 54519
c core #151
c Core size: 15	Core Weight: 65	Total Weight: 54584
c core #152
c Core size: 14	Core Weight: 112	Total Weight: 54696
c core #153
c Core size: 14	Core Weight: 522	Total Weight: 55218
c core #154
c Core size: 27	Core Weight: 61	Total Weight: 55279
c core #155
c Core size: 14	Core Weight: 875	Total Weight: 56154
c core #156
c Core size: 18	Core Weight: 132	Total Weight: 56286
c core #157
c Core size: 22	Core Weight: 137	Total Weight: 56423
c core #158
c Core size: 29	Core Weight: 49	Total Weight: 56472
c core #159
c Core size: 35	Core Weight: 9	Total Weight: 56481
c core #160
c Core size: 15	Core Weight: 543	Total Weight: 57024
c core #161
c Core size: 35	Core Weight: 3	Total Weight: 57027
c core #162
c Core size: 18	Core Weight: 514	Total Weight: 57541
c core #163
c Core size: 20	Core Weight: 331	Total Weight: 57872
c core #164
c Core size: 16	Core Weight: 4	Total Weight: 57876
c core #165
c Core size: 21	Core Weight: 151	Total Weight: 58027
c core #166
c Core size: 23	Core Weight: 318	Total Weight: 58345
c core #167
c Core size: 24	Core Weight: 172	Total Weight: 58517
c core #168
c Core size: 20	Core Weight: 40	Total Weight: 58557
c core #169
c Core size: 18	Core Weight: 207	Total Weight: 58764
c #cores: 169
c Final Weight: 58764
o 58764
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
0.491u 0.094s 0:00.59 98.3%	0+0k 0+0io 0pf+0w