(1,27) (3,18) (4,28) (5,29) (6,20) (7,25) (8,21) (9,22) (11,16) (12,19) (15,26) 
nodes: 1274  conflicts: 49  modelTime: 668  solveTime: 1115  totalTime: 1790  modelSize: 41300  readTime: 7 size: 11