(1,28) (2,23) (3,17) (4,16) (5,30) (6,19) (7,21) (9,26) (10,25) (11,20) (12,29) (13,18) (14,27) (15,24) 
nodes: 27078  conflicts: 16  modelTime: 1190  solveTime: 91867  totalTime: 93066  modelSize: 41293  readTime: 9 size: 14