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