(2,12) (3,8) (4,16) (5,18) (7,27) (9,28) (11,19) (13,17) (15,23) (20,22) (21,30) (24,26) (25,29) 
nodes: 1109  conflicts: 80  modelTime: 928  solveTime: 3832  totalTime: 4772  modelSize: 72264  readTime: 12 size: 13