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