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