(1,30) (3,19) (5,26) (9,23) (10,20) (11,29) (12,27) (13,16) 
nodes: 436  conflicts: 101  modelTime: 673  solveTime: 685  totalTime: 1365  modelSize: 41300  readTime: 7 size: 8