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