(1,21) (2,24) (3,20) (5,23) (7,29) (8,28) (9,16) (10,26) (11,18) (12,17) (13,22) (14,25) (15,27) 
nodes: 3725  conflicts: 61  modelTime: 657  solveTime: 5748  totalTime: 6420  modelSize: 41293  readTime: 15 size: 13