(1,29) (2,28) (4,27) (7,23) (8,25) (9,19) (11,30) (12,24) (13,18) (14,16) 
nodes: 365  conflicts: 87  modelTime: 671  solveTime: 630  totalTime: 1307  modelSize: 41300  readTime: 6 size: 10