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