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