(1,9) (2,28) (3,24) (4,7) (5,18) (6,20) (8,15) (13,22) (14,16) (17,26) (19,21) (23,30) (25,27) 
nodes: 1245  conflicts: 71  modelTime: 1543  solveTime: 5503  totalTime: 7066  modelSize: 72263  readTime: 20 size: 13