(1,26) (2,21) (3,8) (4,19) (5,22) (6,10) (7,27) (9,16) (11,29) (13,28) (14,23) (15,24) (18,30) (20,25) 
nodes: 845  conflicts: 42  modelTime: 1726  solveTime: 5944  totalTime: 7691  modelSize: 72263  readTime: 20 size: 14