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