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