(1,25) (2,22) (4,20) (8,21) (9,26) (10,16) (11,29) (12,18) (13,24) (14,28) 
nodes: 475  conflicts: 81  modelTime: 667  solveTime: 500  totalTime: 1173  modelSize: 41301  readTime: 6 size: 10