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