(3,22) (4,21) (7,24) (8,19) (9,26) (10,27) (11,17) (12,23) (13,18) (14,30) (15,20) 
nodes: 2675  conflicts: 47  modelTime: 656  solveTime: 4168  totalTime: 4831  modelSize: 41298  readTime: 7 size: 11