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