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