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