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