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_WCSP_SPOT5_LOG_404.wcsp.log.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/WCSP/SPOT5/LOG/404.wcsp.log.wcnf
Job solver: /home/jplanes/evaluation/solvers/VascoManquinho/wbo.wcnf
c core #1
c Core size: 3	Core Weight: 1	Total Weight: 1
c core #2
c Core size: 3	Core Weight: 2	Total Weight: 3
c core #3
c Core size: 3	Core Weight: 2	Total Weight: 5
c core #4
c Core size: 3	Core Weight: 1	Total Weight: 6
c core #5
c Core size: 3	Core Weight: 2	Total Weight: 8
c core #6
c Core size: 3	Core Weight: 2	Total Weight: 10
c core #7
c Core size: 3	Core Weight: 2	Total Weight: 12
c core #8
c Core size: 3	Core Weight: 2	Total Weight: 14
c core #9
c Core size: 3	Core Weight: 2	Total Weight: 16
c core #10
c Core size: 3	Core Weight: 2	Total Weight: 18
c core #11
c Core size: 3	Core Weight: 2	Total Weight: 20
c core #12
c Core size: 3	Core Weight: 2	Total Weight: 22
c core #13
c Core size: 3	Core Weight: 2	Total Weight: 24
c core #14
c Core size: 3	Core Weight: 2	Total Weight: 26
c core #15
c Core size: 3	Core Weight: 1	Total Weight: 27
c core #16
c Core size: 3	Core Weight: 2	Total Weight: 29
c core #17
c Core size: 3	Core Weight: 2	Total Weight: 31
c core #18
c Core size: 3	Core Weight: 1	Total Weight: 32
c core #19
c Core size: 3	Core Weight: 2	Total Weight: 34
c core #20
c Core size: 3	Core Weight: 2	Total Weight: 36
c core #21
c Core size: 3	Core Weight: 2	Total Weight: 38
c core #22
c Core size: 3	Core Weight: 2	Total Weight: 40
c core #23
c Core size: 3	Core Weight: 2	Total Weight: 42
c core #24
c Core size: 3	Core Weight: 2	Total Weight: 44
c core #25
c Core size: 3	Core Weight: 2	Total Weight: 46
c core #26
c Core size: 3	Core Weight: 2	Total Weight: 48
c core #27
c Core size: 3	Core Weight: 2	Total Weight: 50
c core #28
c Core size: 3	Core Weight: 2	Total Weight: 52
c core #29
c Core size: 3	Core Weight: 2	Total Weight: 54
c core #30
c Core size: 3	Core Weight: 2	Total Weight: 56
c core #31
c Core size: 3	Core Weight: 2	Total Weight: 58
c core #32
c Core size: 3	Core Weight: 2	Total Weight: 60
c core #33
c Core size: 3	Core Weight: 2	Total Weight: 62
c core #34
c Core size: 3	Core Weight: 2	Total Weight: 64
c core #35
c Core size: 10	Core Weight: 2	Total Weight: 66
c core #36
c Core size: 6	Core Weight: 2	Total Weight: 68
c core #37
c Core size: 10	Core Weight: 2	Total Weight: 70
c core #38
c Core size: 10	Core Weight: 2	Total Weight: 72
c core #39
c Core size: 10	Core Weight: 2	Total Weight: 74
c core #40
c Core size: 10	Core Weight: 2	Total Weight: 76
c core #41
c Core size: 14	Core Weight: 2	Total Weight: 78
c core #42
c Core size: 39	Core Weight: 2	Total Weight: 80
c core #43
c Core size: 67	Core Weight: 2	Total Weight: 82
c core #44
c Core size: 10	Core Weight: 2	Total Weight: 84
c core #45
c Core size: 10	Core Weight: 2	Total Weight: 86
c core #46
c Core size: 14	Core Weight: 2	Total Weight: 88
c core #47
c Core size: 13	Core Weight: 2	Total Weight: 90
c core #48
c Core size: 21	Core Weight: 1	Total Weight: 91
c core #49
c Core size: 45	Core Weight: 1	Total Weight: 92
c Learning 1 hard constraints
c core #50
c Core size: 81	Core Weight: 1	Total Weight: 93
c core #51
c Core size: 56	Core Weight: 1	Total Weight: 94
c Learning 2 hard constraints
c core #52
c Core size: 10	Core Weight: 2	Total Weight: 96
c Learning 1 hard constraints
c core #53
c Core size: 21	Core Weight: 1	Total Weight: 97
c core #54
c Core size: 30	Core Weight: 1	Total Weight: 98
c core #55
c Core size: 166	Core Weight: 1	Total Weight: 99
c Learning 4 hard constraints
c core #56
c Core size: 35	Core Weight: 1	Total Weight: 100
c Learning 3 hard constraints
c core #57
c Core size: 46	Core Weight: 1	Total Weight: 101
c Learning 10 hard constraints
c core #58
c Core size: 62	Core Weight: 1	Total Weight: 102
c Learning 20 hard constraints
c core #59
c Core size: 138	Core Weight: 1	Total Weight: 103
c Learning 16 hard constraints
c core #60
c Core size: 119	Core Weight: 1	Total Weight: 104
c Learning 27 hard constraints
c core #61
c Core size: 176	Core Weight: 1	Total Weight: 105
c Learning 35 hard constraints
c core #62
c Core size: 44	Core Weight: 1	Total Weight: 106
c Learning 24 hard constraints
c core #63
c Core size: 138	Core Weight: 1	Total Weight: 107
c Learning 32 hard constraints
c core #64
c Core size: 72	Core Weight: 1	Total Weight: 108
c Learning 16 hard constraints
c core #65
c Core size: 166	Core Weight: 1	Total Weight: 109
c Learning 9 hard constraints
c core #66
c Core size: 267	Core Weight: 1	Total Weight: 110
c Learning 112 hard constraints
c core #67
c Core size: 140	Core Weight: 1	Total Weight: 111
c Learning 6 hard constraints
c core #68
c Core size: 359	Core Weight: 1	Total Weight: 112
c Learning 85 hard constraints
c core #69
c Core size: 176	Core Weight: 1	Total Weight: 113
c Learning 28 hard constraints
c core #70
c Core size: 188	Core Weight: 1	Total Weight: 114
c Learning 65 hard constraints
c #cores: 70
c Final Weight: 114
o 114
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
61.247u 0.432s 1:01.85 99.7%	0+0k 0+0io 0pf+0w