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