(1,29) (2,16) (3,20) (4,21) (5,17) (6,18) (7,25) (8,27) (9,24) (10,30) (11,23) (12,26) (13,22) (15,19) 
nodes: 1414  conflicts: 29  modelTime: 657  solveTime: 1539  totalTime: 2202  modelSize: 41299  readTime: 6 size: 14