(1,10) (2,30) (3,28) (5,15) (6,14) (7,23) (8,13) (9,22) (11,17) (18,25) (20,26) (24,29) 
nodes: 4436  conflicts: 80  modelTime: 1225  solveTime: 16798  totalTime: 18035  modelSize: 72262  readTime: 12 size: 12