(1,28) (2,30) (3,19) (4,29) (5,18) (10,24) (11,16) (12,25) (13,26) (14,22) 
nodes: 487  conflicts: 105  modelTime: 670  solveTime: 1132  totalTime: 1809  modelSize: 41300  readTime: 7 size: 10