(1,27) (2,20) (3,16) (4,21) (5,28) (6,24) (8,25) (9,17) (10,23) (13,18) (14,22) (15,30) 
nodes: 2269  conflicts: 47  modelTime: 665  solveTime: 2190  totalTime: 2862  modelSize: 41293  readTime: 7 size: 12