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