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