(1,28) (2,29) (3,24) (4,20) (5,30) (6,18) (7,17) (8,16) (9,26) (10,22) (11,27) (12,25) (13,23) (14,19) 
nodes: 16729  conflicts: 37  modelTime: 654  solveTime: 28904  totalTime: 29564  modelSize: 41293  readTime: 6 size: 14