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