clingo version 4.5.0
Reading from tsp.lp ...
Solving...
Answer: 1
node(1) node(10) node(11) node(12) node(13) node(14) node(15) node(16) node(17) node(18) node(19) node(2) node(20) node(21) node(22) node(23) node(24) node(25) node(26) node(27) node(28) node(29) node(3) node(30) node(31) node(32) node(33) node(34) node(35) node(36) node(37) node(38) node(39) node(4) node(40) node(41) node(43) node(44) node(45) node(46) node(47) node(48) node(49) node(50) edge(1,50) edge(15,40) edge(18,11) edge(2,25) edge(21,24) edge(22,41) edge(25,33) edge(27,44) edge(31,23) edge(34,13) edge(36,18) edge(37,47) edge(44,19) edge(50,10) edge(16,46) edge(20,14) edge(11,27) edge(19,3) edge(23,35) edge(28,15) edge(40,49) edge(49,4) edge(30,37) edge(47,31) edge(10,36) edge(26,2) edge(13,21) edge(24,29) edge(29,16) edge(33,12) edge(35,39) edge(4,22) edge(41,38) edge(38,43) edge(3,34) edge(48,26) edge(17,48) edge(46,28) edge(12,45) edge(45,30) edge(43,32) edge(32,17) edge(39,20) edge(14,1)
Optimization: 196
Answer: 2
node(1) node(10) node(11) node(12) node(13) node(14) node(15) node(16) node(17) node(18) node(19) node(2) node(20) node(21) node(22) node(23) node(24) node(25) node(26) node(27) node(28) node(29) node(3) node(30) node(31) node(32) node(33) node(34) node(35) node(36) node(37) node(38) node(39) node(4) node(40) node(41) node(43) node(44) node(45) node(46) node(47) node(48) node(49) node(50) edge(1,50) edge(15,40) edge(18,11) edge(2,25) edge(21,24) edge(22,41) edge(25,33) edge(27,44) edge(31,23) edge(34,3) edge(36,35) edge(37,47) edge(44,19) edge(50,10) edge(16,14) edge(20,12) edge(11,27) edge(19,46) edge(23,49) edge(28,15) edge(40,13) edge(49,4) edge(30,34) edge(47,18) edge(10,36) edge(26,2) edge(13,21) edge(24,29) edge(29,16) edge(33,37) edge(35,39) edge(4,22) edge(41,38) edge(38,43) edge(3,31) edge(48,26) edge(17,48) edge(46,28) edge(12,45) edge(45,30) edge(43,32) edge(32,17) edge(39,20) edge(14,1)
Optimization: 179
Answer: 3
node(1) node(10) node(11) node(12) node(13) node(14) node(15) node(16) node(17) node(18) node(19) node(2) node(20) node(21) node(22) node(23) node(24) node(25) node(26) node(27) node(28) node(29) node(3) node(30) node(31) node(32) node(33) node(34) node(35) node(36) node(37) node(38) node(39) node(4) node(40) node(41) node(43) node(44) node(45) node(46) node(47) node(48) node(49) node(50) edge(1,2) edge(15,40) edge(18,36) edge(2,47) edge(21,29) edge(22,33) edge(25,16) edge(27,38) edge(31,23) edge(34,3) edge(36,31) edge(37,30) edge(44,19) edge(50,11) edge(16,14) edge(20,26) edge(11,27) edge(19,46) edge(23,44) edge(28,17) edge(40,25) edge(49,15) edge(30,45) edge(47,18) edge(10,4) edge(26,37) edge(13,34) edge(24,49) edge(29,24) edge(33,21) edge(35,39) edge(4,41) edge(41,22) edge(38,43) edge(3,50) edge(48,13) edge(17,48) edge(46,28) edge(12,10) edge(45,12) edge(43,32) edge(32,35) edge(39,20) edge(14,1)
Optimization: 164
Answer: 4
node(1) node(10) node(11) node(12) node(13) node(14) node(15) node(16) node(17) node(18) node(19) node(2) node(20) node(21) node(22) node(23) node(24) node(25) node(26) node(27) node(28) node(29) node(3) node(30) node(31) node(32) node(33) node(34) node(35) node(36) node(37) node(38) node(39) node(4) node(40) node(41) node(43) node(44) node(45) node(46) node(47) node(48) node(49) node(50) edge(1,25) edge(14,16) edge(15,11) edge(18,19) edge(2,26) edge(21,33) edge(22,23) edge(25,2) edge(27,38) edge(31,36) edge(34,3) edge(36,18) edge(37,24) edge(50,17) edge(16,49) edge(20,14) edge(11,27) edge(19,46) edge(23,44) edge(28,15) edge(40,13) edge(49,40) edge(30,37) edge(47,31) edge(10,12) edge(26,47) edge(13,48) edge(24,29) edge(29,21) edge(33,35) edge(35,39) edge(4,10) edge(41,22) edge(38,43) edge(3,50) edge(48,34) edge(17,41) edge(46,28) edge(12,45) edge(45,30) edge(43,32) edge(32,4) edge(39,20) edge(44,1)
Optimization: 152
Answer: 5
node(1) node(10) node(11) node(12) node(13) node(14) node(15) node(16) node(17) node(18) node(19) node(2) node(20) node(21) node(22) node(23) node(24) node(25) node(26) node(27) node(28) node(29) node(3) node(30) node(31) node(32) node(33) node(34) node(35) node(36) node(37) node(38) node(39) node(4) node(40) node(41) node(43) node(44) node(45) node(46) node(47) node(48) node(49) node(50) edge(1,25) edge(14,16) edge(15,11) edge(18,19) edge(2,47) edge(21,33) edge(22,23) edge(25,40) edge(27,38) edge(31,36) edge(34,3) edge(37,26) edge(44,18) edge(50,17) edge(16,49) edge(20,14) edge(11,27) edge(19,46) edge(23,44) edge(28,15) edge(40,13) edge(49,24) edge(30,37) edge(47,31) edge(10,12) edge(26,2) edge(13,34) edge(24,29) edge(29,21) edge(33,22) edge(35,39) edge(4,10) edge(41,35) edge(38,43) edge(3,50) edge(48,41) edge(17,48) edge(46,28) edge(12,45) edge(45,30) edge(43,32) edge(32,4) edge(39,20) edge(36,1)
Optimization: 150
Answer: 6
node(1) node(10) node(11) node(12) node(13) node(14) node(15) node(16) node(17) node(18) node(19) node(2) node(20) node(21) node(22) node(23) node(24) node(25) node(26) node(27) node(28) node(29) node(3) node(30) node(31) node(32) node(33) node(34) node(35) node(36) node(37) node(38) node(39) node(4) node(40) node(41) node(43) node(44) node(45) node(46) node(47) node(48) node(49) node(50) edge(1,25) edge(14,16) edge(15,11) edge(18,36) edge(2,26) edge(21,33) edge(22,23) edge(25,2) edge(31,24) edge(34,3) edge(36,35) edge(37,47) edge(44,19) edge(50,17) edge(16,49) edge(20,14) edge(11,27) edge(19,46) edge(23,44) edge(28,18) edge(40,15) edge(49,40) edge(30,37) edge(47,31) edge(10,12) edge(26,48) edge(13,34) edge(24,29) edge(29,21) edge(33,43) edge(35,39) edge(4,10) edge(41,22) edge(38,41) edge(3,50) edge(48,13) edge(17,32) edge(46,28) edge(12,45) edge(45,30) edge(43,38) edge(32,4) edge(39,20) edge(27,1)
Optimization: 146
Answer: 7
node(1) node(10) node(11) node(12) node(13) node(14) node(15) node(16) node(17) node(18) node(19) node(2) node(20) node(21) node(22) node(23) node(24) node(25) node(26) node(27) node(28) node(29) node(3) node(30) node(31) node(32) node(33) node(34) node(35) node(36) node(37) node(38) node(39) node(4) node(40) node(41) node(43) node(44) node(45) node(46) node(47) node(48) node(49) node(50) edge(1,25) edge(14,16) edge(15,40) edge(18,36) edge(2,47) edge(21,33) edge(22,23) edge(25,2) edge(27,38) edge(31,3) edge(36,31) edge(37,22) edge(44,18) edge(50,11) edge(16,49) edge(20,14) edge(11,27) edge(19,46) edge(23,44) edge(28,15) edge(40,13) edge(49,24) edge(30,34) edge(47,26) edge(10,12) edge(26,37) edge(13,48) edge(24,29) edge(29,21) edge(33,43) edge(35,39) edge(4,10) edge(41,35) edge(38,41) edge(3,19) edge(48,17) edge(17,50) edge(46,28) edge(12,45) edge(45,30) edge(43,32) edge(32,4) edge(39,20) edge(34,1)
Optimization: 144
Answer: 8
node(1) node(10) node(11) node(12) node(13) node(14) node(15) node(16) node(17) node(18) node(19) node(2) node(20) node(21) node(22) node(23) node(24) node(25) node(26) node(27) node(28) node(29) node(3) node(30) node(31) node(32) node(33) node(34) node(35) node(36) node(37) node(38) node(39) node(4) node(40) node(41) node(43) node(44) node(45) node(46) node(47) node(48) node(49) node(50) edge(1,25) edge(14,16) edge(15,11) edge(18,36) edge(21,37) edge(22,23) edge(25,33) edge(27,38) edge(31,3) edge(34,13) edge(36,31) edge(37,22) edge(44,19) edge(50,17) edge(16,49) edge(20,14) edge(11,27) edge(19,46) edge(23,44) edge(28,18) edge(40,15) edge(49,24) edge(30,34) edge(47,2) edge(10,12) edge(26,47) edge(13,40) edge(24,29) edge(29,21) edge(33,43) edge(35,39) edge(4,10) edge(41,35) edge(38,41) edge(3,50) edge(48,26) edge(17,48) edge(46,28) edge(12,45) edge(45,30) edge(43,32) edge(32,4) edge(39,20) edge(2,1)
Optimization: 143
Answer: 9
node(1) node(10) node(11) node(12) node(13) node(14) node(15) node(16) node(17) node(18) node(19) node(2) node(20) node(21) node(22) node(23) node(24) node(25) node(26) node(27) node(28) node(29) node(3) node(30) node(31) node(32) node(33) node(34) node(35) node(36) node(37) node(38) node(39) node(4) node(40) node(41) node(43) node(44) node(45) node(46) node(47) node(48) node(49) node(50) edge(1,25) edge(15,23) edge(18,11) edge(2,26) edge(21,13) edge(22,41) edge(25,2) edge(27,38) edge(31,36) edge(34,3) edge(36,18) edge(37,24) edge(44,19) edge(50,17) edge(16,49) edge(20,14) edge(11,27) edge(19,46) edge(23,44) edge(28,21) edge(40,15) edge(49,40) edge(30,37) edge(47,31) edge(10,12) edge(26,47) edge(13,48) edge(24,29) edge(29,16) edge(33,22) edge(35,39) edge(4,10) edge(41,4) edge(38,43) edge(3,50) edge(48,34) edge(17,32) edge(46,28) edge(12,45) edge(45,30) edge(43,33) edge(32,35) edge(39,20) edge(14,1)
Optimization: 140
Answer: 10
node(1) node(10) node(11) node(12) node(13) node(14) node(15) node(16) node(17) node(18) node(19) node(2) node(20) node(21) node(22) node(23) node(24) node(25) node(26) node(27) node(28) node(29) node(3) node(30) node(31) node(32) node(33) node(34) node(35) node(36) node(37) node(38) node(39) node(4) node(40) node(41) node(43) node(44) node(45) node(46) node(47) node(48) node(49) node(50) edge(1,25) edge(15,23) edge(18,11) edge(2,26) edge(21,29) edge(22,41) edge(25,2) edge(27,38) edge(31,36) edge(34,3) edge(36,18) edge(37,13) edge(44,19) edge(50,17) edge(16,49) edge(20,14) edge(11,27) edge(19,46) edge(23,44) edge(28,21) edge(40,15) edge(49,40) edge(30,34) edge(47,37) edge(10,12) edge(26,47) edge(13,48) edge(24,31) edge(29,24) edge(33,22) edge(35,39) edge(4,10) edge(41,4) edge(38,43) edge(3,50) edge(48,16) edge(17,32) edge(46,28) edge(12,45) edge(45,30) edge(43,33) edge(32,35) edge(39,20) edge(14,1)
Optimization: 139
Answer: 11
node(1) node(10) node(11) node(12) node(13) node(14) node(15) node(16) node(17) node(18) node(19) node(2) node(20) node(21) node(22) node(23) node(24) node(25) node(26) node(27) node(28) node(29) node(3) node(30) node(31) node(32) node(33) node(34) node(35) node(36) node(37) node(38) node(39) node(4) node(40) node(41) node(43) node(44) node(45) node(46) node(47) node(48) node(49) node(50) edge(1,25) edge(14,16) edge(15,23) edge(18,36) edge(2,47) edge(21,33) edge(22,41) edge(25,2) edge(27,38) edge(31,3) edge(36,31) edge(37,13) edge(44,19) edge(50,11) edge(16,49) edge(20,14) edge(11,27) edge(19,46) edge(23,44) edge(28,18) edge(40,15) edge(49,24) edge(30,37) edge(47,26) edge(10,12) edge(26,48) edge(13,40) edge(24,29) edge(29,21) edge(33,22) edge(35,39) edge(4,10) edge(41,4) edge(38,43) edge(3,34) edge(48,17) edge(17,50) edge(46,28) edge(12,45) edge(45,30) edge(43,32) edge(32,35) edge(39,20) edge(34,1)
Optimization: 138
Answer: 12
node(1) node(10) node(11) node(12) node(13) node(14) node(15) node(16) node(17) node(18) node(19) node(2) node(20) node(21) node(22) node(23) node(24) node(25) node(26) node(27) node(28) node(29) node(3) node(30) node(31) node(32) node(33) node(34) node(35) node(36) node(37) node(38) node(39) node(4) node(40) node(41) node(43) node(44) node(45) node(46) node(47) node(48) node(49) node(50) edge(1,25) edge(14,16) edge(15,23) edge(18,28) edge(2,47) edge(21,33) edge(22,41) edge(25,2) edge(27,38) edge(31,36) edge(34,3) edge(36,18) edge(37,24) edge(50,11) edge(16,49) edge(20,14) edge(11,27) edge(19,15) edge(23,44) edge(28,46) edge(40,13) edge(49,40) edge(30,37) edge(47,26) edge(10,12) edge(26,48) edge(13,34) edge(24,29) edge(29,21) edge(33,22) edge(35,39) edge(4,10) edge(41,35) edge(38,43) edge(3,31) edge(48,17) edge(17,50) edge(46,19) edge(12,45) edge(45,30) edge(43,32) edge(32,4) edge(39,20) edge(44,1)
Optimization: 136
Answer: 13
node(1) node(10) node(11) node(12) node(13) node(14) node(15) node(16) node(17) node(18) node(19) node(2) node(20) node(21) node(22) node(23) node(24) node(25) node(26) node(27) node(28) node(29) node(3) node(30) node(31) node(32) node(33) node(34) node(35) node(36) node(37) node(38) node(39) node(4) node(40) node(41) node(43) node(44) node(45) node(46) node(47) node(48) node(49) node(50) edge(1,50) edge(14,16) edge(15,19) edge(18,11) edge(2,25) edge(21,29) edge(22,4) edge(25,40) edge(27,38) edge(31,36) edge(36,35) edge(37,26) edge(44,27) edge(50,10) edge(16,46) edge(20,14) edge(11,15) edge(19,3) edge(23,44) edge(28,21) edge(40,13) edge(49,23) edge(30,34) edge(47,18) edge(10,2) edge(26,47) edge(13,37) edge(24,49) edge(29,24) edge(33,12) edge(35,39) edge(4,48) edge(41,22) edge(38,41) edge(3,31) edge(48,17) edge(17,32) edge(46,28) edge(12,45) edge(45,30) edge(43,33) edge(32,43) edge(39,20) edge(34,1)
Optimization: 130
Answer: 14
node(1) node(10) node(11) node(12) node(13) node(14) node(15) node(16) node(17) node(18) node(19) node(2) node(20) node(21) node(22) node(23) node(24) node(25) node(26) node(27) node(28) node(29) node(3) node(30) node(31) node(32) node(33) node(34) node(35) node(36) node(37) node(38) node(39) node(4) node(40) node(41) node(43) node(44) node(45) node(46) node(47) node(48) node(49) node(50) edge(1,50) edge(14,16) edge(18,11) edge(2,47) edge(21,29) edge(22,4) edge(25,40) edge(27,38) edge(31,36) edge(34,3) edge(36,35) edge(37,26) edge(44,27) edge(50,10) edge(16,46) edge(20,14) edge(11,15) edge(19,31) edge(23,44) edge(28,21) edge(40,13) edge(49,23) edge(30,34) edge(47,18) edge(10,12) edge(26,2) edge(13,37) edge(24,49) edge(29,24) edge(33,25) edge(35,39) edge(4,48) edge(41,22) edge(38,41) edge(3,19) edge(48,17) edge(17,32) edge(46,28) edge(12,45) edge(45,30) edge(43,33) edge(32,43) edge(39,20) edge(15,1)
Optimization: 129
Answer: 15
node(1) node(10) node(11) node(12) node(13) node(14) node(15) node(16) node(17) node(18) node(19) node(2) node(20) node(21) node(22) node(23) node(24) node(25) node(26) node(27) node(28) node(29) node(3) node(30) node(31) node(32) node(33) node(34) node(35) node(36) node(37) node(38) node(39) node(4) node(40) node(41) node(43) node(44) node(45) node(46) node(47) node(48) node(49) node(50) edge(1,50) edge(14,16) edge(15,19) edge(18,30) edge(2,47) edge(21,29) edge(22,37) edge(25,35) edge(27,38) edge(31,3) edge(34,13) edge(37,26) edge(44,27) edge(50,11) edge(16,46) edge(20,14) edge(11,15) edge(19,31) edge(23,44) edge(28,21) edge(40,25) edge(49,23) edge(30,45) edge(47,18) edge(10,36) edge(26,2) edge(13,40) edge(24,49) edge(29,24) edge(33,22) edge(35,39) edge(4,48) edge(41,4) edge(38,41) edge(3,34) edge(48,17) edge(17,32) edge(46,28) edge(12,10) edge(45,12) edge(43,33) edge(32,43) edge(39,20) edge(36,1)
Optimization: 124
Answer: 16
node(1) node(10) node(11) node(12) node(13) node(14) node(15) node(16) node(17) node(18) node(19) node(2) node(20) node(21) node(22) node(23) node(24) node(25) node(26) node(27) node(28) node(29) node(3) node(30) node(31) node(32) node(33) node(34) node(35) node(36) node(37) node(38) node(39) node(4) node(40) node(41) node(43) node(44) node(45) node(46) node(47) node(48) node(49) node(50) edge(1,50) edge(14,16) edge(15,23) edge(18,30) edge(2,10) edge(21,13) edge(22,35) edge(27,38) edge(31,47) edge(34,48) edge(36,31) edge(37,26) edge(44,19) edge(50,11) edge(16,46) edge(20,14) edge(11,27) edge(19,3) edge(23,44) edge(28,15) edge(40,25) edge(49,24) edge(30,45) edge(47,18) edge(10,36) edge(26,2) edge(13,40) edge(24,29) edge(29,21) edge(33,37) edge(35,39) edge(4,22) edge(41,4) edge(38,41) edge(3,34) edge(48,17) edge(17,32) edge(46,28) edge(12,49) edge(45,12) edge(43,33) edge(32,43) edge(39,20) edge(25,1)
Optimization: 116
Answer: 17
node(1) node(10) node(11) node(12) node(13) node(14) node(15) node(16) node(17) node(18) node(19) node(2) node(20) node(21) node(22) node(23) node(24) node(25) node(26) node(27) node(28) node(29) node(3) node(30) node(31) node(32) node(33) node(34) node(35) node(36) node(37) node(38) node(39) node(4) node(40) node(41) node(43) node(44) node(45) node(46) node(47) node(48) node(49) node(50) edge(1,50) edge(14,16) edge(15,49) edge(18,11) edge(2,25) edge(22,37) edge(25,40) edge(27,38) edge(31,47) edge(34,48) edge(36,35) edge(37,24) edge(44,19) edge(50,10) edge(16,46) edge(20,14) edge(11,27) edge(19,3) edge(23,44) edge(28,15) edge(40,13) edge(49,23) edge(30,18) edge(47,26) edge(10,36) edge(26,2) edge(13,34) edge(24,29) edge(29,21) edge(33,12) edge(35,39) edge(4,22) edge(41,4) edge(38,41) edge(3,31) edge(48,17) edge(17,32) edge(46,28) edge(12,45) edge(45,30) edge(43,33) edge(32,43) edge(39,20) edge(21,1)
Optimization: 111
Answer: 18
node(1) node(10) node(11) node(12) node(13) node(14) node(15) node(16) node(17) node(18) node(19) node(2) node(20) node(21) node(22) node(23) node(24) node(25) node(26) node(27) node(28) node(29) node(3) node(30) node(31) node(32) node(33) node(34) node(35) node(36) node(37) node(38) node(39) node(4) node(40) node(41) node(43) node(44) node(45) node(46) node(47) node(48) node(49) node(50) edge(1,50) edge(14,16) edge(15,11) edge(18,30) edge(2,26) edge(21,29) edge(22,41) edge(25,33) edge(31,47) edge(34,13) edge(36,35) edge(37,22) edge(44,19) edge(50,3) edge(16,46) edge(20,14) edge(11,18) edge(19,15) edge(23,44) edge(28,21) edge(40,25) edge(49,23) edge(30,45) edge(47,2) edge(10,36) edge(26,37) edge(13,40) edge(24,31) edge(29,24) edge(33,43) edge(35,39) edge(4,49) edge(41,38) edge(38,27) edge(3,34) edge(48,4) edge(17,48) edge(46,28) edge(12,10) edge(45,12) edge(43,32) edge(32,17) edge(39,20) edge(27,1)
Optimization: 110
Answer: 19
node(1) node(10) node(11) node(12) node(13) node(14) node(15) node(16) node(17) node(18) node(19) node(2) node(20) node(21) node(22) node(23) node(24) node(25) node(26) node(27) node(28) node(29) node(3) node(30) node(31) node(32) node(33) node(34) node(35) node(36) node(37) node(38) node(39) node(4) node(40) node(41) node(43) node(44) node(45) node(46) node(47) node(48) node(49) node(50) edge(1,50) edge(14,16) edge(15,11) edge(18,30) edge(2,10) edge(21,29) edge(22,37) edge(25,35) edge(27,38) edge(31,47) edge(34,13) edge(37,26) edge(44,19) edge(50,3) edge(16,46) edge(20,14) edge(11,27) edge(19,15) edge(23,44) edge(28,21) edge(40,25) edge(49,23) edge(30,45) edge(47,18) edge(10,36) edge(26,2) edge(13,40) edge(24,31) edge(29,24) edge(33,22) edge(35,39) edge(4,48) edge(41,4) edge(38,41) edge(3,34) edge(48,17) edge(17,32) edge(46,28) edge(12,49) edge(45,12) edge(43,33) edge(32,43) edge(39,20) edge(36,1)
Optimization: 105
OPTIMUM FOUND

Models       : 19    
  Optimum    : yes
Optimization : 105
Calls        : 1
Time         : 0.020s (Solving: 0.01s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 0.020s