(1,24) (2,23) (3,25) (4,26) (5,16) (6,9) (7,29) (8,10) (11,21) (12,28) (13,14) (15,17) (18,22) (19,27) (20,30) 
nodes: 4179  conflicts: 57  modelTime: 1723  solveTime: 10895  totalTime: 12639  modelSize: 72265  readTime: 20 size: 15