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