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