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-3.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-1_network-3.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/VascoManquinho/wbo.wcnf
c core #1
c Core size: 5	Core Weight: 1558	Total Weight: 1558
c core #2
c Core size: 8	Core Weight: 530	Total Weight: 2088
c core #3
c Core size: 3	Core Weight: 2477	Total Weight: 4565
c core #4
c Core size: 6	Core Weight: 106	Total Weight: 4671
c core #5
c Core size: 10	Core Weight: 67	Total Weight: 4738
c core #6
c Core size: 7	Core Weight: 211	Total Weight: 4949
c core #7
c Core size: 5	Core Weight: 1488	Total Weight: 6437
c core #8
c Core size: 9	Core Weight: 75	Total Weight: 6512
c core #9
c Core size: 5	Core Weight: 1428	Total Weight: 7940
c core #10
c Core size: 8	Core Weight: 146	Total Weight: 8086
c core #11
c Core size: 3	Core Weight: 1452	Total Weight: 9538
c core #12
c Core size: 7	Core Weight: 34	Total Weight: 9572
c core #13
c Core size: 9	Core Weight: 552	Total Weight: 10124
c core #14
c Core size: 3	Core Weight: 517	Total Weight: 10641
c core #15
c Core size: 5	Core Weight: 177	Total Weight: 10818
c core #16
c Core size: 7	Core Weight: 126	Total Weight: 10944
c core #17
c Core size: 5	Core Weight: 285	Total Weight: 11229
c core #18
c Core size: 7	Core Weight: 146	Total Weight: 11375
c core #19
c Core size: 3	Core Weight: 1058	Total Weight: 12433
c core #20
c Core size: 5	Core Weight: 222	Total Weight: 12655
c core #21
c Core size: 4	Core Weight: 109	Total Weight: 12764
c core #22
c Core size: 6	Core Weight: 476	Total Weight: 13240
c core #23
c Core size: 3	Core Weight: 1039	Total Weight: 14279
c core #24
c Core size: 5	Core Weight: 551	Total Weight: 14830
c core #25
c Core size: 8	Core Weight: 387	Total Weight: 15217
c core #26
c Core size: 5	Core Weight: 355	Total Weight: 15572
c core #27
c Core size: 9	Core Weight: 8	Total Weight: 15580
c core #28
c Core size: 5	Core Weight: 786	Total Weight: 16366
c core #29
c Core size: 7	Core Weight: 175	Total Weight: 16541
c core #30
c Core size: 10	Core Weight: 47	Total Weight: 16588
c core #31
c Core size: 12	Core Weight: 64	Total Weight: 16652
c core #32
c Core size: 8	Core Weight: 61	Total Weight: 16713
c core #33
c Core size: 10	Core Weight: 521	Total Weight: 17234
c core #34
c Core size: 12	Core Weight: 257	Total Weight: 17491
c core #35
c Core size: 9	Core Weight: 251	Total Weight: 17742
c core #36
c Core size: 10	Core Weight: 130	Total Weight: 17872
c core #37
c Core size: 8	Core Weight: 187	Total Weight: 18059
c core #38
c Core size: 11	Core Weight: 420	Total Weight: 18479
c core #39
c Core size: 10	Core Weight: 767	Total Weight: 19246
c core #40
c Core size: 13	Core Weight: 219	Total Weight: 19465
c core #41
c Core size: 8	Core Weight: 157	Total Weight: 19622
c core #42
c Core size: 6	Core Weight: 364	Total Weight: 19986
c core #43
c Core size: 9	Core Weight: 282	Total Weight: 20268
c core #44
c Core size: 10	Core Weight: 575	Total Weight: 20843
c core #45
c Core size: 10	Core Weight: 31	Total Weight: 20874
c core #46
c Core size: 8	Core Weight: 259	Total Weight: 21133
c core #47
c Core size: 10	Core Weight: 649	Total Weight: 21782
c core #48
c Core size: 13	Core Weight: 977	Total Weight: 22759
c core #49
c Core size: 15	Core Weight: 45	Total Weight: 22804
c core #50
c Core size: 14	Core Weight: 770	Total Weight: 23574
c core #51
c Core size: 18	Core Weight: 145	Total Weight: 23719
c core #52
c Core size: 6	Core Weight: 95	Total Weight: 23814
c core #53
c Core size: 20	Core Weight: 53	Total Weight: 23867
c core #54
c Core size: 12	Core Weight: 190	Total Weight: 24057
c core #55
c Core size: 10	Core Weight: 170	Total Weight: 24227
c core #56
c Core size: 12	Core Weight: 161	Total Weight: 24388
c core #57
c Core size: 15	Core Weight: 360	Total Weight: 24748
c core #58
c Core size: 8	Core Weight: 308	Total Weight: 25056
c core #59
c Core size: 7	Core Weight: 221	Total Weight: 25277
c core #60
c Core size: 16	Core Weight: 189	Total Weight: 25466
c core #61
c Core size: 14	Core Weight: 265	Total Weight: 25731
c core #62
c Core size: 8	Core Weight: 529	Total Weight: 26260
c core #63
c Core size: 8	Core Weight: 94	Total Weight: 26354
c core #64
c Core size: 20	Core Weight: 479	Total Weight: 26833
c core #65
c Core size: 8	Core Weight: 251	Total Weight: 27084
c core #66
c Core size: 12	Core Weight: 56	Total Weight: 27140
c core #67
c Core size: 10	Core Weight: 1189	Total Weight: 28329
c core #68
c Core size: 15	Core Weight: 5	Total Weight: 28334
c core #69
c Core size: 15	Core Weight: 424	Total Weight: 28758
c core #70
c Core size: 16	Core Weight: 260	Total Weight: 29018
c core #71
c Core size: 6	Core Weight: 443	Total Weight: 29461
c core #72
c Core size: 12	Core Weight: 143	Total Weight: 29604
c core #73
c Core size: 17	Core Weight: 253	Total Weight: 29857
c core #74
c Core size: 15	Core Weight: 560	Total Weight: 30417
c core #75
c Core size: 13	Core Weight: 65	Total Weight: 30482
c core #76
c Core size: 8	Core Weight: 86	Total Weight: 30568
c core #77
c Core size: 9	Core Weight: 178	Total Weight: 30746
c core #78
c Core size: 11	Core Weight: 237	Total Weight: 30983
c core #79
c Core size: 14	Core Weight: 255	Total Weight: 31238
c core #80
c Core size: 15	Core Weight: 129	Total Weight: 31367
c core #81
c Core size: 18	Core Weight: 52	Total Weight: 31419
c core #82
c Core size: 14	Core Weight: 888	Total Weight: 32307
c core #83
c Core size: 13	Core Weight: 219	Total Weight: 32526
c core #84
c Core size: 11	Core Weight: 337	Total Weight: 32863
c core #85
c Core size: 14	Core Weight: 88	Total Weight: 32951
c core #86
c Core size: 8	Core Weight: 184	Total Weight: 33135
c core #87
c Core size: 10	Core Weight: 558	Total Weight: 33693
c core #88
c Core size: 10	Core Weight: 393	Total Weight: 34086
c core #89
c Core size: 16	Core Weight: 17	Total Weight: 34103
c core #90
c Core size: 11	Core Weight: 653	Total Weight: 34756
c core #91
c Core size: 16	Core Weight: 183	Total Weight: 34939
c core #92
c Core size: 18	Core Weight: 147	Total Weight: 35086
c core #93
c Core size: 13	Core Weight: 79	Total Weight: 35165
c core #94
c Core size: 19	Core Weight: 449	Total Weight: 35614
c core #95
c Core size: 19	Core Weight: 124	Total Weight: 35738
c core #96
c Core size: 17	Core Weight: 171	Total Weight: 35909
c core #97
c Core size: 10	Core Weight: 508	Total Weight: 36417
c core #98
c Core size: 10	Core Weight: 241	Total Weight: 36658
c core #99
c Core size: 8	Core Weight: 27	Total Weight: 36685
c core #100
c Core size: 6	Core Weight: 153	Total Weight: 36838
c core #101
c Core size: 8	Core Weight: 451	Total Weight: 37289
c core #102
c Core size: 10	Core Weight: 528	Total Weight: 37817
c core #103
c Core size: 9	Core Weight: 118	Total Weight: 37935
c core #104
c Core size: 29	Core Weight: 93	Total Weight: 38028
c core #105
c Core size: 8	Core Weight: 247	Total Weight: 38275
c core #106
c Core size: 11	Core Weight: 105	Total Weight: 38380
c core #107
c Core size: 13	Core Weight: 610	Total Weight: 38990
c core #108
c Core size: 16	Core Weight: 244	Total Weight: 39234
c core #109
c Core size: 10	Core Weight: 860	Total Weight: 40094
c core #110
c Core size: 32	Core Weight: 31	Total Weight: 40125
c core #111
c Core size: 12	Core Weight: 175	Total Weight: 40300
c core #112
c Core size: 14	Core Weight: 831	Total Weight: 41131
c core #113
c Core size: 8	Core Weight: 465	Total Weight: 41596
c core #114
c Core size: 17	Core Weight: 189	Total Weight: 41785
c core #115
c Core size: 16	Core Weight: 239	Total Weight: 42024
c core #116
c Core size: 26	Core Weight: 99	Total Weight: 42123
c core #117
c Core size: 12	Core Weight: 246	Total Weight: 42369
c core #118
c Core size: 27	Core Weight: 122	Total Weight: 42491
c core #119
c Core size: 17	Core Weight: 60	Total Weight: 42551
c core #120
c Core size: 12	Core Weight: 18	Total Weight: 42569
c core #121
c Core size: 15	Core Weight: 733	Total Weight: 43302
c core #122
c Core size: 39	Core Weight: 32	Total Weight: 43334
c core #123
c Core size: 17	Core Weight: 20	Total Weight: 43354
c core #124
c Core size: 30	Core Weight: 9	Total Weight: 43363
c core #125
c Core size: 34	Core Weight: 11	Total Weight: 43374
c core #126
c Core size: 31	Core Weight: 107	Total Weight: 43481
c core #127
c Core size: 12	Core Weight: 196	Total Weight: 43677
c core #128
c Core size: 29	Core Weight: 94	Total Weight: 43771
c core #129
c Core size: 10	Core Weight: 1093	Total Weight: 44864
c core #130
c Core size: 14	Core Weight: 856	Total Weight: 45720
c core #131
c Core size: 33	Core Weight: 105	Total Weight: 45825
c core #132
c Core size: 28	Core Weight: 27	Total Weight: 45852
c core #133
c Core size: 9	Core Weight: 28	Total Weight: 45880
c core #134
c Core size: 10	Core Weight: 789	Total Weight: 46669
c core #135
c Core size: 17	Core Weight: 654	Total Weight: 47323
c core #136
c Core size: 12	Core Weight: 151	Total Weight: 47474
c core #137
c Core size: 16	Core Weight: 381	Total Weight: 47855
c core #138
c Core size: 32	Core Weight: 98	Total Weight: 47953
c core #139
c Core size: 41	Core Weight: 29	Total Weight: 47982
c core #140
c Core size: 18	Core Weight: 182	Total Weight: 48164
c core #141
c Core size: 13	Core Weight: 14	Total Weight: 48178
c core #142
c Core size: 19	Core Weight: 8	Total Weight: 48186
c core #143
c Core size: 24	Core Weight: 11	Total Weight: 48197
c core #144
c Core size: 14	Core Weight: 53	Total Weight: 48250
c core #145
c Core size: 14	Core Weight: 122	Total Weight: 48372
c core #146
c Core size: 15	Core Weight: 338	Total Weight: 48710
c core #147
c Core size: 23	Core Weight: 20	Total Weight: 48730
c core #148
c Core size: 28	Core Weight: 90	Total Weight: 48820
c core #149
c Core size: 14	Core Weight: 501	Total Weight: 49321
c core #150
c Core size: 17	Core Weight: 82	Total Weight: 49403
c core #151
c Core size: 74	Core Weight: 16	Total Weight: 49419
c core #152
c Core size: 56	Core Weight: 161	Total Weight: 49580
c core #153
c Core size: 17	Core Weight: 12	Total Weight: 49592
c core #154
c Core size: 50	Core Weight: 13	Total Weight: 49605
c core #155
c Core size: 39	Core Weight: 81	Total Weight: 49686
c core #156
c Core size: 38	Core Weight: 32	Total Weight: 49718
c core #157
c Core size: 56	Core Weight: 224	Total Weight: 49942
c core #158
c Core size: 57	Core Weight: 22	Total Weight: 49964
c core #159
c Core size: 18	Core Weight: 88	Total Weight: 50052
c core #160
c Core size: 44	Core Weight: 56	Total Weight: 50108
c core #161
c Core size: 53	Core Weight: 31	Total Weight: 50139
c core #162
c Core size: 14	Core Weight: 1054	Total Weight: 51193
c core #163
c Core size: 20	Core Weight: 111	Total Weight: 51304
c core #164
c Core size: 16	Core Weight: 172	Total Weight: 51476
c core #165
c Core size: 14	Core Weight: 117	Total Weight: 51593
c core #166
c Core size: 17	Core Weight: 53	Total Weight: 51646
c core #167
c Core size: 84	Core Weight: 30	Total Weight: 51676
c core #168
c Core size: 59	Core Weight: 54	Total Weight: 51730
c core #169
c Core size: 72	Core Weight: 23	Total Weight: 51753
c core #170
c Core size: 17	Core Weight: 31	Total Weight: 51784
c core #171
c Core size: 20	Core Weight: 187	Total Weight: 51971
c core #172
c Core size: 18	Core Weight: 232	Total Weight: 52203
c core #173
c Core size: 29	Core Weight: 123	Total Weight: 52326
c core #174
c Core size: 18	Core Weight: 104	Total Weight: 52430
c core #175
c Core size: 18	Core Weight: 848	Total Weight: 53278
c core #176
c Core size: 135	Core Weight: 16	Total Weight: 53294
c core #177
c Core size: 23	Core Weight: 37	Total Weight: 53331
c #cores: 177
c Final Weight: 53331
o 53331
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
0.448u 0.076s 0:00.57 89.4%	0+0k 0+0io 0pf+0w