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