(1,27) (3,30) (4,20) (5,26) (6,17) (7,18) (8,16) (9,28) (10,24) (11,21) (12,23) (13,29) (14,25) (15,22) 
nodes: 9895  conflicts: 34  modelTime: 656  solveTime: 17755  totalTime: 18417  modelSize: 41293  readTime: 6 size: 14