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