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