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