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-2.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-1_network-2.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/VascoManquinho/wbo.wcnf
c core #1
c Core size: 4	Core Weight: 845	Total Weight: 845
c core #2
c Core size: 8	Core Weight: 912	Total Weight: 1757
c core #3
c Core size: 5	Core Weight: 1247	Total Weight: 3004
c core #4
c Core size: 7	Core Weight: 313	Total Weight: 3317
c core #5
c Core size: 4	Core Weight: 1783	Total Weight: 5100
c core #6
c Core size: 6	Core Weight: 18	Total Weight: 5118
c core #7
c Core size: 5	Core Weight: 1572	Total Weight: 6690
c core #8
c Core size: 9	Core Weight: 268	Total Weight: 6958
c core #9
c Core size: 3	Core Weight: 158	Total Weight: 7116
c core #10
c Core size: 7	Core Weight: 544	Total Weight: 7660
c core #11
c Core size: 9	Core Weight: 317	Total Weight: 7977
c core #12
c Core size: 4	Core Weight: 1366	Total Weight: 9343
c core #13
c Core size: 6	Core Weight: 83	Total Weight: 9426
c core #14
c Core size: 5	Core Weight: 941	Total Weight: 10367
c core #15
c Core size: 8	Core Weight: 278	Total Weight: 10645
c core #16
c Core size: 4	Core Weight: 2161	Total Weight: 12806
c core #17
c Core size: 8	Core Weight: 670	Total Weight: 13476
c core #18
c Core size: 10	Core Weight: 820	Total Weight: 14296
c core #19
c Core size: 3	Core Weight: 166	Total Weight: 14462
c core #20
c Core size: 5	Core Weight: 195	Total Weight: 14657
c core #21
c Core size: 8	Core Weight: 61	Total Weight: 14718
c core #22
c Core size: 12	Core Weight: 381	Total Weight: 15099
c core #23
c Core size: 3	Core Weight: 353	Total Weight: 15452
c core #24
c Core size: 5	Core Weight: 1007	Total Weight: 16459
c core #25
c Core size: 9	Core Weight: 467	Total Weight: 16926
c core #26
c Core size: 12	Core Weight: 88	Total Weight: 17014
c core #27
c Core size: 11	Core Weight: 355	Total Weight: 17369
c core #28
c Core size: 13	Core Weight: 446	Total Weight: 17815
c core #29
c Core size: 17	Core Weight: 204	Total Weight: 18019
c core #30
c Core size: 13	Core Weight: 20	Total Weight: 18039
c core #31
c Core size: 7	Core Weight: 1288	Total Weight: 19327
c core #32
c Core size: 11	Core Weight: 28	Total Weight: 19355
c core #33
c Core size: 11	Core Weight: 401	Total Weight: 19756
c core #34
c Core size: 14	Core Weight: 304	Total Weight: 20060
c core #35
c Core size: 8	Core Weight: 487	Total Weight: 20547
c core #36
c Core size: 11	Core Weight: 218	Total Weight: 20765
c core #37
c Core size: 8	Core Weight: 146	Total Weight: 20911
c core #38
c Core size: 19	Core Weight: 23	Total Weight: 20934
c core #39
c Core size: 8	Core Weight: 249	Total Weight: 21183
c core #40
c Core size: 10	Core Weight: 328	Total Weight: 21511
c core #41
c Core size: 10	Core Weight: 784	Total Weight: 22295
c core #42
c Core size: 11	Core Weight: 549	Total Weight: 22844
c core #43
c Core size: 12	Core Weight: 506	Total Weight: 23350
c core #44
c Core size: 7	Core Weight: 1062	Total Weight: 24412
c core #45
c Core size: 8	Core Weight: 180	Total Weight: 24592
c core #46
c Core size: 11	Core Weight: 484	Total Weight: 25076
c core #47
c Core size: 12	Core Weight: 389	Total Weight: 25465
c core #48
c Core size: 14	Core Weight: 274	Total Weight: 25739
c core #49
c Core size: 6	Core Weight: 158	Total Weight: 25897
c core #50
c Core size: 15	Core Weight: 388	Total Weight: 26285
c core #51
c Core size: 14	Core Weight: 673	Total Weight: 26958
c core #52
c Core size: 10	Core Weight: 12	Total Weight: 26970
c core #53
c Core size: 13	Core Weight: 149	Total Weight: 27119
c core #54
c Core size: 9	Core Weight: 260	Total Weight: 27379
c core #55
c Core size: 16	Core Weight: 41	Total Weight: 27420
c core #56
c Core size: 14	Core Weight: 447	Total Weight: 27867
c core #57
c Core size: 10	Core Weight: 859	Total Weight: 28726
c core #58
c Core size: 6	Core Weight: 386	Total Weight: 29112
c core #59
c Core size: 11	Core Weight: 265	Total Weight: 29377
c core #60
c Core size: 10	Core Weight: 692	Total Weight: 30069
c core #61
c Core size: 11	Core Weight: 26	Total Weight: 30095
c core #62
c Core size: 8	Core Weight: 792	Total Weight: 30887
c core #63
c Core size: 15	Core Weight: 572	Total Weight: 31459
c core #64
c Core size: 20	Core Weight: 12	Total Weight: 31471
c core #65
c Core size: 10	Core Weight: 461	Total Weight: 31932
c core #66
c Core size: 19	Core Weight: 134	Total Weight: 32066
c core #67
c Core size: 17	Core Weight: 488	Total Weight: 32554
c core #68
c Core size: 8	Core Weight: 149	Total Weight: 32703
c core #69
c Core size: 14	Core Weight: 788	Total Weight: 33491
c core #70
c Core size: 11	Core Weight: 1183	Total Weight: 34674
c core #71
c Core size: 10	Core Weight: 265	Total Weight: 34939
c core #72
c Core size: 13	Core Weight: 172	Total Weight: 35111
c core #73
c Core size: 10	Core Weight: 85	Total Weight: 35196
c core #74
c Core size: 12	Core Weight: 814	Total Weight: 36010
c core #75
c Core size: 12	Core Weight: 45	Total Weight: 36055
c core #76
c Core size: 9	Core Weight: 215	Total Weight: 36270
c core #77
c Core size: 12	Core Weight: 140	Total Weight: 36410
c core #78
c Core size: 10	Core Weight: 352	Total Weight: 36762
c core #79
c Core size: 8	Core Weight: 134	Total Weight: 36896
c core #80
c Core size: 15	Core Weight: 140	Total Weight: 37036
c core #81
c Core size: 12	Core Weight: 170	Total Weight: 37206
c core #82
c Core size: 12	Core Weight: 58	Total Weight: 37264
c core #83
c Core size: 11	Core Weight: 48	Total Weight: 37312
c core #84
c Core size: 10	Core Weight: 553	Total Weight: 37865
c core #85
c Core size: 22	Core Weight: 41	Total Weight: 37906
c core #86
c Core size: 10	Core Weight: 274	Total Weight: 38180
c core #87
c Core size: 11	Core Weight: 5	Total Weight: 38185
c core #88
c Core size: 10	Core Weight: 125	Total Weight: 38310
c core #89
c Core size: 13	Core Weight: 370	Total Weight: 38680
c core #90
c Core size: 8	Core Weight: 2	Total Weight: 38682
c core #91
c Core size: 19	Core Weight: 190	Total Weight: 38872
c core #92
c Core size: 14	Core Weight: 224	Total Weight: 39096
c core #93
c Core size: 14	Core Weight: 622	Total Weight: 39718
c core #94
c Core size: 13	Core Weight: 76	Total Weight: 39794
c core #95
c Core size: 15	Core Weight: 515	Total Weight: 40309
c core #96
c Core size: 19	Core Weight: 42	Total Weight: 40351
c core #97
c Core size: 15	Core Weight: 510	Total Weight: 40861
c core #98
c Core size: 17	Core Weight: 371	Total Weight: 41232
c core #99
c Core size: 9	Core Weight: 294	Total Weight: 41526
c core #100
c Core size: 12	Core Weight: 27	Total Weight: 41553
c core #101
c Core size: 18	Core Weight: 85	Total Weight: 41638
c core #102
c Core size: 18	Core Weight: 1457	Total Weight: 43095
c core #103
c Core size: 23	Core Weight: 12	Total Weight: 43107
c core #104
c Core size: 14	Core Weight: 465	Total Weight: 43572
c core #105
c Core size: 25	Core Weight: 15	Total Weight: 43587
c core #106
c Core size: 34	Core Weight: 146	Total Weight: 43733
c core #107
c Core size: 16	Core Weight: 596	Total Weight: 44329
c core #108
c Core size: 19	Core Weight: 30	Total Weight: 44359
c core #109
c Core size: 16	Core Weight: 115	Total Weight: 44474
c core #110
c Core size: 17	Core Weight: 626	Total Weight: 45100
c core #111
c Core size: 25	Core Weight: 17	Total Weight: 45117
c core #112
c Core size: 16	Core Weight: 686	Total Weight: 45803
c core #113
c Core size: 9	Core Weight: 336	Total Weight: 46139
c core #114
c Core size: 13	Core Weight: 20	Total Weight: 46159
c core #115
c Core size: 34	Core Weight: 8	Total Weight: 46167
c core #116
c Core size: 18	Core Weight: 60	Total Weight: 46227
c core #117
c Core size: 37	Core Weight: 43	Total Weight: 46270
c core #118
c Core size: 26	Core Weight: 217	Total Weight: 46487
c core #119
c Core size: 11	Core Weight: 830	Total Weight: 47317
c core #120
c Core size: 11	Core Weight: 237	Total Weight: 47554
c core #121
c Core size: 8	Core Weight: 502	Total Weight: 48056
c core #122
c Core size: 15	Core Weight: 188	Total Weight: 48244
c core #123
c Core size: 17	Core Weight: 304	Total Weight: 48548
c core #124
c Core size: 13	Core Weight: 331	Total Weight: 48879
c core #125
c Core size: 11	Core Weight: 289	Total Weight: 49168
c core #126
c Core size: 14	Core Weight: 378	Total Weight: 49546
c core #127
c Core size: 18	Core Weight: 150	Total Weight: 49696
c core #128
c Core size: 16	Core Weight: 160	Total Weight: 49856
c core #129
c Core size: 22	Core Weight: 28	Total Weight: 49884
c core #130
c Core size: 21	Core Weight: 117	Total Weight: 50001
c core #131
c Core size: 20	Core Weight: 15	Total Weight: 50016
c core #132
c Core size: 18	Core Weight: 730	Total Weight: 50746
c core #133
c Core size: 28	Core Weight: 8	Total Weight: 50754
c core #134
c Core size: 14	Core Weight: 297	Total Weight: 51051
c core #135
c Core size: 20	Core Weight: 221	Total Weight: 51272
c core #136
c Core size: 15	Core Weight: 156	Total Weight: 51428
c core #137
c Core size: 14	Core Weight: 722	Total Weight: 52150
c core #138
c Core size: 20	Core Weight: 20	Total Weight: 52170
c core #139
c Core size: 16	Core Weight: 384	Total Weight: 52554
c core #140
c Core size: 28	Core Weight: 4	Total Weight: 52558
c core #141
c Core size: 21	Core Weight: 235	Total Weight: 52793
c core #142
c Core size: 16	Core Weight: 179	Total Weight: 52972
c core #143
c Core size: 14	Core Weight: 598	Total Weight: 53570
c core #144
c Core size: 16	Core Weight: 86	Total Weight: 53656
c core #145
c Core size: 19	Core Weight: 33	Total Weight: 53689
c core #146
c Core size: 14	Core Weight: 353	Total Weight: 54042
c core #147
c Core size: 16	Core Weight: 161	Total Weight: 54203
c core #148
c Core size: 50	Core Weight: 93	Total Weight: 54296
c core #149
c Core size: 17	Core Weight: 265	Total Weight: 54561
c core #150
c Core size: 14	Core Weight: 751	Total Weight: 55312
c #cores: 150
c Final Weight: 55312
o 55312
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
0.315u 0.061s 0:00.43 86.0%	0+0k 0+0io 0pf+0w