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