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