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