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