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