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