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