(1,24) (2,25) (3,27) (5,29) (6,20) (7,18) (8,23) (9,30) (11,16) (12,17) (13,26) (14,21) (15,19) 
nodes: 4501  conflicts: 42  modelTime: 656  solveTime: 6222  totalTime: 6884  modelSize: 41293  readTime: 6 size: 13