(1,21) (2,29) (3,24) (5,17) (6,22) (7,18) (8,25) (9,27) (10,16) (11,20) (12,23) (14,19) (15,30) 
nodes: 12932  conflicts: 32  modelTime: 654  solveTime: 22270  totalTime: 22931  modelSize: 41293  readTime: 6 size: 13