(1,20) (2,19) (3,23) (4,26) (5,24) (6,28) (7,27) (9,16) (10,25) (11,30) (12,22) (13,29) (14,21) 
nodes: 1009  conflicts: 37  modelTime: 657  solveTime: 1511  totalTime: 2175  modelSize: 41298  readTime: 7 size: 13