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