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