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