(1,16) (6,27) (7,24) (8,19) (9,18) (10,20) (11,23) (12,28) (13,26) (14,21) 
nodes: 1309  conflicts: 82  modelTime: 663  solveTime: 787  totalTime: 1457  modelSize: 41300  readTime: 7 size: 10