(1,6) (2,28) (3,15) (4,23) (5,12) (7,27) (8,14) (9,22) (10,24) (11,19) (13,29) (16,20) (17,25) (18,30) (21,26) 
nodes: 13670  conflicts: 3  modelTime: 928  solveTime: 59259  totalTime: 60193  modelSize: 72338  readTime: 6 size: 15