(1,16) (2,18) (3,26) (5,22) (7,20) (8,28) (9,30) (10,23) (11,19) (12,21) (13,25) (14,29) (15,17) 
nodes: 27181  conflicts: 27  modelTime: 664  solveTime: 67328  totalTime: 67998  modelSize: 41293  readTime: 6 size: 13