(1,20) (2,25) (4,16) (5,19) (6,17) (7,27) (8,22) (9,24) (10,30) (11,29) (12,23) (13,18) (14,28) (15,21) 
nodes: 13262  conflicts: 13  modelTime: 652  solveTime: 25459  totalTime: 26116  modelSize: 41299  readTime: 5 size: 14