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