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