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