(1,23) (2,22) (3,30) (5,27) (6,16) (7,28) (8,25) (9,26) (11,19) (12,21) (13,18) (15,20) 
nodes: 1420  conflicts: 59  modelTime: 657  solveTime: 1389  totalTime: 2053  modelSize: 41293  readTime: 7 size: 12