(1,18) (2,24) (3,6) (4,13) (5,10) (7,19) (8,15) (9,21) (11,20) (12,14) (16,17) (22,27) (23,29) (25,30) (26,28) 
nodes: 805  conflicts: 0  modelTime: 939  solveTime: 2149  totalTime: 3093  modelSize: 72264  readTime: 5 size: 15