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