(1,29) (2,21) (3,19) (4,22) (5,27) (7,17) (9,16) (10,26) (11,24) (12,20) (14,25) 
nodes: 1019  conflicts: 87  modelTime: 665  solveTime: 1071  totalTime: 1744  modelSize: 41293  readTime: 7 size: 11