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