(2,17) (3,28) (4,19) (5,18) (6,29) (7,25) (9,26) (10,16) (12,20) (13,27) (14,23) 
nodes: 1074  conflicts: 60  modelTime: 672  solveTime: 873  totalTime: 1552  modelSize: 41292  readTime: 7 size: 11