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