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