(1,19) (2,21) (3,17) (5,22) (6,30) (7,26) (9,18) (11,23) (12,24) (13,20) (14,27) (15,29) 
nodes: 2808  conflicts: 57  modelTime: 665  solveTime: 5194  totalTime: 5866  modelSize: 41293  readTime: 7 size: 12