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