(1,20) (2,18) (8,24) (10,30) (11,22) (12,26) (13,16) (14,21) (15,23) 
nodes: 1115  conflicts: 104  modelTime: 665  solveTime: 1105  totalTime: 1777  modelSize: 41300  readTime: 7 size: 9