(1,29) (2,26) (3,25) (4,18) (6,30) (11,19) (12,27) (13,17) (15,28) 
nodes: 1227  conflicts: 79  modelTime: 666  solveTime: 1309  totalTime: 1982  modelSize: 41292  readTime: 7 size: 9