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-5.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-1_network-5.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/VascoManquinho/wbo.wcnf
c core #1
c Core size: 5	Core Weight: 1145	Total Weight: 1145
c core #2
c Core size: 8	Core Weight: 344	Total Weight: 1489
c core #3
c Core size: 7	Core Weight: 151	Total Weight: 1640
c core #4
c Core size: 4	Core Weight: 541	Total Weight: 2181
c core #5
c Core size: 7	Core Weight: 1112	Total Weight: 3293
c core #6
c Core size: 5	Core Weight: 1061	Total Weight: 4354
c core #7
c Core size: 7	Core Weight: 244	Total Weight: 4598
c core #8
c Core size: 4	Core Weight: 1220	Total Weight: 5818
c core #9
c Core size: 8	Core Weight: 207	Total Weight: 6025
c core #10
c Core size: 4	Core Weight: 1378	Total Weight: 7403
c core #11
c Core size: 7	Core Weight: 45	Total Weight: 7448
c core #12
c Core size: 4	Core Weight: 1565	Total Weight: 9013
c core #13
c Core size: 6	Core Weight: 96	Total Weight: 9109
c core #14
c Core size: 10	Core Weight: 617	Total Weight: 9726
c core #15
c Core size: 8	Core Weight: 58	Total Weight: 9784
c core #16
c Core size: 14	Core Weight: 779	Total Weight: 10563
c core #17
c Core size: 14	Core Weight: 90	Total Weight: 10653
c core #18
c Core size: 14	Core Weight: 123	Total Weight: 10776
c core #19
c Core size: 11	Core Weight: 184	Total Weight: 10960
c core #20
c Core size: 14	Core Weight: 77	Total Weight: 11037
c core #21
c Core size: 15	Core Weight: 305	Total Weight: 11342
c core #22
c Core size: 14	Core Weight: 749	Total Weight: 12091
c core #23
c Core size: 11	Core Weight: 1064	Total Weight: 13155
c core #24
c Core size: 21	Core Weight: 84	Total Weight: 13239
c core #25
c Core size: 16	Core Weight: 294	Total Weight: 13533
c core #26
c Core size: 11	Core Weight: 37	Total Weight: 13570
c core #27
c Core size: 10	Core Weight: 1427	Total Weight: 14997
c core #28
c Core size: 12	Core Weight: 172	Total Weight: 15169
c core #29
c Core size: 19	Core Weight: 65	Total Weight: 15234
c core #30
c Core size: 9	Core Weight: 166	Total Weight: 15400
c core #31
c Core size: 11	Core Weight: 181	Total Weight: 15581
c core #32
c Core size: 8	Core Weight: 48	Total Weight: 15629
c core #33
c Core size: 12	Core Weight: 44	Total Weight: 15673
c core #34
c Core size: 11	Core Weight: 13	Total Weight: 15686
c core #35
c Core size: 9	Core Weight: 473	Total Weight: 16159
c core #36
c Core size: 8	Core Weight: 393	Total Weight: 16552
c core #37
c Core size: 7	Core Weight: 445	Total Weight: 16997
c core #38
c Core size: 10	Core Weight: 342	Total Weight: 17339
c core #39
c Core size: 10	Core Weight: 52	Total Weight: 17391
c core #40
c Core size: 30	Core Weight: 90	Total Weight: 17481
c core #41
c Core size: 12	Core Weight: 59	Total Weight: 17540
c core #42
c Core size: 10	Core Weight: 155	Total Weight: 17695
c core #43
c Core size: 12	Core Weight: 624	Total Weight: 18319
c core #44
c Core size: 9	Core Weight: 127	Total Weight: 18446
c core #45
c Core size: 12	Core Weight: 10	Total Weight: 18456
c core #46
c Core size: 11	Core Weight: 23	Total Weight: 18479
c core #47
c Core size: 6	Core Weight: 284	Total Weight: 18763
c core #48
c Core size: 17	Core Weight: 26	Total Weight: 18789
c core #49
c Core size: 10	Core Weight: 75	Total Weight: 18864
c core #50
c Core size: 9	Core Weight: 845	Total Weight: 19709
c core #51
c Core size: 19	Core Weight: 436	Total Weight: 20145
c core #52
c Core size: 10	Core Weight: 757	Total Weight: 20902
c core #53
c Core size: 11	Core Weight: 615	Total Weight: 21517
c core #54
c Core size: 14	Core Weight: 132	Total Weight: 21649
c core #55
c Core size: 12	Core Weight: 295	Total Weight: 21944
c core #56
c Core size: 8	Core Weight: 100	Total Weight: 22044
c core #57
c Core size: 12	Core Weight: 21	Total Weight: 22065
c core #58
c Core size: 6	Core Weight: 574	Total Weight: 22639
c core #59
c Core size: 9	Core Weight: 147	Total Weight: 22786
c core #60
c Core size: 13	Core Weight: 236	Total Weight: 23022
c core #61
c Core size: 8	Core Weight: 112	Total Weight: 23134
c core #62
c Core size: 11	Core Weight: 374	Total Weight: 23508
c core #63
c Core size: 18	Core Weight: 778	Total Weight: 24286
c core #64
c Core size: 13	Core Weight: 128	Total Weight: 24414
c core #65
c Core size: 16	Core Weight: 89	Total Weight: 24503
c core #66
c Core size: 11	Core Weight: 24	Total Weight: 24527
c core #67
c Core size: 14	Core Weight: 930	Total Weight: 25457
c core #68
c Core size: 16	Core Weight: 57	Total Weight: 25514
c core #69
c Core size: 25	Core Weight: 2	Total Weight: 25516
c core #70
c Core size: 6	Core Weight: 50	Total Weight: 25566
c core #71
c Core size: 8	Core Weight: 290	Total Weight: 25856
c core #72
c Core size: 20	Core Weight: 28	Total Weight: 25884
c core #73
c Core size: 8	Core Weight: 57	Total Weight: 25941
c core #74
c Core size: 11	Core Weight: 608	Total Weight: 26549
c core #75
c Core size: 10	Core Weight: 819	Total Weight: 27368
c core #76
c Core size: 11	Core Weight: 212	Total Weight: 27580
c core #77
c Core size: 14	Core Weight: 17	Total Weight: 27597
c core #78
c Core size: 8	Core Weight: 979	Total Weight: 28576
c core #79
c Core size: 13	Core Weight: 309	Total Weight: 28885
c core #80
c Core size: 17	Core Weight: 728	Total Weight: 29613
c core #81
c Core size: 15	Core Weight: 1113	Total Weight: 30726
c core #82
c Core size: 10	Core Weight: 398	Total Weight: 31124
c core #83
c Core size: 14	Core Weight: 349	Total Weight: 31473
c core #84
c Core size: 18	Core Weight: 117	Total Weight: 31590
c core #85
c Core size: 15	Core Weight: 690	Total Weight: 32280
c core #86
c Core size: 14	Core Weight: 56	Total Weight: 32336
c core #87
c Core size: 17	Core Weight: 16	Total Weight: 32352
c core #88
c Core size: 16	Core Weight: 113	Total Weight: 32465
c core #89
c Core size: 14	Core Weight: 994	Total Weight: 33459
c core #90
c Core size: 19	Core Weight: 188	Total Weight: 33647
c core #91
c Core size: 17	Core Weight: 535	Total Weight: 34182
c core #92
c Core size: 14	Core Weight: 920	Total Weight: 35102
c core #93
c Core size: 13	Core Weight: 131	Total Weight: 35233
c core #94
c Core size: 11	Core Weight: 563	Total Weight: 35796
c core #95
c Core size: 14	Core Weight: 583	Total Weight: 36379
c core #96
c Core size: 19	Core Weight: 86	Total Weight: 36465
c core #97
c Core size: 19	Core Weight: 67	Total Weight: 36532
c core #98
c Core size: 15	Core Weight: 3	Total Weight: 36535
c core #99
c Core size: 23	Core Weight: 18	Total Weight: 36553
c core #100
c Core size: 10	Core Weight: 575	Total Weight: 37128
c core #101
c Core size: 12	Core Weight: 27	Total Weight: 37155
c core #102
c Core size: 12	Core Weight: 434	Total Weight: 37589
c core #103
c Core size: 19	Core Weight: 179	Total Weight: 37768
c core #104
c Core size: 14	Core Weight: 941	Total Weight: 38709
c core #105
c Core size: 18	Core Weight: 66	Total Weight: 38775
c core #106
c Core size: 20	Core Weight: 57	Total Weight: 38832
c core #107
c Core size: 10	Core Weight: 795	Total Weight: 39627
c core #108
c Core size: 14	Core Weight: 674	Total Weight: 40301
c core #109
c Core size: 32	Core Weight: 29	Total Weight: 40330
c core #110
c Core size: 19	Core Weight: 58	Total Weight: 40388
c core #111
c Core size: 18	Core Weight: 1104	Total Weight: 41492
c core #112
c Core size: 35	Core Weight: 8	Total Weight: 41500
c core #113
c Core size: 14	Core Weight: 539	Total Weight: 42039
c core #114
c Core size: 17	Core Weight: 23	Total Weight: 42062
c core #115
c Core size: 34	Core Weight: 61	Total Weight: 42123
c core #116
c Core size: 15	Core Weight: 245	Total Weight: 42368
c core #117
c Core size: 19	Core Weight: 260	Total Weight: 42628
c core #118
c Core size: 12	Core Weight: 525	Total Weight: 43153
c core #119
c Core size: 14	Core Weight: 531	Total Weight: 43684
c core #120
c Core size: 16	Core Weight: 103	Total Weight: 43787
c core #121
c Core size: 14	Core Weight: 829	Total Weight: 44616
c core #122
c Core size: 22	Core Weight: 78	Total Weight: 44694
c core #123
c Core size: 20	Core Weight: 74	Total Weight: 44768
c core #124
c Core size: 18	Core Weight: 256	Total Weight: 45024
c core #125
c Core size: 14	Core Weight: 596	Total Weight: 45620
c core #126
c Core size: 18	Core Weight: 314	Total Weight: 45934
c core #127
c Core size: 19	Core Weight: 178	Total Weight: 46112
c core #128
c Core size: 16	Core Weight: 565	Total Weight: 46677
c core #129
c Core size: 20	Core Weight: 254	Total Weight: 46931
c core #130
c Core size: 16	Core Weight: 315	Total Weight: 47246
c core #131
c Core size: 20	Core Weight: 211	Total Weight: 47457
c core #132
c Core size: 21	Core Weight: 32	Total Weight: 47489
c core #133
c Core size: 14	Core Weight: 305	Total Weight: 47794
c core #134
c Core size: 14	Core Weight: 368	Total Weight: 48162
c core #135
c Core size: 16	Core Weight: 91	Total Weight: 48253
c core #136
c Core size: 14	Core Weight: 354	Total Weight: 48607
c core #137
c Core size: 21	Core Weight: 113	Total Weight: 48720
c core #138
c Core size: 11	Core Weight: 76	Total Weight: 48796
c core #139
c Core size: 19	Core Weight: 365	Total Weight: 49161
c core #140
c Core size: 17	Core Weight: 325	Total Weight: 49486
c core #141
c Core size: 23	Core Weight: 27	Total Weight: 49513
c core #142
c Core size: 17	Core Weight: 353	Total Weight: 49866
c core #143
c Core size: 16	Core Weight: 28	Total Weight: 49894
c core #144
c Core size: 14	Core Weight: 524	Total Weight: 50418
c core #145
c Core size: 16	Core Weight: 488	Total Weight: 50906
c core #146
c Core size: 15	Core Weight: 540	Total Weight: 51446
c core #147
c Core size: 13	Core Weight: 159	Total Weight: 51605
c core #148
c Core size: 17	Core Weight: 32	Total Weight: 51637
c core #149
c Core size: 14	Core Weight: 921	Total Weight: 52558
c core #150
c Core size: 16	Core Weight: 484	Total Weight: 53042
c core #151
c Core size: 14	Core Weight: 140	Total Weight: 53182
c core #152
c Core size: 25	Core Weight: 19	Total Weight: 53201
c core #153
c Core size: 28	Core Weight: 67	Total Weight: 53268
c core #154
c Core size: 50	Core Weight: 142	Total Weight: 53410
c core #155
c Core size: 17	Core Weight: 18	Total Weight: 53428
c core #156
c Core size: 16	Core Weight: 160	Total Weight: 53588
c core #157
c Core size: 17	Core Weight: 166	Total Weight: 53754
c core #158
c Core size: 18	Core Weight: 96	Total Weight: 53850
c core #159
c Core size: 18	Core Weight: 830	Total Weight: 54680
c core #160
c Core size: 18	Core Weight: 313	Total Weight: 54993
c core #161
c Core size: 22	Core Weight: 287	Total Weight: 55280
c core #162
c Core size: 17	Core Weight: 33	Total Weight: 55313
c core #163
c Core size: 14	Core Weight: 686	Total Weight: 55999
c core #164
c Core size: 17	Core Weight: 117	Total Weight: 56116
c core #165
c Core size: 19	Core Weight: 139	Total Weight: 56255
c core #166
c Core size: 18	Core Weight: 165	Total Weight: 56420
c core #167
c Core size: 14	Core Weight: 748	Total Weight: 57168
c core #168
c Core size: 26	Core Weight: 28	Total Weight: 57196
c core #169
c Core size: 19	Core Weight: 58	Total Weight: 57254
c core #170
c Core size: 22	Core Weight: 123	Total Weight: 57377
c core #171
c Core size: 11	Core Weight: 90	Total Weight: 57467
c core #172
c Core size: 49	Core Weight: 18	Total Weight: 57485
c core #173
c Core size: 14	Core Weight: 786	Total Weight: 58271
c core #174
c Core size: 25	Core Weight: 88	Total Weight: 58359
c core #175
c Core size: 18	Core Weight: 389	Total Weight: 58748
c core #176
c Core size: 20	Core Weight: 2	Total Weight: 58750
c core #177
c Core size: 18	Core Weight: 118	Total Weight: 58868
c core #178
c Core size: 18	Core Weight: 44	Total Weight: 58912
c #cores: 178
c Final Weight: 58912
o 58912
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
0.549u 0.130s 0:00.69 97.1%	0+0k 0+0io 0pf+0w