(1,7) (2,3) (4,27) (5,12) (6,16) (8,9) (10,18) (11,22) (13,15) (14,30) (17,25) (19,24) (20,26) (21,29) (23,28) 
nodes: 12512  conflicts: 40  modelTime: 960  solveTime: 75686  totalTime: 76657  modelSize: 72277  readTime: 11 size: 15