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