(1,26) (2,18) (3,28) (4,23) (5,21) (6,27) (7,22) (8,19) (9,30) (10,16) (11,25) (12,20) (14,29) (15,24) 
nodes: 1657  conflicts: 46  modelTime: 655  solveTime: 2153  totalTime: 2815  modelSize: 41293  readTime: 7 size: 14