(1,19) (2,22) (3,17) (4,16) (6,21) (7,18) (8,23) (10,20) (11,27) (13,25) (14,30) (15,26) 
nodes: 794  conflicts: 60  modelTime: 660  solveTime: 1079  totalTime: 1745  modelSize: 41292  readTime: 6 size: 12