(1,28) (2,27) (3,17) (4,18) (6,29) (9,19) (10,26) (12,24) (13,16) (15,30) 
nodes: 928  conflicts: 82  modelTime: 659  solveTime: 1046  totalTime: 1712  modelSize: 41292  readTime: 7 size: 10