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