(1,27) (2,29) (3,22) (4,26) (5,28) (6,21) (7,16) (8,25) (9,19) (10,24) (11,20) (12,18) (13,30) (14,23) 
nodes: 1934  conflicts: 30  modelTime: 672  solveTime: 3065  totalTime: 3743  modelSize: 41298  readTime: 6 size: 14