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