(1,18) (2,8) (3,13) (7,23) (9,27) (10,21) (11,16) (12,28) (14,20) (15,29) (17,19) (22,30) (25,26) 
nodes: 30328  conflicts: 100  modelTime: 1724  solveTime: 76007  totalTime: 77752  modelSize: 72263  readTime: 21 size: 13