(1,29) (2,18) (3,20) (4,27) (5,23) (6,24) (7,17) (9,16) (10,30) (11,25) (12,26) (14,19) (15,21) 
nodes: 1429  conflicts: 48  modelTime: 659  solveTime: 1416  totalTime: 2082  modelSize: 41293  readTime: 7 size: 13