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