(1,12) (2,3) (4,7) (5,15) (8,13) (10,24) (11,25) (14,29) (16,23) (17,28) (18,30) (19,27) (20,21) 
nodes: 9341  conflicts: 83  modelTime: 2002  solveTime: 34412  totalTime: 36437  modelSize: 72263  readTime: 23 size: 13