(3,26) (4,18) (5,19) (6,23) (8,22) (9,28) (10,16) (11,25) (12,20) (13,21) (14,24) 
nodes: 1254  conflicts: 64  modelTime: 657  solveTime: 1124  totalTime: 1788  modelSize: 41293  readTime: 7 size: 11