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