(1,19) (2,17) (3,22) (5,25) (6,20) (8,23) (9,26) (10,16) (11,28) (12,30) (13,21) (15,24) 
nodes: 749  conflicts: 55  modelTime: 657  solveTime: 928  totalTime: 1592  modelSize: 41292  readTime: 7 size: 12