(1,7) (2,27) (3,13) (4,24) (5,29) (6,8) (9,11) (10,26) (12,14) (15,22) (16,30) (17,25) (18,19) (20,28) (21,23) 
nodes: 2526  conflicts: 53  modelTime: 946  solveTime: 7668  totalTime: 8625  modelSize: 72263  readTime: 11 size: 15