(1,28) (2,16) (4,20) (5,30) (6,29) (7,25) (9,21) (10,27) (11,19) (12,18) (14,23) 
nodes: 1274  conflicts: 57  modelTime: 656  solveTime: 916  totalTime: 1579  modelSize: 41293  readTime: 7 size: 11