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