(1,16) (3,18) (5,19) (8,28) (9,29) (11,24) (12,22) (14,17) (15,21) 
nodes: 1227  conflicts: 96  modelTime: 668  solveTime: 1519  totalTime: 2194  modelSize: 41300  readTime: 7 size: 9