(1,13) (2,7) (4,26) (5,22) (6,17) (8,10) (9,19) (12,27) (14,21) (15,28) (16,25) (18,24) (23,30) 
nodes: 2229  conflicts: 65  modelTime: 939  solveTime: 9570  totalTime: 10522  modelSize: 72262  readTime: 12 size: 13