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