(1,24) (2,4) (3,5) (6,14) (8,22) (9,23) (10,11) (12,20) (15,27) (16,21) (18,28) (19,26) (29,30) 
nodes: 1456  conflicts: 84  modelTime: 1908  solveTime: 7505  totalTime: 9437  modelSize: 72262  readTime: 24 size: 13