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