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