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