(1,27) (2,22) (3,20) (4,25) (5,30) (7,17) (9,16) (11,28) (12,23) (13,19) (14,24) (15,18) 
nodes: 1995  conflicts: 51  modelTime: 661  solveTime: 2417  totalTime: 3085  modelSize: 41293  readTime: 7 size: 12