(1,19) (2,16) (3,18) (6,23) (7,17) (11,26) (12,30) (14,29) (15,21) 
nodes: 804  conflicts: 86  modelTime: 826  solveTime: 1112  totalTime: 1945  modelSize: 41300  readTime: 7 size: 9