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