(1,19) (2,22) (3,17) (4,30) (5,24) (6,18) (7,26) (9,20) (10,29) (11,27) (14,21) (15,23) 
nodes: 2072  conflicts: 50  modelTime: 670  solveTime: 3142  totalTime: 3819  modelSize: 41293  readTime: 7 size: 12