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