(1,29) (2,23) (3,18) (4,17) (5,21) (9,24) (10,28) (11,30) (12,22) (15,16) 
nodes: 3592  conflicts: 60  modelTime: 659  solveTime: 4904  totalTime: 5569  modelSize: 41292  readTime: 6 size: 10