(1,18) (2,25) (3,16) (4,28) (5,23) (6,21) (7,30) (8,29) (9,22) (11,20) (12,26) (13,17) (14,19) (15,24) 
nodes: 2673  conflicts: 37  modelTime: 659  solveTime: 5807  totalTime: 6472  modelSize: 41299  readTime: 6 size: 14