(1,13) (2,17) (3,21) (4,18) (5,9) (6,10) (7,20) (8,24) (11,23) (12,22) (14,28) (15,16) (26,29) (27,30) 
nodes: 16174  conflicts: 48  modelTime: 1721  solveTime: 76813  totalTime: 78552  modelSize: 72266  readTime: 18 size: 14