(1,29) (2,23) (3,25) (4,28) (6,21) (7,30) (8,18) (9,26) (11,16) (12,20) (14,27) 
nodes: 2032  conflicts: 73  modelTime: 812  solveTime: 3359  totalTime: 4178  modelSize: 41293  readTime: 7 size: 11