(1,22) (2,19) (3,30) (4,26) (5,7) (6,18) (9,29) (10,15) (11,20) (12,21) (14,16) (23,24) (25,27) 
nodes: 1729  conflicts: 79  modelTime: 930  solveTime: 5125  totalTime: 6067  modelSize: 72263  readTime: 11 size: 13