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