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