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