(1,24) (2,28) (3,27) (5,17) (6,16) (7,18) (8,25) (9,19) (13,26) (14,30) (15,29) 
nodes: 1195  conflicts: 50  modelTime: 659  solveTime: 2430  totalTime: 3095  modelSize: 41293  readTime: 6 size: 11