(1,17) (2,30) (3,24) (4,19) (5,22) (6,18) (7,23) (8,25) (9,21) (12,27) (13,28) (14,20) (15,26) 
nodes: 1511  conflicts: 37  modelTime: 668  solveTime: 2925  totalTime: 3599  modelSize: 41299  readTime: 6 size: 13