(1,19) (2,16) (3,17) (4,18) (5,27) (6,26) (7,22) (8,25) (9,28) (10,30) (11,20) (12,29) (13,24) (14,21) (15,23) 
nodes: 6014  conflicts: 13  modelTime: 659  solveTime: 17910  totalTime: 18575  modelSize: 41293  readTime: 5 size: 15