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