(1,22) (2,24) (3,29) (5,16) (6,30) (7,28) (8,26) (9,23) (10,20) (11,19) (12,27) (13,21) (14,18) (15,25) 
nodes: 987  conflicts: 32  modelTime: 691  solveTime: 1884  totalTime: 2582  modelSize: 41298  readTime: 7 size: 14