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