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