(1,27) (2,21) (3,26) (4,29) (5,22) (6,19) (7,18) (8,24) (9,16) (10,30) (11,23) (12,17) (13,20) (15,25) 
nodes: 17794  conflicts: 15  modelTime: 657  solveTime: 31752  totalTime: 32414  modelSize: 41293  readTime: 5 size: 14