(1,28) (2,24) (3,7) (4,5) (6,14) (8,25) (9,15) (10,29) (11,20) (12,30) (16,22) (17,23) (21,26) 
nodes: 12641  conflicts: 73  modelTime: 1696  solveTime: 44652  totalTime: 46368  modelSize: 72263  readTime: 20 size: 13