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