(1,26) (2,25) (3,16) (4,17) (5,18) (6,30) (7,23) (8,27) (9,20) (14,24) (15,19) 
nodes: 1304  conflicts: 50  modelTime: 657  solveTime: 889  totalTime: 1553  modelSize: 41292  readTime: 7 size: 11